Let $f:\mathbb{R}^n\to \mathbb{R}$ be a smooth and bounded function which tends to 0 at infinity. Define, for $t>0$, the distribution $$ \nu (t) = \int \limits _{f(x)\ge t} dx, $$ and (in the distributional sense) the positive measure $$ \mu = -\frac{d\nu }{dt}. $$ By a change of variables we see that $$ \langle \mu , \phi \rangle _{\mathcal{D}', \mathcal{D}}=\int \limits _{\mathbb{R}^n} \phi (f(x))\,dx \quad \text{for }\phi \in C_0^\infty (\mathbb{R}_+). $$ In the text I'm reading it is stated (without motivation or proof) that $$ \operatorname{supp}\operatorname{sing}_A \mu = \operatorname{supp}\operatorname{sing}_A \nu , $$ where $\operatorname{supp}\operatorname{sing}_A $ denotes the analytical singular support of a distribution (i.e. the smallest closed set outside of which the distribution is real analytic). In general we have $\operatorname{supp}\operatorname{sing}_A u' \subset \operatorname{supp}\operatorname{sing}_A u$ but why do we have equality in a case like this?

  • 1
    $\begingroup$ Something isn't right here. Is $\nu$ a distribution on $\mathbb{R}$ or on $\mathbb{R}^n$? Either way, there's something fishy with the integral $\langle \mu,\phi\rangle$. $\endgroup$ Aug 29 '13 at 9:35
  • $\begingroup$ Sorry, I have made an edit. $\nu $ should be a distribution on $\mathbb{R}$. I'm trying to phrase the question in slightly simpler terms than the original. $\endgroup$
    – flavio
    Aug 29 '13 at 9:50
  • $\begingroup$ Ok, then I may have an idea for you: $\partial_t\nu = \int_{f(x)=t}dx$ if I'm not mistaken, and $\nu$ is singular precisely where $f$ has critical points, and the same is true for $\partial_t\nu$, and you're done. $\endgroup$ Aug 29 '13 at 9:55
  • 1
    $\begingroup$ In one dimension, I believe that you have $\mathop{supp}\mathop{sing} u' = \mathop{supp} \mathop{sing} u$ since you can recover $u$ from $u'$ by integration. $\endgroup$ Aug 29 '13 at 11:05

$\nu$ is a distribution on the real line and the operator $P=d/dt$ is elliptic with constant coefficients. In that case we have $$ \text{singsupp $\nu$}=\text{singsupp $P\nu$} $$ for the $C^\infty$ singular support as well as for the analytic singular support. The same equality holds for wave-front-sets (smooth and analytic) and this implies the previous equality.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.