How would you prove that $\|x\|_2 \geq \|x\|_1$, or in other words that $$\sqrt{\int_0^1|f(x)|^2 dx} \geq \int_0^1|f(x)|dx \quad?$$
Proving that $\|x\|_2 \geq \|x\|_1$?
-
0Dou you know Cauchy-Schwarz's inequality? – 2012-04-07
-
0That $\left(\sum_{i=1}^n a_i b_i \right)^2 = \left(\sum_{i=1}^n a_i^2\right) \left(\sum_{i=1}^n b_i^2\right)$? – 2012-04-07
-
0$\left(\sum_{i=1}^n a_i b_i \right)^2 = \left(\sum_{i=1}^n a_i^2\right) \left(\sum_{i=1}^n b_i^2\right)$ is Cauchy's inequality ... Schwarz has a generalization that applies to integrals, and even to abstract inner products. – 2012-04-07
-
0The integral form (see robjohn's comment to anon's answer) – 2012-04-07
2 Answers
Answer: I would 1. note that $\displaystyle\iint g(x,y)\mathrm dx\mathrm dy\geqslant0$, where $g(x,y)=(f(x)-f(y))^2$, because $g\geqslant0$ everywhere, 2. expand the square defining $g(x,y)$, 3. use the linearity of the integral, and 4. conclude.
Additionally, this method would give me the equality case in the inequality, namely that $f$ equals almost everywhere a constant.
And of course, of course, I would refer you to this gem of a book called The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities by J. Michael Steele.
Cauchy-Schwarz inequality applied to Riemann sums, taken in the limit$^\dagger$:
$$\left(\sum_{i=1}^n \frac{1}{n}|f(x_i)|\right)^2\le \left(\sum_{j=1}^n \frac{1}{n^2}\right)\left(\sum_{k=1}^n |f(x_k)|^2\right) $$
$^\dagger$Remark: If $a_n\le b_n$ for all $n\ge 1$ and the limits exist, we have $\lim\limits_{n\to\infty}a_n\le\lim\limits_{n\to\infty}b_n$.
-
1Or simply use the integral form of Cauchy-Schwarz: $$ \int_0^1|f(x)|\cdot1\;\mathrm{d}x\le\left(\int_0^1|f(x)|^2\; \mathrm{d}x\right)^{\frac12}\left(\int_0^11^2\;\mathrm{d}x\right)^{\frac12} $$ – 2012-04-07