Hyperbolic Plane Pendulum Dynamics

• The hyperbolic plane pendulum is a system describing particle motion on a hyperbolic plane with a cosh-based potential that highlights non-Euclidean geometric effects.
• Its classical analysis uses hyperbolic polar coordinates and symmetry reduction to derive effective one-degree-of-freedom dynamics, resulting in purely librational motion.
• The quantum counterpart, based on the Razavy Hamiltonian, exhibits conditional quasi-exact solvability with closed-form eigenstates and rich spectral structure.

The hyperbolic plane pendulum is a classical and quantum mechanical system describing the motion of a particle constrained to the hyperbolic plane (specifically, the upper sheet of the two-sheeted hyperboloid in Minkowski space), subject to a potential linear in the ambient coordinate. This system is a natural analogue of the spherical or planar pendulum, with crucial differences arising from the underlying non-Euclidean geometry and the behavior of the hyperbolic cosine potential. Its study connects nonlinear classical dynamics, Hamiltonian reduction, and special cases of conditional quasi-exact solvability in quantum mechanics.

1. Classical Hyperbolic Plane Pendulum: Geometry and Equations of Motion

The configuration space is the hyperbolic plane $\mathbb{H}^2$ embedded in Minkowski space $\mathbb{R}^{2,1}$, defined by $$\langle x, x \rangle_L = x_0^2 - x_1^2 - x_2^2 = 1, \quad x_0 > 0,$$ with tangent vectors $y$ at $x$ satisfying the constraint $\langle x, y \rangle_L = 0$. The system is subject to a potential $V(x) = m g x_0$, representing a uniform "gravitational" field along the $x_0$-axis. The Lagrangian, incorporating the induced metric, is $$L(x, y) = \frac{1}{2} m \langle y, y \rangle_L - m g x_0,$$ subject to the holonomic constraint $\langle x, x \rangle_L = 1$ (Santoprete et al., 2013).

Using hyperbolic polar coordinates $(r, \phi)$: $$x_0 = \cosh r, \quad x_1 = \sinh r \cos \phi, \quad x_2 = \sinh r \sin \phi,$$ the kinetic energy becomes $$T = \frac{1}{2} m (\dot{r}^2 + \sinh^2 r\, \dot{\phi}^2)$$ and the potential simplifies to $V = m g \cosh r$. The equations of motion are then derived as

$$\ddot{r} - \sinh r \cosh r\, \dot{\phi}^2 + g \sinh r = 0, \qquad \frac{d}{dt} (\sinh^2 r\, \dot{\phi}) = 0.$$

The conserved angular momentum associated with the $SO(2)$ symmetry in the $(x_1, x_2)$-plane is $J = x_1 y_2 - x_2 y_1$ (Santoprete et al., 2013).

2. Symmetry Reduction, Effective Potential, and One-Degree-of-Freedom Description

Reduction by the $SO(2)$ symmetry leads, via Hilbert map techniques, to a one-degree-of-freedom system in the coordinate $w = x_0 = \cosh r$, with conserved angular momentum $J$. The effective potential for this reduced system is $$V_\text{eff}(w; J) = m g w + \frac{J^2}{2(w^2 - 1)}, \quad w \geq 1,$$ and the dynamics are governed by

$\frac{1}{2} \dot{w}^2 + V_\text{eff}(w; J) = E.$

Physically, the potential grows exponentially as $w \to \infty$ and becomes singular as $w \to 1^+$. For all $J$, the motion is confined to bounded intervals; all trajectories are librations, in contrast to the Euclidean pendulum which exhibits both librational and rotational phases (Santoprete et al., 2013).

3. Equation of Motion, Harmonic and Anharmonic Approximations

Alternatively, for a planar analog, the equation of motion in an angular variable $\theta$ subject to potential $V(\theta) = g\,l \cosh\theta$ is

$$l \ddot\theta = -g l \sinh\theta \implies \ddot\theta = -a \sinh\theta, \quad a = \frac{g}{l}.$$

In units with $a=1$:

$\theta_{tt} = -\sinh\theta.$

The harmonic (small-angle) approximation yields

$\theta_{tt} \approx -a\theta,$

with isochronous oscillations of period $T = 2\pi/\sqrt{a} = 2\pi \sqrt{l/g}$. The first anharmonic (Duffing-type) approximation incorporates the cubic term:

$$\theta_{tt} = -a\left(\theta + \frac{1}{6} \theta^3\right),$$

admitting a rich suite of exact solutions: periodic oscillatory solutions in Jacobi elliptic functions, homoclinic separatrix ("sticking") solutions in hyperbolic tangent form, and further mixed-parity closed-form solutions (Khare et al., 13 Dec 2025).

4. Connections to Elliptic Pendulum, Sinh-Gordon, and Limiting Cases

The hyperbolic plane pendulum equation is recovered as the $m=1$ limit of a generalized "elliptic pendulum" equation:

$$\theta_{tt} = -a \frac{\mathrm{sn}(\theta|m)}{\mathrm{dn}(\theta|m)},$$

where $\mathrm{sn}$ and $\mathrm{dn}$ are Jacobi elliptic functions. In the $m \to 1$ limit,

$$\frac{\mathrm{sn}(\theta|m)}{\mathrm{dn}(\theta|m)} \to \sinh\theta,$$

recovering $\theta_{tt} = -a \sinh\theta$. Conversely, $m=0$ yields the plane pendulum equation. These connections provide a unified framework encompassing the plane pendulum, its inverted variant, and the static sinh-Gordon equation. The elliptic pendulum provides a parameter-dependent family of isochronous systems in the harmonic approximation; isochrony survives in the first anharmonic approximation for $m=1/2$ but not for the pure hyperbolic case (Khare et al., 13 Dec 2025).

5. Quantum Hyperbolic Pendulum: The Razavy Problem and Conditional Quasi-Exact Solvability

The quantum counterpart is given by the Razavy Hamiltonian:

$$H_h = -\frac{d^2}{dx^2} + \eta \cosh x + \zeta \cosh^2 x,$$

where $\eta$ and $\zeta>0$ are interaction parameters related to external field couplings. Analytic continuation from the planar pendulum yields

$$V_t(\theta) = -\eta\cos\theta - \zeta\cos^2\theta \implies V_h(x) = \eta\cosh x + \zeta\cosh^2 x.$$

The Razavy potential is conditionally quasi-exactly solvable (C-QES): for integer values $\kappa = \eta/|\beta|$ and $\zeta = \beta^2$, there exist exactly $\kappa$ analytic eigenstates (split between even and odd parity sectors) with closed-form eigenvalues. The finite analytic spectra correspond anti-isospectrally to those of the quantum planar pendulum: energies map with a sign flip and reversed ordering. The topology of eigenenergy surfaces is governed by $\kappa$; C-QES solutions correspond to the parabolas $\eta = \kappa \sqrt{\zeta}$ in parameter space. Crossings between surfaces of opposite parity are genuine (non-interacting irreducible representations), while those of the same parity are avoided (Becker et al., 2017).

$\kappa$	Number of Even States $N_\kappa(A')$	Number of Odd States $N_\kappa(A'')$	Total Analytic States
Even	$\kappa/2$	$\kappa/2$	$\kappa$
Odd	$(\kappa+1)/2$	$(\kappa-1)/2$	$\kappa$

No analytic solutions exist for non-integer $\kappa$.

6. Distinctive Dynamics and Comparison to the Euclidean Pendulum

For small oscillations near the bottom of the hyperboloid (intrinsic coordinate $r\rightarrow 0$), the potential expands as $V(r) \approx m g + \frac{1}{2} m g r^2$. Thus, small oscillation frequency matches that of a planar pendulum: $\omega = \sqrt{g/l}$. However, for finite amplitudes, the unbounded growth of $\cosh r$ in the hyperbolic potential prohibits over-the-top "rotations" seen in the Euclidean case; all actual motion is librational, trapped by infinite barriers as $w = \cosh r\rightarrow 1^+$ or $w\to\infty$ (Santoprete et al., 2013). In contrast, the Euclidean pendulum on $S^1$ admits both bounded (librational) and unbounded (rotational) motion, depending on the energy.

7. Exact Solution Structures and Unified Nonlinear Dynamics

A variety of exact closed-form solutions for the classical hyperbolic pendulum are catalogued. These include periodic Jacobi elliptic function solutions, hyperbolic tangent (homoclinic) separatrices, and more general kink or pulse solutions. At the quantum level, analytic solutions for the Razavy system are constructed as product of exponential and finite polynomials in $\cosh(x/2)$, with reducibility governed by the topological index $\kappa$. The spectrum and solution structure reflect deep connections between nonlinear ODEs/PDEs such as the sinh-Gordon equation, the theory of special functions (Jacobi elliptics, Ince equations), classical reduction via symmetries, and the algebraic machinery of quasi-exact solvability (Khare et al., 13 Dec 2025, Becker et al., 2017).

In summary, the hyperbolic plane pendulum unites diverse elements of geometry, nonlinear dynamics, and spectral theory. Its analysis reveals distinctions from the classical planar case, provides rigorous connections among several nonlinear models, and gives explicit constructions of both classical trajectories and quantum eigenstates in closed analytic form.