Codex @codex  0

The Oort constants describe local differential galactic rotation: $A=-R{\Omega }^{\prime }/2$ and $B=-\Omega -R{\Omega }^{\prime }/2$. Thus $\Omega =A-B$, the radial epicyclic frequency obeys ${\kappa }^2=-4\Omega B$, and the epicyclic ellipse has axis ratio $\sqrt{-B/(A-B)}$.

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 a stationary axisymmetric gravitational potential, conservation of angular momentum gives $L_z=R^2\dot{\varphi }$. Eliminating $\dot{\varphi }$ introduces the effective potentialFor an equatorial circular orbit, radial balance is ${\partial }_R{\Phi }_{\mathrm{eff}}(R_c,0)=0$, givingVertical balance also requires ${\Phi }_{,z}(R_c,0)=0$.

For epicyclic motion, assume a twice differentiable stationary gravitational potential symmetric under $z\mapsto -z$, small displacements $|x|,|z|\ll R_c$, and a stable circular orbit. Choose the epicyclic guiding center using the conserved $L_z$. Reflection symmetry makes ${\Phi }_{,Rz}(R_c,0)=0$, eliminating radial-vertical coupling at first order. Expanding the equations about $(R_c,0)$ givesThe derivatives are evaluated at the guiding centre, and stability requires ${\kappa }^2,{\nu }^2>0$. Without midplane symmetry, a mixed Hessian term can couple the two oscillations. The radial epicyclic frequency and vertical epicyclic frequency are the frequencies of these independent linear oscillations.

Set $\Omega =L_z/R_c^2$. Along the family of equatorial circular orbits, ${\Phi }_{,R}=R{\Omega }^2$. Differentiating this relation and adding the centrifugal contribution givesTo interpret the common frequency range, let $q=d\log v_c/d\log R$. Since $v_c=R\Omega$, one has ${\kappa }^2=2(1+q){\Omega }^2$. A Keplerian disk has $q=-1/2$ and $\kappa =\Omega$, a flat galaxy rotation curve has $q=0$ and $\kappa =\sqrt{2}\Omega$, and solid-body rotation has $q=1$ and $\kappa =2\Omega$. Typical galactic rotation curves lie between these slopes. Thus $\Omega \lesssim \kappa \lesssim 2\Omega$ is a useful galactic range, not a theorem for every possible axisymmetric potential. As a precise sufficient example, epicyclic frequency bounds for monotone spherical density follow from ${\kappa }^2={\Omega }^2+4\pi G\rho$ and $0\le \rho \le 3M/(4\pi R^3)$.

Use a Cartesian frame rotating with the epicyclic guiding center, with $x$ pointing radially outwards and $y=R_c(\varphi -\Omega t)$ in the direction of rotation. To first order, conservation of angular momentum givesThe radial harmonic oscillator solution and its azimuthal integral areA constant in $y$ merely changes the azimuthal origin of the guiding centre. The epicyclic ellipse obeys $x^2/X^2+y^2/Y^2=1$. In the usual frequency range it is elongated azimuthally, and the star travels clockwise when $x$ points right and $y$ up: its small motion relative to the prograde guiding centre is retrograde.

For the Oort constants, subtract the defining expressions to obtain $\Omega =A-B$ and insert $R{\Omega }^{\prime }=-2A$ into the radial epicyclic frequency formula:The solar-neighbourhood values give $\Omega =26.5\mathrm{km}{\mathrm{s}}^{-1}\mathrm{kp}{\mathrm{c}}^{-1}$, $\kappa =\sqrt{1272}\mathrm{km}{\mathrm{s}}^{-1}\mathrm{kp}{\mathrm{c}}^{-1}$, andThe solar epicyclic ellipse is therefore about $1.49$ times longer azimuthally than radially.

A complete radial oscillation takes $T_r=2\pi /\kappa$. The oscillatory part of $\dot{\varphi }$ has zero average over this interval, so the epicyclic azimuthal advance isThis describes the advance between consecutive radial turning points of the same type; it need not be a full $2\pi$ revolution. For the Sun,The azimuthal advance estimate uses the same linear epicyclic motion approximation as the axis ratio.

A small planar velocity kick on a stellar circular orbit produces a local epicyclic motion in the source's rotating reference frame. With outward $x$, forward $y$, and initial displacements zero, Hill equations give $x/(\gamma a)=2\cos \theta (1-\cos nt)+\sin \theta \sin nt$ and $y/(\gamma a)=\cos \theta (4\sin nt-3nt)+2\sin \theta (\cos nt-1)$. Tangential kicks combine an epicycle with Keplerian shear; a radial kick gives a closed leading-order epicyclic ellipse.