--- abstract: 'In the small mass ratio expansion and on the equatorial plane, the two-body problem for point particles in general relativity admits a quasi-circular inspiral motion followed by a transition-to-plunge motion. We first derive the equations governing the quasi-circular inspiral in the Kerr background at adiabatic, post-adiabatic and post-post-adiabatic orders in the slow-timescale expansion in terms of the self-force and we highlight the structure of the equations of motion at higher subleading orders. We derive in parallel the equations governing the transition-to-plunge motion to any subleading order, and demonstrate that they are governed by sourced linearized Painlevé transcendental equations of the first kind. We propose a scheme that matches the slow-timescale expansion of the inspiral with the transition-to-plunge motion to all perturbative orders in the overlapping region around the last stable circular orbit where both expansions are valid. We explicitly verify the validity of the matching conditions for a large set of coefficients involved, on the one hand, in the adiabatic or post-adiabatic inspiral and, on the other hand, in the leading, subleading or higher subleading transition-to-plunge motion. This result is instrumental at deriving gravitational waveforms within the self-force formalism beyond the innermost stable circular orbit.' author: - 'Geoffrey Compère$^\clubsuit$[^1] and Lorenzo Küchler$^\diamondsuit$[^2]' title: | Asymptotically matched quasi-circular inspiral and transition-to-plunge\ in the small mass ratio expansion --- Introduction ============ Solving the binary problem in General Relativity has been an outstanding problem for a century. For a mass ratio of order unity, numerical relativity @Pretorius:2005gq, the post-Newtonian/post-Minkowskian formalism @Blanchet:1985sp, and effective one-body methods @Buonanno:1998gg have been successful at deriving accurate waveform models currently under confrontation with observations of gravitational waves produced from compact binary mergers @Abbott:2016blz [@Abbott:2020niy]. For large mass ratios, waveforms can be generated from (non-linear) black hole perturbation methods using the self-force formalism @Barack:2018yvs [@Pound:2021qin]. The inspiral motion can be efficiently solved using the slow-timescale expansion, which leads to the adiabatic approximation with post-adiabatic corrections @Hinderer:2008dm [@Miller:2020bft; @Isoyama:2021jjd]. One of the main motivation for developing methods in the small mass ratio limit is the prospect of observations of EMRIs (extreme mass ratio inspirals) by LISA @Audley:2017drz. Another motivation is the recent realization that, even when restricting to the first post-adiabatic approximation, the small mass ratio expansion is applicable to intermediate mass binaries and, up to a certain extent, to equal mass binaries @vandeMeent:2020xgc [@Warburton:2021kwk]. The slow-timescale expansion of a quasi-circular inspiral breaks down around the innermost stable circular orbit where the transition-to-plunge takes place @Ori:2000zn [@Buonanno:2000ef]. A transition timescale expansion can be formulated and matched to the quasi-circular inspiral in the small mass ratio limit @Ori:2000zn [@Kesden:2011ma; @Sundararajan:2008bw; @Taracchini:2014zpa; @Apte:2019txp; @Compere:2019cqe; @Burke:2019yek], or in the small velocity limit using resummed post-Newtonian expansions @Buonanno:2000ef [@Buonanno:2005xu; @Nagar:2006xv; @Damour:2007xr; @Damour:2009kr; @Bernuzzi:2010ty; @Bernuzzi:2010xj; @Bernuzzi:2011aj; @Pan:2013rra]. The main aim of this paper is to provide a systematic, accurate and complete treatment of the matching between the quasi-circular inspiral and the transition motion in the small mass ratio regime, neglecting finite size effects but taking into account self-force effects, following the leading order asymptotic matching derived in @Compere:2021iwh [@Compere:2021ERR]. After a summary of the equatorial forced geodesics equations governing the motion of point particles in the Kerr geometry including self-force corrections in Section \[sec:forced\], we will derive in Section \[sec:inspiral\] the quasi-circular inspiral motion in the slow-timescale expansion and its asymptotic solution in the limit of reaching the last stable circular orbit. Our expansions will complement the ones obtained at adiabatic and post-adiabatic order @Miller:2020bft [@Pound:2021qin] to post-post-adiabatic order and higher orders. We will then turn to the transition motion around the last stable circular orbit in the transition timescale expansion in Section \[sec:transition\] and will compute the asymptotic solution to the equations of motion at early times. In Section \[sec:matching\], the matching of these two motions will be performed in the overlapping region where both the slow-timescale and the transition-timescale expansions are valid. We will derive in Section \[sec:algo\] the sketch of an algorithm to extend the post-adiabatic inspiral motion to the transition-to-plunge motion using the results obtained in previous sections. We will conclude in Section \[sec:ccl\]. Several appendices collect lengthy formulae used in the main text. <span>**Ancillary files:**</span> Four ancillary Mathematica notebooks are publicly available at this [URL](https://github.com/gcompere/Asymptotically-matched-quasi-circular-inspiral-and-transition-to-plunge-in-the-small-mass-ratio-expa.git). They contain data associated with, respectively, Sections III.B,C,D,F.1,F.2, Sections III.E,F.3, Sections IV.A,B, and Sections IV.C,D. Equatorial forced geodesics {#sec:forced} =========================== We use the same conventions and notations as @Compere:2021iwh. We use geometrical units $G=c=1$. All quantities are made dimensionless using the mass $M$ of the Kerr background, including the Kerr angular momentum $a$, the binary mass ratio $\eta=m/M$ where $m$ is the point-particle mass, the proper particle energy $e = -p_{t}/m$ and the proper particle azimuthal angular momentum $\ell = p_\phi/(m M)$. Spacetime indices are lowered and raised with the Kerr metric in Boyer-Linquist coordinates $g_{\mu\nu}$. The outer horizon is the largest root of $\Delta=r^2-2r+a^2$. We consider equatorial orbits around the Kerr black hole parametrized by $z^\mu=(t, r, \frac{\pi}{2}, \int \Omega dt)$ where $\Omega=d\phi/dt$ is the orbital frequency. We denote $\sigma=\text{sign}(\Omega)$, i.e. $\sigma=+1$ for prograde orbits and $\sigma=-1$ for retrograde orbits. The redshift is denoted as $U=dt/d\tau$ where $\tau$ is the dimensionless proper time. Therefore, the four-velocity is $v^\mu=dz^\mu/d\tau=(U, dr/d\tau, 0, U\,\Omega)$. In terms of the angular momentum $\ell=v_\phi$ and energy $e=-v_t$ one has $$\begin{aligned} \label{kerreomeqt} U &=-g^{tt}e + g^{t\phi}\ell = \frac{r(r^2 +a^2)e + 2a(a\,e - \ell)}{r\Delta}, \\[1ex] \label{kerromega} \Omega &= \frac{-g^{t\phi}e + g^{\phi\phi}\ell}{-g^{tt}e + g^{t\phi}\ell} = \frac{2(a\,e - \ell) + r\ell}{r(r^2 +a^2)e + 2a(a\,e - \ell)}. \end{aligned}$$ The forced geodesic equation is given by $$\label{forcedgeod} \frac{dv^\mu}{d\tau} + \Gamma^{\mu}_{\nu\sigma}v^\nu v^\sigma = f^{\mu}$$ where $f^\mu$ is the gravitational self-force that obeys $f^\theta=0$ on equatorial orbits. Note that we rescaled the geodesic equation with the point particle mass $m$. We define the slowly evolving helicoidal vector $\xi \equiv \p_{t} + \Omega \p_{\phi}$. The normalization of the four-velocity for massive particles implies ${g_{\mu\nu}v^\mu v^\nu=-1}$ which gives the radial first order equation of motion $$\label{UU} \left(\frac{dr}{d\tau}\right)^2 = g^{rr}\left(-1-U^2g_{\mu\nu}\xi^\mu \xi^\nu\right),$$ or, equivalently after using Eqs. and , $$\label{kerreomeqr} \left(\frac{dr}{d\tau}\right)^2 = e^2 - V^{\text{geo}}, \qquad V^{\text{geo}}(r, e, \ell,a)\equiv e^2 - \frac{\left[e\left(r^2 + a^2\right) - a \ell\right]^2 - \Delta \left[r^2 + \left(a e - \ell\right)^2\right]}{r^4}.$$ The derivative along proper time of the normalization condition gives the orthogonality condition $f_{\mu}v^\mu=0$ which can be written in the two equivalent ways: $$\begin{aligned} \label{orth1} &f^r = -U g^{rr}(f_t+\Omega f_\phi) \left(\frac{dr}{d\tau}\right)^{-1}, \\[1ex]\label{orth2} &f^r = g^{rr} (e f^t - \ell f^\phi) \left(\frac{dr}{d\tau}\right)^{-1}.\end{aligned}$$ The angular momentum $\ell$ and energy $e$ evolve according to the forced geodesic equation as $$\label{fluxeq} \frac{d\ell}{d\tau} = f_\phi, \qquad \frac{de}{d\tau} = -f_{t}$$ allowing to rewrite the orthogonality condition as $$\label{orth3} f^r = U g^{rr}\left(\frac{de}{d\tau}-\Omega \frac{d\ell}{d\tau}\right) \left(\frac{dr}{d\tau}\right)^{-1}.$$ Taking the $\tau$-derivative of Eq. we obtain $$\label{deqr} \frac{d^2r}{d\tau^2} + \frac{1}{2} \frac{\p V^{\text{geo}}}{\p r} = f^{r},$$ where $$\label{fr_expression} f^{r} = \left[\left(e - \frac{1}{2}\frac{\p V^{\text{geo}}}{\p e}\right)\frac{de}{d\tau} - \frac{1}{2}\frac{\p V^{\text{geo}}}{\p \ell}\frac{d\ell}{d\tau} - \frac{1}{2}\frac{\p V^{\text{geo}}}{\p a}\frac{da}{d\tau}\right]\left(\frac{dr}{d\tau}\right)^{-1}.$$ Equations and agree with the radial component of the forced geodesic equation , $$\label{secondorderradialfr} \frac{d^2r}{d\tau^2}+ \Gamma_{rr}^{r} \left(\frac{dr}{d\tau}\right)^2 + U^2 \Gamma^{r}_{\mu\nu}\xi^\mu \xi^\nu = f^r,$$ given the identity $$\label{identity} \frac{1}{2}\frac{\p V^{\text{geo}}}{\p r}= \Gamma_{rr}^{r}(e^2 - V^{\text{geo}}) + U^2 \Gamma^{r}_{\mu\nu}\xi^\mu \xi^\nu.$$ Comparing the writings of the radial self-force in Eqs. and and using the identities $e - \frac{1}{2}\frac{\p V^{\text{geo}}}{\p e}=U g^{rr}$ and $\frac{1}{2}\frac{\p V^{\text{geo}}}{\p \ell}=\Omega\,U g^{rr}$, we deduce $$\label{dadtau0} \frac{da}{d\tau} = 0.$$ At early times, the inspiralling body has no causal contact with the central body and therefore it cannot change its angular momentum. From this causality argument we set $a(\tau)=a$ constant. In summary, the conservation of the normalization of the four-velocity along the forced geodesic motion fixes the evolution of the background $a$ to be constant along the motion at the location of the point particle. The spin of the central black hole is still evolving due to gravitational wave emission, which is encoded in perturbations of the background metric $h^{(1)}_{\mu\nu}$, $h^{(2)}_{\mu\nu}$, …@Merlin:2016boc [@vanDeMeent:2017oet] and these effects appear in the self-force term $f^\mu$ of the forced geodesic equation. It will be convenient to introduce $\delta$ as the deviation from the geodesic angular velocity for circular orbits ${\Omega_{\text{geo}} = \sigma/(r^{3/2}+\sigma a)}$ as $$\label{valdelta} \delta \equiv \sigma \left(\Omega^{-1}-\Omega_{\text{geo}}^{-1}\right),\qquad \Omega = \frac{\sigma}{r^{3/2} + \sigma a + \delta}.$$ We collectively denote all variables of interest as $$\label{X} X \equiv (r,\delta,\Omega,U,e,\ell).$$ Quasi-circular inspiral in the $n$th post-adiabatic expansion {#sec:inspiral} ============================================================= We now restrict our analysis to the small mass ratio limit $\eta \ll 1$ and to orbits without eccentricity. Such orbits can be described in the inspiral phase using the slow proper time $$\label{tildetau} \tilde \tau \equiv \eta\,\tau\, ,$$ and the slow-timescale expansion $$\begin{aligned} \label{inspiralexp} X &= X_{(0)}(\tilde \tau) + \eta\,X_{(1)}(\tilde \tau) + \eta^2 X_{(2)}(\tilde \tau) + O_{\tilde \tau}(\eta^3),\end{aligned}$$ where the collective variable $X$ was defined in Eq. . Here and below, the indices in parentheses $(i)$ label the terms appearing at order $\eta^i$ in the expansion. The symbol $O_{\tilde \tau}(\eta)$ refers to the limit $\eta\rightarrow0$ at fixed slow proper time $\tilde \tau$. We name the leading $X_{(0)}$ terms the adiabatic order or $0$PA order. The $n$th subleading terms are denoted as $n$th post-adiabatic order or $n$PA order. We define similarly the slow Boyer-Lindquist time $\tilde t \equiv \eta\,t$. Equations and are consistent with the expansions $$\begin{aligned} \label{expfr} f^{\mu} &= \eta \, f^{\mu}_{(1)}(\tilde \tau) + \eta^2 f^{\mu}_{(2)}(\tilde \tau) + O_{\tilde\tau}(\eta^3). \end{aligned}$$ Note that although we are taking into account the radial self-force $f^r$ in Eq. the motion is quasi-circular in the sense that the radial and angular motions evolve on different timescales due to the expansion : indeed $d\phi/d\tau=O_{\tilde \tau}(1)$ while $dr/d\tau=O_{\tilde \tau}(\eta)$, so that $$\label{QC1} \frac{d\log r}{d\phi}=\frac{dr/d \tau}{r\,d\phi/d \tau}=O_{\tilde \tau}(\eta).$$ We will algebraically solve the equations and write the remaining differential equations in the $n$th post-adiabatic expansion. Algebraic equations are obtained at order $\eta^n$ while first-order differential equations come from order $\eta^{n+1}$ due to the slow-time dependence of the quantitites $X=X(\tilde\tau)$. As we will see in Sections \[sec:0PAinspiral\], \[sec:1PAinspiral\] and \[sec:2PAinspiral\] the motion is governed by one differential equation controlling the evolution of the radial coordinate $r_{(n)}$. All other quantities are algebraically determined. Structure of the self-force --------------------------- Quasi-circular orbits are entirely parametrized by the proper time along the orbit. Since the Boyer-Linquist radius is monotonically decreasing in proper time, one can parametrize as well any quantity along the orbit in terms of the radius. In particular, we can write the self-force as $$\label{Fmu} f^\mu = \sum_{n=1}^\infty \eta^n F^\mu_n(r),$$ where $F^\mu_n$ are functions of $r$ only. Using the slow-timescale expansion we can expand the self-force around the adiabatic order $r=r_{(0)}$, $$f^\mu = \eta\,F^\mu_1(r_{(0)}) + \eta^2\left(F^\mu_2(r_{(0)}) + \left.\frac{dF^\mu_1}{dr}\right\vert_{(0)}r_{(1)}\right) + \eta^3\left(F^\mu_3(r_{(0)}) + \left.\frac{dF^\mu_1}{dr}\right\vert_{(0)}r_{(2)} + \frac{1}{2}\left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{(0)}r_{(1)}^2\right) + O(\eta^4).$$ Comparing with Eq. we obtain $$\begin{aligned} \label{f1mu} f^\mu_{(1)} =& F^\mu_1(r_{(0)}), \\[1ex]\label{f2mu} f^\mu_{(2)} =& F^\mu_2(r_{(0)}) + \left.\frac{dF^\mu_1}{dr}\right\vert_{(0)}r_{(1)}, \\[1ex] f^\mu_{(3)} =& F^\mu_3(r_{(0)}) + \left.\frac{dF^\mu_1}{dr}\right\vert_{(0)}r_{(2)} + \frac{1}{2}\left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{(0)}r_{(1)}^2, \qquad \dots\end{aligned}$$ At order $n$ the self-force will be composed of a term linear in $r_{(n-1)}$ and non-linear terms $NL_{(n-1)}$ homogeneous of degree $n-1$ in the mass ratio, \[fn\_inspiral\] $$\begin{aligned} f^\mu_{(n)} =& f^{\mu,\text{lin}}_{(1)}(r_{(0)})r_{(n-1)} + f^{\mu,\text{non-lin}}_{(n)}\left(\{r_{(k)}\}_{k=0,1,2,\dots,n-2}\right), \\[1ex] f^{\mu,\text{lin}}_{(1)} \equiv& \left.\frac{dF^\mu_1}{dr}\right\vert_{(0)}, \qquad f^{\mu,\text{non-lin}}_{(n)} \equiv NL_{(n-1)}\left(\{r_{(k)}\}_{k=0,1,2,\dots,n-2}\right).\end{aligned}$$ Adiabatic inspiral {#sec:0PAinspiral} ------------------ The adiabatic solution without eccentricity to Eqs. , , , , , , and can be found straightforwardly. Equation implies an exact adiabatic quasi-circular inspiral: $$\frac{de_{(0)}}{d\tilde \tau}-\Omega_{(0)}\frac{d\ell_{(0)}}{d\tilde \tau}=0.$$ From Eq. we obtain $$e_{(0)}f_{(1)}^t - \ell_{(0)}f^\phi_{(1)} = 0.$$ In order to write compact expressions, it is convenient to define the following functions of $r_{(0)}$: \[ABCD\] $$\begin{aligned} A &= r_{(0)}^3 - 3 r_{(0)}^2 + 2\sigma a r_{(0)}^{3/2}, \qquad B = r_{(0)}^2 - 2 \sigma a r_{(0)}^{1/2} + a^2, \\[1ex] C &= r_{(0)}^{3/2} - 2 r^{1/2}_{(0)} + \sigma a, \quad \qquad D = 4 A r_{(0)}^{-1} - 3\Delta_{(0)},\end{aligned}$$ where $\Delta_{(0)}\equiv\Delta\vert_{(0)}=r_{(0)}^2-2r_{(0)}+a^2$. It is relevant for our purposes to note that at the location of the geodesic innermost stable circular orbit (ISCO) $r_{(0)}=r_{(0)*}$ the function $D$ of $r_{(0)}$ admits a single root outside the horizon, $$\label{Disco} D_* \equiv \left. D\right\vert_* = r_{(0)*}^2-6r_{(0)*}+8 \sigma a\sqrt{r_{(0)*}}-3a^2= 0.$$ Its occurrence in various expressions below will therefore merit all our attention. The algebraic part of the resolution is standard and we shall therefore be concise. Equation at order $\eta^0$ gives $\Gamma^{ r}_{\mu\nu}\xi^\mu_{(0)}\xi^\nu_{(0)}=0$ with $\xi_{(0)}=\p_{ t}+\Omega_{(0)}\p_{\phi}$. This yields $\Omega_{(0)}=\sigma(r_{(0)}^{3/2} + \sigma a)^{-1}$. The redshift $U_{(0)}= \sigma A^{-1/2}\Omega_{(0)}^{-1}$ is computed from Eq. . We can then solve Eqs. and to obtain $e_{(0)}=e_{(0)}(r_{(0)})$ and $\ell_{(0)}=\ell_{(0)}(r_{(0)})$. The unique solution to Eqs. , , and at order $\eta^0$ can then be written as \[lcirceqall\] $$\begin{aligned} \Omega_{(0)}(\tilde \tau) &= \Omega_{(0)}[r_{(0)}(\tilde \tau)] \equiv \sigma (r_{(0)}^{3/2} + \sigma a)^{-1}, \\[1ex] U_{(0)}(\tilde \tau) &= U_{(0)}[r_{(0)}(\tilde \tau)] \equiv \sigma A^{-1/2} \Omega_{(0)}^{-1} = A^{-1/2} \vert\Omega_{(0)}\vert^{-1}, \\[1ex]\label{lcirceq} \ell_{(0)}(\tilde \tau) &= \ell_{(0)}[r_{(0)}(\tilde \tau)] \equiv \sigma B\,A^{-1/2}, \\[1ex]\label{ecirceq} e_{(0)}(\tilde \tau) &= e_{(0)}[r_{(0)}(\tilde \tau)] \equiv C\,A^{-1/2}.\end{aligned}$$ Then, from Eq. at adiabatic order we obtain $\delta_{(0)}=0$. Note that $\ell_{(0)}$ and $\Omega_{(0)}$ are odd under $\sigma\rightarrow -\sigma$ while other quantities are even. The slow time evolution of $r_{(0)}$ is then deduced from either the $t$ or $\phi$ components of the geodesic equation at linear order in $\eta$ as $$\begin{aligned} \label{r0inspiral} \frac{dr_{(0)}}{d\tilde\tau} &= \frac{2\Delta_{(0)}A^{3/2}}{r_{(0)}^{1/2}B\,D}f^t_{(1)}.\end{aligned}$$ Since $D$ appears in the denominator, the solution breaks down at the ISCO. In the Schwarzschild case ($a=0$, $\sigma=1$), this equation reduces to Eq. (103) of @Miller:2020bft after using the conversion from slow proper time to slow coordinate time, $d\tilde \tau=U_{(0)}^{-1}d\tilde t$. 1-post-adiabatic inspiral {#sec:1PAinspiral} ------------------------- In this section we obtain the equations for the quasi-circular inspiral at first post-adiabatic (1PA) order. The redshift and the orbital frequency are computed from Eqs. and , respectively, $$\begin{aligned} U_{(1)} =& \frac{\sigma B}{\Omega_{(0)}^2A^{3/2}}\Omega_{(1)},\qquad \label{Omega1} \Omega_{(1)} = -\sigma\frac{r_{(0)}^{5/2}\Omega_{(0)}^2A}{2\Delta_{(0)} }f^r_{(1)} -\frac{3\sigma r_{(0)}^{1/2}\Omega_{(0)}^2}{2} r_{(1)}.\end{aligned}$$ In the Schwarzschild case, we recover Eq. (104) of @Miller:2020bft. One can use Eq. to relate the 1PA corrections of the energy and the angular momentum, and, use Eq. to obtain $\ell_{(1)}$, $$\begin{aligned} \label{el1} e_{(1)} = \Omega_{(0)}\ell_{(1)},\qquad \ell_{(1)} = \frac{r_{(0)}^{1/2}}{2\Omega_{(0)}A^{1/2}} \left( \frac{D}{A}r_{(1)} - r_{(0)}^2 f^r_{(1)}\right).\end{aligned}$$ Equation is then obeyed. It is straightforward to compute the first-order deviation $\delta_{(1)}$ from the radial self-force $f^r_{(1)}$ using Eqs. and , $$\label{delta1} \delta_{(1)} = \frac{r_{(0)}^{5/2}A}{2\Delta_{(0)}}f^r_{(1)}.$$ From Eq. we obtain $$f^\phi_{(2)}=\frac{e_{(0)}}{\ell_{(0)}}f^t_{(2)} - \sigma\left(\frac{3\Delta_{(0)}^2}{B^2 D}\delta_{(1)} + \frac{r_{(0)}^{1/2}D}{2B^2}r_{(1)} \right) f^t_{(1)}.$$ Following Eq. , the second-order self-force can be decomposed as $$\label{decomp} f_{(2)}^\mu = r_{(1)} f_{(1)}^{\mu,\text{lin}}(r_{(0)}) + f_{(2)}^{\mu,\text{non-lin}}(r_{(0)}),$$ where $f_{(1)}^{\mu,\text{lin}}(r_{(0)})$ and $f_{(2)}^{\mu,\text{non-lin}}(r_{(0)})$ are retarded functionals of $r_{(0)}$. This form is compatible with Eq. (209) of @Miller:2020bft. The $t$-component of the geodesic equation finally gives the slow time evolution of $r_{(1)}$, $$\label{eqr1} \frac{dr_{(1)}}{d\tilde \tau} - \frac{A^{1/2}T_1}{B^2D^2}f^t_{(1)}r_{(1)} -\frac{2A^{3/2}\Delta_{(0)}}{r_{(0)}^{1/2}B \, D}f^{t,\text{lin}}_{(1)} r_{(1)} = S^r_{(1)} \equiv \frac{2A^{3/2}\Delta_{(0)}}{r_{(0)}^{1/2}B \, D}f^{t,\text{non-lin}}_{(2)} + \frac{r_{(0)}^2 A}{D}\frac{df^r_{(1)}}{d\tilde \tau} + \frac{r_{(0)}^{2}A^{3/2}\Delta_{(0)}T_2}{B^2D^2} f^t_{(1)}f^r_{(1)}.$$ The functions $T_1$ and $T_2$ are given in Appendix \[app:nPA\_functions\]. In the Schwarzschild case, this equation is compatible with Eqs. (103) and (106) of @Miller:2020bft after using the conversion from slow proper time to slow coordinate time, $\frac{dr_{(1)}}{d\tilde \tau}=U_{(0)}\frac{dr_{(1)}}{d\tilde t} + U_{(1)}\frac{dr_{(0)}}{d\tilde t}$. 2-post-adiabatic inspiral {#sec:2PAinspiral} ------------------------- In this section we derive the equations for the quasi-circular inspiral at second post-adiabatic (2PA) order keeping in mind the 0PA and 1PA results. The redshift and the orbital frequency are computed from Eqs. and , respectively, $$\begin{aligned} \label{U2} U_{(2)} =& \frac{\sigma B}{\Omega_{(0)}^2A^{3/2}}\Omega_{(2)} - \frac{3\sigma r_{(0)}\Omega_{(0)}T_3}{8A^{5/2}}r_{(1)}^2 + \frac{2\sigma r_{(0)}A^{5/2}\Delta_{(0)}}{\Omega_{(0)}B^2D^2}\left(f^t_{(1)}\right)^2 + \frac{\sigma r_{(0)}^5\Omega_{(0)}T_4}{8A^{1/2}\Delta_{(0)}^2}\left(f^r_{(1)}\right)^2 - \frac{\sigma r_{(0)}^3\Omega_{(0)}T_3}{4A^{3/2}\Delta_{(0)}}r_{(1)}f^r_{(1)}, \\[1ex]\label{Omega2} \begin{split}\Omega_{(2)} =& -\sigma\frac{r_{(0)}^{5/2}\Omega_{(0)}^2A}{2\Delta_{(0)}}f^r_{(2)} - \frac{3\sigma r_{(0)}^{1/2}\Omega_{(0)}^2}{2} r_{(2)} - \frac{3\Omega_{(0)}^3\left(\sigma a-5r_{(0)}^{3/2}\right)}{8r_{(0)}^{1/2}}r_{(1)}^2 + \sigma\frac{r_{(0)}^2\Omega_{(0)}^2A^3T_5}{B^3D^3}\left(f^t_{(1)}\right)^2 +\\ &-\frac{r_{(0)}^{13/2}\Omega_{(0)}^3T_6}{8\Delta_{(0)}^2}\left(f^r_{(1)}\right)^2 - \frac{r_{(0)}^3\Omega_{(0)}^3T_7}{4\Delta_{(0)}^2}r_{(1)}f^r_{(1)} + \sigma\frac{r_{(0)}^2\Omega_{(0)}^2A^{5/2}}{B\,D}\frac{df^t_{(1)}}{d\tilde\tau}.\end{split}\end{aligned}$$ All functions $T_{i}$, $i=3,4,\dots,20$ are given in Appendix \[app:nPA\_functions\]. One can use Eqs. and to write the 2PA corrections to the energy and the angular momentum, respectively, $$\begin{aligned} \label{el2} e_{(2)} =& \Omega_{(0)}\ell_{(2)} - \frac{3\sigma r_{(0)}\Omega_{(0)}D}{8A^{3/2}}r_{(1)}^2 + \frac{2\sigma r_{(0)}\Omega_{(0)}A^{7/2}\Delta_{(0)}}{B^2D^2}\left(f^t_{(1)}\right)^2 + \frac{\sigma r_{(0)}^5\Omega_{(0)}A^{1/2}}{8\Delta_{(0)}}\left(f^r_{(1)}\right)^2 + \frac{3\sigma r_{(0)}^3\Omega_{(0)}}{4A^{1/2}}r_{(1)}f^r_{(1)}, \\[1ex] \begin{split}\ell_{(2)} =& \frac{r_{(0)}^{1/2}}{2\Omega_{(0)}A^{1/2}} \left( \frac{D}{A}r_{(2)} - r_{(0)}^2 f^r_{(2)}\right) + \frac{\sigma r_{(0)}T_{15}}{8A^{5/2}}r_{(1)}^2 + \frac{\sigma r_{(0)}^2A^{3/2}\Delta_{(0)}T_{16}}{B^3D^3}\left(f^t_{(1)}\right)^2 - \frac{\sigma r_{(0)}^5T_{17}}{8A^{1/2}\Delta_{(0)}}\left(f^r_{(1)}\right)^2 +\\ &- \frac{\sigma r_{(0)}^3T_{18}}{4A^{3/2}}r_{(1)}f^r_{(1)} + \frac{r_{(0)}^2A\,\Delta_{(0)}}{\Omega_{(0)}B\,D}\frac{df^t_{(1)}}{d\tilde\tau}.\end{split}\end{aligned}$$ Equation is then obeyed. We compute the second-order deviation $\delta_{(2)}$ using the definition and Eqs. and , $$\label{delta2} \delta_{(2)} = \frac{r_{(0)}^{5/2}A}{2\Delta_{(0)}}f^r_{(2)} - \frac{r_{(0)}^2A^3T_5}{B^3D^3}\left(f^t_{(1)}\right)^2 + \frac{r_{(0)}^5A\,T_{19}}{8\Delta_{(0)}^2}\left(f^r_{(1)}\right)^2 + \frac{r_{(0)}^3T_{20}}{4\Delta_{(0)}^2}r_{(1)}f^r_{(1)} - \frac{r_{(0)}^2A^{5/2}}{B\,D}\frac{df^t_{(1)}}{d\tilde\tau}.$$ Equation can be used to deduce $f^\phi_{(3)}$ in terms of $f^t_{(3)}$ and zeroth and first-order quantities. The $t$-component of geodesic equation finally gives the slow time evolution of $r_{(2)}$, $$\begin{aligned} \label{eqr2} \frac{dr_{(2)}}{d\tilde \tau} -& \frac{A^{1/2}T_1}{B^2D^2}f^t_{(1)}r_{(2)} - \frac{2A^{3/2}\Delta_{(0)}}{r_{(0)}^{1/2}B \, D}f^{t,\text{lin}}_{(1)}r_{(2)} = S^r_{(2)}, \\[1ex] \begin{split}S^r_{(2)}\equiv&\frac{2A^{3/2}\Delta_{(0)}}{r_{(0)}^{1/2}B \, D}f^{t,\text{non-lin}}_{(3)} + \frac{r_{(0)}^2 A}{D}\frac{df^r_{(2)}}{d\tilde \tau} - \frac{2r_{(0)}^{3/2}A^{5/2}\Delta_{(0)}}{B\,D^2}\frac{d^2f^t_{(1)}}{d\tilde\tau^2} + \frac{A^{1/2}T_1}{B^2D^2}r_{(1)}f^t_{(2)} +\\ &+ \frac{r_{(0)}^2A^{3/2}\Delta_{(0)}T_2}{B^2D^2} \left(f^t_{(1)}f^r_{(2)} + f^t_{(2)}f^r_{(1)}\right) - \frac{4r_{(0)}^{3/2}A^3\Delta_{(0)}T_8}{B^3D^4}f^t_{(1)}\frac{df^t_{(1)}}{d\tilde\tau} + \frac{r_{(0)}^{9/2}A\,T_9}{\Delta_{(0)}B\,D^2}f^r_{(1)}\frac{df^r_{(1)}}{d\tilde\tau} +\\ &- \frac{3T_{10}}{D^2}r_{(1)}\frac{df^r_{(1)}}{d\tilde\tau} - \frac{2r_{(0)}^{3/2}A^{7/2}\Delta_{(0)}T_{11}}{B^5D^6}\left(f^t_{(1)}\right)^3 + \frac{r_{(0)}^{9/2}A^{3/2}T_{12}}{4\Delta_{(0)}B^3D^3}f^t_{(1)}\left(f^r_{(1)}\right)^2 + \frac{r_{(0)}^{1/2}T_{13}}{4A^{1/2}B^3D^3}r_{(1)}^2f^t_{(1)} +\\ &+ \frac{r_{(0)}^{5/2}A^{1/2}T_{14}}{2B^3D^3}r_{(1)}f^t_{(1)}f^r_{(1)},\end{split}\end{aligned}$$ where we have used the writing for the third-order self-force. n-post-adiabatic inspiral ------------------------- We follow the same procedure as the one described in the previous sections. Equation is first solved for $U_{(n)}$ while $\Omega_{(n)}$ is computed from Eq. . One then solves Eqs. and to obtain the $n$PA corrections to the energy and angular momentum. Using the angular velocity and the definition one can compute $\delta_{(n)}$. Equation can be used to deduce $f^\phi_{(n+1)}$ in terms of $f^t_{(n+1)}$ and lower order quantities. The self-force at order $(n+1)$ can be written using the decomposition . The slow time evolution of $r_{(n)}$ is then be obtained from the $t$-component of the geodesic equation at order $\eta^{n+1}$. It has the following structure $$\begin{aligned} \label{nPAeq} &\frac{dr_{(n)}}{d\tilde\tau} - \frac{A^{1/2}T_1}{B^2D^2}f^t_{(1)}r_{(n)} -\frac{2A^{3/2}\Delta_{(0)}}{r_{(0)}^{1/2}B \, D}f^{t,\text{lin}}_{(1)} r_{(n)} = S^r_{(n)},\end{aligned}$$ where $S^r_{(n)}$ is the source term. Inspiral towards the last stable orbit -------------------------------------- We will now consider the inspiral motion close to the last stable orbit (LSO) first in the adiabatic approximation (0PA), then including subleading corrections (1PA), and we will comment upon arbitrary high subleading orders ($n$PA). In this limit the quasi-circular inspiral is expected to smoothly match with the transition-to-plunge motion. We will denote as $\tilde \tau_*$ the slow proper time at the LSO, which is either prograde or retrograde depending upon the sign of $\sigma$. The last stable orbit is defined from the radius $r$ where $$\label{iscocond1} \left.\frac{\p^2 V^{\text{geo}}(e,\ell,r,a)}{\p r^2}\right. = \frac{2D}{r_{(0)}^2A} + O_{\tilde\tau}(\eta) = 0$$ after using $\ell=\ell_{(0)}$ and $e=e_{(0)}$ as given in Eqs. and . At leading order in the small mass ratio expansion, the LSO therefore coincides with the ISCO since $D \vert_*=0$. Hence, we can either use the terminology of LSO or ISCO at this order though both concepts differ once subleading corrections in the mass ratio are considered. In the absence of radial self-force, as assumed for simplicity in the original Ori-Thorne analysis @Ori:2000zn, Eq. implies the exact quasi-circularity condition, $$\label{deOmegadl} f^r=0 \quad \Rightarrow \quad \frac{de}{d\tau}= \Omega\frac{d\ell}{d\tau}.$$ In reality, the normalization of the four-velocity gives the orthogonality condition $f_\mu v^\mu =0$, precisely Eq. , which leads to a deviation from quasi-circularity, as originally observed by Kesden @Kesden:2011ma, see also @Compere:2019cqe. The motion still remains quasi-circular in the sense of Eqs. and below. We will refer to a deviation from Eq. as a deviation from exact quasi-circularity. In order to account for deviation from exact quasi-circularity close to the LSO, we define the quantity $$\label{defW} W = \Omega_{(0)*}^{-1}(e-e_{(0)*}) - (\ell-\ell_{(0)*}) ,$$ which naturally arises in the transition motion and will be therefore helpful in the asymptotic matching. It admits an expansion as , $$\label{expW} W = \sum_{i=0}^\infty \eta^i\,W_{(i)}, \qquad W_{(i)}=\Omega_{(0)*}^{-1}(e_{(i)}-e_{(0)*}\delta_{i,0}) - (\ell_{(i)}-\ell_{(0)*}\delta_{i,0}),$$ where $\delta_{i,j}$ is the Kronecker delta. ### Adiabatic order As demonstrated in @Ori:2000zn [@Kesden:2011ma], the slow-timescale expansion breaks down at the ISCO in the absence of radial self-force corrections. Now, radial self-force corrections only occur starting from 1PA order, see Eq. . At 0PA order, the radial evolution breaks down at the radial geodesic ISCO value $r_{(0)}=r_{(0)*}$ since $D_*=0$ and other quantities remain finite and non-vanishing, which implies that $dr_{(0)}/d\tilde \tau$ blows up. We consider the limit in which $\tilde\tau\to\tilde\tau_*$ and $r_{(0)}\to r_{(0)*}$ and expand the equation of motion around $r_{(0)*}$. In particular $$\label{Dval} D = \frac{2A_*}{r_{(0)*}^2}\left(r_{(0)}-r_{(0)*}\right) + O\left(r_{(0)}-r_{(0)*}\right)^2.$$ From Eq. , the first-order self-force admits the Taylor expansion $$\label{exp_ft1} f^\mu_{(1)} = \sum_{i=0}\left.\frac{d^i f^\mu_{(1)}}{d r_{(0)}^i}\right\vert_*\left(r_{(0)}-r_{(0)*}\right)^i = \sum_{i=0}\left.\frac{d^i F^\mu_1}{dr^i}\right\vert_{(0)*}\left(r_{(0)}-r_{(0)*}\right)^i.$$ The functional dependence of $F^\mu_1$ on $r$ is the same as the one on $r_{(0)}$. The subscript $(0)*$ indicates that the self-force is evaluated both at zeroth-order in its arguments and at the ISCO. The expansion of Eq. around the ISCO then takes the form $$\frac{dr_{(0)}}{d\tilde\tau} = \sum_{i=-1}^\infty h_{(0),i}^*\left(r_{(0)}-r_{(0)*}\right)^i,$$ where $h_{(0),-1}^*=\frac{4r_{(0)*}^{1/2}A_*^{3/2}}{3B_*}\left.f^t_{(1)}\right\vert_*$ after using the property $$\label{theproperty} 4A_*=3r_{(0)*}\Delta_{(0)*}.$$ Note that $h_{(0),-1}^*<0$ because angular momentum is lost by the radiation, which implies $\left.f^t_{(1)}\right\vert_*<0$. The solution to the equation of motion is consistent with an expansion in half-integer powers of $(\tilde\tau_*-\tilde\tau)$, $$\begin{aligned} \label{inspiralexplicit_r} r_{(0)} &= r_{(0)*} + \sum_{i=1}^\infty r^*_{(0),i} (\tilde \tau_*-\tilde \tau)^{i/2},\end{aligned}$$ where $$\label{r01} r_{(0),1}^*=\sqrt{-2 h_{(0),-1}^*} = \sqrt{-\frac{8r_{(0)*}^{1/2}A_*^{3/2}}{3B_*}\left.f^t_{(1)}\right\vert_*} = \sqrt{-\frac{8r_{(0)*}^{1/2}A_*^{3/2}}{3B_*}\left.F^t_1\right\vert_{(0)*}}.$$ All $r_{(0),i}^*$ can be algebraically computed for any $i \geq 2$ in terms of $h_{(0),j}^*$, $j=-1,0,1,2,\dots$ The first such subleading terms are $r_{(0),2}^*=-\frac{2}{3}h_{(0),0}^*$ and $r_{(0),3}^*=\frac{(h_{(0),0}^*)^2+9h_{(0),-1}^*h_{(0),1}^*}{9\sqrt{2}(-h_{(0),-1}^*)^{1/2}}$. We can now obtain the entire expansion close to the LSO of all adiabatic quantities after substituting the solution into the constraints . We denote the adiabatic energy, angular momentum and angular velocity at the ISCO as $e_{(0)*}=C_*/\sqrt{A_*}$, $\ell_{(0)*}=\sigma B_*/\sqrt{A_*}$, $\Omega_{(0)*}=\sigma/(r_{(0)*}^{3/2}+\sigma a)$. We obtain \[inspiralexplicit\_all\] $$\begin{aligned} \label{inspiralexplicit_ell} \ell_{(0)} &= \ell_{(0)*} + \kappa^*_{(0),2} (\tilde \tau_*-\tilde \tau) + \kappa^*_{(0),3} (\tilde \tau_*-\tilde \tau)^{3/2} + O(\tilde \tau_*-\tilde \tau)^{2}, \\[1ex]\label{inspiralexplicit_e} e_{(0)} &= e_{(0)*} + \Omega_{(0)*} \kappa_{(0),2}^*(\tilde \tau_*-\tilde \tau) + e_{(0),3}^* (\tilde \tau_*-\tilde \tau)^{3/2} + O(\tilde \tau_*-\tilde \tau)^{2} , \\[1ex]\label{inspiralexplicit_omega} \Omega_{(0)} &= \Omega_{(0)*} + \Omega_{(0),1}^*(\tilde \tau_*-\tilde \tau)^{1/2} + O(\tilde \tau_*-\tilde \tau) \end{aligned}$$ with $$\begin{aligned} \label{k02} \kappa_{(0),2}^* &= \frac{(r^*_{(0),1})^2}{2r_{(0)*}^{3/2}\Omega_{(0)*}A_*^{1/2}}, \\[1ex]\label{k03} \kappa_{(0),3}^* &= \frac{\sigma r_{(0)*}}{4A_*^{5/2}}\left( \frac{r_{(0)*}^{1/2}E_*}{4A_*}(r^*_{(0),1})^2+T^*_{15} r^*_{(0),2}\right) r^*_{(0),1}, \\[1ex]\label{cons2} e_{(0),3}^* &= \Omega_{(0)*} \left( \kappa^*_{(0),3} - \sigma r_{(0)*}^{1/2}\Omega_{(0)*} r^*_{(0),1}\kappa^*_{(0),2}\right), \\[1ex]\label{cons1} \Omega_{(0),1}^* &= -\frac{3}{2}\sigma r_{(0)*}^{1/2}\Omega_{(0)*}^2r^*_{(0),1}.\end{aligned}$$ The coefficients $E_*$ and $T_{15}^*\equiv T_{15}\vert_*$ are given in Appendix \[app:nPA\_functions\]. Using the above expressions for $\ell_{(0)}$ and $e_{(0)}$ in the flux-balance equations , we note that the first-order self-forces are obtained as $$\begin{aligned} f^t_{(1)} =& \sum_{i=0}^\infty f^{t*}_{(1),i}(\tilde\tau_* - \tilde\tau)^{i/2}, \qquad f^\phi_{(1)} = \sum_{i=0}^\infty f^{\phi*}_{(1),i}(\tilde\tau_* - \tilde\tau)^{i/2}.\end{aligned}$$ which are equivalent to Eq. . The lowest order terms are $f^{t*}_{(1),0}=-\frac{\Omega_{(0)*}B_*}{\Delta_{(0)*}} \kappa^*_{(0),2}$ and $f^{\phi*}_{(1),0}=-\frac{\sigma \Omega_{(0)*}C_*}{\Delta_{(0)*}}\kappa^*_{(0),2}$. We deduce from the solution that the deviation from exact quasi-circularity is $$\label{W0_insp_sol} W_{(0)} = \Omega_{(0)*}^{-1}(e_{(0)}-e_{(0)*})-(\ell_{(0)}-\ell_{(0)*})= -\sigma r_{(0)*}^{1/2}\Omega_{(0)*}r_{(0),1}^*\kappa_{(0),2}^* (\tilde \tau_*-\tilde \tau)^{3/2} + O(\tilde \tau_*-\tilde \tau)^2.$$ Let us now obtain expressions for $r_{(0),1}^*$, $r_{(0),2}^*$, $\kappa_{(0),2}^*$ and $\kappa_{(0),3}^*$ which will allow to easily match the transition motion. Inverting Eqs. and we can rewrite $r_{(0),1}^*$ and $r_{(0),2}^*$ as $$\begin{aligned} \label{r01_m} r_{(0),1}^* =& \sqrt{2r_{(0)*}^{3/2}\Omega_{(0)*}A_*^{1/2}\kappa_{(0),2}^*}, \\[1ex]\label{r02_m} r_{(0),2}^* =& -\frac{1}{T^*_{15}}\left(\frac{r_{(0)*}^{1/2}E_*}{4A_*}\left(r_{(0),1}^*\right)^2 - \frac{4A_*^{5/2}}{r_{(0)*}r_{(0),1}^*}\kappa_{(0),3}^*\right).\end{aligned}$$ One can compute $\ell_{(0)}$ also by using the flux-balance equations and a Taylor expansion as in Eq. for $f_\phi^{(1)}$. Then, comparing with Eq. , the coefficients $\kappa_{(0),2}^*$ and $\kappa_{(0),3}^*$ are obtained as $$\begin{aligned} \label{k02_sf} \kappa_{(0),2}^* =& -\left.f_{\phi}^{(1)}\right\vert_* = -\left.F_{\phi\,1}\right\vert_{(0)*}, \\[1ex]\label{k03_sf} \kappa_{(0),3}^* =& -\frac{2}{3}\left.\frac{d f_\phi^{(1)}}{d r_{(0)}}\right\vert_* r_{(0),1}^* = -\frac{2}{3}\left.\frac{dF_{\phi\,1}}{d r}\right\vert_{(0)*} r_{(0),1}^*.\end{aligned}$$ ### 1-post-adiabatic order The variables at 1PA order are $(r_{(1)},\Omega_{(1)},e_{(1)},\ell_{(1)},\delta_{(1)},W_{(1)})$ and the self-force components appearing at 1PA order are $f_{(2)}^{t,\phi}$ and $f_{(1)}^r$. We will now deduce the behavior of these fields close to the LSO. Given the expansion and the solution , the first-order radial self-force $f^{r}_{(1)}$ can be expanded as $$\label{fr1insp} f^r_{(1)} = \sum_{i=0}^\infty f^{r*}_{(1),i}(\tilde\tau_*-\tilde\tau)^{i/2}.$$ where the coefficients $f^{r*}_{(1),i}$ can be written in terms of the Taylor coefficients of Eq. , that is, $$\label{fr10_fr11} f^{r*}_{(1),0} = \left.F^r_1\right\vert_{(0)*}, \qquad f^{r*}_{(1),1}=\left.\frac{d F^r_1}{d r}\right\vert_{(0)*}r_{(0),1}^*, \qquad \dots$$ The second-order self-forces, on the other hand, depend non-linearly on $r_{(0)}$ and at most linearly on $r_{(1)}$. They can be written as in Eq. . Given that they only depend on $r_{(0)}$, the functions $f_{(1)}^{\mu,\text{lin}}$ and $f_{(2)}^{\mu,\text{non-lin}}$ admit the expansion \[fmu2\_LSO\] $$\begin{aligned} f_{(1)}^{\mu,\text{lin}} =& \sum_{i=0}^\infty f_{(1),i}^{\mu,\text{lin}*}(\tilde\tau_* - \tilde\tau)^{i/2} \quad \text{where} \quad f_{(1),0}^{\mu,\text{lin}*} = \left.\frac{dF^\mu_1}{dr}\right\vert_{(0)*}, \qquad f_{(1),1}^{\mu,\text{lin}*} = \left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{(0)*}r_{(0),1}^*, \qquad \dots \\[1ex] f_{(2)}^{\mu,\text{non-lin}} =& \sum_{i=0}^\infty f_{(2),i}^{\mu,\text{non-lin}*}(\tilde\tau_* - \tilde\tau)^{i/2} \quad \text{where} \quad f_{(2),0}^{\mu,\text{non-lin}*} = \left.F^\mu_2\right\vert_{(0)*}, \qquad f_{(2),1}^{\mu,\text{non-lin}*} = \left.\frac{dF^\mu_2}{dr}\right\vert_{(0)*}r_{(0),1}^*, \qquad \dots\end{aligned}$$ Using these expansions together with the adiabatic results the differential equation for $r_{(1)}$ takes the schematic form $$\label{eqr1_LSO} \frac{dr_{(1)}}{d\tilde\tau} + r_{(1)}\sum_{i=-2}^\infty h_{(1),i}^* (\tilde\tau_* - \tilde\tau)^{i/2} = \sum_{j=-2}^\infty S_{(1),j}^{r*}(\tilde\tau_* - \tilde\tau)^{i/2},$$ where $S_{(1),j}^{r*}$ are the LSO-coefficients of the source $S_{(1)}^r(\tilde\tau)$ and $h_{(1),i}^*$ are coefficients at the LSO. In particular, $h_{(1),-2}^*=\frac{3r^{7/2}_{(0)*}T_1^*}{32A_*^3 B_*}=-\frac{1}{2}$. The homogeneous solution is then $$\label{r1_sol_homog} r_{(1)}^\text{h}(\tilde \tau) = \sum_{i=-1}^\infty q_{(1),i}^*(\tilde\tau_* - \tilde\tau)^{i/2}.$$ The first coefficient $q_{(1),-1}^*$ is currently left arbitrary. It will be fixed from Eqs. and below. The subleading coefficients are easily found in terms of the coefficients $h_{(1),i}^*$ by plugging the solution back into the homogeneous equation . We find for $i \geq 0$, $$q_{(1),i}^*=\frac{2}{i+1}\sum_{j=0}^{i} q_{(1),j-1}^*h_{(1),i-j-1}^*.$$ We compute the particular solution using the method of variation of constants. We seek a solution of the form $$r_{(1)}^\text{p}(\tilde\tau) = k_{(1)}(\tilde\tau) r_{(1)}^\text{h}(\tilde\tau).$$ Substituting it into Eq. we obtain that $k_{(1)}(\tilde\tau)$ is given by $$\label{k1} \begin{split} k_{(1)}(\tilde\tau) &= \int^{\tilde\tau} \frac{S_{(1)}^r(\tilde\tau^\prime)}{r_{(1)}^\text{h}(\tilde\tau^\prime)} d\tilde\tau^\prime = \int^{\tilde\tau} \sum_{i=0}^\infty S_{(1),i-2}^{r*}(\tilde\tau_* - \tilde\tau^\prime)^{i/2-1} \sum_{j=0}^\infty q_{(1),j+1}^{*(-)}(\tilde\tau_* - \tilde\tau^\prime)^{(j+1)/2} d\tilde\tau^\prime \\[1ex] &= \int^{\tilde\tau} \sum_{n=0}^\infty \sum_{i=0}^n S_{(1),i-2}^{r*} q_{(1),n-i+1}^{*(-)}(\tilde\tau_* - \tilde\tau)^{(n-1)/2} d\tilde\tau^\prime \\[1ex] &= \sum_{n=1}^\infty \left(-\frac{2}{n}\sum_{i=0}^{n-1} S_{(1),i-2}^{r*} q_{(1),n-i}^{*(-)}\right)(\tilde\tau_* - \tilde\tau)^{n/2} \equiv \sum_{n=1}^\infty k_{(1),n}^*(\tilde\tau_* - \tilde\tau)^{n/2}. \end{split}$$ Here $q_{(1),i}^{*(-)}$ are the coefficients of the inverse of the homogeneous solution where $q_{(1),1}^{*(-)}=1/q_{(1),-1}^*$ and $$q^{*(-)}_{(1),i+1}=-\sum_{j=1}^i \frac{q_{(1),j-1}^*q_{(1),i-j+1}^{*(-)}}{q_{(1),-1}^*},\qquad\forall i\geq1.$$ Finally, we obtain $$\label{r1_sol_part} \begin{split} r_{(1)}^\text{p}(\tilde \tau) &= \sum_{n=1}^\infty k_{(1),n}^*(\tilde\tau_* - \tilde\tau)^{n/2} \sum_{j=-1}^\infty q_{(1),j}^*(\tilde\tau_* - \tilde\tau)^{j/2} \\[1ex] &= \sum_{i=0}^\infty \sum_{n=0}^i k_{(1),n+1}^* q_{(1),i-n-1}^*(\tilde\tau_* - \tilde\tau)^{i/2} \\[1ex] &= \sum_{i=0}^\infty \left(\sum_{n=0}^i q_{(1),i-n-1}^*\frac{-2}{n+1}\sum_{\ell=0}^n S_{(1),\ell-2}^{r*} q_{(1),n-\ell+1}^{*(-)}\right)(\tilde\tau_* - \tilde\tau)^{i/2} \\[1ex] &\equiv \sum_{i=0}^\infty p_{(1),i}^*(\tilde\tau_* - \tilde\tau)^{i/2}. \end{split}$$ We have $p_{(1),0}^*=-2S_{(1),-2}^{r*}$. We can finally write the asymptotic solution for $r_{(1)}$ as $\tilde\tau\to\tilde\tau_*$ as $$\label{r1_sol} r_{(1)} = \sum_{i=-1}^\infty r_{(1),i}^*(\tilde\tau_* - \tilde\tau)^{i/2}, \qquad r_{(1),-1}^* = q_{(1),-1}^*, \qquad r_{(1),i}^* = q_{(1),i}^* + p_{(1),i}^*\quad\forall i\geq 0.$$ The energy $e_{(1)}$, angular momentum $\ell_{(1)}$, angular velocity $\Omega_{(1)}$ and deviations $\delta_{(1)}$ and $W_{(1)}$ are obtained from the solutions to the constraints at 1PA order. Given Eq. , they can be expanded as $$\begin{aligned} \label{ell1_LSO} \ell_{(1)} &= \sum_{i=0}^\infty \ell_{(1),i}^* (\tilde \tau_* - \tilde \tau)^{i/2}, \\[1ex] e_{(1)} &=\sum_{i=0}^\infty e_{(1),i}^* (\tilde \tau_* - \tilde \tau)^{i/2}, \\[1ex] \Omega_{(1)} &= \sum_{i=-1}^\infty \Omega_{(1),i}^* (\tilde \tau_* - \tilde \tau)^{i/2}, \\[1ex]\label{delta1_inspLSO} \delta_{(1)} &= \sum_{i=0}^\infty \delta_{(1),i}^* (\tilde \tau_* - \tilde \tau)^{i/2}, \\[1ex]\label{W1} W_{(1)} &= \sum_{i=1}^\infty w_{(1),i}^* (\tilde \tau_* - \tilde \tau)^{i/2}, \end{aligned}$$ where the lowest order coefficients are $$\begin{aligned} \label{l10} \ell_{(1),0}^* =& -\frac{r_{(0)*}^{5/2}}{2\Omega_{(0)*}A_*^{1/2}}f^{r*}_{(1),0} + \frac{r_{(0)*} T^*_{15}}{4A_*^{5/2}}r_{(0),1}^*r_{(1),-1}^*, \\[1ex]\label{e10} e_{(1),0}^* =& \Omega_{(0)*}\ell_{(1),0}^*, \\[1ex] \Omega_{(1),-1}^* =& -\frac{3r_{(0)*}^{1/2}\Omega_{(0)*}^2}{2}r_{(1),-1}^*, \\[1ex]\label{delta10} \delta_{(1),0}^* =& \frac{r_{(0)*}^{5/2}A_*}{2\Delta_{(0)*}}f^{r*}_{(1),0}, \\[1ex]\label{w11} w_{(1),1}^* =& \frac{3r_{(0)*}^{3/2}}{4A_*^{1/2}}\left(\frac{F_*}{4A_*^2}\left(r_{(0),1}^*\right)^2r_{(1),-1}^* + r_{(0)*}^{3/2}r_{(0),1}^*f^{r*}_{(1),0}\right), \\[1ex]\label{w12} \begin{split}w_{(1),2}^* =& \frac{3r_{(0)*}^3}{4A_*^{1/2}}\left(r_{(0),1}^* f^{r*}_{(1),1} + r_{(0),2}^* f^{r*}_{(1),0}\right) + \frac{3 r_{(0)*}^{3/2}F_*}{16 A_*^{5/2}} \left(\left(r_{(0),1}^*\right)^2r_{(1),0}^* + 2r_{(0),1}^*r_{(0),2}^*r_{(1),-1}^*\right) +\\ &+ G_* \left(r_{(1),0}^*\right)^2 f^{r*}_{(1),0} + H_* \left(r_{(0),1}^*\right)^3r_{(1),-1}^*.\end{split}\end{aligned}$$ The functions $F_*$, $G_*$ and $H_*$ are given in Appendix \[app:nPA\_functions\]. The above expansion is compatible with imposing the condition $\ell_{(1),0}^*=0$, which implies from Eqs. and that $e_{(1),0}^*=0$ and $$\label{r1m1} r_{(1),-1}^* = \frac{2r_{(0)*}^{3/2}A_*^{2}}{r_{(0),1}^*\Omega_{(0)*}T^*_{15}}f^{r*}_{(1),0}.$$ We will show that this further restriction is consistent with the transition motion in the matching performed in Section \[match1PA\]. Using the above expressions for $\ell_{(1)}$ and $e_{(1)}$ in the flux-balance equations , one can rewrite the second-order self-forces as $$\begin{aligned} f^t_{(2)} =& \sum_{i=-1}^\infty f^{t*}_{(2),i}(\tilde\tau_* - \tilde\tau)^{i/2}, \qquad f^\phi_{(2)} = \sum_{i=-1}^\infty f^{\phi*}_{(2),i}(\tilde\tau_* - \tilde\tau)^{i/2}.\end{aligned}$$ We now obtain expressions which will become useful when asymptotically matching the transition motion. We can compute the second-order azimuthal self-force in two equivalent ways: either using the flux-balance equation and the expansion of $\ell_{(1)}$ , or using the solutions , and in the Taylor-expansion as . We get $$\label{fp2_inspsol} f_{\phi(2)} = \sum_{i=-1}^\infty f_{\phi(2),i}^*(\tilde\tau_* - \tilde\tau)^{i/2},$$ where the lowest order coefficient is given equivalently by \[fp2m1\] $$\begin{aligned} f_{\phi(2),-1}^* =& \frac{r_{(0)*}^{5/2}}{4\Omega_{(0)*}A_*^{1/2}} f^{r*}_{(1),1} + \frac{r_{(0)*}^3 T_{18}^*}{8A_*^{3/2}} r_{(0),1}^*f^{r*}_{(1),0} - \frac{r_{(0)*}T^*_{15}}{8A_*^{5/2}} \left(r_{(0),1}^*r_{(1),0}^* + r_{(0),2}^* r_{(1),-1}^*\right) - \frac{3r_{(0)*}^{3/2}}{32A_*^{7/2}} E_* (r_{(0),1}^*)^2r_{(1),-1}^*, \\[1ex] f_{\phi(2),-1}^* =& \left.\frac{dF^t_1}{dr}\right\vert_{(0)*} r_{(1),-1}^*.\end{aligned}$$ We will use these two expressions to compute $r_{(1),0}^*$ in Section \[match1PA\]. ### n-post-adiabatic order {#sec:npost} We further investigate the behaviour of the $n$th post-adiabatic ($n$PA) motion for $n=2,3,\dots $ close to the LSO. At each $n$PA order the homogeneous solution to Eq. is given by the same solution as the $1$PA expansion . We then consider a specific configuration $(\sigma a, r_{(0)*})$. We compute the source term $S^r_{(n)}$ and its $(\tilde\tau_*-\tilde\tau)$-behaviour close to the LSO, which is determined from lower order quantities that at this point are known. We assume that the order of the divergences at the LSO of the source terms originating from the non-linear terms $f_{(n+1)}^{t,\text{non-lin}}(r_{(0)},\dots ,r_{(n-1)})$ are lower or equal to the order of the divergences originating from all the other known source terms. Given the behaviour of the source one can straightforwardly compute the one of the particular solution using the method of variation of constants. We find that Eq. is consistent with the following solution as $\tilde\tau\to\tilde\tau_*$ $$\begin{aligned} \label{rn} r_{(n)}(\tilde \tau) - r_{(0)*} \delta_{n,0} &= \sum_{i=-q_{(n)}}^\infty r_{(n),i}^* (\tilde \tau_* - \tilde \tau)^{i/2},\end{aligned}$$ where $$\begin{aligned} \label{qn} q_{(n)} &= \left\{ \begin{array}{ll} \frac{5n-2}{2} & \text{for } n \text{ even}\\ \frac{5n-3}{2}& \text{for } n \text{ odd} \end{array} \right. ,\end{aligned}$$ for all $n=0,1,2,\dots$ In the same manner as in the previous sections, we also computed the quantities $\delta_{(n)}$ and $W_{(n)}$ that encode the deviation from a circular orbit, and which will be useful to match the transition motion. We find the behaviors $$\begin{aligned} \label{deltan} \delta_{(n)}(\tilde \tau) &= \sum_{i=-q^\prime_{(n)}}^\infty \delta_{(n),i}^* (\tilde \tau_* - \tilde \tau)^{i/2}, \\[1ex]\label{Wn} W_{(n)}(\tilde \tau) &= \sum_{i=-q_{(n)}^{\prime\prime}}^\infty w_{(n),i}^* (\tilde \tau_* - \tilde \tau)^{i/2},\end{aligned}$$ where $$\label{qn''} q^\prime_{(n)} = \left\{ \begin{array}{ll} \frac{5n-4}{2} & \text{for } n \text{ even and } n\neq0\\ \frac{5n-5}{2}& \text{for } n \text{ odd} \end{array} \right., \qquad q_{(n)}^{\prime\prime} = \left\{ \begin{array}{ll} \frac{5n-6}{2} & \text{for } n \text{ even}\\ \frac{5n-7}{2}& \text{for } n \text{ odd} \end{array} \right. ,$$ for all $n=0,1,2,\dots$ We did extensive checks up to $n=5$. We conjecture that these expansions remain valid for larger $n$. The transition-to-plunge motion in the $n$th post-leading transition expansion {#sec:transition} ============================================================================== We consider an expansion in the rescaled transition proper time $$\label{s} s \equiv \eta^{1/5} \left( \tau - \tau_*\right)$$ around the LSO crossing time $\tau_*$ or $s_*=0$. Even in the presence of self-force, the radial potential is given by $V^{\text{geo}}$ as described in Eq. and at leading order in $\eta$ the LSO matches with the ISCO. The transition motion will be defined from $s=-\infty$ (where it will asymptotically match the inspiral) up to the time $s_\text{break}>0$ where the transition-timescale expansion breaks down, see Eq. below. The validity of the transition equations with respect to the full equations of motion will be a smaller interval of proper time which will be assessed in Eq. below. We denote with $r_{[0]*}$, $\ell_{[0]*}$ and $e_{[0]*}$ the radius, angular momentum and energy evaluated at the ISCO. We define the variables $R$, $\xi$ and $Y$ as @Ori:2000zn [@Kesden:2011ma] \[expTRANSITION\] $$\begin{aligned} \label{expr} r - r_{[0]*} =& \eta^{2/5}R(\eta,s), \\[1ex]\label{expell} \ell - \ell_{[0]*} =& \eta^{4/5}\xi(\eta,s), \\[1ex]\label{expe} e - e_{[0]*} =& \Omega_{[0]*} \left[\eta^{6/5}Y(\eta,s) + \eta^{4/5}\xi(\eta,s)\right].\end{aligned}$$ Integrating the angular momentum flux-balance law and comparing with Eq. we obtain $$\label{solxi} \xi(\eta, s)=\eta^{-1}\int^s f_{\phi}(\eta, s^\prime)ds^\prime.$$ In the absence of radial self-force all variables $R$, $\xi$, and $Y$ scale as $\eta^0$ in the transition region for standard spins @Ori:2000zn [@Kesden:2011ma; @Compere:2019cqe; @Burke:2019yek]. In the presence of radial self-force corrections we expand $$\begin{aligned} \label{expRxiY} R(\eta,s) &= \sum_{i=0}^\infty \eta^{i/5} R_{[i]}(s), \qquad \xi(\eta,s) = \sum_{i=0}^\infty \eta^{i/5} \xi_{[i]}(s), \qquad Y(\eta,s) = \sum_{i=0}^\infty \eta^{i/5} Y_{[i]}(s).\end{aligned}$$ The indices in square brackets $[i]$ label the terms appearing at relative order $\eta^{i/5}$ with respect to the first nonvanishing leading terms in the transition-timescale expansion around $r_{[0]*}$, $\ell_{[0]*}$ and $e_{[0]*}$. We consider the self-force along the particle worldline in the transition region. Using the transition-timescale expansion and in Eq. we obtain $$\label{fmu_transition} \begin{split} f^\mu =& \eta\,\left.F^\mu_1\right\vert_{[0]*} + \eta^{7/5}\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[0]} + \eta^{8/5}\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[1]} + \eta^{9/5}\left(\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[2]} + \frac{1}{2}\left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{[0]*}R_{[0]}^2\right) +\\ &+ \eta^2\left(\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[3]} + \left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{[0]*}R_{[0]}R_{[1]} + \left.F^r_2\right\vert_{[0]*}\right) +\\ &+ \eta^{11/5}\left(\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[4]} + \frac{1}{2}\left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{[0]*}\left(R_{[1]}^2 + R_{[0]}R_{[2]}\right) + \frac{1}{6}\left.\frac{d^3F^\mu_1}{dr^3}\right\vert_{[0]*}R_{[0]}^3\right) +\\ &+ \eta^{12/5}\left(\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[5]} + \left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{[0]*}\left(R_{[1]}R_{[2]} + R_{[0]}R_{[3]}\right) + \frac{1}{2}\left.\frac{d^3F^\mu_1}{dr^3}\right\vert_{[0]*}R_{[0]}^2R_{[1]} + \left.\frac{dF^\mu_2}{dr}\right\vert_{[0]*}R_{[0]}\right) +\\ &\begin{aligned}+ \eta^{13/5}&\left(\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[6]} + \frac{1}{2}\left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{[0]*}\left(R_{[2]}^2 + 2R_{[1]}R_{[3]} + 2R_{[0]}R_{[4]}\right) +\right.\\ &\left.+ \frac{1}{2}\left.\frac{d^3F^\mu_1}{dr^3}\right\vert_{[0]*}\left(R_{[0]}^2R_{[2]} +R_{[1]}^2R_{[0]}\right) + \frac{1}{4!}\left.\frac{d^4F^\mu_1}{dr^4}\right\vert_{[0]*}R_{[0]}^4 + \left.\frac{dF^\mu_2}{dr}\right\vert_{[0]*}R_{[1]}\right) +\end{aligned}\\ &\begin{aligned}+ \eta^{14/5}&\left(\left.\frac{dF^\mu_1}{dr}\right\vert_{[0]*}R_{[7]} + \left.\frac{d^2F^\mu_1}{dr^2}\right\vert_{[0]*}\left(R_{[2]}R_{[3]} + R_{[1]}R_{[4]} + R_{[0]}R_{[5]}\right) +\right.\\ &\left.+ \frac{1}{6}\left.\frac{d^3F^\mu_1}{dr^3}\right\vert_{[0]*}\left(R_{[1]}^3 + 3R_{[0]}^2R_{[3]} + 6R_{[0]}R_{[1]}R_{[2]}\right) + \frac{1}{6}\left.\frac{d^4F^\mu_1}{dr^4}\right\vert_{[0]*}R_{[0]}^3R_{[1]} +\right.\\ &\left.+ \left.\frac{dF^\mu_2}{dr}\right\vert_{[0]*}R_{[2]} + \frac{1}{2}\left.\frac{d^2F^\mu_2}{dr^2}\right\vert_{[0]*}R_{[0]}^2\right) + O_s(\eta^{3}). \end{aligned} \end{split}$$ The same expansion can be made for $f_\mu$ or any tensorial quantity pulled back on the particle worldline. The terms $\sim \eta^2$ start to depend upon the second-order self-force $F_2^\mu$; the terms $\sim \eta^3$ start to depend upon $F_3^\mu$, …We will denote the series expansion of the following self-force components as $$\begin{aligned} \label{fr4} f_{t,\phi}(\eta, s) = \eta \sum_{i=0}^\infty \eta^{i/5} f_{t,\phi[i]}(s),\qquad \qquad f^r(\eta, s) = \eta \sum_{i=0}^\infty \eta^{i/5} f^r_{[i]}(s). \end{aligned}$$ Comparing such an expansion of $f_\phi$ with the one in Eq. and using Eq. gives \[fphi\_xi\] $$\begin{aligned} \label{fphi_xi1} f_{\phi[0]}(s) &= - \kappa_*, \qquad f_{\phi[1]}(s)=0, \qquad f_{\phi[2]}(s) = \left.\frac{dF_{\phi\,1}}{dr}\right\vert_{[0]*}R_{[0]}(s), \\[1ex] \xi_{[0]}(s) &= -\kappa_* s, \qquad \xi_{[1]}(s)=0, \qquad \xi_{[2]}(s) = \left.\frac{dF_{\phi\,1}}{dr}\right\vert_{[0]*}\int^s R_{[0]}(s')ds',\label{fphi_xi2}\end{aligned}$$ where $$\label{defkappa} \kappa_* = -\left.F_{\phi\,1}\right\vert_{[0]*}.$$ It is clear that $\kappa_*>0$ since angular momentum loss drives the transition motion. Such expansions are compatible with the field equations , , . During the transition motion we have the property $$\label{QC2} \frac{d\log r}{d\phi}=\frac{dr/dt}{r\, \Omega}=\frac{\eta^{3/5}}{r\,\Omega\, U}\frac{dR}{ds}=O_s(\eta^{3/5})$$ indicating a loss in quasi-circularity with respect to the inspiral, see Eq. , as expected when moving towards the final plunging motion. Leading-order (0PL) transition ------------------------------ We now derive the solution to Eqs. , , , , , , , and at leading order in the transition-timescale expansion around the LSO. The condition $$\label{iscocond} \left.\frac{\p^2 V^{\text{geo}}(e,\ell,r,a)}{\p r^2}\right. = 0$$ together with , , and give at leading order in $\eta$ and at the LSO the same quantities $\ell_{[0]*}=\ell_{(0)*}$, $e_{[0]*}=e_{(0)*}$, $\Omega_{[0]*}=\Omega_{(0)*}$ as the adiabatic inspiral after identifying $r_{[0]*}=r_{(0)*}$. Using the expansions and and comparing Eqs. and , the deviation $\delta$ is given at leading order around the LSO as $$\label{delta0tr} \delta(\eta, s) = \eta^{4/5}\delta_{[0]}(s) + O_s(\eta), \qquad \delta_{[0]}(s) = \frac{\pi_*}{\Delta_{[0]*}^2}R_{[0]}^2(s) - \frac{A_*^{3/2} \Omega_{[0]*}}{\Delta_{[0]*}} \xi_{[0]}(s),$$ where $\pi_* \equiv \sigma a^3 - 6 \sigma a r_{(0)*} + 2(3 + a^2)r_{(0)*}^{3/2} - 3 \sigma ar_{(0)*}^2$. For the angular velocity, consistently with Eq. , we have $$\label{Omega_tr} \Omega(\eta, s) = \Omega_{[0]*} + \eta^{2/5}\Omega_{[2]}(s) + O_s(\eta^{3/5}),\qquad \Omega_{[2]}(s) = - 2\frac{\beta_*\Omega_{[0]*}}{\gamma_*} R_{[0]}(s),$$ where the coefficients $\beta_*$ and $\gamma_*$ are defined in Eq. below. Given $V^{\text{geo}}=V^{\text{geo}}(e,\ell,r,a)$, we define the coefficients $$\begin{aligned} \label{defcoefs} \alpha_* \equiv \frac{1}{4}\left.\frac{\p^3V^\text{geo}}{\p r^3}\right\vert_{[0]*}, \qquad \beta_* \equiv -\frac{1}{2}\left.\left(\frac{\p^2V^\text{geo}}{\p r\p \ell} + \Omega\frac{\p^2V^\text{geo}}{\p r\p e}\right)\right\vert_{[0]*}, \qquad \gamma_* \equiv \left.\frac{\p V^\text{geo}}{\p \ell}\right\vert_{[0]*}.\end{aligned}$$ Expanding Eqs. and by substituting Eqs. , , , and , the leading-order transition equations are then given by \[otk\] $$\begin{aligned} \left(\frac{d R_{[0]}}{ds}\right)^2 &= -\frac{2}{3}\alpha_*R_{[0]}^3 - 2\beta_* \kappa_* s R_{[0]} + \gamma_*Y_{[0]}, \\[1ex]\label{otk2} \frac{d^2R_{[0]}}{ds^2} &= -\alpha_*R_{[0]}^2 -\kappa_*\beta_* s\end{aligned}$$ at order $\eta^{6/5}$ and $\eta^{4/5}$, respectively. The two first equations are compatible if and only if $$\label{otk3} \frac{dY_{[0]}}{ds} = \frac{2\kappa_*\beta_*}{\gamma_*}R_{[0]}.$$ The orthogonality condition then gives $$\label{fr4expl} f^r = \left.(U g^{rr}) \right\vert_* \Omega_{[0]*} \eta^{4/5}\left(\frac{dY_{[0]}}{ds} - 2\frac{\kappa_*\beta_*}{\gamma_*}R_{[0]}\right)\left(\frac{dR_{[0]}}{ds}\right)^{-1} + O(\eta)=O(\eta),$$ which matches the expansion in Eq. . Being of order $\eta$, the radial self-force is subleading in Eq. . Introducing the rescaled variables \[norm\_var\] $$\begin{aligned} \label{defx0} x_{[0]} &\equiv \alpha_*^{3/5}(\beta_*\kappa_*)^{-2/5}R_{[0]}, \\[1ex] y_{[0]} &\equiv \alpha_*^{4/5}(\beta_*\kappa_*)^{-6/5}\gamma_*Y_{[0]}, \\[1ex]\label{deft} t &\equiv \left(\alpha_*\beta_*\kappa_*\right)^{1/5}s,\end{aligned}$$ we obtain the normalized leading-order transition equations @Ori:2000zn [@Buonanno:2000ef; @Kesden:2011ma] \[OTK\] $$\begin{aligned} \left(\frac{dx_{[0]}}{dt}\right)^2 &= -\frac{2}{3}x_{[0]}^3 - 2x_{[0]}t + y_{[0]}, \\[1ex]\label{PT} \frac{d^2x_{[0]}}{dt^2} &= -x_{[0]}^2 - t, \\[1ex] \frac{dy_{[0]}}{dt} &= 2x_{[0]}.\label{OTK3}\end{aligned}$$ The solution $x_{[0]}$ is the Painlevé transcendent of the first kind and $y_{[0]}$ is twice its first integral @Compere:2019cqe. As we will see below in Section \[sec:homogeneous\_PT1\], in order to match the inspiral, the relevant solutions to Eqs. as $t \to -\infty$ are given by \[x0y0\] $$\begin{aligned} x_{[0]} =& \sqrt{-t} + \frac{1}{8}(-t)^{-2} + O(-t)^{-9/2}, \\[1ex] y_{[0]} =& -\frac{4}{3}(-t)^{3/2} + \frac{1}{4}(-t)^{-1} + O(-t)^{-7/2}.\end{aligned}$$ The Painlevé transcendent of the first kind is then uniquely defined from $t=-\infty$ to a finite $t$ that we denote as $t_\text{break}^{(+)} \approx 3.41$ where $x_{[0]}\to -\infty$ marking the breakdown of the transition-timescale expansion . The transition equations are valid as leading equations for the actual motion for all $s$ such that $\eta^{2/5}R_{[0]}(s) \ll 1$, $\eta^{4/5}\xi_{[0]}(s) \ll 1$ and $\eta^{6/5}Y_{[0]}(s) \ll 1$. At early times, using Eqs. , and to compute $\xi_{[0]}$, $R_{[0]}$ and $Y_{[0]}$ (see Eqs. for the results), we deduce that the transition regime breaks down when $\tau_\text{break}^{(-)} - \tau_*\sim -\eta^{-1}$. At late times, $R_{[0]}$ diverges at $s \sim s_{\text{break}}^{(+)} = (\alpha_*\beta_*\kappa_*)^{-1/5} t_\text{break}^{(+)}\sim\eta^0$ or, equivalently, at $$\label{rangeval} \tau_{\text{break}}^{(+)}- \tau_* \sim 3.41\, (\alpha_*\beta_*\kappa_*)^{-1/5} \eta^{-1/5}. $$ We can compute the asymptotic solution to Eq. as $\tau\to\tau_\text{break}^{(+)}$. At leading order, and using the relation to obtain of $R_{[0]}$, we get $$R_{[0]} \sim -\frac{6}{\alpha_*\eta^{2/5}(\tau^{(+)}_\text{break} - \tau)^2}.$$ The validity condition $\eta^{2/5}R_{[0]}\ll1$ of the transition-timescale expansion then translates into $$\tau - \tau_* \ll \left(\frac{6}{\alpha_*}\right)^{1/2} + 3.41\,(\eta\,\alpha_*\beta_*\kappa_*)^{-1/5} \sim \eta^{-1/5}.$$ We summarize the range of validity of the transition motion as $$\label{rangetr} -\eta^{-1} \ll \tau-\tau_* \ll \eta^{-1/5}.$$ ### Early-times 0PL transition solution We compute the asymptotic solution for the dynamical quantities in the limit of early times ($s\to-\infty$) where the transition will be shown to connect smoothly with the inspiral. We obtain $R_{[0]}(s)$ and $Y_{[0]}(s)$ from Eqs. and , \[R0Y0\] $$\begin{aligned} R_{[0]}(s) =& \left(\frac{\kappa_*\beta_*}{\alpha_*}\right)^{1/2}(-s)^{1/2} + \frac{1}{8\alpha_*}(-s)^{-2} + O(-s)^{-9/2}, \\[1ex] Y_{[0]}(s) =& -\frac{4\beta_*\kappa_*}{\gamma_*}\left(\frac{\kappa_*\beta_*}{\alpha_*}\right)^{1/2}(-s)^{3/2} + \frac{\beta_*\kappa_*}{4\alpha_*\gamma_*}(-s)^{-1} + O(-s)^{-7/2}.\end{aligned}$$ Using this solution in Eq. we get $\xi_{[2]}=\lambda_* (-s)^{3/2}+O(s^{-1})$ where $$\label{lambda} \lambda_* \equiv -\frac{2}{3} \left(\frac{\beta_*\kappa_*}{\alpha_*}\right)^{1/2} \left.\frac{dF_{\phi\,1}}{dr}\right\vert_{[0]*}.$$ Upon substituting this result together with Eqs. , , and into Eqs. and using the definition , the dependence on $\eta$ and $s$ recombines into a dependence on $\eta$ and $\tilde \tau = \eta\,\tau \to -\infty$ at leading order as $$\begin{aligned} \label{r_tr_sol} r(s) &= \left(\frac{\kappa_*\beta_*}{\alpha_*}\right)^{1/2} (\tilde \tau_*-\tilde \tau)^{1/2} + r_{[0]*} + O\left(\eta^2(\tilde\tau_*-\tilde\tau)^{-2}\right) + O_s(\eta^{3/5}), \\[1ex]\label{ell_tr_sol} \ell(s) &= \lambda_*(\tilde\tau_*- \tilde \tau)^{3/2} + \kappa_* (\tilde \tau_*-\tilde \tau) + \ell_{[0]*} + O\left(\eta^2(\tilde\tau_*-\tilde\tau)^{-1}\right) + O_s(\eta^{7/5}), \\[1ex]\label{e_tr_sol} e(s)&= \Omega_{[0]*}\left(-\frac{4\kappa_*\beta_*}{3\gamma_*}\left(\frac{\kappa_*\beta_*}{\alpha_*}\right)^{1/2} + \lambda_*\right) (\tilde\tau_*- \tilde \tau)^{3/2} + \kappa_* \Omega_{[0]*}(\tilde\tau_*- \tilde \tau) + e_{[0]*} + O\left(\eta^2(\tilde\tau_*-\tilde\tau)^{-1}\right) + O_s(\eta^{7/5}).\end{aligned}$$ We consider the two quantities that encode the deviation from circularity, namely $\delta$ and $W=\Omega_{[0]*}^{-1}(e-e_{[0]*}) - (\ell-\ell_{[0]*})$. Using the solutions with Eqs. and in Eqs. and we obtain their asymptotic early-time behaviour $$\begin{aligned} \label{delta0_tr_sol} \delta(s) &= \frac{\pi_*}{4\alpha_*\Delta_{[0]*}^2}\left(\frac{\kappa_*\beta_*}{\alpha_*}\right)^{1/2} \eta^2(\tilde\tau_*-\tilde\tau)^{-3/2} + O(\eta^4(\tilde\tau_*-\tilde\tau)^{-4}) + O_s\left(\eta\right), \\[1ex]\label{W0_tr_sol} W(s) &= -\frac{4\kappa_*\beta_*}{3\gamma_*}\left(\frac{\kappa_*\beta_*}{\alpha_*}\right)^{1/2}(\tilde\tau_* - \tilde\tau)^{3/2} + O\left(\eta^2(\tilde\tau_*-\tilde\tau)^{-1}\right) + O_s(\eta^{7/5}).\end{aligned}$$ We notice that there is no zeroth-order term in the mass ratio in the solution for $\delta$. This is consistent with the adiabatic result in the inspiral $\delta_{(0)}=0$. For the angular velocity from Eqs. and we obtain $$\label{Omega0_tr_sol} \Omega(s) = \Omega_{[0]*} - 2\frac{\beta_*\Omega_{[0]*}}{\gamma_*}\left(\frac{\kappa_*\beta_*}{\alpha_*}\right)^{1/2}(\tilde\tau_* - \tilde\tau)^{1/2} + O\left(\eta^2 (\tilde\tau_*-\tilde\tau)^{-2}\right) + O_s(\eta^{3/5}).$$ This behavior will be matched to the inspiral motion in Section \[sec:match0\]. Structure of the general subleading transition motion {#sec:general_subleading_transition} ----------------------------------------------------- Building upon what we have done for the 0PL transition motion, we present in the following the algorithm that we use to solve the transition motion at arbitrary high subleading order. We apply the following steps: - As a consequence of Eqs. , $U$, $\Omega$ as well as $\delta$ also admit an expansion in powers of $\eta^{1/5}$. The expansion of $\delta$ takes the form $$\label{expdelta} \delta(\eta,s) = \eta^{4/5}\sum_{i=0}^\infty \eta^{i/5}\delta_{[i]}(s),$$ since the leading order is $\eta^{4/5}$. Using the definitions , , and the expansion one can algebraically solve for each $\delta_{[i]}$ as a function of $R_{[j]}(s)$ and $\xi_{[j]}(s)$ with $j=0,1,\dots,i$ as well as $Y_{[j]}(s)$ with $j=0,1,\dots i-2$ $$\label{delta_dep} \delta_{[i]}(s) = \delta_{[i]}\left[R_{[0,1,\dots ,i]}(s),\xi_{[0,1,\dots ,i]}(s),Y_{[0,1,\dots ,i-2]}(s)\right].$$ The first six such terms can be found in Appendix \[app:deltai\_transition\]. - We consider the self-force in the transition region. In the same manner as in Eq. , using the transition-timescale expansion and in Eq. we obtain \[expf\] $$\begin{aligned} \label{faexp} f_{t,\phi}(\eta,s) &= \eta\sum_{i=0}^\infty \eta^{i/5}f_{t,\phi[i]}(s), \qquad f_{t,\phi[i]}(s) = f_{t,\phi[i]} [R_{[0,1,\dots,i-2]}(s)], \\\label{frexp} f^r(\eta, s) &= \eta\sum_{i=0}^\infty \eta^{i/5}f^r_{[i]}(s), \qquad f^r_{[i]}(s) = f^r_{[i]} [R_{[0,1,\dots,i-2]}(s)]. \end{aligned}$$ These first coefficients of the expansions of the radial and azimuthal self-force are given in Eq. . - Substituting the expansion of the azimuthal self-force into Eq. , we algebraically solve for $\xi_{[i]}(s)$ defined in Eq. , $$\begin{aligned} \label{solxi_general} \xi_{[i]}(s) = \xi_{[i]} [R_{[0,1,\dots,i-2]}(s)]. \end{aligned}$$ In particular $\xi_{[0]}(s)=-\kappa_* s$, $\xi_{[1]}(s)=0$ and $\xi_{[2]}(s)$ is given by Eq. . Terms up to $i=6$ can be computed using the expansion . - Substituting Eqs. , , and into the remaining equations of motion, namely Eqs. , and , we obtain \[eomi\] $$\begin{aligned} \label{eomRYi} \frac{dR_{[0]}(s)}{ds} \frac{dR_{[i]}(s)}{ds} + \frac{1}{2}\sum_{j=1}^{i-1}\frac{dR_{[j]}(s)}{ds} \frac{dR_{[i-j]}(s)}{ds} &+ \alpha_* R_{[0]}^2(s)R_{[i]}(s)+\beta_* \kappa_* s R_{[i]}(s)-\frac{\gamma_*}{2}Y_{[i]}(s) = S^{RY}_{[i]}(s), \\[1ex]\label{eomRi} \frac{d^2R_{[i]}(s)}{ds^2} &+ 2\alpha_* R_{[0]}(s)R_{[i]}(s) = S^R_{[i]}(s), \\[1ex]\label{eomYi} \frac{dY_{[i]}(s)}{ds} &- \frac{2\kappa_*\beta_*}{\gamma_*}R_{[i]}(s) = S^Y_{[i]}(s), \end{aligned}$$ where $S^{RY}_{[i]}(s)$, $S^R_{[i]}(s)$ and $S^Y_{[i]}(s)$, $i=1,2,\dots$ are source terms that can be obtained algebraically. We list the first such terms in Appendix \[app:sourcetransition\]. The operators on the left-hand side are just the linearization of the zeroth-order operators in Eqs. and . It implies that at all orders in perturbations in $\eta$ the equations of motion are sourced linearized Painlevé transcendent equations of the first kind. The equations are consistent given that the sources obey $$\label{consistentsource} \frac{dS^{RY}_{[i]}(s)}{ds}=S^{R}_{[i]}(s)\frac{dR_{[0]}(s)}{ds}-\frac{\gamma_*}{2}S^{Y}_{[i]}(s) +\sum_{j=1}^{i-1}\frac{d^2R_{[j]}(s)}{ds^2} \frac{dR_{[i-j]}(s)}{ds}.$$ We explicitly checked this condition up to $i=6$ using the sources given in Appendix \[app:sourcetransition\]. - The point which requires the most attention is the solution to the equations of motion at order $i$ . We extend the definition for $i=0$ to any $i=0,1,2,\dots$ as \[norm\_var\_general\] $$\begin{aligned} x_{[i]} &\equiv \alpha_*^{3/5}(\beta_*\kappa_*)^{-2/5}R_{[i]}, \\[1ex]\label{norm_var_general_y} y_{[i]} &\equiv \alpha_*^{4/5}(\beta_*\kappa_*)^{-6/5}\gamma_*Y_{[i]} \end{aligned}$$ as well as \[norm\_sources\] $$\begin{aligned} s^{xy}_{[i]} &\equiv \alpha_*^{4/5}(\beta_*\kappa_*)^{-6/5} S^{RY}_{[i]}, \\[1ex] s^x_{[i]} &\equiv \alpha_*^{1/5}(\beta_*\kappa_*)^{-4/5}S^R_{[i]},\label{sxi} \\[1ex] s^y_{[i]} &\equiv \alpha_*^{3/5}(\beta_*\kappa_*)^{-7/5}\gamma_*S^Y_{[i]}. \end{aligned}$$ Recalling the definition of $t$ , the equations of motion at order $i$ then take the normalized form \[PThoxy\] $$\begin{aligned} \label{PTholast} \frac{dx_{[0]}}{dt} \frac{dx_{[i]}}{dt} + \frac{1}{2}\sum_{j=1}^{i-1}\frac{dx_{[j]}}{dt} \frac{dx_{[i-j]}}{dt} &+ x_{[0]}^2x_{[i]}+t x_{[i]}-\frac{1}{2}y_{[i]} = s^{xy}_{[i]}, \\[1ex]\label{PTho} \frac{d^2x_{[i]}}{dt^2} + 2 x_{[0]}x_{[i]} &= s^x_{[i]}, \\[1ex]\label{PThoy} \frac{dy_{[i]}}{dt}-2x_{[i]} &=s^y_{[i]}. \end{aligned}$$ We reduced the equations to sourced linearized Painlevé transcendent equation of the first kind. We will call these equations the <span>*linearized PT1 equations*</span> for short. In Section \[sec:homogeneous\_PT1\] we will first describe the two independent homogeneous solutions to Eqs. . The inhomogeneous solution to will be then obtained from the method of variations of constants in Section \[sec:inhomogeneous\_PT1\]. - The motion in the transition region can be entirely parametrized by $x_{[i]}$, $i\geq0$ (or, equivalently, $R_{[i]}$) which is obtained from the equation of motion . All other quantities are algebraically determined. Note that $y_{[i]}$ obeys the differential equation , but can be also solved for algebraically from Eq. . Finally, once $x_{[i]}(t)$ and $y_{[i]}(t)$ are known, it will be straightforward to compute the solutions for all the quantities ($r$, $\ell$, $e$, $\delta$, $W$, …) that will be matched to the slow-time expansion of the inspiral. Homogeneous solution to the linearized PT1 equations {#sec:homogeneous_PT1} ---------------------------------------------------- In this section we describe the properties of the early-time asymptotic homogeneous solutions to Eq. . The non-linear Painlevé transcendent (PT1) equation which governs the transition at leading order admits a known explicit asymptotic solution as ${t\rightarrow -\infty}$ which depends upon two parameters $d$ and $\theta_0$. Using Mathematica, we found that the asymptotic solution takes the form $$\label{sol_PTbis} \begin{split} x_{[0]}(t ; d,\theta_0) =& \sqrt{-t} \left[1 + \sum_{n=1}^\infty \left(-\frac{t}{6^{1/5}}\right)^{-5n/8} \left(\sum_{k=0}^{\lfloor n/2 \rfloor} s_{n,k}\sin^{2k+n-2\lfloor \frac{n}{2}\rfloor}(\Phi) + \sum_{k=0}^{\lfloor (n - 3)/2\rfloor} c_{n,k}\sin^{2k+1-n+2\lfloor \frac{n}{2}\rfloor}(\Phi)\cos(\Phi)\right)\right], \end{split}$$ or, equivalently, expanding as cases $n=2i$ and $n=2i+1$, $$\label{sol_PT} \begin{split} x_{[0]}(t ; d,\theta_0) =& \sqrt{-t} \left[1 + \sum_{i=1}^\infty \left(-\frac{t}{6^{1/5}}\right)^{-10i/8} \left(\sum_{k=0}^i s_{2i,k}\sin^{2k}(\Phi) + \sum_{k=0}^{\lfloor (2i - 3)/2\rfloor} c_{2i,k}\sin^{2k + 1}(\Phi)\cos(\Phi)\right)\right. \\[1ex] &+ \left. \sum_{i=0}^\infty \left(-\frac{t}{6^{1/5}}\right)^{-5(2i + 1)/8} \left(\sum_{k=0}^{\lfloor(2i + 1)/2\rfloor} s_{2i + 1,k}\sin^{2k + 1}(\Phi) + \sum_{k=0}^{ i-1} c_{2i + 1,k}\sin^{2k }(\Phi)\cos(\Phi)\right)\right], \end{split}$$ where we defined $$\Phi(t ; d,\theta_0) \equiv (24)^{1/4}\left(\frac{4}{5}\left(-\frac{t}{6^{1/5}}\right)^{5/4} - \frac{5}{8}d^2\ln{\left(-\frac{t}{6^{1/5}}\right)}\right) + \theta_0,$$ and where $s_{n,k}$, $n=1,2,\dots$, $k=0,1,\dots \lfloor n/2 \rfloor$ and $c_{n,k}$, $n=1,2,\dots$, $k=0,1,\dots \lfloor (n-3)/2 \rfloor$ are real numbers which can be computed algebraically. The leading coefficients are given by $s_{1,0}=-\sqrt{6}d$, $s_{2,0}=-2d^2$, $s_{2,1}=d^2$, $c_{3,0}=\frac{5}{32} \left(\frac{3}{2}\right)^{1/4} d - \frac{47}{16}\left(\frac{3}{2}\right)^{3/4} d^5$, … Since the quasi-circular inspiral and transition have a monotonically descreasing radius, we are interested at leading order in the non-oscillating solution, which requires $d=0$. We expect that oscillating solutions with $d \neq 0$ will be relevant for the inspiral and transition motion with eccentricity. For $d=0$, the solution becomes $$\label{X0_no} x_{[0]}(t ; d=0,\theta_0) = \sqrt{-t} + \frac{1}{8}(-t)^{-2} - \frac{49}{128}(-t)^{-9/2} + \frac{1225}{256}(-t)^{-7} + O(-t)^{-19/2}.$$ Twice the indefinite integral of $x_{[0]}(t;d=0,\theta_0)$ is $$y_{[0]}(t; d=0, \theta_0) = -\frac{4}{3}(-t)^{3/2} + \frac{1}{4}(-t)^{-1} - \frac{7}{32}(-t)^{-7/2} + \frac{1225}{768}(-t)^{-6} + O(-t)^{-17/2}.$$ The asymptotic homogeneous solution to Eqs. will be computed from $\partial x_{[0]}/\partial d$ and $\partial x_{[0]}/\partial \theta_0$, \[X1\_homog\] $$\begin{aligned} \label{X1_homog1} x^1_\text{lin}=-6^{-5/8}\frac{\partial x_{[0]}}{\partial d} = \sum_{k=0}^\infty (-1)^k2^{-13k/2} c^{lin}_k (-t)^\frac{-1-10k}{8}\sin \left(\frac{4\sqrt{2}}{5} (-t)^{5/4} + \theta_0 + \frac{\pi}{2}k\right), \\[1ex]\label{X1_homog2} x^2_\text{lin}=-6^{-5/8}\frac{1}{d}\frac{\partial x_{[0]}}{\partial \theta_0} = \sum_{k=0}^\infty (-1)^k2^{-13k/2} c^{lin}_k (-t)^\frac{-1-10k}{8}\cos \left(\frac{4 \sqrt{2}}{5} (-t)^{5/4} + \theta_0 + \frac{\pi}{2}k\right).\end{aligned}$$ They depend upon the same coefficients $c_k^{lin}$, $k=0,1,\dots$ The leading coefficients are given by $c_0^{lin}=1$, $c_1^{lin}=10$, $c_2^{lin}=450$, $c_3^{lin}=\frac{1\ 365\ 316}{15}$, $c_4^{lin}=\frac{34\ 654\ 466}{3}$, $c_5^{lin}=5\ 174\ 126\ 188$ and the others are easily found. The Wronskian is given by $$\omega = x^1_\text{lin} \frac{dx_{lin}^{2}}{dt}-\frac{dx_{lin}^{1}}{dt} x^2_\text{lin} = \sqrt{2}. $$ Since the approach to the LSO of the quasi-circular inspiral is consistent with the absence of oscillations as developed in Section \[sec:inspiral\], we will set the homogeneous solution to Eqs. to 0 for all $i=1,2,\dots$. These fixing of initial data are matching conditions between the late-time inspiral and the transition motion. Inhomogeneous solution to the linearized PT1 equations {#sec:inhomogeneous_PT1} ------------------------------------------------------ We will now give the general method to solve the inhomogeneous linearized PT1 equations in the limit $t\to-\infty$ given the structure of the sources in the transition expansion. In order to find a particular solution to Eq. at post-leading order $i$ we use the method of variation of constants: given the two homogeneous solutions $x_{lin}^{1,2}$ , the particular solution $x_{[i]}^{p}$ is computed from ${x_{[i]}^{p}(t) = x_\text{(inhom)}[s^x_{[i]}](t)}$ where $$\label{X_inhom} x_\text{(inhom)}[s^x_{[i]}](t) = p_{[i]}^1(t)x^1_\text{lin}(t) + p_{[i]}^2(t)x^2_\text{lin}(t),$$ and the coefficients $p^1_{[i]}(t)$ and $p^2_{[i]}(t)$ solve $$\begin{aligned} \label{defp} p_{[i]}^{1}(t) = -\omega^{-1}\int^t dt' s^x_{[i]}(t')x^2_\text{lin}(t'), \qquad p_{[i]}^{2}(t) =\omega^{-1}\int^t dt' s^x_{[i]}(t')x^1_\text{lin}(t').\end{aligned}$$ After an explicit evaluation, the inhomogeneous PT1 solution for sources $(-t)^{-k/2}$ can be written as $$\begin{aligned} \label{X_inhom_series} x_\text{(inhom)}[(-t)^{-k/2}](t) &= \frac{1}{2} (-t)^{-(k+1)/2} \sum_{\ell=0}^\infty x^{\ell}_{\text{Painlev\'e}}(k)(-t)^{-5\ell/2},\end{aligned}$$ where the coefficients $x^{\ell}_{\text{Painlev\'e}}(k)$, $\ell \in \mathbb N$, can be computed from the asymptotic behavior of the Painlevé transcendent. The first coefficients are given in Table \[coefsxPainleve\]. $x^{0}_{\text{Painlev\'e}}(k)$ $x^{1}_{\text{Painlev\'e}}(k)$ $x^{2}_{\text{Painlev\'e}}(k)$ $x^{3}_{\text{Painlev\'e}}(k)$ … -------------------------------- -------------------------------- -------------------------------------- ------------------------------------------------------- --- 1 $\frac{(2+k)^2}{8}$ $\frac{441+2k(9+k)(28+k(9+k))}{128}$ $\frac{34300+k(14+k)(2977+k(14+k)(97+k(14+k)))}{512}$ … : Coefficients of the inhomogeneous solution to the Painlevé PT1 equations for a source $(-t)^{k/2}$.<span data-label="coefsxPainleve"></span> Before deriving the general structure of the solutions $x_{[i]}$ to the inhomogeneous linearized PT1 equations, we first solve for $x_{[1]}$. Given the relation and the source , the differential equation for $i=1$ becomes $$\begin{aligned} & \frac{d^2x_{[1]}}{dt^2} + 2x_{[0]}x_{[1]} = s^x_{[1]}, \\[1ex]\label{s1x} & s^x_{[1]} \equiv \frac{\alpha_*^{1/5}}{\left(\beta_*\kappa_*\right)^{4/5}}f^{r}_{[0]} = \frac{\alpha_*}{\left(\alpha_*\beta_*\kappa_*\right)^{4/5}}\left.F^r_1\right\vert_{[0]*}.\end{aligned}$$ The source term $s^x_{[1]}$ is a constant as it is proportional to the radial self-force evaluated at the ISCO (this means, in the notation below, $s^{x,0}_{[1]}=s^x_{[1]}$ and ${s^{x,k}_{[1]}=0,\;\forall\,k>0}$). Using the general result of Eq. for $k=0$ we get \[x1\_no\] $$\begin{aligned} x_{[1]}(t) =& x_\text{(inhom)}[s^x_{[1]}(-t)^0](t) = \frac{s^x_{[1]}}{2} (-t)^{-1/2} \sum_{\ell = 0}^\infty x^{\ell}_{\text{Painlev\'e}}(0)(-t)^{-5\ell/2} \equiv (-t)^{-1/2} \sum_{\ell = 0}^\infty x_{[1]}^\ell (-t)^{-5\ell/2}, \\[1ex] x_{[1]}^\ell \equiv& \frac{s^x_{[1]}}{2}x^{\ell}_{\text{Painlev\'e}}(0).\end{aligned}$$ We are now ready to study the generic $i \geq 1$ case. The asymptotic $t \rightarrow -\infty$ behavior of $s^x_{[i]}(t)$ as given in Eqs. for $i=1,2,3,4,5,6$ is consistent with $$\label{si_exp} s^x_{[i]}(t) = (-t)^{c_{i}/2}\sum_{k=0}^\infty (-t)^{-5k/2} s^{x,k}_{[i]},$$ where $s^{x,k}_{[i]}$ are coefficients and $c_{i}=(i+4)/2$ for $i \geq 2$ even and $c_{i}=(i-1)/2$ for $i \geq 1$ odd. We conjecture that this expansion holds for any $i \geq 7$ as well. These coefficients are the solution to the three term recurrence $c_{1}=0$, $c_{2}=3$, $c_{3}=1$, $c_{n}=c_{n-1}+c_{n-2}-c_{n-3}$ for $n \geq 3$. This defines by extension $c_{0}=2$. Using Eqs. and , the general solution is therefore $$\label{xi} \begin{split} x_{[i]}(t) = x_\text{(inhom)}[s^x_{[i]}](t) =& \frac{1}{2}(-t)^{(c_{i}-1)/2}\sum_{k=0}^\infty \sum_{\ell = 0}^\infty s_{[i]}^{x,k} x^{\ell}_{\text{Painlev\'e}}\left(5k-c_{i}\right) (-t)^{-5(k+\ell)/2} \\[1ex] =&(-t)^{(c_{i}-1)/2}\sum_{k=0}^\infty \left(\frac{1}{2} \sum_{\ell = 0}^k s_{[i]}^{x,k-\ell}x^{\ell}_{\text{Painlev\'e}}\left(5(k-\ell)-c_{i}\right)\right) (-t)^{-5k/2} \\[1ex] \equiv& (-t)^{(c_{i}-1)/2}\sum_{k=0}^\infty x_{[i]}^{k} (-t)^{-5k/2}, \end{split}$$ where we defined the coefficients $$\label{xikdef} x_{[i]}^{k} \equiv \frac{1}{2} \sum_{\ell = 0}^k s_{[i]}^{x,k-\ell}x^{\ell}_{\text{Painlev\'e}}\left(5(k-\ell)-c_{i}\right)$$ for all $k\in\mathbb N$, $i=1,2,\dots$ These coefficients can be extended to $i=0$ defining $x_{[0]}^{k}$ as the coefficients in the solution : $x_{[0]}^{0}=1$, $x_{[0]}^{1}=1/8$, $x_{[0]}^{2}=-49/128$, …, consistently with the definition $c_0=2$ obtained earlier. With this result and using Eqs. , , and the substitution of time variables , and , we can now compute the asymptotic early-time solution for $r$. It is useful to distinguish the even and odd $i$ indices. For $i$ even we set $i=2n$ while for $i$ odd we set $i=2n+1$. We can split the sum over $i$ into two sums over $n$ which both start from $n=0$. We obtain $$\label{tr_general_solr} \begin{split} r(\tilde\tau) - r_{[0]*} =& \alpha_*^{-3/5}(\beta_*\kappa_*)^{2/5} \eta^{2/5} \sum_{i=0}^\infty \eta^{i/5}x_{[i]}(t) \\[1ex] =& \sum_{k=0}^\infty \sum_{n=0}^\infty \frac{(\alpha_*\beta_*\kappa_*)^{\frac{5+n-5 k}{10}}}{\alpha_*} \eta^{2k} (\tilde\tau_* - \tilde \tau)^{\frac{-5k+n+1}{2}} \left( x_{[2n]}^{k} + \frac{x_{[2n+1]}^{k}}{(\alpha_* \beta_* \kappa_*)^{1/5}}\eta\,(\tilde\tau_* - \tilde\tau)^{-1}\right) \\[1ex] =& \sum_{k=0}^\infty \sum_{n=0}^\infty \eta^{2k} (\tilde\tau_* - \tilde \tau)^{\frac{-5k+n+1}{2}} \left( \hat x_{[2n]}^{k} + \eta \; \hat x_{[2n+1]}^{k} (\tilde\tau_* - \tilde\tau)^{-1}\right). \end{split}$$ In the last step we defined, for convenience, the rescaled $$\begin{aligned} \label{hatx} \hat x_{[2n]}^{k} &\equiv \frac{(\alpha_* \beta_* \kappa_*)^{\frac{5+n-5 k}{10}}}{\alpha_*} x_{[2n]}^{k}, \qquad \hat x_{[2n+1]}^{k} \equiv \frac{(\alpha_* \beta_* \kappa_*)^{\frac{3+n-5 k}{10}}}{\alpha_*} x_{[2n+1]}^{k}.\end{aligned}$$ We now turn to the solution for $y_{[i]}$. According to the structure of the source terms for $i=1,2,3,4,5,6$ in Eqs. , the asymptotic $t \to -\infty$ behavior of $s_{[i]}^y(t)$ is consistent with $$\label{sy_exp} s_{[i]}^y(t) = (-t)^{(c_{i}-1)/2}\sum_{k=0}^\infty (-t)^{-5k/2} s^{y,k}_{[i]}.$$ We conjecture this holds for $i\geq7$. As $x_{[i]}$ is known, the equation is an algebraic equation for $y_{[i]}$. Given its complexity, we will more simply integrate Eq. using Eqs. and . We get \[yi\] $$\begin{aligned} y_{[i]}(t) =& \, \bar y_{[i]} + \int \left(2 x_{[i]}(t^\prime) + s_{[i]}^y(t^\prime)\right)dt^\prime = (-t)^{(c_{i}+1)/2}\sum_{k=0}^\infty y_{[i]}^{k} (-t)^{-5k/2}, \\[1ex] y_{[i]}^{k} \equiv & \,\bar y_{[i]}\,\delta_{k,(c_i+1)/5} - \sum_{k=0}^\infty \frac{2}{c_i+1-5k} \left(2x_{[i]}^{k} + s^{y,k}_{[i]}\right)\end{aligned}$$ where $\bar y_{[i]}$ is an integration constant that is uniquely fixed from the constraint . Since all terms in Eq. admit the fall-off behavior , we deduce by consistency that $\bar y_{[i]} =0$ for all $i$ except when $i=4+5 \mathbb N$ where we cannot conclude from this argument, and this coefficient might be non-zero. Consistently with the zeroth-order equation we define $s_{[0]}^{y,k}=0$ for all $k \in \mathbb N$. The integrated form is then also valid for $i=0$. Recalling equation , we are now ready to compute $W$ (defined in Eq. ) as $W=\eta^{6/5}Y$. Using Eqs. and we obtain $$\begin{aligned} W = \frac{(\beta_*\kappa_*)^{6/5}}{\alpha_*^{4/5}\gamma_*}\sum_{i=0}^\infty \eta^{(6+i)/5}y_{[i]}.\end{aligned}$$ We are interested in the asymptotic early-time behaviour of this quantity. We consider Eq. and use Eqs. and together with the substitution of time variables , and . Again, it is useful to distinguish the even and odd $i$ indices. For $i$ even we set $i=2n$ while for $i$ odd we set $i=2n+1$. and we split the sum over $i$ into two sums over $n$ which both start from $n=0$. We obtain $$\label{tr_general_solW} \begin{split} W(\tilde\tau) =& -\sum_{i=0}^\infty \sum_{k=0}^\infty 2\frac{(\alpha_*\beta_*\kappa_*)^\frac{c_i+13-5k}{10}}{\alpha_*^2 \gamma_*}\frac{\left(2x_{[i]}^k + s^{y,k}_{[i]}\right)}{c_i+1-5k} \eta^\frac{4+i-2c_i+10k}{5} (\tilde\tau_*-\tilde\tau)^\frac{c_i+1-5k}{2} \\[1ex] =& \sum_{n=0}^\infty \sum_{k=0}^\infty \eta^{2k} (\tilde\tau_* - \tilde \tau)^{\frac{n+3-5k}{2}} \left( u_{[2n]}^{k} + \eta \; u_{[2n+1]}^{k} (\tilde\tau_* - \tilde\tau)^{-1}\right), \end{split}$$ where we have defined $$\begin{aligned} \label{uik} u_{[2n]}^{k} &\equiv 2\frac{(\alpha_*\beta_*\kappa_*)^\frac{n+15-5k}{10}}{\alpha_*^2\gamma_*}\frac{\left(2x_{[2n]}^k + s^{y,k}_{[2n]}\right)}{5k-n-3}, \qquad u_{[2n+1]}^{k} \equiv 2\frac{(\alpha_*\beta_*\kappa_*)^\frac{n+13-5k}{10}}{\alpha_*^2\gamma_*}\frac{\left(2x_{[2n+1]}^k + s^{y,k}_{[2n+1]}\right)}{5k-n-1}.\end{aligned}$$ We obtain at leading order $$W(\tilde\tau) = u^0_{[0]} (\tilde \tau_* - \tilde \tau)^{3/2} + O(\tilde \tau_* - \tilde \tau)^{2}+O_{\tilde \tau}(\eta)$$ with $u^0_{[0]}=-\frac{4\beta_*\kappa_*}{3\gamma_*}(\frac{\kappa_*\beta_*}{\alpha_*})^{1/2}$, which matches Eq. . Inspiral-transition matching {#sec:matching} ============================ The adiabatic inspiral has as range of validity ${\tau<\tau_*}$ where the bound arises because the expansion becomes singular at the LSO. The LSO is approached when ${\tau_*-\tau \ll\eta^{-1}}$ where $\eta^{-1}$ is the radiation reaction
{'source': 'arXiv_out/2112'}