Take the 2-minute tour ×
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.

I am finishing up a class on function theory and I am trying to reconcile a few statements that I have seen.

Let us define $L^p(\mathbb R^n)$ to be the set of measurable functions $f$ so that $\int_{\mathbb R^n} |f|^p dx < \infty$, with the norm $||f||_p = \Big(\int_{\mathbb R^n } |f|^p dx\Big)^{1/p}$.

I have also seen it written that $L^p(\mathbb R^n)$ is the set of all tempered distributions $f \in S'$ satisfying $ ||f||_p < \infty$. Here $S$ is the collection of rapidly decreasing complex valued functions on $\mathbb R^n$, and $S'$ is the space of continuous linear functionals on $S$ (tempered distributions).

I would like to show that these two definitions "are the same". However, I am at a disadvantage, since I don't even see how to define the $||\cdot||_p$ norm on the space of tempered distributions.

Thus, how do we define the $L_p$ norm of a tempered distribution?

share|improve this question

2 Answers 2

up vote 5 down vote accepted

Distributions act on the space $\mathcal{D}$ of test functions (infinitely differentiable with compact support). For all $p$ it holds that $\mathcal{D}\subset L^p$ and hence, it makes sense to take the $p$-norm test functions for any $p$. Now take some $p$ and its conjugate $q$ (i.e. $p+q=pq$). For any distribution $T$ we can define $$ \|T\|_p = \sup\{ T(\phi)\ :\ \|\phi\|_q\leq 1\} $$ which may or may not be finite.

Note that this produces the $p$ norm of a function $f$ when applied to the distribution induced by $f$.

share|improve this answer

You cannot define $\|\cdot\|_p$ in all space of tempered distributions. In general, if $T$ is a distribution, for the value $\|T\|_p$ make sense, we need to identify $T$ with a function defined in $\mathbb{R}^n$. There are some distributions that can not be identified with functions. On the other hand, the distributions that can be identified with functions and satisfies $\|T\|_p<\infty$, constitute the space $L^p$.

Consider for example the Dirac Distribution $\delta$. If you were to identify $\delta$ with some function $f$, then $f(x)=0$ in $\mathbb{R}\setminus\{0\}$, $f(0)=\infty$ and $\int_\mathbb{R} f(x)dx=\infty$. So, you can see that the notion of distribution, generalizes the notion of function.

share|improve this answer
    
You mean to say that $L^p(\mathbb R^n)$ is the collection of distributions satisfying $T(g) = \int_{\mathbb R^n}fgdx$ and such that $||f||_p < \infty$? –  Arthur Trask May 12 '13 at 18:07
    
Yes, that's it. –  Tomás May 12 '13 at 18:08
    
Thanks for your answer, which I greatly appreciate. However, I chose to accept Dirk's answer since it does not require an a-priori restriction on the form of $T$. –  Arthur Trask May 12 '13 at 23:31
    
There is no problem @ArthurTrask –  Tomás May 13 '13 at 0:12

Your Answer

 
discard

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.