2

I am looking at the exercise: Let $f:[0,1] \to \mathbb{R}$ integrable such that $|f(x)| \leq \int_0^x |f(t)|dt, \forall x \in [0,1]$.

Show that $f=0$.

At the solution,it is taken that $f$ is bounded. Why??Because of the fact that $f$ is integrable?

evinda
  • 7,823
  • 7
    The integrability of $f$ implies that $$\int_0^x \lvert f(t)\rvert,dt \leqslant \int_0^1 \lvert f(t)\rvert,dt < \infty,$$ and from that the boundedness of $f$ follows by the given inequality. – Daniel Fischer Apr 21 '14 at 13:47

3 Answers3

2

$f$ is bounded because $f$ is integrable and satisfies your inequality. Notice that the integral is monotonically increasing in $x$. In other words:

$$|f(x)|\leq\int_{0}^{x}|f(t)|dt\leq\int_{0}^{1}|f(t)|dt=C,$$

For some finite $C$.

As a hint for the exercise, try integrating both sides of the inequality from $0$ to $x$ and notice that if $f$ is bounded, then $\int_0^y\int_0^xf(t)dtdx\leq yC$. On the other hand, $|f(y)|\leq\int_0^y|f(x)|dx$. What happens if you do three integrals...four integrals...

Alex R.
  • 32,771
  • So,it is bounded,because the inequality is satisfied and $x \in [0,1]$ ? – evinda Apr 21 '14 at 13:56
  • Generally,if a function is Riemann integrable,do we know that it is bounded? – evinda Apr 21 '14 at 13:57
  • 1
    @evinda: the first assertion is correct. The conclusion would not necessarily be true for $x\in[0,\infty)$. – Alex R. Apr 21 '14 at 13:58
  • So,f is bounded iff f is Riemann integrable in a closed and bounded interval? – evinda Apr 21 '14 at 14:00
  • Is this a theorem? – evinda Apr 21 '14 at 15:14
  • 1
    @Alex, you are not describing a function on $[0,1]$, it is more properly only a function on $(0,1]$. It is a well-known theorem that a function (using the rigorous definition of the word) $f\colon[a,b]\to\mathbb{R}$ is Riemann integrable if and only if it is bounded and continuous almost everywhere (in the Lebesgue sense). – Dan Rust Apr 21 '14 at 15:35
  • 1
    @AlexR. A function that is Riemann integrable over an interval is most certainly bounded. $1/\sqrt x$ is not Riemann-integrable near $0$. – Mario Carneiro Apr 21 '14 at 15:35
  • 2
    Classically Riemann integrable functions are bounded on closed intervals. Improper Riemann integrals allow for unbounded functions. Pardon the confusion. In the original question, it says $f$ is integrable, which in the Lebesgue sense would allow for $1/\sqrt{x}$. – Alex R. Apr 21 '14 at 15:37
  • 1
    @DanielRust Even $1/\sqrt x$ on $(0,1]$ is not Riemann-integrable because every upper sum is infinite. – Mario Carneiro Apr 21 '14 at 15:37
2

The function $F(x)=\int_0^x |f(t)|dt$ is continuous and is defined on the compact set $[0,1]$; hence, $F$ is bounded. Since $|f(x)|\leq F(x)$ for each $x\in[0,1]$, $f$ is also bounded.

ajotatxe
  • 65,084
1

Generally,if a function is Riemann integrable, then it's bounded.