Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $H$ be the Heaviside function. If $f(x_1,x_2)=H(x_2)$ on $\mathbb{R}^2$, then $WF(f)=N^*\{x_2=0\}$. Similarly, if $g(x_1,x_2)=H(x_1^2-x_2)$, I think the wavefront set of $g$ is the conormal bundle to the boundary curve $x_2=x_1^2$. But what's the wavefront set of $fg$? In general, how do I determine the wavefront of a product distribution $uv$ (assuming it's well-defined) given $WF(u)$ and $WF(v)$?

share|improve this question

1 Answer 1

up vote 1 down vote accepted

In general you can only say that $$ WF(uv) \subseteq \Bigg[ WF(u) \cup WF(v) \cup \Big[WF(u)+WF(v)\Big]\Bigg] $$ where the set $$ WF(u) + WF(v) = \left\lbrace (x,\xi +\eta)| (x,\xi)\in WF(u), (x,\eta)\in WF(v) \right\rbrace $$ (note that a sufficient criterion for the product to be well-defined is precisely when the above set contains no points of the form $(x,0)$).

See, e.g. chapter 11 of Friedlander and Joshi Introduction to The Theory of Distributions.

But quite obviously the $\subseteq$ is not always an equality: just take $u,v$ two compactly supported distributions with distinct supports. Note that given $WF(u)$ and $WF(v)$ you only know the singular support of $u$ and $v$ and not their actual supports.

share|improve this answer
    
If $WF(g)=N^*\{x_1^2=x_2\}$ (is it?), then is $fg$ well-defined? If $WF(g)=N^*\{x_1^2=x_2\}$, then e.g. $(x_1,x_2,\xi_1,\xi_2)=(0,0,0,1)\in WF(g)$, but $(0,0,0,-1)\in N^*\{x_2=0\}=WF(f)$. –  Rob Jun 14 '12 at 0:51
    
In your specific case if you use additional information which is not available in your wave front set, then you can define $fg$. In particular, you have that $f,g\in L^\infty\subset L^1_{\text{loc}}$ and using that $L^\infty$ is an algebra you have point-wise product which is locally integrable and hence can be viewed as distributions. But if you are only given the two wave-front sets, in general two distributions with those wave front sets need not admit a well-defined product. –  Willie Wong Jun 14 '12 at 10:20

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.