ISIMA lectures on celestial mechanics. 3

ISIMA lectures on celestial mechanics. 3 Scott Tremaine, Institute for Advanced Study July 2014 1. The stability of planetary systems To understand the formation and evolution of exoplanet systems, we would like to have empirical theoretical tools for predicting whether a given planetary system is stable or, more precisely, what is its lifetime before some catastrophic event such as a collision or ejection without having to integrate the planetary orbits for the lifetime of the host star. There are two discouraging lessons from studies of the stability of the solar system that we should bear in mind. First, small changes in the initial conditions or system parameters can lead to large changes in the lifetime. Second, chaos does not necessarily imply instability: in the solar system the likely lifetime is at least 1000 times longer than the Liapunov time. One approach to this problem is to consider planetary systems in which both the planet mass and the separation between adjacent planets are very small. In examining this limit a useful parameter is the Hill radius. Consider a planet of mass m in a circular orbit of radius r around a host star of mass M. A test particle also circles the host star, in an orbit of radius r + x with 0 < x r. The planet orbits with angular speed n = (GM/r 3 ) 1/2 which is slightly faster than the angular speed of the test particle, [GM/(r + x) 3 ] 1/2. As the planet overtakes the test particle the maximum force per unit mass that it exerts on the test particle is F Gm/x 2 and this force lasts for a duration t n 1 ; thus the velocity change is F t Gm/(x 2 n). The change is as large as the initial relative velocity v nx if F t v which implies x 3 Gm/n 2 = r 3 (m/m), or x r H where ( m ) 1/3 r H = r (1) 3M is the Hill radius. The Hill radius appears in other contexts in astrophysics, such as the tidal or limiting radius of star clusters, the Roche limit for solid satellites, and the location of the Lagrange points (the factor of 3 in this formula ensures that the Hill radius is equal to the distance to the collinear Lagrange points). For two planets of comparable mass, m 1, m 2 M, the analog is the mutual Hill radius, defined as r H = r ( ) 1/3 1 + r 2 m1 + m 2. (2) 2 3M

2 The use of the arithmetic mean of the radii (rather than, say, the geometric mean) is arbitrary but the choice of what mean to use makes very little difference since the mutual Hill radius is only dynamically important when r 1 and r 2 are similar, since we have assumed that m 1, m 2 M. In contrast, we use the sum of the masses (rather than, say, (m 1 /3M) 1/3 + (m 2 /3M) 1/3 ) because the dynamics of two small bodies during a close encounter depends on the masses only through their sum (Petit & Hénon 1986, Icarus 66, 536). A system of two small planets on nearby circular, coplanar orbits is stable for all time if r 1 r 2 > 3.46r H (the standard reference is Gladman 1993, Icarus 106, 247, although forms of this criterion were derived earlier). Note that the scaling r 1 r 2 > const (m/m) 1/3 does not capture all of the interesting dynamics of two bodies on nearby orbits; for example, the criterion that the orbits are regular rather than chaotic is r 1 r 2 > const (m/m) 2/7 (Wisdom 1980, AJ 85, 1122). For systems of three or more planets there are no exact stability criteria. Moreover such systems are not stable for all time the instability time becomes very large if the planets have small masses or large separations but such systems always eventually exhibit instability. Numerical orbit integrations imply that a system of three or more planets on nearly circular, coplanar orbits is stable for at least N orbital periods if the separation between adjacent planets is r i+1 r i > K(N)r H where, for example, K(10 10 ) 9 12 (e.g., Smith & Lissauer 2009, Icarus 201, 381). In summary, a system of planets on nearly circular, coplanar orbits is expected to be stable for the stellar lifetime if the separation of adjacent planets exceeds 10 mutual Hill radii. To do better than this crude criterion, our only option is to integrate the planetary orbits. 2. Hamiltonian perturbation theory 2.1. The disturbing function The dynamics of any one body in the N-body problem can be described by a Hamiltonian H(q, p) = H K (q, p)+h 1 (q, p, t) where H K = 1 2 p 2 G M/ q is the Kepler Hamiltonian and H 1 represents the perturbing gravitational potential from the other planets, or from passing stars, the equatorial bulge of the host star, etc. We are interested mainly in near-keplerian problems where H 1 H K. The goal of perturbation theory in celestial mechanics is to find solutions for motion in this Hamiltonian that are valid when H 1 is small enough in fact it is for this problem that perturbation theory was invented. The goal of this section is to persuade you that Hamiltonian perturbation theory is straightforward to apply in simple

3 systems, and provides answers and insight that cannot easily be obtained in any other way. In a Hamiltonian system we can replace (q, p) with any other canonical coordinates and momenta. In particular we may use the Delaunay elements 1 to obtain (G M)2 H = + H 2L 2 1 (L, G, H, l, ω, Ω, t). (3) The function H 1 is called the disturbing function (unfortunately in many celestial mechanics books this name is used to refer to H 1 ). Deriving H 1 is much harder in Delaunay elements than in Cartesian coordinates (for example, it depends on all six Delaunay elements but only three Cartesian coordinates) but the advantage of working in Delaunay elements is so great that this effort is usually worthwhile. Some restrictions on the form of H 1 can be derived from general considerations. If we replace l by l + 2π the position of the particle is unchanged, so H 1 is unchanged. Thus H 1 must be a periodic function of l with period 2π. Similarly it must be a periodic function of ω and Ω with the same period. Thus it can be written as a Fourier series H 1 = H kmn (L, G, H, t) cos[kl + mω + nω + φ lmn (t)] k,m,n = H kmn (L, G, H, t) cos[kλ + (m k)ϖ + (n m)ω + φ kmn (t)], (4) k,m,n where as usual the mean longitude λ = l + ω + Ω and the longitude of periapsis ϖ = ω + Ω. When the eccentricity is zero (G = L), H 1 cannot depend on the periapsis direction ϖ. Similarly, when the inclination is zero (H = G), H 1 cannot depend on the nodal longitude Ω. More generally, H 1 has to be an analytic function of the position and this restricts the possible forms of H 1 to satisfy the d Alembert property 2 H kmn (L, G, H, t) = O[(L G) m k /2, (G H) n m /2 ]. (5) Now suppose that the perturbing potential is stationary in a rotating frame, Φ[R, z, φ φ s (t)] = m Φ m (R, z) cos m [φ φ s (t)]. If we rotate the origin of the azimuthal coordinate system by ψ then φ and φ s both increase by ψ but the potential remains the same. Similarly, 1 As a reminder, the Delaunay momenta are L = (GMa) 1/2, G = L(1 e 2 ) 1/2, H = G cos i and the conjugate coordinates are the mean anomaly l, the argument of periapsis ω, and the longitude of the ascending node Ω. 2 Similarly, if a smooth function f(x, y) of the Cartesian coordinates x and y is rewritten in polar coordinates (r, φ) then its expansion in powers of r will have the form c 0 + c 1 r cos(φ φ 1 ) + c 2 r 2 cos 2(φ φ 2 ) +.

4 the longitude of the node Ω increases by ψ but the elements l and ω do not change. In order that H 1 does not change, we then require that m = m and φ kmn = mφ s (t). Thousands of pages have been written about the disturbing function in the gravitational N-body problem and its approximate forms for nearly circular, nearly coplanar orbits like those found in the solar system. Here we will discuss only three specific problems to give some flavor of these results and how the disturbing function is used in practice. 2.2. Satellite orbits We first analyze some of the properties of the orbit of a satellite around a planet. The external gravitational potential from a planet with an axis of symmetry can be written [ ] Φ(r) = G m J n R n 1 r r P n(cos θ) (6) n n=2 where m and R are the mass and mean radius of the planet, θ is the polar angle from the symmetry axis, P n is a Legendre polynomial, and J n is a dimensionless multipole moment. There is no n = 1 component if the center of mass is chosen to be the origin of the coordinates. In most cases the dominant component is n = 2; since P 2 (cos θ) = 3 2 cos2 θ 1 we then have 2 Φ(r) = G m + G mj 2R 2 (3z 2 r 2 ) (7) r r 5 where z is the component of the radius vector along the symmetry axis. The corresponding disturbing function is H 1 = G mj 2R 2 (3z 2 r 2 ). (8) 2r 5 In converting this potential to a disturbing function of the form (4) we note that Φ has no explicit time dependence so φ kmn is independent of time. Since the mean longitude λ rotates through 2π in one orbital period, while ϖ and Ω are constants for a Keplerian orbit, the terms in the disturbing function are of two types: short-period terms with k 0 and secular terms with k = 0. Although the short-period terms are important for precise predictions of the location of the satellite at a given instant, the largest changes in its orbit will come from the secular terms since these act for a much longer time. Restricting the disturbing function to its secular terms is equivalent to averaging over one orbit. Denoting this average by and evaluating z 2 /r 5 and 1/r 3 using equations (50) and (43) of Lecture 1, we find H sec = H 1 = G mj 2R 2 4a 3 (1 e 2 ) 3/2 (3 sin2 I 2) = (G m)4 J 2 R 2 4L 3 G 3 (1 3H 2 /G 2 ). (9)

5 With this disturbing function, most of the properties of the satellite orbit are easy to understand. For example, Hamilton s equations imply that dl/dt = H sec / l = 0 so the semi-major axis a = L 2 /(G M) is constant, except for small short-period variations. Similarly, dg/dt = H sec / ω = 0 so the angular momentum and eccentricity are constants except for short-period variations 3. Similarly dh/dt = H sec / Ω = 0 so H is constant and the inclination I = cos 1 H/G is fixed. The apsis direction or perigee ω precesses at a rate ω = H sec G = 3(G m)4 J 2 R 2 4L 3 G 6 (5H 2 G 2 ) = 3(G m)4 J 2 R 2 4L 3 G 6 (5H 2 G 2 ) = 3(G m)1/2 J 2 R 2 4a 7/2 (1 e 2 ) 2 (5 cos2 I 1). (10) Thus the apsis direction of low-inclination orbits precesses forward; the apsis direction of high-inclination orbits precesses backward; and at the so-called critical inclination I = cos 1 1/5 = 63.4 the apsis does not precess. The node precesses at a rate which is retrograde for all orbits with 0 I < 90. Ω = H sec H = 3(G m)1/2 J 2 R 2 cos I, (11) 2a 7/2 (1 e 2 ) 2 2.3. Lidov-Kozai oscillations Suppose that a planet of mass m orbits a host star of mass m 0, with m + m 0 = M. Its position relative to the host star is x. There is a companion star of mass m c with position x c relative to the host star, with x c x. Expanding the heliocentric potential (eq. 37 of Lecture 2) in inverse powers of x c, Φ(x) = G M x G m c + G m cx x c x c 1 2x xc /x 2 c + x 2 /x 2 x 3 c c = G M x G m c [x 2c + x x x 3 c 12 x2 + 3(x x ] c) 2 c 2x 2 c = G M x + G m c x 3 c + O(x 3 /x 4 c) [ 1 2 x2 3(x x ] c) 2 + O(x 3 /x 4 2x c); (12) 2 c + G m cx x c x 3 c 3 This is a property of the quadrupole potential that is not shared by other multipoles.

6 in the last line we have dropped an unimportant constant term G m c /x c. Dropping the terms of order x 3 /x 4 c gives us the quadrupole approximation, in which the disturbing function is H 1 = G m [ c 1 x 3 2 x2 3(x x ] c) 2. (13) c 2x 2 c Let ê, û, ˆn be unit vectors pointing respectively towards periapsis (f = 0), towards f = 1π 2 in the orbital plane, and along the angular-momentum vector (thus ê û = ˆn). Then x = r(f)(cos fê + sin fû) with a similar formula for x c. As in the previous section, the largest effect on the orbit comes from the secular terms, which are obtained by averaging H 1 over the orbit. In this case we want to average over both the inner and outer orbits: [ 1 1 cos H sec = H 1 =G m c 2 r2 3 r (ê ê c 3 2 c) 2 r 2 cos 2 2 f c f rc 3 sin 3(ê û 2 c) 2 r 2 cos 2 2 f c cos f 3 r (û ê c 3 2 c) 2 r 2 sin 2 2 f c f rc ] 3 sin 3(û û 2 c) 2 r 2 sin 2 2 f c f. (14) r 3 c Using equations (43) of Lecture 1, this simplifies to G m c a 2 { H sec = 2 + 3e 2 3 4a 3 c(1 e 2 c) [(ê ê 3/2 2 c) 2 + (ê û c ) 2 ](1 + 4e 2 ) } 3[(û ê 2 c) 2 + (û û c ) 2 ](1 e 2 ) (15) Using the relation (ê ê c ) 2 +(ê û c ) 2 +(ê ˆn c ) 2 = 1 and a similar relation for û, this simplifies further to H sec = G m c a 2 4a 3 c(1 e 2 c) 3/2 [ 1 3 2 e2 + 3 2 (ê ˆn c) 2 (1 + 4e 2 ) + 3 2 (û ˆn c) 2 (1 e 2 ) ]. (16) We choose the reference frame to be the orbital plane of the companion star. Then ê ˆn c = sin I sin ω and û ˆn c = sin I cos ω and G m c a 2 [ H sec = 1 6e 2 3(1 e 2 ) cos 2 I + 15e 2 sin 2 I sin 2 ω ] 8a 3 c(1 e 2 c) 3/2 [ ) ) ] m c L 4 6G 2 = 8 G M 2 a 3 c(1 e 2 c) 3/2 L 5 3H2 + 15 (1 (1 G2 H2 sin 2 ω. (17) 2 L 2 L 2 G 2 The secular Hamiltonian is independent of l so the semi-major axis is constant, and independent of Ω so H is constant. In contrast to the Hamiltonian (9), however, this Hamiltonian depends on the argument of periapsis ω, so the conjugate variable G (the angular momentum)

7 is not constant. This gives rise to the remarkable phenomenon of Lidov-Kozai oscillations, which we now describe. Suppose that the initial planetary orbit is circular and inclined by I 0 to the reference plane (the orbital plane of the binary companion). Then H = (GMa) 1/2 cos I 0 and H and L are conserved, so conservation of H sec requires 2 2e 2 + 5 sin 2 ω(e 2 sin 2 I 0 ) = 0 or e = 0. (18) It is not hard to show that the first of these equations has a solution for 0 < e < 1 if and only if I 0 > sin 1 2/5 = 39.2. For larger initial inclinations the circular orbit may (and does) undergo oscillations to high eccentricity (Lidov Kozai oscillations). The maximum eccentricity occurs at sin ω = 1 and is equal to 5 sin 2 I 0 2 e max = ; (19) 3 as I 0 approaches 90 the maximum eccentricity approaches unity (i.e., a collision orbit). Contours of equation (18 for I 0 = 60 are shown in Figure 1. Among the remarkable properties of Lidov Kozai oscillations are that (i) above the critical inclination of 39.2, circular orbits are chaotic (because of additional terms due to octupole and higher moments of the tidal potential); (ii) the mass and distance of the companion star affect the period of the oscillations but not their amplitude. This means that in principle arbitrarily small external forces can lead to large changes in the orbit. In practice, when the perturber is sufficiently weak, either the oscillation period becomes longer than the age of the system, or other sources of precession additional planets or general relativity become stronger than the precession due to the companion, and this quenches the oscillations. Note that there is an accidental degeneracy in the problem as formulated here: the Hamiltonian does not depend on the orientation of the apsis of the companion star. In more realistic treatments that include higher-order multipole moments this degeneracy is lifted, giving the dynamics an additional degree of freedom and thus more complicated behavior. Lidov Kozai oscillations are important in a remarkable variety of astrophysical contexts: the irregular satellites of the giant planets (Nesvorný et al. 2003, AJ 126, 398); the excitation of exoplanet eccentricities by companion stars (Holman et al. 1997, Nature 386, 254); the formation of close binary stars (Fabrycky & Tremaine 2007, ApJ 669, 1298); blue straggler stars (Perets & Fabrycky 2009, ApJ 697, 1048); Type Ia supernovae (Thompson 2011, ApJ 741, 82; Kushnir et al. 2013, ApJ 778, L37); planetary migration; black-hole mergers (Blaes et al. 2002, ApJ 578, 775); asteroid orbits; satellite orbits; comets; etc.

8 1.0 0.8 0.6 0.4 0.2 0.0 0.0 0.5 1.0 1.5 2.0 2.5 3.0 Fig. 1. Lidov Kozai oscillations of a planet that is initially in a circular orbit with inclination I0 = 60 to the orbit of a distant companion star. The vertical axis is eccentricity and the horizontal axis is argument of periapsis. The contours are level surfaces of the energy (18). 2.4. Mean-motion resonances Orbital resonances are ubiquitous in the solar system (Peale 1976, ARAA 14, 215). Some examples include the 3:2 resonance between the orbital periods of Neptune and Pluto and other Kuiper belt objects; the 2:1 resonance between the orbital periods of Saturn s satellites Mimas and Tethys, and Dione and Enceladus; the co-orbital (1:1) resonance between Saturn s satellites Janus and Epimetheus; the Kirkwood gaps in the asteroid belt and the gaps in Saturn s rings; the three-body resonance between the mean motions of the first three Galilean satellites (nio 3nEuropa + 2nGanymede = 0); Trojan asteroids; etc. To keep the discussion as simple as possible, we focus on resonances between a planet on a circular orbit and a test particle orbiting on a near-circular orbit interior to the planet. We shall also assume that the orbits are coplanar. We denote the semi-major axis and mean motion of the planet s orbit by ac and nc, and its mass by mc. According to the discussion

9 in 2.1 the disturbing function can be written H 1 = H kmn (L, G, H) cos(kl + mω + nω mn s t); (20) k,m,n we have chosen the origin of time so that the planet is at azimuthal angle φ c = 0 at t = 0. The Hamiltonian is further restricted by the d Alembert property (5). We are assuming that the satellite and test-particle orbits are coplanar so G = H, which implies that the only non-zero terms have n = m. We are also assuming that the eccentricity of the test particle is small, so H kmn e m k. Thus the largest terms in the Hamiltonian have k = m, so we may approximate H 1 = m A m cos[m(l + ω + Ω n c t)] = m H m (L) cos[m(λ n c t)]. (21) Resonance occurs when the rate of change of the argument of the cosine is small, that is, when n n c. In other words the mean motions of the test particle and the planet must be nearly the same; examples of this resonance (also called a 1:1 resonance) include horseshoe orbits and Trojan orbits. These are quite interesting but we will not discuss them further because of time limitations. The next strongest resonances occur when H kmn e and require m = k ± 1. For these H 1 can be approximated as H 1 = m L GAm cos[(m 1)l + mω + mω mn c t] = m L GAm cos[(m 1)λ ± ϖ mn c t] (22) where A m is a constant (in principle A m depends on L but since the variations in L are small we can treat A m as a constant). Resonance occurs when (m 1)n = mn c. There are also resonances with (m j)n c = mn c with j > 1, but these are weaker since the resonant Hamiltonian is e j by the d Alembert property. Since we have assumed that the test particle is interior to the planet, and since we can restrict ourselves without loss of generality to m 0, we must choose the upper sign, so n = mn c /(m 1) or n/n c = 2, 3, 4,. These are known as mean-motion or Lindblad 2 3 resonances. We can simplify the problem by a canonical transformation using the generating function S = J s [(m 1)l + mω + mω mn c t] + J f1 (l + ω) + J f2 (l + ω + Ω). (23)

10 The new coordinates are θ s = S J s = (m 1)l mω mω + mn c t, θ f1 = l + ω, θ f2 = l + ω + Ω. (24) The subscript s indicates that θ s varies slowly near the resonance while f indicates that θ f1 and θ f2 vary rapidly ( θ f1 θ f2 n). The new momenta are related to the Delaunay momenta by L = S l = (1 m)j s + J f1 + J f2, Solving for the new momenta, and the new Hamiltonian is G = S ω = mj s + J f1 + J f2, H = mj s + J f2. (25) J s = L G, J f1 = G H, J f2 = H + m(l G), (26) H = H K + H 1 + S t = (GM) 2 2[(1 m)j s + J f1 + J f2 ] + A 2 m Js cos θ s + mn c J s. (27) The Hamiltonian is independent of the fast coordinates θ f1 and θ f2 so J f1 and J f2 are constants. Since the inclination is zero G = H; thus J f1 = 0. Moreover since the eccentricity is small J s is small and J f2 L, which is not small. Thus we can expand the denominator in equation (27) to quadratic order in J s /J f2. Dropping an unimportant constant term, we have 3(m 1)2 H = J s [mn c (m 1)n r ] J 2 2a 2 s + A m Js cos θ s ; (28) r here we have defined the constants a r and n r by J f2 = (GMa r ) 1/2 and n r = (GM/a 3 r) 1/2. When the perturbing potential A m is small and the eccentricity is also small (so J s is small), we have θ s H/ J s = mn c (m 1)n r so this constant can be thought of as the distance away from exact resonance, where θ s = 0. Rescaling the action and the Hamiltonian by constant factors allows us to convert the Hamiltonian into a standard form (Henrard & Lemaître 1983, Cel. Mech. 30, 197; Borderies & Goldreich 1984, Cel. Mech. 32, 127; Petrovich et al. 2013, ApJ 770, 24) H = 3 R + R 2 2 2R cos r, (29) where R and r is a conjugate momentum-coordinate pair and mn c (m 1)n r measures the distance away from resonance. Henrard & Lemaître call this the second fundamental model for resonance in contrast to the first fundamental model for resonance which is the simple pendulum, H = R + 1 2 R2 cos r. (30)

11 The Hamiltonian (29) has only one degree of freedom and thus is integrable. Thorough discussions of its solutions and how they evolve under slow changes in (as might be caused, e.g., by migration or growth of the mass of the planet) are given in the references above. They provide an analytical description of such phenomena as resonance capture, eccentricity excitation during resonance crossing, etc. I shall not discuss these results due to lack of time, and since they are covered in the references. The main purpose of this discussion has been to show how perturbation theory can be used to derive a model Hamiltonian that is simple enough to solve analytically but realistic enough to capture the main features of mean-motion resonances.