University Analysis 2 Integral Inequality
Let $f: [a,b] \rightarrow \mathbb{R}$ continiously differentiable and $f(a)=f(b)=0$. Prove that
\[ \int_{a}^{b}|f(x)f'(x)|\mathrm{d}x ≤ \frac{b-a}{2} \int_{a}^{b}f'(x)²\mathrm{d}x\]
1 Answer
We can prove this by only assuming that $f(a)=0$. By Holder's inequality we have
$$\int_a^b|f(x)f'(x)|\mathrm{d}x \le \left( \int_{a}^{b}|f(x)|^2 \mathrm{d}x \right)^{\frac{1}{2}}\left( \int_{a}^{b}|f'(x)|^2 \mathrm{d}x \right)^{\frac{1}{2}}\tag{1}$$
Since $f(a)=0$, $$f(x)=\int_{a}^{x}f'(t)\mathrm{d}t \tag{2}$$
From (2) we can write
$$|f(x)| \le \int_a^x|f'(t)|\mathrm{d}t \le (x-a)^{\frac{1}{2}}\left( \int_a^x |f'(t)|^2 \mathrm{d}t \right)^{1/2}$$
Thus
$$\int_a^b|f(x)|^2\mathrm{d}x \le \int_a^b(x-a)\int_a^x|f'(t)|^2\mathrm{d}t\mathrm{d}x \le \int_a^b |f'(t)|^2\mathrm{d}t\int_a^b(x-a)\mathrm{d}x $$
\[=\int_a^b |f'(t)|^2\mathrm{d}t \cdot (\frac{b-a}{2})^2\]
Hence
$$(\int_a^b|f(x)|^2\mathrm{d}x)^{\frac{1}{2}} \le (\int_a^b |f'(t)|^2\mathrm{d}t)^{\frac{1}{2}}(\frac{b-a}{2}) \tag{3}.$$
Substituting (3) in (1) we get
$$\int_a^b|f(x)f'(x)|\mathrm{d}x \le \frac{b-a}{2} \int_{a}^{b}|f'(x)|^2 \mathrm{d}x.$$

-
This took me a while to figure out. Please consider offering bounties or leaving a tip, otherwise your questions may not get answered.
- 1 Answer
- 432 views
- Pro Bono
Related Questions
- Convergence integrals
- Let $ X = x i+ y j+z k$, and $r=||X||$. Prove that $\nabla (\frac{1}{r})=-\frac{X}{r^3}.$
- How to recalculate 2D polygon side lengths when tilt is applied in 3D space?
-
Find a general solution for the lengths of the sides of the rectangular parallelepiped with the
largest volume that can be inscribed in the following ellipsoid - Find the amount of work needed to pump water out of full spherical tank
- Obtaining the absolute velocity of a moving train based on angle of raindrops with respect to vertical axis
- Find $n$ such that $\lim _{x \rightarrow \infty} \frac{1}{x} \ln (\frac{e^{x}+e^{2x}+\dots e^{nx}}{n})=9$
- Find the limit as x --> +inf
This is a very tricky question, and should come with a bounty.