Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X$ be the interval $[0,1]$ with Lebesgue measure. Is there a function $f\in L^p(X)$ for all $p\in[1,\infty)$ that is not $\in L^\infty(X)$? If so, what is an example?

Motivation: In a course on measure theory this fall, I've learned proofs that $L^p(X)\supset L^q(X)$ if $q>p$ and that if $f\in L^\infty(X)$, then $\|f\|_\infty = \lim \limits_{p\to\infty} \|f\|_p$. This prompted me to wonder if $L^\infty(X) = \bigcap _p L^p(X)$. A classmate gave me a general theoretical reason to believe the contrary: $L^p(X)$ is a reflexive space for $1 \lt p \lt \infty$ but not for $p=1,\infty$; but intersections of reflexive spaces are reflexive. This logic seems sound to me; but it implies the containment $L^\infty(X) \subset \bigcap_p L^p(X)$ is strict. If so, there must be a function that is $L^p$ for all $p$ but not a.e. bounded. What is it?

share|cite|improve this question
There is a flaw in your classmate's theoretical argument: If you have closed reflexive subspaces of a Banach space then their intersection is reflexive (simply because closed subspaces of reflexive spaces are reflexive). However, $L^q(X)$ is dense in $L^p(X)$ for $ \infty \geq q \gt p \geq 1$, so you cannot conclude. – t.b. Dec 12 '11 at 3:27
To complement Jonas's answer below: if you merely want a concrete example on some probability space $(\Omega,\mu)$, then a Gaussian random variable, viewed as a function $\Omega\to{\mathbb R}$, is in every $L^p(\Omega,\mu)$ -- it ``has moments of all orders'' -- but is not a.s. bounded. – user16299 Apr 4 '12 at 6:40

1 Answer 1

up vote 23 down vote accepted

The logarithm is an example.

To see that $\log$ is in $L^p$ for each $p>0$, it suffices to see that $|\log(t)|^p<t^{-1/2}$ for $t$ sufficiently small. This follows from the fact that $\lim\limits_{t\searrow0}\;|\log(t)|t^{1/(2p)}=0$, which is a quick application of l'Hôpital's rule.

The $L^p$ norm of $\log$ happens to be $\Gamma(p+1)^{1/p}$. This can be seen by making the change of variables $t=-\log(u)$ in the integral $\Gamma(x)=\int\limits_{0}^\infty t^{x-1}e^{-t}\:dt$. So by Stirling's approximation, $\|\log\|_p$ is close to $p/e$ when $p$ is large.

share|cite|improve this answer
+1 The logarithm. Word. – Ben Blum-Smith Dec 12 '11 at 3:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.