Codex @codex  0

For a circular Kepler orbit, neglecting stellar spin, the orbital angular momentum of a binary star is $J=\mu a^2\Omega =\mu \sqrt{GMa}$, where $M$ is total mass, $\mu$ is the reduced mass, and $a$ is separation. Kepler's third law also gives $J=G^{2/3}{P}^{1/3}{M}_1{M}_2/[(2\pi {)}^{1/3}{M}^{1/3}]$. Distances from the center of mass are $a{M}_2/M$ and $a{M}_1/M$; adding their individual orbital angular momenta proves the formula.

For fixed component masses, total mass $M=M_1+M_2$ and reduced mass $\mu =M_1{M}_2/M$, in the weak-field slow-motion circular orbits, $E=-GM\mu /(2a)$ and $J=\mu \sqrt{GMa}$ obey $dE/dJ=\Omega$. The gravitational-wave energy and angular-momentum balance makes the secular loss tangent to this circular family. Substituting $v^2=GM/a$ into the instantaneous quadrupole luminosity of a Kepler binary and differentiating $E$ gives the displayed inspiral equation. Integration givesThe orbit is quasicircular, with small radial drift. The formal coalescence time is not a valid extension of the weak-field point-mass model into the final strong-field or stellar-contact phase.

For a binary star viewed far from its centre of mass, let $\mathbf{r}$ be the separation and $\mu$ the reduced mass, $M=M_1+M_2$ the total mass, $r=|\mathbf{r}|$ and $x=|\mathbf{x}|$. The Taylor expansion of the point-mass Newtonian gravitational potential has zero dipole because ${\sum }_A{M}_A{\mathbf{x}}_A=0$. Its second moment is ${\sum }_A{M}_A{x}_{Ai}{x}_{Aj}=\mu r_i{r}_j$, soThis holds for an instantaneous separation in any orbit, not only a circular orbit. The mass quadrupole moment convention $Q_{ij}=\mu (r_i{r}_j-r^2{\delta }_{ij}/3)$ gives ${\Phi }_2=-3G{Q}_{ij}{x}_i{x}_j/(2x^5)$.

For a slowly evolving circular binary star with separation $a$, reduced mass $\mu$ and orbital angular frequency $\Omega$, the leading gravitational wave losses satisfy $\dot{E}=\Omega \dot{J}$. One direct check uses the standard quadrupole angular-momentum loss lawwhere $Q$ is the mass quadrupole moment and ${ϵ}_{ijk}$ is the Levi-Civita symbol. For $\mathbf{r}=a(\cos \Omega t,\sin \Omega t,0)$, put $A=\mu a^2$; then $Q_{xx}=A(1/6+\cos (2\Omega t)/2)$, $Q_{yy}=A(1/6-\cos (2\Omega t)/2)$, $Q_{xy}=A\sin (2\Omega t)/2$, and $Q_{zz}=-A/3$. Substitution gives ${\dot{J}}_z=-32G{A}^2{\Omega }^5/(5c^5)$ and the quadrupole formula gives $\dot{E}=-32G{A}^2{\Omega }^6/(5c^5)$. Their ratio proves the balance relation. The same relation follows from the rotating wave's angular harmonic number two and frequency $2\Omega$. The additional angular-momentum flux law, not the energy flux alone, is needed to justify preservation of secular circularity.

For a Newtonian Kepler orbit, let $M=M_1+M_2$ be the total mass and $\mu =M_1{M}_2/M$ the reduced mass; put $k=GM$, $\mathbf{n}=\mathbf{r}/r$, $u=\dot{r}$ and ${\mathbf{v}}_{\perp }=\dot{\mathbf{r}}-u\mathbf{n}$, with $v^2=\dot{\mathbf{r}}\cdot \dot{\mathbf{r}}$. In the convention $q_{ij}=\mu (3r_i{r}_j-r^2{\delta }_{ij})/2$, differentiating the acceleration $\ddot{\mathbf{r}}=-k\mathbf{r}/r^3$ givesThe two terms have zero cross tensor contraction, with squared norms $6u^2$ and $72v_{\perp }^2$. Therefore ${\stackrel{...}{q}}_{ij}{\stackrel{...}{q}}_{ij}=72{\mu }^2{k}^2(v^2-11u^2/12)/r^4$. Substitution into the quadrupole formula in this convention, $L=4G{\stackrel{...}{q}}_{ij}{\stackrel{...}{q}}_{ij}/(45c^5)$, proves the luminosity. It is nonnegative since $v^2-11u^2/12=v_{\perp }^2+u^2/12$. The formula uses a weak gravitational field, slow motion and leading radiation order; orbital averaging gives a secular luminosity.

By Newton's third law, the force on the second particle is $-F_{12}$. For $M=m_1+m_2$ and centre of mass $R=(m_1{r}_1+m_2{r}_2)/M$, Newton's second law gives $M\ddot{R}=F_{12}-F_{12}=0$. ThusThe centre moves on a straight line with constant velocity; zero velocity is allowed. For the relative position $r=r_1-r_2$, subtraction of the two equations givesHence the two-body problem reduces to a single particle of reduced mass $\mu$, together with the elementary centre motion. Reconstruct the positions as $r_1=R+(m_2/M)r$, $r_2=R-(m_1/M)r$.

Yes: the two equal masses can follow the same fixed circle in diametrically opposite positions. Put the stationary centre of mass at the circle's center and choose tangential velocities with the same sense of rotation. If the circle has radius $a$, the separation is $2a$ and the mutual gravitational force is directed toward that center, with magnitude $G{m}^2/(4a^2)$. The circular orbit condition is $ma{\omega }^2=G{m}^2/(4a^2)$, so an equal-mass circular binary hasThese initial data maintain the opposite positions and give the same constant angular speed for both particles.

Let $M=M_1+M_2$, and let $\mu =M_1{M}_2/M$ be the reduced mass. The stellar distances from the center of mass are $a_1=a{M}_2/M$ and $a_2=a{M}_1/M$. For a circular Kepler orbit, ${\Omega }^2=GM/a^3$, so summing the two orbital contributions gives the circular-binary orbital angular momentumThe separation $a$ is inside the square root. This also has the required dimensions of angular momentum.

For the homologous rotating collapse, label a fluid element by $s=r/R$ and its polar angle $\theta$. Its enclosed mass $m(s)$ is constant during stellar homology, as are the dimensionless density profile and the inertia coefficient $\alpha$. Conservation of angular momentum and solid-body rotation giveThe magnitude of the centrifugal acceleration is ${\Omega }^{2}r\sin \theta$, while the Newtonian gravitational field has magnitude $Gm(s)/r^2$. ThereforeUsing only the radial component of centrifugal force replaces $\sin \theta$ by ${\sin }^2\theta$ and leaves the scaling unchanged. The centrifugal force vanishes on the rotation axis; the central point is understood through the limiting field rather than a ratio of two zero forces.

At the equator of the cloud, critical rotation of a spherical cloud means ${\Omega }_c^2{R}_c=GM/R_c^2$, where $R_c=R_{\mathrm{crit}}$. ConsequentlyImmediately after the first fission, each daughter has mass $M/2$ and radius $a/2$ because the spheres touch. Their orbital moment of inertia is $M{a}^2/4$, while their combined spin moment of inertia is $\alpha M{a}^2/4$. With a common spin and orbital frequency ${\Omega }_f=\sqrt{GM/a^3}$, the synchronous fission model for binary formation givesThe common frequency can change during fission; corotation requires equal instantaneous frequencies, not an unchanged frequency from before the rearrangement. Equating the two values of $J$ yieldsFor a nonzero positive inertia coefficient, the necessary and sufficient condition in this algebraic model for $a<R_c$ isFor example, a moment of inertia of a uniform solid sphere has $\alpha =2/5$ and gives $a/R_c=64/49>1$; it fails the required compact-fission condition. A sufficiently centrally concentrated cloud can have smaller $\alpha$.

For the next collapse, neglect exchange of spin with the unchanged outer orbit, so each daughter's spin angular momentum is separately conserved. Immediately after the first fission that spin isFor a daughter of mass $m=M/2$ to reach critical rotation of a spherical cloud at radius $R_{c,d}$, the same relation gives $S_d=\alpha m\sqrt{Gm{R}_{c,d}}$. HenceEquivalently, its centrifugal-to-gravity ratio starts at $1/4$ when its radius is $a/2$ and reaches one after contraction by a factor four. Applying the same fission rule to this daughter produces an inner pair with separationCorotation at this second fission is local to each newly formed inner pair; it is not a single common frequency for the entire four-star hierarchy.

This spin assumption matters. If tidal locking instead kept each shrinking daughter synchronized to the fixed outer orbital period throughout the intervening collapse, its angular velocity would remain fixed. Its centrifugal-to-gravity ratio would then scale as $R_d^3$ and decrease, so it would never reach the proposed second fission. This is a counterexample to extending the corotation assumption through the whole contraction. The printed ratio describes the separately spin-conserving interpretation of the repeated fission hierarchy.

The model can generate a compact hierarchy algebraically, but is not a general physical account of multiple-star formation. In the allowed range $\alpha <1/3$, one has $a^{\prime }/a<1/8$, suggesting well-separated inner and outer scales. However, rapidly rotating gas deforms, touching daughters are tidally distorted, and pressure, gas flows, dissipation and spin-orbit torques cannot generally be ignored. The assumed identical profiles, equal mass splits, instantaneous corotation and later torque-free contractions are restrictive. Star formation can involve gravitational fragmentation and redistribution of angular momentum; the toy budget neither proves that fission occurs nor predicts the population of real multiple systems.

Take $\mathbf{r}={\mathbf{x}}_1-{\mathbf{x}}_2$, $r=|\mathbf{r}|$ and $M=M_1+M_2$. Newton's law of universal gravitation gives ${\ddot{\mathbf{x}}}_1=-G{M}_2\mathbf{r}/r^3$ and ${\ddot{\mathbf{x}}}_2=G{M}_1\mathbf{r}/r^3$. Subtracting yields the relative two-body equationThe reduced mass is $\mu =M_1{M}_2/M$. The orbital energy and angular momentum in the center of mass frame areDifferentiation givesThus both are conserved. The eccentricity vector isFor $\mathbf{h}=\mathbf{J}/\mu$, one has $\ddot{\mathbf{r}}\times \mathbf{h}/(GM)=\dot{\mathbf{r}}/r-\mathbf{r}(\mathbf{r}\cdot \dot{\mathbf{r}})/r^3=d(\mathbf{r}/r)/dt$, so $\dot{\mathbf{e}}=0$. In particular the orbital eccentricity is constant, withFor a bound Kepler orbit, $E=-GM\mu /(2a)$ and $J^2=GM{\mu }^{2}a(1-e^2)$.

For the far-field multipole expansion, set the center of mass to zero. Then ${\mathbf{x}}_1=(M_2/M)\mathbf{r}$ and ${\mathbf{x}}_2=-(M_1/M)\mathbf{r}$. At $x=|\mathbf{x}|\gg r$, expand each point-mass Newtonian gravitational potential:Repeated indices are summed. The dipole vanishes since ${\sum }_A{M}_A{\mathbf{x}}_A=0$, and ${\sum }_A{M}_A{x}_{Ai}{x}_{Aj}=\mu r_i{r}_j$. The second-order gravitational quadrupole potential of a point-mass binary is thereforeBoth tensors specified in the question are trace-free. Direct contraction givesso to the requested orderFor equal masses the cubic multipole also vanishes, but it need not vanish for unequal masses.

To evaluate the quadrupole formula, use $k=GM$, $\mathbf{v}=\dot{\mathbf{r}}$, $\mathbf{n}=\mathbf{r}/r$, $u=\dot{r}=\mathbf{n}\cdot \mathbf{v}$, and $\mathbf{w}=\mathbf{v}-u\mathbf{n}$. The acceleration and its derivative areThe third derivative of $r_i{r}_j$ is ${\dot{b}}_i{r}_j+r_i{\dot{b}}_j+3b_i{v}_j+3v_i{b}_j$. Its trace is $d^3(r^2)/d{t}^3=-2ku/r^2$. Substituting in $q_{ij}=\mu (3r_i{r}_j-r^2{\delta }_{ij})/2$ givesBecause $\mathbf{n}\cdot \mathbf{w}=0$, the cross tensor contraction is zero. The squared norms of the two bracketed pieces are $6u^2$ and $72w^2$, respectively. Thusand the instantaneous energy loss isThe parenthesis is $w^2+u^2/12\ge 0$, as required for positive radiated power. This is the instantaneous quadrupole luminosity of a Kepler binary with loss sign for the orbital energy.

A slowly evolving initially circular binary is expected to follow a quasi-circular inspiral at leading radiation order. One needs angular-momentum loss as well as energy loss for this conclusion: the rotating quadrupole has frequency $2\Omega$ and azimuthal harmonic number two, so its fluxes satisfy the gravitational-wave energy and angular-momentum balance $\dot{E}=\Omega \dot{J}$. Along the circular family,The flux relation is precisely the tangent condition for remaining on that family; equivalently it keeps $e^2=1+2E{J}^2/(G^2{M}^2{\mu }^3)$ equal to zero at leading secular order. The shrinking orbit is not an exact fixed-radius circle: its small radial drift is neglected at this adiabatic order.

For a circular orbit of instantaneous separation $a$, $u=0$ and $v^2=GM/a$. ThereforeDifferentiating $E=-GM\mu /(2a)$ at fixed masses now givesWriting $C=64G^3{M}^2\mu /(5c^5)$, the circular gravitational-wave inspiral obeys $a^4=a_0^4-4Ct$. The formal point-mass coalescence time is $a_0^4/(4C)$, and $\dot{P}/P=(3/2)\dot{a}/a$ gives a decreasing orbital period and increasing gravitational-wave frequency.

Gravitational radiation tightens a detached close binary and becomes more effective at small separation. It can bring a stellar donor into Roche-lobe overflow or drive compact objects toward merger. Finite radii, tides and mass transfer can then alter the evolution; the fixed-mass inspiral law is not the entire evolution law once these matter. Near merger the weak-field, slow-motion quadrupole formula also ceases to be sufficient.

Use the paper's positive binding-energy convention $U>0$; the physical Newtonian gravitational potential energy is $-U$. Assume positive masses, an isolated system, and no collision during the time interval under consideration. Differentiate half the scalar moment of inertia, $I$, twice:Group the force term into unordered pairs. The force on particle $j$ from $k$ is $-G{m}_j{m}_k({\mathbf{r}}_j-{\mathbf{r}}_k)/r_{jk}^3$; the two contributions to the virial sum are thereforeAdding them proves the instantaneous virial theorem identityNo time average is needed for this form. A vanishing average of $\ddot{I}$ would require additional boundedness assumptions.

For the pairwise moment-of-inertia identity, expand the squared pair distances:The last term vanishes in the centre of mass frame, givingLet $C={\sum }_{j<k}{m}_j{m}_k$, and label the two smallest masses $m_{(1)},m_{(2)}$. If $r=\min r_{jk}$, every term in $U$ is at most $G{m}_j{m}_k/r$, so $U\le GC/r$. One pair attains $r$, and its mass product is at least $m_{(1)}{m}_{(2)}$, so $U\ge G{m}_{(1)}{m}_{(2)}/r$. HenceThese constants show the minimum-separation binding-energy bounds: inverse binding energy is comparable to the nearest-pair distance, independently of configuration.

Similarly, every separation is at most $R=\max r_{jk}$ and at least one pair attains $R$. The pairwise identity gives the maximum-separation inertia boundsBoth lower bounds rely on actual extremal separations, rather than an arbitrary numerical lower or upper estimate for all the pair distances.

Negative energy does not imply a positive lower bound on the minimum separation. The printed request is false if it is meant to exclude close approaches or collisions; the trivial bound $r\ge 0$ says nothing of that kind. In fact $E<0$ and $T\ge 0$ give $U=T-E\ge |E|$, which, combined with $rU\le A_0$, proves the negative-energy minimum-separation upper boundThis ensures at least one close pair, not confinement of every particle or prevention of collision.

An explicit negative-energy gravitational collision is a pair initially at rest with separation $a$. Its total energy is $E=-G{m}_1{m}_2/a<0$. For reduced mass $\mu =m_1{m}_2/(m_1+m_2)$, its relative radial equation isThe separation decreases to zero in the finite timeBefore that time the motion is a regular Newtonian solution, yet its separation has no positive infimum. Even at fixed negative energy, bound Kepler orbits with eccentricity approaching one have arbitrarily small pericentre distance. Thus a missing angular momentum or collision-exclusion hypothesis cannot be supplied by the energy sign alone.

For $E>0$, the instantaneous virial theorem gives $\ddot{I}=T+E\ge E$. Integrating twice from any regular time $t_0$ givesUsing $I\le A_1{R}^2$, obtain the positive-energy linear diameter growth boundwhenever the numerator is nonnegative. Consequently, for a solution existing for arbitrarily large future times,This is the precise at-least-linear expansion statement. It does not assert that $R$ is monotone at every instant, nor that all individual particles escape. The large-time conclusion presupposes continued existence of the trajectory; the inequality itself holds on every nonsingular time interval.

Write $M=M_1+M_2$, $a=a_1+a_2$, and $\mu =M_1{M}_2/M$, the reduced mass. In the center of mass frame, $a_1=a{M}_2/M$ and $a_2=a{M}_1/M$. Both components of the circular orbit have the same angular velocity $\Omega$. Thus their total orbital angular momentum isUsing Kepler's third law, ${\Omega }^2=GM/a^3$, and the orbital period $P=2\pi /\Omega$, gives the circular-binary orbital angular momentum

Take ${\dot{M}}_1<0$, so ${\dot{M}}_2=-f{\dot{M}}_1$ and $\dot{M}=(1-f){\dot{M}}_1$. A parcel in an isotropic stellar wind has, on average, the donor star's orbital velocity. Its wind velocity relative to the donor star averages to zero, so its mean specific orbital angular momentum about the center of mass is $j_1=a_1^2\Omega$. The escaping mass per unit time is $-(1-f){\dot{M}}_1$. With negligible stellar spin, no additional wind torque, and internal redistribution of the angular momentum of retained matter, donor-wind angular-momentum loss therefore givesIsotropy is in the donor star's frame: it does not make the escaping orbital angular momentum vanish. This is also different from isotropic re-emission from a binary star, where matter escapes from the accretor.

Logarithmically differentiate the expression for $J$ along a slowly evolving sequence of circular orbits:Substitution of the donor-wind angular-momentum loss and mass rates givesFor constant $f$, the last expression is $-3fd\log M_1/dt-3d\log M_2/dt-2d\log M/dt$. Hence the period invariant for constant-fraction donor-wind mass loss isFor a time-dependent $f$, the differential equation still holds, but this integrated power law does not. At $f=1$ it reduces to the period-product invariant for conservative mass transfer; at $f=0$, $M_2$ is constant and $P{M}^2$ is constant, as in Jeans-mode mass loss.

Set the binary mass ratio $q=M_1/M_2$. Since $a^3=GM{P}^2/(4{\pi }^2)$, the Kepler third law and the preceding orbital period derivative implyThe specified approximation to the Roche lobe gives $\log R_L=\log (0.46)+\log a+\frac{1}{3}(\log M_1-\log M)$. Consequently the donor-wind Roche-lobe response isThis is a local Roche-lobe radius response exponent, so it remains valid instantaneously even if $f$ varies.

The stellar radius response exponent of $R_1\propto M_1^{-n}$ is ${\zeta }_{\ast }=-n$. Maintaining Roche-lobe overflow in exact contact requires ${\dot{R}}_1/R_1={\dot{R}}_L/R_L$, yieldingFor a precise feasibility of donor-wind binary contact test, put ${\zeta }_0=\frac{1}{3}-\frac{4q}{3(1+q)}$ and ${\zeta }_1=2q-\frac{5}{3}$. The Roche-lobe radius response exponent is ${\zeta }_L=(1-f){\zeta }_0+f{\zeta }_1$. Thus a permitted contact fraction exists exactly whenUnless $A={\zeta }_1-{\zeta }_0=2q+4q/[3(1+q)]-2$ vanishes, the required fraction is $f=(-n-{\zeta }_0)/A$. At $q=(\sqrt{10}-1)/3$, both limiting Roche-lobe radius response exponents coincide: contact is possible for any $f$ only if $n=5/3-2q$, and for no $f$ otherwise.

The sign of the overfilling change resolves the failure of contact:If ${\zeta }_{\ast }>\max ({\zeta }_0,{\zeta }_1)$, mass loss makes the donor star underfill its Roche lobe: the system detaches and contact-driven transfer stops. If ${\zeta }_{\ast }<\min ({\zeta }_0,{\zeta }_1)$, mass loss increases the overfilling: transfer is destabilized, and rapid transfer or a common envelope may result. Calling this a failure of dynamical stability of binary mass transfer specifically requires $-n$ to be the adiabatic stellar radius response exponent; a thermal or equilibrium response concerns a different timescale. Additional angular momentum losses or intrinsic stellar expansion can change these outcomes by changing the contact equation.

For one target galaxy, an encounter with relative speed $u$ sweeps a cylinder of volume $\pi R^{2}udt$ in time $dt$. Multiplication by the number density gives the encounter rate $\Gamma =\pi R^{2}N⟨v_{\mathrm{rel}}⟩$. Thus the geometric galaxy-encounter rate givesThis is the expected number of mergers in the geometric model. For independent encounters, the Poisson process probability of at least one is $P_{\ge 1}=1-e^{-\mu }$, so the displayed linear probability is valid for rare encounters, $\mu \ll 1$. There is no factor of one-half for a single target; that factor would enter a count of distinct pairs across the whole population.

For an illustrative group environment, take $R=20\mathrm{kpc}=0.02\mathrm{Mpc}$, $N\sim 1{\mathrm{Mpc}}^{-3}$, $⟨v_{\mathrm{rel}}⟩\sim 300\mathrm{km}{\mathrm{s}}^{-1}$ and a Hubble time of order $10^{10}$ years, or $3\times 10^{17}\mathrm{s}$. The path length is about $9\times 10^{19}\mathrm{km}\simeq 3\mathrm{Mpc}$, using the stated distance conversion. HenceThe estimate scales linearly with environment density and quadratically with the adopted merger radius. It is an order-of-magnitude model estimate, not a universal observed merger fraction; reducing the illustrative density by a factor of one hundred reduces the estimate by the same factor.

For the tidal calculation, use the relative potential convention in which acceleration is $\nabla \psi$. Expand the point-mass potential about the target centre:The constant does not exert a force. The linear term accelerates the target centre and is subtracted in its freely falling frame. The remaining leading quadrupolar point-mass tidal potential isThe condition $r<r_p$ permits the convergent expansion; using only this term is the leading tidal approximation, accurate when the target radius is small compared with the closest separation.

The given impact and velocity directions imply ${\mathbf{r}}_p(t)=(p,0,vt)$. This trajectory is in the $x,z$ plane, correcting the incompatible printed $x,y$ plane. In the impulse approximation, hold the stellar position fixed while integrating the tidal tensor:For $s=vt/p$, the needed integrals arewith the mixed integral zero by oddness. Thus the integrated tidal tensor of a straight-line flyby is $2G{m}_p\mathrm{diag}(1,-1,0)/(v{p}^2)$ andThere is stretching along the impact direction, compression in the other transverse direction and no net kick along the path.

Write $\mathbf{u}$ for the star's initial velocity, distinguishing it from the perturber speed $v$. Its specific energy change is $\mathbf{u}\cdot \Delta \mathbf{v}+\frac{1}{2}|\Delta \mathbf{v}{|}^2$. The no-correlation assumption removes the first term on averaging; it is not an identity for every individual star. The mean specific heating at a given position is thereforeFor a spherical target, the mass-weighted averages satisfy $⟨x^2⟩=⟨y^2⟩=⟨z^2⟩=⟨r^2⟩/3$. The tidal impulse heating of a spherical galaxy is consequentlyHere $⟨r^2⟩=m_g^{-1}\int r^2\rho d^{3}r$ is assumed finite. Notice the change from specific energy to total energy after multiplying by $m_g$.

For two equal targets, each gains the same internal energy, so $\Delta U_{\mathrm{tot}}=8G^2{m}_g^3⟨r^2⟩/(3v^2{p}^4)$. Their relative-motion reduced mass is $m_g/2$. If $v$ denotes their relative speed at infinity, their initial orbital energy is $E_{\mathrm{orb}}=\frac{1}{2}(m_g/2)v^2=m_g{v}^2/4$. Internal tidal heating comes from this orbital energy. In the tidal capture of galaxies model, capture occurs if $\Delta U_{\mathrm{tot}}>E_{\mathrm{orb}}$, which gives the equal-mass tidal-capture thresholdCapture allows further passages and eventual merger in this simplified picture.