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.

Today's problem originates in this conversation with Willie Wong about the Fourier transform of a Gaussian function

$$g_{\sigma}(x)=e^{-\sigma \lvert x \rvert^2},\quad x \in \mathbb{R}^n;$$

where $\sigma$ is a complex parameter. When $\Re e (\sigma) \ge 0$, $g_\sigma$ is a tempered distribution$^{[1]}$ and so it is Fourier transformable.

On the contrary, it appears obvious that if $\Re e (\sigma) <0$ then $g_\sigma$ is not tempered.

Question 1: What is the fastest way to prove this?

My guess is that one should exploit the fact that $\int g_\sigma(x)\varphi(x)\, dx$ makes no sense for some $\varphi \in \mathcal{S}(\mathbb{R}^n)$. But is it enough? I am afraid that this argument is incomplete.

Question 2: More generally, is there some characterization of "tempered functions", that is, functions which belong to the space $L^1_{\text{loc}}(\mathbb{R})\cap \mathcal{S}'(\mathbb{R})$?

I know that slowly growing functions (i.e. functions of the form $Pu$, where $P$ is a polynomial and $u \in L^p$) are tempered. Is the converse true?


$^{[1]}$ The definition of tempered distribution I refer to is the following.

A distribution $T \in \mathcal{D}'(\mathbb{R}^n)$ is called tempered if for every sequence $\varphi_n \in \mathcal{D}(\mathbb{R}^n)$ such that $\varphi_n \to 0$ in the Schwartz class sense, it happens that $\langle T, \varphi_n \rangle \to 0$. If this is the case then $T$ uniquely extends to a continuous linear functional on $\mathcal{S}(\mathbb{R}^n)$ and we write $T \in \mathcal{S}'(\mathbb{R}^n)$.

share|improve this question

1 Answer 1

up vote 2 down vote accepted

Question 1 What you have is almost enough. Assume $\Re\sigma \leq -\epsilon < 0$. Test $\exp (-\sigma |x|^2)$ "against" $\phi(x) = \exp( (\sigma+\epsilon/2)|x|^2)$ in the following way: you can construct a sequence of annular cut-off functions $\chi_k$ such that $\chi_k \phi \to 0$ in $\mathcal{S}$ (using the exponential decay of $\phi$) and $\langle g_\sigma, \chi_k\phi\rangle > c > 0$ for all $k$.

Question 2 You have the structure theorem of tempered distributions. (See Theorem 8.3.1 in Friedlander and Joshi).

Theorem Every tempered distribution is a (distributional) derivative of finite order of some continuous function of polynomial growth.

If you intersect against $L^1_{loc}$, this just guarantees that the distributional derivative is actually the weak derivative. From this you can conclude that an appropriate version of what you stated is true.

share|improve this answer
    
Ok for the annular cut-off argument. Very nice, too! I see that the question is not as trivial as I would have expected. In fact, I thought it was easy to prove something like "if there exists a $\varphi \in \mathcal{S}$ s.t. $f\varphi \notin L^1$, then $f$ is not tempered". I will have a look at that book you are recommending. Thank you for everything, you are helping me quite a bit in those days! –  Giuseppe Negro Apr 23 '11 at 17:37

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.