Fractional product Hölder inequality

analysisinequalitylp-spacesreal-analysis

Recently I needed a result of the following form $$||f^\alpha||_{L^p} \leq ||f||_{L^q}^{\alpha}$$ where $\alpha >0$ is a real number and we have the usual Hölder condition $$\frac{1}{p} = \frac{\alpha}{q}$$

I know the usual Hölder inequality holds for a countable product of functions. But is the above true? I imagine maybe we should take $\alpha$ to be at least $\geq 1$. By writing $\alpha = n + r$ where $n$ is a natural number and $r \in [0,1)$ we can apply the regular Hölder inequality to $f^{\alpha} = f^nf^r$. So I think it would reduce it to the case of showing that $$||f^r||_{L^q} \leq ||f||^r_{L^q}$$ however I can't see how to proceed here. I feel like some type of interpolation argument might be helpful here but not really sure where to start.

Best Answer

Your condition is $q = \alpha p$, so that $$\int (|f|^\alpha)^p = \int |f|^{\alpha p} = \int |f|^q.$$ Thus $$\|f^\alpha\|_p = \left( \int (|f|^\alpha)^p \right)^{1/p} = \left( \int |f|^q \right)^{1/p} = \left( \int |f|^q \right)^{\alpha/q} = \|f\|^\alpha_q.$$

Related Question