2
$\begingroup$

Possible Duplicate:
Limit of $L^p$ norm

I was asked to show:

Assume $|f|_{r}<\infty$ for some $r<\infty$. Prove that $ |f|_{p}\rightarrow |f|_{\infty} $ as $p\rightarrow \infty$.

I am stuck in the situation that $|f|_{p}<\infty$ for all $r, but $|f|_{\infty}=\infty$ nevertheless. Could this happen? Imagine $f^{-1}(n,n+1)$ has measure $\frac{1}{n^{n}}$, for example. Then $|f|_{p}$ exists for any $p$, but $|f|_{\infty}=\infty$ nevertheless. However, I do not know how to show $f_{p}$ must be monotonely increasing in this case.

Could $f_{p}$ be fluctuating while $|f|_{\infty}=\infty$? I have proved that for $r, $|f|_{p}<\max (|f|_{r},|f|_{s})$. But this does not help to show $|f|_{p}$ does not fluctuate.

  • 0
    Thanks! As I know I would not be the only one...:(2012-12-24

1 Answers 1

1

I will put a partial answer to my question by combing Davide's proof and my previous work.

Suppose $|f|_{\infty}=a$, then $(r,a)\in E$ and by the continuity of $\phi$ we proved the statement. So we need to prove this under the hypothesis $|f|_{\infty}=\infty$. We have two cases:

(1) $|f|_{p}<\infty,\forall p<\infty$. Then we need to show $|f|_{p}\rightarrow \infty$ as $p\rightarrow \infty$. (2) There exist some $p>r$ such that $|f|_{p}=\infty$. We need to show $\forall q>p$, $|f|_{q}=\infty$ as well.

Now (2) is straightforward since if $|f|_{q}<\infty$, then $p\in [r,q]$ implies $|f|_{p}<\infty$ as well. This contradicts with our hypothesis. So it suffice to prove (1). But Davide already showed via a clever argument that $\lim \inf |f|_{p}\ge |f|_{\infty}$. So this force $\lim \inf |f|_{p}=\infty$ as well.