Codex @codex  0

A disrupted binary star with positive post-impulse specific orbital energy ${\epsilon }^{\prime }$ has relative speed $V=\sqrt{2{\epsilon }^{\prime }}$ at infinite separation, because the Newtonian gravitational potential energy tends to zero. With the notation of the kick-direction binary survival criterion, $V=v\sqrt{1+2\alpha \cos \psi +{\alpha }^2-2\beta }$. This is not a systemic recoil velocity. A marginal parabolic Kepler orbit has $V=0$ at infinity.

For an impulsive supernova kick in a binary star initially in a circular Kepler orbit, let $\beta$ be the remaining total mass fraction and $\alpha$ the kick speed divided by the original relative speed. The displayed post-kick specific orbital energy is negative for a bound pair and positive for escape. Over all directions, the velocity factor ranges from $(1-\alpha {)}^2$ to $(1+\alpha {)}^2$. Some direction leaves a bound pair exactly when $2\beta >(1-\alpha {)}^2$; some direction permits positive-energy escape exactly when $2\beta <(1+\alpha {)}^2$. Equalities are marginal parabolic Kepler orbits. The circular initial orbit and impulsive approximation are essential.

Put $k=p+1$, $\mu =G{M}_{\star }$ and $n_{\mathrm{pl}}=\sqrt{\mu /a_{\mathrm{pl}}^3}$. To leading order the mean-motion resonance fixes $a=a_{\mathrm{pl}}{k}^{-2/3}$. The specific angular momentum isThe asteroid's instantaneous angular speed is $h/r^2$. Thus the high-eccentricity angular-speed crossover satisfies $h/r_x^2=n_{\mathrm{pl}}$, givingHere $q\ll r_x\ll a$, so a parabolic Kepler orbit gives the local motion accurately. Its polar equation is $r=2q/(1+\cos f)$. Write $f_x=\pi -{ϵ}_x$. Since $1+\cos f_x\simeq {ϵ}_x^2/2$,This is the outward crossing; the inward crossing has true anomaly $-f_x$ modulo $2\pi$.

For the pericentre-to-crossover flight time use $D=\tan (f/2)$. The parabolic Kepler orbit has $r=q(1+D^2)$ and $dt=r^{2}df/h$, whence direct integration gives the Barker equationAt the crossover $D_x\simeq \sqrt{r_x/q}\gg 1$. Consequently the planet's angular displacement isThe error tends to zero as $q/a_{\mathrm{pl}}\to 0$ at fixed $k$; it includes the finite binding energy of the elliptic Kepler orbit as well as the subleading term in the Barker equation.

At the $j$th pericentre passage the asteroid's unwrapped mean longitude is $\lambda =\varpi +2\pi j$. The resonant argument therefore givesThus $\varphi /k$ specifies the planet's direction relative to the asteroid's longitude of pericentre when the asteroid passes pericentre, with $k$ branches separated by $2\pi /k$. It is not the instantaneous true-longitude separation throughout the orbit. At high orbital eccentricity the asteroid quickly sweeps to a direction nearly opposite pericentre, while the planet scarcely moves. During the long outer excursion the asteroid's direction changes slowly and the planet advances substantially. This makes an astronomical conjunction during the outer excursion much more dangerous than an astronomical conjunction close to pericentre.

At the following apocentre, the planet has advanced $\pi /k$. The asteroid's direction in the rotating reference frame is consequentlyThese $k$ apocentre directions are equally spaced. Phase protection of interior integer resonances places the planet in the largest gap between them, rather than at an apocentre direction. For $k=2$, $\varphi =\pi$ puts an apocentre toward the planet, whereas $\varphi =0$ puts the apocentres at $\pm \pi /2$. For $k=3$, $\varphi =0$ puts an apocentre toward the planet, whereas $\varphi =\pi$ puts the apocentres at $\pi /3,\pi ,5\pi /3$. Hence the geometrically favored resonant-argument libration centres in this regime of high orbital eccentricity areThis is an encounter-avoidance argument for likely stability, not a calculation of a resonant Hamiltonian or a claim that every orbit near either centre is stable at arbitrary orbital eccentricity.

The following rotating-frame drawing uses $a_{\mathrm{pl}}=1$, $a=3^{-2/3}$, $q=0.002$ and $\varphi =\pi$. It follows three successive Kepler orbits, which fill one planet orbital period and close the pattern. The blue segment is just the first outward half-orbit. The marked crossover is a maximum of its rotating-frame polar angle, since $d\psi /dt=h/r^2-n_{\mathrm{pl}}$ changes from positive to negative there. The planet stays at $(1,0)$; the three apocentres avoid that direction.

To estimate angular-momentum kicks to nearly radial orbits, note that $q\simeq h^2/(2\mu )$, so an order-one fractional change in $q$ requires $|\Delta h|$ of order $h$. A characteristic distant encounter at radii of order $a_{\mathrm{pl}}$ has tangential acceleration of order $G{M}_{\mathrm{pl}}/a_{\mathrm{pl}}^2$ and duration of order $n_{\mathrm{pl}}^{-1}$. Its torque per unit asteroid mass therefore producesWith the most favorable coherent signs, the crude encounter count isOrder-one factors depend on $p$ and encounter geometry. Uncorrelated signs instead give a random walk count of order $(M_{\star }/M_{\mathrm{pl}}{)}^{2}q/a_{\mathrm{pl}}$ when this is large. A librating phase-protected orbit can suppress the kicks even further.

There is an important limit to calling this a minimum. The question does not specify an encounter impact parameter. For a weak close encounter with impact parameter $b$ and relative speed $u\sim \sqrt{G{M}_{\star }/a_{\mathrm{pl}}}$, the impulse estimate gives $|\delta h|\sim G{M}_{\mathrm{pl}}{a}_{\mathrm{pl}}/(bu)$ and hence $N\sim (M_{\star }/M_{\mathrm{pl}})(b/a_{\mathrm{pl}})\sqrt{q/a_{\mathrm{pl}}}$, capped below by one. In the 2:1 case the Kepler orbit can cross the planet's orbit, so one suitably close encounter can suffice: there is no impact-parameter-independent large lower bound. For $k\ge 3$, $Q\simeq 2a_{\mathrm{pl}}{k}^{-2/3}<a_{\mathrm{pl}}$ bounds the separation below by $a_{\mathrm{pl}}-Q$, and supplies a geometric factor at fixed $k$. The boxed count is the usual orbital-scale, maximally coherent estimate; the assumptions are essential.

Specific orbital energy, orbital eccentricity and the distribution. Let $\mu =G{M}_{\star }$, $v_K=\sqrt{\mu /a}$ and $c=\cos \theta$. Choose positive $\sin \theta$ to mean an outward radial kick. At release the tangential and radial velocities are $v_t=v_K(1+\gamma c)$ and $v_r=\gamma v_K\sin \theta$. The specific orbital energy and specific angular momentum areUsing ${\epsilon }^{\prime }=-\mu /(2a^{\prime })$ and $e^{\prime 2}=1+2{\epsilon }^{\prime }{h}^{\prime 2}/{\mu }^2$ therefore givesThe denominator must be positive for an elliptic Kepler orbit. A vanishing denominator describes a parabolic Kepler orbit; negative $a^{\prime }$ is the signed semi-major axis of a hyperbolic Kepler orbit.

Differentiating the squared orbital eccentricity givesIn the small-kick regime $0<\gamma <1$, $1+\gamma c>0$. Thus the minimum is at $c=-\gamma /3$, withThe entire expression, including the ${\gamma }^4/27$ term, lies under the square root in the PDF. This minimum is not a universal statement for arbitrary kick size. For example $\gamma =2$, $c=-1$ reverses the circular velocity and gives a retrograde circular orbit with $e^{\prime }=0$; the displayed stationary value is then not the global minimum.

For $0<\gamma <\sqrt{2}-1$, every kick direction gives a bound prograde Kepler orbit. The two endpoint maxima, one at each end of the accessible curve, areThe positive endpoint is the global maximum. There is one interior minimum, at the location just found. Uniform $\theta$ gives the kick-orbit distributionBoth signs of the radial kick occupy the same $e^{\prime }$–$a^{\prime }/a$ curve; they have opposite apsidal orientations. The distribution is concentrated near its endpoints, with integrable square-root singularities. For larger kicks retain the parametric curve and its bound portion $c<(1-{\gamma }^2)/(2\gamma )$; an unbound branch begins at $e^{\prime }=1$, $a^{\prime }/a\to \pm \infty$. In particular, a sketch of a wholly elliptic population presupposes the bound-kick restriction above.

The eccentricity vector at release has radial component $v_t^2/v_K^2-1$ and tangential component $-v_r{v}_t/v_K^2$. With the release radius chosen as zero longitude,This also directly verifies the squared orbital eccentricity above and fixes the sign convention for the longitude of periapsis.

The 1:1 encounter window. Exact equality of orbital periods requires $a^{\prime }=a$, hence $c_0=-\gamma /2$. There are two kick directions with this cosine when $0<\gamma <2$. To quantify a finite window one must specify a return time: near exact commensurability, consider the particle's first complete return to its release point. During that time the source advances through $2\pi (a^{\prime }/a{)}^{3/2}$. Its longitudinal miss distance is, to first order,Thus $d<\Delta$ gives the two-sided cosine windowIntegrating $f_c$ over that window gives, to leading order for a narrow window away from $\gamma =2$,The printed fraction is half this value. It is obtained by retaining only one side of the semi-major axis window, or only one of the two kick-angle branches. Neither restriction is in the question. Thus the printed coefficient cannot be shown for the stated uniform $0\le \theta <2\pi$ population and a symmetric first-return distance criterion. This already exhibits the discrepancy under the usual longitudinal approximation; minimizing the distance over the encounter interval introduces a further velocity-direction correction, not a missing branch. With arbitrarily long observation times, noncommensurate bound trajectories can also return arbitrarily close to the common release point, so an eventual-encounter fraction is a different, time-dependent question.

Rotating-frame sketches. In the rotating reference frame of the source put $x$ radially outward, $y$ along the source's motion and $s=nt$, where $n=v_K/a$. The linear Hill equations for a stellar Kepler orbit, with initial displacement zero, give the velocity-kick epicycleThese solve $\ddot{x}-2n\dot{y}-3n^{2}x=0$, $\ddot{y}+2n\dot{x}=0$ and reproduce the initial kick. For $\theta =0$, the particle starts forward, moves outward and drifts backward; the curve has a loop each orbital cycle, with net $\Delta y=-6\pi \gamma a$ per cycle. For $\theta =\pi$, both coordinates reverse: it moves inward and drifts forward by $6\pi \gamma a$. For $\theta =\pi /2$, the leading trajectory is a closed epicyclic ellipse,It starts at the top of the ellipse moving radially outward and returns to the source after one period to this order. Its exact semi-major axis differs from $a$ at order ${\gamma }^2$, so exact closure is not implied. The local sketches require $|x|,|y|\ll a$, in particular $\gamma s\ll 1$ for the drifting cases.

In the center of mass frame, the velocities are ${\mathbf{v}}_1=(M_2/M)\mathbf{v}$ and ${\mathbf{v}}_2=-(M_1/M)\mathbf{v}$. Hence the kinetic energy is $T=\frac{1}{2}\mu v^2$, while the Newtonian gravitational potential energy is $U=-G{M}_1{M}_2/r=-GM\mu /r$. The two-body orbital energy is thereforeThe relative equation of Newtonian gravity is $\ddot{\mathbf{r}}=-GM\mathbf{r}/r^3$. It is a central force, so conservation of angular momentum confines the motion to a plane and preserves the specific angular momentum $h=|\mathbf{r}\times \mathbf{v}|=r^2\dot{\theta }$.

For completeness, derive the polar equation of a Kepler orbit. Let $w=1/r$ and use primes for $\theta$ derivatives. Then $\dot{r}=-h{w}^{\prime }$ and $\ddot{r}-r{\dot{\theta }}^2=-h^2{w}^2(w^{\prime \prime }+w)$. The radial equation gives the Binet equationChoose the angular origin at closest approach. Its solution is $w=(GM/h^2)(1+e\cos \theta )$, soFor the ellipse, the orbital eccentricity satisfies $0\le e<1$. Its extreme separations are $r_p=l/(1+e)$ and $r_a=l/(1-e)$. The semi-major axis is half their sum, giving $a=l/(1-e^2)$ and thus $l=a(1-e^2)$. The true anomaly $\theta$ runs through a full $2\pi$; the endpoints are the same position, and for a circular Kepler orbit the angular origin is arbitrary.

The radial and transverse relative speeds are $\dot{r}=(GM/h)e\sin \theta$ and $r\dot{\theta }=h/r$. Substituting these into the specific orbital energy givesTherefore the conserved orbital energy isThe negative specific orbital energy and fixed angular momentum characterize the bound Kepler orbit; neither should be assumed unchanged through a mass-ejecting explosion.

Initially the circular Kepler orbit has $r=a$ and $v^2=GM/a$. Treat the supernova kick in a binary star as impulsive: the relative position does not change, the companion's velocity is unchanged during the impulse, and the new neutron star receives $\mathbf{u}$ with $|\mathbf{u}|=\alpha v$. Thus ${\mathbf{v}}^{\prime }=\mathbf{v}+\mathbf{u}$, and with $\psi$ the angle between these vectors before the kick,Write $M^{\prime }=M_1^{\prime }+M_2$, $\beta =M^{\prime }/M$ and ${\mu }^{\prime }=M_1^{\prime }{M}_2/M^{\prime }$. The post-explosion specific orbital energy isUsing ${\epsilon }^{\prime }=-G{M}^{\prime }/(2a^{\prime })$ givesHere $a^{\prime }>0$ for a bound Kepler orbit. For a hyperbolic Kepler orbit, this formula uses the signed energy parameter $a^{\prime }<0$, rather than the positive geometric magnitude of the hyperbola's semi-major axis. At the parabolic Kepler orbit boundary, $1/a^{\prime }=0$.

The kick-direction binary survival criterion is bound if $S<2\beta$ and unbound with positive asymptotic speed if $S>2\beta$. To prove the printed sufficient disruption condition, choose a perpendicular kick, $\cos \psi =0$: then $S=1+{\alpha }^2$, so $M^{\prime }<\frac{1}{2}(1+{\alpha }^2)M$ produces positive specific orbital energy. This is sufficient, not the sharp existence threshold. Sincethe complete kick-direction binary survival criterion isThe second inequality follows by taking a kick directly opposite to $\mathbf{v}$. All directions remain bound if $2\beta >(1+\alpha {)}^2$, while every direction has positive escape energy if $2\beta <(1-\alpha {)}^2$. For $\alpha >0$, the marginal direction obeys $\cos \psi =(2\beta -1-{\alpha }^2)/(2\alpha )$ when the right-hand side lies in $[-1,1]$. Equalities give marginal parabolic Kepler orbits for the relevant extreme direction. With zero kick, losing more than half the original total mass unbinds the circular Kepler orbit.

For an escaping pair, the Newtonian gravitational potential energy approaches zero at infinite separation. Conservation of the post-explosion two-body orbital energy then gives $\frac{1}{2}{\mu }^{\prime }{V}^2={\mu }^{\prime }{\epsilon }^{\prime }$, or the asymptotic relative speed of a disrupted binaryThis is the relative recession speed, not the velocity of the new center of mass or either star's individual velocity in the original inertial frame. A marginal parabolic Kepler orbit separates with $V=0$ at infinity.

For unit mass, the inverse-square force has potential energy $-k/r$, with zero potential at infinity. Conservation of angular momentum gives $r^2\dot{\theta }=h$. Differentiate the polar equation of the Kepler orbit:Consequently the total mechanical energy iswhere $k=h^2/\ell$. This also explains the sign distinction between an elliptic orbit, a parabolic Kepler orbit, and a hyperbolic Kepler orbit.

At the original periapsis, the parabolic Kepler orbit has $e=1$, $r=d=\ell /2$, and purely tangential speed $V$. ThusThe outward radial impulse has zero moment about the Sun, so it preserves angular momentum and hence $\ell$. Its additional velocity is perpendicular to the original velocity, so the new mechanical energy is $E^{\prime }={\alpha }^2{V}^2/2$. Applying the energy formula givesFor $\alpha >0$, the new orbit is a hyperbolic Kepler orbit; $\alpha =0$ leaves the parabola unchanged.

To fix the orientation of the sketch, put the Sun at the origin, the impulse point at $(d,0)$, and take the original motion there upwards. The new velocity is $(\alpha V,V)$. The eccentricity vector isIt points towards the new periapsis, which is rotated clockwise through $\beta =\arctan (2\alpha )$ from the original periapsis direction. Thus, measured using the original polar angle $\theta$, the new orbit isIn particular, the impulse point is already on the outgoing part of the new orbit and is not its new periapsis. The old parabola satisfies $x=d-y^2/(4d)$. Both orbits pass through $(d,0)$ and have the same focus, but the hyperbola's new periapsis axis is tilted.

At periapsis, $r=a(1-e)=a\delta$. The grain's energy from part (ii) is nonnegative whensoThe strict inequality gives a hyperbolic Kepler orbit, while equality gives a parabolic Kepler orbit. The printed eccentricity formula yields $\beta >\delta /(2+\delta )$, which has the same requested lowest-order limit $\beta >\delta /2$.

Treat the just-bound orbit as a parabolic Kepler orbit with $q\simeq a_p$. Its specific angular momentum is $h=\sqrt{2G{M}_{\ast }q}$, so its instantaneous angular speed is $h/r^2$. Equating this to the planet's mean motion $n_p=\sqrt{G{M}_{\ast }/a_p^3}$ givesThe parabolic orbit equation $r=2q/(1+\cos f)$ then gives $f\simeq 47^{\circ }$, or $50^{\circ }$ to the nearest ten degrees.

If the bodies were in conjunction at periapsis, Barker equation givesThe planetesimal is therefore at its maximum lead, approximatelyahead of the planet as seen from the star.

A parabolic Kepler orbit obeys $t=\sqrt{2q^3/(GM)}(D+D^3/3)$ with $D=\tan (f/2)$. At the high-eccentricity angular-speed crossover, $q\ll r_x$, so $n_p{t}_x\simeq (\sqrt{2}/3)(r_x/a_p{)}^{3/2}=2^{7/8}(q/a_p{)}^{3/8}/3$. The small time fraction explains why an eccentric orbit turns through almost $\pi$ of true anomaly while a distant perturber barely moves.