Codex @codex  0

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 four-momentum with components $(E/c,p_x,p_y)$, suppressing the identically zero third spatial component. The photon in the primed frame hasIts energy is $h{\nu }^{\prime }$ and its spatial momentum has magnitude $h{\nu }^{\prime }/c$. Apply the same Lorentz transformation as for the spacetime coordinates. With $\beta =v/c$,The time component gives the relativistic Doppler effectThe aberration of light follows by dividing spatial components by $E/c$:In particularwhere the tangent expression is understood only when its denominators exist. The sine and cosine equations determine the correct quadrant and also cover directions where the tangent/secant expression is undefined.

For the photon-number half-cone under relativistic aberration, the forward half of the primed emission angles is $-\pi /2\le {\theta }^{\prime }\le \pi /2$. The aberration of light is monotone on this interval, and its endpoints have $\cos \theta =\beta$. Thus exactly half of a uniform angular photon distribution lies within the lab-frame coneAs $v\to c^{-}$, $\alpha =\arcsin (1/\gamma )\sim 1/\gamma$, so the cone becomes narrow. Here “half” counts emitted photons or ray directions; it is not a claim that half of the observed energy or power lies there, since the relativistic Doppler effect changes the photon energies with angle.

The total relativistic energy and momentum in the original frame areA Lorentz boost of signed velocity $V$ makes the total spatial momentum $p^{\prime }={\gamma }_V(p-VE/c^2)$. Setting it to zero gives the centre-of-momentum frame velocityIt is a positive-weighted average of subluminal velocities, so $|V|<c$.

In the rest mass of a coalescing relativistic collision, four-momentum conservation gives $P_3=P_1+P_2$ provided no energy or momentum escapes in additional radiation. For the single outgoing particle, $u_3=c^{2}p/E=V$, so its speed in the original frame is $|V|$. Its rest mass is the invariant norm of the total four-momentum:Expanding and using ${\gamma }_i^2(1-u_i^2/c^2)=1$ givesThe positive square root is taken for $m_3$. The factor multiplying $2m_1{m}_2$ is the relative Lorentz factor, at least one. Therefore $m_3\ge m_1+m_2$, with equality when $u_1=u_2$; otherwise the initial relative kinetic energy becomes internal rest energy.

The central force has no transverse component. Its angular equation is thereforeThus the specific angular momentum is the constantThe radial equation isSubstitute $\dot{\theta }=l/r^2$:Consequently the radial motion for $r>0$ is exactly a unit-mass one-dimensional motion in the effective potentialIts conserved energy is $\frac{1}{2}{\dot{r}}^2+V_{\mathrm{eff}}(r)$; the second term in the effective potential accounts for the angular kinetic energy.

It is important to distinguish loss of forward-going surface-gravity-wave energy from conversion of mechanical energy into heat. Scattering attenuation by ice floes redirects energy; it can attenuate a coherent transmitted wave without dissipating the total energy.

For fixed floe geometry, increasing frequency usually increases attenuation over the relevant swell range: shorter wavelengths respond more strongly to the contrast between water and the elastic plate, and to repeated floe edges. Long surface gravity waves have weak curvature and often penetrate much farther. This is a trend over a specified frequency range, not a theorem excluding resonances.

The diameter dependence is governed by $d/\lambda$. An ice floe much smaller than the wavelength moves nearly with the water and scatters weakly. Scattering becomes appreciable when floe size is comparable with the wavelength, and interference between its two edges can give maxima and minima. At fixed ice concentration, larger ice floes also mean fewer edges per unit propagation distance, roughly proportional to $p/d$. Consequently the attenuation coefficient need not increase monotonically with diameter: the single-floe reflection and the number of encounters must both be considered. Thickness increases areal inertia as ${\rho }_{i}h$ and bending stiffness as $h^3$, generally increasing wave mismatch and reflection, although detailed frequency-dependent resonances again prevent a universal monotonic law.

When $d\ll \lambda$, particularly for frazil ice and pancake ice, weak individual scattering leaves other processes dominant. Relative crystal and water motion causes viscous dissipation; an aggregate layer can behave as a viscous or viscoelastic material, and pancake ice collisions, rubbing and overwash remove energy. Their importance depends on concentration and wave amplitude.

For a uniform continuous sheet with horizontal dimensions much greater than the wavelength, there are no repeated floe edges in its interior. A perfectly elastic sheet over inviscid water supports undamped flexural-gravity waves, so internal scattering is not an explanation of decay there. Real attenuation can instead arise from internal ice anelasticity or viscoelasticity, a dissipative sub-ice viscous boundary layer, turbulence, cracks and brine-related processes. Small-floe mixtures and continuous sheets require dissipation models beyond the isolated-floe scattering picture.

For any vector $\mathbf{a}$, differentiating its components and the rotating basis gives the rotating-frame derivative formulaApply it twice to the position $\mathbf{x}$, with constant angular velocity $\mathbf{\omega }$. The inertial acceleration iswhere dots denote rotating-frame derivatives. Newton's second law therefore becomesThe last terms are the Coriolis force and the force corresponding to centrifugal acceleration.

For the particle on a uniformly rotating inclined plane, choose orthonormal vectors ${\mathbf{e}}_1$ along the horizontal $\xi$ axis and ${\mathbf{e}}_2$ up the slope, and set ${\mathbf{e}}_3={\mathbf{e}}_1\times {\mathbf{e}}_2$, the upward normal vector. Then ${\mathbf{e}}_z=\sin \theta {\mathbf{e}}_2+\cos \theta {\mathbf{e}}_3$ andHere $N$ is the normal reaction. The marble is modeled as the smooth sliding particle specified by the printed equations, without an additional rolling constraint. The rotating-frame Coriolis acceleration and centrifugal acceleration are respectivelyThe normal rotating-frame acceleration is zero, so the normal reaction is not generally $mg\cos \theta$; it satisfiesProjecting the same equation onto the two tangential axes gives exactly

Multiply the equations by $\dot{\xi }$ and $\dot{\eta }$ and add. The Coriolis force terms cancel, as expected because this force does no work relative to the rotating frame. The normal reaction also does no work along the plane. The conserved quantity is rotating-frame kinetic energy plus gravitational and centrifugal potential energy:This need not be the conserved inertial energy, since the externally driven rotating plane can exchange energy with the particle.

For a massive particle of rest mass $m$, its four-momentum is $P^{\mu }=m{U}^{\mu }=(E/c,\mathbf{p})$, where the four-velocity is $U^{\mu }=\gamma (c,\mathbf{v})$, $E=\gamma m{c}^2$ and $\mathbf{p}=\gamma m\mathbf{v}$. With metric signature $(-,+,+,+)$, $P\cdot P=-m^2{c}^2$. A photon has four-momentum $(E/c,(E/c)\hat{\mathbf{n}})$, a future-pointing null vector. Four-momentum conservation states that the total incoming and outgoing four-momenta agree for an isolated interaction; this includes both energy and momentum conservation in every inertial frame.

Take the incoming photon direction as $x$. Its energy is $\hslash \omega =\mu m{c}^2$, so the total initial four-momentum isThe invariant mass available after photon absorption is therefore $M=m\sqrt{1+2\mu }$. In the centre-of-momentum frame, the two equal daughters have opposite momenta. Their total energy is at least their combined rest energy $2\alpha m{c}^2$, with equality precisely when both daughters have zero momentum in that frame. Thus the mass threshold after photon absorption isThe bound is attainable kinematically by taking each daughter four-momentum equal to $P/2$; each then has the required rest mass. It immediately gives ${\alpha }_{\max }\to 1/2$ as $\mu \to 0$.

At this threshold both daughters move with the centre-of-momentum frame. The common laboratory velocity follows from $\mathbf{v}=c\mathbf{P}/P^0$:For $\mu =0$, its continuous limiting value is zero. At smaller allowed daughter rest masses, some of the centre-of-momentum energy appears as their relative kinetic energy, so their four-momenta need not be $P/2$.

Use the Minkowski metric $\eta =\mathrm{diag}(-1,1,1,1)$, $\hslash =c=1$, and $\square ={\partial }_a{\partial }^a=-{\partial }_t^2+{\nabla }^2$. The Proca field has nonzero mass $m$. Vary its action, using the fact that the gauge field strength is an antisymmetric second-rank tensor:The integration by parts discards a boundary term, with the variation fixed at the boundary. Thus the Euler-Lagrange field equation is the Proca equationThe minus sign on $m^2$ is required by the chosen Minkowski metric; after imposing the constraint below, the plane waves have positive energy $E^2=|\mathbf{q}{|}^2+m^2$.

For an unpolarized initial fermion, average over its two spin states and sum over the unobserved final spin:The initial scalar has only one spin state. One can evaluate this sum directly from normalized Dirac spinors, or use consistent fermion spin sums to express it as a trace. It is the squared sum of both tree scattering amplitudes, not the sum of their separate squares.

The relativistic scattering cross-section is obtained by integrating the Lorentz-invariant phase-space measure and dividing by the invariant flux factor:There is no identical-final-particle factor, because the outgoing scalar and fermion are distinct. All energies are positive, with $E_q^2=|\mathbf{q}{|}^2+M^2$ and $E_l^2=|\mathbf{l}{|}^2+m^2$.

Equivalently, in the centre-of-momentum frame set $s=-(p+k{)}^2$. Integrating the energy delta function in the relativistic two-body phase space givesFor this elastic process $k_f=k_i$, so integrate $\overline{|T{|}^2}/(64{\pi }^{2}s)$ over the full solid angle. This supplies the requested prescription without evaluating the angular integral.

The sources are independent odd Grassmann variables and anticommute with the Dirac field. Use $K={\gamma }^a{\partial }_a+M$ and the same mostly-plus gamma matrices and Dirac adjoint as in the interaction calculation. The inverse $K_F^{-1}$ is selected with vacuum Feynman i-epsilon prescription boundary conditions. With integral kernels and spinor contractions understood, the exponent can be completed to a square:Translations preserve the Berezin integral, so the Gaussian generating functional for a Dirac field isThe positions of the sources matter. To extract the Dirac propagator, use a left Grassmann derivative with respect to ${\bar{J}}_{\alpha }(x)$ followed by a right Grassmann derivative with respect to $J_{\beta }(y)$:The leading minus sign removes the two insertion factors $i^2$. It can also be checked by differentiating the quadratic source exponential: its ordered second derivative is $-iZ[0,0]K_F^{-1}$.

For the Fourier transform $e^{ip\cdot (x-y)}$, $K(p)=i/p+M$ and the Clifford algebra givesThereforeThis equals $⟨0|T\psi (x)\bar{\psi }(y)|0⟩$. The fermionic time ordering is explicitlywith the minus sign supplied by exchanging odd fields. The poles put positive energy forward in time and negative energy backward, which is the antiparticle contribution. Finally, $K_x{S}_F(x,y)=iI{\delta }^{(4)}(x-y)$ checks the numerator and overall sign. All formulas are distributional limits with the indicated boundary prescription.

For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator areThe Euler-Lagrange field equation is $(\square -m^2)\varphi =0$, or $({\partial }_t^2-{\nabla }^2+m^2)\varphi =0$. Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:The Heisenberg equation of motion then gives $\dot{\varphi }=\pi$ and $\dot{\pi }={\nabla }^2\varphi -m^2\varphi$, so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.

Resolve the free field into positive- and negative-frequency plane waves. With $E_{\mathbf{k}}=\sqrt{|\mathbf{k}{|}^2+m^2}$ and $k\cdot x=-E_{\mathbf{k}}t+\mathbf{k}\cdot \mathbf{x}$,Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent toFor example, the two mixed terms in $[\varphi ,\pi ]$ each supply half the Dirac delta function. Thus the normalization $1/\sqrt{2E_{\mathbf{k}}}$ is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with $a$ and $a^{†}$ its annihilation operator and creation operator.

Choose the Fock vacuum by $a(\mathbf{k})|0⟩=0$. Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yieldswhere a finite volume $V$ can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator isIn particular, $[H,a^{†}(\mathbf{k})]=E_{\mathbf{k}}{a}^{†}(\mathbf{k})$ and $[\mathbf{P},a^{†}(\mathbf{k})]=\mathbf{k}{a}^{†}(\mathbf{k})$. A one-particle state therefore has positive energy, momentum $\mathbf{k}$, and invariant mass $m$. A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.

A momentum eigenstate extends throughout space. A localized particle is described by a superposition such asIts wave packet evolves through the phase $e^{-i{E}_{\mathbf{k}}t}$; a narrow packet has group velocity $\mathbf{v}=\mathbf{k}/E_{\mathbf{k}}$, whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.

Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so $[\varphi (x),\varphi (y)]=0$ for spacelike $x-y$. Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator iswhich propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.

Finally, commuting creation operators implyThe multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are $(a^{†}{)}^n|0⟩/\sqrt{n!}$ with $n=0,1,2,\dots$: any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.