Does these commutator estimates bound in $L^{2}$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T00:01:53Z http://mathoverflow.net/feeds/question/94947 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/94947/does-these-commutator-estimates-bound-in-l2 Does these commutator estimates bound in $L^{2}$ Shanlin Huang 2012-04-23T14:08:03Z 2012-04-25T12:21:53Z <p>According to the basic rules of symbolic caculus,$[a(x,D),x_{j}]=-ia^{j}[x,D]$.So we have $[(1-\triangle)^{\frac{1}{2}},x_i]=\partial_i(1-\triangle)^{-\frac{1}{2}}$ which is $L^2$ bounded. It's also true that the $[(1-\triangle)^{\frac{1}{2}},\langle x \rangle]$ is $L^2$ bounded.Can we write the explicit expression of this commutator? More generally,how to show that $[(1-\triangle)^{\frac{\alpha}{2}},\langle x \rangle^{\alpha}]$ ($\alpha \leq1$)is $L^2$ bounded? it is obviously true when $\alpha&lt;0$ ?</p> <p>what if we use $(-\triangle)^{\alpha}$ instead which the symbol of it is not smooth at 0?</p> http://mathoverflow.net/questions/94947/does-these-commutator-estimates-bound-in-l2/94976#94976 Answer by Bazin for Does these commutator estimates bound in $L^{2}$ Bazin 2012-04-23T20:16:11Z 2012-04-23T20:16:11Z <p>Take a pseudodifferential operator with a symbol $p\in S^1_{1,0}$ and $f$ a Lipschitz-continuous function. Then the commutator $$[p(x,D),f]$$ is bounded on $L^2$. When $f$ is $C^\infty$ with bounded derivatives, the principal symbol of this commutator is the Poisson bracket -i{$p,f$}, i.e. in that case $$c_0(x,\xi)=\frac{1}{i}\sum_{1\le j\le n}\frac{\partial p}{\partial \xi_j}\cdot \frac{\partial f}{\partial x_j},\quad c_0\in S^0_{1,0}.$$ In that case, $[p(x,D),f]=c_0(x,D)+ r(x,D),\quad r\in S^{-1}_{1,0}.$</p> <p>Bazin.</p> http://mathoverflow.net/questions/94947/does-these-commutator-estimates-bound-in-l2/95035#95035 Answer by Jeff Schenker for Does these commutator estimates bound in $L^{2}$ Jeff Schenker 2012-04-24T15:52:05Z 2012-04-24T19:23:17Z <p>Here is a technique that shows the commutator is bounded for $\alpha &lt;1$. First note, as I observed in my comment, it is a bounded operator for $\alpha \le 0$. Now note that if $0&lt;\eta&lt;1$ and $A$ is a strictly positive operator then we have the identity $$A^\eta = c_\eta \int_0^\infty t^\eta \left (\frac{1}{t}- \frac{1}{t+A} \right ) dt$$ where $\frac{1}{c_\eta} =\int_0^\infty t^\eta \left [\frac{1}{t}- \frac{1}{t+1} \right ]dt$ and the integral is to be understood in the strong sense (apply both sides to a vector in a dense core for the domain of $A^\eta$.) It follows that if $A$ and $B$ are two such operators then $$[A^\eta,B^\eta]=c_\eta^2 \int_0^\infty\int_0^\infty t^\eta s^\eta \left [ \frac{1}{t+A},\frac{1}{s+B} \right]ds dt.$$ The commutator of resolvents can be computed, for $A=1-\Delta$ and $B=1+x^2$ to give $$\left [\frac{1}{t+1-\Delta},\frac{1}{s+1+x^2} \right ] = -\frac{1}{t+1 -\Delta} \left [ 1-\Delta,\frac{1}{s+1 +x^2} \right ] \frac{1}{t+1 -\Delta}$$ $$= - 2 \frac{1}{t+1-\Delta} \left ( \frac{x}{(s+1+x^2)^2}\cdot \nabla+\nabla \cdot\frac{x}{(s+1+x^2)^2} \right ) \frac{1}{t+1-\Delta}.$$ The operator norm of the result is bounded by $$4 \frac{1}{(t+1)^{\frac{3}{2}}} \frac{1}{(s+1)^{\frac{3}{2}}}.$$ (To see this note that $\sup_x |x|/\sqrt{s+1 +x^2}= 1$. A similar computation on the Fourier side gives $\|\nabla/\sqrt{t+1-\Delta}\|=1$.) Plugging this into the integral representation gives $$\left \| \left [ (1-\Delta)^\frac{\alpha}{2}, (1+x^2)^\frac{\alpha}{2} \right ] \right \| \le \left (2 c_\eta \int_0^\infty \frac{t^\frac{\alpha}{2}}{(t+1)^{3/2}} dt \right )^2$$ which is finite if $0 &lt;\alpha &lt;1$. </p> <p>Clearly this argument misses something since it doesn't give the boundary case $\alpha=1$, however I feel that a modification of this argument will show the commutator to be unbounded once $1&lt;\alpha &lt;2$ but I don't see the details. For $\alpha \ge 2$ I believe the commutator is unbounded and one can certainly show this, as I mentioned in my comment above, if $\alpha$ is an even natural number since the result is a partial differential operator. </p>