MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Assume $u\in L^2(\mathbb{R}^n)$ and let $(x_0, \xi _0) \in T^\ast \mathbb{R}^n = \mathbb{R}^n_x \times \mathbb{R}^n_\xi $. Assume I can find $a\in C^\infty (T^\ast \mathbb{R}^n)$ which is also bounded with all derivatives and $a(x,\xi ) = 1$ in a neighborhood of $(x_0, \xi _0)$. Without loss of generality we may even assume $a\in C _0 ^\infty (T^\ast \mathbb{R}^n)$ and still equal to 1 near $(x_0, \xi _0)$. Assume moreover that we know $$\| \operatorname{Op} [a]u \|_{L^2(\mathbb{R}^n)} \le Ch^s$$ where $$\operatorname{Op} [a]u(x) := \frac{1}{(2\pi h)^{n/2}}\iint \limits_{T^\ast \mathbb{R}^n}e^{\tfrac{i}{h}(x-y)\cdot \xi }a(\tfrac{x+y}{2},\xi )u(y)\, dy\, d\xi .$$ Is this enough to conclude that there is some neighborhood $U$ of $x_0$ such that $$\| u \|_{L^2(U)} \le Ch^s \quad ? $$ If not, what kind of condition would be sufficient?

share|cite|improve this question
The integral does not seem to depend on $u$? Are you missing a $u(y)$? – Thomas Kragh Apr 25 '12 at 20:37
Oh, yes of course, I'll edit. Thanks for pointing it out! – flavio Apr 26 '12 at 7:36

Of course no. Your inequality on $\Vert Op[a] u\Vert$ is only providing some information microlocally at $(x_0,\xi_0)$ and says nothing about what is happening elsewhere. For instance, with the homogeneous wave-front set setting, you may have in one dimension a (complex-valued) distribution with wave-front-set equal to {$0$}$\times\mathbb R_-^*$. It is the case for instance of $\frac{1}{x-i0}$.

share|cite|improve this answer
Ok, thank you, it's what I was afraid of. Actually I also have that $u$ satisfies $Pu=g$ where $\|g\| \le Ch^s$ and $P$ is elliptic in the complement of the set where $u$ is microlocally $O(h^s)$. – flavio Apr 26 '12 at 8:17
Well, in that case that's OK since your first estimate does control $u$ near the point $(x_0,\xi_0)$ and by the ellipticity of your $P$, you control as well what may happen elsewhere. You can write down the details for that stuff with a partition of unity. Best, Bazin. – Bazin Apr 26 '12 at 11:47

Your Answer


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.