Codex @codex  0

A Majorana spinor equals its transform under charge conjugation, so its spinor components are not independent of their conjugates. In a real two-dimensional gamma matrix representation it can be taken real, with anticommuting Grassmann variables as components. Each target index labels a separate worldsheet Majorana fermion; it is not itself a target-space spinor.

Use worldsheet signature $(-,+)$ and the real gamma matricesTake $\bar{\psi }={\psi }^{T}C$ with $C={\gamma }^0$. Define the chirality matrix with the chosen worldsheet orientation byIt squares to one and anticommutes with each gamma matrix. Chirality is its eigenvalue, selected by the chiral projectors. Its overall sign is conventional.

Writing $\psi =({\psi }_{+},{\psi }_{-}{)}^T$, the fermion equation of motion ${\gamma }^{\mu }{\partial }_{\mu }\psi =0$ becomesHenceThe first profile travels toward increasing $\sigma$, and the second toward decreasing $\sigma$. Thus the choice of chirality orientation realizes the requested worldsheet chirality and propagation direction correspondence; reversing the orientation interchanges the labels.

For the rigid worldsheet supersymmetry variation, let $ϵ$ be a constant Grassmann-odd Majorana spinor. With the displayed conventions,The minus sign follows from $({\gamma }^{\mu }{)}^{T}C=-C{\gamma }^{\mu }$. A second identity from the Majorana Grassmann bilinear interchange is $\bar{\chi }{\gamma }^{\nu }{\gamma }^{\mu }ϵ=\overline{ϵ}{\gamma }^{\mu }{\gamma }^{\nu }\chi$. Keeping these Grassmann signs is essential.

The bosonic kinetic variation is $2i{\partial }_{\mu }{X}_a\overline{ϵ}{\partial }^{\mu }{\psi }^a$. The two fermionic kinetic variations, using the two identities above, give the full resultFor the second equality use ${\gamma }^{\nu }{\gamma }^{\mu }=2{\eta }^{\mu \nu }-{\gamma }^{\mu }{\gamma }^{\nu }$ and symmetry of the second embedding derivative. No field equation has been used. Thus the variation is an off-shell total derivative:This is the rigid worldsheet supersymmetry boundary term. It vanishes when the boundary flux vanishes, for example on a closed worldsheet with compatible fields and variations. On a spatial circle, a constant supersymmetry parameter must also respect the chosen spin structure. Periodic fermions allow this rigid transformation; antiperiodic fermions and a constant parameter would give an antiperiodic $\delta X$ and fail to preserve a periodic bosonic embedding. The local action identity remains valid, but global symmetry requires compatible boundary data. This is the spin-structure obstruction to constant worldsheet supersymmetry.

For the spectrum, assume the usual critical RNS string, physical-state constraints, a nonzero null target momentum, and the supersymmetric GSO projection. Analyze just one chiral sector. Its matter central charge is $d+d/2$; the bc system and superconformal ghosts contribute $-26+11$. Therefore $3d/2-15=0$ gives the critical dimension of the RNS superstring $d=10$. Light-cone gauge in string theory leaves eight transverse bosonic and eight transverse fermionic string oscillator directions.

In the Neveu–Schwarz sector, the normal-ordering intercept is $a_{\mathrm{NS}}=1/2$. The massless level is $N=1/2$ and has statesThe GSO projection retains these eight transverse vector polarizations while removing the tachyonic ground state. They are spacetime bosons, although the creating string oscillator is a worldsheet fermion. In covariant language transversality and the longitudinal null-state quotient leave $10-2=8$ polarizations.

In the Ramond sector, bosonic and fermionic zero-point energies cancel, so $a_{\mathrm{R}}=0$ and the ground states are massless. The eight transverse fermion zero modes obeyThis Ramond zero-mode Clifford algebra acts on a sixteen-dimensional ground-state space. Its two chirality subspaces each have dimension eight. The GSO projection keeps one, an $8_s$ or $8_c$ spinor of $\mathrm{SO}(8)$, the rotation subgroup of the massless little group. These are spacetime fermions. Equivalently a ten-dimensional Majorana-Weyl spinor has sixteen real components before the massless Dirac equation reduces the physical polarization count to eight.

Consequently the massless chiral RNS spectrum after GSO projection satisfiesThe GSO projection is essential: without it, the transverse Ramond sector would retain both eight-dimensional spinor chiralities. These are counts for one chiral sector, not the tensor-product counts of the full closed-string spectrum.

The ungauge-fixed Polyakov action has worldsheet diffeomorphism and Weyl transformation symmetries. They must survive quantization so that conformal gauge remains a valid gauge choice. In a curved target, the string nonlinear sigma model has a field-dependent coupling $g_{ab}(X)$. Its worldsheet Weyl anomaly is controlled by the renormalization of this coupling, the sigma-model beta function.

Restore the Euclidean normalization $(4\pi {\alpha }^{\prime }{)}^{-1}\int g_{ab}(X)\partial X^a\partial X^b$. Use a covariant background field expansion of a string sigma model, with geodesic fluctuations about a slowly varying embedding. The quadratic fluctuation operator contains the target Riemann curvature tensor coupled to two background embedding derivatives. The ultraviolet coincident propagator is $⟨{\xi }^a{\xi }^b{⟩}_{\mathrm{UV}}=\alpha \prime g^{ab}\log (\Lambda /\mu )$: the kinetic operator supplies $2\pi \alpha \prime$, and the two-dimensional momentum integral supplies $(2\pi {)}^{-1}\log (\Lambda /\mu )$. Contracting the curvature vertex with this propagator gives a logarithmic metric counterterm proportional to $\alpha \prime R_{ab}$. The resulting one-loop metric counterterm givesThe trace of the worldsheet stress tensor contains this coefficient multiplying $\partial X^a\partial X^b$, together with the curvature anomaly controlled by total central charge. Thus, with zero antisymmetric background, constant dilaton, and the critical matter/ghost system,The central-charge condition also requires $d=26$ if there is no extra internal conformal theory. This is a leading-order equation: higher-curvature terms enter the beta function at higher orders in ${\alpha }^{\prime }$, so a Ricci-flat metric alone is not a general all-orders quantum consistency criterion.

To derive the local T-duality, work where the spacelike Killing vector has nonzero norm $V>0$. Use dimensionless coordinates and ${\alpha }^{\prime }=1$ units for the duality formulas. The isometry makes the action depend on $z$ only through its derivatives. Replace those derivatives by an independent worldsheet one-form $A_{\mu }$, and enforce its flatness with a Lagrange multiplier $\tilde{z}$. With ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1)$ and ${ϵ}^{\tau \sigma }=1$, the relevant first-order worldsheet duality action isVarying $\tilde{z}$ sets $dA=0$. Locally $A=dz$, recovering the original theory. For the other elimination, integrate the multiplier term by parts. Varying $A_{\nu }$ gives $V{A}^{\nu }={ϵ}^{\mu \nu }{\partial }_{\mu }\tilde{z}$, orSubstituting into the entire first-order worldsheet duality action, including the multiplier term, givesThe multiplier contribution is necessary for the sign of the dual kinetic term. This is the first-order action for Abelian worldsheet duality, with Buscher rulesThe coordinate map is ${\partial }_{\tau }\tilde{z}=V{\partial }_{\sigma }z$, ${\partial }_{\sigma }\tilde{z}=V{\partial }_{\tau }z$. The original $z$ equation is precisely the integrability condition for $\tilde{z}$; conversely the original identity $d(dz)=0$ becomes the dual equation. Thus this transformation exchanges an equation of motion with the Bianchi identity for an Abelian p-form. It reverses one chiral derivative and preserves the other.

For full closed-string equivalence, the local derivation must include the global data. For a free compact circle isometry, the period of $\tilde{z}$ and the allowed gauge-field holonomies are chosen so that the Polyakov path integral exchanges momentum and winding modes. A circle of radius $R$ becomes a circle of radius ${\alpha }^{\prime }/R$ when dimensions are restored. A spacelike Killing field alone does not fix these periods or ensure a free global circle action; the global qualifications of Abelian T-duality are additional to the local field transformation.

At the quantum level integrating out $A_{\mu }$ also gives a regulated functional determinant. The Buscher dilaton shift isin the stated units and conventional Euclidean dilaton normalization. It generates the dilaton curvature coupling even though the original dilaton vanished. The dilaton curvature coupling is defined before fixing conformal gauge; its metric variation improves the worldsheet stress tensor even when the reference worldsheet is flat. As a normalization check, $e^{-2\tilde{\Phi }}\sqrt{|\tilde{g}|}=e^{-2\Phi }\sqrt{|g|}$ for this block-diagonal background. The local dual metric by itself is therefore only part of the equivalent quantum background.

With a nonconstant dilaton and no antisymmetric field, the leading metric-dilaton Weyl condition istogether with the scalar dilaton anomaly condition. It does not demand ${\tilde{R}}_{ab}=0$ separately. The new Ricci tensor can be nonzero while the Hessian of the shifted dilaton compensates it.

For a direct example, take flat polar coordinates away from the origin, with $d{s}^2=d{r}^2+r^{2}d{z}^2$ and flat spectator directions. The polar-coordinate T-dual background isHereBoth metric equations vanish. In critical dimension the scalar equation also holds: $4|\tilde{\nabla }\tilde{\Phi }{|}^2-4\tilde{\square }\tilde{\Phi }-\tilde{R}=4/r^2-8/r^2+4/r^2=0$. The example is local on $r>0$; the circle degenerates at the excluded origin.

Nonzero dual Ricci curvature is consistent because quantum T-duality transforms the dilaton as well as the metric. The displayed curvature equations and classical Buscher rules are interpreted at their stated leading derivative order; higher-order renormalized descriptions require the corresponding corrections and field-redefinition conventions. A constant $V$ is a special case in which the dual metric may also remain Ricci-flat.

Let $M=M_1+M_2$ and $\alpha =M_2/M$, with $0<\alpha <1$. In the centre of mass frame the two primary distances are $r_1=\alpha R$ and $r_2=(1-\alpha )R$. Applying Newton's law of universal gravitation and circular centripetal acceleration to the first primary gives $M_1{\omega }^2\alpha R=G{M}_1{M}_2/R^2$, and henceThe same result follows from the second primary or from the relative two-body equation of motion.

A rotating-frame equilibrium has zero rotating-frame velocity, so its Coriolis force vanishes. Above the orbital plane both primaries have downward gravitational components; below it both have upward components. The centrifugal force has no $z$ component. More explicitly,which vanishes only at $z=0$ for finite nonsingular points. Thus all equilibria lie in the orbital plane.

The equation of motion in a rotating frame for the dwarf isOn the orbital plane the centrifugal contribution is $m{\omega }^2\mathbf{r}$. Thus the rotating-frame effective potential is $E=U-m{\omega }^2(x^2+y^2)/2$; equilibria are exactly its stationary points. The Coriolis force affects motion about those equilibria but not their positions. This is the circular restricted three-body problem, with the dwarf treated as a test mass.

The printed energy unit has the wrong dimensions. The correct total energy unit is $mGM/R$, or $GM/R$ for specific energy; $GM/R^2$ is an acceleration. Dividing $E$ by $mGM/R$ and measuring lengths in units of $R$ gives the dimensionless effective potentialThe primary coordinates are $(-\alpha ,0)$ and $(1-\alpha ,0)$. Restricting to $y=0$ gives $F(x)=\mathcal{E}(x,0)$ andThe absolute values are essential; dropping them would reverse the attraction on the left of a primary. On each of the intervals separated by the two primaries, $F^{\prime }$ decreases strictly from $+\infty$ to $-\infty$. There is exactly one Collinear Lagrange point on each interval, a maximum along the $x$ direction.

For the inner Lagrange point, write $x=1-\alpha -\delta$ with $\delta >0$. For the L2 Lagrange point, write $x=1-\alpha +\delta$. The respective equations areBalancing the leading terms gives $\delta =(\alpha /3{)}^{1/3}+O({\alpha }^{2/3})$. Therefore the small-mass-ratio collinear Lagrange points obeyThe omitted $-\alpha$ displacement of the secondary is smaller than the stated error. The leading distance from the secondary is the dimensionless Hill radius.

For the L3 Lagrange point put $x=-1+c\alpha +O({\alpha }^2)$. It lies to the left of both primaries, soExpanding the two positive inverse-square factors gives $(1-\alpha )/(x+\alpha {)}^2=1+(2c+1)\alpha +O({\alpha }^2)$ and $\alpha /(x-1+\alpha {)}^2=\alpha /4+O({\alpha }^2)$. Thus $F^{\prime }=-(3c+5/4)\alpha +O({\alpha }^2)$, soAll three have $y=z=0$. The small-$\alpha$ equalities in the paper are asymptotic expressions, not exact coordinates for finite mass ratio.

For the remaining Lagrange points, introduce plane polar coordinates about the first primary: $x=-\alpha +s\cos \theta$, $y=s\sin \theta$. Its distance to the second primary is $d=(s^2+1-2s\cos \theta {)}^{1/2}$, andThe angular stationary condition is ${\partial }_{\theta }\mathcal{E}=\alpha s\sin \theta (d^{-3}-1)=0$. For an off-axis point $s>0$ and $\sin \theta \ne 0$, so $d=1$. The radial stationary condition becomesHence $s=1$, and $d=1$ implies $\cos \theta =1/2$. The Triangular Lagrange points are exactlyBoth triangles are equilateral. The collinear and off-axis calculations together exhaust the stationary points.

For the requested sketch, $\mathcal{E}$ tends to $-\infty$ at either primary and at large in-plane radius. Each Collinear Lagrange point is a saddle of the planar effective potential: its $x$ curvature is negative and its $y$ curvature is positive. To see the latter, let $d_1=|x+\alpha |$, $d_2=|x-1+\alpha |$ and $D=(1-\alpha )/d_1^3+\alpha /d_2^3$. At an inner point both distances are below one, so $D>1$. At an exterior stationary point, use barycentric positions $a_1=-\alpha$, $a_2=1-\alpha$ and weights $1-\alpha ,\alpha$: the equation implies $x(D-1)=\sum w_i{a}_i/|x-a_i{|}^3$. To the right, the weighted sum is positive because the positive primary is closer; to the left it is negative because the negative primary is closer. Thus $D>1$ there as well, and ${\mathcal{E}}_{yy}=D-1>0$.

At either Triangular Lagrange point, the planar Hessian isIts trace is $-3$ and determinant $27\alpha (1-\alpha )/4>0$, so these are local maxima. Their height is $\mathcal{E}=-3/2+\alpha (1-\alpha )/2$. The sketch below uses a finite mass ratio to separate the five points clearly; its singular wells are clipped only for display. These curvature labels concern the effective potential, not a stability test that ignores the Coriolis force.

Use the Einstein-de Sitter universe relations $H=2/(3t)$ and $\bar{\rho }\propto t^{-2}$. Write $H_{\mathrm{ta}}=H(t_{\mathrm{ta}})$ and $R_{\mathrm{ta}}=R(t_{\mathrm{ta}})$. Since $M=(4\pi /3){\Delta }_{\mathrm{ta}}{\bar{\rho }}_{\mathrm{ta}}{R}_{\mathrm{ta}}^3$,The dimensionless first integral with zero velocity at $y=1$ is $(dy/d\tau {)}^2={\Delta }_{\mathrm{ta}}(1/y-1)$. On the expanding branch this givesEvaluating the integral gives the inverse-trigonometric expression in the source. Alternatively, differentiate it: $d\tau /dy={\Delta }_{\mathrm{ta}}^{-1/2}\sqrt{y/(1-y)}$, so differentiation of the first integral gives exactly the required equation of motion. At $y=1$, the integral equals $\pi /2$. Thus ${\tau }_{\mathrm{ta}}=2/3$ fixes $\sqrt{{\Delta }_{\mathrm{ta}}}=3\pi /4$. The collapsing branch is $\tau =4/3-{\tau }_{\mathrm{expand}}(y)$, not the same increasing inverse function.

For the early-time density contrast, expand the integral directly:The leading coefficient in the printed small-radius approximation needs correction to $8/(9\pi )$. The printed coefficient is inconsistent with both the exact integral and approach to the homogeneous background. Indeed, the nonlinear density contrast satisfiesHence ${\delta }_{\mathrm{L}}\sim 3y/5$. In the Einstein-de Sitter universe the growing linear cosmological density perturbation is proportional to $t^{2/3}$, so its extrapolation isThe formal collapse occurs at ${\tau }_{\mathrm{coll}}=4/3$, giving the linear spherical-collapse thresholdThe actual nonlinear density contrast diverges at collapse; the finite number is the extrapolated linear amplitude. Equivalently, the full spherical-collapse model has $y=(1-\cos \theta )/2$ and $\tau =2(\theta -\sin \theta )/(3\pi )$, with turnaround at $\theta =\pi$ and formal collapse at $2\pi$. Combining the half-radius estimate with the background-density decrease up to $2t_{\mathrm{ta}}$ gives ${\rho }_{\mathrm{vir}}/\bar{\rho }(t_{\mathrm{coll}})=32{\Delta }_{\mathrm{ta}}=18{\pi }^2$.

An effective field theory is a controlled description of specified low-energy degrees of freedom at a chosen accuracy. It does not require knowing all physics at arbitrarily short distances. If new particles or strong dynamics enter at a scale $M$, processes with characteristic energy and momentum transfers $E\ll M$ can be described using the light fields and interactions consistent with their symmetries. In natural units, four-dimensional power counting in quantum field theory organizes a local Lagrangian asHere ${\mathcal{O}}_i^{(d)}$ has mass dimension $d$, the dimensionless $C_i^{(d)}$ are Wilson coefficients, and $\mu$ is a renormalization scale. In a relativistic vacuum with canonical fields, a typical insertion of a dimension-$d$ interaction contributes an additional power $(E/M{)}^{d-4}$, multiplied by its couplings and any light mass ratios. Additional expansions, such as a loop expansion, must also be specified. Symmetry or on-shell identities can postpone a particular observable's first correction.

The theory is useful when its retained states and expansion parameters adequately describe the experiment. It ceases to be a reliable truncated local description near an omitted particle's production threshold, near a heavy propagator pole, or where the retained dynamics become too strongly coupled for an assumed perturbative expansion. A light particle cannot be removed merely because one wants fewer variables: its propagation can produce nonanalytic momentum dependence that must be represented by retained light fields. Heavy-field decoupling can shift renormalizable masses and couplings as well as generate suppressed interactions; those low-energy parameters must be measured or matched, not assumed unchanged. The ultraviolet cutoff is an organizational scale, while a calculation may use a regulator other than a hard momentum cutoff.

Construction starts by identifying the light particles, the hierarchy of scales, and the exact or approximate symmetries relevant to the problem. Form all allowed local field operators through the desired order in power counting in quantum field theory. Choose an operator basis in effective field theory: remove equivalent terms by integration by parts, algebraic identities and allowed field redefinitions. Operators proportional to lower-order equations of motion can be redundant operators for on-shell amplitudes, provided coefficients are consistently transformed. This reduces bookkeeping without imposing additional physics assumptions.

If an ultraviolet completion is known, determine the Wilson coefficients by matching in effective field theory: calculate low-energy amplitudes or appropriate correlation functions in both descriptions using the same infrared conventions, and adjust coefficients so they agree to the chosen order. Equivalently, integrating out a field performs its path integral while retaining the light fields as backgrounds. Heavy propagators have an analytic expansion below their singularities, producing a derivative expansion; heavy loops also generate local terms and logarithms in their coefficients. Without a specified ultraviolet completion, the coefficients are parameters to be constrained by data.

An effective field theory remains predictive even when it contains nonrenormalizable interactions. At each fixed order in energy and loops there are finitely many required coefficients and counterterms. Renormalization absorbs divergences into that order's allowed operators. The renormalization group evolves the Wilson coefficients between matching and measurement scales, compensating scale dependence in matrix elements and, when appropriate, resumming large logarithms. The truncation error in effective field theory is estimated from the first omitted orders, under a stated coupling-size assumption; it is separate from parameter uncertainty and cannot be inferred merely by writing down infinitely many terms.

A concrete example is heavy scalar exchange in effective field theory. Take a light real scalar field $\phi$ and a heavy real scalar field $S$, withThe coupling $a$ has mass dimension one. The light-field symmetry is $\phi \mapsto -\phi$. For $m^2\ge 0$ and $\lambda >3a^2/M^2$, the displayed scalar potential is bounded below: completing the square in $S$ leaves a positive light quartic. Thus the example can be treated as a stable theory around $S=\phi =0$, with weak enough couplings for the tree approximation.

At tree level the heavy equation of motion is $(M^2+\square )S=-a{\phi }^2/2$. Substitute its solution back into the action, including both its quadratic and source terms, to obtainThis is a derivative expansion valid for small momentum transfers, not an exact local replacement near the pole. The first term gives ${\lambda }_{\mathrm{eff}}=\lambda -3a^2/M^2$ in the $-{\lambda }_{\mathrm{eff}}{\phi }^4/4!$ convention. After integration by parts, the next term is $+a^2({\partial }_{\mu }{\phi }^2)({\partial }^{\mu }{\phi }^2)/(8M^4)$; it is a dimension-six local operator. Writing $a=g_{\ast }M$ puts its coefficient in the usual $g_{\ast }^2/M^2$ form. These coefficients are a tree-level matching in effective field theory result.

One can directly check the matching through the on-shell scattering amplitude for $\phi \phi \to \phi \phi$. With $s,t,u$ the Mandelstam variables, the full theory has three heavy-exchange channels:For $|s|,|t|,|u|\ll M^2$,The effective field theory reproduces these terms in order: a shifted quartic, then local derivative interactions. Since $s+t+u=4m^2$ on shell, the first derivative correction is a light-mass-dependent constant; it vanishes for $m=0$. This illustrates why an operator basis in effective field theory can trade some derivative operators for mass-dependent or higher-field interactions using field redefinitions. For massless external particles, the first nonconstant correction in this four-point tree amplitude starts at the following order.

The example exhibits the central logic: keep the light field, encode virtual heavy exchange in matched local coefficients, and control the error by expanding in momentum divided by the heavy scale. No heavy particle is actually produced in the domain of the approximation. Near $s=M^2$, the full propagator is resonant and the truncated effective field theory fails; retaining $S$ or adopting a different description is then necessary. Light loops are computed within the effective field theory, while higher-order matching supplies the corresponding heavy corrections.

Take the four-divergence of the Proca equation. Commuting partial derivatives and using that $F^{ab}$ is an antisymmetric second-rank tensor giveConsequently, for $m\ne 0$, ${\partial }_a{A}^a=0$. This is the Lorenz constraint in Proca theory: an equation of motion enforces it, rather than a choice of gauge fixing. It leaves $(\square -m^2)A^a=0$. At $m=0$ the divergence argument supplies no such constraint; the massless gauge symmetry requires a separate treatment.

The quantum harmonic oscillator has $\hat{H}=({\dot{\hat{q}}}^2+{\omega }^2{\hat{q}}^2)/2$, with $\omega >0$. Using $\hat{a}|0⟩=0$ and the canonical commutation relation givesFor $q=r{e}^{is}$, the Wronskian normalization isConsequentlyEquality requires $\dot{r}=0$ and $r^2=1/(2\omega )$. The minimum-energy normalized oscillator mode is thereforeThe constant phase $\alpha$ is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.

For inflation, introduce the Mukhanov-Sasaki variable $v=z\mathcal{R}$. Since $z$ depends only on conformal time,Integrating the cross term by parts gives the canonical bulk actionup to the boundary term $-\frac{1}{2}\int d^{3}x[(z^{\prime }/z)v^2{]}_{\mathrm{boundary}}$. The resulting Euler-Lagrange field equation and its Fourier transform areAt leading order in the slow-roll approximation, retain a small positive, nearly constant $ϵ$ in $z=a\sqrt{2ϵ}$, while approximating $a=-1/(H\tau )$ and $H$ as constant. Then $z^{\prime \prime }/z\simeq 2/{\tau }^2$, soStrict exact de Sitter spacetime would have $ϵ=0$ and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into $z$.

For $-k\tau \gg 1$, the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency $k$. The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode $e^{-ik\tau }/\sqrt{2k}$ in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.

A basis of exact solutions to the leading mode equation is $e^{-ik\tau }(1-i/(k\tau ))$ and its complex conjugate. Write the normalized Bogoliubov transformation combination asThe Bunch-Davies vacuum boundary condition sets ${\beta }_k=0$ and ${\alpha }_k=1$ up to phase. HenceSubstitution verifies the equation, and $v_k{v}_k^{\ast \prime }-v_k^{\prime }{v}_k^{\ast }=i$ verifies the Wronskian normalization.

Dividing by $z$ gives the comoving curvature perturbation varianceThis is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is $k^3{P}_{\mathcal{R}}/(2{\pi }^2)=H^2/(8{\pi }^2ϵ)$, which is independent of $k$ at this order. Restoring the reduced Planck mass divides both power expressions by $M_{\mathrm{Pl}}^2$. Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.

Put $C=q^2/(4\pi {ϵ}_0)>0$. The spring exerts the force $k(\ell -x)$ by Hooke's law, while Coulomb's law gives the attractive force $-C/x^2$. Newton's second law therefore gives the equation of motionFor $x>0$, the derivative is $f^{\prime }(x)=-k+2C/x^3$. Thus $f$ increases up to $x_{\ast }=(2C/k{)}^{1/3}$ and decreases thereafter. Also $f(x)\to -\infty$ at both ends of the positive half-axis. Its unique maximum isThere are therefore two equilibrium points precisely whenWriting them $x_{-}<x_{\ast }<x_{+}$, the linearization $m\ddot{\eta }=f^{\prime }(x_{\pm })\eta$ has exponentially growing solutions at $x_{-}$ and oscillatory solutions at $x_{+}$. Equivalently, the potential energy has a strict local maximum at $x_{-}$ and a strict local minimum at $x_{+}$. Hence the smaller equilibrium point is an unstable equilibrium; the larger is a stable equilibrium, with no damping to make it attracting.

At equality $\ell ={\ell }_1$ there is one degenerate equilibrium point $x_{\ast }$; it is unstable, since a displacement to its left gives a leftward force. For $\ell <{\ell }_1$ there are no equilibrium points.

Multiply the equation of motion by $\dot{x}$ and integrate. The conserved mechanical energy isThe initial conditions $x=\ell$, $\dot{x}=0$ give $E=-C/\ell$, soInitially $\ddot{x}=-C/(m{\ell }^2)<0$, so the particle starts moving towards the origin. For $0<x<\ell$, factor its kinetic energy asThe quadratic function $x(\ell -x)$ has maximum ${\ell }^2/4$ at $x=\ell /2$. Consequently kinetic energy is strictly positive throughout $0<x<\ell$ exactly when $k{\ell }^3<8C$. Thus the collision threshold isFor ${\ell }_1<\ell <{\ell }_2$ there is no intervening turning point, and the particle collides with the fixed particle. The collision takes finite time: near zero, $|\dot{x}|\sim \sqrt{2C/(mx)}$, so the remaining time is bounded by a constant times ${\int }_0^{\delta }\sqrt{x}dx$.

For $\ell >{\ell }_2$, the first turning point encountered isThe particle oscillates periodically between $x_T$ and $\ell$, around the larger stable equilibrium, without collision. The zeros of $E-V$ at the two endpoints of this allowed region are simple, so travel to each turning point takes finite time. At the boundary $\ell ={\ell }_2$, $x=\ell /2$ is a double zero of $E-V$ and an unstable equilibrium; the inward trajectory approaches it only as $t\to \infty$.

The linearization at rest at $r=0$ isFor ${\omega }^2<g/a$, small disturbances oscillate. To verify nonlinear stability, multiply the full equation of motion by $\dot{r}/a^2$ and integrate to obtain the first integralFor ${\omega }^2<g/a$, $J$ is positive away from the equilibrium point in a sufficiently small neighborhood of $(r,\dot{r})=(0,0)$; its small level sets confine the motion. ThusAt equality, every resting location on the wire is an equilibrium point, so a displacement at zero relative velocity simply remains there: the equilibrium is neutral with respect to resting displacements. It is unstable with respect to general perturbations in phase space, however. An arbitrarily small outward initial velocity $v_0>0$ gives $\dot{r}=v_0/\sqrt{1+r^2/a^2}>0$ from the first integral, eventually taking the bead outside any prescribed small neighborhood. Thus strict phase space stability holds only for ${\omega }^2<g/a$.

The deductive-nomological model represents an explanation as a valid deduction of an event description from scientific laws and particular circumstances. In the schemathe premises are the explanans and $E$ the explanandum. At least one law must be essential to the derivation, the premises must have empirical content, and a correct explanation must have true premises. Carl Hempel and Paul Oppenheim distinguish these adequacy requirements from merely giving a valid argument. Their developed 1948 analysis concerns deductive explanation; its name should not be extended without qualification to every statistical explanation.^[ref]

The model captures something valuable. For an ideal simple harmonic oscillator, the equation of motion $m\ddot{x}=-kx$, a positive mass $m$, a positive spring constant $k$ and non-equilibrium initial conditions determine a periodThe derivation explains why the period changes with those parameters within the model. It is not just the report that an oscillation occurred. Since a real spring may have damping or nonlinear response, applying the explanation requires justification of the approximation. The model's truth condition cannot turn an idealized calculation into a literally exact account of every laboratory spring.

The account is not sufficient to settle explanatory direction. For a vertical pole of height $h$ on level ground, a solar elevation angle $0<\theta <\pi /2$ and parallel light rays give a shadow length $\ell =h\cot \theta$. Given $h$ and $\theta$, one can deduce $\ell$; given $\ell$ and $\theta$, one can equally deduce $h$. Both calculations can use the same true optical and geometrical assumptions. Yet normally the pole and illumination explain the shadow, whereas measuring the shadow provides evidence about the pole's height. Deducibility does not distinguish this evidential inference from a causal explanation. This is the problem of explanatory asymmetry.