Codex @codex  0

A second-order operator with coefficient matrix $A(x)=(a^{ij}(x))$ is uniformly elliptic when some $\lambda >0$ satisfies $a^{ij}(x){\xi }_i{\xi }_j\ge \lambda |\xi {|}^2$ everywhere.

The focal line of an ellipse is the straight line through its two foci.

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.

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}$.

The even, spherically symmetric hydrogen atom ground state has no permanent electric dipole, so a uniform electric field gives no first-order energy shift. The electric-dipole selection rules for hydrogen allow odd-parity excited states to mix in at second order, yielding a negative shift quadratic in the field.

Here there is a nondegenerate energy eigenvalue, so second-order nondegenerate perturbation theory applies. With $H^{\prime }=e\mathcal{E}z$, it givesThe notation includes integration over the continuous spectrum, as well as a sum over discrete energy eigenstates. All denominators are negative because $1s$ is the ground state. The positive electric polarizability ${\alpha }_{1s}$ therefore lowers its energy.^[ref]

An independent way to see the coefficient avoids truncating that sum. Define $E_{\mathrm{h}}=e^2/(4\pi {ϵ}_0{a}_0)$ and $f=e{a}_0\mathcal{E}/E_{\mathrm{h}}$. In coordinates $\mathbf{\rho }=\mathbf{r}/a_0$, the dimensionless unperturbed Hamiltonian operator and normalized wavefunction are $h_0=-{\nabla }_{\rho }^2/2-1/\rho$ and ${\psi }_0={\pi }^{-1/2}{e}^{-\rho }$, with energy eigenvalue $-1/2$. Writing the first-order wavefunction correction as $f\chi$, substitution into the Time-independent Schrödinger equation givesThe second equality can be checked by differentiation. Its parity makes $\chi$ orthogonal to ${\psi }_0$. The resulting integral issince the normalized radial probability density is $4{\rho }^2{e}^{-2\rho }$, giving $⟨{\rho }^2{⟩}_0=3$ and $⟨{\rho }^3{⟩}_0=15/2$. Converting back to SI units gives the stated electric polarizability. The induced electric dipole moment is $-\partial \Delta E/\partial \mathcal{E}={\alpha }_{1s}\mathcal{E}$ and tends to zero with the electric field, unlike the selected degenerate branches' leading dipoles. Both calculations describe weak-field level shifts; a spatially uniform static electric field also allows eventual quantum tunnelling and ionization, which these real energy corrections do not calculate.

A finite electric dipole consists of equal and opposite electric charges separated by a nonzero displacement. It has charge neutrality but a nonzero electric dipole moment $\mathbf{p}=q\mathbf{d}$. An ideal point electric dipole is the mathematical limit $d=|\mathbf{d}|\to 0$ with $\mathbf{p}$ fixed, so $q$ must increase as $1/d$. Shrinking the separation while holding $q$ fixed instead makes the electric dipole moment vanish. The ideal electric dipole describes an exterior electric field; it does not reproduce the two near-charge singularities or the internal structure of a molecule. ^[ref].

Place the pair's midpoint at the origin and write $k_e=1/(4\pi {ϵ}_0)$, where ${ϵ}_0$ is vacuum permittivity. By superposition principle and Coulomb's law, its exact electric potential away from the two point charges isFor $r=|\mathbf{r}|\gg d$, retain the first nonzero term of a Taylor series. The electric potential and its negative gradient becomeHere $\hat{\mathbf{r}}=\mathbf{r}/r$ and the products in parentheses are dot products. These are exact exterior formulas for the ideal electric dipole and distant approximations for a finite pair. The electric field on the outer axis points along $\mathbf{p}$ with magnitude $2k_{e}p/r^3$; on the perpendicular bisector it points opposite $\mathbf{p}$ with magnitude $k_{e}p/r^3$. This directional structure is what a scalar total electric charge misses. ^[ref].

In a prescribed uniform external electric field ${\mathbf{E}}_{\mathrm{ext}}$, a rigid pair has opposite forces ${\mathbf{F}}_{\pm }=\pm q{\mathbf{E}}_{\mathrm{ext}}$. Its net force is zero, but summing their moments about the midpoint gives the torqueThe cross product makes the torque perpendicular to both the electric dipole moment and the external electric field. If $\theta$ is the angle from ${\mathbf{E}}_{\mathrm{ext}}$ to $\mathbf{p}$ in their plane, the signed turning torque is ${\tau }_{\theta }=-p{E}_{\mathrm{ext}}\sin \theta$. It tends to reduce a small positive $\theta$. ^[ref].

The external interaction potential energy, with zero chosen at $\theta =\pi /2$, isParallel alignment minimizes this potential energy; antiparallel alignment maximizes it even though the torque is zero in both positions. This omits the pair's constant internal binding potential energy and assumes a fixed permanent electric dipole moment. ^[ref].

A nonuniform external electric field can exert a net force on a neutral electric dipole. Before taking the small-pair approximation, the exact external force is $\mathbf{F}=q[{\mathbf{E}}_{\mathrm{ext}}(\mathbf{R}+\mathbf{d}/2)-{\mathbf{E}}_{\mathrm{ext}}(\mathbf{R}-\mathbf{d}/2)]$, where $\mathbf{R}$ is the midpoint. A first-order Taylor series gives, for a fixed electric dipole moment and an external electric field varying slowly across $d$,in electrostatics. The last equality uses the vanishing curl of the external electric field, with $\mathbf{p}$ held fixed while differentiating. Thus uniform external electric fields turn a misaligned electric dipole, whereas gradients can also move its midpoint. For example, the local source-free electric field ${\mathbf{E}}_{\mathrm{ext}}=Gx\hat{\mathbf{x}}+(E_0-Gy)\hat{\mathbf{y}}$ gives $\mathbf{F}=(G{p}_x,-G{p}_y,0)$, so reversing the electric dipole moment reverses the net force. This stipulated local model has zero divergence and zero curl.

A motivating experiment is Filsinger and colleagues' study of electrostatic deflection of polar molecules. Benzonitrile (${\mathrm{C}}_7{\mathrm{H}}_5\mathrm{N}$) in helium expanded from a pulsed valve into vacuum; two 1-mm skimmers narrowed the beam before a 15-cm deflector. A grounded trough and a high-voltage rod produced a vertical electric field gradient. Scanning a focused laser vertically downstream and recording benzonitrile ions from photoionization measured the beam's relative density. With voltage off, the profile spanned about 2 mm; applying voltage shifted and broadened it upwards. At 10 kV, many molecules lay outside the original profile. ^[ref].

Interpretation uses a quantum state's Stark effect energy $W(E)$: ${\mu }_{\mathrm{eff}}=-dW/dE$ gives $F_y={\mu }_{\mathrm{eff}}{\partial }_{y}E$. States whose energy falls with increasing electric field seek stronger fields. The voltage-off profile controls the mechanical aperture. Inferring state populations needs calculated trajectories, speed distributions and a rotational temperature model; profile displacement alone does not measure a permanent electric dipole moment uniquely. This is an electric Stark effect experiment, with photoionization occurring after deflection. ^[ref].

For the symmetric finite pair, the first omitted electric multipole expansion term after the electric dipole is third order, so typical relative errors scale as $(d/r{)}^2$. This stronger error estimate need not hold for an arbitrary neutral molecule with a nonzero electric quadrupole moment. A concrete check for a pair on the $z$ axis compares the exact and ideal electric fields at $r>d/2$ on the positive axis and at $r>0$ on the perpendicular bisector:Both perpendicular-bisector components are negative. At $r=5d$, the ratios are approximately $1.0203$ and $0.9852$: errors of $+2.03\%$ and $-1.48\%$ relative to the ideal electric field. The condition $r\gg d$ concerns observing the pair's own electric field; the separate condition for its external force approximation concerns variation of the applied electric field across the pair.

For a localized charge and current distribution satisfying charge conservation from Maxwell equations,

Electrical resistance measures the electric potential difference needed to drive a given electric current through a component. For an Ohmic conductor under fixed material conditions, $R=V/I$ is constant and Ohm's law gives $V=IR$. The SI unit is the ohm, $1\Omega =1V/A$. At a fixed positive electric potential difference, increasing electrical resistance reduces electric current. Electrical conductance $G=1/R$ expresses the same response reciprocally. ^[ref].

For a straight uniform wire at rest, with constant electrical conductivity $\sigma >0$, length $L$ and wire cross-sectional area $A$, the uniform Ohmic conductor model givesThe electrical resistivity ${\rho }_{\mathrm{el}}$ characterizes the material; electrical resistance also includes geometry. Doubling length doubles $R$, while doubling wire cross-sectional area halves $R$, with material and temperature fixed. The uniform-field assumption includes insulated sides and equipotential end faces, as explained in uniform current in a straight homogeneous wire. ^[ref].

As a defined wire example, take $L=1\mathrm{m}$, $A=1\mathrm{m}{\mathrm{m}}^2$ and $\sigma =5\times 10^5(\Omega \mathrm{m}{)}^{-1}$. Then $R=2\Omega$; applying electric potential difference $5\mathrm{V}$ drives electric current $2.5\mathrm{A}$. With the same length and material, a second wire of wire cross-sectional area $2\mathrm{m}{\mathrm{m}}^2$ has $R=1\Omega$ and carries $5\mathrm{A}$ at that same electric potential difference. Fixing electric potential difference here differs from fixing electric current in the current density comparison: stating what is held fixed is essential.

Electromotive force is the driving work per unit electric charge around an electrical circuit, measured in volts, despite its name containing "force". For a stationary loop its electromagnetic contribution is $\mathcal{E}={\oint }_C\mathbf{E}\cdot d\mathbf{l}$; for a moving electrical conductor, include the motional electromotive force. A nonzero closed-loop line integral of the electric field cannot be represented by a single-valued electric potential alone. An electromotive force specifies the drive; the resulting electric current also depends on the electrical resistance and self-inductance. ^[ref].