Lp Space Property

Something has been bothering me for a few days. Here goes. An L^p space is a space of functions consisting of \{f: \int_X |f|^pd\mu <\infty\}. So essentially, if we can integrate the p-th power of the function and get a finite answer, then the function is in the space. (The careful reader will note that this is dependent not just on p, but on the space and on the measure. Also, since we only care about the integral, functions that differ by a set of measure zero are considered the same function, i.e. equivalence class).

This is a normed space with norm given by \|f\|_p=\left(\int_X|f|^pd\mu\right)^{1/p}. Well, I could go on for awhile about this, but here is what was troubling me. If you define a function \phi(p)=\|f\|_p^p, or the p-th power of the p-norm, then this function is continuous on E=\{p : \phi(p)<\infty\}.

I couldn’t seem to do this in any classical straightforward sense. I tried, I really did, with the epsilons and deltas. Luckily, my inability led me to a rather sneaky method (though it assumes knowledge of two other things that I won’t prove). Assume knowledge of the following facts: that if \ln\phi is convex then \phi is convex, every convex function is continuous, and Holder’s Inequality. These facts should be in any standard advanced analysis or measure theory text.

Let \lambda\in (0,1) and p,q\in E, examine:
\ln\phi ((1-\lambda)p+\lambda q)  =  \ln\left(\int_X|f|^{(1-\lambda)p}|f|^{\lambda q}d\mu\right)
\leq  \ln\left(\int |f|^p\right)^{1-\lambda}\left(\int |f|^q\right)^\lambda
=  \ln\left( (\phi(p)^{1-\lambda})(\phi(q))^\lambda\right)
=  (1-\lambda)\ln(\phi(p))+\lambda\ln(\phi(q))

So, \phi is convex and hence continuous. I thought that although this relies on some heavier machinery than a direct way, it was much slicker.


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s