2
$\begingroup$

I am working with Strichartz's "A Guide to Distribution Theory and Fourier Transforms" (self-study -> not a homework question). He says none of the distributions that correspond to $1/|x|$ are non-negative. I would appreciate some help in order to understand why that is.

( we say the distribution f is non-negative if $\langle f,\psi \rangle \ge 0 $ for every test function $\psi$ that is non-negative with smooth test function that are compactly supported. Further we say a distribution $T$ corresponds to $1/|x|$ iff $T(\varphi)=∫\varphi(x)|x|dx$ for every test function $\varphi$ with $\varphi(0)=0 $)

  • 0
    What are the distributions corresponding to $1/|x|$? Does he correspond different distributions to the same function?2012-09-19
  • 0
    @HuiYu yes, he definitely means for different distribution to correspond to the same function ! unfortunately understanding the whole set of distributions that can be associated with $1/|x|$ is part of what I struggle with. So far he only introduced the correspondence via integration which works because of the compact support requirement. (i.e. $\langle f, \psi \rangle = \int_\Omega f(x) \psi(x) \;dx)$2012-09-19
  • 2
    @Beltrame: I have checked the book online: The author says a distribution $T$ corresponds to $1/|x|$ iff $T(\varphi)=\int\frac{\varphi(x)}{|x|} dx$ for every test function $\varphi$ **with $\varphi(0)=0$**. You should mention this in your question.2012-09-19
  • 0
    @Vobo thanks, ammended !2012-09-21

1 Answers 1

2

Let $\psi\geq0$ be a test function supported in $[-2,2]$ and is identically $1$ on $[-1,1]$. Let $\theta\geq0$ be another test function supported in $[-1,1]$, with $\theta(0)=1$. Define $$ \theta_n(x) = \theta(nx), \qquad\textrm{and}\qquad \varphi_n = \psi - \theta_n. $$ Clearly $\theta_n$ and $\varphi_n$ are nonnegative test functions, with $\varphi(0)=0$. The idea is to show that $T(\varphi_n)\to\infty$ as $n\to\infty$, and use $$ T(\psi) = T(\theta_n) + T(\varphi_n), $$ to force $T(\theta_n)\to-\infty$. But the claim is almost obvious since region where $\varphi_n=1$ grows closer and closer to $0$, and we have $$ T(\varphi_n) = \int \frac{\varphi_n(x)}{|x|}\mathrm{d}x. $$

  • 0
    Nice, I was on the same track but didn't get the argument that $T(\theta_n)$ is really forced to go to $-\infty$.2012-09-21