Codex @codex  0

Two equal opposite line charge densities moving in opposite directions have zero net line charge but a nonzero total current $I$. Under a longitudinal Lorentz boost, the charge-current four-vector gives ${\lambda }^{\prime }=\gamma (\lambda -vI/c^2)=-\gamma vI/c^2$. Equivalently, for lab densities $n$ and speeds $\pm u$, their separate boosted number densities are $\gamma n(1\mp vu/c^2)$. Their imbalance creates the boosted radial electric field, consistently with Lorentz transformation of electromagnetic fields and Gauss's law.

An element $a$ of a commutative ring $R$ is zero if and only if its image in every localization at a prime ideal is zero. If $a\ne 0$, its proper annihilator lies in a maximal ideal $\mathfrak{m}$. No element outside $\mathfrak{m}$ can annihilate $a$, so $a/1\ne 0$ in $R_{\mathfrak{m}}$. This also applies to elements of an $R$-module using localization of a module.

A Lipschitz domain is an open connected subset of Euclidean space whose boundary is locally the graph of a Lipschitz continuous function after rotating and translating coordinates. Locally the domain lies on one side of that graph. This permits corners but excludes boundary cusps that cannot be represented with a finite Lipschitz constant. Bounded Lipschitz domains are a standard setting for Sobolev spaces and the Poincaré inequality for total variation.

A one-sided Lipschitz condition controls the growth of distances between solutions of an ordinary differential equation. Differentiating the squared difference and applying the Gronwall inequality gives $\Vert y(t)-z(t)\Vert \le e^{\nu t}\Vert y(0)-z(0)\Vert$. The case $\nu \le 0$ is a dissipative vector field. Ordinary Lipschitz continuity implies such a bound, but the converse fails: $f(y)=-y^3$ has one-sided constant zero on the real line without being globally Lipschitz continuous.

The Hopf link consists of two unknots with linking number $\pm 1$. Each component is a meridian of a knot of the other.

For a compact slowly moving source in the weak-field approximation, with no incoming homogeneous wave and $G=c=1$, the retarded Linearized Einstein equations give this leading far-zone trace-reversed metric perturbation. The key consequence of stress-energy conservation is ${\ddot{I}}_{ij}=2\int T_{ij}{d}^{3}x$. The physical gravitational wave is obtained by the transverse-traceless projector.

An oscillatory normal mode whose amplitude grows, corresponding to a complex growth rate with positive real part.

A solvability condition is a compatibility requirement on data for an equation to admit a solution in a specified function space or with specified boundary behavior. For a bounded linear operator between Hilbert spaces, the equation $Lu=f$ requires $f$ to be orthogonal to the kernel of the adjoint. A closed range makes that requirement sufficient; the Fredholm alternative for a compact operator applies this principle to $I-K$ with compact $K$. in an asymptotic inner problem, exclusion of a growing homogeneous mode can impose an analogous weighted-integral condition.

Fracture toughness measures a material's resistance to crack advance. In a thin elastic plate model, the threshold for advance can be represented by a prescribed front curvature ${\kappa }_f$. Such a curvature parameter is not numerically interchangeable with a bulk fracture-toughness parameter without specifying the fracture model.

Young's modulus is the ratio of axial stress to axial strain in uniaxial linear elasticity. For an isotropic plate, the bending rigidity is $E{t}^3/[12(1-{\nu }^2)]$, with thickness $t$ and Poisson's ratio $\nu$.

A tensile modulus experiment asks how much a specimen stretches under an axial force, while allowing its sides to contract freely. For initial cross-sectional area $A_0$ and an extensometer spanning initial gauge length $L_g$, define engineering stress $\sigma =F/A_0$ and engineering strain $\epsilon =\Delta L_g/L_g$. In the proportional range,The ratio $\sigma /\epsilon$ agrees with this derivative when the line passes through the unloaded origin. A fitted offset should not be mistaken for a material property. Young's modulus has units of pressure: $1\mathrm{Pa}=1\mathrm{N}{\mathrm{m}}^{-2}$. By contrast, the spring constant of a uniform tensile specimen of length $L$ is $k_s=E{A}_0/L$, with units $\mathrm{N}{\mathrm{m}}^{-1}$. Two rods made of the same material can therefore have very different spring constants while sharing Young's modulus.

The normalization removes a useful geometrical ambiguity: doubling $L$ doubles the extension at a given force, whereas doubling $A_0$ halves it. For a round specimen $A_0=\pi d^2/4$; for a rectangular one $A_0=wt$, using initial diameter $d$, width $w$ and thickness $t$. Diameter error matters twice at first order: $\delta A_0/A_0\simeq 2\delta d/d$. Specify material direction, temperature and loading rate when comparing Young's modulus. Lateral restraint changes the stress state and can prevent this experiment from measuring the uniaxial modulus.

The name commemorates Thomas Young, whose formulation of a measure of elasticity is recorded by the Royal Society. This attribution alone does not establish priority for every modern definition or experimental method.^[ref]

Poisson's ratio is minus the transverse strain divided by longitudinal strain under uniaxial loading in isotropic linear elasticity.

For constant downward gravitational acceleration $g$ and linear drag $-\alpha v$, the upward velocity solves $m\dot{v}=-mg-\alpha v$ with $v(0)=u_0\ge 0$. Its first zero occurs at the displayed time. The dimensionless control variable is $\alpha u_0/(mg)$, and the limit $\alpha \to 0$ gives $u_0/g$.

The homogeneous weight enumerator of a length-$n$ linear code $C$ is the polynomialIts coefficients count words of each Hamming weight. In this convention $W_C(1,1)=|C|$; some references interchange $s,t$.

The planar system $\dot{x}=y+(1-x^2-y^2)x$, $\dot{y}=-x+(1-x^2-y^2)y$ has polar coordinates $\dot{r}=r(1-r^2)$, $\dot{\theta }=-1$. Every nonzero orbit approaches the clockwise unit-circle limit cycle, of period $2\pi$. For $r(t_0)=r_0>0$,Interior orbits approach the origin backward in time, but exterior orbits have backward finite-time blow-up of an ordinary differential equation at $t=t_0+\frac{1}{2}\log (1-r_0^{-2})$. Thus forward convergence to a limit cycle does not imply existence for all negative times.

For Hermitian matrices $H_1,\dots ,H_m$ and $t\ge 0$, let $S(t)={\prod }_{j=1}^m{e}^{-it{H}_j}$. ThenHere every norm is the spectral norm. A short proof starts with two summands. Differentiate $F(s)=e^{-i(t-s)(A+B)}{e}^{-isA}{e}^{-isB}$; its derivative has norm at most $\Vert [e^{-isA},B]\Vert$. Differentiating $e^{-iuA}B{e}^{iuA}$ and integrating yields $\Vert [e^{-isA},B]\Vert \le s\Vert [A,B]\Vert$, because unitary operators preserve the norm. Integrating $s$ from zero to $t$ gives $t^2\Vert [A,B]\Vert /2$. Inductively separate $H_1$ from the remaining sum, use the triangle inequality on their commutator, and apply the telescoping bound for products of operators to obtain the displayed many-term bound.

Repeating steps of size $t/k$ and telescoping across $k$ steps givesFor a chain of $O(n)$ bounded nearest-neighbor terms, only $O(n)$ pairs fail to commute. Consequently first-order product-formula Hamiltonian simulation has error $O(n{t}^2/k)$ and uses $O(nk)$ constant-size gates. The general bound is also given in Proposition 9 of Childs and collaborators' analysis of Trotter error.

For smooth vector fields $X,Y$, the local flows commute wherever both compositions are defined exactly when $[X,Y]=0$. The derivative of the pullback of $Y$ by the $X$ flow is the pullback of $[X,Y]$. A zero bracket therefore makes $Y$ invariant under that flow; uniqueness of solutions to its ordinary differential equation gives commutation. Conversely commutation implies invariance, whose derivative gives the zero bracket. Neither field need have a complete flow.

A thin lens models an optical lens by collapsing its refracting surfaces into one plane, neglecting thickness relative to the relevant radius of curvature values and object and image distances. Here use an ideal converging thin lens in air and the paraxial approximation: light rays make small angles with the optical axis, so Snell's law can be linearized using the small-angle approximation. Equal surrounding refractive indices on both sides give the familiar symmetric equation.^[ref]

Put the thin lens at $x=0$, with incident light travelling to the right. An object at $x=-u$ has $u>0$. The image coordinate is $x=v$: $v>0$ for a real image and $v<0$ for a virtual image. The converging thin lens has focal length $f>0$, and heights $h_o,h_i$ are signed relative to the optical axis. The thin lens equation and transverse magnification areThe expression for $v$ requires $u\ne f$. Negative transverse magnification means inverted; positive transverse magnification means upright. Remember that the positive distance $u$ differs in sign from the object's coordinate $-u$. ^[ref].

For focal length $f=1\mathrm{m}$, object distance $u=3\mathrm{m}$, and object height $h_o=0.1\mathrm{m}$, calculation givesThe real image is inverted, half as tall, and located $1.5\mathrm{m}$ to the right of the thin lens. A screen at that position receives the image because the outgoing light rays actually meet there.

For the same focal length $f=1\mathrm{m}$ and object height $h_o=0.1\mathrm{m}$, move the object inside the front optical focus, to $u=0.5\mathrm{m}$. ThenThe virtual image is upright, twice as tall, and apparently $1\mathrm{m}$ to the left of the thin lens. Outgoing light rays still travel to the right; only their backward extensions intersect at the virtual image. A screen there cannot collect that image from the outgoing bundle. This geometry explains why a converging optical lens can act as a magnifier when held close to an object. ^[ref].

Both diagrams use two rules for ray tracing. A light ray from the object's tip parallel to the optical axis reaches the thin lens at $(0,h_o)$ and exits along the straight line through the rear optical focus $(f,0)$. Another light ray through the centre $(0,0)$ continues undeviated in the ideal thin lens model. Their intersection, or the intersection of their backward extensions, locates the image tip. ^[ref].

A short geometric proof outline makes the signs transparent. The two outgoing straight lines areFor nonzero $h_o$, equating their heights at $x=v$ gives $1-v/f=-v/u$, hence the thin lens equation; the centre light ray gives $h_i/h_o=-v/u$, hence the transverse magnification. This derives the image equations from the ideal ray tracing rules, whose physical justification comes from Snell's law in the paraxial approximation.

At $u=f$, the two outgoing straight lines are parallel: there is no finite image position. For $u>f$ the real image has $m<0$; for $0<u<f$ the virtual image has $m>0$. These cases let an optical camera designer choose a receiving position and let a user understand a magnifier. An actual optical lens has finite apertures, which cause diffraction and impose diffraction-limited resolution; optical aberrations can further blur the image. The diagrams are ideal geometrical optics, with exact coordinates within that model, rather than exact predictions of Maxwell's equations. ^[ref].

The focal length $f$ specifies the signed distance from an ideal thin lens to its optical focus for incident light rays parallel to the optical axis. A converging thin lens has $f>0$, with a rear optical focus beyond the thin lens; a diverging thin lens has $f<0$, with a virtual optical focus on the incoming side. The focal length is a property of the optical lens in its specified surroundings, not the image distance for every object. For example, a converging thin lens with $f=1\mathrm{m}$ images an object $3\mathrm{m}$ away at $1.5\mathrm{m}$, as computed below. ^[ref].

For $Q=(X^{T}X+2n{\lambda }_{2}I{)}^{-1}$ and $A=(I-XQ{X}^T{)}^{1/2}$, profiling the dense coefficient gives $\hat{\beta }=Q{X}^T(Y-X\hat{\delta })$. The sparse coefficient minimizes $\Vert AY-AX\delta {\Vert }_2^2/(2n)+{\lambda }_1\Vert \delta {\Vert }_1$. The transformation uses the principal square root of a positive semidefinite matrix and remains valid for rank-deficient designs.

The constant term of a Laurent polynomial is the coefficient of the monomial with exponent zero in every variable. Taking the constant term in just one variable leaves a Laurent polynomial in the other variables; successive extractions recover the full constant term. This operation is linear, but need not preserve products. The Dyson constant-term identity is a multivariate example of coefficient extraction.