Possible Duplicate:
Limit of $L^p$ norm
On the $L_p$ spaces, when is $$\lim_{p\to \infty}\| f\|_{p}=\| f\|_{\infty}$$ true? Or what condition is necessary for this?
Asked
Active
Viewed 4,325 times
7
-
This is always true, however, if the space is not $\sigma$-finite you need a funky definition of $||\cdot ||_\infty$ – Atticus Christensen Feb 05 '13 at 04:02
-
@user45150: Why is that so? What is wrong in the non $\sigma$-finite case? – Mar 26 '17 at 19:26
2 Answers
5
It's a relatively easy proof that this holds in $L_p(X)$ for $f \in L^\infty(X)$ iff $\mu (X) < \infty$. The following was an exercise in Rudin's Real and Complex Analysis:
Suppose $\mu$ is a positive measure on $X, \mu(X) < \infty, f \in L^\infty(\mu),||f||_\infty > 0, \text{and}$ $$a_n = \int_X|f|^n\,d\mu~~~~~(n=1,2,3,...).$$ prove that$$\lim_{n\to \infty}\frac{a_{n+1}}{a_n} = ||f||_\infty$$
That you might want to try to develop a further understanding.
guest196883
- 6,197
-
I can see how $$\lim_{n\to \infty}\frac{a_{n+1}}{a_n} \leq ||f||_\infty$$, but how do you show the other direction? – PrimeRibeyeDeal Jul 22 '13 at 22:46
-
I could not see it, how this limit is equal to $\Vert f \Vert_\infty$, thanks – seriously divergent Jan 26 '14 at 09:56
-
4
If $\|f\|_\infty<\infty$, then for the property to hold it is necessary and sufficient that there exists $p<\infty$ such that $\|f\|_p<\infty$. The only way for this to always hold is for the measure space to have finite total measure.
If $\|f\|_\infty=\infty$, then it holds regardless.
Jonas Meyer
- 55,715