Sunday, November 8, 2015

real analysis - What are all continuous functions $f:[a,b] to mathbb{R}$ such that $int_a^b f = sup_{[a,b]} f$



What are all continuous functions $f:[a,b] \to \mathbb{R}$ such that $\int_a^b f = sup_{[a,b]} f$



it's clear that it is not all constant functions as given $[0,1]$ of the function $f(x) = 1$ then we have equality but as soon as given an interval of magnitude greater than $1$ this will fail to be equality. For instance $[0,2]$ gives $2 \not = 1$. So if it doesn't hold for all constant functions then it cannot hold for all linear functions.




The only continuous function I can find that it works with is $f(x) = 0, \forall x \in \mathbb{R}$.



Am I missing something here? $a , b$ are independent of the function. I've been able to construct intervals which give equality for a given function but not universally of any $[a,b]$ other than the zero function.


Answer



The only continuous function $f$ such that $\int_a^b f(x) \, \mathrm{d}x = \sup_{[a,b]} f$ for all intervals $[a,b]$ is $f \equiv 0$. You can see this by letting $b = a + \varepsilon$ for arbitrary $a$ and $\varepsilon$ tending to zero: it follows that $$f(a) = \lim_{\varepsilon \rightarrow 0} \sup_{[a,a+\varepsilon]} f = \lim_{\varepsilon \rightarrow 0} \int_a^{a+\varepsilon} f(x) \, \mathrm{d}x = 0.$$


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection $f \colon A \rightarrow B$ and I want to get bijection. Can I just resting codomain to $f(A)$? I know that every function i...