Observable Properties of Orbits in Exact Bumpy Spacetimes
We explore the properties of test-particle orbits in “bumpy” spacetimes — stationary, reflection-symmetric, asymptotically flat solutions of Einstein equations that have a non-Kerr (anomalous) higher-order multipole-moment structure but can be tuned arbitrarily close to the Kerr metric. Future detectors should observe gravitational waves generated during inspirals of compact objects into supermassive central bodies. If the central body deviates from the Kerr metric, this will manifest itself in the emitted waves. Here, we explore some of the features of orbits in non-Kerr spacetimes that might lead to observable signatures. As a basis for this analysis, we use a family of exact solutions proposed by Manko & Novikov which deviate from the Kerr metric in the quadrupole and higher moments, but we also compare our results to other work in the literature. We examine isolating integrals of the orbits and find that the majority of geodesic orbits have an approximate fourth constant of the motion (in addition to the energy, angular momentum and rest mass) and the resulting orbits are tri-periodic to high precision. We also find that this fourth integral can be lost for certain orbits in some oblately deformed Manko-Novikov spacetimes, leading to ergodic motion. However, compact objects will probably not end up on these chaotic orbits in nature. We compute the location of the innermost stable circular orbit (ISCO) and find that the behavior of an orbit in the approach to the ISCO can be qualitatively different depending on whether the location of the ISCO is determined by the onset of an instability in the radial or vertical direction. Finally, we compute periapsis and orbital-plane precessions for nearly circular and nearly equatorial orbits in both the strong and weak field, and discuss weak-field precessions for eccentric equatorial orbits.
The space-based gravitational-wave (GW) detector LISA is expected to detect gravitational waves generated during the inspirals of stellar-mass compact objects (white dwarfs, neutron stars or black holes) into supermassive bodies in the centers of galaxies — extreme-mass-ratio inspirals (EMRIs). LISA could detect gravitational waves from these systems for several years prior to the plunge of the compact object into the central body and hence observe several hundred thousand waveform cycles. Such observations will provide an exquisite probe of the strong gravity region close to supermassive central bodies (see (1) for a review). In principle, the emitted gravitational waveform encodes the multipole structure of the spacetime outside the central object (2). One of the hopes for LISA EMRI observations is to extract this spacetime structure from the data and use it to test whether the central objects are indeed Kerr black holes, as we suppose, or something else (2); (3). (Intermediate-mass-ratio inspirals detectable by Advanced LIGO may reveal the spacetime structure outside intermediate-mass central bodies with more modest precision (4).)
For a Kerr black hole, the spacetime is uniquely determined by the mass and angular momentum of the hole and all higher multipole moments depend on these in a simple way
Here and are the ’th mass and current multipole moments of the gravitational field, is the mass of the black hole and is its dimensionless spin parameter, . As a consequence of relation (1), if the quadrupole or higher multipole moments of a supermassive body are measured from an EMRI observation and these are inconsistent with the values predicted by its mass and spin, the body cannot be a Kerr black hole with a vacuum exterior. The “no-hair” theorem states that, in pure gravity, any pseudo-stationary, vacuum and asymptotically flat spacetime containing an event horizon and with no closed timelike curves exterior to the horizon must be described by the Kerr metric (5); (6). If the Cosmic Censorship Conjecture is correct, all astrophysical singularities will be enclosed by a horizon. It is therefore most likely that the supermassive central bodies which are observed to inhabit the nuclei of most galaxies are indeed Kerr black holes. However, LISA should be able to test this assumption. Alternatives to Kerr black holes include “dirty” Kerr black holes with external masses (e.g., an accretion disk), exotic supermassive stars such as boson stars (7), and naked singularities. “Hairy” black hole solutions are also allowed when gravity is coupled to other fields, e.g., a Yang-Mills field (these solutions have been shown to be unstable to perturbations (8)) or a Skyrme field (9) (stability to generic perturbations is an open question). Sufficiently accurate measurements may allow us to distinguish between these possibilities.
In order to prepare us to interpret LISA observations of EMRIs, to identify any deviations from Kerr that are manifest in the waveforms and even to facilitate detection of inspirals into highly non-Kerr spacetimes, we need to understand how these deviations influence the emitted gravitational waveforms. In an extreme-mass-ratio inspiral, the time-scale for the orbital inspiral due to radiation of energy and angular momentum is generally much longer than the orbital time-scale. We can therefore approximate the inspiral as quasi-stationary, by assuming the inspiraling object is always nearly on a geodesic orbit of the spacetime, and evolving the parameters determining this geodesic slowly over the inspiral (this is usually referred to as the “adiabatic approximation” in the literature (10) since the fluxes of energy and angular momentum used to evolve the sequence of geodesics are computed by assuming the object is on an exact geodesic of the spacetime). In this slow-inspiral limit, the emitted waveforms depend sensitively on the properties of the geodesic orbits in the spacetime — the dominant frequency components in the gravitational waveform at any moment are harmonics of the orbital frequencies of the underlying geodesic. We can thus understand some of the main consequences of deviations from the Kerr metric by examining the effect of such deviations on test particle orbits in the spacetime. By considering a spacetime with an arbitrary set of multipole moments, Ryan demonstrated that, for nearly circular and nearly equatorial orbits, the periapsis and orbital-plane precessions encoded all of the multipole moments at different orders in a weak field expansion (2).
A multipole moment decomposition is not very practical, however, since an infinite number of multipoles are required to characterize the Kerr spacetime. For this reason, Collins & Hughes (11) and Glampedakis & Babak (12) took a different approach and explored test particle dynamics in “bumpy” spacetimes, which were constructed as first-order perturbations of the Schwarzschild and Kerr spacetimes respectively and therefore could be made arbitrarily close to Schwarzschild/Kerr by dialing a parameter to zero. Collins & Hughes coined the phrase “bumpy” black hole to describe these spacetimes. In their case, the presence of stresses exterior to the black hole meant that the horizon could be preserved in the presence of the black hole deformation without violating the no-hair theorem. In the present case, this name is not strictly applicable since the spacetimes we consider are not black holes at all, but rather naked singularities not enclosed by an event horizon. However, the term “bumpy” black hole is still a good one to describe how the spacetime appears to an observer away from the central object.
One drawback of the perturbative approach is that the perturbation is not necessarily small close to the central body, and so the first-order perturbation theory used to construct the spacetime breaks down. As a result, the perturbative solutions may only be used relatively far from the central object. In this work, we therefore take an alternative approach and consider the properties of orbits and inspirals in a family of spacetimes that are exact solutions of the vacuum field equations of relativity and which include the Kerr and Schwarzschild spacetimes in a certain limit. We use a family of spacetimes that were derived by Manko & Novikov (13). As exact solutions, the spacetimes are valid everywhere and can thus be used to probe the orbital dynamics in the strong-field as well as the weak-field. The family has an infinite number of free parameters, which can be chosen to make the multipole moments of the spacetime match those of the Kerr spacetime up to a certain order, and then deviate at higher order. In this paper, we choose to make the multipole moments deviate at the mass quadrupole order and higher, by varying a single parameter, although the formalism generalizes to other types of deviation. We use this family of spacetimes as a test-bed for an exploration of various observable consequences of deviations from the Kerr metric, but we compare to previous work in the literature as we proceed.
The main new results of the current work are as follows. By studying the properties of orbits in the strong field of the spacetime, we find that most geodesics in the spacetime appear to have a fourth isolating integral of the motion, in addition to the energy, angular momentum and rest mass that are guaranteed by the stationarity and axisymmetry of the metric. The corresponding orbits are triperiodic to high accuracy. This was not guaranteed, since the separability of the geodesic equations in Kerr and corresponding existence of a fourth integral (the Carter constant) was unusual. Additionally, we find that for some oblate perturbations of the Kerr spacetime, there are regions of the spacetime in which there appears to be no fourth integral, leading to ergodic motion. If observed, ergodicity would be a clear ‘smoking-gun’ for a deviation from Kerr. Ergodic motion has been found in other exact relativistic spacetimes by other authors, although these investigations were not carried out in the context of their observable consequences for EMRI detections. Sota, Suzuki and Maeda (14) described chaotic motion in the Zipoy-Voorhees-Weyl and Curzon spacetimes; Letelier & Viera (15) found chaotic motion around a Schwarzschild black hole perturbed by gravitational waves; Guéron & Letelier observed chaotic motion in a black hole spacetime with a dipolar halo (16) and in prolate Erez-Rosen bumpy spacetimes (17); and Dubeibe, Pachon, and Sanabria-Gomez found that some oblate spacetimes which are deformed generalizations of the Tomimatsu-Sato spacetime could also exhibit chaotic motion (18). The new features of our current results are the presence of potentially ergodic regions for a wider range of magnitudes of the perturbation, and an examination of whether the ergodic regions are astrophysically relevant. We find that, in the context of an EMRI, the ergodic regions exist only very close to the central body and these regions are probably not astrophysically accessible, at least in the Manko-Novikov spacetime family.
We also look at the properties of the last stable orbit for circular equatorial inspirals. The frequency of this orbit will be a gravitational-wave observable, and depends significantly on the magnitude of any deviations from Kerr. For certain choices of the quadrupole perturbation, we find that the last stable orbit is defined by the onset of a vertical instability, rather than the radial instability which characterizes the last stable orbit in Kerr. This is a qualitative observable that could be another ‘smoking-gun’ for a deviation from Kerr.
Finally, we look at the periapsis and orbital-plane precession frequencies. We do this primarily for nearly circular and nearly equatorial orbits, since these can be characterized in a gauge invariant way in terms of the orbital frequency measured by an observer at infinity. Although such precessions were computed by Ryan (2), his results only apply in the weak-field. We find results that are consistent with Ryan’s in the weak-field, but also explore the properties of precessions in the strong-field and find they depend significantly on the nature and location of the last stable orbit. Collins & Hughes (11) and Glampedakis & Babak (12) did explore strong-field precessions, but they did so as a function of spacetime coordinates, rather than as a function of observable quantities which we do here. The perturbative spacetimes are also not totally applicable in the vicinity of the last stable orbit, so our results are more generally applicable. We also briefly discuss precessions for eccentric equatorial orbits in the weak-field and how this is relevant for LISA observations.
The paper is organized as follows. In Sec. II, we introduce our chosen family of spacetimes, describe some properties of these solutions and discuss our approach to computing geodesics in the spacetimes. In Sec. III we analyze geodesics in these bumpy spacetimes and use Poincaré maps to identify the presence of an effective fourth integral of the motion. We show that most orbits are regular and triperiodic, but also demonstrate the onset of ergodic motion in certain oblately deformed spacetimes. In Sec. IV we find the last stable orbit for circular equatorial orbits and discuss its properties. In Sec. V we report our results on the periapsis precession and orbital-plane precession in these spacetimes. Finally, in Sec. VI we summarize our results and discuss further extensions to this work. This paper also includes two appendices, in which we present results demonstrating ergodic motion in Newtonian gravity (Appendix A) and an expansion of the precessions in the weak-field (Appendix B). Throughout this paper we will use units such that .
Ii Bumpy black hole spacetimes
In this section, we briefly summarize the Manko-Novikov metric (13). This is the test metric for which we will explore the dynamics of orbits in Sections III–V. The Manko-Novikov metric is an exact stationary, axisymmetric solution of the vacuum Einstein equations that allows for deviations away from the Kerr spacetime by a suitable choice of parameters characterizing the higher-order multipole moments. The presence of these deviations destroys the horizon, so this is no longer a black-hole spacetime. However, its geometry is very similar to that of a Kerr black hole with additional anomalous multipole moments until close to the expected horizon location. We choose a subclass of the Manko-Novikov metric, parametrized by a parameter . For , the metric corresponds to the usual Kerr metric. (In the notation of (13), our parametrization corresponds to setting and for all ).
This subclass of the Manko-Novikov metric can be described by a Weyl-Papapetrou line element in prolate spheroidal coordinates as (cf. Eq. (1) of (13)):
where (cf. Eqs. (9, 10, 12, 13 of (13)):
Here , , and are free parameters which determine the multipole moments of this spacetime. The first few multipole moments have the following values (we correct a typo in Eq. (14) of (13) following (19)):
Therefore, for a given choice of mass , spin and anomalous (additional to Kerr) dimensionless quadrupole moment , the three metric parameters are:
A given choice of , and uniquely defines the metric. With this definition of , a choice represents an oblate perturbation of the Kerr metric, while represents a prolate perturbation. A spacetime is oblate if it has , e.g., for Kerr . When we say a prolate/oblate perturbation we mean a perturbation that makes the spacetime more prolate/oblate relative to Kerr. In particular, for the spacetime is still oblate, although it has a prolate perturbation relative to the Kerr metric. We note that taking changes all higher moments from their Kerr values, so these solutions deviate not only in the mass quadrupole moment but also in the current octupole moment, the mass hexadecapole moment etc.
To present our results, we find it useful to display them in terms of cylindrical coordinates , and . These are related to the prolate spheroidal coordinates by (19)
and the line element in cylindrical coordinates is
ii.1 Spacetime Properties
The Manko-Novikov spacetimes are vacuum and have the multipolar structure given in Eq. (4). As a consequence of the no-hair theorem, the spacetimes must therefore either lack an event horizon or contain closed timelike curves exterior to a horizon. In fact, both of these statements are true. The central singularity is enclosed by a partial horizon at coordinates , . However, this horizon is broken in the equatorial plane by a circular line singularity at () (20). For the spacetime is otherwise regular, but for , the spacetimes contain both an ergosphere and a region where closed timelike curves exist. The structure of the spacetimes is quite similar to that of the Tomimatsu-Sato spacetime, as described in (21). The boundary of the ergosphere is determined by the condition . Inside this region, timelike observers cannot be at rest. Such a region is entirely physical, and also exists in the Kerr spacetime, where it is of interest since it allows energy extraction via the Penrose process. We show the location of the ergosphere for and various choices of in the top panel of Figure 1. The shape of the ergosphere is more complicated when , having a multiple lobed structure. This structure is also qualitatively different depending on the sign of — for there are three separate ergoregions, one of which intersects the equatorial plane, one which is entirely above the equatorial plane and one which is entirely below; for there are only two regions, one of which is entirely above the equatorial plane and one of which is entirely below.
For a metric of this type, the region where closed timelike curves (CTCs) exist is determined by the condition . In the bottom panel of Figure 1 we show the portion of the spacetime where CTCs exist for the same choices of and . Particles orbiting inside the CTC region are moving backward in time. This is not inconsistent with relativity, but CTC zones are sometimes regarded as unphysical. A spacetime with no CTC zone can be constructed by adding an inner boundary in the spacetime, and just using the portion of the Manko-Novikov solution exterior to that boundary.
The CTC zone again has a multiple lobed structure and is different depending on the sign of . We note in particular that for the ergosphere does not intersect the equatorial plane, although the CTC region does. For both regions intersect the equatorial plane, and the outermost edge of the CTC region is inside the ergoregion.
ii.2 Geodesic Motion
Geodesic motion in an arbitrary spacetime is described by the second order equations
where the connection coefficients are given by
The spacetimes we are interested in are axisymmetric and time-independent and the metric correspondingly has two ignorable coordinates — and . There are therefore two constants of geodesic motion: the energy and the -component of angular momentum , which are given by
where a dot denotes the derivative with respect to proper time . Another first integral of the motion can be obtained from conservation of the rest mass of the orbiting particle:
In practice, we numerically integrate the second-order geodesic equations (8) rather than use these first integrals, and we use the constancy of , and as cross-checks to verify the quality of our numerical results. The results reported below typically show the conservation of these quantities to a few parts in over the time of integration; see Fig. 2. We compute the connection coefficients analytically from expressions for the metric functions , and defined in Eqs. (3). The only difficulty arises at points where a metric component vanishes and its inverse diverges. When this occurs, we analytically factor out the terms that tend to zero to avoid issues in numerical integration. To perform the numerical integration we write the coupled system of four second-order ordinary differential equations (8) in first-order form and integrate numerically in C++ via the Bulirsch-Stoer method.
Some general properties of geodesic motion can be understood by using the first integrals (10)–(11). The energy and angular momentum conservation equations (10) can be used to write and in terms of , , and :
These expressions can be substituted into Eq. (11) to give
The motion in and may thus be thought of as motion in the effective potential . In particular, since the left hand side of Eq. (13) is strictly positive or zero, motion can only exist in regions where . Finding the zeros of the effective potential therefore allows us to find allowed regions of the motion. As an illustration, we show the zeros of the effective potential in Figure 3 for the simple case of the Kerr metric with spin parameter , energy and angular momentum . There are two regions of allowed motion — one region at larger radius that corresponds to bound orbits, and another region at very small radii that corresponds to rising and plunging orbits.
We now turn our attention to the Manko-Novikov spacetime with . For spacetimes with , and for spacetimes with and (prolate perturbation of the Kerr metric at large radii), the addition of the perturbation does not fundamentally change the nature of the effective potential – there are still two bounded regions, one attached to the origin corresponding to rising and plunging orbits and one at larger radii corresponding to bound orbits. The shapes of these regions change as is increased and if is increased sufficiently at fixed and the two regions merge, so that all allowed orbits can reach the origin. Even after this has occurred, there appear to be two types of orbit in the single allowed region – those that rise and plunge and those that undergo many periods of radial oscillation. We don’t know if the latter remain non-plunging forever in principle. In practice, perturbations due to external material or radiation reaction may cause bound orbits to diffuse onto plunging orbits over time. For fixed , the two allowed regions also change shape as the energy and angular momentum are varied. In particular, the plunging region connected to the partial horizon at , develops a multi-lobed structure. For sufficiently large and sufficiently low and , two of these lobes can touch in the equatorial plane. This leads to the existence of circular, equatorial orbits that are unstable to vertical perturbations, which we will encounter again in Section IV.
For and (oblate perturbation of the Kerr metric at large radii), the behavior is qualitatively different. For any arbitrarily small , an additional allowed region appears in the effective potential, which is bounded away from and therefore corresponds to bound orbits. For small this new region is very close to . The other two allowed regions still exist, and merely change shape as the value of is increased. The additional bound region is always outside the region where closed timelike curves (CTCs) exist, and is therefore in the portion of the spacetime that can be regarded as physical. However, in the plane the outermost edge of the CTC region touches the innermost edge of the region of bound motion. This additional region also extends inside the spacetime ergosphere.
We consider as an example the case with and . The zeros of the effective potential are plotted in Figure 4 for geodesics with energy and angular momentum . In this figure there are three distinct allowed regions as described above: (i) a foliated “plunging” region connected to , where all orbits rapidly plunge through the horizon (this region also intersects the CTC region); (ii) an inner bound region, which is located between and for the chosen values of and ; and (iii) an outer bound region between and . We show the trajectory of a typical orbit in the outer region. This has a regular pattern or intersections throughout the plane, which is characteristic of an orbit with an approximate fourth integral.
If is increased from the value shown in Figure 4, the two regions of bound motion eventually merge. When this first occurs, the “neck” joining the regions is extremely narrow. Geodesics exist which can pass through the neck, but this requires extreme fine tuning. As is further increased, the neck gradually widens and eventually disappears. At that stage, the single allowed region for bound orbits has a similar shape to the outer region of Figure 4.
These general properties of the effective potential seem to be common to all spacetimes with and . More relevant for the EMRI problem is to fix and and to vary and . For and sufficiently large , there are two regions of allowed motion bounded away from the origin, in addition to the plunging zone connected to , . The outermost of the allowed regions stretches to infinity and contains parabolic orbits. The inner region of bounded motion is the analogue of the inner bound region described above and lies very close to the central object. If the angular momentum is decreased, while keeping , the two non-plunging regions get closer together and eventually merge to leave one allowed region that stretches to infinity. For fixed the behavior is qualitatively the same, except that for there is no outer region (there is a maximum allowed angular momentum for bound orbits of a given energy, as in the Kerr spacetime). As is decreased, the outer region for bound motion appears and then eventually merges with the inner region. Decreasing further eventually causes the bound region to merge with the plunging region. At fixed , if there are two distinct non-plunging allowed regions for , these regions do not merge as is decreased, but the outer region eventually disappears (there is a minimum allowed energy for orbits of a given angular momentum, as in the Kerr spacetime). If there is only one non-plunging region for , then as is decreased, this region eventually splits into two allowed regions, and the outer region eventually disappears as is decreased further. The properties are similar for all , but decreasing with the other parameters fixed tends to bring the two allowed regions of motion closer to merger with one another.
Iii Isolating integrals
The isolating integrals given by the conservation equations (10)–(11) do not completely describe the motion, since the motions in and are coupled. Thus, solution of the geodesic equations requires use of the second order form of those equations (8). However, it was demonstrated by Carter (22) that in the Kerr spacetime there is a fourth isolating integral for geodesic motion, the Carter constant, which arises as a constant of separability of the Hamilton-Jacobi equation and was later shown to be associated with a Killing tensor in the spacetime. Carter found the form of all metrics that were both Schrödinger and Hamilton-Jacobi separable. Imposing the further requirement that the metric be a solution of the vacuum Einstein-Maxwell equations leads to the Kerr metric as the only spacetime of this form that does not include a gravomagnetic monopole. Thus, the separability of the equations in Kerr is somewhat fortuitous and we would not expect that the fourth integral would be preserved when we add an anomalous quadrupole moment as we do here. As a consequence, the properties of geodesics might be expected to be somewhat different, and might even be ergodic. As mentioned in the introduction, ergodic geodesic motion has been found in other relativistic spacetimes by several other authors (14); (15); (16); (17); (18).
A fourth integral of the motion essentially gives another relationship between and . Combining this with the effective potential equation (13) allows us to eliminate for instance and hence obtain an expression for as a function of and only. Similarly we can obtain an expression for as a function of and .
A standard way to examine equations of motion and look for ergodicity is to plot a Poincaré map. This involves integrating the equations of motion and recording the value of and every time the orbit crosses a plane constant. From the preceding arguments, if a fourth integral exists, the value of will be a function only of and (the function could be multi-valued, depending on the order at which the velocities appear in the constants of motion). Therefore such a map must show a closed curve. Similarly, if the Poincaré map of an orbit shows a closed curve for every value of , then this defines a relationship between , and which is then an effective fourth integral of the motion. The Poincaré analysis thus provides a means to identify whether an effective fourth integral exists or the motion is apparently “chaotic”. In the latter case, the absence of the integral would be manifested on the Poincaré maps as space-filling trajectories rather than closed curves.
The absence of a full set of isolating integrals does not necessarily mean that all orbits will exhibit full-blown chaos. For some initial conditions, orbits may show obvious signs of ergodicity, while for other initial conditions in the same spacetime, orbits may appear to behave in an integrable fashion, suggesting that an approximate additional invariant exists. Although this behavior may appear surprising at first glance, it is consistent with the predictions of the KAM theorem and with many known examples of chaotic behavior. (The KAM theorem, due to Kolmogorov, Arnold and Moser, states that if the Hamiltonian of a system with a full set of integrals of motion is analytically weakly perturbed, then phase-space motion in the perturbed system will be confined to the neighborhoods of invariant tori in phase space, except when angle-variable frequencies of the unperturbed system are nearly commensurate, in which case motion will be chaotic (23).)
As an illustration, we show in Figure 5 the Poincaré map for geodesic motion along orbits with three different initial conditions in the Kerr spacetime with the same , and as Figure 3. The Poincaré maps are all closed curves, consistent with the existence of the fourth isolating integral, the Carter constant. In Appendix A we present results for motion under gravity in a Newtonian quadrupole-octupole potential and demonstrate the existence of both regular and ergodic orbits. This example serves to put the relativistic results described here in a Newtonian context.
Poincaré Maps for the Manko-Novikov spacetimes
The regularity properties of geodesics appear to be highly correlated with the nature of the effective potential as described in the previous section. For spacetimes with and those with but , all orbits appear to be regular, i.e., they show closed Poincaré maps similar to those in Figure 5. These are the spacetimes in the Manko-Novikov family that have effective potentials which are qualitatively the same as the Kerr case.
For , the effective potential can have two allowed regions for bound motion. What is striking is that, whereas orbits in the outer allowed bound region (which corresponds to the allowed region in the limit) appear to be regular, with closed Poincaré maps, those in the inner allowed region appear chaotic. In Figures 6 and 7 we show Poincaré maps for one orbit in each of the outer and inner regions of the effective potential illustrated in Figure 4 (, , , ). Orbits in the outer region show closed Poincaré maps, suggesting that the motion is regular or very nearly so and has an approximate fourth invariant of the motion. This is reinforced by the projection of the orbit onto the - plane, which was shown in Fig. 4. The geodesic shows a regular grid pattern, with four possible velocities at each point, corresponding to and . If these orbits do not have a true invariant, the regularity of the Poincaré map suggests that it may still be possible to find an algebraic expression for an approximate constant of the motion.
Orbits in the inner region, by contrast, seem to fill up all possible points in a subdomain of the allowed parameter space (with ) and are therefore apparently ergodic in this subdomain. It seems likely, in view of the KAM theorem, that all orbits in the spacetime are strictly speaking chaotic, and no true isolating integral exists, but in the outer region there is a quantity that is nearly invariant along the orbits (4). Either the thickness of the region mapped out by the chaotic motion is small, or the time over which ergodicity manifests itself is very long. From an observational standpoint, whether the motion is actually regular or whether only an approximate invariant exists is irrelevant, since the time-scale over which ergodicity would manifest itself in the waveform would be much longer than the time during which the orbiting object moves on an approximate geodesic.
It is unusual, given that chaotic and nearly regular regions are generally interspersed in most KAM theorem applications (23), that we find the family of geodesics is divided into two distinct regions such that geodesics in one region are ergodic while those in the other exhibit nearly regular orbital dynamics. We have been unable to find any strongly ergodic geodesics in the outer region, or any non-ergodic geodesics in the inner region. As described in the previous section, adjusting the orbital parameters can cause the two allowed regions to merge. When this first occurs, the two regions are connected by a very narrow neck. The narrowness of the neck means that extreme fine tuning is required to get a geodesic to pass through the neck. By choosing initial conditions in the neck, and integrating forwards and backwards in time, we obtained orbits that traversed the neck once and found that the motion was apparently ergodic while in the inner region, but apparently regular in the outer region. This behavior is consistent with the predictions of the KAM theorem, but observationally the fact that the orbits in the outer region are technically ergodic does not matter as long as they appear regular on long time-scales. We were unable to find an orbit that traversed the neck more than once. Further adjustment of the orbital parameters causes the neck to widen and eventually disappear. At that stage, most of the orbits appear to be regular, but orbits that pass very close to the inner edge of the merged region (i.e., close to the CTC zone) have not been fully investigated.
An alternative explanation of these results (24) is that the geodesic equations are numerically unstable in the inner region, and therefore small numerical round-off errors in the integration routines are driving the orbits away from their true values. Once again, this distinction is not relevant observationally. An astrophysical system harboring an EMRI will not be isolated. The gravitational perturbations from distant stars etc. will serve the same role in perturbing the orbits as numerical errors might on a computer. The end result — that the orbit is apparently ergodic — is the same.
Frequency Component Analysis
The above conclusions are supported by a frequency-domain analysis of the and motion in the two regions. The absolute values of Fourier transforms of and are plotted in Figures 8 and 9. Fig. 9 shows an absence of clearly identifiable frequency peaks for geodesics in the inner region, a result consistent with full-blown chaos. By contrast, Fig. 8 shows discrete frequency peaks in the outer region. Generally such frequency peaks, corresponding to harmonics of a few fundamental frequencies, occur in problems with a full set of isolating integrals. We find that the frequency components measured for the and motion in the outer region can be represented as low order harmonics of two fundamental frequencies at a high level of precision (1 part in for the first harmonics). This multi-periodicity of the geodesics implies that the gravitational waveforms will also be multi-periodic. Indeed, we find that an approximate gravitational waveform, constructed using a semi-relativistic approximation for the gravitational-wave emission (as used to construct Kerr EMRI waveforms in (25)), is also tri-periodic (the third frequency arises from the motion since the observer is at a fixed sky location). The absolute value of the Fourier transform of the component of this gravitational waveform is also plotted in Fig. 8 and is clearly multi-periodic. This periodicity has important consequences for data analysis and parameter extraction.
Comparison to Other Results
Our results are consistent with previous work by other authors who have found chaotic geodesic motion in various spacetimes. Generally, chaotic motion only occurs in the strong-field region close to the central object, and for a limited range of geodesic parameters. As an example, Guéron and Letelier (17) found chaos in a prolate Erez-Rosen spacetime, which represented a deformation of a Schwarzschild black hole. They demonstrated that, for a particular value of the energy and angular momentum, when the deformation parameter had a value , there was a single allowed region of bounded motion, but for the region split into two separate regions. After the split, orbits in the inner region appeared chaotic while those in the outer region appeared regular. For the merged region, orbits that passed into the inner part also appeared ergodic while those that were purely in the outer part looked regular. This is qualitatively very similar to what we have found in the Manko-Novikov spacetime, although we find chaotic motion only when , while Guéron and Letelier presented examples for both a perturbed non-spinning black hole and a spinning black hole. As a test of our codes, we repeated Guéron and Letelier’s calculation and found consistent results. As well as providing another example of chaos for relativistic geodesics, the results here show some new features. In particular, the inner allowed region appears for any and as far as we have been able to ascertain the motion is always ergodic in that region. This contrasts to the spacetime considered by Guéron and Letelier, in which chaotic motion exists only for a small range of (by the time has increased to , the motion is no longer apparently ergodic). Previous authors have also not considered the issue of accessibility of the ergodic region to stars, and we discuss that in the next sub-section.
Sota et al. (14) discussed what might cause chaos in relativistic geodesic motion, and suggested that it might arise either due to a change in the signs of the eigenvalues of the Weyl tensor, which would lead to “local instability” or due to the presence of homoclinic orbits. The Manko-Novikov spacetimes do contain homoclinic orbits, but Sota et al. (14) found that this only led to chaos in non-reflection symmetric spacetimes, so this explanation probably does not apply here. We have not explored the properties of the eigenspace of the Weyl tensor for these spacetimes, but “local instability”, could be a plausible explanation for our results. The CTC region of the Manko-Novikov spacetime might also be causing the ergodicity. The region where ergodic motion occurs touches the CTC region at a single point, so the singular behavior of the metric as the CTC region is approached might explain the observed behavior, either by causing a region of “local instability” or through some other mechanism.
We note that in the regime where chaos occurs, the perturbation to the Kerr metric cannot be regarded as purely quadrupolar, but the deviations in the higher multipole moments are also significant. This is similar to the Newtonian result described in Appendix A since we find chaos in the Newtonian quadrupole-octupole potential but not a pure quadrupole potential. The relativistic results are somewhat different, however, since we find chaos only for , so for these spacetimes we also need a non-zero current dipole moment to observe chaotic behavior.
Accessibility of the Ergodic Domain
While the existence of ergodic motion is mathematically interesting, an important question for EMRIs that has not been addressed so far is whether ergodicity could ever be observed in nature. In other words, is it possible, during the course of an inspiral, for a captured object to find itself on an ergodic geodesic?
In typical astrophysical scenarios, the inspiraling compact object will start out far away from the central body with energy close to (1). Unless the angular momentum is very small (which in the Kerr spacetime would represent an object on a plunging orbit), this will correspond to an orbit in the outer region of allowed motion if two regions exist, so the orbit will initially be regular. As the star inspirals, the energy and angular momentum will gradually change and this causes the separation between the outermost point of the inner region of bound motion and the innermost point of the outer region, , to change. For example, when and in a Manko-Novikov spacetime with , and , we find that . When and in the same spacetime, the separation between regions is only . For sufficiently small choices of energy and angular momentum (e.g., and ) only a single region remains. This suggests that the two regions will come closer together as energy and angular momentum are radiated away during an inspiral, until they eventually merge. We conjecture that is always negative; that is, the two regions are always merging rather than separating. To test this conjecture, we must explore the behavior of along an extreme-mass-ratio inspiral characterized by slowly evolving and .
To do this, we use an approximate scheme to evolve the energy and angular momentum during an inspiral. Our scheme is based on combining exact relativistic expressions for the evolution of orbital elements with approximate post-Newtonian formulae for energy and angular-momentum fluxes. This scheme was previously devised to describe EMRIs into Kerr black holes (26) and has been shown to give reliable results in that context. For the current calculation, we must augment the fluxes with an additional post-Newtonian term to represent the effect of the anomalous quadrupole moment on the evolution of energy and angular momentum. A Kerr black hole has quadrupole moment . It is the quadrupole moment that leads to the lowest order terms in in the expressions for the energy and angular momentum radiated during an inspiral. Therefore, to include the excess quadrupole moment, we just change the terms in the flux expressions to , while leaving the lower order terms unchanged (this approach was also used in (27)). We then numerically find the roots of the effective potential in the equatorial plane at various times and compute the evolution of along the inspiral.
The result of one such computation of is plotted in Fig. 10. That figure corresponds to an inspiral in a spacetime with , and . The inspiral starts out at with an orbital inclination of degrees and initial eccentricity (these orbital parameters correspond to and ) and proceeds until plunge. The separation between the inner and outer bounded regions gradually shrinks, until the two regions merge (on the plot, this is shown as ). Afterward, the bounded regions remain joined until eventually merging with the plunging region.
We have found the same qualitative behavior described above for a wide range of parameter choices. Therefore, in all these cases, our conjecture is true — the inspiraling object can never find itself in the isolated inner region where all orbits appear to be ergodic. We should point out, however, that we have carried out this numerical investigation only for a range of specific choices of , , and initial orbital parameters, and have used an approximation to the energy and angular momentum radiated during an inspiral. This is therefore not a definitive proof that chaotic motion can never be observed in the course of an inspiral in the Manko-Novikov spacetime.
Assuming this evolution really is typical, there are two important consequences. Firstly, an inspiraling object can never end up in the inner of two allowed regions of bound motion, where ergodic motion is prevalent. Secondly, inspirals always start out in a phase where the motion is regular. This is very important, since it will allow the systems to be detected in this early inspiral stage by gravitational-wave detectors using matched filtering or a time-frequency analysis. The inspiraling object will eventually end up in the merged region formed after the two regions of bounded motion converge. Both ergodic and regular geodesics exist in that region, so in principle the particle could find itself on an ergodic orbit. However, most orbits in the merged region appear to be regular so it would require fine tuning to put the object onto such a geodesic (e.g., the “neck traversing” geodesics discussed earlier). It thus seems unlikely that this would occur in practice.
Although these results apply only to the Manko-Novikov family of spacetimes, the conclusions are consistent with other examples of chaotic geodesics in relativity. For instance, in the prolate Erez-Rosen spacetime considered in (17), if an object had arrived in the region where ergodic motion is observed during the course of an inspiral, its orbital energy and angular momentum would have been larger earlier in the inspiral. However, if either the energy or angular momentum is increased from the values that give ergodic motion, the effective potential changes so that it has only one allowed region, which includes “escape zones” connected to the central singularity. All geodesics in such a zone plunge into the central object in a short time so an astrophysical inspiral could not persist through that zone. We deduce that for that spacetime as well the ergodic region is inaccessible to objects captured at large distances.
If there was some other mechanism that could put an inspiraling object onto an ergodic geodesic, there is the question of how the ergodicity could be identified in practice. Detection of EMRIs will rely on matched filtering or possibly time-frequency techniques (1). In either case, it will probably not be possible to identify the gravitational radiation as being emitted from an ergodic orbit, but only that radiation from a regular orbit has ceased. It is clear from Figure 9 that during an ergodic phase, the emitted power is spread among many harmonics, which will consequently not be individually resolvable. This radiation will increase the broadband power in our detector, whereas if the orbit had plunged the radiated power would rapidly die away. However, the energy released during a typical EMRI is comparatively low, so it is unlikely that we could identify the presence of such broadband power over the instrumental noise. Therefore, the chances are that we will not be able to distinguish observationally between an inspiral that “ends” at a transition into an ergodic phase and one which ends by plunging into a black hole.
One potentially observable signature of ergodicity would be an inspiral that turned “off” and “on” as it progressed through ergodic phases interspersed with regular phases. This would occur if the object could move into and out of the inner ergodic region during an inspiral, but the preceding analysis indicates that this shouldn’t happen. An object on a “neck-traversing” geodesic would also show this behavior. However, the periods where the orbit is ergodic serve to randomize the phase of the orbit in the regular periods. A signal of this type would only be observable if each apparently regular phase could be individually resolved with enough signal-to-noise ratio. This would require a very narrow “neck” in order to trap the orbit for many cycles in the regular zone. However, fine tuning of the energy and angular momentum is necessary to make the neck very narrow, so if an object was on such an orbit, the neck would be widening rapidly as energy and angular momentum were radiated away. In practice, it is doubtful that sufficient signal-to-noise would accumulate to allow a detection to be made before the neck widened too much.
We conclude that, for astrophysically relevant inspirals in the Manko-Novikov spacetime family, an object would probably not end up on an ergodic geodesic. If some other mechanism conspired to put an object on such an orbit, it is unlikely that we would be able to identify this in gravitational-wave observations. If these findings carry over to a more generic class of spacetimes, then chaotic motion is merely a mathematical curiosity which is unlikely to manifest itself practically or be important for gravitational-wave data analysis considerations.
Iv Last Stable Orbit
During an inspiral into a Kerr black hole, an EMRI will evolve quasi-stationarily through a sequence of near-geodesic orbits as orbital energy and angular momentum are radiated away. There is a minimum energy (which is dependent on angular momentum) for which bound orbits exist. When the inspiral reaches that separatrix, the object will rapidly plunge into the central body. The gravitational radiation emission undergoes a transition at this point, and so the frequency of this last stable orbit is in principle another quantity that is observable from the detected gravitational waves. For a Kerr inspiral, the ‘transition’ is a rapid die-off in the gravitational-wave emission as the particle plunges into the black hole. If the central object is not a black-hole, the radiation may persist for longer after the last stable orbit is passed (7), but there will still be a significant qualitative change in the emitted radiation as the orbit changes suddenly at that point. We focus on the innermost stable circular equatorial orbit in this analysis, since this is well defined in these spacetimes.
iv.1 Circular equatorial orbits
The geodesic equations for an arbitrary spacetime (8) may be written in the alternative form
in which a dot denotes as before. We can thus express the azimuthal frequency as observed at infinity in the form
where the signs are for prograde and retrograde orbits respectively. In the equatorial plane, the right-hand side is a function of the spacetime parameters and only, so given a particular choice of azimuthal frequency , Eq. (16) can be inverted to determine the value of such that a circular orbit at that has frequency .
iv.2 Innermost Stable Circular Orbit
The location of the innermost stable circular orbit (ISCO) in the equatorial plane can be found using the effective potential (13). Circular equatorial orbits are located at simultaneous zeros and turning points of , where . As we will see in Section V the second derivatives of determine the frequencies of small oscillations about the circular orbit. For the circular orbit to be stable, we need the orbit to sit at a local maximum of , i.e., we require and to be negative. In the following we will use () to denote the value of () evaluated for the circular equatorial orbit at radius . For the Kerr spacetime, at all radii, but has a single root at a critical radius . This tells us that the orbit becomes radially unstable at that point, which defines the ISCO. For , , while for , for prograde orbits and for retrograde orbits. Note that is a cylindrical Weyl coordinate, which is why these results differ from the familiar black-hole ISCO radii, which are normally quoted in Boyer-Lindquist coordinates.
For the Manko-Novikov solutions with , the shape of the functions and does not change significantly as q is increased with : everywhere and has a single solution that defines the ISCO. However, as is increased with , there is a transition in behavior at . For , the function has two zero-crossings. Thus, in addition to the radially-stable circular orbits at large radii, we find additional such orbits exist very close to the central singularity. If is increased still further, the two roots converge at and for radially stable orbits exist at all values of . However, at the point where the second branch of the radial roots appears, there is also a transition in the shape of , so that there are now orbits which are vertically unstable. For , the ISCO is defined by this vertical instability, rather than the radial instability characteristic of the Kerr spacetime, and Manko-Novikov spacetimes with . In the range , there are two regimes where stable circular orbits exist — an outer zone with , and an inner zone with (we use “OSCO” to indicate “outermost stable circular orbit” and to denote the ISCO for the inner set of circular orbits). The energy and angular momentum of an orbit at the “OSCO” are greater than the energy and angular momentum at the ISCO of the outer zone, . Thus, an object inspiraling from large distances on a circular equatorial orbit will reach and plunge into the central body, rather than finding itself in the inner range of circular orbits. Compact objects could only find themselves in the inner range if they came in on an eccentric/inclined orbit and then radiated away energy and angular momentum in exactly the right proportions. It is therefore unlikely that this inner zone would be populated in practice. However, any object on a circular equatorial orbit in this inner zone would reach and then plunge into the central body.
In Figure 11 we show the location of the ISCO as a function of for spacetimes with . We also show the orbital frequency at the ISCO as a function of , computed using Eq. (16). For spacetimes with spin, the behavior is qualitatively similar, but there are now two ISCO radii, corresponding to prograde and retrograde orbits respectively. We show results for a spin of in Figure 12. We note that the ISCO radius is always outside the boundary of the causality-violating region of the spacetime. For and , the ISCO radius is determined by the energy at which the outer allowed region for bound motion (which is a single point for a circular equatorial orbit) merges with the inner allowed region. In that case when the object reached the ISCO it would undergo a transition onto an eccentric/inclined geodesic.
The value of the ISCO frequency depends not only on but also and . However, as we shall discuss in the next section, it is possible to measure these other parameters using precessions measured when the orbit is in the weak-field. Thus, the ISCO frequency is a powerful probe of the nature of the spacetime since it can be very different even for comparatively small deviations from Kerr.
V Periapsis and orbital-plane precessions
In Section III we saw that astrophysically relevant orbits in the Manko-Novikov spacetime are multi-periodic to high precision. In such cases, there is no smoking-gun signature that indicates the presence of “bumpiness” in the spacetime. Instead, the imprint of the spacetime bumpiness will be observationally apparent in the location of the last stable orbit, as discussed in the previous section, and in the following ways: (1) in the three fundamental frequencies of the gravitational waves generated while the inspiraling object is on an instantaneous geodesic orbit; (2) in the harmonic structure of the gravitational-wave emission, i.e., the relative amplitudes and phases of the various harmonics of the fundamental frequencies; and (3) in the evolution of these frequencies and amplitudes with time as the object inspirals. A full analysis of the accuracies that could be achieved in observations would involve computing gravitational waveforms in the bumpy spacetimes, performing a Fisher-Matrix analysis to account for parameter correlations, and comparing to a similar analysis for Kerr. That is beyond the scope of this paper. However, we can examine the first of these observational consequences by comparing the fundamental frequencies between the bumpy and Kerr spacetimes.
The complication in such an analysis is to identify orbits between different spacetimes. Identifying orbits by the and coordinates is not gauge-invariant, since the meaning of these coordinates depends on the spacetime structure. Identifying orbits via the energy and angular momentum is gauge-invariant, but these quantities are not directly measurable observationally. However, circular orbits in the equatorial plane of the spacetime are characterized by a single observable — the azimuthal frequency of the orbit. We can use this frequency to identify circular equatorial orbits in different spacetimes.
Precession frequencies are absent in exactly circular equatorial orbits. However, if the circular orbit is perturbed radially, it will undergo small oscillations at the radial epicyclic frequency, which is characteristic of the periapsis precession frequency at that radius. Likewise, if the orbit is perturbed vertically it will undergo small oscillations at the vertical epicyclic frequency, which is characteristic of the orbital-plane precession frequency at that radius. We thus compare these epicyclic frequencies, as a function of the circular orbital frequency, between Kerr and bumpy spacetimes. This comparison was employed by Ryan, who used it to derive his theorem stating that all spacetime multipole moments are encoded in the gravitational waves generated by nearly-circular, nearly-equatorial EMRIs (2).
An eccentric equatorial orbit can be characterized by two observables — the orbital frequency and the periapsis precession frequency. These two frequencies can therefore be used to identify orbits in different spacetimes (provided there is an orbit with corresponding frequencies in the Kerr metric). Likewise, the orbital-plane precession frequency can be used to identify inclined orbits between spacetimes
v.1 Epicyclic frequencies
The frequency of epicyclic motion can be derived by perturbing a circular, equatorial orbit in either the radial or vertical direction. The second order geodesic equations (14) for and take the form
Here denotes either or . The dependence on and can be eliminated by using the energy and angular momentum conservation equations to express these in terms of , , and , as in Eq. (12). Using this form of the equations we can take a circular, equatorial orbit, , , and perturb it either in the radial direction, , , or in the vertical direction, , . Considering the equations of motion at leading order in the small orbital perturbation, it is easy to see that the frequencies of these small epicyclic oscillations are given by
As before, denotes either (for the radial epicyclic frequency ) or (for the vertical epicyclic frequency ). The same result can be derived starting from the effective potential equation (13): the frequency is determined by evaluated at the circular orbit.
We are interested in precessions rather than the epicyclic frequency. We define the periapsis precession as the number of cycles by which the periapsis advances per radial period (i.e., over one complete epicyclic oscillation). Likewise, the orbital-plane precession is defined as the number of cycles by which the azimuthal angle to the highest point of the orbit advances during one vertical oscillation. These precessions, which we denote by , are related to the epicyclic frequencies, , by
The behavior of the precessions can be understood in terms of what happens in the weak-field, far from the black hole, and in the strong-field, close to the ISCO. In the weak-field it is possible to derive expressions for the precessions as functions of the orbital frequency. This was originally done for nearly circular, nearly equatorial orbits by Ryan (2), who demonstrated that the various spacetime multipole moments enter the precession rate expansion at different orders of . This was the basis for a theorem that, in principle, the weak-field precessions can be used to extract the lowest order spacetime multipole moments. The weak-field expansion of the precessions is summarized in Appendix B.
In the strong-field, we find that one or the other precession diverges at a certain frequency. This frequency corresponds to the frequency of the ISCO. To understand what is happening, we use the effective potential (13) and consider radial oscillations. For the energy and angular momentum corresponding to the circular equatorial orbit at radius , the effective potential in the equatorial plane takes the form . Here is a function that is strictly positive for . The radius is the other solution to , and . As the ISCO is approached, the effective potential develops a point of inflection at the location of the turning point rather than a maximum since . The epicyclic frequency for radial oscillations is , which thus tends to zero as the ISCO is approached. The corresponding periapsis precession diverges. The radius corresponds to an unstable circular orbit, and associated with any unstable circular orbit is a bound, eccentric orbit that has an infinite period — the object comes in from larger radii, and asymptotically approaches the radius of the circular orbit. This is referred to as a “homoclinic” orbit, or as a “zoom-whirl” orbit in the EMRI literature. As the ISCO is approached, a small perturbation from the location of the circular orbit will put the object onto an orbit that is close to the homoclinic orbit associated with the unstable circular orbit. Hence, it takes a very long time for the object to complete a radial oscillation, but it is moving rapidly in the azimuthal direction the whole time, building up a large periapsis precession.
This understanding leads us to expect the precession to diverge at the location of the ISCO, and this divergence should be like , or . The above argument applies to an ISCO defined by a radial instability (as in the Kerr metric). As we saw in Section IV, the ISCO in the Manko-Novikov spacetimes can be determined by the onset of a vertical instability. In that case, the above argument still applies, but it is now the orbital-plane precession that will diverge as the ISCO is approached. This provides another potential ‘smoking-gun’ for a deviation from the Kerr metric. The divergence in the precession at the ISCO arises as a result of one of the two epicyclic frequencies going to zero. It is these frequencies that will in principle be observable in the gravitational waves. If an inspiral is observed starting in the weak-field and up until the last stable orbit (LSO), the different frequency components could be tracked, and one frequency will tend to zero as the LSO is approached. This is in principle an observable, and if it is the orbital-plane precession that goes to zero the central body cannot be a Kerr black hole. A more careful treatment of the gravitational-wave emission will be required to understand how practical it will be to make such observations.
In Figures 13–16 we show the precessions as a function of for a variety of values of . In Figures 17–19 we present the same results, but now we show the differences between precessions in a bumpy spacetime with a given and precessions in the Kerr spacetime with the same spin parameter : . The variable represents the number of cycles of difference, so for instance a value of means that the orbits in the two spacetimes, although having the same azimuthal frequency, would drift an entire cycle out of phase in the epicyclic radial oscillation within ten radial orbits. We do not show results for the difference in the orbital-plane precession for , since there is no orbital-plane precession in the Schwarzschild spacetime and hence that plot would be identical to Figure 15.
Figures 13 and 17 show the periapsis precession for while Figures 14 and 18 show the periapsis precession for . We see that as the value of decreases from zero, the periapsis precession decreases relative to the corresponding value in the Kerr/Schwarzschild spacetime. By contrast, if is increased from zero, the periapsis precession increases. In spacetimes with non-zero spin, the difference is more extreme for prograde orbits than for retrograde orbits. This is presumably because retrograde orbits do not get as close to the central object, and so do not “feel” the strong-field deviations in the bumpy metric.
For , the radial epicyclic frequency approaches zero as the ISCO is approached and the periapsis precession goes to infinity for the reasons described above. This is not true of the spacetimes shown, since for those the ISCO is defined by a vertical instability. Figure 15 shows the orbital-plane precession for and Figures 16 and 19 show the orbital-plane precession for . As for the case of the periapsis precession, the orbital-plane precession behaves qualitatively differently depending on the sign of . The orbital-plane precession is greater for and smaller for compared to the non-bumpy value. As expected, the orbital-plane precession tends to a constant at the ISCO for , while it diverges for , since the ISCO for the latter spacetimes is defined by a vertical instability as discussed earlier.
Previous authors have looked at precessions in “bumpy” spacetimes. As mentioned above, Ryan (2) derived a weak-field expansion for the precessions. Collins & Hughes (11) looked at precessions for eccentric equatorial orbits in a perturbed Schwarzschild spacetime, and Glampedakis & Babak (12) did the same for a perturbed Kerr black hole. However, both pairs of authors did this by comparing orbits with the same coordinates, which is rather unphysical. Our results are consistent with this previous work in the weak-field, but our calculation is the first that can be applied in the strong field, since Ryan’s work used a weak-field expansion, and the other work used perturbative spacetimes that break down close to the central body. The behavior in the approach to the ISCO is thus a new result.
It is possible to fit the precessions as a sum of a weak-field expansion (as given in Appendix B) plus a term . However, only a comparatively few weak-field terms are required to give a good fit, implying that the divergence at the ISCO limits the number of multipole moments that can be recovered from such an expansion. To quantify this statement properly, we must do a full analysis, that includes the effect of inspiral, uses an instrumental noise curve to restrict the observable bandwidth and accounts for parameter correlations via the Fisher Matrix. We can do this by constructing semi-relativistic inspiral waveforms for bumpy spacetimes in the same way that has been used for Kerr inspirals (26); (25). This is beyond the scope of the present paper. However, there are several things that we can take away from the current results — the location of the ISCO has a strong influence on precessions that could be observable, in particular the nature of the instability that defines the ISCO could be a clear indicator of a non-Kerr system; precessions can be very different in the strong field in the presence of a deviation; circular orbits with frequencies very different from the Kerr value exist in some bumpy spacetimes, so another observable signature would be that an inspiral persists at frequencies inside the Kerr ISCO.
v.3 Effect of eccentricity
As discussed above, the measurement of the precessions as a function of orbital frequency for nearly circular, nearly equatorial orbits would in principle allow measurement of the spacetime multipole moments (2). In practice, however, the precessions will only be manifest in the observed gravitational waves if the orbit is not circular and equatorial, so we need to understand how the dependence of the precessions on azimuthal frequency differs when we relax the assumption of near-circularity. In the following, we shall focus on the periapsis precession of eccentric but equatorial orbits.
The eccentricity of an orbit modifies two things — 1) the frequency associated with the periapsis precession as a function of the orbital frequency; 2) the relative amplitudes of different harmonics of these two frequencies in the observed GWs. To accurately compute the dependence of the harmonic structure on eccentricity for a generic orbit, we need to know details of GW generation in a spacetime with arbitrary multipole moments. This is a difficult problem, so we focus on the effect of eccentricity on the periapsis precession frequency itself. We consider an eccentric equatorial orbit in the Kerr spacetime, and use to denote the average azimuthal frequency (i.e., the total advance in over one radial period, divided by the period of the radial motion). We define an orbital eccentricity, , such that the ratio of the Boyer-Lindquist radii of the periapsis, , and apapsis, , of the radial motion is . With these definitions, the periapsis precession as defined above can be found to be
where we are expanding in the weak field, . The corresponding result for a spacetime with an excess quadrupole moment can be found at lowest order by replacing the term in with , since the quadrupole moment of a Kerr black hole is as discussed earlier.
In the circular limit, , the expansion (21) allows us to extract from the coefficient of , from the coefficient of , from the coefficient of etc. However, if we expand to lowest order in the eccentricity, , it is clear that the effect of a small excess oblate quadrupole moment could be mimicked, at leading order, by an eccentricity evolving as . The two possibilities are then distinguished by knowing how the eccentricity should evolve with .
The expansion (21) contains redundancy, since the coefficient of also depends only on the lowest current moment, . If the eccentricity of the orbit did not evolve with time the first four terms in the expansion would determine , , and the eccentricity , and higher terms would determine the remaining multipole moments as in the circular case. However, the eccentricity does evolve with time. In practice, we will only observe EMRIs as they evolve through a finite range of frequencies (determined by the detector sensitivity). During that period, the evolution will be driven entirely by gravitational-wave emission. This means that we can quantify the eccentricity of the orbit by a single number — the periapsis at which the eccentricity was equal to if we integrated the inspiral backwards in time, assuming a purely GW driven inspiral. Specifying this parameter and the multipole structure of the spacetime determines the eccentricity as a function of . Determining this relationship, however, requires knowing the details of GW emission in an arbitrary spacetime.
A complication arises because the ratio tends to a constant at the point where . Assuming that this occurred in the weak-field, , this can be seen by considering the leading order term in in the weak-field (see for instance (26))
Denoting and expanding in the limit , , we find
in which is a constant that is related to the periapse at “capture” when . If the capture occurs in the strong field, the ratio would still tend to a constant if we integrated backward until . Although the inspiral would not be observed as , that section of the inspiral does affect the portion that we can observe.
We now substitute the asymptotic behavior (23) into Eq. (21), to obtain an expansion of the periapsis precession as a function of the angular frequency in the form , where etc. are constants. In contrast to the circular case, each of these coefficients depends on all the spacetime multipole moments, so multipole extraction from the periapsis precession expansion is no longer straightforward. The reason for this qualitative difference between circular and eccentric orbits is that it is only possible to observe an eccentric inspiral over a finite range of periapsis, since the orbit is captured with a certain finite periapsis, while a circular orbit could inspiral from infinity. The various multipole moments have different radial dependencies, thus if one can observe the precession frequency at any radius it makes sense that all the moments can be separately extracted, while this is more difficult if only a finite section of the spacetime is explored.
In practice, this difficulty also arises when observing a circular inspiral, since the radiation can only be detected in a certain frequency range. One can parameterize an observation by the frequency at the start of the observation, . A Taylor series expansion of the precession (see Eq. (41) in the Appendix) then gives
In this kind of expansion the multipole moments again contribute at all orders. However, provided the initial frequency , the dominant piece of the constant term, , is , so this term can be used to estimate . Similarly, the dominant piece of is , so this can be used to estimate , and that estimate of can be used to improve the estimate of from . The dominant piece of is , so this can be used to estimate the excess quadrupole moment and so on. In the same way, if an eccentric inspiral is observed in a regime where the initial frequency is small (and hence the frequency at capture was also small), we can use the same type of expansion and use combinations of the coefficients to successively extract each multipole moment and the initial eccentricity. To do this requires an expansion of