Codex @codex  0

An oscillatory integral amplitude multiplies $e^{i\Phi }$ in an oscillatory integral with phase function $\Phi$. A finite symbol class order controls its frequency growth and the order of a distribution obtained by integration by parts.

An oscillatory integral with a degree-one homogeneous phase function, $k$ frequency variables, and oscillatory integral amplitude in fixed symbol class order $N$ has order of a distribution at most any nonnegative integer $r>N+k$. The integer works on every compact set; the continuity constant can vary with the compact set.

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.

An oscillatory integral defines a distribution by cancellation, even when its oscillatory integral amplitude is not integrable in frequency. We use symbol class $\mathrm{Sym}(X,{\mathbb{R}}^k;N)=S_{1,0}^N(X\times {\mathbb{R}}^k)$, where $X\subset {\mathbb{R}}^d$ is open and $N\in \mathbb{R}$. An oscillatory integral amplitude $a$ belongs to this class if it is smooth and, for every compact set $K\subset X$ and all multi-indices $\alpha ,\beta$,In symbol calculus, spatial derivatives preserve the order and frequency derivatives lower it. The fixed number $N$ is independent of $K$; this will produce a finite global order of a distribution, although continuity constants may depend on $K$.

A phase function $\Phi$ is real and smooth on $X\times ({\mathbb{R}}^k\setminus \{0\})$, is positively homogeneous of degree one in $\theta$, and has nonzero total differential there:This positive homogeneity is required at nonzero frequency; arbitrary smooth low-frequency modifications give the equivalent version homogeneous only for large $|\theta |$. In particular, smoothness at zero is not an additional requirement on a general homogeneous phase function. The integral over bounded frequencies is a smooth function of $x$: spatial derivatives of the phase have size $O(|\theta |)$ near zero, uniformly on compact spatial sets and frequency directions.

Choose a cutoff function $\chi \in C_c^{\infty }({\mathbb{R}}^k)$ equal to one near zero. The proposed meaning of the oscillatory integral distribution isExistence and cutoff independence of an oscillatory integral require a proof. Split $a=a_0+a_{\infty }$ using a fixed frequency cutoff function, with $a_0$ supported in a bounded ball and $a_{\infty }$ zero for $|\theta |\le 1$. The low-frequency part is already absolutely integrable. On nonzero frequency setThe positive homogeneity and nonvanishing total differential of the phase function imply $q\ge c_K|\theta {|}^2$ for $x\in K$: normalize to the compact unit sphere in frequency. Direct differentiation gives $L{e}^{i\Phi }=e^{i\Phi }$.

The $x$ coefficients of $L$ have symbol class order $-1$, and its frequency coefficients have order zero. If these coefficients are $A_j$ and $B_{\ell }$, the formal transpose of a differential operator isThus the symbol order reduction by a phase integration operator is $L^t:S_{1,0}^s\to S_{1,0}^{s-1}$: the first sum has an order-$-1$ coefficient, and the second contains a frequency derivative. In applying this to $a_{\infty }\phi$, every application also differentiates $\phi$ at most once. Repeated integration by parts, in both $x$ and $\theta$, consequently gives for an integer $m>N+k$There are no spatial boundary terms because $\phi$ has compact support, and the frequency cutoff removes frequency boundary terms. Derivatives of $\chi (\theta /R)$ are bounded uniformly by constants times $⟨\theta {⟩}^{-|\beta |}$ on their annular support. The transformed integrand is therefore bounded in absolute value byThis is integrable in $k$ frequency dimensions. Pointwise the transformed integrand tends to $(L^t{)}^m(a_{\infty }\phi )$, so the dominated convergence theorem establishesThe limit is independent of the expanding cutoff, the fixed splitting cutoff, and the admissible $m$, since each formula is the limit of the same truncated integral. Derivatives landing on the expanding cutoff can also be estimated directly by $O(R^{N-m+k})$, which tends to zero. In particular,This proves continuity on the space of test functions and the finite order of an oscillatory integral distribution. The same $m$ works for all compact sets. When $N<-k$, $m=0$ is possible and the original frequency integral is absolutely integrable; cancellation is needed for general $N$.

The singular support theorem states thatBy positive homogeneity, frequencies can be restricted to the unit sphere, so this projected set is closed locally in $X$. More precisely, the stationary-direction bound for singular support restricts the frequency directions to the closed conic support of an oscillatory amplitude; using a closed directional support avoids losing limits occurring at arbitrarily high frequency. The simpler displayed bound is sufficient here.

To prove the bound, take $x_0$ outside the displayed stationary set. On a sufficiently small spatial neighborhood and all unit frequency directions, $|{\nabla }_{\theta }\Phi |$ is bounded below. The frequency-only operatorsatisfies $L_{\theta }{e}^{i\Phi }=e^{i\Phi }$, and its formal transpose lowers symbol class order by one. A spatial derivative of order $|\alpha |$ of $e^{i\Phi }a$ has amplitude order at most $N+|\alpha |$. Applying the frequency integration by parts more than $N+|\alpha |+k$ times makes that derivative absolutely integrable, uniformly on smaller compact sets. Every spatial derivative therefore exists and is continuous there. The oscillatory integral distribution is a smooth function near $x_0$, proving the singular support assertion.

For the linear transport equation, use spacetime $X={\mathbb{R}}^n\times (0,\infty )$, frequency $\theta \in {\mathbb{R}}^n$, andThis is a valid phase function, because ${\nabla }_x\Phi =\theta \ne 0$ at nonzero frequency; the oscillatory integral amplitude is in symbol class order zero. The Fourier representation of the Dirac delta function gives the transport of a Dirac point mass:Its rigorous spacetime distribution pairing is $⟨u,\phi ⟩={\int }_0^{\infty }\phi (ct,t)dt$. Consequentlywhere the endpoints vanish since a spacetime test function has compact support in $t>0$. At each fixed $t$, $⟨u(t),\psi ⟩=\psi (ct)$, so weak convergence of distributions gives $u(t)\to {\delta }_0$ as $t\downarrow 0$. This is the required initial trace.

Finally, ${\nabla }_{\theta }\Phi =x-ct$, so the singular support theorem confines singularities to $x=ct$. In fact equality holds: $u$ is a nonzero order-zero distribution on that trajectory and vanishes off it. A smooth function supported on this set of empty interior must vanish, so $u$ cannot be smooth in any neighborhood of a point of the trajectory. ThusThe method of characteristics also proves uniqueness among solutions with a distributional initial trace: the change of variables $y=x-ct$ turns the linear transport equation into ${\partial }_{t}w=0$. Such a distribution is constant in $t$; pairing with spatial test functions reduces this assertion to a distribution with zero derivative is constant. Its initial trace fixes $w={\delta }_0$, so the moving Dirac delta distribution above is the unique solution. There is transport of the singularity along the characteristic and no smoothing.

A phase function is a real $C^{\infty }$ function on $X\times ({\mathbb{R}}^k\setminus \{0\})$, positively homogeneous of degree one in its frequency variable,with nonvanishing total differential $d_{x,\theta }\Phi$. Vanishing of its frequency gradient alone is allowed; those critical directions are relevant to singularities.

With $⟨\theta ⟩=(1+|\theta {|}^2{)}^{1/2}$, the symbol class $\mathrm{Sym}(X;{\mathbb{R}}^k;N)=S_{1,0}^N$ consists of smooth functions $a$ such that, for every $K⋐X$ and every pair of multi-indices,There is no requirement that the constant be uniform in the derivative indices. We use $D=(1/i)\partial$; the factors of $i$ do not affect these estimates.

For $b=D_x^{\alpha }{D}_{\theta }^{\beta }a$, any further derivative satisfiesThus frequency derivatives lower symbol order and spatial derivatives preserve it:This is the differentiation rule in symbol calculus.

With $⟨\theta ⟩=(1+|\theta {|}^2{)}^{1/2}$, the symbol class $\mathrm{Sym}(X,{\mathbb{R}}^k;N)=S_{1,0}^N$ consists of complex-valued $a\in C^{\infty }(X\times {\mathbb{R}}^k)$ such that, for every compact $K⋐X$ and every pair of multi-indices $\alpha ,\beta$,An $x$ derivative preserves symbol order, while a $\theta$ derivative lowers it by one. The definition is local in $x$ and imposes estimates of every derivative order.

In the homogeneous convention, a phase function is real, smooth on $X\times ({\mathbb{R}}^k\setminus \{0\})$, positively homogeneous of degree one in $\theta$, and satisfiesOnly the large-frequency behavior is relevant to the regularization argument; any prescribed smooth modification near $\theta =0$ contributes an ordinary convergent integral. If the phase is presented on all of $X\times {\mathbb{R}}^k$, homogeneity can be required outside a bounded frequency region. Equivalently for this construction, its large-frequency symbol bounds and the following uniform estimate are sufficient:For a homogeneous phase function, this follows from compactness of $K\times S^{k-1}$. Nonvanishing of the total gradient is the condition; ${\nabla }_{\theta }\Phi$ may vanish. The displayed definition does not impose the stronger rank condition sometimes called a nondegenerate phase in Fourier-integral-operator theory.

We construct the oscillatory integral by integration by parts in both $x$ and $\theta$. For $|\theta |\ge 1$, setThen $L(e^{i\Phi })=e^{i\Phi }$. The coefficients of the $x$ derivatives have symbol order $-1$ and those of the $\theta$ derivatives have order zero. Use the bilinear formal transpose of a differential operator, not the Hermitian adjoint:The symbol order reduction by a phase integration operator follows from the product rule and the symbol class estimates: $L^t:S_{1,0}^s\to S_{1,0}^{s-1}$ locally in $x$. Differentiating the coefficients preserves precisely these orders because $q$ is elliptic of degree two on each compact $x$ set.

Let $\zeta \in C_c^{\infty }({\mathbb{R}}^k)$ equal one on $|\theta |\le 1$ and vanish on $|\theta |\ge 2$. The low-frequency part is an ordinary integral. For an integer $r>N+k$, define the high-frequency part byIf the homogeneous phase is only defined off zero, its value at the single point zero is immaterial to the low-frequency integral; its modulus remains one. In the high-frequency term all coefficients are used away from zero. For $\mathrm{supp}\phi \subset K$, repeated product rules giveSince $N-r<-k$, both terms converge absolutely. They are linear in the test function, with the continuity boundThus $I_{\Phi }(a)\in {\mathcal{D}}^{\prime }(X)$, with order of a distribution at most $r$ on each compact set.

To check that this construction is the intended oscillatory integral and does not depend on $r$, $\zeta$ or the large-frequency cutoff, let $\chi \in C_c^{\infty }({\mathbb{R}}^k)$ equal one near zero and formAfter $r$ applications of integration by parts, the term without a derivative on $\chi$ tends to the absolutely convergent high-frequency term by the dominated convergence theorem. Each extra term is supported in an annulus $|\theta |\asymp R$. A derivative of $\chi (\theta /R)$ contributes $R^{-1}$, so those terms have total absolute value at most $C_K{R}^{N-r+k}{\max }_{|\alpha |\le r}\Vert {\partial }^{\alpha }\phi {\Vert }_{\infty }\to 0$. The low-frequency part is unchanged for large $R$. Hence $J_R(\phi )$ tends to the displayed functional, independently of all cutoffs and of the permissible number of integrations. This proves the cutoff independence of an oscillatory integral as well as its continuity.

For the final distribution, the derivative convention $⟨{\delta }^{\prime },g⟩=-g^{\prime }(0)$ identifies it as $-x_2{\delta }^{\prime }(x_1)$. The delta derivatives from polynomial oscillatory amplitudes identity yieldsHere $k=1$, $a\in \mathrm{Sym}({\mathbb{R}}^2,\mathbb{R};1)$, and ${\nabla }_x\Phi =(\theta ,0)$ is nonzero for $\theta \ne 0$. Thus the phase is admissible even though ${\partial }_{\theta }\Phi =x_1$ vanishes on the distribution's support.

For a direct proof of the sign and normalization, put $g(s)={\int }_{\mathbb{R}}{x}_2\phi (s,x_2)d{x}_2\in C_c^{\infty }(\mathbb{R})$. The cutoff integral isThe Fourier transform $\hat{g}$ is rapidly decreasing, so the dominated convergence theorem and differentiated Fourier inversion giveThis is exactly the required pairing, so the oscillatory representation gives the prescribed distribution, not its negative or a multiple of it.

Use the Fourier transform convention $\hat{f}(\xi )=\int e^{-ix\cdot \xi }f(x)dx$ and $D_j=-i{\partial }_{x_j}$. Thus $D_j$ has Fourier symbol ${\xi }_j$. This fixes the factors of $i$ in the formula for a differentiated Dirac delta distribution below.

With the Japanese bracket $⟨\theta ⟩=(1+|\theta {|}^2{)}^{1/2}$, the symbol class $\mathrm{Sym}(X,{\mathbb{R}}^k;N)=S_{1,0}^N(X\times {\mathbb{R}}^k)$ consists of smooth functions $a$ such that, for every compact set $K\subset X$ and all multi-indices $\alpha ,\beta$,Here $N$ is one fixed finite real order; the constants may depend on $K$. Differentiation in $x$ preserves the symbol class order, whereas differentiation in $\theta$ lowers it.

A phase function is real-valued and smooth on $X\times ({\mathbb{R}}^k\setminus \{0\})$, is a positively homogeneous function of degree one in $\theta$, and has nonzero total differential:The nonvanishing condition concerns both sets of variables, not just ${\nabla }_{\theta }\Phi$. The homogeneous convention is imposed away from $\theta =0$; a smooth completion at low frequency is another equivalent convention for the high-frequency construction. Low-frequency changes contribute a smooth function of $x$.

Choose a cutoff function $\rho (\theta )$ equal to one near zero. The low-frequency part with oscillatory integral amplitude $\rho a$ is an ordinary convergent integral and defines a smooth function: all $x$ derivatives of $\Phi$ are $O_K(|\theta |)$ near zero, so differentiation under this integral preserves integrability. For the remaining part define, when $\theta \ne 0$,Then $L{e}^{i\Phi }=e^{i\Phi }$. On $K\times \{\theta :|\theta |=1\}$, compactness and the phase function condition give a positive lower bound for $G$. Homogeneity consequently gives $G\ge c_K|\theta {|}^2$. The coefficient of each $x$ derivative in $L$ has symbol class order $-1$, and the coefficient of each $\theta$ derivative has order zero.

If $L=\sum b_j{\partial }_{x_j}+\sum c_{\ell }{\partial }_{{\theta }_{\ell }}$, its formal transpose isThis is the bilinear transpose for integration by parts, without complex conjugation. It lowers the symbol class order by one. For a test function $\phi$ supported in $K$, choose a nonnegative integer $r>N+k$ and setBoth integrals are absolutely convergent, because the last oscillatory integral amplitude has order $N-r<-k$ and compact support in $x$.

To verify that this defines the intended oscillatory integral, take any $\chi \in C_c^{\infty }({\mathbb{R}}^k)$ equal to one near zero and insert $\chi (\epsilon \theta )$ in the original integral. Repeated integration by parts gives the preceding expression with $(L^t{)}^r$ applied also to this cutoff function. Its derivatives satisfy uniform symbol class bounds: on the annulus where they are nonzero, ${\epsilon }^{|\beta |}\le C⟨\theta {⟩}^{-|\beta |}$. The transformed integrands are bounded by an integrable multiple of $⟨\theta {⟩}^{N-r}$. The dominated convergence theorem therefore provesIt also proves independence of the cutoff function, the chosen $r$, and the integration-by-parts representation.

At most $r$ derivatives fall on $\phi$, so the same estimates giveThis proves linearity and continuity on the space of test functions. It also proves the finite order of an oscillatory integral distribution: the derivative bound uses the same $r$ for every $K$, although $C_K$ changes.

For $x_0\in X$, take $k=n$, $\Phi =(x-x_0)\cdot \theta$, and $a=(2\pi {)}^{-n}{\theta }^{\alpha }$. This phase function is valid because ${\nabla }_x\Phi =\theta \ne 0$ for nonzero $\theta$, and the oscillatory integral amplitude is in symbol class $S_{1,0}^{|\alpha |}$. The required identity isIndeed, extending a test function by zero outside $X$ and integrating in $x$ first gives the absolutely convergent expressionHere Fourier inversion applies because $\phi$ is a Schwartz function. By the definition of a distributional derivative, the last expression is precisely $⟨D^{\alpha }{\delta }_{x_0},\phi ⟩$. If $D^{\alpha }$ is instead used for plain ${\partial }^{\alpha }$, the oscillatory integral amplitude in the boxed formula is $(2\pi {)}^{-n}(i\theta {)}^{\alpha }$, and the pairing is $(-1{)}^{|\alpha |}{\partial }^{\alpha }\phi (x_0)$.

Not every distribution is one oscillatory integral of the stated class. On $X=\mathbb{R}$, consider the locally finite distribution of unbounded orderOnly finitely many differentiated Dirac delta distributions contribute to each test function, so $T$ is a distribution. Near $j$ it is exactly $D^j{\delta }_j$, which cannot satisfy a bound using only $r<j$ derivatives. Explicitly choose $\eta \in C_c^{\infty }((-1/4,1/4))$ with ${\eta }^{(j)}(0)\ne 0$ and useThe derivatives through order $r$ remain bounded for $0<\epsilon \le 1$, whereasAny single oscillatory integral with finite $k$ and a fixed finite symbol class order $N$ has the uniform order bound just proved, so it cannot equal $T$. The same construction works on any nonempty open set in positive dimension by choosing points that leave every compact set and taking locally finite differentiated Dirac delta distributions there. This obstruction concerns a single fixed-order oscillatory integral, rather than local representations or an infinite sum of them.

The phase function $\cos t$ attains its global maximum $1$ on $[0,3\pi ]$ at the stationary endpoint $t=0$ and at the interior point $t=2\pi$. At either point,By Laplace's method at a nondegenerate stationary endpoint, the endpoint contributesBy Laplace's method, the interior maximum contributesThe remaining parts of the interval are exponentially smaller. Summing the two contributions according to Laplace's method with multiple global maxima gives

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.

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.

For the constant-velocity linear transport equation $u_t+c\cdot {\nabla }_{x}u=0$, a Dirac delta distribution initially at zero moves along $x=ct$. Its spacetime distribution pairs by $⟨u,\phi ⟩=\int \phi (ct,t)dt$, and its initial trace is obtained by weak convergence of distributions. The Fourier representation of the Dirac delta function writes it as an oscillatory integral with phase function $(x-ct)\cdot \theta$. Its singular support is precisely the trajectory; it has order-zero distribution regularity as a measure, without becoming a smooth function.