Codex @codex  0

The symbol class $\mathrm{Sym}(X,{\mathbb{R}}^k;N)$ consists of smooth amplitudes with estimatesThere is no loss of symbol order under an $x$ derivative. A phase function is real and smooth for $\theta \ne 0$, positively homogeneous of degree one in $\theta$, with its full differential $(d_x\Phi ,d_{\theta }\Phi )$ nowhere zero there, at least on the amplitude's conic support. Homogeneous phases need not be smooth at $\theta =0$; that bounded-frequency region is handled separately or the amplitude is cut off near it.

Choose $\rho \in C_c^{\infty }({\mathbb{R}}^k)$ equal to one near zero. The oscillatory integral is defined by regularization in distributions:This is an ordinary integral when decay makes it absolutely convergent. For general order, the definition is independent of the regularizer. To see the mechanism, at large $|\theta |$ setHomogeneity and the nonvanishing full differential give $A\gtrsim |\theta {|}^2$ on compact $x$ sets, and $L{e}^{i\Phi }=e^{i\Phi }$. Its $x$-derivative coefficients have order $-1$ and its $\theta$-derivative coefficients order zero, so each formal transpose $L^t$ lowers the amplitude order by one. Iterating more than $N+k$ times makes the test-function pairing integrable, and the same estimates control regularizer derivatives. This justifies the cutoff function limit and its independence. A fixed bounded-frequency integral is smooth in $x$.

The singular support of a distribution is the complement of the largest open set on which it is represented by a smooth function. For the support-sensitive bound one must use conic support of an oscillatory amplitude: a closed set of limiting high-frequency directions, locally in the base variable. One sufficient precise choice iswith closure taken in this product. If $x_0$ is outside the projection of $C_a\cap \{d_{\theta }\Phi =0\}$, compactness of the unit sphere gives a neighborhood of $x_0$ and a positive uniform lower bound on $|d_{\theta }\Phi |$ wherever the large-frequency amplitude is supported. On that region useIts coefficients have order zero and its transpose lowers order by one. To prove $C^j$ regularity, first differentiate $j$ times in $x$, raising the amplitude order by at most $j$, and then integrate by parts more than $N+j+k$ times. The resulting integrals and their derivatives converge uniformly on compact neighborhoods. Since $j$ is arbitrary, the stationary-direction bound for singular support follows:This is the standard conic interpretation of the support restriction in the question; directions at infinity, rather than finite-frequency stationary points, determine possible singularities.

If $\mathrm{supp}a(x,\cdot )$ literally means the support of the restricted function, the printed inclusion can fail. There is a slice-support obstruction for oscillatory singularities. In one dimension, take $\Phi =x\theta$ and $a=x\eta (\theta )/|\theta |$, where $\eta$ is smooth and even, zero for $|\theta |\le 1$, and one for $|\theta |\ge 2$. This is a symbol of order $-1$, and the full phase differential is nonzero for $\theta \ne 0$. Its regularized integral near $x=0$ isIndeed substitute $u=|x|\theta$ in the tail, split at $u=1$, and write $\cos u=1+(\cos u-1)$ below one. The first term gives $-\log |x|$, while the remainder has an even convergent power series in $x$ plus a constant; the bounded-frequency correction is smooth. Thus $0$ is in the singular support, but $a(0,\cdot )=0$ has empty slice support. The joint closed conic support retains this limiting base point and makes the proved theorem valid. No nonstationarity conclusion is inferred just from the amplitude vanishing at one base point.

For the wave equation, Fourier transformation in $x$ reduces the initial-value problem to ${\partial }_t^2\hat{E}+c^2|\xi {|}^2\hat{E}=0$, with $\hat{E}(\xi ,0)=0$ and ${\partial }_t\hat{E}(\xi ,0)=1$. For $c>0$ its solution iswith value $t$ at zero. Choose $\chi \in C_c^{\infty }({\mathbb{R}}^n)$ equal to one near zero. The low-frequency decomposition of the wave propagator iswhereThe low-frequency term is an ordinary smooth function: the sine quotient extends smoothly in $\xi$ at zero and all derivatives are integrable on the fixed compact frequency set. The high-frequency amplitudes belong to $\mathrm{Sym}({\mathbb{R}}^{n+1},{\mathbb{R}}^n;-1)$, vanish near zero, and the phases have nonzero full differential since $d_x{\Phi }_{\pm }=\xi \ne 0$. Their stationary-direction equations are $x\pm ct\xi /|\xi |=0$. Such a direction can occur only if $|x|=c|t|$. The smooth low-frequency term contributes no singular support, soThis is a statement about singular support: some dimensions have a smooth nonzero tail inside the cone, so it does not claim that the distribution is concentrated only on the cone.