Hölder's inequality with three functions

The rough idea is to show a series of inequalities: $$\int|fgh|\leq\|fg\|_{p'}\|h\|_r\leq\|f\|_p\|g\|_q\|h\|_r$$ where $p'=\frac{pq}{p+q}$ or $\frac{1}{p'}=\frac{1}{p}+\frac{1}{q}$ or $1=\frac{1}{p/p'}+\frac{1}{q/p'}$.

First we show that $\|fg\|_{p'}\leq \|f\|_p\|g\|_q$. This follows from computing $$\|fg\|_{p'}=\left(\int|fg|^{p'}\right)^{\frac{1}{p'}}\leq(\|f^{p'}\|_{p/p'}\|g^{p'}\|_{q/p'})^{\frac{1}{p'}}=\|f\|_p\|g\|_q,$$ where the middle inequality comes from Holder's inequality. (Holder's inequality applies because $|f|\in L^p(\mathbb{R})$ implies $|f|^{p'}\in L^{p/p'}(\mathbb{R})$, and $\frac{p'}{p} + \frac{p'}{q} = 1$.) As a result, $|fg|\in L^{p'}(\mathbb{R})$. Apply Holder's inequality again to get the very first inequality up above. Hope this will help you.


We can use a generalized AM-GM inequality to deduce that if $1/p+1/q+1/r=1$, then

$$abc\le\frac{a^p}{p}+\frac{b^q}{q}+\frac{c^r}{r}$$

for nonnegative $a,b,c$. Let $a=|f(x)|/\|f\|_p,\,b=|g(x)|/\|g\|_q,\,c=|h(x)|/\|h\|_r$, and then integrate both sides of the inequality over $\mathbb{R}$ to obtain

$$\frac{\|fgh\|_1}{\|f\|_p\|g\|_q\|h\|_r}\le\frac{1}{p}+\frac{1}{q}+\frac{1}{r}=1.$$

Multiply out and you have Holder's inequality for three functions.