Thread: f integrable => f^2 integrable?

1. f integrable => f^2 integrable?

Here is one that I don't really know how to approach:

Prove: if $\displaystyle f(x)$ is integrable on $\displaystyle [a,b],$ then $\displaystyle (f(x)^2)$ is integrable on $\displaystyle [a,b].$

2. This is not true. $\displaystyle f(x)=\frac{1}{\sqrt{x}}$ on [0,1] provides a counterexample. Perhaps you have been asked to prove the converse.

3. Originally Posted by Enrique2
This is not true. $\displaystyle f(x)=\frac{1}{\sqrt{x}}$ on [0,1] provides a counterexample.
In fact that is not a counterexample. $\displaystyle f(x)=\frac{1}{\sqrt{x}}$ is not Riemann integrable on $\displaystyle [0,1]$.
Note that the function is not bounded on $\displaystyle [0,1]$.

This happens to be a standard theorem/problem in the study Riemann integrals.
Here is the standard hint: $\displaystyle f(x)^2 - f(y)^2 = \left( {f(x) + f(y)} \right)\left( {f(x) - f(y)} \right)$.
Use that to show that $\displaystyle U\left[ {f^2 ;P} \right] - L\left[ {f^2 ;P} \right] \leqslant 2 B\left( {U\left[ {f;P} \right] - L\left[ {f;P} \right]} \right)$ where $\displaystyle B$ is the bound of $\displaystyle f$ on $\displaystyle [a,b]$

4. Originally Posted by Plato
In fact that is not a counterexample. $\displaystyle f(x)=\frac{1}{\sqrt{x}}$ is not Riemann integrable on $\displaystyle [0,1]$.
Note that the function is not bounded on $\displaystyle [0,1]$.

This happens to be a standard theorem/problem in the study Riemann integrals.
Here is the standard hint: $\displaystyle f(x)^2 - f(y)^2 = \left( {f(x) + f(y)} \right)\left( {f(x) - f(y)} \right)$.
Use that to show that $\displaystyle U\left[ {f^2 ;P} \right] - L\left[ {f^2 ;P} \right] \leqslant 2 B\left( {U\left[ {f;P} \right] - L\left[ {f;P} \right]} \right)$ where $\displaystyle B$ is the bound of $\displaystyle f$ on $\displaystyle [a,b]$
OK, sorry. Sure that the question is about Riemann integrability. I related the question to $\displaystyle L^p$ spaces.

5. Since it is bounded, can I just assume that there exists a partition $\displaystyle P$ of $\displaystyle [a,b]$ such that

$\displaystyle U_{f}(P) - L_{f}(P) < \frac{\epsilon}{2B}?$

6. Originally Posted by Anonymous1
Since it is bounded, can I just assume that there exists a partition $\displaystyle P$ of $\displaystyle [a,b]$ such that

$\displaystyle U_{f}(P) - L_{f}(P) < \frac{\epsilon}{2B}?$
That is the idea because you know that $\displaystyle f$ is integrable.