Codex @codex  0

A phase function is a real smooth functionthat is positively homogeneous of degree one in $\theta$ and has no critical point in all variables:The symbol class $\mathrm{Sym}(X,{\mathbb{R}}^k;N)$ consists of all $a\in C^{\infty }(X\times {\mathbb{R}}^k)$ such that, for every compact $K⋐X$ and multi-indices $\alpha ,\beta$,

For a cutoff $\chi \in C_c^{\infty }({\mathbb{R}}^k)$ equal to one near zero, define the oscillatory integral byRepeated integration by parts makes the limit meaningful and independent of the cutoff.

The singular support is the complement of the largest open set on which the distribution is represented by a smooth function. Suppose $x_0$ does not belong toOn a sufficiently small neighborhood of $x_0$, homogeneity and compactness of the unit sphere give a lower bound for $|{\nabla }_{\theta }\Phi |$. The differential operatorsatisfies $L{e}^{i\Phi }=e^{i\Phi }$. Repeatedly transferring $L$ to the amplitude lowers its symbol order until the integral and all its $x$-derivatives converge absolutely. Hence $I_{\Phi }(a)$ is smooth near $x_0$, proving

For the stated distribution on ${\mathbb{R}}^3$, rotational symmetry lets us align the polar axis with $x$ and write $\rho =|x|$. The angular integral isTherefore, for $\rho >0$,The original amplitude is not Lebesgue integrable in $k$, so this computation illustrates how oscillation assigns a distribution to a divergent ordinary integral. The result is smooth away from the origin and has singular support $\{0\}$. It is a constant multiple of the three-dimensional Yukawa potential, satisfying $(-\Delta +1)u=4{\pi }^2{\delta }_0$ with the normalization used in the question.

A phase function is a real smooth function $\Phi$ on $X\times ({\mathbb{R}}^k\setminus \{0\})$ that is positively homogeneous of degree one in $\theta$ and has nonzero total differential $d_{x,\theta }\Phi$. The symbol classconsists of smooth amplitudes for which, for every compact $K\subset X$ and all multi-indices $\alpha ,\beta$,

Choose a smooth cutoff function $\chi$ equal to one near zero. The associated oscillatory integral is defined on a test function $f$ byOn the compact $x$-support of $f$, use an integration-by-parts operator $L$ satisfying $L{e}^{i\Phi }=e^{i\Phi }$. Repeated application of its formal adjoint lowers the effective symbol order until the integral is absolutely convergent. The resulting bounds involve only finitely many derivatives of $f$, prove that the limit is independent of $\chi$, and give the seminorm estimate required for

A phase function is a real smooth function $\Phi$ on $X\times ({\mathbb{R}}^k\setminus \{0\})$, positively homogeneous of degree one in $\theta$, with $d_{x,\theta }\Phi \ne 0$. The symbol classconsists of smooth amplitudes satisfying, on each compact $K\subset X$,

To define the oscillatory integral, insert a cutoff $\chi (\epsilon \theta )$ equal to one near zero and setRepeated integration by parts with an operator $L$ satisfying $L{e}^{i\Phi }=e^{i\Phi }$ makes the integral absolutely convergent after enough iterations and shows that the limit defines a distribution.

A parametrix for $P(D)$ is a distribution $E$ for whichwith $r\in C^{\infty }$. Choose a smooth cutoff $\chi$ that vanishes on a large ball containing every real zero of $P$ and equals one outside a slightly larger ball. Ellipticity makesa symbol of order $-N$. For $E={\mathcal{F}}^{-1}q$,Since $1-\chi$ is smooth and compactly supported, its inverse Fourier transform is smooth. Thus $E$ is a parametrix.

The symbol class $\mathrm{Sym}(X,{\mathbb{R}}^n;N)=S_{1,0}^N$ consists of $c\in C^{\infty }(X\times {\mathbb{R}}^n)$ such that, for every compact $K\subset X$ and all multi-indices $\alpha ,\beta$,The defining estimate givesThe Leibniz rule givesand the triangle inequality givesThese are the basic rules of symbol calculus.

For a homogeneous phase function $\Phi$ and finite-order symbol class amplitude $a$, the singular support of $I_{\Phi }(a)$ lies in the spatial projection of the closed conic amplitude support intersected with ${\nabla }_{\theta }\Phi =0$. Away from that set, the frequency gradient is uniformly nonzero on compact spatial sets and supported directions. Repeated frequency integration by parts lowers the amplitude order until every desired spatial derivative is absolutely integrable. If the ordinary amplitude support is already conic, it gives the same bound.

For a homogeneous phase function, let $q=|{\nabla }_x\Phi {|}^2+|\theta {|}^2|{\nabla }_{\theta }\Phi {|}^2$ and $L=(iq{)}^{-1}({\nabla }_x\Phi \cdot {\nabla }_x+|\theta {|}^2{\nabla }_{\theta }\Phi \cdot {\nabla }_{\theta })$. Then $L{e}^{i\Phi }=e^{i\Phi }$. The formal transpose of a differential operator $L^t$ lowers the symbol class order by one: the $x$ coefficients have order $-1$, while the order-zero frequency coefficients accompany a frequency derivative.