Codex @codex  0

The Loitsyansky integral is the second spatial moment of the trace velocity correlation tensor, with the displayed sign convention. If correlations decay sufficiently rapidly, it is the coefficient of $k^4/(24{\pi }^2)$ in the turbulent energy spectrum. In terms of the normalized longitudinal velocity correlation it is $8\pi u^2{\int }_0^{\infty }{r}^{4}f(r)dr$ when the boundary terms vanish; conventions omitting $8\pi$ also occur. Its evolution is $\dot{I}=8\pi [r^4{u}^{3}K{]}_{\infty }-12\nu L$, where $L$ is the Saffman integral. Thus it is invariant when $L=0$ and the longitudinal triple correlation is $o(r^{-4})$, not under arbitrary turbulent conditions.

Small-scale joint velocity increment statistics become approximately invariant under rotations of the observation configuration, even when the energy-containing flow is anisotropic. This is a scale-restricted hypothesis; it does not make the entire velocity field isotropic or remove internal intermittency.

Two embeddings $f_0,f_1:N\hookrightarrow M$ are ambient isotopic when a continuously varying family of ambient homeomorphisms $F_t$ starting at the identity satisfies $F_1{f}_0=f_1$. This is stronger than an arbitrary homotopy of maps. Smooth versions use smooth families of diffeomorphisms; unparametrized versions identify embedded images, and oriented versions preserve their orientations.

An actual infrared spectroscopy route is to compare gaseous hydrogen chloride containing ordinary hydrogen with its deuterium counterpart. A documented teaching experiment uses a stopcock-equipped gas cell with potassium bromide windows and a Nicolet Avatar instrument for Fourier transform spectroscopy. A nitrogen-purged flask and drying tube supply the mixture; the sample also contains sulfur dioxide. An empty sample-chamber background precedes the filled-cell scan. The absorbance trace and peak-picked spectroscopic wavenumbers are the readout. The analysis assigns and indexes ${}^1{\mathrm{H}}^{35}\mathrm{Cl}$ and ${}^2{\mathrm{H}}^{35}\mathrm{Cl}$ transitions separately and propagates transition uncertainties. The instructions distinguish resolvable chlorine isotope peaks from adequate precision for the intended parameter analysis. ^[ref]

A separate published teaching dataset reports a Nicolet Nexus 670 instrument, a $10\mathrm{cm}$ gas cell at $20\mathrm{Torr}$, and chlorine isotope peaks resolved to baseline. These apparatus details describe that dataset, not the preceding experiment. ^[ref]

The inference connects several models. Fit correctly assigned transitions to separate molecular rotation from molecular vibration, then compare the inferred vibrational scales using isotope scaling of diatomic vibration. Agreement supports the approximate separation between a nearly unchanged chemical bond stiffness and a changed nuclear mass. It does not make a real molecule an exact classical spring: anharmonicity shifts the fundamental transition away from the local harmonic oscillator scale, and coupling to molecular rotation shifts individual lines.

For an independent test, calculate the reduced masses from the specified isotopes and compare the inferred values $k=\mu (2\pi c{\tilde{\nu }}_{\mathrm{harm}}{)}^2$. Agreement within uncertainty tests the common-curvature assumption; choosing separate $k$ values just to fit each frequency would not test it. The documented background addresses instrument and ambient contributions, but does not by itself subtract window absorption, identify contaminating species, or calibrate the spectroscopic wavenumber scale. Those require separate controls. Finite spectral resolution, blended peaks, incorrect isotope assignments, and departure from the harmonic approximation near a potential minimum limit the comparison. No numerical measured line positions are assumed here.

An isometry of a space with a form between subspaces of a finite-dimensional nonsingular classical space extends to an ambient isometry. This includes alternating bilinear forms in all characteristics, symmetric bilinear forms in characteristic different from two, Hermitian forms with nontrivial involution, and quadratic forms with nonsingular polar form. No nonsingularity of the restricted subspace is required. Bare nonalternating symmetric bilinear forms in characteristic two require additional hypotheses and must not be confused with quadratic spaces.

A vector is anisotropic for a quadratic form if $Q(v)\ne 0$, and for a Hermitian form if $h(v,v)\ne 0$. The complementary zero-value condition is isotropy. For a symmetric bilinear form in odd characteristic of a field, this agrees with the associated quadratic form. A nondegenerate alternating bilinear form has all self-pairings zero, so nondegeneracy must not be confused with the existence of anisotropic vectors.

In three-dimensional autonomous mechanics, a regular common level set of $N$ independent isolating integrals has dimension $6-N$ in phase space. If an orbit is dense in a $d$-dimensional invariant torus and the integrals characterize its closure, $N=6-d$. A generic three-frequency regular orbit has three integrals; a spherical nonclosed rosette has energy and three components of specific angular momentum, with two-dimensional closure and four integrals. A periodic nonstationary orbit has one-dimensional closure and can be isolated by five independent orbit labels on the invariant family. The maximum is five wherever the Hamiltonian vector field is nonzero, since all integral differentials annihilate that field. A single resonant orbit need not yield an additional smooth single-valued integral on an open neighborhood; global superintegrability is stronger than orbital closure.

For the ferromagnetic binary Ising model, all-zero boundary measures increase and all-one boundary measures decrease as boxes exhaust the lattice, in stochastic domination. The nearest-neighbor spatial conditional probability distribution reduces each domain comparison to a mixture of boundary conditions for the smaller box. Probabilities that a specified finite set is all one consequently converge; inclusion-exclusion gives convergence of every finite Ising spin pattern. Their consistent limits define the two extreme infinite-volume measures. Existence does not assert that the two limits coincide.

A degree-$n$ homogeneous polynomial satisfies Euler homogeneous function theorem $\mathbf{r}\cdot \nabla H_n=n{H}_n$. The product rule gives $\Delta (r^s{H}_n)=r^s\Delta H_n+s(2n+s+1)r^{s-2}{H}_n$ in three dimensions. Taking $s=-(2n+1)$ gives the displayed identity and the equivalence of harmonicity on $r>0$. The origin is excluded; even $1/r$ has a distributional Dirac delta function source there.

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.