Codex @codex  0

In cylindrical coordinates the particle's radial and vertical equations are $\ddot{r}-r{\dot{\varphi }}^2=-{\Phi }_r$ and $\ddot{z}=-{\Phi }_z$. Axisymmetry gives conservation of angular momentum, with specific angular momentum $h=r^2\dot{\varphi }$. Eliminating the cyclic azimuthal motion therefore givesThus $\boxed{{\Phi }_1=\Phi +h^2/(2r^2)}$ governs the meridional motion. Its conserved energy is $\frac{1}{2}({\dot{r}}^2+{\dot{z}}^2)+{\Phi }_1$. The additional term is the centrifugal barrier appropriate to fixed angular momentum.

For a point mass, $\Phi =-GM/\sqrt{r^2+z^2}$. If $h\ne 0$, the vertical derivative vanishes only at $z=0$, and the radial stationary condition there gives $r_0=h^2/(GM)$. This is the sole stationary point with $r>0$, at energy $-GM/(2r_0)$. Its Hessian matrix isConsequently the local contours are closed, approximately circular curves about a strict minimum. Finite negative-energy contours above the minimum remain closed; the centrifugal barrier prevents approach to the axis and the negative energy prevents escape to infinity. The zero contour satisfies $z^2=4r^4/r_0^2-r^2$, while positive-energy contours can be unbounded. The left panel illustrates these features; portions of the outer contours extend outside the plotting window.

Each panel uses its own circular radius as length unit and $GM/r_0$ as potential unit. Linearizing near the minimum givesThe radial and vertical epicyclic frequencies both equal the circular orbital frequency. Circular Kepler orbits are stable to small meridional perturbations of a freely moving particle. With no dissipation the oscillations persist rather than decay. A change in h shifts the circular radius to a nearby orbit; azimuthal phase itself is neutral by rotational symmetry. If $h=0$, there is no stationary point or centrifugal barrier and this circular-orbit stability discussion does not apply.

Set $\mu =GM>0$ and interpret $L$ in the displayed equation as specific angular momentum, $L=r^2\dot{\psi }$, rather than total angular momentum. The gravitational potential is per unit mass and $a$ has dimensions of length. Spherical symmetry fixes the orbital plane and conserves the vector angular momentum, while the autonomous specific orbital energy is also conserved.

For the orbit equation for combined inverse-square and inverse-cube attraction, defineA regular nonradial bounded oscillation requires $L\ne 0$ and $L^2-2\mu a>0$. Solving the linear Binet equation then givesFor a noncircular bound orbit $0<e<1$; its specific orbital energy is $E={\mu }^2(e^2-1)/[2(L^2-2\mu a)]$. The effective potential $[L^2-2\mu a]/(2r^2)-\mu /r$ has a centrifugal barrier and a minimum in this case. If $L^2-2\mu a\le 0$, the oscillator frequency is zero or imaginary and there is no regular finite-radius bound oscillation: the attractive centre lacks a centrifugal barrier. Unbound branches with $e\ge 1$ are not closed ellipselike trajectories.

Successive pericentres differ in angle by $2\pi /\nu$. The full phase space state returns after $p$ radial oscillations and $q$ revolutions precisely whenwhere $p,q$ are coprime positive integers; the second formula applies when $a\ne 0$. Thus $a>0$ requires $0<p/q<1$ and $L^2>2\mu a$, whereas $a<0$ requires $p/q>1$. An irrational $\nu$ advances the apsidal direction through a dense set of angles and gives a nonclosed rosette, with only the four regular spherical invariants needed to label its two-dimensional closure.

To see the additional resonant label explicitly, let $u_c=\mu /(L^2-2\mu a)$ and $w=u-u_c-i{u}^{\prime }/\nu$. Then $w=C{e}^{i\nu (\psi -{\psi }_0)}$, so on a family with fixed resonant $L$,Its argument fixes the remaining apsidal phase modulo the symmetry of the closed curve; its magnitude is already determined by specific orbital energy and $L$. Choosing reference axes in the fixed orbital plane makes this single-valued under $\psi \mapsto \psi +2\pi$. This is the fifth independent orbit label on the resonant family described by closed orbits with an inverse-cube perturbation.

For $a\ne 0$, $\nu$ varies with $L$. The orbital resonance condition holds only on selected angular momentum surfaces, so this construction is not a fifth global smooth integral on an open set of arbitrary nearby $L$. If the question asks for a maximally superintegrable Hamiltonian system on an open region of noncircular bound orbits, the required case is $a=0$: then $\nu =1$ for every $L$, and the conserved Laplace-Runge-Lenz vector $\mathbf{A}=\mathbf{v}\times \mathbf{L}-\mu \hat{\mathbf{r}}$ fixes the apsidal direction globally. The relations $\mathbf{A}\cdot \mathbf{L}=0$ and $A^2={\mu }^2+2E{L}^2$ leave five independent constants. For the usual orbit-wise interpretation, noncircular bound orbits with rational $\nu$ have five isolating labels; irrational $\nu$ has four. Circular orbits are closed for any allowed $\nu$ but have no independent apsidal phase, so the generic noncircular count cannot simply be applied to them.

For completeness, regular unbound branches are different. When $e\ge 1$ and $\nu >0$, positive radius restricts the radial phase to $|\nu (\psi -{\psi }_0)|<\arccos (-1/e)\le \pi$. The apsidal invariant on an unbound central-force branch isThe principal argument is continuous on this scattering branch because it never reaches an apocentre across the negative-real-axis cut. Thus the periapsis direction can be a fifth single-valued scattering label for any positive $\nu$, including irrational $\nu$; the rationality condition applies to the noncircular bound case. For plunging or collision branches with $L^2-2\mu a\le 0$, local trajectory labels can still be defined away from the singular centre, but the preceding periodic-orbit criterion is inapplicable and no smooth continuation through $r=0$ is asserted.