For a first-order meromorphic linear ordinary differential equation $Y_t=A(t)Y$, with a coefficient pole of order $p>1$ in a fixed local coordinate and gauge, its Poincaré rank is $p-1$. At infinity one must transform the differential system, not just the matrix-valued function: $Y_{\lambda }=A_0{\lambda }^{m}Y+\cdots$ becomes $Y_t=-A_0{t}^{-m-2}Y+\cdots$ under $t=1/\lambda$, giving rank $m+1$. A singular gauge can lower an apparent rank; distinct leading eigenvalues prevent the elementary degeneracy in the unramified setting.

Let the Hermitian angular momentum operators obey $[J_{+},J_{-}]=2\hslash J_3$, with $J_{+}^{†}=J_{-}$. A highest-weight vector satisfies $J_{+}|j,j⟩=0$ and $J_3|j,j⟩=\hslash j|j,j⟩$. Commuting $J_{+}$ through $\ell$ lowering operators givesTaking inner products therefore yieldsA positive-definite inner product makes squared norms nonnegative. If $2j$ were not a nonnegative integer, repeated lowering would encounter a negative factor before a zero factor could terminate the sequence. Thus $2j\in \{0,1,2,\dots \}$.

The first vanishing norm occurs at $\ell =2j+1$, leaving $2j+1$ states in the generated unitary representation. With dimensionless generators $J_i/\hslash$, the same recurrence has no explicit ${\hslash }^2$. Without positivity, an abstract highest-weight representation can remain infinite-dimensional even at integral highest weight.

For active rotations generated by dimensional angular momentum operators, defineThe irreducible spin representation matrix isThe factors of $\hslash$ are required because $J_3|j,m⟩=\hslash m|j,m⟩$. One may equivalently use dimensionless generators $j_i=J_i/\hslash$.

For spin one-half, the middle matrix isA full $2\pi$ rotation acts as $(-1{)}^{2j}I$. Only integer-spin representations descend to the three-dimensional special orthogonal group; half-integer representations distinguish the two lifts of the same spatial rotation.

If $A$ is a finite module over a commutative central subring $R$ and $M$ is a simple left $A$-module, then $M=Am$ is finite over $R$. A central element not annihilating $M$ acts bijectively, since its kernel and image are $A$-submodules. Put $B=R/{\mathrm{Ann}}_R(M)$. For $0\ne r\in B$, write generators as $m_i=r{\sum }_j{b}_{ij}{m}_j$. The adjugate matrix identity shows $\det (I-r(b_{ij}))$ annihilates $M$, hence is zero in $B$. Since this determinant has form $1-rq$, $r$ is invertible. Thus $B$ is a field. If $R$ is a finite-type algebra over an algebraically closed field $k$, the residue field is $k$, and every such simple module is finite-dimensional over $k$.

For $a>0$, $\Sigma \propto R^{-3/4}$, constant disk aspect ratio $ϵ=H/R$, and $r=R{c}^2/(GM)$, the inviscid steady disk warp equation reduces to $W_{xx}+W=0$ in the displayed coordinate. The vanishing inner torque gives $W_x(x_{\mathrm{in}})=0$; the outer tilt gives $W(0)=W_{\infty }$. The displayed solution holds when $\cos x_{\mathrm{in}}\ne 0$. If $x_{\mathrm{in}}=\pi$, it is $W=W_{\infty }\cos x$, with an aligned node at $r=2^{4/5}{r}_{\mathrm{in}}$ and opposite signed inner tilt. For negative spin the corresponding equation is hyperbolic, giving $W=W_{\infty }\cosh (x_{\mathrm{in}}-x)/\cosh x_{\mathrm{in}}$ with $x=4\sqrt{24|a|}{r}^{-5/4}/(5ϵ)$.

A uniform-density inviscid shear flow with $U=U_{0}z/d$ for $|z|<d$ and $U=\pm U_0$ outside has two vorticity jumps but no walls. Decaying normal modes satisfy $w^{\prime \prime }-k^{2}w=0$ in each region. Continuity of $w$ and pressure matching at a piecewise-linear shear interface gives a two-by-two determinant whose diagonal entries are $1-2kd\pm 2kdc/U_0$ and off-diagonal entries $e^{-2kd}$. Its vanishing gives the displayed dispersion relation. The Kelvin-Helmholtz instability band is $0<kd<{\alpha }_s$, where $2{\alpha }_s-1=e^{-2{\alpha }_s}$ has its unique positive root above $1/2$, approximately $0.63923227$. Short waves decouple the two edges and remain neutral; long waves approach the vortex sheet instability with $c=\pm i{U}_0$.

In unbounded Couette flow with velocity $(y,0)$, linear vorticity is transported exactly as $\omega (x,y,t)={\omega }_0(x-yt,y)$. For a nonzero streamwise Fourier mode $\alpha$ and sufficiently localized smooth initial data, inversion by the one-dimensional modified Helmholtz Green function gives the displayed pointwise decay of the streamfunction and velocity, although vorticity does not decay in magnitude. The mechanism is phase mixing: shearing produces increasingly rapid transverse oscillations, whose elliptic velocity reconstruction suppresses them. Smoothness and decay of the initial streamfunction without derivative control do not alone imply these algebraic rates.

For constant shear $U=\lambda y$, the wall-normal Laplacian of velocity is advected with phase $e^{-i\alpha \lambda yt}$. Inverting $D^2-k^2$, $k^2={\alpha }^2+{\beta }^2$, with its Dirichlet Green function gives the displayed initial-value solution. Impermeable inviscid walls impose zero normal velocity, not zero tangential velocity or no-slip wall vorticity.

Lunar laser ranging gives a more discriminating orbit readout. An observatory directs short laser pulses at a retroreflector array on the Moon, and a detector records returning photons. Round-trip time, statistically combined over several returns, constrains distance; pressure and temperature accompany the readout. The fitted model includes Newtonian gravity, terrestrial and lunar rotation, geophysical effects, and corrections from general relativity. Comparing orbit determination residuals across stations and model choices checks consistency. The inspected study reports $1.8\mathrm{cm}$ weighted root mean square residuals for its 2005–2011 ranges, rather than for a bare isolated inverse-square potential. It tests the equivalence principle using the Earth and Moon's response to the Sun; it is not a direct escape velocity measurement. Uneven coverage near new and full Moon, radiation pressure, and thermal expansion of reflector mounts limit that inference.^[ref]

One motivating laboratory demonstration compares two balls initially at the same height. A switch releases one vertically when the other leaves a horizontal track; arranging their paths to meet gives a collision as the readout of equal downward displacement over equal time. Equal initial height and synchronized release control the comparison. This tests the local independence of horizontal motion and free fall, under nearly constant gravitational acceleration; it does not measure an inverse-square law.^[ref]

A complementary astronomical comparison uses the Moon's distance and orbital period to infer inward centripetal acceleration, $a=4{\pi }^{2}r/T^2$, and compares it with surface gravitational acceleration scaled by $(R/r{)}^2$. The approximately sixtyfold distance ratio gives the approximately $1/3600$ prediction. The inference links terrestrial free fall to a lunar orbit. Distance calibration matters; the circular orbit approximation and the Sun's tidal force limit this elementary comparison.^[ref]

In the isolated model, conservation of energy and angular momentum conservation reduce the exterior test particle's motion toHere $\epsilon$ is specific orbital energy and $h$ is specific angular momentum. The effective potential is ${\Phi }_{\mathrm{eff}}=h^2/(2r^2)-\mu /r$. A zero radial velocity is a radial turning point, and need not mean zero total speed: at the periapsis or apoapsis of a nonradial Kepler orbit, tangential velocity remains. Thus the vertical gap between $\epsilon$ and $-\mu /r$ represents total kinetic energy per unit mass, whereas the gap above ${\Phi }_{\mathrm{eff}}$ represents its radial part.

For $h>0$, the orbital eccentricity obeys $e^2=1+2\epsilon h^2/{\mu }^2$. Negative $\epsilon$ gives an elliptic orbit, including a circular orbit at its minimum allowed energy; zero $\epsilon$ gives a parabolic trajectory; positive $\epsilon$ gives a hyperbolic Kepler orbit. The effective potential tends to zero from below at infinity, so its outer region creates no extra positive escape barrier. This explains why escape velocity depends on energy even though angular momentum changes the path. The $h=0$ case is radial motion, rather than a nondegenerate parabola or hyperbola; inward radial motion can end in collision.

Suppose $f$ is continuously differentiable near $a$ with $f^{\prime }(a)\ne 0$. It has a local inverse function $g$ near $b=f(a)$, andThe chain rule applied to $g(f(x))=x$ gives the formula. The nonzero derivative condition also ensures local invertibility; it does not assert a global inverse function on an arbitrary larger domain of a function. For $f(x)=x^2$ at $a=2$, the corresponding output is $b=4$, and the square root's derivative there is $1/4$. At $a=0$, this division is unavailable: the nonnegative restriction still has a square root inverse, but its finite derivative at zero does not exist. ^[ref].

For a real-valued function drawn in the plane, the horizontal line test asks whether every horizontal line intersects its function graph at most once. This is exactly injectivity, since two intersections at the same height mean two inputs have the same output. A missing height is compatible with injectivity, so an inverse function is then defined on the image of a function; it is an inverse on the entire specified codomain only when surjectivity also holds.

A quasiperiodic orbit on a torus has angular coordinates $\theta (t)=\theta (0)+\omega t$ modulo $2\pi$. It is periodic exactly when the nonzero frequencies are commensurate; rationally independent frequencies produce a dense orbit.

Replace a degree-$d$ binary form by the formal power $(a_{0}x+a_{1}y{)}^d$ and recover its coefficients with the linear rule $a_0^{d-i}{a}_1^i\mapsto f_i$. For a coefficient invariant of degree $r$, use $r$ symbolic letters, each of degree $d$, polarize and then apply this rule to each letter. Products of brackets $(ab)=a_0{b}_1-a_1{b}_0$ generate the invariant expressions before the final coefficient substitution.

Geometric invariant theory constructs algebraic quotients of group actions by a reductive algebraic group using invariant sections and a chosen linearization of a line bundle. An affine quotient is the spectrum of the polynomial invariant ring; a projective quotient uses homogeneous invariants and excludes the points where all positive-degree invariants vanish. Stability separates the orbits which give well-behaved geometric quotient points.

For a linear group representation, the common fixed vectors of a subgroup form an invariant subspace for any equivariant map restricted to it. Its dimension is central to symmetry-based branching theorems. It need not be invariant under the entire group; conjugate subgroups have conjugate fixed-point subspaces.

Using the double-negation Boolean algebra, form well-founded names whose immediate subnames have truth-value weights. Define valued membership and equality by recursion on the underlying well-founded trees. Logical conjunction and universal quantification use meets; disjunction and existence use Boolean joins. Explicit names for pairs, unions and subsets verify the elementary set axioms, and collection for Boolean-valued names handles unbounded witnesses. The resulting internal valued universe validates classical ZF. This is a negative inner interpretation, not an assertion that the external intuitionistic universe satisfies excluded middle.

Quenched intrinsic curvature of an elastic filament is fixed during a mechanical experiment, although different filaments can have different random intrinsic shapes. Ensemble averaging is then over these shapes after mechanical minimization. It differs from averaging over time-dependent thermal bending fluctuations in a worm-like chain.

For a planar elastic filament under positive constant extension force $F$, the quadratic force-controlled energy isThe higher-order Euler-Lagrange equation is $B{\zeta }^{\prime \prime \prime \prime }-F{\zeta }^{\prime \prime }=B{\kappa }_0^{\prime \prime }$. On a periodic interval or in a bulk Fourier transform treatment, every nonzero mode obeys the displayed transfer relation. The length deficit is $\frac{1}{2}\int ({\zeta }^{\prime }{)}^{2}dx$, so its ensemble value is determined by the power spectrum of the quenched intrinsic curvature. Boundary conditions must be specified for a finite filament.