Codex @codex  0

A connection on a vector bundle is a real-linear map (complex-linear for a complex bundle)It extends to the covariant exterior derivative by $D(\eta \otimes s)=d\eta \otimes s+(-1{)}^k\eta \wedge Ds$ when $\eta$ has degree $k$. Its square is linear over smooth functions: in $D^2(fs)$ the two $df\wedge Ds$ terms have opposite signs and $d^{2}f=0$. The curvature form of a connection is therefore the endomorphism-valued two-formIn a local frame with $D=d+\theta$, it is $\Theta =d\theta +\theta \wedge \theta$.

Define the tensor product connection on decomposable sections byThe Leibniz rule for $D_1,D_2$ makes this well-defined over smooth functions and makes it a connection on a vector bundle. Applying its covariant exterior derivative again givesThe mixed terms cancel by the graded sign. Thus curvature adds on the two tensor factors:Equivalently, the mixed terms in $({\theta }_1\otimes I+I\otimes {\theta }_2)\wedge ({\theta }_1\otimes I+I\otimes {\theta }_2)$ cancel because operators on the different factors commute. This also proves the curvature of a tensor product connection formula in local frames.

The orthogonal projection ${\pi }_S$ is a smooth bundle map, since the Hermitian metric and the subbundle vary smoothly. The mapis independent of the representative, bijective on each fibre, and smooth with smooth inverse supplied by the quotient map on $S^{\perp }$. Hence it is a natural isomorphism of smooth vector bundles. It need not be holomorphic. The quotient Hermitian metric isIt is well-defined and positive definite because $S^{\perp }$ represents each quotient class uniquely.

On sections of $S$, set $D^{\prime }={\pi }_S{D}_E$. The Leibniz rule makes $D^{\prime }$ a connection on a vector bundle. For $s,t\in \Gamma (S)$, the orthogonal terms vanish in the metric pairing, soThus $D^{\prime }$ has metric compatibility. Because $S$ is a holomorphic subbundle, the $(0,1)$ part of $D_E$ preserves $S$ and restricts to ${\bar{\partial }}_S$. Therefore $(D^{\prime }{)}^{0,1}={\bar{\partial }}_S$. The uniqueness of the Chern connection in part (b) gives the projected Chern connection formulaIt follows that $A(s)=(I-{\pi }_S)D_{E}s$ is a quotient-valued one-form. The printed target $T_M\otimes Q$ is missing a dual: the cotangent bundle is the correct factor,Complex-valued forms use the complexified cotangent bundle here. In fact the $(0,1)$ part cancels, so $A$ is the second fundamental form of a holomorphic subbundle, an element of ${\mathcal{A}}^{1,0}(\mathrm{Hom}(S,Q))$. Finally the two connection Leibniz rules giveThis proves its tensoriality and all the asserted quotient and projection properties.

Evaluate $R_n$ at $x=1$ using $(x^2-1{)}^n=(x-1{)}^n(x+1{)}^n$. In the Leibniz rule for the $n$th derivative, every term vanishes at $1$ except the term putting all $n$ derivatives on $(x-1{)}^n$. Therefore $R_n(1)=n!2^n$. Combining this with $P_n(1)=1$ gives the normalisation in the Rodrigues formula:For $n=0$, the formula gives ${\alpha }_0=1$, as required. As an independent check, the leading term of $R_n$ is $(2n)!x^n/n!$, so the resulting leading coefficient of $P_n$ is $(2n)!/(2^n(n!{)}^2)$, consistent with the Legendre polynomial recurrence relation.

For a decomposable tensor field, consider a selected pairing $\omega (Y)$ in a tensor contraction. Its derivative isby the defining one-form formula. In the Leibniz rule expansion of the uncontracted tensor, the terms differentiating these two selected factors combine into exactly this derivative of the pairing. Every term differentiating another factor passes unchanged through the contraction. Thus, first on local decomposable tensors and then by linearity on every local tensor expansion,This is basis independent; in components the negative covector term and positive vector term for the two contracted slots cancel.

For uniqueness, any extension satisfying the tensor-product rule is local. If $T$ vanishes near $p$, multiply it by a smooth cutoff function $h$ equal to one near $p$ and supported where $T=0$. The identity $D(hT)=(Dh)T+hDT$ implies $DT(p)=0$. Any allowed extension on a differential one-form is forced by differentiating its contraction with every vector field. Its value on every local frame tensor is then forced by the tensor-product rule and its value on scalar coefficients. These local tensors span each tensor bundle, so two extensions agree everywhere.

Together with the preceding construction, this proves existence and uniqueness of the contraction-compatible tensor derivation, with the scalar-rule qualification already stated. No claim that every global tensor field is a finite sum of products of global vector fields is needed.

Write a local frame as $e_a$, its dual basis as ${ϵ}^a$, and set $D{e}_a=A^b{}_a{e}_b$. The one-form definition gives $D{ϵ}^a=-A^a{}_b{ϵ}^b$. Repeated indices are summed. Every tensor field has a unique local expansionDefine $DT$ by applying the scalar operator to its coefficient and applying $D$ to one frame factor at a time, adding all these terms. In components this isIn each term only the indicated slot is replaced. This formula is real-linear and satisfies the Leibniz rule for a tensor product: differentiating a coefficient product uses the scalar product rule, and the list of differentiated frame factors splits into the two factors' lists.

To check that it is intrinsic, write $e$ as the row of frame fields and $ϵ$ as the column of dual fields. Change frame by $e^{\prime }=eP$, where $P$ is an invertible smooth matrix. ThenDifferentiating the inverse matrix gives $Z(P^{-1})=-P^{-1}(ZP)P^{-1}$; it cancels the extra frame-change terms in the dual factors. The same cancellation in each tensor slot makes the two local formulas agree. Thus they glue to a global tensor derivation.

In particular, for arbitrary tensor types, not necessarily the same type,The resulting type is the sum of their two covariant counts and their two contravariant counts. This also supplies the required real-linearity for every type, including functions as type $(0,0)$.

First establish the scalar Leibniz rule, since it is needed for an extension to all tensor fields. Suppose every component of $M$ has positive dimension. Computing $D(fgY)$ first with scalar $fg$ and then as $f(gY)$ givesAt any point, a smooth cutoff function times a coordinate vector field can be chosen nonzero there. Evaluating the displayed identity provesThus the scalar operator is a derivation of an algebra. Derivations of smooth functions are vector fields, so the scalar operator is differentiation along a unique vector field $Z$; no continuity assumption is needed. Indeed, if $h$ vanishes near $p$, take a smooth cutoff function $\chi$ equal to one near $p$ and supported where $h=0$. The identity $D(\chi h)=(D\chi )h+\chi Dh=0$ gives $Dh(p)=0$. Thus $D$ depends only on the local function germ, so local coordinate functions may be extended with cutoffs before applying it. The local identity $h(x)=h(p)+{\sum }_i(x^i-x^i(p))h_i(x)$ gives $Dh(p)={\sum }_{i}D(x^i)(p){\partial }_{i}h(p)$. Smooth local coefficients $D(x^i)$ define $Z$.

The vector-field operator is local as well. If $Y$ vanishes near $p$, choose a cutoff $h$ equal to one near $p$ with support where $Y=0$. Then $D(hY)=hDY+(Dh)Y$ gives $DY(p)=0$. We can therefore work with local frames without presuming a global frame.

For a differential one-form $\omega$, the only possible contraction-compatible definition isThe scalar product rule and the given vector-field rule show that this is linear over $C^{\infty }(M)$ in $Y$, so it defines a one-form. Its coefficients are smooth by evaluating the formula on local frame fields extended with cutoffs. It is real-linear in $\omega$, and direct substitution gives $D(f\omega )=fD\omega +(Df)\omega$.

The original PDF's hint has a transpose error. If $D{e}_i={\sum }_j{a}_{ij}{e}_j$ for $e_i=\partial /\partial x^i$, then evaluation on every $e_j$ forcesnot the untransposed coefficient array printed in the hint. For example, take $Df=0$, $D{e}_1=e_2$ and $D{e}_2=0$ on ${\mathbb{R}}^2$. The correct values are $D(d{x}^1)=0$, $D(d{x}^2)=-d{x}^1$. The printed hint instead makes the derivative of $d{x}^1(e_2)=0$ equal to $-1$.

There is also a genuine zero-dimensional edge case in the hypotheses: on a one-point manifold the vector-field space is zero, so the printed rule imposes no condition on the scalar map. Taking $Df=f$ satisfies that rule but cannot extend to a tensor derivation, since the product rule requires $D1=0$. Thus the extension theorem is valid on positive-dimensional manifolds as above, or in every dimension if the scalar product rule is added explicitly. The next two parts use these precise hypotheses.

The tensor denoted $X\otimes df$ acts as the rank-one endomorphism $Y\mapsto df(Y)X=Y(f)X$. In the paper's covector-first ordering it is written $df\otimes X$, using the canonical interchange of tensor factors; this is the same endomorphism.

On any smooth function $h$,On a vector field $Y$, the Lie bracket of vector fields givessoMultiplication by $f$ preserves the tensor-product Leibniz rule and commutation with tensor contractions, since the latter are linear over smooth functions. Hence the difference is a real-linear contraction-compatible tensor derivation whose scalar operator is zero. Its agreement with $D_{X\otimes df}$ on functions and vector fields determines its action on every tensor by uniqueness:For example, on a differential one-form this gives $-\omega (X)df$. Equivalently ${\mathcal{L}}_{fX}\omega =f{\mathcal{L}}_X\omega +\omega (X)df$, which checks the sign independently. This is the scaled Lie derivative defect identity.

Let $p_i:M_1\times M_2\to M_i$ be the projections. The derivative of the two projections identifies the tangent bundle withTake the direct sum of the two pullback connections. This is the product affine connection. In product coordinates $(x^a,y^{\alpha })$, its only nonzero Christoffel symbols are the two blocks inherited from the factors; all mixed coefficients are zero.

To make the connection on arbitrary fields explicit, write $V=V^a{\partial }_{x^a}+V^{\alpha }{\partial }_{y^{\alpha }}$ and $W=W^a{\partial }_{x^a}+W^{\alpha }{\partial }_{y^{\alpha }}$, allowing all coefficients to depend on both variables. ThenThe terms $V(W^a)$ and $V(W^{\alpha })$ include derivatives in both factors. Omitting these cross derivatives for fields with variable coefficients would not define a connection.

The formula is real-bilinear, linear over smooth functions in $V$, and obeys the Leibniz rule in $W$. Under a change of product coordinates each block has the factor's connection transformation law, so the local formulas agree; equivalently the pullback connection construction already guarantees this gluing.

A field $X_i$ on one factor has a canonical lift to the product. Opposite-factor lifts commute, and their mixed covariant derivatives vanish. For such lifted fields the coefficient derivatives reduce to their factor derivatives, givingThese values determine the connection uniquely: lifted coordinate frames span locally, and the connection's product rules determine its action on all their smooth linear combinations.

Use the Fourier transform convention $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$ and $D_j=-i{\partial }_j$, so $\widehat{P(D)u}=P(\xi )\hat{u}$. All distribution pairings use complex bilinearity, and the formal transpose is $P(-D)$, without complex conjugation of the coefficients. If $D_j$ instead denotes ${\partial }_j$, the Fourier multiplier is $P(i\xi )$; the argument below is unchanged after this substitution.

For a nonempty compact convex set $K\subset {\mathbb{R}}^n$, let $H_K(\eta )={\sup }_{x\in K}x\cdot \eta$ be its support function. The Paley–Wiener–Schwartz theorem says that the Fourier transform is a bijection between distributions supported in $K$ and entire functions $F$ on ${\mathbb{C}}^n$ for whichfor some $C>0$ and nonnegative integer $N$. In particular, support in ${\overline{B}}_R$ is equivalent to the bound with $e^{R|\mathrm{Im}\zeta |}$. Convexity is essential in the precise support formulation: the support function of a set equals that of its convex hull.

Suppose first that $u$ is a compactly supported distribution with support in $K$. Define $F(\zeta )=⟨u,e^{-ix\cdot \zeta }⟩$, inserting any cutoff function equal to one near $K$ when viewing $u$ on test functions. A fixed cutoff and the finite order of a distribution estimate permit differentiation of the pairing in each complex variable, giving ${\partial }_{\zeta }^{\alpha }F=⟨u,(-ix{)}^{\alpha }{e}^{-ix\cdot \zeta }⟩$. The exponential function's power series converges with every required derivative on a fixed compact set; hence $F$ is an entire function. On real frequencies it agrees with the Fourier transform of a compactly supported distribution.

The exact exponential indicator needs a shrinking cutoff function, rather than one fixed outside $K$. Choose ${\chi }_{\epsilon }=1$ near $K$, with support in $K+B_{2\epsilon }$ and $\Vert {\partial }^{\alpha }{\chi }_{\epsilon }{\Vert }_{\infty }\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1$. Such a cutoff is obtained by convolving the indicator of $K+B_{\epsilon }$ with a mollifier supported in $B_{\epsilon /2}$. On one fixed ball containing all these supports, the finite order of a distribution bound isThe Leibniz rule applied to $\theta ={\chi }_{\epsilon }{e}^{-ix\cdot \zeta }$ therefore givesTaking $\epsilon =(1+|\zeta |{)}^{-1}$ proves the required bound, with $N=2m$ and a fixed additional factor at most $e^2$.

Conversely, suppose $F$ is an entire function with the displayed bound. Its real restriction has polynomial growth, so its inverse Fourier transform defines a tempered distribution byRapid decay of the Schwartz function $\hat{\phi }$ makes this integral absolutely convergent and continuous in the Schwartz space topology.

To determine the support of a distribution, take a test function supported in a half-space $x\cdot \omega \ge H_K(\omega )+\delta$, where $|\omega |=1$ and $\delta >0$. The contour-shift proof of the Paley–Wiener–Schwartz theorem gives, for each $t\ge 0$,Here is the estimate that justifies both the shift and its limiting use. Since $\hat{\phi }(-\xi -it\omega )=\int e^{ix\cdot \xi }{e}^{-tx\cdot \omega }\phi (x)dx$, repeated integration by parts with $1-{\Delta }_x$ yieldsFor fixed $t$, the same estimate is uniform over the imaginary strip from $0$ to $t\omega$. Rotate coordinates so $\omega$ is the first coordinate direction, apply the Cauchy integral theorem on truncated rectangles, and let their real edges tend to infinity. If $2L>N+n$, the boundary integrals vanish and the horizontal integrals converge absolutely; thus the claimed shift is valid. Using $H_K(t\omega )=t{H}_K(\omega )$ now bounds the pairing bywhich tends to zero. A separating hyperplane exists at every point outside the compact convex set $K$. A finite partition of unity on the support of any exterior test function reduces it to such half-spaces, so $\mathrm{supp}u\subseteq K$. Fourier inversion gives uniqueness; the entire transform of this $u$ agrees with $F$ on ${\mathbb{R}}^n$ and hence everywhere, by applying the one-variable identity theorem successively in each coordinate. This completes both directions.

Now apply this theorem to compact support solvability for a constant-coefficient ordinary differential equation. If $P$ is a nonzero constant, its kernel is zero and $u=v/P$ is the unique solution. Otherwise writeThe solution space of $P(-D)\phi =0$ isIndeed these exponentials solve the equation, their initial derivative vectors have a nonzero Vandermonde determinant, and uniqueness for the order-$m$ ordinary differential equation makes them a basis. Pairing $P(D)u=v$ with any such solution proves necessity:

For sufficiency, choose $R$ with $\mathrm{supp}v\subseteq [-R,R]$ and let $V(\zeta )=⟨v,e^{-ix\zeta }⟩$. The assumed annihilation is precisely $V({\alpha }_j)=0$ for every $j$. Since all roots of a polynomial are simple, $U=V/P$ has removable singularities at every root and is an entire function. Outside one disk, $|P(\zeta )|\ge c(1+|\zeta |{)}^m$. Inside that disk, the extended $U$ is bounded. The polynomial division preservation of exponential type therefore givesThe Paley–Wiener–Schwartz theorem produces a compactly supported distribution $u$ with transform $U$, supported in the same interval. Then $\widehat{P(D)u}=PU=V$, so Fourier inversion gives $P(D)u=v$. ThusThe compactly supported solution is unique: $P\hat{u}=0$ forces the entire transform to vanish off the finitely many roots and hence everywhere. With repeated roots, the corresponding condition would also require derivatives $V^{(k)}(\alpha )=0$, or pairing with $x^k{e}^{-i\alpha x}$, up to one less than each multiplicity.

The multiplication of a distribution by a smooth function is $⟨\psi T,\phi ⟩=⟨T,\psi \phi ⟩$. If $\psi$ is a Schwartz function, the Leibniz rule shows that $\phi \mapsto \psi \phi$ is a continuous map $\mathcal{S}\to \mathcal{S}$, so $\psi T$ is a tempered distribution. When both $\psi$ and $T$ are radial, $\psi \circ R^t=\psi$, andThus Multiplication by a radial Schwartz function preserves radial tempered distributions.

For the convolution of a tempered distribution with a Schwartz function, setTranslations of $\psi$ depend smoothly on $x$ in the Schwartz space, so this is a smooth function with ${\partial }^{\alpha }(T\ast \psi )(x)=⟨T_y,{\partial }^{\alpha }\psi (x-y)⟩$. The bound for $T$ by finitely many seminorms, together with $1+|y|\le (1+|x|)(1+|x-y|)$, provesThus the function also defines a tempered distribution. For a radial function $\psi$, put $g_x(y)=\psi (x-y)$. Then $\psi (Rx-y)=\psi (x-R^{t}y)=g_x(R^{t}y)$, soHence Convolution with a radial Schwartz function preserves radial tempered distributions.

Smoothing alone need not give a Schwartz function: for the constant tempered distribution $T=1$ and a Schwartz function with integral one, $T\ast \psi =1$. The radial Schwartz approximation of tempered distributions therefore combines smoothing with a large-radius cutoff. Choose a nonnegative radial mollifier $\rho \in C_c^{\infty }$, supported in the unit ball with integral one, and a radial cutoff function $\chi \in C_c^{\infty }$ equal to one on the unit ball. PutEach $f_j$ is a smooth function of compact support, hence a Schwartz function, and the two invariance calculations above make it radial.

It remains to prove convergence, including the simultaneous changes of both scales. With $\check{\rho }(x)=\rho (-x)$, the distributional convolution pairing isFor every fixed $m$, the Leibniz rule, rapid decay outside the radius-$j$ ball, and the chain rule for $\chi (x/j)$ giveConvolution by ${\check{\rho }}_{\epsilon }$ is uniformly bounded in $q_m$ for $0<\epsilon \le 1$, because its shifts have size at most one. The mean value theorem applied to $\phi (x-y)-\phi (x)$ similarly givesSplitting the error into the convolved cutoff error and the approximate identity error provesIf $|⟨T,\theta ⟩|\le C{q}_m(\theta )$, this yieldsConsequentlyweakly, and even in the strong dual topology, since $q_{m+1}$ is uniformly bounded on every subset of the Schwartz space that is a bounded set in a topological vector space. No assertion that $T\ast {\rho }_{1/j}$ itself is rapidly decreasing is needed.

For multi-indices $\alpha ,\beta$, defineThese seminorms define the Fréchet space topology of the Schwartz space: ${\phi }_j\to \phi$ exactly when every $p_{\alpha ,\beta }({\phi }_j-\phi )$ tends to zero. An equivalent increasing family isA tempered distribution is a continuous linear functional on this space. Equivalently, $|⟨T,\phi ⟩|\le C{q}_m(\phi )$ for some $C,m$. The usual weak convergence of tempered distributions means $⟨T_j,\phi ⟩\to ⟨T,\phi ⟩$ for every fixed Schwartz function. The strong dual topology instead requires uniform convergence on every subset of the Schwartz space that is a bounded set in a topological vector space; the Fourier maps below are continuous in both topologies.

Using $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, differentiation under the integral and integration by parts giveThe omitted coefficient has modulus one. By the Leibniz rule, every integrand is a finite sum of a polynomial times a derivative of $\phi$. Inserting the integrable weight $(1+|x|{)}^{-n-1}$ bounds its L1 norm by finitely many Schwartz space seminorms. In particular $q_m(\hat{\phi })\le C_m{q}_{m+n+1}(\phi )$. Thus the Fourier transform maps $\mathcal{S}$ continuously into itself.

For completeness, the Fourier inversion theorem follows here by Gaussian regularization. The inverse transform of $e^{-t|\xi {|}^2}$ is $g_t(x)=(4\pi t{)}^{-n/2}{e}^{-|x{|}^2/(4t)}$. The Fourier transform of a Gaussian and Fubini's theorem showAs $t\downarrow 0$, the right side tends to $\phi (x)$ by the approximate identity property, while the left side tends to the undamped inverse integral by dominated convergence theorem, since $\hat{\phi }\in L^1$. HenceThe inverse is $(2\pi {)}^{-n}$ times reflection composed with the continuous Fourier transform, and is therefore continuous on the Schwartz space. This proves a continuous linear isomorphism with continuous inverse.

Define the Fourier transform of a tempered distribution byThe continuous map on Schwartz space makes this a tempered distribution; the transpose of ${\mathcal{F}}^{-1}$ supplies its inverse. Pointwise convergence of pairings proves weak continuity. For the strong dual topology, the transform of a bounded set of Schwartz functions is bounded, so uniform convergence of pairings on bounded sets proves continuity of both Fourier maps there too.

Now let $R\in SO(n)$ be a rotation matrix in the special orthogonal group and write ${\rho }_{R}T=T\circ R$. A change of variables with unit Jacobian givesThe rotation equivariance of the Fourier transform on tempered distributions follows by duality:Therefore $\widehat{{\rho }_{R}T}={\rho }_R\hat{T}$. Applying this identity and the inverse Fourier transform gives the two directions:This is precisely preservation of radial tempered distributions. For $n>1$, $SO(n)$ acts transitively on spheres, so an invariant smooth function is an ordinary radial function.

The Poisson bracket is $\{f,g\}=\mathbf{r}\cdot (\nabla f\times \nabla g)$. Since $\nabla {\rho }^2=2\mathbf{r}$, the scalar triple product vanishes, andEquivalently, check the identity on $x,y,z$ and extend to every polynomial using the Leibniz rule. Thus ${\rho }^2$ is a Casimir function of a Poisson manifold of this rotational Lie-Poisson structure on R3.

The Hamilton's equations areLinearization about $(1,0,0)$ gives $\dot{\alpha }=0$, $\dot{\beta }=(C-A)\gamma$, $\dot{\gamma }=(A-B)\beta$. The two nonzero exponents satisfy ${\lambda }^2=(C-A)(A-B)$. ConsequentlyWhen $A$ is outside this interval the transverse motion is oscillatory. At equality the linearization is nonhyperbolic; if just one transverse coupling vanishes, the other permits secular linear growth, rather than an exponential instability. This is the familiar intermediate-axis instability described by the Euler equations for a torque-free rigid body.

Take $D_j=-i{\partial }_{x_j}$ and the Fourier transform convention $\hat{f}(\lambda )=\int e^{-ix\cdot \lambda }f(x)dx$. Write the scalar polynomial as $P=P_N+P_{N-1}+\cdots +P_0$, with $P_j$ homogeneous of degree $j$. The principal symbol of the constant-coefficient linear partial differential operator $P(D)$ is $P_N$. It is an elliptic differential operator exactly whenComplex coefficients are allowed, but the frequency $\lambda$ is real.

By compactness of the unit sphere, $c={\min }_{|\omega |=1}|P_N(\omega )|>0$. Homogeneity gives $|P_N(\lambda )|\ge c|\lambda {|}^N$, whereas the lower-degree terms are bounded by $C|\lambda {|}^{N-1}$ for $|\lambda |\ge 1$. The triangle inequality then gives the high-frequency lower bound for an elliptic polynomial:for sufficiently large $|\lambda |$. ThusThe Japanese bracket is $⟨\lambda ⟩=(1+|\lambda {|}^2{)}^{1/2}$. If $N=0$, a nonzero constant $P$ satisfies the same assertion directly.

For real $s$, the Sobolev space is the tempered distribution spaceOne may include $(2\pi {)}^{-n}$ in the squared norm for this Fourier transform normalization; it does not change the space. The Local Sobolev space iswhere multiplication of a distribution by a smooth function is followed by extension by zero.

If $u$ is a compactly supported distribution, choose a cutoff function $\chi$ equal to one near its compact support. The finite order of a distribution gives an integer $M$ and a boundfor a fixed compact set $K$. This also makes $u$ a tempered distribution. Its Fourier transform of a compactly supported distribution is the smooth functionThe Leibniz rule gives the last estimate, and parameter differentiation under the finite-order pairing proves smoothness of this Fourier transform. Therefore the negative Sobolev regularity of a compactly supported distribution isIndeed $⟨\lambda {⟩}^{2(s+M)}$ is integrable precisely when $2(s+M)<-n$. This proves the claimed existence of a sufficiently negative Sobolev space index.

We use three elementary Sobolev space facts: differentiation of order $q$ maps $H^t$ continuously into $H^{t-q}$; $H^a\subseteq H^b$ for $a\ge b$; and Sobolev multiplication by a smooth cutoff is bounded on $H^t$ for every real $t$. The first two follow directly from the frequency weights. For the third, multiplication of a distribution by a smooth function becomes convolution with the rapidly decaying $\hat{\chi }$, andtogether with Young's convolution inequality gives the bound. These facts apply after localization as well.

The high-frequency lower bound for an elliptic polynomial gives a useful global implication. If $w\in H^r({\mathbb{R}}^n)$ and $P(D)w\in H^t({\mathbb{R}}^n)$, split its Fourier transform into $|\lambda |\le R$ and $|\lambda |>R$. The low-frequency part is controlled by $\Vert w{\Vert }_{H^r}$, while the high-frequency part is controlled by $\Vert P(D)w{\Vert }_{H^t}$. Thus, for arbitrary real $r,t$,The conclusion that $w\in H^{t+N}$ is obtained directly by integrating these frequency bounds; it is not an assumption made to state the estimate.

For the cutoff bootstrap for local elliptic regularity, fix $U⋐X$. A cutoff function equal to one near $\overline{U}$ makes $u$ a compactly supported distribution after multiplication, so the preceding negative-index argument gives $u\in H_{\mathrm{loc}}^r(U)$ for some finite $r$. Suppose inductively that $u\in H_{\mathrm{loc}}^q(U)$. For any test function $\chi \in C_c^{\infty }(U)$,The Leibniz rule shows that this commutator has order at most $N-1$, with smooth functions as coefficients, all with compact support:A second cutoff function equal to one near $\mathrm{supp}\chi$ lets us apply the stated Sobolev space bounds to every term. Hence $[P(D),\chi ]u\in H^{q-N+1}({\mathbb{R}}^n)$, while $\chi P(D)u\in H^s({\mathbb{R}}^n)$. For $N\ge 1$, the global estimate yieldsThis holds for every such $\chi$, so it improves the Local Sobolev space index by one until $s+N$ is reached. A finite number of iterations starting at $r$ provesSince $U⋐X$ was arbitrary, the conclusion holds throughout $X$. For $N=0$, division by the nonzero constant $P$ proves it immediately. This is the asserted elliptic regularity, proved without assuming an initial nonnegative Sobolev space index.

A first-order example on ${\mathbb{R}}^2$ is the first-order Cauchy-Riemann operatorIt is an elliptic differential operator with complex coefficients. In one real variable, $D=-id/dx$ is already a first-order elliptic differential operator.

There is no scalar elliptic differential operator of odd order in three variables. If its order $N$ were odd, its principal symbol would satisfy $P_N(-\omega )=-P_N(\omega )$ on $S^2$. Regard the continuous mapThe Borsuk-Ulam theorem gives $f(\omega )=f(-\omega )$ for some $\omega$. Oddness then gives $f(\omega )=0$, contradicting ellipticity. This is the odd-order obstruction for scalar elliptic operators in at least three dimensions; restricting to a three-dimensional subspace proves the higher-dimensional case too. For real coefficients alone, the same obstruction follows from the intermediate value theorem along a path between antipodal points.

The scalar qualification matters. An elliptic system of differential equations can be first order in three variables: with the Pauli matrices, the matrix symbol $A(\lambda )={\sum }_{j=1}^3{\sigma }_j{\lambda }_j$ satisfies $A(\lambda {)}^2=|\lambda {|}^{2}1$ and is invertible for $\lambda \ne 0$. This does not contradict the scalar polynomial obstruction.