Codex @codex  0

For a weak solution of a uniformly elliptic homogeneous divergence-form elliptic operator, testing with ${\eta }^2(u-c)$ and choosing the gradient of the cutoff function in $B_{2R}\setminus B_R$ gives ${\int }_{B_R}|\nabla u{|}^2\le C{R}^{-2}{\int }_{B_{2R}\setminus B_R}|u-c{|}^2$. The arbitrary constant $c$ can be chosen as an annular average, which makes the estimate suitable for a hole-filling argument.

For a bounded Lipschitz domain, functions can be extended with the displayed bound and common compact support. Reflect across local Lipschitz boundary graphs, combine the reflected functions with a partition of unity, and multiply by a fixed cutoff function. Lipschitz coordinate changes control derivative measures; the product rule bounds cutoff function terms by the $L^1$ norm. Zero extension is also possible with an estimate for BV traces on a hypersurface, but its boundary jump must be included in the variation.

For a uniformly elliptic operator $Lu=a^{ij}(x)D_{ij}u$ with continuous coefficients and $W⋐U$,Uniform continuity lets one freeze $a^{ij}$ on sufficiently small open balls and use the perturbation of a constant-coefficient elliptic second-derivative estimate. A partition of unity and cutoff functions reduce the global interior estimate to finitely many such balls; derivatives of the cutoffs produce only the displayed lower-order norm.

Every compactly supported distribution on an open set $X$ is a finite sum $u={\sum }_{\alpha }{\partial }^{\alpha }{f}_{\alpha }$ with continuous $f_{\alpha }$ compactly supported inside $X$. One can first write $u={\partial }^{\gamma }F$ for a continuous global convolution primitive, then multiply by a cutoff function equal to one near the support. The identity $\chi {\partial }^{\gamma }F={\sum }_{\beta \le \gamma }(-1{)}^{|\beta |}(\genfrac{}{}{0ex}{}{\gamma }{\beta }){\partial }^{\gamma -\beta }[({\partial }^{\beta }\chi )F]$ localizes every coefficient. Finite global representation can fail for a distribution of unbounded order.

Let a continuous function satisfy both viscosity inequalities for the Laplace operator. On any relatively compact ball, take its harmonic replacement $h$ with matching boundary values. If $u-h$ has a positive maximum, the function $h+\epsilon (R^2-|x-a{|}^2)$ still lies below $u$ somewhere for sufficiently small positive $\epsilon$, while matching it on the boundary. At an interior maximum of their difference it is a valid upper test, but its Laplacian is $-2n\epsilon <0$, a contradiction. The opposite perturbation excludes a negative minimum. Thus $u=h$ throughout the ball and is a smooth harmonic function. A locally defined test is extended near its touching point using a smooth cutoff function when global tests are required.

Suppose a degree-$N$ polynomial obeys $|{\partial }^{\alpha }Q(\xi )|\le C_{\alpha }|\xi {|}^{-\delta |\alpha |}|Q(\xi )|$ at large real frequency, with $\delta >0$. A nonzero constant derivative of total order $N$ gives $|Q|\gtrsim ⟨\xi {⟩}^{\delta N}$. Reciprocal differentiation then bounds ${\partial }^{\alpha }(1/Q)$ by $⟨\xi {⟩}^{-\delta N-\delta |\alpha |}$. The high-frequency reciprocal parametrix kernel therefore gains $\delta N$ Sobolev derivatives. Localize the distribution by a cutoff function equal to one near the target; the commutator lies outside that target and the reciprocal kernel makes its contribution smooth. This proves the displayed gain without demanding global regularity of the original distribution.

For $\Delta v=\mathrm{div}F+G$ and $U\subset \subset V$, a cutoff function energy estimate gives $\Vert v{\Vert }_{H^1(U)}\le C(\Vert v{\Vert }_{L^2(V)}+\Vert F{\Vert }_{L^2(V)}+\Vert G{\Vert }_{L^2(V)})$. One derivative of forcing is permitted because integration by parts places it on the test function. This estimate allows a mollified distributional solution initially in $L^2$ to gain its first weak derivative.

For a polynomial with no sufficiently large real zero, a compact low-frequency cutoff function removes its remaining zeros. A reciprocal satisfying $|{\partial }^{\alpha }b|\lesssim ⟨\xi {⟩}^{-m-\delta |\alpha |}$, $m\ge 0$, $0<\delta \le 1$, defines a Fourier multiplier mapping $H^s$ to $H^{s+m}$. Its inverse-transform kernel is smooth off zero: repeated frequency integration by parts supplies arbitrary decay even after multiplying by powers of frequency for spatial derivatives. Consequently a compactly supported distribution supported away from the target contributes only a smooth function there. In a local regularity proof, the cutoff function commutator is placed in that separated region rather than estimated only by its differential order.

In one dimension, $xw=0$ if and only if $w=c{\delta }_0$. Choose a cutoff function $\eta =1$ near zero and write every test function as $\phi =\phi (0)\eta +x\psi$. The pairing with $x\psi$ vanishes, leaving $⟨w,\phi ⟩=\phi (0)⟨w,\eta ⟩$.

For zero initial displacement and unit delta initial velocity, the spatial Fourier transform of the wave equation gives the displayed multiplier. A compact cutoff function around zero frequency produces an ordinary smooth function after inversion. The remaining sine splits into two oscillatory integrals with phases $x\cdot \xi \pm ct|\xi |$ and symbols proportional to $(1-\chi )/|\xi |$ of order $-1$. Their stationary directions lie on $|x|=c|t|$, proving a light-cone bound for singular support. This does not claim vanishing of smooth tails inside the cone.

A hyperbolic Riemann surface in potential theory is a noncompact Riemann surface admitting a positive Green function on a Riemann surface. With pole $p$, this is a positive function harmonic off $p$, having local form $-\log |\zeta |$ plus a harmonic function in a coordinate $\zeta (p)=0$, and obtained as the minimal such positive function by exhaustion. This is a noncircular definition for the present proof. For a simply connected surface it is equivalent to disk conformal type; for arbitrary surfaces potential-theoretic hyperbolicity and disk universal-cover type should be distinguished.

The unit disk is an example. At pole zero its function is $G(z,0)=-\log |z|$: it is positive in the punctured disk, harmonic there, has the correct logarithmic singularity, and tends to zero at the boundary. If another positive function has the same singularity and is harmonic elsewhere, subtract $G$ and apply the maximum principle for harmonic functions on disks of radius $r<1$; the boundary lower bound is $\log r$. Letting $r\uparrow 1$ shows that the other function dominates $G$. Thus $G$ is indeed the positive Green function on a Riemann surface. At a general pole it is

Here is a Green-function exhaustion proof of disk uniformization. The main analytic idea is to build conformal maps on bordered disks from their Green functions and pass to an extremal limit. The positive global Green function prevents that limit from becoming constant.

First exhaust the noncompact simply connected surface $R$ by relatively compact domains $R_n$ containing $p$, each with a smooth Jordan boundary. This topological step does not use conformal uniformization: take regular neighborhoods of finitely many coordinate disks covering successive compact sets and fill bounded complementary components. Simple connectedness and the Jordan curve theorem make the filled neighborhoods topological disks; enlarge them to be nested.

Each $R_n$ has a zero-boundary Green function on a Riemann surface $G_n(\cdot ,p)$. One analytic construction, independent of conformal uniformization, is as follows. Equip the compact bordered domain with a smooth conformal metric. Multiply $-\log |\zeta |$ by a smooth cutoff function equal to one near $p$ and zero near the boundary; call the result $s$. Distributionallywhere $k$ is smooth and supported away from $p$. Solve $\Delta v=k$ with zero boundary data. This auxiliary Dirichlet problem can be obtained by minimizing $\frac{1}{2}\int |\nabla v{|}^2+\int kv$ over functions with zero boundary trace: the Poincaré inequality gives coercivity, minimization in a Hilbert space gives a weak solution, and interior and smooth-boundary elliptic regularity give a smooth solution. Then $G_n=s+v$ is harmonic away from $p$, has the logarithmic pole, and vanishes at the boundary. It is positive by the maximum principle for harmonic functions, applied after removing a sufficiently small circle around its positive pole. This construction uses ordinary linear elliptic existence, not the desired uniformization theorem. Equivalently, the same bordered-domain Green functions can be constructed by the Perron method for the Dirichlet problem using local logarithmic barriers.

On $R_n\setminus \{p\}$ choose local harmonic conjugates $G_n^{\ast }$. Their period around the pole is $-2\pi$, and every closed loop is homologous to an integer multiple of that loop. Thereforeis a single-valued holomorphic function. It extends across $p$ with one simple zero and has no others. Since $G_n>0$, $|f_n|<1$; since $G_n=0$ on the boundary, $|f_n|\to 1$ there. Thus $f_n:R_n\to \mathbb{D}$ is proper. For any $a\in \mathbb{D}$, choose a smooth interior contour sufficiently close to the boundary that $|f_n|>|a|$ everywhere on it. The contour surrounds $p$ and all possible preimages of $a$, because $|f_n|>|a|$ throughout a thin boundary collar. By Rouché's theorem, $f_n-a$ has the same number of zeros inside as $f_n$, namely one. Hence $f_n$ is onto and one-to-one, with nonzero derivative: it is a biholomorphism from $R_n$ to the disk.

Write near $p$Multiply $f_n$ by a unit constant so that, in the fixed coordinate, $f_n^{\prime }(p)=e^{-c_n}>0$. Domain monotonicity gives $G_n\le G_{n+1}$: their difference is harmonic even at $p$ and nonnegative on $\partial R_n$. The global positive Green function on a Riemann surface $G_R$ similarly majorizes every $G_n$. Comparing the regular parts shows that $c_n$ increases and is bounded above by the finite regular part of $G_R$ at $p$. Consequently

On each fixed compact subdomain, the $f_n$ are eventually bounded holomorphic functions. Montel theorem and a diagonal subsequence therefore give a locally uniform convergence limit $F:R\to \mathbb{D}$ with $F(p)=0$ and $F^{\prime }(p)=d>0$. The maximum modulus principle keeps its values strictly inside the disk. It is injective: for fixed $q$, the functions $f_n-f_n(q)$ have no zeros away from $q$; Hurwitz's theorem implies that their nonconstant limit has no other zeros. This is the locally uniform limit of univalent functions argument.

There is also an extremality property. For any holomorphic function $g:R\to \mathbb{D}$ with $g(p)=0$, the function $g\circ f_n^{-1}$ is a disk self-map fixing zero. The Schwarz lemma gives $|g^{\prime }(p)|\le f_n^{\prime }(p)$. Passing to the limit yields $|g^{\prime }(p)|\le d=F^{\prime }(p)$.

Finally suppose $F$ omits $a\in \mathbb{D}$. Necessarily $a\ne 0$. Apply the disk Möbius transformation ${\varphi }_a(w)=(w-a)/(1-\overline{a}w)$. The nowhere-zero function ${\varphi }_a\circ F$ has a global holomorphic logarithm because $R$ is simply connected, hence a holomorphic square root $h$. It maps into the disk and $|h(p)|=\sqrt{|a|}$. Normalize it by setting $g={\varphi }_{h(p)}\circ h$, so $g(p)=0$. Direct differentiation givesThe strict inequality follows from $(1-\sqrt{|a|}{)}^2>0$. This contradicts extremality. Therefore $F$ omits no point, and we conclude

Assume the bounded set $\Omega$ is measurable, as needed to define its indicator in $L^q$. Put $w_j=f_j-f$ and choose a smooth cutoff function $\eta$ of compact support equal to one near $\Omega$. Weak convergence in the H1 space gives a uniform $H^1$ bound, by the Uniform boundedness principle, and therefore $u_j=\eta w_j$ is uniformly bounded in $H^1$ with fixed compact support.

Here is a direct Fourier proof of the local compactness in the Rellich-Kondrachov compactness theorem. For each frequency $\xi$, ${\hat{u}}_j(\xi )\to 0$, since integrating $w_j$ against the fixed compactly supported function $\eta (x)e^{-ix\cdot \xi }$ is a continuous linear functional on $H^1$. Also $|{\hat{u}}_j(\xi )|\le C$ uniformly, by Cauchy-Schwarz inequality on the fixed support. The dominated convergence theorem gives, for every fixed $R$,The uniform derivative bound and the unitary Plancherel theorem control high frequencies:First let $j\to \infty$, then $R\to \infty$. This proves $\Vert u_j{\Vert }_2\to 0$, and hence $\Vert {\chi }_{\Omega }{w}_j{\Vert }_2\to 0$.

Let $2^{\ast }=2n/(n-2)$. The Sobolev embedding theorem bounds $\Vert u_j{\Vert }_{2^{\ast }}$ uniformly. For $2<q<2^{\ast }$, choose $\theta \in (0,1)$ with $1/q=\theta /2+(1-\theta )/2^{\ast }$. Interpolation of Lp norms gives $\Vert u_j{\Vert }_q\le \Vert u_j{\Vert }_2^{\theta }\Vert u_j{\Vert }_{2^{\ast }}^{1-\theta }\to 0$. For $1\le q<2$, Holder inequality on the fixed finite-measure support gives the same conclusion from $L^2$ convergence. ThusThe same integral estimate covers $0<q<1$ if those spaces are interpreted with their usual quasi-norm. No conclusion at the critical exponent is asserted.

Use $D_j=-i{\partial }_{x_j}$ and $⟨\xi ⟩=(1+|\xi {|}^2{)}^{1/2}$, so the Fourier transform of $P(D)u$ is $P(\xi )\hat{u}(\xi )$. Write $P_N$ for the homogeneous degree-$N$ part. An elliptic differential operator has $P_N(\xi )\ne 0$ for every real $\xi \ne 0$. By continuity on the unit sphere, $m={\min }_{|\omega |=1}|P_N(\omega )|>0$. The lower-degree terms are bounded by $C|\xi {|}^{N-1}$ for $|\xi |\ge 1$, whencefor sufficiently large $|\xi |$. This proves the high-frequency lower bound for an elliptic polynomial. Degree zero just means a nonzero constant and has no derivative gain.

With the Fourier convention in Question 3, the Sobolev space isThe condition includes that the weighted transform is represented by an $L^2$ function. For open $X$, the Local Sobolev space consists of $u\in {\mathcal{D}}^{\prime }(X)$ for which $\chi u$, extended by zero, belongs to $H^s({\mathbb{R}}^n)$ for every $\chi \in C_c^{\infty }(X)$. We use the elementary Sobolev multiplication by a smooth cutoff fact for every real $s$. It follows from Fourier convolution with the rapidly decreasing $\hat{\chi }$, the weighted inequality $⟨\xi {⟩}^s\lesssim ⟨\xi -\eta {⟩}^{|s|}⟨\eta {⟩}^s$, and the $L^1\ast L^2\to L^2$ convolution bound.

For a compactly supported distribution, continuity on test functions supported in a fixed compact neighborhood gives finite order: for some integer $M$,Insert a compact smooth cutoff function equal to one near the support, times $e^{-ix\cdot \xi }$. The resulting Fourier transform is smooth and satisfies $|\hat{u}(\xi )|\le C^{\prime }⟨\xi {⟩}^M$. The distribution is also tempered by this same finite-order bound. ThusIndeed the square of the weighted bound is integrable exactly when $2(t+M)<-n$. This is negative Sobolev regularity of a compactly supported distribution.

We next prove local regularity by a high-frequency reciprocal parametrix kernel, including its off-diagonal smoothing property. Choose $\psi \in C_c^{\infty }({\mathbb{R}}^n)$ equal to one on a ball containing all real zeros of $P$, and put $b(\xi )=(1-\psi (\xi ))/P(\xi )$, defining it smoothly as zero in the inner ball. Differentiation of the reciprocal and the elliptic lower bound giveThe Fourier multiplier $E=b(D)$ maps $H^s$ to $H^{s+N}$ by its zeroth-order bound, andThe kernel $K={\mathcal{F}}^{-1}b$ is smooth away from the origin: for $x\ne 0$, repeatedly integrate by parts using $e^{ix\cdot \xi }=(i|x{|}^2{)}^{-1}x\cdot {\partial }_{\xi }{e}^{ix\cdot \xi }$. After sufficiently many integrations, the differentiated symbol is integrable. For any desired $x$ derivative, repeat the argument with the additional polynomial ${\xi }^{\beta }$. A large-radius cutoff function justifies each step and its removal uniformly on compact sets away from zero. Thus convolution by $K$ carries a compactly supported distribution to a smooth function at points separated from its support. Also $R$ carries a compactly supported distribution to a Schwartz function, because $\psi \hat{u}$ is smooth with compact support.

For a target compact set in $X$, choose $\chi \in C_c^{\infty }(X)$ equal to one on a neighborhood of it. Then $\chi u$ and $[P(D),\chi ]u$ have compact support, and the commutator is supported where derivatives of $\chi$ occur, away from the target. The parametrix identity givesThe first term is in $H^{s+N}$ since $\chi P(D)u\in H^s$. The other two terms are smooth near the target by the proved kernel property. Since the target was arbitrary,This proof does not discard the cutoff function commutator; it places its support away from the set where regularity is sought.

For the final polynomial, select a multi-index ${\alpha }_0$ with $|{\alpha }_0|=N$ and ${\partial }^{{\alpha }_0}Q$ a nonzero constant. The derivative-ratio hypothesis immediately gives $|Q(\xi )|\ge c|\xi {|}^{\delta N}$ at large frequency. In particular $Q$ has no real zero there. For $N>0$, its degree bound also forces $\delta \le 1$. Differentiating $1/Q$ gives products of ratios ${\partial }^{\beta }Q/Q$, whose total derivative order is $|\alpha |$. Hence the corresponding high-frequency reciprocal satisfiesIts multiplier maps $H^s$ to $H^{s+\delta N}$. Its kernel is still smooth off zero: each frequency integration by parts now lowers the order by $\delta$, so more iterations may be needed, but $\delta >0$ supplies arbitrarily much decay. The same separated-support commutator identity applies without a change. The derivative-ratio Sobolev gain for a polynomial operator is thereforeSimply estimating the commutator by its differential order would lose this sharper gain; the off-diagonal kernel argument uses the full derivative-ratio hypothesis.

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.

The space of test functions is $\mathcal{D}(\mathbb{R})=C_c^{\infty }(\mathbb{R})$: its elements are smooth functions with compact support. For a fixed compact set $K$, put ${\mathcal{D}}_K=\{\phi \in C^{\infty }(\mathbb{R}):\mathrm{supp}\phi \subset K\}$ and use the seminorms $p_m(\phi )={\max }_{0\le j\le m}\Vert {\phi }^{(j)}{\Vert }_{\infty }$. The space of test functions carries the usual test-function inductive limit topology of these spaces. In particular, a sequence converges precisely when its supports eventually lie in one compact set and every derivative converges uniformly. Thus ${\phi }_j\to \phi$ means that a common $K$ contains their supports and $p_m({\phi }_j-\phi )\to 0$ for every $m$.

A distribution is a continuous linear functional on this space of test functions, and ${\mathcal{D}}^{\prime }(\mathbb{R})$ denotes their space. We use complex-linear, bilinear pairings $⟨u,\phi ⟩$. Equivalently, for every compact set $K$ there are $C_K$ and a nonnegative integer $m_K$ such thatThe usual weak convergence of distributions is $u_j\to u$ if $⟨u_j,\phi ⟩\to ⟨u,\phi ⟩$ for every test function. This specifies the convergence used below; it does not require convergence in any norm.

The distributional derivative is defined byThe derivative map sends ${\mathcal{D}}_K$ continuously to itself, with $p_m({\phi }^{\prime })\le p_{m+1}(\phi )$. The preceding continuity estimate therefore proves that $u^{\prime }$ is again a distribution. This definition extends the ordinary derivative of a smooth function, by integration by parts.

Choose the translation of a distribution convention ${\tau }_{h}f(x)=f(x-h)$. Its action on a test function isFor fixed $h$, the translated test functions have translated compact support and unchanged derivative sup norms, so this defines a distribution. For the differentiability of distribution translations, apply the Taylor theorem in integral form:All supports lie in one slightly enlarged compact set for $|h|\le 1$, and the same identity for every derivative proves uniform convergence. The continuity of $u$ now givesThe minus sign in the translation parameter is necessary for this convention.

For (a), choose a test function $\eta$ with $\int \eta =1$. If $\int \psi =0$, then $F(x)={\int }_{-\infty }^x\psi (s)ds$ is a test function, since the zero integral makes it vanish beyond both ends of the compact support. If $u_1^{\prime }=0$, then $⟨u_1,\psi ⟩=⟨u_1,F^{\prime }⟩=0$. Decompose $\phi =(\int \phi )\eta +\psi$ to obtainConversely, these constant regular distributions have zero distributional derivative. This also proves the general fact that a distribution with zero derivative is constant.

For (b), choose a cutoff function $\rho$ equal to one near zero. Every test function decomposes asThe quotient extends as a smooth function at zero, and it has compact support. If $x{u}_2=0$, the definition of multiplication of a distribution by a smooth function gives $⟨u_2,\phi ⟩=⟨u_2,\rho ⟩\phi (0)$. Conversely, $x{\delta }_0=0$. Thus the kernel of multiplication by a coordinate is exactlyIn particular, derivatives of the Dirac delta distribution are not additional solutions: $x{\delta }_0^{\prime }=-{\delta }_0$.

Now write $D=d/dx$ and $P(z)=-z^n+{\sum }_{j=0}^{n-1}{a}_j{z}^j$, where $n\ge 1$. The characteristic roots of a constant-coefficient differential equation are the distinct roots of a polynomial ${\lambda }_1,\dots ,{\lambda }_r$ of $P$, with multiplicities $m_1,\dots ,m_r$. The distributional regularity of a constant-coefficient ordinary differential equation can be proved without assuming regularity in advance. Put $q_j(z)=(z-{\lambda }_j{)}^{m_j}$ and $Q={\prod }_j{q}_j=-P$. Since the $q_j$ are coprime polynomials, polynomial division and Bezout identity give polynomials $b_j$ such thatFor example, invert $Q/q_j$ modulo $q_j$, sum the resulting expressions, and absorb a remaining multiple of $Q$ into one coefficient. For $P(D)v=0$, the kernel decomposition for coprime polynomials therefore givesThe Leibniz rule for multiplication of a distribution by a smooth function implies $D^{m_j}(e^{-{\lambda }_{j}x}{v}_j)=0$. Repeatedly using a distribution with zero derivative is constant shows that a distribution with $m$th derivative zero is a polynomial of degree at most $m-1$: subtract the polynomial primitive of its constant $(m-1)$st derivative, and induct on $m$. Consequently the most general exponential polynomial solution of a constant-coefficient differential equation isEvery displayed term is annihilated by $P(D)$, so all coefficients are allowed. For the linear independence of these $n$ functions, on a relation, apply ${\prod }_{i\ne j}(D-{\lambda }_i{)}^{m_i}$; on $e^{{\lambda }_{j}x}$ times a polynomial of degree less than $m_j$, each remaining factor acts invertibly on that polynomial space. Hence the $j$th polynomial must vanish. Every distributional solution is an analytic function, and in particular a classical solution. For real coefficients and real-valued distributions, take complex conjugate coefficients at conjugate characteristic roots of a constant-coefficient differential equation, or equivalently use the corresponding real sine and cosine forms.

For the last equation, the operator is $xP(D)$: the coordinate multiplies the result of differentiation. The kernel of multiplication by a coordinate says precisely thatChoose the retarded fundamental solution of a constant-coefficient ordinary differential operator $E=Hw$, where $H$ is the Heaviside function and $w$ is the analytic solution of $P(D)w=0$ withSuch $w$ exists uniquely by the elementary initial value problem for a constant-coefficient ordinary differential equation; alternatively the residue construction in the next solution gives it explicitly. The distributional jump formula for a Heaviside product isIt follows by induction from $D(Hw)=H{w}^{\prime }+w(0){\delta }_0$, using integration by parts. With the chosen initial derivatives, every lower-order jump term vanishes and the leading coefficient $-1$ gives $P(D)E={\delta }_0$. Subtracting $CE$ reduces the last equation to the homogeneous one. Thus the coordinate-degenerate constant-coefficient differential equation has exactly the solutionsThere are $n+1$ independent constants. For $n\ge 2$, derivatives through order $n-2$ match at zero, while the derivative of order $n-1$ may jump; for $n=1$, the function itself may jump. An arbitrary distribution concentrated at zero cannot be added, because its image under the nonzero leading derivative would contain a nonvanishing highest derivative of the Dirac delta distribution.

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.