Search Results

Too long for a comment. I want to use a version of the Lojaciewicz theorem of division of distributions by an analytic function (in fact Hörmander's result of division by a polynomial). We may assume …

Let me start by altering a bit your notations: we consider a differential operator $P$ defined by $$ P=\sum_{1\le j\le n}p_j(x) D^j, \quad D=-i\frac{d}{dx}. $$ The formal adjoint is (there is a typo i …

For $\epsilon >0$, $u\in H^{\frac{n}{2}+2\epsilon}$, $N_0=-\Delta+1$, $$ \Vert N_0^{\frac{n}{4}+\epsilon} u\Vert_{L^2}=\Vert u\Vert_{H^{\frac{n}{2}+2\epsilon}}\ge c_{n,\epsilon} \Vert u\Vert_{L^\inf …

Let $P$ be a pseudodifferential operator with symbol $p(x,\xi)$ belonging to $S^m_{1,0}$ and let $a(x)$ be a $C^\infty$ function. Then the operator $Pa$ defined by $Pa u=P(au)$ is a pseudodifferential …

Hörmander's definition of a pseudo-differential operator on an open subset $\Omega$ of $\mathbb R^n$ in the class $\text{Op}S^m$ ($m\in \mathbb R$) is the following: take a symbol $a$, that is a smoot …

I want first to change your notations, sticking to the usual variables $x,\xi$ in the phase space. As a general statement about pseudo-differential operator with a symbol $a(x,\xi)$, I wish to write $ …

Let us consider the classical Harmonic Oscillator (a selfadjoint operator) $$ \mathcal H=\frac12\left(-\frac{d^2}{dx^2}+x^2\right),\quad\text{with spectrum $\frac12+\mathbb N$.} $$ This one-dimensiona …

When $A_K$ is a (pseudo)differential operator with analytic coefficients, a good answer to your question is given by Theorem 9.5.1 on page 353 of the first volume of Hörmander's ALPDO (Springer Grund. …

Let $A$ be a selfadjoint (pseudo)differential operator of order 2 on $(M,g)$ with a nonnegative symbol. It is a consequence of the Fefferman-Phong inequality that $A$ is semi-bounded from below, i.e. …

An operator is trace class whenever it is the product of Hilbert-Schmidt operators. There is a simple characterization of Hilbert-Schmidt operators pseudodifferential operators: a pseudodifferential o …

A preliminary remark. The operator $(d/dx)^\gamma$ is never continuous on the Schwartz space (and thus on tempered distributions) except if $\gamma$ is a non-negative integer, since you introduce a s …

First a classical result about elliptic operators: in dimension $\ge 3$ the order of elliptic operators is even. In dimension 2, say in $\mathbb R^2$ you have elliptic vector fields such as $$ \bar \p …

Analytic regularity of a $C^\infty$ function can be characterized by using an infinite number of derivatives. A function $f\in C^\infty(\Omega)$ where $\Omega$ is an open subset of $\mathbb R^n$ is r …

The answer to the first question is negative on the Euclidean sphere $\mathbb S^2$. It is possible to prove that the Laplace operator on the sphere $\mathbb S^2$ is NOT the sum of two squares of smoot …

You need some ellipticity condition to start off. Let us assume as you do that $$ c=c(x,\xi, h), \quad \vert\partial_x^\alpha\partial_{\xi}^\beta c\vert\le C_{\alpha\beta} h^{\vert\beta\vert}, \quad\ …