---
title: Resurgent Cyclic Orbits Overview
url: https://www.emergentmind.com/topics/resurgent-cyclic-orbits
type: topic
---

# Resurgent Cyclic Orbits Overview

Resurgent cyclic orbits is a field-dependent term used in two technically distinct research programs. In the planar circular and elliptic restricted three-body problem, it denotes newly identified or newly stabilized high-eccentricity symmetric periodic orbits obtained by continuing resonant families from the circular to the elliptic problem, together with the regular domains they organize in phase space [1805.00288]. In resurgence theory at the Stokes line, it denotes the finite grouping of Borel singularity contributions related by modular-type monodromies and the Stokes automorphism, whose recombination yields a unique transseries decomposition in unary false theta functions and determines the large-order growth of dual $q$-series coefficients and an effective central charge [2508.10112]. This suggests that the shared phrase names cyclic organizational structures rather than a single cross-disciplinary object.

## 1. Terminological scope

The phrase appears in two separate mathematical settings.

| Context | Meaning | Structural role |
|---|---|---|
| Restricted three-body problem | Stable periodic-orbit segments at high eccentricity in resonant families | Organize stable regions in phase space |
| Resurgence at the Stokes line | Finite orbit of Borel singularities and orbit-elements under $\mathcal S$, $\mathcal T$, and the Stokes automorphism | Fixes a rigid false-theta transseries decomposition |

In celestial mechanics, the relevant setting is a star, a giant planet, and a massless secondary moving in the planar circular or elliptic restricted three-body problem. The emphasis is on the origin and continuation of periodic orbits in the $3/2$, $5/2$, $3/1$, $4/1$, and $5/1$ mean-motion resonances, the discovery of new bifurcation points, and the identification of stable segments at high eccentricity values in families previously considered wholly unstable [1805.00288].

In resurgence theory, the relevant setting is a class of Mordell–Borel integrals arising in complex Chern–Simons theory. There, a resurgent cyclic orbit is defined by the set of Borel singularities related by modular transformations, the action of the Stokes automorphism across $\arg t=\pi$, and the recombination of those singularities into a finite-dimensional vector space of orbit-elements [2508.10112].

## 2. Restricted three-body formulation and resonant geometry

The planar restricted three-body formulation fixes two primaries, a star $P_0$ of mass $m_0$ and a giant planet $P_2$ of mass $m_2$, together with a massless secondary $P_1$. The normalization is
$$
m_0+m_2=1,\qquad \mu=\frac{m_2}{m_0+m_2},\qquad m_2=0.001,\quad m_0=0.999.
$$
A rotating frame $Oxy$ is used, with origin at the center of mass of $P_0$ and $P_2$, and with the $Ox$ axis pointing from $P_0$ to $P_2$. When the giant’s semi-major axis is scaled to unity, the primaries lie on the $x$ axis at
$$
x_0=-\mu,\qquad x_2=1-\mu.
$$
In the circular restricted three-body problem (CRTBP), the primaries move on fixed circular orbits, $r=1$, and the frame rotates uniformly with $\dot\theta=1$. The system is autonomous with two degrees of freedom, and its Lagrangian is
$$
L_{\rm circ}
=\tfrac12\bigl[(\dot x-y)^2+(\dot y+x)^2\bigr]
+\frac{1-\mu}{r_1}+\frac{\mu}{r_2},
$$
with
$$
r_1=\sqrt{(x+\mu)^2+y^2},\qquad
r_2=\sqrt{(x-1+\mu)^2+y^2}.
$$
The conserved Jacobi integral is
$$
C_J=2\Omega(x,y)-\dot x^2-\dot y^2,\qquad
\Omega(x,y)=\frac12(x^2+y^2)+\frac{1-\mu}{r_1}+\frac{\mu}{r_2}.
$$

In the elliptic restricted three-body problem (ERTBP), the primaries revolve on elliptic orbits of eccentricity $e_2$, so $r\neq1$ and $\dot\theta=\dot\theta(t)$. The system is non-autonomous, effectively with $2+1$ degrees of freedom, and has rotating-frame Lagrangian
$$
L_{\rm ell}
=\tfrac12\bigl[(\dot x-\dot\theta\,y)^2+(\dot y+\dot\theta\,x)^2\bigr]
+\frac{1-\mu}{r_1}+\frac{\mu}{r_2},
$$
where
$$
r_1=\sqrt{(x+\mu r)^2+y^2},\qquad
r_2=\sqrt{(x-(1-\mu)r)^2+y^2}.
$$
Although $C_J$ is no longer conserved, the symmetry
$$
\Sigma:(t,x,y)\mapsto(-t,x,-y)
$$
remains, allowing periodic orbits to be classified as symmetric or asymmetric [1805.00288].

The resonant structure is expressed through the mean-motion relation for a $p+q\!:\!p$ mean-motion resonance,
$$
\frac{n_2}{n_1}\approx\frac{p+q}{p}
\Longrightarrow
\frac{a_1}{a_2}\approx\Bigl(\frac{p}{p+q}\Bigr)^{2/3},
\qquad p,q\in\mathbb Z^+,
$$
with resonant angles
$$
\theta_1=p\lambda_1-(p+q)\lambda_2+q\varpi_1,\qquad
\theta_2=p\lambda_1-(p+q)\lambda_2+q\varpi_2.
$$
The circular family $C$ consists of symmetric periodic orbits of $P_1$ with $e_1\approx0$. At rational ratios $(p+q)/p$, first-order resonances $(q=1)$ produce a gap in the circular family, whereas second-order resonances $(q=2)$ produce an unstable segment from whose ends two elliptic families bifurcate [1805.00288].

## 3. Continuation, bifurcation, and linear stability

The continuation from the CRTBP to the ERTBP is organized by two schemes. In Scheme I, a periodic orbit of the CRTBP of period $T$ is continued to the ERTBP, with $e_2$ growing from $0$, provided
$$
T=\frac{k\,T_0}{m},\qquad
T_0=\frac{2\pi}{\left|\frac{p+q}{p}-1\right|},
$$
where $k,m\in\mathbb N$ and $m$ is the multiplicity under the rotating-frame Poincaré map. Each such CRTBP orbit becomes a bifurcation point $B^{(p+q)/p}_{F,\#}$ and launches two one-parameter families in the ERTBP, distinguished by the symmetric configurations $(\theta_1,\theta_2)=(0,0),(0,\pi),(\pi,0),(\pi,\pi)$.

Scheme II proceeds directly from the circular family. For $q=2$, new symmetric orbits of multiplicity $q$ bifurcate at the ends of an unstable segment of the circular family; for $q>2$, they bifurcate at points where $T=qT_0$. Numerically, all points along the CRTBP families where $T/kT_0$ is integer are detected within tolerance and continued into $e_2>0$ by a predictor–corrector scheme enforcing the periodicity conditions and the $\Sigma$ symmetry [1805.00288].

Linear stability is determined by the monodromy matrix $M$, obtained by integrating the variational equations
$$
\dot\eta=Df\bigl(X(t)\bigr)\eta
$$
along a periodic solution $X(t)$ of period $T$. Hamiltonian symmetry implies reciprocal eigenvalue pairs $(\lambda,1/\lambda)$. In the CRTBP one pair is always $(1,1)$, owing to $C_J$, and the remaining pair decides stability. In the ERTBP there are two non-trivial reciprocal pairs, and the stability indices are
$$
b_i=\lambda_i+\frac1{\lambda_i},\qquad i=1,2.
$$
If $|b_i|<2$, the pair is elliptic; if $|b_i|>2$, it is real and unstable. The periodic orbit is linearly stable if both pairs are elliptic. An equivalent reduced-map criterion uses the stability parameter
$$
s=\tfrac12\mathrm{Tr}\,M,
$$
with $|s|<1$ indicating stability [1805.00288].

A common misconception in this setting is that high-eccentricity resonant periodic orbits are generically unstable. The explicit continuation analysis shows the opposite for many families: stable segments were found at high eccentricity values of already known families considered as whole unstable previously, and the majority of the new families mainly consist of stable periodic orbits at high eccentricities [1805.00288].

## 4. Resonance families, stability recovery, and phase-space domains

For each of the $3/2$, $5/2$, $3/1$, $4/1$, and $5/1$ resonances, symmetric families were computed in the ERTBP, including both continuations of known CRTBP families and newly discovered isolated families.

| Resonance | Reported findings |
|---|---|
| $3/2$ | Two CRTBP branches $I$ (stable) and $II$ (unstable); four symmetric ERTBP families; isolated $(0,\pi)$ family at high $e_1,e_2$, entirely stable |
| $5/2$ | Two bifurcations $B^{5/2}_{I,1},B^{5/2}_{I,2}$; four ERTBP families; a $(\pi,0)$ family with $e_1>0.96$ wholly stable; isolated $(0,\pi)$ family at high eccentricities |
| $3/1$ | Scheme II applies; four ERTBP families; isolated $(\pi,0)$ family stable at $e_1,e_2\gtrsim0.8$; family $I_C$ regains stability for $e_1\gtrsim0.75$ |
| $4/1$ | Six ERTBP families; family $I_C$ becomes stable for $e_1\gtrsim0.74$; isolated $(\pi,0)$ family entirely stable at high eccentricities |
| $5/1$ | Investigated for the first time in the restricted three-body problems; multiplicity-4 families $(0,0)$ and $(\pi,\pi)$ partially regain stability; novel isolated $(\pi,0)$ family fully stable for $e_1,e_2\gtrsim0.8$ |

The $5/1$ resonance is singled out because its families are investigated for the first time in the restricted three-body problems. Across the set of resonances, new bifurcation points from the circular to the elliptic problem are identified, new isolated families are computed in the elliptic restricted problem, and stable segments appear in regions previously regarded as unstable [1805.00288].

The phase-space manifestation of these families is examined through dynamical stability maps based on the de-trended Fast Lyapunov Indicator,
$$
\mathrm{DFLI}(t)=\frac1t\frac{\|\eta(t)\|}{\|\eta(0)\|}.
$$
For each grid point in $(e_1,e_2)$ or $(\varpi_2,e_2)$, with $a_1$ and the other angles fixed to a periodic-orbit value, trajectories are integrated up to $t_{\max}\approx2.5\times10^5\,\mathrm{yr}$, or until $\mathrm{DFLI}>10^{30}$. Dark regions correspond to $\mathrm{DFLI}<10$ and regular motion; pale regions correspond to exponential growth and chaotic motion. Collision curves are overplotted from the criterion
$$
a_1^2(1-e_1^2)+a_2^2(1-e_2^2)
-2a_1a_2\bigl(1-e_1e_2\cos\Delta\varpi\bigr)\le0.
$$
Each stable periodic orbit sits at the center of an island of regular orbits bounded by collision or close-encounter curves [1805.00288].

## 5. Long-term stability and astrophysical significance

The long-term stable evolution of terrestrial planets or asteroids depends on the existence of regular domains in their dynamical neighbourhood in phase space, capable of hosting them for long time spans. The stable periodic orbits identified in the ERTBP are therefore not merely isolated solutions; they delimit the boundaries of stable regions in their vicinity and indicate where resonant protection is effective [1805.00288].

In this setting, “resurgent cyclic orbits” refers to previously neglected stable segments at high eccentricity. Even when orbits are strongly elongated or intersecting in Keplerian geometry, libration of resonant angles or apsidal protection prevents collision. This is the mechanism by which highly eccentric resonant configurations can remain regular over long intervals [1805.00288].

The principal application described is to single-giant-planet systems. The study is particularly appropriate for the discovery of terrestrial companions among such systems, because it identifies narrow regions in $(a,e,\varpi)$ space where a low-mass companion can survive for long times. The same framework is also presented as relevant to other celestial architectures efficiently modelled by the circular and elliptic restricted problems. The mention of mission design, including Europa trajectories, indicates that invariant-manifold structures associated with these periodic orbits can also be used for low-energy transfer routes [1805.00288].

A second common misconception is that orbit crossing in osculating Keplerian elements necessarily implies dynamical instability. The resonance analysis shows that this is not generally correct: stable periodic orbits can persist at high eccentricity, and regular islands can exist in regions bounded by close-encounter or collision curves [1805.00288].

## 6. Resurgent cyclic orbits in resurgence theory and Stokes-line analysis

In the resurgence-theoretic usage, the starting point is a class of Mordell–Borel integrals. For odd $p>0$ and $0<a<p$,
$$
JS_{(p,a)}(t)=\frac{1}{t}\int_0^\infty du\,e^{-p\,u^2/t}\,
\frac{\sinh\bigl((p-a)u\bigr)}{\sinh(pu)},
$$
and
$$
JC_{(p,a)}(t)=\frac{1}{t}\int_0^\infty du\,e^{-p\,u^2/t}\,
\frac{\cosh\bigl((p-a)u\bigr)}{\cosh(pu)}.
$$
These integrals are Borel summable for $\Re t>0$ and have divergent asymptotic expansions as $t\to0^+$ or $t\to+\infty$. Their Borel transforms develop infinitely many poles on the negative real $u$ axis, and analytic continuation through the Stokes ray $\arg t=\pi$ produces discontinuities from each pole [2508.10112].

A resurgent cyclic orbit is then defined as the data of: the set of singularities related by the modular transformations
$$
\mathcal S:t\longmapsto\frac{\pi^2}{t},
\qquad
\mathcal T:t\longmapsto t+i\pi,
$$
the action of the Stokes automorphism across the cut at $\arg t=\pi$, and the recombination of those singularities into a finite-dimensional vector space of orbit-elements. Concretely, the four integrals
$$
\{JS_{(p,a)}(t),\;JS_{(p,p-a)}(t),\;JC_{(p,a)}(t),\;JC_{(p,p-a)}(t)\}
$$
close under $\mathcal S$ and $\mathcal T$ and form a single cyclic orbit of dimension at most four, depending on symmetries. The Stokes automorphism $\mathfrak S_\pi$ permutes that basis up to an explicit finite matrix, and the requirement that the original integral be recovered after two crossings imposes a group-relation constraint on the orbit [2508.10112].

On the Stokes line, $\arg t=\pi$, each orbit-element admits an exact decomposition into unary false theta functions. The false theta functions are
$$
\Psi_p^{(a)}(q)=\sum_{n=0}^\infty \psi_{2p}^{(a)}(n)\,q^{n^2/(4p)},
$$
with
$$
\psi_{2p}^{(a)}(n)=
\begin{cases}
\pm1,& n\equiv\pm a\pmod{2p},\\
0,& \text{otherwise},
\end{cases}
$$
and $\Psi_p^{(a)}(q)=q^{a^2/(4p)}\Phi_p^{(a)}(q)$ where $\Phi_p^{(a)}(q)\in\mathbb Z[[q]]$. The decomposition on the unary side $|q|>1$ extends, by the principle of preservation of relations, to the non-unary side $t>0$ through dual $q$-series
$$
\Phi_p^{(a)}(q)^\vee\in\mathbb Z[[q]],\qquad |q|<1.
$$
The resulting transseries decomposition is unique and has no free parameters [2508.10112].

This uniqueness addresses an important interpretive point. In many transseries settings one expects Stokes constants or integration constants to leave free parameters. Here, on the Stokes line, the decomposition is described as completely rigid: the algebraic orbit structure and false-theta building blocks determine the expansion uniquely [2508.10112].

## 7. Large-order growth, dual $q$-series, and effective central charge

Once the algebraic transseries decomposition is known, the large-order growth of the dual $q$-series coefficients follows from the dominant exponential term. If a term
$$
q^{-\alpha}\,\Phi(q)^\vee
$$
has first nonzero power $q^\delta(b_\delta+\cdots)$, then as $t\to0^+$ the leading behavior is governed by $\exp[(\alpha-\delta)/t]$. The coefficient asymptotics are
$$
b_n\sim \bigl(\text{prefactor}\bigr)\,n^{-1/2}\,
\exp\Bigl[2\pi\sqrt{(\alpha-\delta)\,n}\Bigr].
$$
Defining
$$
c=4(\alpha-\delta),
$$
one obtains the Cardy-like form
$$
b_n\sim C\,n^{-1/2}\,
\exp\!\Bigl[2\pi\sqrt{\tfrac{c}{6}\,n}\Bigr].
$$
The paper identifies this $c$ as the effective central charge, with $c_{\rm eff}\in\mathbb Q$ in all examples, and interprets it in the $3d$–$3d$ correspondence as the $3d$ $\mathcal N=2$ effective central charge of the theory $T[M_3]$ [2508.10112].

For $p=3$, there is one nontrivial orbit element on each side:
$$
J^{(B,3)}(t):=\sqrt{2}\bigl[JC_{(6,1)}(t)+JC_{(6,5)}(t)\bigr],\qquad
J^{(D,3)}(t):=JC_{(3,2)}(t).
$$
On the unary side, the transseries involves the classical order-3 mock theta functions $f$ and $\omega$, and on the non-unary side the same form holds with the duals
$$
\Phi_3^{(1)}(i\sqrt q)^\vee=\tfrac12 f(-q),\qquad
\Phi_3^{(2)}(-q)^\vee=-q\,\omega(q).
$$
The parameters are $\alpha=\tfrac1{24}$ for $\Phi^{(1)}$, $\alpha=\tfrac13$ for $\Phi^{(2)}$, and $\delta=0,1$ respectively, yielding
$$
c_{\rm eff}^{(1)}=\tfrac12,\qquad c_{\rm eff}^{(2)}=1.
$$
The corresponding asymptotics reproduce the classical growth of the coefficients of $f(-q)$ and $q\,\omega(q)$ [2508.10112].

A further implication is that the algebraic structure of the resurgent cyclic orbit, together with the first nonzero coefficient in each dual $q$-series, is sufficient to fix the dominant exponential rate of coefficient growth. In the language of the paper, the half-index $\widehat Z(M_3,q)$ contributes one such growth law, and the full superconformal index has
$$
c_{\rm eff}^{\text{(index)}}=2+24\Delta_*,
$$
where $\Delta_*$ is the dominant exponent extracted from a single resurgent orbit [2508.10112].

Source: https://www.emergentmind.com/topics/resurgent-cyclic-orbits