## Relation between the wave front set and the semiclassical frequency set

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

I need to prove that the wave front set of a distribution (as defined in Hormander's "The analysis of linear partial differential operators I") is equal to the semiclassical frequency set of an h-dependant $L^2$ function minus $R^n\times 0$, and conversely the semiclassical frequency set is the wave front set plus the points of $supp(u)\times 0$, but I don't know how. Some help (or bibliography) on this matter'll be highly appreciated.

-

## 1 Answer

Let $u$ be a distribution on some open subset $\Omega$ of $\mathbb R^n$. A point $(x_0,\xi_0)\in \Omega\times\mathbb S^{n-1}$ does not belong to $WF u$ when there exists a neighborhhod $V$ of $x_0$ and a neighborhood $\Gamma$ of $\xi_0$ (in the sphere $\mathbb S^{n-1}$) such that for all $\chi\in C_c^\infty(V)$ and for all $N\ge 0$, $$\sup_{\lambda \ge 1,\ \xi\in \Gamma}\lambda^N\vert\widehat{(\chi u)}(\lambda \xi)\vert<+\infty.$$ This is equivalent to: there exists a neighborhood $V$ $\dots$ for all $N\ge 0$, $$\sum_{\nu\in \mathbb N}2^{2\nu N}\int_{2^\nu\le \vert \xi\vert\le 2^{\nu+1}, \frac{\xi}{\vert\xi\vert}\in \Gamma}\vert\widehat{(\chi u)}(\xi)\vert^2 d\xi<+\infty.$$ This is equivalent to: there exists a neighborhood $V$ $\dots$ for all $N\ge 0$, $$\Vert(\mathbf 1_\Gamma)(D/\vert D\vert)\phi(h D)(\chi u)\Vert_{L^2}=O(h^N),\quad\text{$h\rightarrow 0_+$},$$ where and $\phi\in C_c^\infty(\mathbb R^n)$ supported in a ring {$\eta, 1/2\le \vert\eta\vert\le 2$}.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 23, "mathjax_display_tex": 3, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9288932085037231, "perplexity_flag": "head"}