11
$\begingroup$

Can anyone give me a hint for proving the following:

Let $\Omega$ be a measure space. Assume $f \in L^p(\Omega)$ and $g \in L^q(\Omega)$ with $1 \leq p, q \leq \infty$ and $\frac1p + \frac1q \leq 1$. Prove that $fg \in L^r(\Omega)$ with $\frac1r = \frac1p + \frac1q$.

Note: One should be able to use (the standard) Hölder inequality. Notice that if you have $\frac1p + \frac1q = 1$ you recover the former result.

3 Answers 3

16

Hint: $$ 1 = \frac{r}{p}+\frac{r}{q} = \frac{1}{\frac{p}{r}}+\frac{1}{\frac{q}{r}} $$

12

Using the standard Hölder inequality: $$ \|fg\|_r^r=\|f^rg^r\|_1\le\|f^r\|_{p/r}\|g^r\|_{q/r}=\|f\|_p^r\|g\|_q^r $$ Since $\frac{r}{p}+\frac{r}{q}=1$.

3

we can remark that : $$\frac 1{p'} + \frac 1{q'} = 1$$ where : $$p'=\frac pr ; q'=\frac rq$$ and proof that $f^r \in L^{p'}$ and $g^r \in L^{q'}$

  • 1
    You must mean $q'=q/r$.2012-06-18