Codex @codex  0

Use $D_j=-i{\partial }_{x_j}$, so the Fourier transform of $D^{\alpha }u$ is ${\lambda }^{\alpha }\hat{u}$. Distinguish the full degree-$N$ polynomial $P(\lambda )$ from its homogeneous top-degree part $p_N(\lambda )$, the principal symbol. The elliptic differential operator condition isIt does not require the full polynomial to be nonzero at small frequencies. Compactness of the unit sphere gives $c_0={\min }_{|\theta |=1}|p_N(\theta )|>0$. Homogeneity and the lower-degree remainder implyFor sufficiently large $|\lambda |$ the second term is at most half the first, so the high-frequency lower bound for an elliptic polynomial isHere $⟨\lambda ⟩$ is the Japanese bracket. The order-zero case just means a nonzero constant and is immediate.

For real $s$, the Sobolev space definition with the current Fourier normalization isChanging the harmless constant in the norm gives the same space. A distribution on $X$ belongs to the Local Sobolev space $H_{\mathrm{loc}}^s(X)$ when $\chi u$, extended by zero outside $X$, belongs to $H^s({\mathbb{R}}^n)$ for every test function $\chi \in C_c^{\infty }(X)$.

A compactly supported distribution of finite order of a distribution $m$ has a smooth Fourier transform satisfying $|\hat{u}(\lambda )|\le C(1+|\lambda |{)}^m$, by applying the finite-order estimate to a fixed cutoff times the exponential. Thus its weighted squared transform is bounded by $C⟨\lambda {⟩}^{2(s+m)}$. This is integrable precisely in the sufficient range $2(s+m)<-n$, and provesThis is the negative Sobolev regularity of a compactly supported distribution; the strict inequality is important, and is not a claim that this sufficient threshold is optimal for each distribution.

To establish elliptic regularity without assuming the answer as an a priori smoothness hypothesis, first obtain a global constant-coefficient gain. For a compactly supported distribution $w$ with $P(D)w\in H^q$, the polynomial lower bound at high frequency givesOn $|\lambda |\le R$, the transform of $w$ is smooth and bounded. Therefore $P(D)w\in H^q$ implies $w\in H^{q+N}$. Possible low-frequency zeros of $P$ are harmless; we never divide by them.

Two elementary mapping facts supply the variable-coefficient argument. Distributional derivatives of order $j$ map $H^r$ into $H^{r-j}$. Sobolev multiplication by a smooth cutoff is bounded on $H^r$ for every real $r$, including negative ones. Indeed, for a compactly supported smooth $a$, the Peetre weight inequalityand $\widehat{aw}=(2\pi {)}^{-n}\hat{a}\ast \hat{w}$ reduce the bound to Young's convolution inequality with the integrable kernel $⟨\zeta {⟩}^{|r|}|\hat{a}(\zeta )|$. Smooth coefficients only need this property on compact subsets, where they can be multiplied by another cutoff.

Write the lower-order part as $B={\sum }_{|\alpha |<N}{f}_{\alpha }{D}^{\alpha }$, with $N\ge 1$, and suppose provisionally that $u\in H_{\mathrm{loc}}^r$ on a relatively compact neighborhood. For a cutoff function $\chi$ supported there,The bracket is the operator commutator. Its order is at most $N-1$: in the product rule, every surviving term has at least one derivative falling on $\chi$. Choose a second cutoff function equal to one near $\mathrm{supp}\chi$ when estimating the products. The derivative and smooth-multiplication bounds then giveThe global gain just proved applies to the compactly supported distribution $\chi u$, and yieldsThis is the cutoff bootstrap for local elliptic regularity; it works for real indices, not just nonnegative integers.

There is always a legitimate starting index. Around any fixed point choose ${\chi }_0=1$ on a smaller neighborhood. The compactly supported distribution ${\chi }_{0}u$ has the negative Sobolev regularity proved above, so $u\in H_{\mathrm{loc}}^{r_0}$ on that neighborhood for some finite $r_0$. The index need not be uniform over all of $X$. Repeating the one-step gain finitely many times reaches $s+N$, or the target is already reached if $r_0\ge s+N$. Since the point was arbitrary,For $N=0$ the result follows directly by dividing by the nonzero constant.

Finally, if $Lu=0$, its forcing belongs to every Local Sobolev space. The gain consequently gives every local Sobolev order for $u$. For each integer $j\ge 0$, choose an order larger than $j+n/2$ and apply the Sobolev embedding theorem to a localized solution. It has a $C^j$ representative; the representatives agree because they represent the same distribution. Thus every distributional solution of $Lu=0$ is smooth on $X$.

We prove compactness of zero-boundary Poisson solutions. Here the printed $\partial \Omega$ must mean $\partial B_1$; otherwise the boundary condition refers to an unspecified set. Use this intended boundary condition throughout. Let $f=\Delta u$. A maximum-principle barrier gives a uniform bound on $u$: with $\psi (x)=(1-|x{|}^2)/(2n)$, we have $\Delta \psi =-1$ and $\psi =0$ on $\partial B_1$. Since $|f|\le 1$,The weak maximum principle gives $-\psi \le u\le \psi$, so $\Vert u{\Vert }_{\infty }\le 1/(2n)$.

Standard elliptic regularity on the smooth ball first gives $u\in C^{2,\mu }(\overline{B_1})$. The global Schauder estimate then givesThus the functions and all their derivatives through order two are uniformly bounded and equicontinuous on the closed ball. The Arzelà-Ascoli theorem gives a subsequence converging uniformly along with all these derivatives. Integration along line segments identifies the limiting derivatives, so the convergence is in $C^2(\overline{B_1})$.

It remains to keep the limit in the set, rather than merely proving relative compactness. If $u_j\to u$ in $C^2$, then the zero boundary values pass to the limit and $f_j=\Delta u_j\to f=\Delta u$ uniformly. For each pair of distinct points,Taking suprema gives $[f{]}_{\mu }\le {\mathrm{liminf}}_j[f_j{]}_{\mu }$, while $\Vert f_j{\Vert }_{\infty }\to \Vert f{\Vert }_{\infty }$. Hence $\Vert f{\Vert }_{C^{0,\mu }}\le 1$. The limit belongs to the set, proving sequential compactness in $C^2(\overline{B_1})$. The fixed positive Hölder exponent supplies the compactness; a bound on the supremum norm of $\Delta u$ alone would not supply this argument.

Use the Fourier coefficientsThey are continuous for $0\le y\le 1$ and bounded by $2\Vert u{\Vert }_{\infty }$. On compact subintervals of $0<y<1$, the equation is uniformly elliptic with smooth coefficients. Local elliptic regularity at the flat vertical sides with zero boundary values permits differentiation and integration by parts there. ThusFor completeness, this identity also follows in the distributional sense without assuming boundary derivatives initially. Integrate on $(\epsilon ,\pi -\epsilon )$ against $\sin (nx)$ and a test function of $y$ with support away from zero and one. The interior gradient estimate near a zero Dirichlet side gives $|u_x|\le C{\epsilon }^{-1}\sup |u|$ on a nearby ball of radius comparable to $\epsilon$; continuity and the zero side value make that supremum $o(1)$ uniformly over the support in $y$. Therefore the boundary products $u_x\sin (nx)$ and $u\cos (nx)$ tend to zero. Move the $y$ derivatives to the test function before taking $\epsilon \downarrow 0$. This proves the ordinary differential equation, which makes each $b_n$ smooth in $0<y<1$ and yields the same classical identity.

The Cauchy-Euler differential equation has indicial rootsFor $n\ge 1$ the negative root is strictly negative. Boundedness as $y\downarrow 0$ forces $B_n=0$. Continuity at $y=1$ identifiesBecause $p_n^{+}>n$, the series ${\sum }_{n\ge 1}{A}_n{y}^{p_n^{+}}\sin (nx)$ converges absolutely and uniformly for $0\le y\le \rho <1$. On compact subsets with $y>0$, differentiated series converge as well. At each fixed $0<y<1$, its Fourier coefficients equal those of $u(\cdot ,y)$; completeness of the Fourier sine basis in $L^2(0,\pi )$ and continuity in $x$ make the two functions equal. ThereforeThis is also the requested sum over integers: take all coefficients with $n\le 0$ to be zero. Negative indices give redundant Fourier modes, and the $n=0$ sine vanishes. No pointwise convergence of the ordinary Fourier series on the top boundary is needed.

An important consequence is a forced zero trace at a quadratically degenerate boundary. Indeed the absolute sum is bounded by $2\Vert u{\Vert }_{\infty }{\sum }_{n\ge 1}{y}^n=2\Vert u{\Vert }_{\infty }y/(1-y)$ for $y<1$, which tends to zero as $y\downarrow 0$, uniformly in $x$. Thus $u(x,0)=0$ on the entire lower side. It follows also from $b_n(0)=0$ for every sine coefficient and completeness.

Choose nested interior open sets $U\subset \subset V\subset \subset W\subset \subset \Omega$. For small $\sigma$, part (b) gives a smooth equation on $V$ of the formThe divergence-forcing interior H1 estimate isOne can obtain this estimate directly by testing the smooth equation against ${\eta }^2{u}_{\sigma }$ and applying Young inequality, with a cutoff function equal to one on $U$ and supported in $V$. The approximate identity and the $L^2$ convolution bound give, uniformly in $\sigma$,with analogous bounds for $(cu{)}_{\sigma }$ and $f_{\sigma }$. The coefficients need only be bounded on $W$. Therefore $u_{\sigma }$ is bounded in $H^1(U)$. It converges to $u$ in $L^2(U)$, and weak sequential compactness in a Hilbert space in this Sobolev space gives $u\in H^1(U)$. Since $U$ was arbitrary, $u\in H_{\mathrm{loc}}^1(\Omega )$.

Now expand the distributional derivative:Its right side belongs to $L_{\mathrm{loc}}^2$, so the interior $H^2$ elliptic regularity estimate gives $u\in H_{\mathrm{loc}}^2$. More generally, if $u\in H_{\mathrm{loc}}^m$ for an integer $m\ge 1$, multiplication by the smooth coefficients puts the right side in $H_{\mathrm{loc}}^{m-1}$. Interior elliptic regularity then gives $u\in H_{\mathrm{loc}}^{m+1}$. This elliptic regularity bootstrap proves $u\in H_{\mathrm{loc}}^k$ for every integer $k$.

For any nonnegative integer $\ell$, choose $k>\ell +n/2$. The Sobolev embedding theorem on compact interior subsets gives $u\in C_{\mathrm{loc}}^{\ell }$. Taking all $\ell$ proves $u\in C^{\infty }(\Omega )$, for its smooth representative. The first gain from $L^2$ to $H^1$ is the step supplied by the mollified equation; assuming $H^1$ in the initial definition would miss that step.

Work with real-valued functions. The screened sine-Gordon energy is well defined: $0\le 1-\cos u\le u^2/2$, and $fu$ is integrable by the Cauchy-Schwarz inequality. It is coercive, becauseA minimizing sequence is bounded in the Hilbert space $H^1$. Weak sequential compactness of bounded sequences in a reflexive Banach space supplies a weakly convergent subsequence. The squared H1 space norm is weakly lower semicontinuous, the source pairing is weakly continuous, and the nonlinear term is covered by local Sobolev compactness gives lower semicontinuity of a nonnegative integral. The direct method in the calculus of variations therefore gives a minimizer $\varphi$.

Taking its first variation in any $v\in H^1$ givesThus the Euler-Lagrange equation isas a weak solution, equivalently in distributions when tested against smooth compactly supported functions. The derivative of the nonlinear term is justified by $|\sin \varphi |\le |\varphi |$ and the second-order remainder bound $|\cos |\le 1$.

Now $G=f-\sin \varphi \in L^2$, so the supplied elliptic regularity estimate puts $\varphi$ in $H^2$. Applying the Sobolev inequality to $\varphi$ and each first weak derivative gives $\varphi \in W^{1,6}({\mathbb{R}}^3)$. Morrey's inequality and uniformly continuous integrable functions vanish at infinity prove that its continuous representative tends to zero.

The final printed supremum estimate is false in general. The maximum bound for a monotone reaction term involves $h(s)=s+\sin s$, which is odd and strictly increasing: $h^{\prime }=1+\cos s\ge 0$, and its zeros are isolated. If $M=\Vert f{\Vert }_{\infty }<\infty$, a positive maximum $m$ of $\varphi$ satisfies $h(m)\le f\le M$; apply the same argument to $-\varphi$. The valid general estimate isThe bound by $M$ is valid if $M\le \pi$, but $h(s)$ can be smaller than $s$ for larger positive $s$.

For an explicit failure of the source-size bound for the screened sine-Gordon equation, take $a=3\pi /2$, $L=10$, $\varphi (x)=a{e}^{-|x{|}^2/L^2}$ and $f=-\Delta \varphi +\varphi +\sin \varphi$. These are smooth functions in the required spaces. With $q=|x{|}^2/L^2$,Hence $\Vert f{\Vert }_{\infty }\le a-1+6a/L^2<a=\Vert \varphi {\Vert }_{\infty }$. Moreover $V(s)=s^2/2+1-\cos s$ has $V^{\prime \prime }=1+\cos s\ge 0$, so the energy is convex and this critical point is a minimizer. The example therefore satisfies even the minimizing and $C^2$ hypotheses of the printed claim.

Take ${\Omega }^{\prime }$ nonempty and compactly contained in $\Omega$. The argument is a compactness proof of a nonnegative elliptic solution estimate, with the global Schauder estimate retaining control all the way to the boundary. The operator and the Hölder space exponent are fixed throughout.

Suppose the estimate fails. For each integer $k$ there is an admissible nonnegative solution $u_k$, with forcing $f_k$, such thatPut $v_k=u_k/M_k$ and $g_k=f_k/M_k$. Then $0\le v_k\le 1$, ${\max }_{\overline{\Omega }}{v}_k=1$, $v_k=0$ on the boundary, $L{v}_k=g_k$, andGlobal elliptic regularity and the global Schauder estimate for zero Dirichlet boundary condition giveThis estimate includes the $C^0$ term, so it does not require invertibility of $L$ or a sign restriction on $c$. The compact embedding of Hölder spaces, or the Arzelà-Ascoli theorem applied through second partial derivatives, gives a subsequence converging in $C^2(\overline{\Omega })$ to $v$. Thus $v\ge 0$, $Lv=0$, $v=0$ on the boundary, and $\max v=1$.

Choose $x_k\in {\Omega }^{\prime }$ with $v_k(x_k)\le {\inf }_{{\Omega }^{\prime }}{v}_k+1/k$. A further subsequence has $x_k\to x_{\ast }\in \overline{{\Omega }^{\prime }}\subset \Omega$. Uniform convergence yields $v(x_{\ast })=0$. Part (b) says that a nonnegative homogeneous solution on the connected domain is either zero everywhere or strictly positive inside. Both alternatives contradict, respectively, $\max v=1$ and $v(x_{\ast })=0$. ThereforeThe interior infimum and the forcing control the global supremum. Global boundary control is crucial here: an interior-only compactness argument could lose the normalized maximum at the boundary.

A useful precise form of the transplantation theorem is as follows. Take $N$ congruent copies of a Euclidean tile with labelled flat faces. For each face colour $s$, encode the gluings by a symmetric signed permutation matrix $M_s$: a glued pair gives off-diagonal entries $+1$ in the two corresponding positions; an unglued face gives a diagonal entry $-1$ for a Dirichlet boundary condition, or $+1$ for a Neumann boundary condition. Corresponding face identifications must use the same maps in the tile coordinates. Suppose two assemblies have matrices $M_s$ and $M_s^{\prime }$ and there is an invertible matrix $C$ withThen, for every eigenvalue $\lambda$, $f=(f_1,\dots ,f_N)\mapsto Cf$ is an isomorphism between their Laplacian eigenfunction spaces. The two assemblies are isospectral, including multiplicities.

To see why, pull every tile restriction back to the same Euclidean tile. A boundary value vector $u$ and an outward normal derivative vector $v$ satisfyAt an internal face these are continuity of the function and equality of oppositely directed derivatives. At a diagonal $-1$ they impose $u_i=0$; at a diagonal $+1$ they impose $v_i=0$. The intertwining identities preserve both equations, and the Euclidean Laplacian commutes with constant linear combinations of tile functions. The resulting piecewise function is a weak eigenfunction, with the prescribed boundary conditions, and interior elliptic regularity makes it smooth wherever the assembled manifold is smooth. At polygonal corners one uses the usual weak domain of the Dirichlet Laplacian or Neumann Laplacian, rather than assuming smoothness through a corner. The inverse matrix gives the inverse transplantation.

Here is a completely specified propeller pair. Label the seven triangles $0,\dots ,6$, with central triangle $0$, and colour the three sides $a,b,c$. In the left and right assemblies the internal-edge pairings areEvery pair means reflection of one triangle across the indicated side; the other faces are external boundary. Each assembly has a central triangle and three two-triangle arms. These are the propeller domains. The drawing uses one acute scalene triangle, and each colour always denotes the side opposite the same marked vertex of the starting triangle.

Let $P_s,Q_s$ be the ordinary permutation matrices obtained by adding fixed points to the pairings. The following matrix supplies the Neumann boundary condition transplantation:There is a short way to construct and check it. Start with the support $\{1,2,4\}$ in row $0$, and require the support in row $Q_s(i)$ to be $P_s$ applied to the support in row $i$. Traversing the six edges of the right-hand tree gives exactly the displayed rows; checking the remaining fixed-point relations verifies $N{P}_s=Q_{s}N$ for all three colours. Every row has three ones and every two different rows meet in exactly one column, soThe right-hand side has eigenvalues $9$ once and $2$ six times, proving $N$ is invertible, with $|\det N|=24$. Its incidence pattern is that of the Fano plane, which explains the uniform intersections.

For the Dirichlet boundary condition, put $D=\mathrm{diag}(1,-1,-1,1,-1,1,1)$. In both assemblies this gives opposite signs to adjacent triangles. Thus their signed face matrices are $M_s=-D{P}_{s}D$ and $M_s^{\prime }=-D{Q}_{s}D$: the off-diagonal gluing entries are positive and the unpaired diagonal entries are negative. The matrixthen satisfies $C{M}_s=M_s^{\prime }C$ and is invertible. The transplantation theorem proves equality of the Dirichlet Laplacian spectra; $N$ proves equality of the Neumann Laplacian spectra as well.

Finally vary the three labelled side lengths $(a,b,c)$ of the initial triangle in an open region of strict triangle inequalities, with an acute scalene shape sufficiently close to an equilateral triangle. Reflection constructs both domains continuously from these three independent real parameters. At the equilateral configuration the tiles have disjoint interiors. Choose a sufficiently small neighbourhood of that configuration with every triangle angle ${\alpha }_i$ in $(\pi /4,\pi /2)$. At each central vertex exactly four tile angles meet, forming a sector of angle $4{\alpha }_i<2\pi$, while nonincident pieces stay separated. Thus there is an open three-dimensional parameter region in which both assemblies are embedded planar domains.

For a scalene triangle in this region, the three central vertices are exactly the three reflex boundary vertices: their interior angles are $4{\alpha }_i$, while the other boundary vertices have angles ${\alpha }_i$ or $2{\alpha }_i<\pi$. Hence a planar isometry of the domains must map the central triangle onto the central triangle. Put those two central triangles in the same position. Their unequal side lengths force any such isometry to fix the central triangle pointwise. Yet the first arm across, for example, side $a$ attaches its outer triangle across colour $c$ in $L$, and across colour $b$ in $R$. These occupy different positions, so the identity does not identify the domains. An intrinsic Riemannian isometry between connected planar domains also restricts locally to a rigid Euclidean motion and hence is one globally. The two propellers are nonisometric throughout this open three-parameter family. Scaling is included as one of the parameters; modulo scaling the family has two parameters.

Let $L=\Delta +c$ with real $c$, and letThe Fredholm alternative for an elliptic Dirichlet problem says that $N$ is finite-dimensional. If $N=0$, all the prescribed data admit a unique solution. In general the exact boundary compatibility in the self-adjoint Fredholm alternative isThese conditions are necessary and sufficient; when they hold, all solutions form $u_0+N$. Thus in the second branch some data are incompatible, while compatible data have nonunique solutions. The outward normal derivative fixes the displayed sign.

To prove the alternative, put $X=\{w\in C^{2,\alpha }(\overline{\Omega }):w{|}_{\partial \Omega }=0\}$ and $Y=C^{0,\alpha }(\overline{\Omega })$. The standard zero-boundary Poisson equation theorem makes $\Delta :X\to Y$ an isomorphism. Multiplication by $c$, followed by ${\Delta }^{-1}$, is a compact operator $K:X\to X$: the embedding $C^{2,\alpha }\hookrightarrow C^{0,\alpha }$ is compact, and multiplication is bounded. Writing $u=\psi +w$ givesThe Fredholm alternative for a compact operator implies finite kernel and cokernel of equal dimension, and invertibility exactly when the kernel vanishes.

For the explicit compatibility conditions, use the self-adjoint Dirichlet realization of $L$ on $L^2$. It has compact resolvent: a sufficiently large positive shift of $-L$ is coercive, its inverse gains two derivatives, and the Rellich-Kondrachov compactness theorem makes that inverse compact. The Fredholm solvability condition for a self-adjoint operator is $F\perp N$. Standard boundary elliptic regularity upgrades the resulting weak solution to $C^{2,\alpha }$ for these data and boundary. Thus it gives the same kernel and solvability as the preceding Hölder-space formulation.

Finally Green second identity, with $z=0$ on the boundary and $Lz=0$, givesConsequently $\int zF=\int zf+\int \psi {\partial }_{\nu }z$, proving both necessity and sufficiency with the stated sign. If using complex data and real $c$, replace $z$ by $\overline{z}$ in the pairings.

First construct the Dirichlet eigensystem. By part (i) and the Lax-Milgram theorem, the inverse $S=A_D^{-1}$ exists from $L^2$ into $H_0^1$. Elliptic regularity gives $Sf\in H^2\cap H_0^1$, and the Rellich-Kondrachov compactness theorem makes $S$ a compact operator on $L^2$. Symmetry givesso $S$ is a self-adjoint operator. It is injective, and $(Sf,f)=B[Sf,Sf]>0$ for $f\ne 0$. The spectral theorem for compact Hermitian operators supplies an orthonormal basis $(w_m)$ with $S{w}_m={\mu }_m{w}_m$, ${\mu }_m>0$, and ${\mu }_m\to 0$. Put ${\lambda }_m={\mu }_m^{-1}$. ThenRepeated elliptic regularity makes each $w_m$ smooth up to the boundary.

As with part (ii), the stated characterization omits boundary compatibility. At $k=0$, its right-hand side is finite for every $u\in L^2$ by Parseval identity, whereas its left-hand side would require $u\in H_0^1$. At higher orders, the preceding polynomial example is also decisive for the Dirichlet eigensystem: on $(0,\pi )$,Although this function belongs to every ordinary $H^k$, the weighted sum diverges at $k=3$.

The correct spectral characterization of elliptic Dirichlet domains iswith $X_k$ defined in part (ii). For finite eigenfunction sums the squared norm $((u,u){)}_k$ is exactly the weighted sum: even orders follow from $L^l{w}_m={\lambda }_m^l{w}_m$, and odd orders also use $B[w_m,w_j]={\lambda }_m{\delta }_{mj}$. These sums are dense in $X_1$: if $v$ is $B$-orthogonal to every $w_m$, then $0=B[v,w_m]={\lambda }_m(v,w_m)$, so $v=0$. They are dense in $X_0$ by construction, and the isomorphisms $A_D:X_{k+2}\to X_k$ propagate density to every $X_k$. Completion in the equivalent norms from part (ii) proves both directions of the corrected equivalence. In particular, the printed characterization is correct for $k=1,2$.

The assertion about all $H_0^1(U)\cap H^k(U)$ is false as printed in the original PDF. Take $U=(0,\pi )$, $L=-d^2/d{x}^2$, and $u=x(\pi -x)$. This is a nonzero smooth Dirichlet function, but $Lu=2$ and $L^{2}u=0$. In particularAlready at $k=3$, $B[Lu,Lu]$ is not defined on its stipulated domain, because $Lu=2\notin H_0^1$. Extending $B$ to $H^1$ for this example would give zero, not an inner product. Additional boundary conditions are essential.

The corrected spaces are the Sobolev domains of powers of an elliptic Dirichlet operator. Let $A_D$ be the Dirichlet realization of an elliptic operator, and setIn particular $X_1=H_0^1$, $X_2=H^2\cap H_0^1$, and $X_3$ also requires $T(Lu)=0$. The formulas in the question define inner products on these spaces.

Here is the norm-equivalence proof on the corrected domains. The base cases are the $L^2$ inner product at $k=0$ and part (i) at $k=1$. Standard Dirichlet elliptic regularity, together with invertibility from the Lax-Milgram theorem, gives for every integer $r\ge 0$The first estimate applies when $Tu=0$; invertibility absorbs the usual lower-order $L^2$ term. Moreover, $A_D:X_{r+2}\to X_r$ is an isomorphism. To see surjectivity, solve $Lu=f$ with zero Dirichlet trace for $f\in X_r$; regularity gives $u\in H^{r+2}$, and $T(L^{j}u)=T(L^{j-1}f)=0$ for each further required trace. The formulas satisfyInduction therefore givesInjectivity of each iterate of $A_D$ gives positive definiteness. These spaces are $D(A_D^{k/2})$; the spectral characterization of elliptic Dirichlet domains in the next part makes the half-powers precise. On the paper's uncorrected spaces the claim is valid at $k=0,1,2$, but fails in general beyond them.

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.

Consider a bounded Lipschitz domain $\Omega$ and homogeneous Dirichlet boundary conditions forAssume $A$ is a bounded real symmetric matrix field with ${\xi }^{T}A(x)\xi \ge a_0|\xi {|}^2$ uniformly, $c\ge 0$ is bounded, and $f$ defines a bounded linear functional on $V=H_0^1(\Omega )$, the zero-boundary Sobolev space. The weak formulation isThe Cauchy-Schwarz inequality gives continuity $|a(u,v)|\le M\Vert u{\Vert }_V\Vert v{\Vert }_V$. Uniform ellipticity and the Poincaré inequality give a coercive bilinear form, $a(v,v)\ge \alpha \Vert v{\Vert }_V^2$. The Lax-Milgram theorem therefore supplies a unique weak solution, with $\Vert u{\Vert }_V\le \Vert \ell {\Vert }_{V^{\prime }}/\alpha$. Its proof represents $a$ by a bounded linear operator $T$ using the Riesz representation theorem; coercivity gives an injective operator with closed image, and a zero orthogonal complement makes that image all of $V$. This yields existence, uniqueness and the displayed estimate.