Skip to content

Transient Orbital Resonances

Scrollable formula. Use Left and Right arrow keys to reveal hidden content.

Scrollable table. Use Left and Right arrow keys to reveal additional columns.

Scrollable figure. Use Left and Right arrow keys to inspect hidden content.

Ordinary adiabatic evolution averages the self-force over independent radial and polar phases. That average fails at an isolated commensurability because one Fourier phase stops oscillating and acts coherently over many orbital cycles. The resulting transient resonance gives a phase-dependent jump in the slow orbital actions and can alter the later waveform even though the resonance interval is short compared with the full inspiral.

Helpful background. The Einstein Equation fixes the background, Weak Metric Perturbations and Gauge Freedom supplies gauge control, and Presymplectic Potentials and Currents clarifies conserved actions. Black-Hole Perturbation Theory supplies self-force modes, Relativistic Two-Body Dynamics supplies multiscale logic, and Gravitational Radiation and Waveforms supplies phase and validation conventions.

Let the slow actions obey

dJAdt=ϵ∑k,nGknA(J)ei(kϑθ+nϑr)+O(ϵ2),\frac{dJ_A}{dt} =\epsilon\sum_{k,n} G^A_{kn}(J) e^{i(k\vartheta_\theta+n\vartheta_r)} +O(\epsilon^2),

where the Kerr black hole has physical mass M∙M_\bullet, the secondary has mass m⋆m_\star, and ϵ=m⋆/M∙≪1\epsilon=m_\star/M_\bullet\ll1. Normalize the specific actions by GM∙GM_\bullet so that JAJ_A is dimensionless; the coefficients GknAG^A_{kn} then have dimension inverse time and scale as (GM∙)−1(GM_\bullet)^{-1}. The phases and frequencies use asymptotically normalized coordinate time. Away from resonance, each retained nonzero harmonic with (k,n)≠(0,0)(k,n)\ne(0,0) oscillates rapidly and contributes only a bounded correction; the torus average retains G00AG^A_{00}.

At time t∗t_* suppose

k∗Ωθ(J∗)+n∗Ωr(J∗)=0k_*\Omega_\theta(J_*) +n_*\Omega_r(J_*)=0

for relatively prime integers (k∗,n∗)(k_*,n_*). Define the resonant phase

Ψ=k∗ϑθ+n∗ϑr.\Psi=k_*\vartheta_\theta+n_*\vartheta_r.

Near the crossing,

Ψ˙≃α(t−t∗),α=ddt(k∗Ωθ+n∗Ωr)∣t∗.\dot\Psi \simeq \alpha(t-t_*), \qquad \alpha =\left. \frac{d}{dt} (k_*\Omega_\theta+n_*\Omega_r) \right|_{t_*}.

Since the actions drift at O(ϵ)O(\epsilon), α=O(ϵ/(GM∙)2)\alpha=O(\epsilon/(GM_\bullet)^2) in dimensional units. The resonant phase changes by order unity over

Tres∼∣α∣−1/2∼GM∙ϵ,T_{\mathrm{res}}\sim\lvert\alpha\rvert^{-1/2} \sim\frac{GM_\bullet}{\sqrt{\epsilon}},

intermediate between the orbital and radiation-reaction times.

Define the jump relative to the smooth adiabatic drift: the ordinary G00AG^A_{00} evolution continues through the resonance and is subtracted before comparing the two outer solutions. Keep a nonzero resonant harmonic s(k∗,n∗)s(k_*,n_*) and freeze its amplitude across the narrow layer. To first order in the resonant Fourier amplitudes, evaluate the phase on the adiabatic crossing. Integrating from before to after the resonance gives

ΔJA(s)≃ϵGsk∗,sn∗A(J∗)eisΨ∗∫−∞∞eisα(t−t∗)2/2 dt.\Delta J_A^{(s)} \simeq \epsilon G^A_{s k_*,s n_*}(J_*) e^{is\Psi_*} \int_{-\infty}^{\infty} e^{is\alpha(t-t_*)^2/2}\,dt.

Stationary phase yields

ΔJA(s)≃ϵGsk∗,sn∗AeisΨ∗2π∣sα∣exp⁡[iπ4sgn⁡(sα)].\Delta J_A^{(s)} \simeq \epsilon G^A_{s k_*,s n_*} e^{is\Psi_*} \sqrt{\frac{2\pi}{\lvert s\alpha\rvert}} \exp\left[ i\frac{\pi}{4}\operatorname{sgn}(s\alpha) \right].

The physical jump is real: real forcing obeys G−k,−nA=GknA‾G^A_{-k,-n}=\overline{G^A_{kn}}, so add the ss and −s-s terms, or twice the real part of each positive-ss term. Because α=O(ϵ/(GM∙)2)\alpha=O(\epsilon/(GM_\bullet)^2), the jump scales as

ΔJA=O(ϵ),\Delta J_A=O(\sqrt{\epsilon}),

relative to dimensionless orbital actions. It depends on the radial–polar phase Ψ∗\Psi_* at entry. A phase-averaged flux table cannot recover that dependence after the fact.

The asymptotic mechanism and its phase scaling are derived in Flanagan and Hinderer 2012, p. 4, “Analytic Derivation” and the jump formula following eq. (4). The formula assumes a simple crossing with α≠0\alpha\ne0, slowly varying mode amplitudes, and sufficient separation from another resonance or the plunge transition. Its Fresnel coefficient additionally neglects feedback of the resonant action change on the detuning. That feedback can enter the leading inner problem if the resonant harmonics are not weak; small mass ratio alone does not justify linearizing in their amplitudes.

For a single real harmonic with α>0\alpha\gt0, write d(δJ)/dt=ϵAcos⁡[Ψ∗+α(t−t∗)2/2]d(\delta J)/dt=\epsilon A\cos[\Psi_*+\alpha(t-t_*)^2/2], where δJ\delta J excludes the smooth drift and A>0A\gt0. With ξ=α(t−t∗)\xi=\sqrt\alpha(t-t_*), the entire smooth crossing is

α δJ(ξ)ϵA=∫−∞ξcos⁡(Ψ∗+v2/2) dv.\frac{\sqrt\alpha\,\delta J(\xi)}{\epsilon A} =\int_{-\infty}^{\xi}\cos(\Psi_*+v^2/2)\,dv.

Its final value is 2πcos⁡(Ψ∗+π/4)\sqrt{2\pi}\cos(\Psi_*+\pi/4). Entry phases −π/4-\pi/4 and 3π/43\pi/4 therefore give equal and opposite changes, while the underlying worldline remains continuous. A generic frequency shift of order ϵ/(GM∙)\sqrt\epsilon/(GM_\bullet) acting for the remaining O(GM∙/ϵ)O(GM_\bullet/\epsilon) inspiral can accumulate O(ϵ−1/2)O(\epsilon^{-1/2}) radians; the coefficient and remaining duration determine the actual dephasing.

In the figure, compare the continuous accumulated corrections for the two entry phases. The detuning passes through zero in the same way, but the force reverses sign and produces the opposite lasting change.

A linearly increasing detuning passes through zero while two opposite entry phases produce equal and opposite accumulated resonant action changes.

A single-harmonic resonance crossing with α>0\alpha\gt0 and ξ=α(t−t∗)\xi=\sqrt\alpha(t-t_*). The lower panel shows α δJ/(ϵA)\sqrt\alpha\,\delta J/(\epsilon A) after the smooth averaged drift has been removed. Entry phases −π/4-\pi/4 and 3π/43\pi/4 approach +2π+\sqrt{2\pi} and −2π-\sqrt{2\pi}, respectively. These curves solve the linearized normal form above; they are not Kerr self-force data or a self-consistent resonance calculation.

Competing modeling positions as of 2026-08-12

Section titled “Competing modeling positions as of 2026-08-12”

Evidence and literature on this page are checked through 2026-08-12. Three defensible positions remain:

  1. Leading jump corrections are an adequate targeted extension. Compute the resonant Fourier coefficients, propagate an adiabatic inspiral to the crossing, apply the stationary-phase jump, and restart the adiabatic evolution. This retains the leading O(ϵ)O(\sqrt{\epsilon}) action change at modest cost.
  2. First-post-adiabatic phase-sensitive evolution is required. The entry phase itself receives conservative, oscillatory, and higher-order corrections. If the target is an accurate waveform rather than population statistics, a leading jump on an otherwise adiabatic trajectory can carry an uncontrolled phase error.
  3. Self-consistent or uniformly matched resonance evolution is needed for validation. Integrating the local force through the layer avoids an instantaneous jump idealization and is the appropriate benchmark, especially for overlapping strong-field effects.

These are not mutually exclusive numerical algorithms; they assert different accuracy requirements. Studies of representative populations have also found that resonance-induced loss of matched-filter signal can be small for many low-eccentricity systems even when the dynamical jump exists Berry et al. 2016, §§III–V. That empirical conclusion does not remove the effect from high-accuracy parameter inference or from more eccentric and inclined configurations.

What is established and what remains uncertain

Section titled “What is established and what remains uncertain”

Established features include the commensurability condition, the failure of nonresonant torus averaging, the ϵ\sqrt{\epsilon} leading jump scaling for a simple crossing, and dependence on the resonant entry phase. Quantitative uncertainties include:

  • generic-Kerr self-force Fourier coefficients in consistent gauges;
  • the entry phase after first-post-adiabatic evolution;
  • second-order and spin effects within the resonance layer;
  • interference with the separatrix or another low-order resonance;
  • waveform and parameter biases across mission-relevant source populations.

A model should recover ordinary adiabatic scaling when ∣kΩθ+nΩr∣Tres≫1\lvert k\Omega_\theta+n\Omega_r\rvert T_{\mathrm{res}}\gg1. It should also agree with a direct phase-sensitive integration through a test resonance and converge as the matching interval is varied.

This assessment should be revisited when a second-order or self-consistent generic-Kerr resonance waveform demonstrates a controlled phase error and is independently reproduced, or when a blind cross-model study changes the inferred accuracy requirement. Results published after the cutoff are outside this page’s evidence window.

The strongest practical test uses identical orbital data and force modes in two implementations: one integrates the phase-sensitive equations continuously and the other applies a matched jump. Agreement must cover the post-resonance actions and accumulated phase, not merely the resonance location. Varying the matching-window width should expose the next neglected asymptotic order rather than move the physical prediction arbitrarily.

Evaluate the stationary-phase integral and recover the resonance-width and action-jump scalings.

Solution

For real nonzero α\alpha,

∫−∞∞eiαx2/2 dx=2π∣α∣eiπsgn⁡(α)/4.\int_{-\infty}^{\infty} e^{i\alpha x^2/2}\,dx =\sqrt{\frac{2\pi}{\lvert\alpha\rvert}} e^{i\pi\operatorname{sgn}(\alpha)/4}.

The phase changes by order unity when ∣α∣x2∼1\lvert\alpha\rvert x^2\sim1, so

Tres∼∣α∣−1/2∼GM∙ϵ.T_{\mathrm{res}}\sim\lvert\alpha\rvert^{-1/2} \sim \frac{GM_\bullet}{\sqrt{\epsilon}}.

Multiplying the integral by the O(ϵ)O(\epsilon) force gives ΔJ=O(ϵ)\Delta J=O(\sqrt{\epsilon}).

Why does averaging uniformly over the entry phase erase the mean leading jump without proving that the resonance is negligible?

Solution

Each resonant contribution contains eisΨ∗e^{is\Psi_*}, whose uniform phase average vanishes for s≠0s\ne0. Individual systems nevertheless have definite entry phases and nonzero jumps, with a nonzero variance. The later waveform depends on that realized jump, so a vanishing ensemble mean is not an error bound for one source.

  • Berry, Christopher P. L., Robert H. Cole, Priscilla Cañizares, and Jonathan R. Gair. “Importance of Transient Resonances in Extreme-Mass-Ratio Inspirals.” Physical Review D 94 (2016): 124042. DOI.
  • Flanagan, Éanna É., and Tanja Hinderer. “Transient Resonances in the Inspirals of Point Particles into Black Holes.” Physical Review Letters 109 (2012): 071102. DOI.