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 reading Introduction to the Theory of Distributions by Friedlander and Joshi. As definition 8.6.1, they define the singular support of a tempered distribution $u$ to be the complement of {$x$: $u$ is $C^{\infty}$ on some neighborhood of $x$}.

From this definition I cannot see why the singular support of a tempered distribution need to be compact. But in proof for Lemma 8.6.1, they begin by choosing a test function $\phi$ such that $\phi\equiv 1$ on the singular support of a given tempered distribution.

Are they assuming that the singular support of a tempered distribution is compact? How can they do this?

Thanks!

share|improve this question

1 Answer 1

up vote 2 down vote accepted

They can't. And it is probably a mistake in the book. The analogous statement in Hormander's Analysis of Linear Partial Differential Operators volume 1 is Theorem 4.2.5, where instead of $\mathscr{S}'$ the statement is given in terms of $\mathscr{E}'$, the space of distributions with compact support.


The triangle-wave function gives an easy counterexample.


BTW, if you look at two pages on where the Lemma 8.6.1 is used, it is applied to $E * P\psi u$ where $E\in \mathscr{S}'$, $P$ is a linear partial differential operator, $u\in \mathscr{D}'$, but $\psi$ is a smooth cutoff function. So necessarily $P\psi u\in \mathscr{E}'$.

share|improve this answer

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.