5
$\begingroup$

This is an excercise 2.2 from Hormander, vol. I:

Does there exist a distribution $u$ on $\mathbb{R}$ with the restriction $x \rightarrow e^{1/x}$ to $\mathbb{R}_+$?

The answer, provided in the book, is "No". I am trying to "cook up" appropriate test function(s) such that $ \int \phi(x)e^{1/x} \leq C\sum_{\alpha \leq k} \sup\left|\partial^{\alpha}\phi\right|$ for no $k$, and I'm not sure at all what function(s) to take. What is the appropriate function? Is there a general method to come up with just right test functions?

  • 0
    Take a single nonnegative $\varphi\in D$ with support on $(1,2)$ and just consider the scaled copies $\varphi(bx)$.2012-11-02

2 Answers 2

2

Following Fedja's hint, let $\phi$ be a nonnegative test function supported in $(1,2)$ such that $\phi=1$ on $(5/4,7/4)$. For $b>0$, let $\phi_{b}(x):=\phi(bx)$. Observe that

$\int_{\mathbb{R}}\phi_{b}(x)e^{1/x}dx=b^{-1}\int_{\mathbb{R}}\phi(x)e^{b/x}dx,\qquad\forall b>0$

Suppose that there is a distribution $u\in\mathcal{D}'(\mathbb{R})$ of order $k$ whose restriction to $\mathbb{R}^{+}$ is $e^{1/x}$:

$\left|\langle{u,\psi}\rangle\right|\leq C\sum_{\alpha\leq k}\left\|\partial^{\alpha}\psi\right\|_{\infty},\qquad\forall\psi\in C_{c}^{\infty}(\mathbb{R})$

and in particular, $\left|\langle{u,\phi_{b}}\rangle\right|\leq C\sum_{\alpha\leq k}\left\|\partial^{\alpha}\phi_{b}\right\|_{\infty}\leq C\sum_{\alpha\leq k}b^{\alpha}\left\|\partial^{\alpha}\phi\right\|_{\infty}\leq Cb^{k}\sum_{\alpha\leq k}\left\|\partial^{\alpha}\phi\right\|_{\infty},\qquad\forall b\geq 1$ You can check that there is a constant $C'>0$ such that

$\dfrac{e^{b/x}}{b^{k+1}}\geq C'\dfrac{b}{x^{k+2}},\qquad\forall x>0$

Whence,

$b^{-k}\left|\langle{u,\phi_{b}}\rangle\right|=b^{-k-1}\int_{\mathbb{R}}\phi(x)e^{b/x}dx\geq C' b\int_{1}^{2}\phi(x)x^{-k-2}dx$

Since the RHS tends to $\infty$ as $b\rightarrow\infty$, we obtain a contradiction.

-1

I think the argument is simpler than you expect, unless I make a terrible mistake...

Just pick any test function with the property that $\phi(0) >1$ ($\phi(0)\neq 0$ is actually enough).

Since $\phi(0)>1$ there exists some $a$ so that $\phi >1$ on $[0,1]$.

Then

$\int \phi(x) e^{\frac{1}{x}}> \int_0^a e^{\frac{1}{x}} dx = \int_\frac{1}{a}^\infty \frac{e^u}{u^2}du = \infty $

  • 5
    Yes, you make a terrible mistake: nobody said that the distribution is given by the integral formula for any functions except those whose supports stay away from $0$. However you are on the right track: create a sequence of functions converging to $0$ in $D$ such that their supports do not touch the origin but the corresponding integrals do not tend to $0$.2012-11-02