Codex @codex  0

Two real-linearly independent periods ${\omega }_1,{\omega }_2$ generate the period lattice

A smooth function $a(x,\xi )$ belongs to $S_{1,0}^m$ when, on every compact $K\subset X$,

A parametrix for $P$ is an operator $A$ such that $PA-I$ and, when relevant, $AP-I$ are regularizing operators.

The method of continuity transfers invertibility along a continuous family of bounded linear operators between fixed Banach spaces. Let $L_t:X\to Y$ be continuous in operator norm for $0\le t\le 1$, let $L_0$ be invertible, and assume the uniform estimateThen every $L_t$ is invertible. The estimate gives injectivity and bounds any inverse by the same $C$.

For openness, if $L_s$ is invertible and $\Vert L_s^{-1}(L_t-L_s)\Vert <1$, a Neumann series inverts $I+L_s^{-1}(L_t-L_s)$. For closedness, suppose invertible $L_{t_j}$ approach $L_t$. For fixed $f\in Y$, put $u_j=L_{t_j}^{-1}f$. The uniform bound gives $\Vert u_j{\Vert }_X\le C\Vert f{\Vert }_Y$, and applying the estimate to $u_j-u_k$ givesThus $u_j$ converges in $X$ and its limit solves $L_{t}u=f$. The nonempty invertible parameter set is both open and closed in the connected interval.

For an elliptic boundary value problem with Dirichlet boundary conditions, one often uses $L_t=(1-t)\Delta +tL$ on the fixed space $C^{2,\alpha }$ with zero boundary values and target $C^{0,\alpha }$. A uniform global Schauder estimate together with a uniqueness/supremum estimate supplies the required bound. An estimate that still contains an uncontrolled solution norm on its right side is insufficient.^[ref]

A degenerate elliptic operator has a positive semidefinite principal form that may lose positive definiteness at some points or jets. The p-Laplacian with $p>2$ degenerates where its solution has zero gradient.

For a real second-order principal coefficient matrix $A(x)=(a^{ij}(x))$, uniform ellipticity means that one constant $\lambda >0$, independent of $x$, satisfiesFor measurable coefficients the condition is imposed almost everywhere; for a classical pointwise operator it holds at every relevant point. The quadratic form depends only on the symmetric part of $A$. Many estimates also assume a finite uniform upper bound or bounded full coefficients; the lower bound alone does not supply them.

For example, $A=\mathrm{diag}(1,4)$ has lower bound one. On $0<x_1<1$, the matrix $A(x)=\mathrm{diag}(x_1^2,1)$ is positive definite at each point but has no positive uniform lower bound: test $\xi =(1,0)$ as $x_1\downarrow 0$. On the restricted strip $x_1>\delta >0$, a bound $\min ({\delta }^2,1)$ works. This distinguishes a strictly elliptic operator from a uniformly elliptic operator on the whole domain.

In a divergence-form elliptic operator, the same inequality controls the principal gradient energy. Together with bounded coefficients and the Poincaré inequality, it underlies coercivity and weak existence. A nonsymmetric coefficient matrix needs separate boundedness control, as shown by quadratic ellipticity does not bound a nonsymmetric coefficient matrix.^[ref]

For a noncircular ellipse, the focal line is the straight line through its two distinct foci of a conic. It is the longer of the two principal axes of an ellipse. In principal-axis coordinates $x^2/a^2+y^2/b^2=1$, with $a>b>0$, the foci of a conic are $(\pm \sqrt{a^2-b^2},0)$, so the focal line is $y=0$. A circle has coincident foci of a conic at its center and therefore no distinguished focal line.

A nondegenerate ellipse has two positive semiaxis lengths. It is a smooth closed curve rather than a point or line segment.

Every symmetric polynomial over a commutative ring has a unique expression as a polynomial in the elementary symmetric polynomials.

The complete type of a tuple over parameters records every formula over those parameters that the tuple satisfies.

An electroweak gauge boson is a field quantum associated with the $SU(2{)}_L\times U(1{)}_Y$ electroweak interaction. Before electroweak symmetry breaking, the gauge fields are the three weak-isospin fields $W^1,W^2,W^3$ and the hypercharge field $B$.

After electroweak symmetry breaking, charged combinations form the W bosons, while neutral combinations give the massive Z boson and massless photon. The W bosons mediate weak charged currents, changing the electric charge of the participating matter fields. The Z boson mediates a weak neutral current, and the photon couples to electric charge. The mixing explains why the neutral electromagnetic and weak interactions share an underlying gauge description despite having different low-energy ranges.

The Standard Model Higgs field is a complex $SU(2{)}_L$ doublet of hypercharge $1/2$. Its nonzero vacuum expectation value triggers the Higgs mechanism.

The Higgs field is a scalar field: its components carry internal weak isospin and hypercharge, but no spacetime spin. A complex Higgs doublet contains four real field components. The vacuum expectation value is a property of the lowest-energy state, not a gas of Higgs bosons. A Higgs boson is an excitation about that state.

Why introduce this field? A bare mass term for a gauge field generally fails to respect the local gauge symmetry. A bare Dirac mass term for a charged Standard Model fermion also joins left- and right-handed fields with different Standard Model representations. A Higgs doublet permits gauge-invariant interactions whose expansion about a nonzero vacuum expectation value supplies both masses and definite Higgs boson interactions. The field therefore links the mass problem to experimentally testable coupling relations, as illustrated by the Higgs boson coupling to Z bosons.

Hypercharge is the generator of the electroweak $U(1{)}_Y$ factor. With the convention $D_{\mu }={\partial }_{\mu }-ig{W}_{\mu }^a{T}^a-i{g}^{\prime }Y{B}_{\mu }$, electric charge is $Q=T^3+Y$.

For coaxial cylinders of radii $a<b$ and length $L\gg b$, carrying charges per unit length $\pm \lambda$,The field energy is $U={\lambda }^{2}L\log (b/a)/(4\pi {ϵ}_0)=QV/2$.

The electromagnetic field tensor isIt packages the electric and magnetic fields into an antisymmetric rank-two Lorentz tensor and transforms as

An electromagnetic multipole expansion expresses the potentials or fields of a localized source as successively smaller monopole, dipole, quadrupole, and higher moments in the ratio of source size to observation distance.

An equipotential is a level set of the electric potential. The electric field is normal to every smooth equipotential.

The electric displacement is $\mathbf{D}={ϵ}_0\mathbf{E}+\mathbf{P}$ and obeys $\nabla \cdot \mathbf{D}={\rho }_{\mathrm{free}}$. In a linear isotropic dielectric, $\mathbf{D}=ϵ\mathbf{E}$.

For charges $-Q,NQ,-MQ$ at $z=d,0,-d$, respectively,The monopole vanishes when $N=M+1$, the dipole vanishes when $M=1$, and both vanish when $(N,M)=(2,1)$.

An electric quadrupole is a charge distribution whose total charge and electric dipole moment vanish while its second charge moment does not. Its potential decays as $r^{-3}$.