1:
2: \documentstyle[aps,preprint,psfig,eqsecnum]{revtex}
3: %\documentstyle[preprint,aps]{revtex}
4: \newcommand{\half}{{1 \over 2}}
5: \newcommand{\quarter}{{1 \over 4}}
6: \newcommand{\PRD}{Phys. Rev. D}
7: \tightenlines
8: \begin{document}
9: \draft
10: %\preprint{}
11: \def\nva{v_1 \cdot n}
12: \def\nvb{v_2 \cdot n}
13: \def\v1v2{v_1 \cdot v_2}
14: \title{Post-Newtonian gravitational radiation
15: and equations of motion via direct
16: integration of the relaxed Einstein equations. \\
17: II. Two-body equations of motion to second post-Newtonian
18: order, and radiation-reaction to 3.5 post-Newtonian order
19: }
20: \author{Michael E. Pati and Clifford M. Will }
21: \address{McDonnell Center for the Space Sciences,
22: Department of Physics, \\
23: Washington University, St. Louis, Missouri 63130}
24: \date{\today}
25: %\twocolumn[
26: \maketitle
27: %\widetext
28: \begin{abstract}
29:
30: We derive the equations of motion for binary systems of compact bodies in
31: the post-Newtonian (PN) approximation to general relativity. Results are given
32: through 2PN order (order $(v/c)^4$ beyond Newtonian theory), and for
33: gravitational radiation reaction effects at 2.5PN and 3.5PN orders.
34: The method is based
35: on a framework for direct integration of the relaxed Einstein equations
36: (DIRE) developed earlier, in which the equations of motion through 3.5PN
37: order can be expressed
38: in terms of Poisson-like potentials that are generalizations of the
39: instantaneous Newtonian gravitational
40: potential, and in terms of multipole moments of the system and their time
41: derivatives. All potentials are well defined and free of divergences
42: associated with integrating quantities over all space. Using a model of the
43: bodies as spherical, non-rotating fluid balls whose characteristic size $s$
44: is small compared to the bodies' separation $r$, we develop a method for
45: carefully extracting only terms that are independent of the parameter $s$,
46: thereby ignoring tidal interactions, spin effects, and internal self-gravity
47: effects. Through 2.5PN order, the resulting equations agree completely
48: with those
49: obtained by other methods; the new 3.5PN back-reaction
50: results are shown to be consistent
51: with the loss of energy and angular momentum via radiation to infinity.
52:
53: \end{abstract}
54: \pacs{04.30.-w, 04.25.Nx}
55: %\pacs{}
56: %
57: %\narrowtext
58: \section{Introduction and Summary}
59: \label{sec:intro}
60:
61: This is the second in a series of papers which will treat
62: motion and gravitational radiation in the post-Newtonian
63: approximation to general relativity. While this is a problem that dates
64: back to the beginnings of general relativity, it has recently taken on added
65: observational importance because of the need for extremely accurate
66: theoretical gravitational waveform templates for analysis of
67: data taken by laser interferometric gravitational-wave detectors
68: \cite{3min}.
69: Specifically, for waves from inspiralling binary systems of compact objects
70: (neutron stars or black holes), equations of motion and gravitational
71: waveforms accurate
72: to at least {\it third} post-Newtonian order (order $(v/c)^6$) beyond the
73: initial Newtonian or quadrupole approximation are needed.
74:
75: In paper I \cite{patiwill}, we laid out the foundations of our method
76: of Direct Integration of the Relaxed Einstein Equations (DIRE).
77: We rewrote the Einstein equations as a flat spacetime wave equation
78: together with a harmonic gauge condition (the ``relaxed'' Einstein
79: equations), and solved them formally in terms
80: of a retarded integral over the past null cone of the field point. Because
81: the ``source'' contains both the material stress-energy tensor and the
82: stress-energy contributions of the
83: gravitational fields themselves, it was necessary to iterate the integrals
84: repeatedly to obtain successively higher-order approximations
85: to a solution in powers of
86: $\epsilon \sim (v/c)^2 \sim (Gm/rc^2)$. Each power of
87: $\epsilon$ represents one
88: ``post-Newtonian'' (PN) order in the series ($\epsilon^{1/2}$ represents
89: one half, or 0.5PN orders). Despite the fact that the field
90: contributions to the integrals extend over all spacetime, we demonstrated
91: that no infinite or ill-defined integrals occurred, even in
92: slow-motion, multipole expansions, and found a simple
93: prescription for evaluating the finite contributions of all integrals.
94: This was true for calculations of the metric both in the near zone and in
95: the far zone.
96:
97: To complete the solution of Einstein's equations, one needs
98: equations of motion for the system. For this, one needs the spacetime
99: metric evaluated for field points within the near zone, corresponding to a
100: sphere of radius $\cal R \sim$ one gravitational wavelength. In Paper I, we
101: expressed this near-zone metric explicitly through order
102: $\epsilon^{7/2}$ beyond
103: the Newtonian approximation, corresponding to 3.5 post-Newtonian (PN) order,
104: in terms of instantaneous, Poisson-like integrals and their
105: generalizations, of the form, for example,
106: \begin{equation}
107: P(f) \equiv {1 \over {4\pi}} \int_{\cal M} {{f(t,{\bf x}^\prime)}
108: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime \,,
109: \label{poisson1}
110: \end{equation}
111: where the integration is confined to the near zone $\cal M$, and only that
112: part of the integral that is independent of $\cal R$ is kept.
113:
114: It is the purpose of this paper to evaluate these
115: integrals explicitly for a binary system of non-spinning, spherically
116: symmetric bodies whose size is much smaller than their separation. We
117: will carry this evaluation through 2PN order, and will also evaluate the
118: leading radiation-reaction contributions at 2.5PN order, together with the
119: first post-Newtonian corrections to radiation reaction, at 3.5PN order.
120: The extremely lengthy derivation of the
121: non-radiative 3PN contributions will be reserved
122: for future publications. The resulting equations have
123: the form
124: %
125: \begin{eqnarray}
126: {{d^2 {\bf x}} \over {dt^2}} &=& -{m \over r^2} {\bf n}
127: + {m \over r^2} \bigl[ \, {\bf n} (A_{PN} + A_{2PN} + A_{3PN})
128: + {\dot r}{\bf v} (B_{PN} + B_{2PN} + B_{3PN}) \bigr]
129: \nonumber \\
130: &&
131: + {8 \over 5} \eta {m \over r^2} {m \over r}
132: \bigl[\dot r {\bf n} (A_{2.5PN}+A_{3.5PN})
133: - {\bf v}(B_{2.5PN}+B_{3.5PN})\bigr] \,,
134: \label{eomfinal}
135: \end{eqnarray}
136: where ${\bf x} \equiv {\bf x}_1 - {\bf x}_2$, $r \equiv |{\bf x}|$, ${\bf n}
137: \equiv {\bf x}/r$, $m \equiv m_1 + m_2$, $\eta \equiv m_1m_2/m^2$,
138: ${\bf v} \equiv {\bf v}_1 - {\bf v}_2$, and $\dot
139: r = dr/dt$.
140: We use units in which $G = c = 1 $. The leading term is Newtonian gravity.
141: The other terms on the first line are the ``conservative'' or
142: non-dissipative terms, of even PN order, while those on the second line are
143: dissipative radiation-reaction terms, of odd-half PN order. The
144: coefficients $A$ and $B$ are given explicitly by
145: \begin{mathletters}
146: \begin{eqnarray}
147: A_{PN} &=& -(1+3\eta)v^2 + {3 \over 2}\eta {\dot r}^2 +2(2+\eta)m/r \,,
148: \nonumber \\
149: B_{PN} &=& 2(2-\eta) \,, \label{eomfinalcoeffsPN}
150: \\
151: A_{2PN} &=& -\eta(3-4\eta)v^4 + {1 \over 2}\eta(13-4\eta)v^2m/r
152: +{3 \over 2}\eta(3-4\eta)v^2{\dot r}^2
153: \nonumber \\
154: &&
155: +(2 +25\eta+2\eta^2){\dot r}^2m/r
156: -{15 \over 8}\eta(1-3\eta){\dot r}^4
157: -{3 \over 4}(12+29\eta)(m/r)^2 \,,
158: \nonumber \\
159: B_{2PN} &=& {1 \over 2}\eta(15+4\eta)v^2
160: -{3 \over 2}\eta(3+2\eta){\dot r}^2
161: -{1 \over 2}(4 +41\eta+8\eta^2)m/r \,,
162: \label{eomfinalcoeffs2PN}
163: \\
164: A_{2.5PN} &=& 3v^2+{17 \over 3}m/r\,,
165: \nonumber \\
166: B_{2.5PN} &=& v^2 + 3m/r\,,
167: \label{eomfinalcoeffs2.5PN}
168: \\
169: A_{3.5PN} &=&
170: -{3 \over 28} (61 + 70\eta) v^4
171: -{1 \over 42} (519 - 1267\eta) v^2m/r
172: +{15 \over 4}(19 + 2\eta) v^2\dot r^2
173: \nonumber \\
174: &&
175: -{1 \over 4}(147 + 188\eta) \dot r^2m/r
176: -70 \dot r^4
177: -{23 \over 14}(43 +14\eta) (m/r)^2 \,,
178: \nonumber \\
179: B_{3.5PN} &=&
180: -{1 \over 28}(313 + 42\eta )v^4
181: +{1 \over 42}(205 +777\eta) v^2m/r
182: +{3 \over 4}(113 +2 \eta) v^2\dot r^2
183: \nonumber \\
184: &&
185: -{1 \over 12}(205 + 424 \eta) \dot r^2m/r
186: -75\dot r^4
187: -{1 \over 42}(1325 + 546\eta) (m/r)^2 \,.
188: \label{eomfinalcoeffs3.5PN}
189: \end{eqnarray}
190: \label{eomfinalcoeffs}
191: \end{mathletters}
192:
193: The 1PN coefficients are standard; the 2PN and 2.5PN
194: terms agree completely with results derived
195: by Damour and Deruelle \cite{DD81,damour300},
196: Kopeiken and Grishchuk \cite{kopeikin85,GK86}, Blanchet
197: {\it et al.} \cite{bfp98}, and Itoh {\it et al.} \cite{futamase01}.
198: However, the 2.5PN terms
199: differ from those derived, for example from a Burke-Thorne type
200: radiation-reaction potential given by $\Phi_{RR} = -(1/5)x^ix^j
201: d^5 {\cal I}^{<ij>}/dt^5$, where ${\cal I}^{<ij>}$ is the system's
202: trace-free quadrupole moment (see, e.g. \S 36.11 of \cite{MTW}).
203: Iyer and Will
204: \cite{iyerwill,iyerwill2}
205: showed that there is a two-parameter ``gauge'' freedom in the radiation
206: reaction equations at 2.5PN order (and a six-parameter freedom at 3.5 PN
207: order), within which the different equations of motion yield identical
208: results for the net energy and angular momentum radiated. The 2.5PN terms
209: shown are thus observationally equivalent to the Burke-Thorne radiation
210: reaction equations. The 3.5PN terms are new; it can be shown that they
211: correspond to a specific choice of the six Iyer-Will gauge parameters, and
212: thus automatically generate the proper post-Newtonian corrections to energy
213: and angular momentum loss. Sch\"afer and Jaranowski
214: \cite{schafer85,schafer86,jaraschafer97}
215: also derived 2PN, 2.5PN and
216: 3.5PN contributions to the equations of motion in a Hamiltonian
217: formulation. The 3PN contributions to the equations of motion have
218: also been reported by several groups
219: \cite{jaraschafer98,jaraschafer99,djs00,bf00,bf01}.
220:
221: The remainder of this paper is devoted to the details supporting these
222: results. In Sec. \ref{sec:eombasic}
223: we review the basic equations needed to find
224: equations of motion to the order needed.
225: Section \ref{sec:2body}
226: specializes to binary systems of
227: spherical ``pointlike'' bodies, and derives the equations of
228: motion for each body correct to 2PN order. Section \ref{sec:2bodyreaction}
229: repeats the
230: process for the 2.5PN and 3.5PN terms. In Sec. \ref{sec:relative}
231: we transform to an
232: effective one-body relative equation of motion. Concluding remarks are made
233: in Sec. \ref{sec:conclusions}. Detailed points are
234: reserved for a series of Appendices.
235:
236: Our conventions and notation generally follow those of
237: \cite{MTW,thorne80}.
238: Greek indices run over four spacetime values 0, 1, 2, 3, while
239: Latin indices run over three spatial values 1, 2, 3;
240: commas denote partial derivatives with
241: respect to a chosen coordinate system, while semicolons denote
242: covariant derivatives;
243: repeated indices are summed over;
244: $\eta^{ \mu \nu } = \eta_{ \mu \nu } = {\rm diag}(-1,1,1,1)$;
245: $g \equiv \det( g_{ \mu \nu } )$;
246: $a^{(ij)} \equiv ( a^{ij} + a^{ji} )/2$;
247: $a^{[ij]} \equiv ( a^{ij} - a^{ji} )/2$;
248: $\epsilon^{ijk}$ is the totally antisymmetric Levi-Civita symbol
249: $( \epsilon^{123} = + 1)$. We use a multi-index notation for products
250: of vector components and partial derivatives, and for multiple spatial
251: indices:
252: $x^{ij \dots k} \equiv x^ix^j \dots x^k$,
253: $\nabla^{ij \dots k} \equiv \nabla^i\nabla^j \dots \nabla^k$, with a
254: capital letter superscript denoting an abstract product of that
255: dimensionality:
256: $x^Q \equiv x^{ i_1 } x^{ i_2 } ... x^{ i_q } $ and
257: $\nabla^Q \equiv \nabla^{ i_1 } \nabla^{ i_2 } ... \nabla^{ i_q } $.
258: Also, for a tensor of rank $Q$, $f^Q \equiv f^{i_1 i_2 \dots i_q}$.
259: The notation $f^Q g^Q$ denotes a complete contraction over the $q$
260: indices.
261: Spatial indices are freely raised and lowered with
262: $\delta^{ij}$ and $\delta_{ij}$.
263:
264:
265: \section{Equations of motion of compact binary systems: basic
266: equations}
267: \label{sec:eombasic}
268:
269: \subsection{Structure of the near-zone metric to 3.5PN order}
270: \label{sec:nearzone}
271:
272: We begin by reviewing key results from Paper I. We defined the ``field''
273: $h^{\alpha \beta}$ by
274: \begin{eqnarray}
275: h^{\alpha \beta} \equiv \eta^{\alpha \beta} - (-g)^{1/2} g^{\alpha \beta} \;
276: ,
277: \label{hdefinition}
278: \end{eqnarray}
279: where $g^{\alpha \beta}$ is the space time metric. In deDonder
280: or harmonic coordinates defined by the gauge condition
281: $h^{\alpha \beta},_{\beta} = 0$,
282: the Einstein equations take the
283: form
284: \begin{eqnarray}
285: \Box h^{ \alpha \beta } = -16 \pi {\tau}^{ \alpha \beta } \; ,
286: \label{relaxed}
287: \end{eqnarray}
288: where $\Box $
289: is the flat-spacetime wave operator, and ${\tau}^{ \alpha \beta }$ is made
290: up of the material stress-energy tensor $T^{ \alpha \beta }$
291: and the contribution of all the
292: non-linear terms in Einstein's
293: equations.
294: We defined a notation for specific components of the field
295: $h^{\alpha\beta}$:
296: \begin{eqnarray}
297: N &\equiv& h^{00} \sim O(\epsilon) \,, \nonumber \\
298: K^i &\equiv& h^{0i} \sim O(\epsilon^{3/2}) \,, \nonumber \\
299: B^{ij} &\equiv& h^{ij} \sim O(\epsilon^2) \,, \nonumber \\
300: B &\equiv& \sum_i h^{ii} \sim O(\epsilon^2) \,,
301: \label{hcomponents}
302: \end{eqnarray}
303: where we show the leading-order dependence on $\epsilon$ in the near
304: zone. To the necessary orders for calculating
305: the equations of motion to 3.5PN order,
306: the components of the physical metric
307: are given in terms of $N$, $K^i$, $B^{ij}$ and $B$ by
308: \begin{eqnarray}
309: g_{00} &=& -(1- {1 \over 2}N+ {3 \over 8} N^2 - {5 \over 16} N^3 + {35
310: \over 128}N^4 ) + {1 \over 2}B(1- {1 \over 2}N+ {3 \over 8} N^2)
311: \nonumber \\
312: &&+ {1 \over 4}(B^{ij}B^{ij}-{1 \over 2}B^2)
313: +{1 \over 2}K^jK^j - {3 \over 4} NK^jK^j +O(\epsilon^5) \,,
314: \nonumber \\
315: g_{0i} &=& -K^i(1- {1 \over 2}N -{1 \over 2}B + {3 \over 8} N^2) - K^j
316: B^{ij} +O(\epsilon^{9/2}) \,,
317: \nonumber \\
318: g_{ij} &=& \delta^{ij} (1+ {1 \over 2}N- {1 \over 8} N^2 + {1 \over 16}
319: N^3 - {1 \over 4}NB +{1 \over 2}K^kK^k )
320: \nonumber \\
321: &&+ B^{ij} - {1 \over
322: 2}B\delta^{ij}- K^iK^j + {1 \over 2}N B^{ij} +O(\epsilon^4) \,,
323: \nonumber \\
324: (-g) &=& 1+N-B-NB+K^iK^i + O(\epsilon^4) \,.
325: \label{metricexpand}
326: \end{eqnarray}
327: The potentials $N$, $K^i$,
328: $B^{ij}$ and $B$ must also be expanded to an appropriate order:
329: %
330: \begin{eqnarray}
331: N &=& \epsilon (4U_{\sigma}
332: + \epsilon N_1+ \epsilon^{3/2} N_{1.5}+ \epsilon^2 N_2+
333: \epsilon^{5/2} N_{2.5}+ \epsilon^3 N_3+ \epsilon^{7/2} N_{3.5} )
334: +O(\epsilon^5) \,,
335: \nonumber \\
336: K^i &=& \epsilon^{3/2} (4V_{\sigma}^i + \epsilon K_2^i +\epsilon^{3/2} K_{2.5}^i
337: + \epsilon^2 K_3^i +\epsilon^{5/2} K_{3.5}^i ) +O(\epsilon^{9/2}) \,,
338: \nonumber \\
339: B &=& \epsilon^2 (B_1 + \epsilon^{1/2} B_{1.5}
340: +\epsilon B_2 + \epsilon^{3/2} B_{2.5} + \epsilon^2 B_3+
341: \epsilon^{5/2} B_{3.5} )
342: +O(\epsilon^5) \,,
343: \nonumber \\
344: B^{ij} &=& \epsilon^2 (B_2^{ij} + \epsilon^{1/2} B_{2.5}^{ij} +
345: \epsilon B_3^{ij}+ \epsilon^{3/2} B_{3.5}^{ij}) +O(\epsilon^4) \,,
346: \label{expandNKB}
347: \end{eqnarray}
348: %
349: where the subscript on each term indicates the level (1PN, 2PN, 2.5PN,
350: etc.) of its leading contribution to the equations of motion. Notice
351: that our separate treatment of $B$ and $B^{ij}$ leads to the slightly
352: awkward notational circumstance that, for example, $B_2^{ii} = B_1$.
353: In Paper I, we obtained
354: explicit near-zone expressions for each of the terms
355: in Eq. (\ref{expandNKB})
356: in terms of Poisson-like potentials
357: \begin{eqnarray}
358: P(f) &\equiv& {1 \over {4\pi}} \int_{\cal M} {{f(t,{\bf x}^\prime)}
359: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime \,, \quad \nabla^2
360: P(f) = -f \,,
361: \nonumber\\
362: \Sigma (f) &\equiv& \int_{\cal M} {{\sigma(t,{\bf x}^\prime)f(t,{\bf
363: x}^\prime)}
364: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\sigma f) \,,
365: \label{poissonlike}
366: \end{eqnarray}
367: and various generalizations [for definitions, see Paper I, Eqs. (4.10) --
368: (4.16)],
369: and in terms of source multipole moments, such as
370: ${\cal I}^{ij} \equiv \int_{\cal M} \tau^{00} x^{ij} d^3x$ [for definitions,
371: see Paper I, Eqs. (2.14) and (4.5) -- (4.7)].
372: The integrations are over a constant time hypersurface $\cal M$ that extends
373: to a radius ${\cal R} \sim$ one gravitational wavelength from the source.
374: In Paper I, we showed that, even for Poisson potentials where the function
375: $f$ does not have compact support, all contributions to the field
376: $h^{\mu\nu}$ from the integration
377: over $\cal M$ that depend on $\cal R$ cancel corresponding contributions
378: from that part of the field point's past null cone that is outside $\cal
379: R$, and thus that any $\cal R$-dependent terms that appear in a
380: given integral can simply be discarded.
381:
382: The potentials given in Paper I
383: were expressed in terms of specific source
384: densities given by
385: \begin{eqnarray}
386: \sigma & \equiv& T^{00} + T^{ii} \,, \nonumber \\
387: \sigma^i & \equiv& T^{0i} \,, \nonumber \\
388: \sigma^{ij} & \equiv& T^{ij} \,.
389: \label{sigmadefinitions}
390: \end{eqnarray}
391: For example, in Eq. (\ref{expandNKB}),
392: %
393: \begin{eqnarray}
394: U_{\sigma} &\equiv& \int_{\cal M} {{\sigma(t,{\bf x}^\prime)}
395: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\sigma) =
396: \Sigma(1) \,,
397: \nonumber \\
398: V_{\sigma}^i &\equiv& \int_{\cal M} {{\sigma^i(t,{\bf x}^\prime)}
399: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\sigma^i) =
400: \Sigma^i(1) \,.
401: \label{UVsigma}
402: \end{eqnarray}
403: Explicit expressions for the remaining terms in Eq. (\ref{expandNKB}) can
404: be found in Paper I, Eqs. (5.2), (5.4), (5.8), (5.10), (6.2), and (6.4).
405:
406: \subsection{Model of the material sources}
407: \label{sourcemodel}
408:
409: We model the material sources in the binary system as
410: perfect fluid, having
411: stress-energy tensor
412: \begin{eqnarray}
413: T^{\alpha\beta} \equiv (\rho +p)u^\alpha u^\beta +pg^{\alpha\beta}
414: \;,
415: \label{fluid}
416: \end{eqnarray}
417: where $\rho$ and $p$ are the locally measured energy density and
418: pressure, respectively, and $u^\alpha$ is the four-velocity of an
419: element of fluid.
420: We will assume the bodies to be non-rotating (the effects of spin will be
421: treated in future publications), spherically symmetric in their comoving rest
422: frames, and small compared to their separation, so that tidal
423: distortions can be ignored.
424:
425: Our goal is to determine all
426: contributions to the equations of motion that are independent of the
427: internal structure, size, and shape of the bodies.
428: We are less interested in formal rigor than in having a robust method
429: that captures all the effects without missing any.
430: One approach to this has been to assume a ``delta-function'' or
431: distributional form for the stress-energy tensor. This has been
432: criticized because such a source is fundamentally
433: incompatible with general
434: relativity, and because it leads to divergences related to the infinite
435: self-field of a point mass. A number of methods have been developed
436: in order to extract the finite part of such divergent expressions,
437: including the Hadamard {\it partie finie} technique (for a recent
438: review, see \cite{bfhadamard}.
439: Another approach is related to that of
440: Einstein, Infeld and Hoffman (EIH) \cite{EIH}: expand the vacuum
441: Einstein equations in a post-Newtonian expansion and match the
442: solutions to fields representing the near-zone, Schwarzschild-like
443: field of a static, spherical body. The consistency conditions imposed
444: by the matching lead to constraints on the motion of the bodies that
445: yield the equations of motion. This has been carried out to 2.5PN
446: order by Itoh {\it et al.} \cite{futamase00,futamase01}, exploiting a
447: ``strong-field point particle'' scaling method of Futamase
448: \cite{futamase85}.
449:
450: A third approach is to treat the bodies realistically as fluid balls
451: with internal energy, supported against their self gravity by pressure
452: governed by an equation of state. In this case, the mass of each body
453: is composed of rest mass, internal energy and self-gravitational
454: binding energy, and the center of mass is defined accordingly.
455: However, at Newtonian and 1PN order, when finite-size effects such as tidal
456: interactions are ignored, it turns out that all vestiges of the internal
457: structure are ``effaced'', in the language of Damour \cite{damour300},
458: and the final 1PN equations of motion depend on one and only one mass
459: as defined above. This procedure can be seen in detail, for example,
460: in \cite{tegp}, \S 6.2, where the calculation is actually carried
461: out in the parametrized post-Newtonian (PPN) framework, which
462: encompasses a class of metric theories of gravity. In many
463: alternative theories, such as scalar-tensor gravity, the effacement is
464: violated, and the equations of motion depend on various masses, such
465: as inertial mass $m$, active gravitational mass $m_A$, and passive
466: gravitational mass $m_P$, which may differ by amounts depending on
467: the bodies'
468: gravitational binding energy. In GR, the PPN parameters are such that
469: all three masses are identical.
470:
471: In fact, the 1PN equations of motion derived from this method are
472: identical to those obtained from a ``delta'' function method in which
473: one systematically throws away all terms that are singular when
474: evaluated on each body's world line. At 1PN order,
475: the results are in keeping with
476: the idea that general relativity satisfies the Strong Equivalence
477: Principle (see \S 3.3 of \cite{tegp}), part of which implies that the
478: motion of bound bodies is independent of their internal structure,
479: provided that tidal effects can be ignored.
480: Kopeikin \cite{kopeikin85} extended this to 2PN
481: order, with results consistent with the Strong Equivalence Principle.
482:
483: Our approach will be intermediate between the ``delta-function'' model and
484: the full equilibrium fluid ball method. We will neglect pressure $p$ and
485: internal energy density, and treat the bodies as balls of baryons
486: characterized by the ``conserved'' baryon mass density $\rho^*$, given by
487: %
488: \begin{equation}
489: \rho^* \equiv m n \sqrt{-g} u^0 \,,
490: \label{conservedrho}
491: \end{equation}
492: where $m$ is the rest mass per baryon, $n$ is the baryon number
493: density, and
494: $g \equiv \det (g_{\mu\nu})$. From the conservation of baryon number,
495: expressed in covariant terms by $(nu^{\alpha})_{;\alpha} = 0 =
496: (\sqrt{-g}nu^{\alpha})_{,\alpha}$, we see that $\rho^*$ obeys the non-covariant,
497: but exact, continuity
498: equation
499: \begin{equation}
500: \partial \rho^* /\partial t + \nabla \cdot (\rho^* {\bf v}) = 0 \,,
501: \label{continuity}
502: \end{equation}
503: where $v^i = u^i/u^0$, and spatial gradients and dot products use a
504: Cartesian metric.
505: In terms of $\rho^*$, the stress-energy tensor takes the form
506: %
507: \begin{equation}
508: T^{\alpha\beta} = \rho^* (-g)^{-1/2} u^0 v^\alpha v^\beta \,,
509: \label{Trhostar}
510: \end{equation}
511: %
512: where $v^\alpha = (1,v^i)$. We define the baryon rest mass, center of baryonic
513: mass, velocity
514: and acceleration of each body by the formulae
515: \begin{eqnarray}
516: m_A &\equiv & \int_A \rho^* d^3x \,,
517: \nonumber \\
518: {\bf x}_A & \equiv & (1/m_A) \int_A \rho^* {\bf x}^i d^3x \,,
519: \nonumber \\
520: {\bf v}_A & \equiv & d{\bf x}_A /dt = (1/m_A) \int_A \rho^* {\bf v}^i d^3x \,,
521: \nonumber \\
522: {\bf a}_A & \equiv & d{\bf v}_A /dt = (1/m_A) \int_A \rho^* {\bf a}^i d^3x \,,
523: \label{rhostardefinitions}
524: \end{eqnarray}
525: where we have used the general fact, implied by the equation of continuity for
526: $\rho^*$, that
527: \begin{equation}
528: {\partial \over {\partial t}} \int \rho^*(t, {\bf x}^\prime) f(t, {\bf x},{\bf
529: x}^\prime) d^3x^\prime = \int \rho^*(t, {\bf x}^\prime) \left ( {\partial
530: \over {\partial t}} + {\bf v}^\prime \cdot \nabla^\prime \right ) f(t, {\bf
531: x},{\bf x}^\prime) d^3x^\prime \,.
532: \label{continuity2}
533: \end{equation}
534:
535:
536: \subsection{Structure of the equations of motion to 3.5 PN order}
537:
538: The definition of the stress-energy tensor in terms of $\rho^*$, Eq.
539: (\ref{Trhostar}), together with the equation of continuity, Eq.
540: (\ref{continuity}), and the fundamental equations of motion,
541: ${T^{\alpha\beta}}_{;\beta}=0$ can be shown to be equivalent to the
542: geodesic equation $u^{\beta}u^\alpha_{;\beta} =0$ for each fluid
543: element. In terms of ordinary velocity $v^i = dx^i/dt$ and harmonic coordinate
544: time $t$, the geodesic equation takes the form
545: \begin{equation}
546: a^i \equiv dv^i/dt = -\Gamma^i_{\alpha\beta} v^\alpha v^\beta +
547: \Gamma^0_{\alpha\beta} v^\alpha v^\beta v^i \,,
548: \label{geodesic}
549: \end{equation}
550: where $\Gamma^\gamma_{\alpha\beta}$ are Christoffel symbols computed
551: from the metric. According to our definitions of the baryonic center
552: of mass, velocity and acceleration of each body, we can write the
553: coordinate acceleration of the $A$-th body in the form
554: \begin{equation}
555: a^i_A = (1/m_A) \int_A \rho^* (-\Gamma^i_{\alpha\beta} v^\alpha
556: v^\beta +
557: \Gamma^0_{\alpha\beta} v^\alpha v^\beta v^i ) d^3x \,.
558: \label{acceleration1}
559: \end{equation}
560: Our task therefore, is to determine the Christoffel symbols through a
561: PN order sufficient for equations of motion valid through 3.5PN order
562: using the 3.5PN accurate expressions of the metric in Paper I
563: (different components of $\Gamma^\gamma_{\alpha\beta}$ are need to
564: different accuracy, depending on the number of factors of velocity
565: which multiply them); re-express the Poisson potentials contained in
566: the metric in terms of $\rho^*$, rather than in terms of the
567: ``densities'' $\sigma$, $\sigma^i$ and $\sigma^{ij}$, substitute into
568: Eq. (\ref{acceleration1}), and integrate over the $A$-th body, keeping
569: only terms that do not depend on the bodies' finite size.
570:
571: %
572:
573: \subsection{Christoffel Symbols to 3.5PN order}
574:
575: The fundamental definition
576: \begin{equation}
577: \Gamma^{\alpha}_{\mu\nu} \equiv {1 \over 2} g^{\alpha\beta}
578: (g_{\beta\mu , \nu}+ g_{\beta\nu , \mu} - g_{\mu\nu , \beta}) \,,
579: \end{equation}
580: together with the form of the metric Eq. (\ref{metricexpand}) and the
581: expansions of Eq. (\ref{expandNKB}) give the Christoffel
582: symbols expanded to the required order:
583: \begin{mathletters}
584: \begin{eqnarray}
585: \Gamma^0_{00} &=&
586: -\epsilon \dot U_{\sigma}
587: -\epsilon^2 \left ( \quarter ({\dot N}_1 + {\dot B}_1) -
588: 4U_{\sigma} \dot U_{\sigma}
589: - 4 V_{\sigma}^i U_{\sigma}^{,i}
590: \right )
591: -\epsilon^{5/2} {\dot N}_{1.5}
592: -\epsilon^3 \biggl (\quarter ({\dot N}_2 +
593: {\dot B}_2) -N_1 \dot U_{\sigma}
594: \nonumber \\
595: &&
596: - U_{\sigma} \dot N_1
597: - V_{\sigma}^i (N_1^{,i} + B_1^{,i} )
598: - K_2^i U_{\sigma}^{,i}
599: - 8 V_{\sigma}^i \dot V_{\sigma}^i
600: + 16 U_{\sigma}^2 \dot U_{\sigma}
601: +32 U_{\sigma} V_{\sigma}^i U_{\sigma}^{,i} \biggr )
602: \nonumber \\
603: &&
604: - \epsilon^{7/2} \left ( \quarter (\dot N_{2.5} + \dot B_{2.5})
605: -N_{1.5} \dot U_{\sigma}
606: - U_{\sigma} \dot N_{1.5} - K_{2.5}^i U_{\sigma}^{,i} \right ) +
607: O(\epsilon^4) \,,\\
608: %
609: \Gamma^0_{0i} &=&
610: -\epsilon U_{\sigma}^{,i}
611: -\epsilon^2 \left ( \quarter (N_1^{,i} + B_1^{,i} )
612: - 4U_{\sigma} U_{\sigma}^{,i} \right
613: )
614: -\epsilon^3 \biggl ( \quarter (N_2^{,i} + B_2^{,i} )
615: - N_1 U_{\sigma}^{,i}
616: - U_{\sigma} N_1^{,i}
617: \nonumber \\
618: &&
619: + 4 V_{\sigma}^i \dot U_{\sigma}
620: + 8 V_{\sigma}^j V_{\sigma}^{i,j}
621: + 16 U_{\sigma}^2 U_{\sigma}^{,i} \biggr )
622: - \epsilon^{7/2} \left ( \quarter (N_{2.5}^{,i} + B_{2.5}^{,i} ) -
623: N_{1.5} U_{\sigma}^{,i} \right )
624: + O(\epsilon^4) \,,\\
625: %
626: \Gamma^0_{ij} &=&
627: \epsilon^2 (4 V_{\sigma}^{(i,j)} + \dot U_{\sigma} \delta^{ij} )
628: +\epsilon^3 \left ( \quarter (\dot N_1 - \dot B_1) \delta^{ij}
629: + \half \dot B_2^{ij} + K_2^{(i,j)}
630: - 16 V_{\sigma}^{(i} U_{\sigma}^{,j)}
631: +4 V_{\sigma}^k U_{\sigma}^{,k} \delta^{ij}
632: \right )
633: \nonumber \\
634: &&
635: + \epsilon^{7/2} \left ( \half \dot B_{2.5}^{ij} + K_{2.5}^{(i,j)}
636: - \half \dot N_{1.5} \delta^{ij} \right )
637: + O(\epsilon^4) \,,\\
638: %
639: \Gamma^i_{00} &=&
640: - U_{\sigma}^{,i} - \epsilon \left ( \quarter (N_1^{,i} + B_1^{,i} )
641: + 4 \dot V_{\sigma}^i - 8 U_{\sigma} U_{\sigma}^{,i} \right )
642: - \epsilon^2 \biggl ( \quarter (N_2^{,i} + B_2^{,i} ) + \dot K_2^i
643: - 2N_1 U_{\sigma}^{,i}
644: \nonumber \\
645: &&
646: - 2U_{\sigma} N_1^{,i}
647: - U_{\sigma} B_1^{,i} - B_2^{ij} U_{\sigma}^{,j}
648: - 4 V_{\sigma}^i \dot U_{\sigma}
649: -16 U_{\sigma} \dot V_{\sigma}^i + 8 V_{\sigma}^j V_{\sigma}^{j,i}
650: +48 U_{\sigma}^2 U_{\sigma}^{,i} \biggr )
651: \nonumber \\
652: &&
653: - \epsilon^{5/2} \left ( \quarter (N_{2.5}^{,i} + B_{2.5}^{,i} )
654: + \dot K_{2.5}^i - 2 N_{1.5} U_{\sigma}^{,i}
655: - B_{2.5}^{ij} U_{\sigma}^{,j}
656: \right )
657: \nonumber \\
658: &&
659: - \epsilon^3 \biggl ( \quarter (N_3^{,i} + B_3^{,i} ) + \dot K_3^i
660: - 2 N_2 U_{\sigma}^{,i} - U_{\sigma} (2 N_2^{,i} + B_2^{,i})
661: - 4 U_{\sigma} \dot K_2^i - K_2^i \dot U_{\sigma}
662: \nonumber \\
663: &&
664: - \half N_1 N_1^{,i} - \quarter N_1 B_1^{,i}
665: - V_{\sigma}^i (\dot N_1 + \dot B_1 ) - 4 N_1 \dot V_{\sigma}^i
666: + 2 K_2^j V_{\sigma}^{j,i} + 2 V_{\sigma}^j K_2^{j,i}
667: + 4 V_{\sigma}^j \dot B_2^{ij}
668: \nonumber \\
669: &&
670: + \quarter B_2^{jk} B_2^{jk,i}
671: - B_3^{ij} U_{\sigma}^{,j} - \quarter B_2^{ij} ( B_1^{,j} + N_1^{,j} )
672: + 12 U_{\sigma}^2 N_1^{,i} + 4 U_{\sigma}^2 B_1^{,i}
673: + 24 U_{\sigma} N_1 U_{\sigma}^{,i}
674: \nonumber \\
675: &&
676: +8 U_{\sigma} U_{\sigma}^{,j} B_2^{ij}
677: +64 U_{\sigma}^2 \dot V_{\sigma}^i
678: +32 U_{\sigma} \dot U_{\sigma} V_{\sigma}^i
679: -64 U_{\sigma} V_{\sigma}^j V_{\sigma}^{j,i}
680: - 32 V_{\sigma}^j V_{\sigma}^j U_{\sigma}^{,i}
681: -256 U_{\sigma}^3 U_{\sigma}^{,i} \biggr )
682: \nonumber \\
683: &&
684: - \epsilon^{7/2} \biggl ( \quarter (N_{3.5}^{,i} + B_{3.5}^{,i} )
685: + \dot K_{3.5}^{i}
686: - \quarter N_{1.5} B_1^{,i} - \half N_{1.5} N_1^{,i}
687: - 2 U_{\sigma} N_{2.5}^{,i} - U_{\sigma} B_{2.5}^{,i}
688: - 2 N_{2.5} U_{\sigma}^{,i}
689: \nonumber \\
690: &&
691: + 2 V_{\sigma}^j K_{2.5}^{j,i} + 2 K_{2.5}^j V_{\sigma}^{j,i}
692: -4 U_{\sigma} \dot K_{2.5}^i - K_{2.5}^i \dot U_{\sigma}
693: - 4 V_{\sigma}^i \dot N_{1.5} - 4 N_{1.5} \dot V_{\sigma}^i
694: - U_{\sigma}^{,j} B_{3.5}^{ij}
695: + 4 V_{\sigma}^j \dot B_{2.5}^{ij}
696: \nonumber \\
697: &&
698: - \quarter B_{2.5}^{ij} ( N_1^{,j} + B_1^{,j} )
699: + \quarter B_{2.5}^{jk} B_2^{jk,i}
700: +24 U_{\sigma} N_{1.5} U_{\sigma}^{,i}
701: + 8 U_{\sigma} U_{\sigma}^{,j} B_{2.5}^{ij} \biggr )
702: + O(\epsilon^4) \,, \\
703: %
704: \Gamma^i_{0j} &=&
705: \epsilon ( \dot U_{\sigma} \delta^{ij} - 4 V_{\sigma}^{[i,j]} )
706: + \epsilon^2 \biggl ( \quarter (\dot N_1 -\dot B_1) \delta^{ij}
707: - K_2^{[i,j]} + \half \dot B_2^{ij}
708: -4 U_{\sigma} \dot U_{\sigma} \delta^{ij}
709: \nonumber \\
710: &&
711: - 4 V_{\sigma}^j U_{\sigma}^{,i} + 16 U_{\sigma} V_{\sigma}^{[i,j]}
712: \biggr )
713: - \epsilon^{5/2} \left ( \half \dot N_{1.5} \delta^{ij} + K_{2.5}^{[i,j]}
714: - \half \dot B_{2.5}^{ij} \right )
715: \nonumber \\
716: &&
717: + \epsilon^3 \biggl ( \quarter (\dot N_2 - \dot B_2 ) \delta^{ij}
718: - K_3^{[i,j]} + \half \dot B_3^{ij}
719: - (N_1 \dot U_{\sigma} + U_{\sigma} \dot N_1) \delta^{ij}
720: - K_2^j U_{\sigma}^{,i} + 4U_{\sigma} K_2^{[i,j]}
721: \nonumber \\
722: &&
723: - 16 V_{\sigma}^{(i} \dot V_{\sigma}^{j)}
724: + 8 V_{\sigma}^{k} \dot V_{\sigma}^{k} \delta^{ij}
725: - V_{\sigma}^j (N_1^{,i} + B_1^{,i}) + 4 N_1 V_{\sigma}^{[i,j]}
726: + 4 B_2^{ik} V_{\sigma}^{[k,j]}
727: \nonumber \\
728: &&
729: + 4 V_{\sigma}^{k,[i} B_2^{j]k}
730: - 4 V_{\sigma}^k B_2^{k[i,j]}
731: + 16 U_{\sigma}^2 \dot U_{\sigma} \delta^{ij}
732: + 32 U_{\sigma} U_{\sigma}^{,i} V_{\sigma}^j
733: - 64 U_{\sigma}^2 V_{\sigma}^{[i,j]} \biggr )
734: \nonumber \\
735: &&
736: + \epsilon^{7/2} \biggl ( \quarter (\dot N_{2.5} - \dot B_{2.5} )\delta^{ij}
737: - K_{3.5}^{[i,j]} + \half \dot B_{3.5}^{ij}
738: - (N_{1.5} \dot U_{\sigma} + U_{\sigma} \dot N_{1.5} ) \delta^{ij}
739: \nonumber \\
740: &&
741: - K_{2.5}^j U_{\sigma}^{,i} + 4 U_{\sigma} K_{2.5}^{[i,j]}
742: + 4 N_{1.5} V_{\sigma}^{[i,j]}
743: + 4 B_{2.5}^{ik} V_{\sigma}^{[k,j]} + 4 V_{\sigma}^{k,[i} B_{2.5}^{j]k}
744: \biggr )
745: + O(\epsilon^4) \,, \\
746: %
747: \Gamma^i_{jk} &=&
748: \epsilon \,{^0}\Gamma^i_{jk}(U_{\sigma})
749: + \epsilon^2 \left ( \quarter \,{^0}\Gamma^i_{jk} (N_1 - B_1)
750: -4 U_{\sigma} \,{^0}\Gamma^i_{jk}(U_{\sigma})
751: + \half (B_2^{ij,k} + B_2^{ik,j} - B_2^{jk,i} ) \right )
752: \nonumber \\
753: &&
754: + \epsilon^{3} \biggl ( \quarter \,{^0}\Gamma^i_{jk} (N_2 - B_2)
755: + \half (B_3^{ij,k} + B_3^{ik,j} - B_3^{jk,i} )
756: - N_1 \,{^0}\Gamma^i_{jk}(U_{\sigma})
757: + B_2^{il} U_{\sigma}^{,l} \delta^{jk} - B_2^{jk} U_{\sigma}^{,i}
758: \nonumber \\
759: &&
760: - U_{\sigma} \,{^0}\Gamma^i_{jk}(N_1)
761: + 16 U_{\sigma}^2 \,{^0}\Gamma^i_{jk}(U_{\sigma})
762: + 4 V_{\sigma}^i \dot U_{\sigma} \delta^{jk}
763: + 4 \,{^0}\Gamma^i_{jk}(V_{\sigma}^l V_{\sigma}^l)
764: - 16 V_{\sigma}^j V_{\sigma}^{[i,k]}
765: - 16 V_{\sigma}^k V_{\sigma}^{[i,j]} \biggr )
766: \nonumber \\
767: &&
768: + \epsilon^{7/2} \biggl ( \quarter \,{^0}\Gamma^i_{jk} (N_{2.5} - B_{2.5})
769: + \half (B_{3.5}^{ij,k} + B_{3.5}^{ik,j} - B_{3.5}^{jk,i} )
770: \nonumber \\
771: &&
772: - N_{1.5} \,{^0}\Gamma^i_{jk}(U_{\sigma})
773: + B_{2.5}^{il} U_{\sigma}^{,l} \delta^{jk}
774: - B_{2.5}^{jk} U_{\sigma}^{,i}
775: \biggr ) + O(\epsilon^4) \,,
776: %
777: \end{eqnarray}
778: \label{gammas}
779: \end{mathletters}
780: where we define
781: \begin{equation}
782: {^0}\Gamma^i_{jk}(f) \equiv
783: f^{,k} \delta^{ij} + f^{,j} \delta^{ik} - f^{,i} \delta^{jk} \,.
784: \end{equation}
785:
786: \subsection{Conversion to the baryon density $\rho^*$}
787:
788: We must now convert all potentials from integrals over $\sigma$, $\sigma^i$
789: and $\sigma^{ij}$ to integrals over the conserved baryon density $\rho^*$,
790: defined by Eq. (\ref{conservedrho}).
791: From Eqs. (\ref{sigmadefinitions}) and (\ref{Trhostar}), we find
792: \begin{eqnarray}
793: \sigma &=& \rho^* u^0 (1+v^2)/\sqrt{-g} \,,
794: \nonumber \\
795: \sigma^i &=& \rho^* u^0 v^i/\sqrt{-g} \,,
796: \nonumber \\
797: \sigma^{ij} &=& \rho^* u^0 v^i v^j /\sqrt{-g} \,,
798: \label{sigmatorho}
799: \end{eqnarray}
800: where $u^0 = (-g_{00} -2 g_{0i}v^i - g_{ij}v^iv^j)^{-1/2}$. Substituting the
801: expansions for the metric, Eq. (\ref{metricexpand}), and for the metric
802: potentials Eq. (\ref{expandNKB}), we obtain, to the
803: order required for 3.5PN equations of motion,
804: \begin{mathletters}
805: \begin{eqnarray}
806: \sigma &=& \rho^* \biggl [ 1 +
807: \epsilon \left ({3 \over 2} v^2 - U_\sigma \right )
808: + \epsilon^2 \left ( {7 \over 8} v^4 + \half v^2 U_\sigma
809: - 4 v^j V_\sigma^j - \quarter N_1
810: + {3 \over 4} B_1 + {5 \over 2} U_\sigma^2 \right )
811: \nonumber \\
812: &&
813: + 2 \epsilon^{5/2} N_{1.5}
814: + \epsilon^3 \left ( {11 \over 16} v^6 + {33 \over 8} v^4 U_\sigma
815: -10 v^2 V_\sigma^j v^j + {7 \over 4} v^2 U_\sigma^2
816: + {1 \over 8} v^2 N_1 + {9 \over 8} v^2 B_1 + \half B_2^{ij} v^i v^j
817: \right .
818: \nonumber \\
819: &&
820: \left .
821: + 4 U_\sigma V_\sigma^j v^j - K_2^j v^j
822: - \quarter N_2 + {3 \over 4} B_2
823: - 4 V_\sigma^i V_\sigma^i
824: + {5 \over 4} U_\sigma N_1
825: - {3 \over 4} U_\sigma B_1
826: -{15 \over 2} U_\sigma^3
827: \right )
828: \nonumber \\
829: &&
830: + \epsilon^{7/2} \left ({7 \over 2} v^2 N_{1.5}
831: + \half B_{2.5}^{ij} v ^i v^j - K_{2.5}^j v^j
832: - \quarter N_{2.5}
833: + {3 \over 4} B_{2.5}- U_\sigma N_{1.5}
834: \right )
835: + O(\epsilon^4) \biggr ] \,, \\
836: %
837: \sigma^i &=& \rho^* v^i \biggl [ 1 +
838: \epsilon \left ( \half v^2 - U_\sigma \right)
839: +\epsilon^2 \left ({3 \over 8} v^4 + {3 \over 2} v^2 U_\sigma
840: - 4 V_\sigma^j v^j
841: + {3 \over 4} B_1 - \quarter N_1 + {5 \over 2} U_\sigma^2 \right )
842: \nonumber \\
843: &&
844: + 2 \epsilon^{5/2} N_{1.5}
845: + O(\epsilon^3) \biggr ] \,, \\
846: \sigma^{ij} &=& \rho^* v^i v^j \biggl [ 1 +
847: \epsilon \left ( \half v^2 - U_\sigma \right)
848: + O(\epsilon^2) \biggr ] \,, \\
849: \sigma^{ii} &=& \rho^* v^2 \biggl [ 1 +
850: \epsilon \left ({1 \over 2} v^2 - U_\sigma \right )
851: +\epsilon^2 \left ({3 \over 8} v^4 + {3 \over 2} v^2 U_\sigma
852: - 4 V_\sigma^j v^j
853: + {3 \over 4} B_1 - \quarter N_1 + {5 \over 2} U_\sigma^2 \right )
854: \nonumber \\
855: &&
856: +2 \epsilon^{5/2} N_{1.5}
857: + O(\epsilon^3) \biggr ] \,.
858: \end{eqnarray}
859: \label{sigmatorhoPN}
860: \end{mathletters}
861: Substituting these formulae into the definitions for $U_\sigma$ and the
862: other potentials defined in Paper I, Eqs. (4.10) -- (4.16), and iterating
863: successively, we convert all such potentials into new potentials defined
864: using $\rho^*$, plus PN corrections. For example, we find that
865: \begin{eqnarray}
866: U_\sigma &=& U + \epsilon \left ({3 \over 2} \Phi_1 - \Phi_2 \right )
867: \nonumber \\
868: &&
869: + \epsilon^2 \left ( {7 \over 8} \Sigma (v^4) + \half \Sigma (v^2 U)
870: -4 \Sigma (v^j V^j) + {5 \over 2} \Sigma (\Phi_1) -\Sigma (\Phi_2)
871: \right .
872: \nonumber \\
873: &&
874: \left .
875: + {3\over 2} \Sigma (U^2) - \half \Sigma (\ddot X ) \right )
876: - \epsilon^{5/2} \left ( {4 \over 3} U \stackrel{(3)}{{\cal I}^{jj}}(t)
877: \right )
878: + O(\epsilon^3) \,,
879: \label{Usigmaexpand}
880: \end{eqnarray}
881: where henceforth, $U$, $V^j$, $\Phi_1$, $\Phi_2$, $\Sigma$, and so on, are
882: defined
883: in terms of $\rho^*$ (see Appendix \ref{sec:keyformulae}).
884:
885: \subsection{Final continuum equations of motion}
886:
887: Combining Eqs. (\ref{gammas}) and (\ref{geodesic}), substituting the
888: explicit forms of the potentials $N_1$, $K_2^i$, $B_2^{ij}$, etc. from
889: Paper I, Eqs. (5.2), (5.4), (5.8), (5.10), (6.2), and (6.4),
890: and inserting the iterated forms of all potentials,
891: we obtain the equation of motion through 3.5PN order.
892: \begin{equation}
893: dv^i /dt = U^{,i} + a_{PN}^i + a_{2PN}^i + a_{2.5PN}^i + a_{3PN}^i
894: + a_{3.5PN}^i \,,
895: \end{equation}
896: where
897: \begin{mathletters}
898: \begin{eqnarray}
899: a_{PN}^i &=&
900: v^2 U^{,i} -4 v^i v^j U^{,j} - 3v^i \dot U - 4 U U^{,i}
901: + 8 v^j V^{[i,j]}
902: + 4 \dot V^i + \half \ddot X^{,i} + {3 \over 2} \Phi_1^{,i}
903: -\Phi_2^{,i} \,, \\
904: %
905: a_{2PN}^i &=&
906: 4 v^i v^j v^k V^{j,k} + v^2 v^i \dot U
907: + v^i v^j ( 4 \Phi_2^{,j} - 2 \Phi_1^{,j} - 2 \ddot X^{,j} )
908: - \half v^2 (2 \Phi_2^{,i} + \Phi_1^{,i} - \ddot X^{,i} )
909: \nonumber \\
910: &&
911: + v^j v^k ( 2 \Phi_1^{jk,i} - 4 \Phi_1^{ij,k} + 2 P_2^{jk,i} -4 P_2^{ij,k})
912: +v^i ( 3 \dot \Phi_2 - \half \dot \Phi_1 - {3 \over 2} \stackrel{(3)}{X}
913: +4 V^k U^{,k} )
914: \nonumber \\
915: &&
916: + v^j ( 8 V_2^{[i,j]}
917: - 16 \Phi_2^{[i,j]}
918: + 4 \ddot X^{[i,j]} + 32 G_7^{[i,j]}
919: - 16 U V^{[i,j]}
920: - 4 \Sigma^{,[i}(v^{j]}v^2)
921: + 8 V^i U^{,j}
922: \nonumber \\
923: &&
924: - 4 \dot \Phi_1^{ij}
925: - 4 \dot P_2^{ij})
926: %%%%%%%%%%%%%%%%%%%%%%%%%% no v below %%%%%%%%%%
927: + {7 \over 8} \Sigma^{,i}(v^4)
928: + {9 \over 2} \Sigma^{,i}(v^2 U)
929: - 4 \Sigma^{,i}(v^j V^j)
930: - {3 \over 2} \Sigma^{,i}(\Phi_1)
931: - 6 U \Phi_1^{,i}
932: -2 \Phi_1 U^{,i}
933: \nonumber \\
934: &&
935: - 4 \Phi_1^{ij} U^{,j}
936: + 8 V^j V^{j,i}
937: + 4 V^i \dot U
938: + 2 \dot \Sigma (v^i v^2)
939: + 4 U \Phi_2^{,i}
940: + 4 \Phi_2 U^{,i}
941: + 8 U^2 U^{,i}
942: - \Sigma^{,i}(\Phi_2)
943: \nonumber \\
944: &&
945: + {3 \over 2} \Sigma^{,i}(U^2)
946: -2 U \ddot X^{,i}
947: - 2 \ddot X U^{,i}
948: - 8 U \dot V^i
949: - \half \Sigma^{,i}(\ddot X )
950: + {3 \over 4} \ddot X_1^{,i}
951: - \half \ddot X_2^{,i}
952: + 2 \stackrel{(3)}{X^{i}}
953: + {1 \over 24} \stackrel{(4)}{Y^{,i}}
954: \nonumber \\
955: &&
956: + 4 \dot V_2^i
957: - 8 \dot \Phi_2^i
958: - 6G_1^{,i}
959: - 4 G_2^{,i}
960: + 8 G_3^{,i}
961: + 8 G_4^{,i}
962: - 4 G_6^{,i}
963: + 16 \dot G_7^i
964: - 4 P_2^{ij} U^{,j}
965: - 4 H^{,i}
966: \,, \\
967: %
968: a_{2.5PN}^i &=& {3 \over 5} x^j ( \stackrel{(5)}{{\cal I}^{ij}} - {1 \over 3}
969: \delta ^{ij} \stackrel{(5)}{{\cal I}^{kk}} ) +
970: 2 v^j \stackrel{(4)}{{\cal I}^{ij}}
971: + 2 U^{,j} \stackrel{(3)}{{\cal I}^{ij}}
972: + {4 \over 3} U^{,i} \stackrel{(3)}{{\cal I}^{kk}}
973: - X^{,ijk} \stackrel{(3)}{{\cal I}^{jk}}
974: \nonumber \\
975: &&
976: - {2 \over 15} \stackrel{(5)}{{\cal I}^{ijj}}
977: + {2 \over 3} \epsilon^{qij} \stackrel{(4)}{J^{qj}} \,, \\
978: %
979: a_{3.5PN}^i &=&
980: {1 \over 210} (13r^2x^k \delta^{ij}-4r^2x^i \delta^{jk} - x^ix^jx^k)
981: \stackrel{(7)}{{\cal I}^{jk}}
982: \nonumber \\
983: &&
984: +{1 \over 30} ( 10r^2v^k \delta^{ij} + 4(v \cdot x)x^k \delta^{ij}
985: -r^2v^i \delta^{jk} -4x^ix^jv^k + 3x^jx^kv^i )
986: \stackrel{(6)}{{\cal I}^{jk}}
987: \nonumber \\
988: &&
989: +{1 \over 15} ( 10(v \cdot x)v^k \delta^{ij} - x^kv^2 \delta^{ij}
990: +2(v \cdot x)v^i \delta^{jk} +2x^iv^2 \delta^{jk}
991: -5x^iv^jv^k + 4x^jv^iv^k )
992: \stackrel{(5)}{{\cal I}^{jk}}
993: \nonumber \\
994: &&
995: +{1 \over 15} (5r^2U^{,j} - 35x^jU + 59X^{,j} )
996: \stackrel{(5)}{{\cal I}^{ij}}
997: +{1 \over 30} (5r^2U^{,i} + 30x^iU - 34X^{,i} - 6x^jX^{,ij})
998: \stackrel{(5)}{{\cal I}^{kk}}
999: \nonumber \\
1000: &&
1001: +{1 \over 90} (15x^jx^kU^{,i} - 6x^jX^{,ik} - 30x^iX^{,jk}
1002: -15r^2X^{,ijk} - 4Y^{,ijk} + 5x^lY^{,ijkl} )
1003: \stackrel{(5)}{{\cal I}^{jk}}
1004: \nonumber \\
1005: &&
1006: +{1 \over 3}v^i ( v^2 \delta^{jk} - v^jv^k) \stackrel{(4)}{{\cal I}^{jk}}
1007: -{1 \over 3} (2x^j{\dot U} + 22V^j - 14 {\dot X}^{,j} - 12v^kX^{,jk})
1008: \stackrel{(4)}{{\cal I}^{ij}}
1009: \nonumber \\
1010: &&
1011: +{1 \over 18} (24x^jv^kU^{,i}+12v^ix^jU^{,k} + 12x^jV^{k,i}
1012: +54v^iX^{,jk} -72v^jX^{,ik}
1013: \nonumber \\
1014: &&
1015: + 12x^j {\dot X}^{,ik}
1016: +60X^{j,ki} - 72X^{i,jk} - 5{\dot Y}^{,ijk} )
1017: \stackrel{(4)}{{\cal I}^{jk}}
1018: -{1 \over 3} (6v^iU-8V^i-2{\dot X}^{,i})
1019: \stackrel{(4)}{{\cal I}^{kk}}
1020: \nonumber \\
1021: &&
1022: +(2v^2U^{,j}- 8UU^{,j} -8v^kV^{k,j}+3\Phi_1^{,j} -2\Phi_2^{,j}
1023: +{\ddot X}^{,j} ) \stackrel{(3)}{{\cal I}^{ij}}
1024: \nonumber \\
1025: &&
1026: +{1 \over 3} (2v^2U^{,i} - 8v^iv^jU^{,j} - 24UU^{,i} -6v^i{\dot U}
1027: +8 {\dot V}^i + 16v^jV^{[i,j]} +3\Phi_1^{,i} -6\Phi_2^{,i}
1028: +{\ddot X}^{,i} ) \stackrel{(3)}{{\cal I}^{kk}}
1029: \nonumber \\
1030: &&
1031: +{1 \over 6} (48v^jV^{k,i} -12v^jv^kU^{,i} - 6v^2X^{,ijk}
1032: +24v^iv^lX^{,jkl}
1033: -24{\dot X}^{i,jk}
1034: -9X_1^{,ijk}
1035: + 6X_2^{,ijk}
1036: \nonumber \\
1037: &&
1038: +18v^i{\dot X}^{,jk}
1039: - 48v^lX^{[i,l]jk}
1040: +24UX^{,ijk} +24U^{,i}X^{,jk}
1041: - 18\Phi_1^{jk,i}
1042: +6\Sigma^{,i}(X^{,jk}) - {\ddot Y}^{ijk} )
1043: \stackrel{(3)}{{\cal I}^{jk}}
1044: \nonumber \\
1045: &&
1046: +{1 \over 630} (10x^ix^j \delta^{kl} - 25 x^kx^l \delta^{ij}
1047: - 9r^2 \delta^{ij}\delta^{kl} ) \stackrel{(7)}{{\cal I}^{jkl}}
1048: \nonumber \\
1049: &&
1050: +{1 \over 45} (4x^{[i}v^{j]} \delta^{kl} - 2(v \cdot x)
1051: \delta^{ij}\delta^{kl} -10x^kv^l \delta^{ij} )
1052: \stackrel{(6)}{{\cal I}^{jkl}}
1053: \nonumber \\
1054: &&
1055: -{1 \over 45} (v^2 \delta^{ij}\delta^{kl} + 6v^iv^j \delta^{kl}
1056: + 5 v^kv^l \delta^{ij} ) \stackrel{(5)}{{\cal I}^{jkl}}
1057: +{1 \over 9} (4U \delta^{jk} -2x^jU^{,k}+X^{,jk} )
1058: \stackrel{(5)}{{\cal I}^{ijk}}
1059: \nonumber \\
1060: &&
1061: +{1 \over 45} (4X^{,ij} - 10x^jU^{,i} )\stackrel{(5)}{{\cal I}^{jkk}}
1062: +{1 \over 54} (6x^jX^{,ikl} - Y^{,ijkl} ) \stackrel{(5)}{{\cal I}^{jkl}}
1063: \nonumber \\
1064: &&
1065: +{2 \over 9} ({\dot U}\delta^{ij}-v^iU^{,j}-2v^jU^{,i} -V^{j,i}
1066: -{\dot X}^{,ij} ) \stackrel{(4)}{{\cal I}^{jkk}}
1067: \nonumber \\
1068: &&
1069: +{1 \over 45} (3r^2 \epsilon^{qik} + 2x^ix^j \epsilon^{qjk}
1070: +4x^jx^k \epsilon^{qij} ) \stackrel{(6)}{{\cal J}^{qk}}
1071: -{16 \over 45} x^jv^k \epsilon^{qjk} \stackrel{(5)}{{\cal J}^{qi}}
1072: \nonumber \\
1073: &&
1074: +{2 \over 45} (2(v \cdot x) \epsilon^{qik} -2x^iv^j \epsilon^{qjk}
1075: + 5x^jv^i \epsilon^{qjk} + 12x^jv^k \epsilon^{qij}
1076: +4x^kv^j \epsilon^{qij} )\stackrel{(5)}{{\cal J}^{qk}}
1077: \nonumber \\
1078: &&
1079: -{2 \over 9} (13U \epsilon^{qik} +x^j U^{,i} \epsilon^{qjk}
1080: -2 x^jU^{,k} \epsilon^{qij}
1081: -X^{,ij} \epsilon^{qjk}
1082: -2X^{,jk} \epsilon^{qij}
1083: -2x^lX^{,ijk} \epsilon^{qlj} ) \stackrel{(4)}{{\cal J}^{qk}}
1084: \nonumber \\
1085: &&
1086: +{2 \over 9} (4v^jv^k \epsilon^{qij} - v^2 \epsilon^{qik} )
1087: \stackrel{(4)}{{\cal J}^{qk}}
1088: -{4 \over 9} x^j U^{,k} \epsilon^{qjk} \stackrel{(4)}{{\cal J}^{qi}}
1089: -{4 \over 9} {\dot U} \epsilon^{qik}\stackrel{(3)}{{\cal J}^{qk}}
1090: \nonumber \\
1091: &&
1092: +{4 \over 9} (v^iU^{,j}+2v^jU^{,i}+V^{j,i}+{\dot X}^{,ij} )
1093: \epsilon^{qjk}\stackrel{(3)}{{\cal J}^{qk}}
1094: -{1 \over 840} x^i \stackrel{(7)}{{\cal I}^{jjkk}}
1095: \nonumber \\
1096: &&
1097: +{1 \over 35} x^j \stackrel{(7)}{{\cal I}^{ijkk}}
1098: +{1 \over 40} v^i \stackrel{(6)}{{\cal I}^{jjkk}}
1099: +{1 \over 24} U^{,i} \stackrel{(5)}{{\cal I}^{jjkk}}
1100: -{1 \over 30} x^j \epsilon^{qij} \stackrel{(6)}{{\cal J}^{qkk}}
1101: -{1 \over 15} x^j \epsilon^{qik} \stackrel{(6)}{{\cal J}^{qjk}}
1102: \nonumber \\
1103: &&
1104: +{1 \over 15} v^j (\epsilon^{qjk}\stackrel{(5)}{{\cal J}^{qik}}
1105: -\epsilon^{qik} \stackrel{(5)}{{\cal J}^{qjk}}
1106: -\epsilon^{qij}\stackrel{(5)}{{\cal J}^{qkk}} )
1107: -{1 \over 30} x^i \stackrel{(5)}{{\cal M}^{kkjj}}
1108: -{1 \over 15} x^j \stackrel{(5)}{{\cal M}^{kkij}}
1109: \nonumber \\
1110: &&
1111: -{1 \over 6} v^i \stackrel{(4)}{{\cal M}^{kkjj}}
1112: +{2 \over 3} v^j \stackrel{(4)}{{\cal M}^{ijkk}}
1113: +{1 \over 6}U^{,i}\stackrel{(3)}{{\cal M}^{jjkk}}
1114: +{2 \over 3} U^{,j} \stackrel{(3)}{{\cal M}^{ijkk}}
1115: \nonumber \\
1116: &&
1117: -{1 \over 3} X^{,ijk} \stackrel{(3)}{{\cal M}^{jkll}}
1118: -{23 \over 4200} \stackrel{(7)}{{\cal I}^{ijjkk}}
1119: +{2 \over 75} \epsilon^{qij}\stackrel{(6)}{{\cal J}^{qjkk}}
1120: +{1 \over 30} \stackrel{(5)}{{\cal M}^{kkjji}} \,.
1121: \end{eqnarray}
1122: \label{eomfluid}
1123: \end{mathletters}
1124: Because of their length, we
1125: shall defer presentation of the 3PN contributions to later
1126: publications when they will actually be needed for calculations.
1127: %#######
1128:
1129: \section{Two-body equations of motion to 2PN order}
1130: \label{sec:2body}
1131:
1132: \subsection{General treatment of ``spherical pointlike'' masses}
1133:
1134: We must now integrate all potentials that appear in the equation of motion,
1135: as well as the equation of motion (\ref{eomfluid}) itself over the bodies in
1136: the binary system. We treat each body as a non-rotating, spherically symmetric
1137: fluid ball (as seen in its momentary rest frame), whose characteristic
1138: size $s$ is much smaller than the orbital separation. We shall
1139: discard all terms in the resulting equations that are proportional to
1140: positive powers of $s$: these correspond to multipolar interactions and
1141: their relativistic corrections. The leading
1142: Newtonian quadrupole
1143: effect is formally of order $(s/r)^2$ relative to the monopole gravitational
1144: potential $m/r$, but for compact objects such as neutron stars or
1145: black holes, $s \sim m$, so {\it effectively} this is comparable to a
1146: 2PN term. Furthermore, if the quadrupole moment is the result of tidal
1147: interaction with the companion, the size of the induced moment is of order
1148: $(s/r)^3$, so the net effect is $O(s/r)^5$, or roughly 5PN order.
1149: Such leading multipolar terms can be calculated straightforwardly,
1150: but here we ignore them.
1151:
1152: We also discard all terms that are proportional to negative powers of
1153: $s$: these correspond to self-energy corrections of PN and higher
1154: order. We shall assume that all such corrections can be merged
1155: uniformly into a suitably renormalized mass for each body, in line
1156: with the Strong Equivalence Principle.
1157: This should be checked by direct calculation, but
1158: here we ignore such terms.
1159:
1160: We retain only terms that are proportional to $s^0$. For the most
1161: part, these are the expected terms that depend on the two masses, terms
1162: that
1163: one would have obtained from a ``delta-function'' approach that
1164: discarded all divergent self-energy terms. However, at higher PN
1165: orders, another class of $s^0$ terms is possible, at least in
1166: principle. These are terms that arise from non-linear combinations of
1167: potentials. One could imagine one potential being expanded in a
1168: multipolar expansion about the center of mass of one of the bodies
1169: in positive powers of $s$, multiplied by another
1170: potential which
1171: is a ``self-energy'' potential of that body, dependent upon negative
1172: powers of $s$. One could then end up with a term that has a piece that is
1173: independent of the scale size $s$ of the body, but that still
1174: depends on its internal density distribution. We will show that such
1175: terms cannot appear at 1PN order by a simple symmetry argument. At
1176: 2PN order, terms of this kind {\it could} appear in certain non-linear
1177: potentials, but in fact
1178: vanish identically by a subtler symmetry. At 3PN order, such $s^0$
1179: terms definitely appear, but whether they survive in the final
1180: equations of motion
1181: is an open question at present. We will discuss
1182: these matters explicitly at each PN order. This approach is, in some
1183: sense, a ``quick and dirty'' version of the Hadamard {\it partie
1184: finie} technique, but with the virtue that finite-size or
1185: structure-dependent terms can in
1186: principle be
1187: systematically kept and examined.
1188:
1189: Our assumption that the bodies are non-rotating will imply simply that
1190: every element of fluid in the body has the same coordinate velocity,
1191: so that $v^i$ can be pulled outside any integral. This assumption can
1192: be easily modified in order to deal, for example, with rotating
1193: bodies.
1194:
1195: Finally we assume that each body is suitably spherical. By this we
1196: mean that, in a local inertial frame comoving with
1197: the body and centered at its baryonic center of mass, the baryon density
1198: distribution is static and spherically symmetric in the coordinates of
1199: that frame. In Appendix \ref{sec:spherical}, we show that the transformation
1200: between our global harmonic coordinates $x^i$ and the spatial coordinates
1201: ${\hat x}^i$ of this frame can be written in the form
1202: \begin{equation}
1203: x^i = x_A^i + {\hat x}^j \{\delta^i_j + \epsilon ( A^i_j + B^i_{jk}
1204: {\hat x}^k) + O(\epsilon^2) \} \,,
1205: \label{flattening}
1206: \end{equation}
1207: where the subscript $A$ refers to the Ath body and $x_A^j$ denotes its
1208: baryonic center of mass. The coefficients
1209: $A^i_j$ include the effect of Lorentz boosts, and the
1210: coefficients $B^i_{jk}$ depend on the
1211: acceleration of the frame in the field of the companion star.
1212: Then, in terms of the local coordinates ${\hat x}^i$, we assume that the baryon
1213: density is spherically symmetric and static, so that $\rho^*
1214: ({\hat t}, \hat {\bf x}) = \rho_S (\hat r)$. As a consequence, a finite-size
1215: moving body will no longer appear spherical, in part because of the
1216: Lorentz-FitzGerald contraction. This will result in relativistically
1217: induced multipole moments for the body, albeit of order $\epsilon$
1218: relative to the monopole moment. Ordinarily, these would result in
1219: terms of positive powers of $s$ in the equations of motion, which
1220: we ignore (in other words, as
1221: the body's size shrinks to zero, the flattening become irrelevant);
1222: however, as before, in terms with products of potentials, we must worry
1223: about the effect of self-potentials with negative powers of $s$ offsetting
1224: the positive powers from the flattening.
1225: We show in the Appendix, however that no such terms arise in the
1226: equations of motion at 2PN order, but that they will contribute in
1227: principle at 3PN
1228: order.
1229:
1230: \subsection{Newtonian and PN terms}
1231:
1232: We shall evaluate the acceleration consistently for body \#1; the
1233: corresponding equation for body \#2 can be obtained by interchange.
1234: At the end, we shall find the centre-of-mass and relative equations of
1235: motion.
1236:
1237: The Newtonian acceleration is straightforward:
1238: \begin{eqnarray}
1239: {(a^i_1)}_N &=& -(1/m_1) \int_1 \rho^* d^3x \int {\rho^*}^\prime {{(x^i -
1240: {x^i}^\prime)} \over {|{\bf x} -
1241: {\bf x}^\prime |^3}} d^3x^\prime
1242: \nonumber \\
1243: &=&
1244: -(1/m_1) \int_1 \int_1 \rho^* {\rho^*}^\prime {{(x^i -
1245: {x^i}^\prime)} \over {|{\bf x} -
1246: {\bf x}^\prime |^3}} d^3x d^3x^\prime -
1247: (1/m_1) \int_1 \rho^* d^3x \int_2 {\rho^*}^\prime {{(x^i -
1248: {x^i}^\prime)} \over {|{\bf x} -
1249: {\bf x}^\prime |^3}} d^3x^\prime \,.
1250: \label{newtonterm}
1251: \end{eqnarray}
1252: The first term vanishes by symmetry, irrespective of any relativistic
1253: flattening or any other effect (Newton's third law).
1254: Substituting Eq. (\ref{flattening})
1255: for each body
1256: and expanding the second term in powers of ${\hat x}$, using the
1257: general formula
1258: \begin{equation}
1259: {1 \over {|{\bf x} + {\bf y}|}} = \sum_{q=0}^\infty {y^Q \over q!}
1260: \nabla^Q \left ( {1 \over r} \right ) \,,
1261: \quad |{\bf y}| < |{\bf x}| = r \,,
1262: \label{multipoleexpand}
1263: \end{equation}
1264: we find that all contributions apart from the leading term
1265: are of positive powers in $s$,
1266: including the effects of relativistic flattening, and thus are
1267: dropped, with the result
1268: \begin{equation}
1269: {(a^i_1)}_N = - m_2 n^i/r^2 \,,
1270: \end{equation}
1271: where we define
1272: ${\bf x} = {\bf x}_1 - {\bf x}_2$, $r = |{\bf x}|$, ${\bf n} = {\bf x}/r$.
1273:
1274: The 1PN terms are similarly straightforward. A term such as $v^2 U^{,i}$ is
1275: integrated over body 1 by setting $v=v_1$ and writing $U=U_1 + U_2$. With
1276: $v^2$ pulled outside the integral, the integration is equivalent to that of
1277: the Newtonian term (\ref{newtonterm}), with the result
1278: $v^2 U^{,i} \to -m_2 v_1^2 n^i /r^2$. Other 1PN terms involving quadratic
1279: powers of velocity ($v^i \dot U$, $v^j V^{[i,j]}$, $\Phi_1^{,i}$ and the
1280: velocity-dependent parts of ${\dot V}^i$ and ${\ddot X}^{,i}$ ) are treated
1281: similarly. Relativistic flattening plays no role through 3PN order.
1282:
1283: In the non-linear
1284: term $UU^{,i}$, the term involving
1285: $U_1 U_1^{,i}$ is of order $s^i/s^4$, where $s^i$ represents a vector, like
1286: $(x-x^\prime)^i$ that resides entirely within the body.
1287: In Appendix \ref{sec:spherical}
1288: we argue that
1289: relativistic flattening introduces corrections of order $\epsilon (A+Bs^k)$,
1290: $\epsilon^2 ( C+Ds^k + Es^ks^l)$, with the
1291: generic term scaling as $\epsilon^n (1+s)^n$. The leading term
1292: ($s^i/s^4$) vanishes by spherical symmetry. Any contributions of overall
1293: order $s^{-2}$, $s^{-1}$ or $s^{+n}$ are
1294: discarded. The only way to get a term of order
1295: $s^0$ out of $s^i/s^4$ is
1296: to have a correction term of order $s^3$, which is automatically of
1297: order $\epsilon^3$, which results in a 4PN term.
1298: In the two cross terms $U_1 U_2^{,i}$ and $U_2 U_1^{,i}$,
1299: $U_1$ and $U_1^{,i}$ are of order $1/s$ and $s^i/s^3$ respectively;
1300: expanding $U_2$ about
1301: the center of mass of body 1 using Eq. (\ref{multipoleexpand})
1302: yields only products of vectors $s^Q$,
1303: including the contributions from relativistic flattening.
1304: Thus the only terms in the product that vary overall
1305: as $s^0$ will have odd numbers of vectors $s^i$, whose
1306: integral over body \#1 vanishes by spherical symmetry.
1307: Only the term from $U_2 U_2^{,i}$ contributes, and relativistic flattening
1308: produces only corrections of positive powers of $s$. The result is
1309: $UU^{,i} \to -m_2^2 n^i/r^3$.
1310:
1311: In the
1312: terms ${\dot V}^i$ and ${\ddot X}^{,i}$, the acceleration $dv^i/dt$
1313: appears. Working to 1PN order, we must insert the Newtonian equation
1314: of motion; but working to 2PN order (or higher), we must insert the 1PN (or
1315: higher) equations of
1316: motion; the 2PN terms so generated will be discussed in the next subsection.
1317: For ${\dot V}^i$, the result
1318: using the Newtonian equation of motion is
1319: \begin{equation}
1320: {\dot V}^i = - \int \int {\rho^{*\prime} \over
1321: {|{\bf x} - {\bf x}^\prime|}} {{\rho^{*\prime\prime}
1322: (x^\prime - x^{\prime\prime} )^i } \over
1323: {|{\bf x}^\prime - {\bf x}^{\prime\prime}|}}
1324: d^3x^\prime d^3x^{\prime\prime}
1325: + \int {{\rho^{*\prime} v^{i \prime} v^\prime
1326: \cdot (x - x^{\prime} )} \over
1327: {|{\bf x} - {\bf x}^\prime|^3}} d^3x^\prime \,.
1328: \end{equation}
1329: The double integral is integrated over body \#1 similarly
1330: to the term $UU^{,i}$, and the velocity-dependent term is integrated
1331: similarly to the term $v^2U^{,i}$. The general result of
1332: these considerations is that, at 1PN order, only terms are kept in which,
1333: in the quantity ${\bf x}-{\bf x}^\prime$, the two vectors are evaluated at
1334: the baryonic center of mass of the two different bodies, respectively, and
1335: never within the same body.
1336:
1337: The resulting N and 1PN equation of motion is
1338: \begin{eqnarray}
1339: a_{1\, (PN)}^{i} &=& -{m_2 \over r^2} n^i + {m_2 \over r^2} n^i \left [
1340: 4{m_2 \over r} + 5{m_1 \over r} - v_1^2 +4v_1 \cdot v_2
1341: - 2v_2^2 + {3 \over 2}(\nvb)^2 \right ]
1342: \nonumber
1343: \\
1344: && \quad + {m_2 \over r^2} (v_1 - v_2)^i (4\nvb -3\nva) \,,
1345: \nonumber
1346: \\
1347: a_{2\, (PN)}^{i} &=& 1 \rightleftharpoons 2 \,.
1348: \label{1PNeom}
1349: \end{eqnarray}
1350: Under the interchange $1 \rightleftharpoons 2$, $n^i \to -n^i$.
1351:
1352: %######
1353: \subsection{2PN terms}
1354:
1355: Since we are only working to 2PN, 2.5PN and 3.5PN orders here,
1356: we may evaluate the 2PN terms
1357: without regard to the effects of relativistic flattening, since the
1358: corrections would be of 3PN or 4PN order or higher. We only need to expand any
1359: potentials about the centers of mass of the bodies to identify all
1360: possible $s^0$ terms.
1361: The terms explicitly cubic in $v^i$ [the first two terms
1362: in Eq. (\ref{eomfluid}b)]
1363: are simplest to evaluate, since the
1364: potentials involved already appeared at 1PN order.
1365: Integrating over body \#1,
1366: discarding terms that are singular in $s$, we obtain
1367: $a^i_1(1\&2) = -(m_2 / r^2)[4(\v1v2)( \nva )-v_1^2(\nvb ) ]v_1^i$.
1368: The next ten terms are explicitly quadratic in velocities;
1369: the potentials are both
1370: linear and quadratic in the masses, and some involve time derivatives that
1371: require substituting the Newtonian equation of motion. Pulling the
1372: velocities outside the integrals leaves potentials similar to those
1373: that have already been
1374: integrated at 1PN order. The
1375: potential $P_2^{ij}$ also appears; unlike the potentials encountered so far
1376: ($U$, $V^i$, $X$, $\Phi_2$, $\dots$), which depend on the pairwise separation
1377: between points, {\i.e.} on the distance
1378: $r_{AB} = |{\bf x}_A - {\bf x}_B|$,
1379: $P_2^{ij}$ and others like it depend on the distances between points taken
1380: as a triplet, namely on the combination
1381: $\Delta(ABC) \equiv r_{AB} + r_{AC} + r_{BC}$. We denote $P_2^{ij}$
1382: and similar potentials like $G_1$, $G_2$ etc. as ``triangle''
1383: potentials. Their evaluation is discussed
1384: in Appendix \ref{sec:nonlinearpotentials}.
1385: From these terms only the obvious ``point'' mass
1386: terms arise, while all others are proportional to either negative or
1387: positive powers of $s$.
1388: We obtain, for example, $v^2 \Phi_2^{,i} \to -m_1m_2
1389: v_1^2 n^i/r^3$, $v^jv^k \Phi_1^{ij,k} \to -m_2 v_2^i
1390: (\v1v2)(\nva)/r^2$ and
1391: $v^jv^k P_2^{ij,k} \to m_1m_2 [n^i(8(\nva)^2-3v_1^2) -5v_1^i(\nva)]/4r^3
1392: -m_2^2 [n^i(4(\nva)^2-v_1^2) -3v_1^i(\nva)]/4r^3 $.
1393:
1394: The next 13 terms in Eq. (\ref{eomfluid}b), which are
1395: explicitly
1396: linear in velocities, are quite similar, except that
1397: they involve either an additional time derivative of potentials, or
1398: vector-like potentials ($V_2^i$, $\Phi_2^i$, $G_7^i$). Triangle
1399: potentials appear in several places ($G_7^i$, ${\dot P}_2^{ij}$). As before,
1400: expansion about the centers of mass yields the normal point mass
1401: terms and terms of only positive and negative powers of $s$.
1402:
1403: Of the remaining 33 terms, many involve several implicit powers of
1404: velocity coupled to potential-type expressions; integration of these
1405: terms over
1406: body \#1 is handled as before. However, several terms do not involve
1407: velocity at all, and thus are cubically non-linear in masses.
1408: Examples include the terms $U^2U^{,i}$, $\Sigma^{,i}(\Phi_2)$, and the
1409: portions of the terms ${\ddot X}U^{,i}$, ${\ddot X}_1^{,i}$,
1410: $Y^{,0000i}$, where time derivatives have generated accelerations,
1411: thence the Newtonian potential. In these cases, the high-degree of
1412: nonlinearity presents at least the {\it possibility} of new contributions at
1413: order $s^0$. The term $U^2U^{,i}$ illustrates the issue. Writing
1414: $U=U_1+U_2$, we have $(U_1^2 + 2U_1U_2 +U_2^2)(U_1^{,i}+U_2^{,i})$, to be
1415: integrated over body \#1.
1416: Consider the term $U_1^2 U_2^{,i}$. Expanding $U_2$ about the center
1417: of mass of body \#1 using Eq. (\ref{multipoleexpand})
1418: and integrating over body \#1, we obtain
1419: \begin{equation}
1420: {1 \over m_1} \int_1 \rho^* d^3 {\bar x} \int_1 {{\rho^{*\prime}
1421: d^3 {\bar x}^\prime}
1422: \over {|{\bf {\bar x}}-{\bf {\bar x}}^\prime|}}
1423: \int_1 {{\rho^{*\prime\prime} d^3{\bar x}^{\prime\prime}}
1424: \over {|{\bf {\bar x}}-{\bf {\bar x}}^{\prime\prime}|}}
1425: \sum_q {{{\bar x}^Q} \over q!} \nabla^Q \nabla^i
1426: \left ({1 \over r} \right )
1427: \,,
1428: \end{equation}
1429: where the ``barred'' coordinates are all defined relative to the center of
1430: mass of body \#1, and $r=|{\bf x}_1 - {\bf x}_2|$.
1431: Only the term with $q=2$ can produce a contribution of overall
1432: order $s^0$. Using the spherical symmetry of body \#1, the result is
1433: \begin{equation}
1434: {1 \over 6} {1 \over m_1} \left (\int_1 \rho^* {\bar r}^2 U_1^2
1435: d^3{\bar x} \right ) \delta^{jk} \nabla^{ijk}
1436: \left ({1 \over r} \right )
1437: \propto \nabla^i \nabla^2 \left ({1 \over r} \right ) = 0 \,.
1438: \label{sampleterm}
1439: \end{equation}
1440: Note that the integral in Eq. (\ref{sampleterm}) scales as $s^0$ for a
1441: fixed $m_1$, yet
1442: depends on the internal structure of the body. Nevertheless,
1443: the term vanishes via a combination of the spherial symmetry of the body,
1444: and the fact that $\nabla^2 (1/r) = 0$. Other possible $s^0$ terms also
1445: vanish by symmetry, with the final result that $U^2U^{,i} \to -m_2^3n^i/r^4$.
1446: Similarly, for example $\Sigma^{,i}(\Phi_2) \to -m_1m_2^2n^i/r^4$.
1447:
1448: Additional cubically nonlinear terms are $P_2^{ij}U^{,j}$,
1449: and the acceleration-generated terms in $G_2^{,i}$, $G_5^{,i}$
1450: and ${\dot
1451: G}_7{^i}$. Since these involve the triangle potentials, they will be
1452: discussed in Appendix \ref{sec:nonlinearpotentials};
1453: they generate no $s^0$ terms,
1454: again because of symmetry combined with $\nabla^2 (1/r) = 0$.
1455: The term $H^{,i} = \nabla^{,i} P(U^{,jk}P_2^{jk})$
1456: involves a still more complicated ``quadrangle''
1457: potential, which is a function of four points. In Appendix
1458: \ref{sec:nonlinearpotentials} we show that it likewise generates
1459: no $s^0$ terms, with the result
1460: \begin{equation}
1461: (1/m_1) \int_1 \rho^* H^{,i} d^3x = {{m_2 n^i} \over r^4}
1462: \left ( 2m_1m_2 + {m_2^2 \over 4} \right ) \,.
1463: \label{Hfinal}
1464: \end{equation}
1465:
1466: Working to 2PN order, we must also include terms generated by substituting
1467: the 1PN equations of motion into accelerations generated by time derivatives
1468: acting on velocities in 1PN potentials, specifically the terms $4{\dot V}^i
1469: + {\ddot X}^{,i}/2$. This leads to the integral
1470: \begin{equation}
1471: {1 \over m_1} \int_1 \rho^* d^3x \int
1472: {{\rho^{*\prime} d^3x^\prime} \over {|{\bf x}-{\bf x}^\prime |}}
1473: \left ( {7 \over 2} \delta^{ij} + {1 \over 2} {\tilde n}^i{\tilde
1474: n}^j \right ) a_{PN}^j(t,{\bf x}^\prime) \,,
1475: \end{equation}
1476: where ${\tilde n}^i = (x-x^\prime)^i/|{\bf x}-{\bf x}^\prime |$, and we
1477: substitute Eq. (\ref{eomfluid}a) for $a_{PN}^j(t,{\bf x}^\prime)$.
1478: Evaluation of these terms follows the same method already outlined for
1479: normal, non-triangle, 2PN potentials.
1480:
1481: The resulting 2PN contributions to the one-body equation of motion are
1482: %
1483: \begin{eqnarray}
1484: a_{1\,(2PN)}^i &=& \frac{m_2}{r^2}n^i\bigg[
1485: \frac{m_2}{r}\bigg(
1486: 4v_2^2
1487: -8v_1\cdot v_2
1488: +2(v_1\cdot n)^2
1489: -4(v_1\cdot n)(v_2\cdot n)
1490: -6(v_2\cdot n)^2
1491: \bigg)
1492: \nonumber\\
1493: &&
1494: +\frac{m_1}{r}\bigg(
1495: \frac{5}{4}v_2^2
1496: -\frac{5}{2}v_1\cdot v_2
1497: -\frac{15}{4}v_1^2
1498: +\frac{39}{2}(v_1\cdot n)^2
1499: -39(v_1\cdot n)(v_2\cdot n)
1500: +\frac{17}{2}(v_2\cdot n)^2
1501: \bigg)
1502: \nonumber \\
1503: &&
1504: -\frac{57}{4}\frac{m_1^2}{r^2}
1505: -\frac{69}{2}\frac{m_1m_2}{r^2}
1506: -9\frac{m_2^2}{r^2}
1507: -2v_2^4
1508: +4v_2^2(v_1\cdot v_2)
1509: -2(v_1\cdot v_2)^2
1510: \nonumber\\
1511: &&
1512: +\frac{3}{2}v_1^2(v_2\cdot n)^2
1513: -6(v_1\cdot v_2)(v_2\cdot n)^2
1514: +\frac{9}{2}v_2^2(v_2\cdot n)^2
1515: -\frac{15}{8}(v_2\cdot n)^4
1516: \bigg]
1517: \nonumber \\
1518: &&
1519: +\frac{m_2}{r^2}(v_1^i - v_2^i)\bigg[
1520: \frac{m_1}{4r}\bigg( {55}(v_2\cdot n)
1521: -{63}(v_1\cdot n)\bigg)
1522: -\frac{2m_2}{r}\bigg((v_1\cdot n)
1523: +(v_2\cdot n)\bigg)
1524: \nonumber \\
1525: &&
1526: +v_1^2(v_2\cdot n)
1527: +4v_2^2(v_1\cdot n)
1528: -5v_2^2(v_2\cdot n)
1529: -6(v_1\cdot n)(v_2\cdot n)^2
1530: \nonumber \\
1531: &&
1532: -4(v_1\cdot n)(v_1\cdot v_2)
1533: +4(v_2\cdot n)(v_1\cdot v_2)
1534: +\frac{9}{2}(v_2\cdot n)^3
1535: \bigg] \,,
1536: \nonumber \\
1537: a_{2\, (2PN)}^{i} &=& 1 \rightleftharpoons 2 \,.
1538: \label{2PNeom}
1539: \end{eqnarray}
1540: These agree
1541: completely with other results \cite{DD81,kopeikin85,GK86,bfp98,futamase01}.
1542:
1543: \section{Radiation Reaction to 2.5PN and 3.5PN order}
1544: \label{sec:2bodyreaction}
1545:
1546: Since the multipole moments are strictly functions of time,
1547: integrating the 2.5PN and 3.5PN terms
1548: in Eq. (\ref{eomfluid}) over body \#1 is
1549: straightforward. The 2.5PN terms are either trivial, involving $x^i$
1550: or $v^i$, or are similar to integrating the Newtonian term.
1551: The result is:
1552: \begin{eqnarray}
1553: a_{1\, (2.5PN)}^{i} &=& {3 \over 5} x_1^j ( \stackrel{(5)}{{\cal I}^{ij}}
1554: - {1 \over 3} \delta ^{ij} \stackrel{(5)}{{\cal I}^{kk}} )
1555: + 2 v_1^j \stackrel{(4)}{{\cal I}^{ij}}
1556: - {1 \over 3} {m_2 \over r^2}n^i \stackrel{(3)}{{\cal I}^{kk}}
1557: - 3{m_2 \over r^2}n^in^jn^k \stackrel{(3)}{{\cal I}^{jk}}
1558: \nonumber \\
1559: &&
1560: - {2 \over 15} \stackrel{(5)}{{\cal I}^{ijj}}
1561: + {2 \over 3} \epsilon^{qij} \stackrel{(4)}{J^{qj}} \,,
1562: \nonumber \\
1563: a_{2\, (2.5PN)}^{i} &=& 1 \rightleftharpoons 2 \,.
1564: \label{2.5PNterms}
1565: \end{eqnarray}
1566: Likewise,
1567: the 3.5PN terms are either trivial, or involve integrating Newtonian
1568: or 1PN-like potentials.
1569: To keep the expression for the 3.5PN terms simple, we assume that, to lowest
1570: order, $m_1{\bf x}_1 + m_2{\bf x}_2 =0$ (see Sec.
1571: \ref{sec:relativecoords} for discussion), so
1572: that we can write, in the 3.5PN term only, $x_1^i = (m_2/m) x^i$
1573: and $x_2^i = -(m_1/m) x^i$. Defining
1574: $\alpha_2 \equiv m_2/m$, we obtain
1575: \begin{eqnarray}
1576: %
1577: a_{1\, (3.5PN)}^{i} &=&
1578: {1 \over 210} \alpha_2^3 r^3 (13n^k \delta^{ij}-4n^i \delta^{jk}
1579: - n^in^jn^k)
1580: \stackrel{(7)}{{\cal I}^{jk}}
1581: \nonumber \\
1582: &&
1583: +{1 \over 30} \alpha_2^3 r^2 ( 10v^k \delta^{ij} + 4{\dot r} n^k \delta^{ij}
1584: -v^i \delta^{jk} -4n^in^jv^k + 3n^jn^kv^i )
1585: \stackrel{(6)}{{\cal I}^{jk}}
1586: \nonumber \\
1587: &&
1588: +{1 \over 15} \alpha_2^3 r ( 10{\dot r}v^k \delta^{ij} - n^kv^2 \delta^{ij}
1589: +2{\dot r} v^i \delta^{jk} +2n^iv^2 \delta^{jk}
1590: -5n^iv^jv^k + 4n^jv^iv^k )
1591: \stackrel{(5)}{{\cal I}^{jk}}
1592: \nonumber \\
1593: &&
1594: +{1 \over 15} m_2 \left \{ (55-36\alpha_2)n^k \delta^{ij}
1595: - (19-10\alpha_2)n^i \delta^{jk} + (2+6\alpha_2-10\alpha_2^2)n^in^jn^k \right
1596: \}
1597: \stackrel{(5)}{{\cal I}^{jk}}
1598: \nonumber \\
1599: &&
1600: +{1 \over 3} \alpha_2^3 v^i ( v^2 \delta^{jk} - v^jv^k) \stackrel{(4)}{{\cal I}^{jk}}
1601: \nonumber \\
1602: &&
1603: +{1 \over 6} {m_2 \over r} \left \{ 42(1-\alpha_2)v^k \delta^{ij}
1604: -6(3+\alpha_2){\dot r}n^k \delta^{ij}
1605: +(7-\alpha_2)v^i \delta^{jk} + (1-\alpha_2){\dot r}n^i \delta^{jk}
1606: \right .
1607: \nonumber \\
1608: &&
1609: \left . -(19+3\alpha_2)v^in^jn^k +2(15-3\alpha_2-4\alpha_2^2)v^jn^in^k
1610: -3(5-9\alpha_2+4\alpha_2^2){\dot r}n^in^jn^k \right \}
1611: \stackrel{(4)}{{\cal I}^{jk}}
1612: \nonumber \\
1613: &&
1614: +{1 \over 2} {m_2 \over r^2} \left \{ 16(1+\alpha_2){m \over r}n^in^jn^k
1615: +(2-\alpha_2^2)n^i (4v^jv^k-6v^2n^jn^k)
1616: \right .
1617: \nonumber \\
1618: &&
1619: \left .
1620: +(3+\alpha_2) n^k (6{\dot r}v^in^j -4v^iv^j)
1621: +3(1-\alpha_2)^2 n^in^k (5{\dot r}^2n^j -4{\dot r}v^j )
1622: \right \}
1623: \stackrel{(3)}{{\cal I}^{jk}}
1624: \nonumber \\
1625: &&
1626: -{1 \over 6} {m_2 \over r^2} \left \{
1627: 8(1-\alpha_2){m \over r}n^i - 2(2-\alpha_2^2)v^2n^i
1628: +2(3+\alpha_2){\dot r}v^i + 3(1-\alpha_2)^2{\dot r}^2n^i
1629: \right \}
1630: \stackrel{(3)}{{\cal I}^{kk}}
1631: \nonumber \\
1632: &&
1633: +{1 \over 630} \alpha_2^2 r^2 (10n^in^j \delta^{kl} - 25 n^kn^l \delta^{ij}
1634: - 9 \delta^{ij}\delta^{kl} ) \stackrel{(7)}{{\cal I}^{jkl}}
1635: \nonumber \\
1636: &&
1637: +{1 \over 45} \alpha_2^2 r (4n^{[i}v^{j]} \delta^{kl} - 2{\dot r}
1638: \delta^{ij}\delta^{kl} -10n^kv^l \delta^{ij} )
1639: \stackrel{(6)}{{\cal I}^{jkl}}
1640: \nonumber \\
1641: &&
1642: -{1 \over 45} \alpha_2^2 (v^2 \delta^{ij}\delta^{kl} + 6v^iv^j \delta^{kl}
1643: + 5 v^kv^l \delta^{ij} ) \stackrel{(5)}{{\cal I}^{jkl}}
1644: \nonumber \\
1645: &&
1646: +{1 \over 90} {m_2 \over r} \left \{
1647: (43 \delta^{kl}+5n^kn^l) \delta^{ij}
1648: +(7+10\alpha_2)n^in^j \delta^{kl}
1649: -15(1-2\alpha_2)n^in^jn^kn^l \right \}
1650: \stackrel{(5)}{{\cal I}^{jkl}}
1651: \nonumber \\
1652: &&
1653: +{2 \over 9} {m_2 \over r^2} \left \{ v^in^j + 2\alpha_2v^jn^i
1654: -3(1-\alpha_2){\dot r}n^in^j \right \}
1655: \stackrel{(4)}{{\cal I}^{jkk}}
1656: \nonumber \\
1657: &&
1658: +{1 \over 45} \alpha_2^2 r^2 (3 \epsilon^{qik} + 2n^in^j \epsilon^{qjk}
1659: +4n^jn^k \epsilon^{qij} ) \stackrel{(6)}{{\cal J}^{qk}}
1660: -{16 \over 45} \alpha_2^2 r n^jv^k \epsilon^{qjk} \stackrel{(5)}{{\cal J}^{qi}}
1661: \nonumber \\
1662: &&
1663: +{2 \over 45} \alpha_2^2 r (2{\dot r} \epsilon^{qik} -2n^iv^j \epsilon^{qjk}
1664: + 5n^jv^i \epsilon^{qjk} + 12n^jv^k \epsilon^{qij}
1665: +4n^kv^j \epsilon^{qij} )\stackrel{(5)}{{\cal J}^{qk}}
1666: \nonumber \\
1667: &&
1668: +{2 \over 9} \alpha_2^2 (4v^jv^k \epsilon^{qij} - v^2 \epsilon^{qik} )
1669: \stackrel{(4)}{{\cal J}^{qk}}
1670: -{2 \over 9} {m_2 \over r} \left \{
1671: (1+\alpha_2)n^in^j \epsilon^{qjk} + 10\epsilon^{qik}
1672: +2n^jn^k \epsilon^{qij} \right \}
1673: \stackrel{(4)}{{\cal J}^{qk}}
1674: \nonumber \\
1675: &&
1676: -{4 \over 9} {m_2 \over r^2} \left \{ v^in^j + 2\alpha_2v^jn^i
1677: -3(1-\alpha_2){\dot r}n^in^j \right \}
1678: \epsilon^{qjk}\stackrel{(3)}{{\cal J}^{qk}}
1679: \nonumber \\
1680: &&
1681: -{1 \over 840} \alpha_2 r n^i \stackrel{(7)}{{\cal I}^{jjkk}}
1682: +{1 \over 35} \alpha_2 r n^j \stackrel{(7)}{{\cal I}^{ijkk}}
1683: +{1 \over 40} \alpha_2v^i \stackrel{(6)}{{\cal I}^{jjkk}}
1684: -{1 \over 24} {m_2 \over r^2} n^i \stackrel{(5)}{{\cal I}^{jjkk}}
1685: \nonumber \\
1686: &&
1687: -{1 \over 30} \alpha_2 r n^j \epsilon^{qij} \stackrel{(6)}{{\cal J}^{qkk}}
1688: -{1 \over 15} \alpha_2 r n^j \epsilon^{qik} \stackrel{(6)}{{\cal J}^{qjk}}
1689: -{1 \over 15} \alpha_2 v^j (2\epsilon^{q[i|k}\stackrel{(5)}{{\cal J}^{q|j]k}}
1690: +\epsilon^{qij}\stackrel{(5)}{{\cal J}^{qkk}})
1691: \nonumber \\
1692: &&
1693: -{1 \over 30} \alpha_2 r n^i \stackrel{(5)}{{\cal M}^{kkjj}}
1694: -{1 \over 15} \alpha_2 r n^j \stackrel{(5)}{{\cal M}^{kkij}}
1695: -{1 \over 6} \alpha_2 v^i \stackrel{(4)}{{\cal M}^{kkjj}}
1696: +{2 \over 3} \alpha_2 v^j \stackrel{(4)}{{\cal M}^{ijkk}}
1697: \nonumber \\
1698: &&
1699: +{1 \over 6} {m_2 \over r^2}n^i ( \stackrel{(3)}{{\cal M}^{jjkk}}
1700: -6n^jn^k \stackrel{(3)}{{\cal M}^{jkll}} )
1701: -{23 \over 4200} \stackrel{(7)}{{\cal I}^{ijjkk}}
1702: +{2 \over 75} \epsilon^{qij}\stackrel{(6)}{{\cal J}^{qjkk}}
1703: +{1 \over 30} \stackrel{(5)}{{\cal M}^{kkjji}} \,,
1704: \nonumber \\
1705: a_{2\, (3.5PN)}^{i} &=& 1 \rightleftharpoons 2 \,.
1706: \label{3.5PNterms}
1707: \end{eqnarray}
1708:
1709:
1710: \section{Relative equations of motion}
1711: \label{sec:relative}
1712:
1713: \subsection{System center of mass and the transformation to relative
1714: coordinates}
1715: \label{sec:relativecoords}
1716:
1717: It is useful to note that the 1PN equations (\ref{1PNeom}),
1718: including the 2.5PN terms (\ref{2.5PNterms}),
1719: admit a first integral that
1720: corresponds to uniform motion of a ``center of mass'' quantity, namely
1721: \begin{equation}
1722: m_1 v_1^i (1+ {1 \over 2} v_1^2) + m_2 v_2^i (1+ {1 \over 2} v_2^2)
1723: - {1 \over 2} {m_1m_2 \over r} (v_1^j +v_2^j)(\delta^{ij} +
1724: n^in^j ) - m {\dot {\cal V}}^i = C^i \,.
1725: \label{cmintegral}
1726: \end{equation}
1727: where
1728: \begin{equation}
1729: {\cal V}^i \equiv - \left ( {2 \over 15} \stackrel{(3)}{{\cal I}^{ijj}}
1730: - {2 \over 3} \epsilon^{qik} \stackrel{(2)}{{\cal J}^{qk}}
1731: \right ) \,,
1732: \label{calV}
1733: \end{equation}
1734: $C^i$ is a constant, and where we have assumed that, to Newtonian order,
1735: $m_1x_1^i +m_2x_2^i = 0$. The 2PN corrections to this first integral
1736: will not be needed here. Equation (\ref{cmintegral}) can also be obtained by
1737: calculating the
1738: system dipole moment ${\cal I}^i$ to the corresponding order
1739: (see Appendix \ref{sec:dipole}).
1740: Choosing the coordinates
1741: so that $C^i =0$,
1742: we obtain the transformation from individual to relative coordinates and
1743: velocities,
1744: to 1PN and 2.5PN order,
1745: \begin{eqnarray}
1746: x_1^i &=& {m_2 \over m} x^i + {1 \over 2} \eta {{\delta m} \over m}
1747: (v^2 - {m \over r}) x^i + {\cal V}^i \,,
1748: \nonumber \\
1749: x_2^i &=& -{m_1 \over m} x^i + {1 \over 2} \eta {{\delta m} \over m}
1750: (v^2 - {m \over r}) x^i + {\cal V}^i \,,
1751: \nonumber \\
1752: v_1^i &=& {m_2 \over m} v^i + {1 \over 2} \eta {{\delta m} \over m}
1753: \left [ (v^2 - {m \over r}) v^i - {m \over r^2} {\dot r x^i} \right ]
1754: + {\dot {\cal V}}^i \,,
1755: \nonumber \\
1756: v_2^i &=& -{m_1 \over m} v^i + {1 \over 2} \eta {{\delta m} \over m}
1757: \left [ (v^2 - {m \over r}) v^i - {m \over r^2} {\dot r x^i} \right ]
1758: + {\dot {\cal V}}^i \,,
1759: \label{transform}
1760: \end{eqnarray}
1761: where $\delta m \equiv m_1 -m_2$.
1762: These transformations do not affect the Newtonian term, of course.
1763: However, the 1PN and 2.5PN corrections in Eqs. (\ref{transform})
1764: will generate 2PN and 3.5PN terms, respectively,
1765: when we transform the 1PN terms in
1766: the equation of motion to relative coordinates. The multipole moments
1767: that appear in the 2.5PN terms in the equation of motion (\ref{2.5PNterms})
1768: must
1769: also be converted to relative coordinates, keeping any PN corrections
1770: generated by Eqs. (\ref{transform}); this is treated in Appendix
1771: \ref{sec:quadrupole}. In addition, in the 2.5PN terms,
1772: multiple time derivatives of the multipole moments will generate
1773: accelerations, for which the 1PN relative equations of motion must be
1774: substituted; in the explicitly 3.5PN terms, the Newtonian equation of
1775: motion suffices.
1776:
1777: Calculating $a_1^i - a_2^i$ using Eqs. (\ref{1PNeom}),
1778: (\ref{2PNeom}), (\ref{2.5PNterms}) and (\ref{3.5PNterms}),
1779: substituting Eqs. (\ref{transform}) and the time-derivatives of the
1780: multipole moments (\ref{relativemoments}), we obtain
1781: the final relative equation of motion through 2.5PN order, plus 3.5PN
1782: terms as given in Eqs. (\ref{eomfinal}) and (\ref{eomfinalcoeffs}).
1783:
1784: \subsection{3.5PN radiation reaction and energy-angular-momentum balance}
1785:
1786: A useful check of our radiation-reaction terms at 2.5PN and 3.5PN
1787: order is to verify that the resulting energy and angular momentum loss
1788: in the orbital motion is identical to previously derived energy and
1789: angular momentum flux expressions, accurate to 1PN order beyond the
1790: quadrupole approximation. In fact, Iyer and Will \cite{iyerwill,iyerwill2}
1791: approached this from the opposite direction, beginning with the 1PN
1792: accurate flux expressions \cite{wagwill,bds,junker}, and deriving the most
1793: general form of a two-body relative equation of motion at 2.5PN and
1794: 3.5PN order required by energy and angular momentum balance. Writing
1795: the radiation-reaction terms in the equation of motion (\ref{eomfinal}) in
1796: the general form
1797: \begin{eqnarray}
1798: A_{2.5PN} &=& a_1 v^2 + a_2 m/r + a_3 {\dot r}^2 \,,
1799: \nonumber \\
1800: B_{2.5PN} &=& b_1 v^2 + b_2 m/r + b_3 {\dot r}^2 \,,
1801: \nonumber \\
1802: A_{3.5PN} &=& c_1 v^4 + c_2 v^2m/r + c_3 v^2{\dot r}^2
1803: + c_4{\dot r}^2m/r +c_5 {\dot r}^4 +c_6 (m/r)^2 \,,
1804: \nonumber \\
1805: B_{3.5PN} &=& d_1 v^4 + d_2 v^2m/r + d_3 v^2{\dot r}^2
1806: + d_4{\dot r}^2m/r +d_5 {\dot r}^4 +d_6 (m/r)^2 \,,
1807: \label{ABcoeffs}
1808: \end{eqnarray}
1809: they showed that energy and angular momentum balance would hold if and
1810: only if the coefficients $a_i$, $b_i$, $c_i$ and $d_i$ satisfied the
1811: following equations:
1812: \begin{eqnarray}
1813: a_1 &=& 3+3\beta \,, \quad
1814: a_2=23/3 +2\alpha-3\beta\,, \quad
1815: a_3=-5\beta\,,
1816: \nonumber \\
1817: b_1 &=& 2+\alpha \,, \quad
1818: b_2=2-\alpha\,, \quad
1819: b_3=-3-3\alpha\,,
1820: \label{absolution}
1821: \end{eqnarray}
1822: for the 2.5PN coefficients, and
1823: \begin{eqnarray}
1824: c_1=&&{1 \over 28} (117+132\eta)-{3 \over 2} \beta (1-3\eta)+
1825: 3\delta_2-3\delta_6\,,
1826: \nonumber \\
1827: c_2=&&-{1 \over 42} (297-310\eta)-3\alpha(1-4\eta)-{3 \over 2}
1828: \beta(7+13\eta)
1829: -2\delta_1-3\delta_2+3\delta_5+3\delta_6\,,
1830: \nonumber \\
1831: c_3=&&{5 \over 28}(19-72\eta)+{5 \over 2}
1832: \beta(1-3\eta)-5\delta_2+5\delta_4+5\delta_6\,,
1833: \nonumber \\
1834: c_4=&&-{1 \over 28}(687-368\eta)-6\alpha\eta+{1
1835: \over2}\beta(54+17\eta)-2\delta_2-5\delta_4-6\delta_5\,,
1836: \nonumber \\
1837: c_5=&&-7\delta_4\,,
1838: \nonumber \\
1839: c_6=&&-{1 \over 21}(1533+498\eta)-\alpha(14+9\eta)+3\beta(7+4\eta)
1840: -2\delta_3-3\delta_5\,,
1841: \nonumber \\
1842: d_1=&&-{3 \over 2} (2+\alpha) (1-3\eta)-\delta_1\,,
1843: \nonumber \\
1844: d_2=&&-{1 \over 84}(139+768\eta)-{1 \over 2}\alpha(5+17\eta)
1845: +\delta_1-\delta_3\,,
1846: \nonumber \\
1847: d_3=&&{1 \over 28}(369-624\eta)+{3 \over 2}(3\alpha+2\beta)(1-3\eta)
1848: +3\delta_1-3\delta_6\,,
1849: \nonumber \\
1850: d_4=&&{1 \over 42}(295-335\eta)+{1
1851: \over2}\alpha(38-11\eta)-3\beta(1-3\eta)
1852: +2\delta_1+4\delta_3+3\delta_6\,,
1853: \nonumber \\
1854: d_5=&&{5 \over 28}(19-72\eta)-5\beta(1-3\eta)+5\delta_6\,,
1855: \nonumber \\
1856: d_6=&&-{1 \over 21}(634-66\eta)+\alpha(7+3\eta)+\delta_3\,,
1857: \label{cdsolution}
1858: \end{eqnarray}
1859: for the 3.5PN coefficients. The two degrees of freedom ($\alpha$,
1860: $\beta$) at 2.5PN order and the six ($\delta_i$) at 3.5PN order
1861: correspond to gauge or coordinate freedom, and have no physical
1862: consequences. For example, at 2.5PN order, the values $\alpha = -1$,
1863: $\beta=0$ correspond to the gauge used by Damour and Deruelle \cite{DD81},
1864: while the values $\alpha = 4$, $\beta = 5$ correspond to the
1865: so-called Burke-Thorne gauge (see for example \S 36.11 of \cite{MTW}),
1866: also used by Blanchet \cite{luc93}.
1867:
1868: It is then a non-trivial check of our result to verify that the 18
1869: coefficients in our 2.5PN and 3.5PN terms, Eqs.
1870: (\ref{eomfinalcoeffs2.5PN}) and (\ref{eomfinalcoeffs3.5PN}) yield a unique,
1871: self-consistent solution for the 8 gauge coefficients. The result is
1872: \begin{eqnarray}
1873: \alpha &=& -1 \,, \quad \beta=0 \,,
1874: \nonumber \\
1875: \delta_1 &=& {271 \over 28} +6\eta \,,
1876: \quad \delta_2=-{77 \over 4} - {3 \over 2}\eta \,,
1877: \quad \delta_3={79 \over 14}-{92 \over 7} \eta \,,
1878: \nonumber \\
1879: \delta_4 &=& 10 \,,
1880: \quad \delta_5={5 \over 42}+ {242 \over 21}\eta \,,
1881: \quad \delta_6=-{439 \over 28} +{18 \over 7} \eta \,.
1882: \label{deltacheck}
1883: \end{eqnarray}
1884:
1885: \section{Concluding remarks}
1886: \label{sec:conclusions}
1887:
1888: We have successfully used DIRE to derive equations of motion for compact
1889: binary systems through 2.5PN and to 3.5PN order, with results consistent
1890: with other methods.
1891: Instead of using formal delta-function, matching, or regularization
1892: techniques to treat the bodies,
1893: we modeled them as fluid balls, considered to be
1894: suitably spherical and non-rotating, and small compared to their separation,
1895: and carried out explicit integrations over them. We then used a technique
1896: whereby we could identify those contributions to the equation of motion that
1897: are independent of the scale size of the bodies (for given masses).
1898: This method can be extended straightforwardly to the complicated 3PN
1899: contributions, to spinning bodies, and to bodies with tidal interactions.
1900: We can also consider the effects at higher PN order of internal self-gravity
1901: (contributions of order $s^{-n})$. These are the subjects of ongoing
1902: research.
1903:
1904: \acknowledgments
1905:
1906: This work is supported in part by the National Science Foundation under
1907: grant numbers PHY 96-00049 and PHY 00-96522. We especially acknowledge
1908: the contribution of Ken Hsieh, who carefully verified a number
1909: of the calculations
1910: in this paper.
1911:
1912: \appendix
1913:
1914: \section{Key formulae used in the equations of motion}
1915: \label{sec:keyformulae}
1916:
1917: Here we summarize some of the key formulae from Paper I
1918: \cite{patiwill} that will be
1919: needed here. The potentials that appear in the equations of motion
1920: are all Poisson-like potentials and their generalizations, namely a
1921: superpotential and a superduperpotential:
1922: \begin{eqnarray}
1923: P(f) &\equiv& {1 \over {4\pi}} \int_{\cal M} {{f(t,{\bf x}^\prime)}
1924: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime \,, \quad \nabla^2
1925: P(f) = -f \,, \nonumber \\
1926: S(f)&\equiv& {1 \over {4\pi}} \int_{\cal M}f(t,{\bf x}^\prime)|{\bf
1927: x}-{\bf x}^\prime | d^3x^\prime \,, \quad \nabla^2 S(f) = 2P(f) \,,
1928: \nonumber \\
1929: SD(f)&\equiv& {1 \over {4\pi}} \int_{\cal M}f(t,{\bf x}^\prime)|{\bf
1930: x}-{\bf x}^\prime |^3 d^3x^\prime \,, \quad \nabla^2 SD(f) = 12S(f)
1931: \,.
1932: \label{definepoisson}
1933: \end{eqnarray}
1934: Note that, in evaluating Poisson potentials
1935: and superpotentials of sources that do not have compact support, our
1936: rule is to evaluate them on the finite, constant time hypersurface
1937: $\cal M$, and to discard all terms that depend on the radius of the
1938: near-zone, $\cal R$.
1939: Unlike Paper I, we now define all potentials in terms of the conserved
1940: baryon density $\rho^*$:
1941: \begin{eqnarray}
1942: \Sigma (f) &\equiv& \int_{\cal M} {{\rho^*(t,{\bf x}^\prime)f(t,{\bf
1943: x}^\prime)}
1944: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\rho^* f) \,,
1945: \nonumber \\
1946: X(f) &\equiv& \int_{\cal M} {\rho^*(t,{\bf x}^\prime)f(t,{\bf
1947: x}^\prime)}
1948: {|{\bf x}-{\bf x}^\prime | } d^3x^\prime = S(4\pi\rho^* f) \,,
1949: \nonumber \\
1950: Y(f) &\equiv& \int_{\cal M} {\rho^*(t,{\bf x}^\prime)f(t,{\bf
1951: x}^\prime)}
1952: {|{\bf x}-{\bf x}^\prime |^3 } d^3x^\prime = SD(4\pi\rho^* f) \,.
1953: \label{definesuper}
1954: \end{eqnarray}
1955:
1956: The specific potentials used in the 2PN, 2.5PN and 3.5PN equations of
1957: motion are then given by
1958: \begin{eqnarray}
1959: U &\equiv& \Sigma(1) \,, \qquad V^i \equiv \Sigma(v^i) \,, \qquad
1960: \Phi_1^{ij} \equiv \Sigma(v^iv^j)
1961: \,,
1962: \nonumber \\
1963: \Phi_1 &\equiv& \Sigma(v^2) \,, \qquad
1964: \Phi_2 \equiv \Sigma(U) \,, \qquad X \equiv X(1) \,,
1965: \nonumber \\
1966: V_2^i &\equiv& \Sigma(v^iU) \,, \qquad \Phi_2^i \equiv \Sigma(V^i) \,,
1967: \qquad Y \equiv Y(1) \,,
1968: \nonumber \\
1969: X^i &\equiv& X(v^i) \,, \qquad
1970: X_1 \equiv X(v^2) \,, \qquad X_2 \equiv X(U) \,,
1971: \nonumber \\
1972: P_2^{ij} &\equiv& P(U^{,i}U^{,j}) \,, \qquad P_2 \equiv
1973: P_2^{ii}=\Phi_2
1974: -{1 \over 2}U^2
1975: \,,\nonumber \\
1976: G_1 &\equiv& P({\dot U}^2) \,, \qquad G_2 \equiv P(U {\ddot U}) \,,
1977: \nonumber \\
1978: G_3 &\equiv& -P({\dot U}^{,k} V^k) \,, \qquad G_4 \equiv
1979: P(V^{i,j}V^{j,i}) \,,\nonumber \\
1980: G_5 &\equiv& -P({\dot V}^k U^{,k}) \,, \qquad G_6 \equiv P(U^{,ij}
1981: \Phi_1^{ij}) \,,\nonumber \\
1982: G_7^i &\equiv& P(U^{,k}V^{k,i}) + {3 \over 4} P(U^{,i}\dot U ) \,,
1983: \qquad H \equiv P(U^{,ij} P_2^{ij}) \,.
1984: \label{potentiallist}
1985: \end{eqnarray}
1986:
1987: The multipole moments that appear in 2.5PN and 3.5PN terms are defined
1988: by
1989: \begin{eqnarray}
1990: P^\mu &\equiv& \int_{\cal M} \tau^{\mu 0} d^3x \,,
1991: \nonumber \\
1992: {\cal I}^Q &\equiv& \int_{\cal M} \tau^{00} x^Q d^3x \,,
1993: \nonumber \\
1994: {\cal J}^{iQ} &\equiv& \epsilon^{iab}\int_{\cal M} \tau^{0b}
1995: x^{aQ} d^3x \,,
1996: \nonumber \\
1997: {\cal M}^{ijQ} &\equiv& \int_{\cal M} \tau^{ij}
1998: {x}^{Q} d^3 x \;.
1999: \label{definemoments}
2000: \end{eqnarray}
2001: To the order needed for our purposes,
2002: \begin{eqnarray}
2003: \tau^{00} &=& \sigma - \sigma^{ii} + 4\sigma U_\sigma
2004: - {7 \over 8\pi} \nabla U_\sigma^2 \,,
2005: \nonumber \\
2006: \tau^{0i}&=& \sigma^i + 4\sigma^i U_\sigma
2007: +{2 \over \pi} U_\sigma^{,j} V_\sigma^{[j,i]}
2008: +{3 \over 4\pi} {\dot U}_\sigma U_\sigma^{,i} \,,
2009: \nonumber \\
2010: \tau^{ij} &=& \sigma^{ij}
2011: +{1 \over 4\pi} \left ( U_\sigma^{,i}U_\sigma^{,j} -
2012: {1 \over 2} \delta^{ij} \nabla U_\sigma^2 \right ) \,.
2013: \label{tauPN}
2014: \end{eqnarray}
2015:
2016: \section{Treatment of ``spherical'' bodies in PN expansions}
2017: \label{sec:spherical}
2018:
2019: We define our bodies to be spherical in a suitably chosen comoving
2020: frame. For a given body $A$, we choose a frame that momentarily has
2021: the same coordinate velocity $\bf v$ relative to the global PN frame
2022: as body $A$. Also, in the limit $m_A \to 0$, the frame is locally
2023: Lorentzian with its origin at ${\bf x}_A$, {\it i.e.} the frame is a
2024: local, freely falling frame in the field of the other body.
2025: In that frame, with coordinates $({\hat t},{\hat x}^i)$, the conserved
2026: baryon density
2027: distribution of body $A$ is taken to be spherically symmetric and static,
2028: {\it i.e.} $\rho^* ({\hat t},{\hat {\bf x}}^i)
2029: \equiv \rho_S (|{\hat {\bf x}}|)$.
2030: We define the baryonic mass, center of mass and velocity of body $A$
2031: according to Eqs. (\ref{rhostardefinitions}).
2032:
2033: Our goal is to calculate PN potentials
2034: and to integrate them over one of the bodies
2035: using the fact that $\rho^*$ is spherical and static in the local ``hatted''
2036: coordinates. The general form of the integrals to be evaluated is
2037: $\int \int \rho^*(t,{\bf x}) \rho^*(t,{\bf x}^\prime)
2038: f({\bf x},{\bf x}^\prime) d^3x d^3x^\prime$.
2039: First we note that the quantity $\rho^* (t,{\bf x}) d^3x
2040: =\rho (t,{\bf x}) u^\mu \sqrt{(-g)} d^3\Sigma_\mu$ is a
2041: scalar, {\it i.e.} is the same at a given event in any coordinate
2042: system. Thus we only need a transformation of the integration
2043: variables $x$ and $x^\prime$ in $f({\bf x},{\bf x}^\prime)$ to
2044: the hatted coordinates.
2045: Notice that $x$ and $x^\prime$ are taken at the same global coordinate time
2046: $t$, but will not necessarily
2047: be at the same local coordinate time $\hat t$.
2048:
2049:
2050: Consider the event $\cal P$ inside the fluid at ${\vec x}^\prime$ and
2051: the center of mass event $\cal Q$ at ${\vec x}_A$, both at the same
2052: time $t$ as the field point $\vec x$ (see Figure 1). The field point
2053: could be within body $A$ itself, in free space,
2054: or in the other body. Define ${\bar x}
2055: = {\vec x}^\prime - {\vec x}_A = {\bar x}^j {\vec e}_j$, where ${\vec
2056: e}_\mu$ are the basis vectors of our global PN frame; ${\bar x}$ is
2057: purely spatial in this frame. In the local comoving frame
2058: \begin{equation}
2059: {\bar x} = {\bar x}^j {\vec e}_j =
2060: x^{\hat \mu} {\vec e}_{\hat \mu} =
2061: {\hat t} {\vec e}_{\hat 0} + {\hat x}^j {\vec e}_{\hat j} \,.
2062: \label{transform1}
2063: \end{equation}
2064: Let the transformation between the two basis vectors
2065: take the general form
2066: \begin{equation}
2067: {\vec e}_{\mu} = ( \Lambda^{\hat \alpha}_\mu
2068: + B^{\hat \alpha}_{\mu\nu} {\bar x}^\nu) {\vec e}_{\hat \alpha} \,,
2069: \label{transform2}
2070: \end{equation}
2071: where ${\bar x}^\nu = x^\nu - x_A^\nu $, and
2072: $B^{\hat \alpha}_{\mu\nu}$ is symmetric on the lower indices.
2073: The coefficients
2074: $\Lambda^{\hat \alpha}_\mu$ correspond to boosts and coordinate
2075: re-scalings, while the
2076: coefficients
2077: $B^{\hat \alpha}_{\mu\nu}$ correspond to making the frame freely
2078: falling. Substituting Eq. (\ref{transform2}) into
2079: (\ref{transform1})
2080: we obtain
2081: \begin{eqnarray}
2082: \hat t &=& \Lambda^{\hat 0}_j {\bar x}^j + B^{\hat 0}_{jk} {\bar x}^j
2083: {\bar x}^k \,,
2084: \nonumber \\
2085: {\hat x}^j &=& \Lambda^{\hat j}_k {\bar x}^k + B^{\hat j}_{kl} {\bar
2086: x}^k {\bar x}^l \,.
2087: \label{transform3}
2088: \end{eqnarray}
2089: Notice that $\cal P$ is not simultaneous with $\cal Q$ in hatted
2090: coordinates, and that the time difference $\hat t$ depends on ${\bar
2091: x}^j$. However, since we assume that $\rho^* ({\hat x}^j, {\hat t})$
2092: is time-independent, this variation of $\hat t$ with integration
2093: point is irrelevant.
2094:
2095: Writing $\Lambda^{\hat \alpha}_\mu = \delta^\alpha_\mu
2096: + {\tilde \Lambda}^{\hat \alpha}_\mu$, it is straightforward to show
2097: that, in a PN expansion, the various coefficients in
2098: Eq. (\ref{transform2})
2099: have the leading orders
2100: ${\tilde \Lambda}^{\hat 0}_0 \sim {\tilde \Lambda}^{\hat j}_k \sim \epsilon$,
2101: ${\tilde \Lambda}^{\hat j}_0 \sim {\tilde \Lambda}^{\hat 0}_j \sim \epsilon
2102: ^{1/2}$,
2103: $B^{\hat 0}_{0j} \sim B^{\hat j}_{00} \sim B^{\hat j}_{kl} \sim \epsilon$,
2104: $B^{\hat j}_{0k} \sim B^{\hat 0}_{jk} \sim B^{\hat 0}_{00} \sim \epsilon
2105: ^{3/2}$. The transformation then takes the form
2106: ${\hat x}^j = {\bar x}^j + {\tilde \Lambda}^{\hat j}_k {\bar x}^k + B^{\hat
2107: j}_{kl} {\bar x}^k {\bar x}^l$, where the corrections are of leading
2108: order $\epsilon$. Inverting the transformation iteratively, we
2109: obtain
2110: \begin{equation}
2111: x^i = x_A^i + {\hat x}^j \{\delta^i_j + \epsilon ( A^i_j + B^i_{jk}
2112: {\hat x}^k)
2113: + \epsilon^2 ( C^i_j + D^i_{jk} {\hat x}^k
2114: + E^i_{jkl} {\hat x}^k {\hat x}^l )
2115: + O(\epsilon^3) \} \,,
2116: \label{flattening2}
2117: \end{equation}
2118: where the coefficients are functions of the ${\tilde \Lambda}^{\hat
2119: j}_k$ and $B^{\hat j}_{kl}$. To the PN order at which we are working,
2120: their explicit forms are not needed.
2121: Notice that, in terms of the scale $s \sim |{\hat x}|$, the flattening
2122: correction terms in Eq. (\ref{flattening2}) have the general form
2123: $\epsilon^n (\alpha + \beta s + \dots + \gamma s^n ) \sim
2124: \epsilon^n (1+s)^n$.
2125:
2126: In the double integral of $f({\bf x},{\bf x}^\prime)$, where the dependence is
2127: generally on the difference ${\bf x}-{\bf x}^\prime$, there are two cases to
2128: consider, one where ${\bf x}$ and ${\bf x}^\prime$ are in different bodies, and
2129: the other where they are in the same body. In the former case, we
2130: substitute Eq. (\ref{flattening2}) for
2131: both ${\bf x}^i$ and ${\bf x}^\prime$, and
2132: expand about the quantity ${\bf x}_A-{\bf x}_B$ in powers of $s$
2133: using Eq. (\ref{multipoleexpand}),
2134: convert the quantities
2135: $\rho^*d^3x$ to the hatted coordinates, and then integrate over the
2136: spherical density distributions, keeping only terms of $O(s^0)$. The
2137: first term in the expansion of Eq. (\ref{flattening2}) produces the normal
2138: multipole expansion of the potential, while the remain terms are
2139: relativistic flattening corrections.
2140: In the case where both ${\bf x}$ and ${\bf x}^\prime$ are in the same body, we
2141: have
2142: \begin{eqnarray}
2143: (x-x^\prime)^i &=& ({\hat x}-{\hat x}^\prime )^j \{ \delta^i_j +
2144: \epsilon [ A^i_j + B^i_{jk} ({\hat x}+{\hat x}^\prime )^k ]
2145: \nonumber \\
2146: &&
2147: + \epsilon^2 [C^i_j + D^i_{jk} ({\hat x}+{\hat x}^\prime )^k
2148: + E^i_{jkl} ({\hat x}^k{\hat x}^l + {\hat x}^k{\hat x}^{l\prime}
2149: + {\hat x}^{k\prime}{\hat x}^{l\prime} ) ] + O(\epsilon^3) \} \,.
2150: \label{flattening4}
2151: \end{eqnarray}
2152: In this case, the corrections come only from relativistic flattening, and
2153: also have the general form $\epsilon^n (1+s)^n$.
2154:
2155: \section{Evaluation of nonlinear 2PN potentials for two-body systems}
2156: \label{sec:nonlinearpotentials}
2157:
2158: \subsection{Triangle potentials}
2159:
2160: The potential $P_2^{ij} = P(U^{,i}U^{,j})$ represents a new kind of
2161: potential that first appears at 2PN order. Unlike the Newtonian
2162: potential $U$, whose fundamental ingredient $1/|{\bf x}-{\bf
2163: x}^\prime|$ depends on the field point and the source
2164: point, the fundamental ingredient of $P_2^{ij}$ depends on the field
2165: point and on {\it two} source points, hence the name ``triangle''
2166: potential. The potentials $G_i$, $i=1 \dots 6$ and $G_7^i$ are also triangle
2167: potentials. To see this, we write $P_2^{ij}$ in the form
2168: \begin{eqnarray}
2169: P_2^{ij} &=& {1 \over 4\pi} \int_{\cal M}
2170: {d^3x^\prime \over {|{\bf x}-{\bf x}^\prime|}}
2171: \int \rho^{*\prime\prime} d^3x^{\prime\prime}
2172: {{(x^\prime-x^{\prime\prime})^i}
2173: \over {|{\bf x}^\prime-{\bf x}^{\prime\prime}|^3}}
2174: \int \rho^{*\prime\prime\prime} d^3x^{\prime\prime\prime}
2175: {{(x^\prime-x^{\prime\prime\prime})^j}
2176: \over {|{\bf x}^\prime-{\bf x}^{\prime\prime\prime}|^3}}
2177: \nonumber \\
2178: &=& \sum_{A,B} \int_A \rho_A^* \nabla_A^i d^3x_A
2179: \int_B \rho_B^* \nabla_B^j d^3x_B
2180: {1 \over 4\pi} \int_{\cal M} {d^3x^\prime \over
2181: {|{\bf x}-{\bf x}^\prime|
2182: |{\bf x}_A-{\bf x}^\prime|
2183: |{\bf x}_B-{\bf x}^\prime| }}
2184: \nonumber \\
2185: &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^*
2186: d^3x_A d^3x_B \nabla_A^i \nabla_B^j {\cal G}(xAB)
2187: \,,
2188: \label{P2def}
2189: \end{eqnarray}
2190: where
2191: \begin{eqnarray}
2192: {\cal G}(xAB) &\equiv& - \ln \Delta(xAB) + 1 \,,
2193: \nonumber \\
2194: \Delta(xAB) &\equiv& |{\bf x}-{\bf x}_A|+
2195: |{\bf x}-{\bf x}_B|+
2196: |{\bf x}_A-{\bf x}_B| \,.
2197: \label{GDeltadef}
2198: \end{eqnarray}
2199: The triangle function ${\cal G}(ABC)$ satisfies the equations
2200: \begin{eqnarray}
2201: \nabla_A^2 {\cal G}(ABC) &=& - 1/(r_{AB}r_{AC}) \,,
2202: \nonumber \\
2203: \nabla_A^i \nabla_B^i {\cal G}(ABC) &=& {1 \over 2}
2204: \left [ {1 \over r_{AB}} \left ( {1 \over r_{AC}} +
2205: {1 \over r_{BC}} \right ) - {1 \over r_{AC}}{1 \over r_{BC}}
2206: \right ] \,,
2207: \label{Gequations}
2208: \end{eqnarray}
2209: together with the obvious results obtained by interchange of indices.
2210: Specific gradients of ${\cal G}(xAB)$ have the form
2211: \begin{eqnarray}
2212: \nabla_B^j {\cal G}(xAB) &=& {1 \over \Delta(xAB)}
2213: ({\hat y}_B + n_{AB})^j \,,
2214: \nonumber \\
2215: \nabla_A^i \nabla_B^j {\cal G}(xAB) &=& {1 \over \Delta(xAB)^2}
2216: ({\hat y}_A - n_{AB} )^i ({\hat y}_B + n_{AB})^j
2217: +{1 \over {r_{AB}\Delta(xAB)}}
2218: (\delta^{ij} - n_{AB}^i n_{AB}^j ) \,,
2219: \nonumber \\
2220: \nabla_B^i \nabla_B^j {\cal G}(xAB) &=& {1 \over \Delta(xAB)^2}
2221: ({\hat y}_B + n_{AB} )^i ({\hat y}_B + n_{AB})^j
2222: -{1 \over {r_{AB}\Delta(xAB)}}
2223: (\delta^{ij} - n_{AB}^i n_{AB}^j )
2224: \nonumber \\
2225: &&
2226: -{1 \over {y_{B}\Delta(xAB)}}
2227: (\delta^{ij} - {\hat y}_{B}^i {\hat y}_{B}^j ) \,,
2228: \label{Ggradients}
2229: \end{eqnarray}
2230: where $y_A^i \equiv (x-x_A)^i$, $y_A \equiv |{\bf y}_A|$, and
2231: ${\hat y}_A^i =y_A^i/y_A$.
2232: With these definitions, the other triangle potentials may be written
2233: \begin{mathletters}
2234: \begin{eqnarray}
2235: G_1 &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^* d^3x_A d^3x_B
2236: v_A^iv_B^j \nabla_A^i \nabla_B^j {\cal G}(xAB) \,,
2237: \\
2238: G_2 &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^* d^3x_A d^3x_B
2239: ( a_B^i \nabla_B^i + v_B^iv_B^j \nabla_B^i \nabla_B^j ) {\cal G}(xAB)
2240: \,,
2241: \\
2242: G_3 &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^* d^3x_A d^3x_B
2243: v_A^iv_B^j \nabla_B^i \nabla_B^j {\cal G}(xAB) \,,
2244: \\
2245: G_4 &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^* d^3x_A d^3x_B
2246: v_A^iv_B^j \nabla_A^j \nabla_B^i {\cal G}(xAB) \,,
2247: \\
2248: G_5 &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^* d^3x_A d^3x_B
2249: (a_A^i \nabla_B^i + v_A^iv_A^j \nabla_A^j \nabla_B^i) {\cal G}(xAB)
2250: \,,
2251: \\
2252: G_6 &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^* d^3x_A d^3x_B
2253: v_A^iv_A^j \nabla_B^i \nabla_B^j {\cal G}(xAB) \,,
2254: \\
2255: G_7^i &=& \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^* d^3x_A d^3x_B
2256: (v_A^j - {3 \over 4} v_B^j )\nabla_A^i \nabla_B^j {\cal G}(xAB) \,.
2257: \end{eqnarray}
2258: \label{PGdefs}
2259: \end{mathletters}
2260:
2261: \subsection{The triangle potential $P_2^{ij}$ }
2262:
2263: For a two-body system, we may write $P_2^{ij} =
2264: P_{2(11)}^{ij} + 2P_{2(12)}^{(ij)} + P_{2(22)}^{ij}$,
2265: where the subscripts in parentheses denote the contributions from the
2266: bodies.
2267: The contributions $P_{2(11)}^{ij}$ and $P_{2(22)}^{ij}$ from
2268: a single body with a spherically symmetric mass distribution
2269: $\rho^* = \rho(r)$
2270: can be derived in a simple manner. For
2271: spherical symmetry, the equation for $P_2^{ij}$ takes the form
2272: $\nabla^2 P_2^{ij} = -{n}^{ij} (U^\prime)^2$, where
2273: $U^\prime = dU/dr = -m(r)/r^2$, with $dm(r)/dr = 4\pi\rho(r) r^2$.
2274: Writing
2275: \begin{equation}
2276: P_2^{ij} \equiv (1/3)\delta^{ij} P_2 + {n}^{<ij>}PT_2 \,,
2277: \label{P2split}
2278: \end{equation}
2279: where ${n}^{<ij>} = {n}^{ij} - \delta^{ij}/3$,
2280: it is easy to show that the trace $P_2$ and the traceless part $PT_2$
2281: satisfy the equations $\nabla^2 P_2 = - (U^\prime)^2$, and
2282: $\nabla^2 PT_2 -6PT_2/r^2 = -(U^\prime)^2$. Demanding that the
2283: solutions be regular at the origin and vanish at infinity yields
2284: \begin{eqnarray}
2285: P_2 &=& - {m(r)^2 \over 2r^2} + {8\pi \over r} \int_0^r
2286: \rho(r^\prime)m(r^\prime)r^\prime dr^\prime
2287: + 4\pi \int_r^R \rho(r^\prime)m(r^\prime)dr^\prime
2288: \,,
2289: \nonumber \\
2290: PT_2 &=& {m(r)^2 \over 4r^2} - {8\pi \over 5r^3}\int_0^r
2291: \rho(r^\prime)m(r^\prime)r^{\prime 3} dr^\prime
2292: + {{2\pi r^2} \over 5} \int_r^R {\rho(r^\prime)m(r^\prime)
2293: \over r^{\prime 2}} dr^\prime \,,
2294: \label{P2PT2}
2295: \end{eqnarray}
2296: where $R$ is the radius of the body. Inside the body, $P_2^{ij} \sim
2297: (m/s)^2$. Outside the body, $P_2^{ij} = (m/2r)^2 ({n}^{ij}
2298: - \delta^{ij})$, neglecting internal-structure terms of $O(s^{-1})$
2299: and $O(s^{+1})$.
2300:
2301: For the term $P_{2(12)}^{(ij)}$, and for a field point between the two
2302: bodies, we combine the definition (\ref{P2def}) with the
2303: appropriate gradient of $\cal G$ from Eq. (\ref{Ggradients}), and show
2304: that only point mass terms contribute. Then, for an interbody field
2305: point, we have
2306: \begin{eqnarray}
2307: P_2^{ij} &=& {m_1^2 \over 4y_1^2} ({\hat y}_1^{ij} - \delta^{ij} )
2308: + {m_2^2 \over 4y_2^2} ({\hat y}_2^{ij} - \delta^{ij} )
2309: \nonumber \\
2310: && + {2m_1m_2 \over \Delta(x12)}
2311: \left ( {{({\hat y}_1 - {n})^{(i} ({\hat y}_2 + {\hat
2312: n})^{j)}}
2313: \over \Delta(x12)}
2314: + {{\delta^{ij} - {n}^{ij} } \over r} \right )
2315: \,,
2316: \label{P2twobody}
2317: \end{eqnarray}
2318: where ${n}^i = x_{12}^i/r$ and $\Delta(x12)
2319: = y_1 +y_2 +r$, and where self-energy terms of $O(s^{-1})$
2320: and $O(s^{+1})$ have been
2321: dropped from $P_2^{jk}$.
2322:
2323: \subsection{Evaluation of triangle terms for two-body systems}
2324:
2325: We then take either spatial derivatives (e.g. $G_1^{,i}$)
2326: or time derivatives (e.g. ${\dot G}_7^{i}$) of the triangle
2327: potentials, and in some cases multiply them by other factors (e.g.
2328: $v^jv^k P_2^{ij,k}$ or $U^{,j}P_2^{ij}$),
2329: and integrate them over the density of body \#1. Because
2330: we are dealing with a two-body system, then either two or all three of the
2331: points $x$, $A$ and $B$ in ${\cal G}(xAB)$ will reside in the same body,
2332: in other words, in Eqs. (\ref{PGdefs}), we encounter the possibilities
2333: ${\cal G}(111)$,
2334: ${\cal G}(112)$,
2335: ${\cal G}(121)$, and
2336: ${\cal G}(122)$.
2337: The quantity ${\cal G}(111)$ and its derivatives are purely internal
2338: to one body and can be treated fairly simply. Notice that a single
2339: derivative of ${\cal G}(111)$
2340: is of the general form $s^j/s^2$, while a double derivative is of
2341: the form $s^{ij}/s^4$, and a general derivative is of the form $s^Q/s^{2q}$,
2342: where $s^Q = s^{i_1 \dots i_q}$. Since we must be left with one
2343: spatial index $i$, such purely internal terms have odd parity, and
2344: must integrate to zero.
2345: For the mixed-body cases,
2346: we must expand the functions $\cal G$ about the centers of mass of each
2347: body, sort the terms in powers of the scale $s$ for each body, and retain only
2348: final contributions
2349: of order $s^0$. This will be aided by a general expansion of
2350: the function ${\cal G}(ABC)$ in powers of
2351: $r_{AB}/r_{AC}$, where points $A$ and $B$ are assumed to lie inside
2352: one body, and point $C$ is inside the other body, so that $r_{AB} \sim s
2353: \ll r_{AC}$.
2354: Straightforward
2355: methods lead to the expansion
2356: \begin{eqnarray}
2357: {\cal G}(ABC) &=& -\ln r_{AC} + 1 - \ln 2
2358: + {1 \over 2} \sum_{m=0}^\infty
2359: {{(- r_{AB})^{m+1}} \over {(m+1)!}}
2360: \nonumber \\
2361: &&
2362: \times \biggl \{ ({n}_{AB})^M \nabla_A^M \left ( {1 \over r_{AC}} \right)
2363: + {r_{AC} \over m+1} ({n}_{AB})^{M+1}
2364: \nabla_A^{M+1} \left ( {1 \over r_{AC}} \right ) \biggr \}
2365: \,.
2366: \label{calGsum}
2367: \end{eqnarray}
2368: Note that each term in the expansion is of order $r_{AB}^{m+1} \sim s^{m+1}$,
2369: and depends on gradients of $1/r_{AC}$. Since $A$ and $C$ are in different
2370: bodies, $\nabla^2 r_{AC}^{-1} =0$; this fact will be important in the
2371: considerations to follow.
2372: The first term in the braces produces a contribution
2373: of order $s^{m+1}$ but of parity (number
2374: of $n_{AB}^i$ vectors ) $(-1)^m$; no matter how many gradients
2375: are taken with respect to any of the variables, this relationship will
2376: be unchanged. Hence a term of order $s^0$ will have odd parity, a
2377: term of order $s^{-1}$ or $s^{+1}$ will have even parity, and so on.
2378: (Because of the additional scalar factor $r_{AB}$, enough gradients with
2379: respect to $A$ or $B$ will
2380: generate terms of negative powers in $s$.)
2381: The second term in the braces has parity $(-1)^{m+1}$ and order
2382: $s^{m+1}$, a relationship again preserved under any gradients.
2383: Furthermore, gradients of this term will yield terms either completely
2384: independent of $s$ or of positive powers in $s$; no negative powers of
2385: $s$ or terms proportional only to the unit vector ${n}_{AB}^i$
2386: can be produced by this term.
2387:
2388: Armed with these characteristics of $\cal G$,
2389: consider as an example, the term $G_1^{,i}$ in the equation of motion.
2390: Taking the gradient of Eq. (\ref{PGdefs}a) with respect to $x$,
2391: pulling out the velocities,
2392: integrating over body \#1,
2393: and considering all the possible cases for
2394: $A$ and $B$, we first
2395: find no contribution from $\nabla_x^i \nabla_A^j \nabla_B^k
2396: {\cal G}(111) \sim s^is^js^k/s^6$, by symmetry.
2397: Considering the other cases,
2398: ${\cal G}(112)$,
2399: ${\cal G}(121)$, and
2400: ${\cal G}(122)$, we find that the only $s^0$ contributions from the
2401: gradients of the
2402: expansion (\ref{calGsum})
2403: are either odd parity (from the first term ),
2404: and thus vanish on integrating over
2405: body \#1 or \#2, or are independent of $s$ (from the second term),
2406: and yield the desired
2407: ``point mass'' result:
2408: $G_1^{,i} \to m_1m_2 [n^i(4\nva\nvb-\v1v2) -2v_1^i\nvb
2409: -v_2^i\nva]/2r^3-m_2^2 [2n^i(\nvb)^2-n^iv_2^2-v_2^i\nvb]/2r^3$.
2410:
2411: Consider as a
2412: less straightforward example, the term in $G_2^{,i}$ that depends on
2413: the acceleration. Inserting the Newtonian equation of motion
2414: $a_B^i=U_B^{,i}$,
2415: we must evaluate the term
2416: \begin{equation}
2417: {1 \over m_1} \int_1 \rho^* d^3x
2418: \sum_{A,B} \int_A \int_B \rho_A^* \rho_B^*
2419: d^3x_A d^3x_B (U_{B,int}^{,j} + U_{B,ext}^{,j} )
2420: \nabla_x^i \nabla_B^j {\cal G}(xAB) \,,
2421: \label{G2}
2422: \end{equation}
2423: where we have split $U$ into a contribution from within body $B$
2424: itself (``int'') and from the other body (``ext''). The case $A=B=1$ has a
2425: purely internal term from $U_{1,int}^{,j}\nabla_x^i \nabla_B^j{\cal G}(111)$,
2426: which vanishes by
2427: symmetry, and a term $U_{1,ext}^{,j} \nabla_x^i \nabla_B^j {\cal G}(111)
2428: \sim m_2\sum_q ({\bar x}^Q \nabla^Q \nabla^j r^{-1}/q!) s^is^j/s^4$, where we
2429: expand the external potential about the center of mass of body \#1, and
2430: where $r=r_{12}$.
2431: Only the $q=2$ term
2432: contributes at overall order $s^0$, leading to an integral of the
2433: schematic form $\int_1 ({\bar x}^{kl}
2434: s^is^j/s^4) \nabla^{klj} r^{-1} \to
2435: (\delta^{kl}\delta^{ij}+\delta^{ki}\delta^{jl}+\delta^{kj}\delta^{il})
2436: \nabla^{klj} r^{-1} \propto \nabla^2 \nabla^i r^{-1} = 0$.
2437: Similarly, combining $U_{B,int}^{,j} \sim s^j/s^3$ with the expansion of
2438: $\nabla_x^i \nabla_B^j {\cal G}(112)$ produces a potentially $s^0$ term only
2439: from an order $s^2$ term from the derivatives of $\cal G$; but such terms
2440: are necessarily accompanied by several (three or more)
2441: gradients of $r^{-1}$; because only
2442: a single index $i$ remains at the end, two of the gradients are always
2443: contracted
2444: into $\nabla^2$, which
2445: vanishes when acting on $r^{-1}$. All the possible combinations of $A$ and
2446: $B$ in Eq. (\ref{G2})
2447: yield equivalent results. The final answer contains only ``point''
2448: mass terms, and is equivalent to combining the
2449: completely
2450: $s$-independent terms from the
2451: derivatives of ${\cal G}$ with only the ``external'' potential terms arising
2452: from any acceleration. The same approach holds for the terms $G_5^{,i}$,
2453: ${\dot G}_7^i$, and $U^{,j}P_2^{ij}$.
2454:
2455: The vanishing of many potential contributions at order $s^0$ depends
2456: critically on the fact that the terms ultimately depend on
2457: the factor $\nabla^{klj} r^{-1}$, and that two of the
2458: indices are contracted,
2459: since only one index is allowed to be free. However, at 3PN order,
2460: this is no longer the case. A simple example is provided by a 3PN term
2461: proportional to $v^jv^kU^{,i}P_2^{jk}$. Integrating over body \#1,
2462: the combination
2463: of $U_{ext}^{,i}$ with $P_{2(11)}^{jk}$ gives a contribution to the equation
2464: of motion
2465: \begin{eqnarray}
2466: {1 \over m_1} v_1^j && v_1^k \int_1 \rho^* d^3{\bar x} \,m_2\sum_q
2467: {{\bar x}^Q \over q!} \nabla^Q \nabla^j (r^{-1})
2468: \left ( {1 \over 3} P_2({\bar r}) \delta^{jk}
2469: + PT_2({\bar r}) n^{<jk>} \right )
2470: \nonumber \\
2471: && = {1 \over 15} \left \{ \int_0^R \rho^* {\bar r}^2 PT_2({\bar r}) d^3{\bar x}
2472: /m_1^3 \right \}
2473: m_1^2 m_2 v_1^jv_1^k \nabla^{ijk} (r^{-1}) \,,
2474: \end{eqnarray}
2475: where the
2476: quantity in braces is dimensionless, scales as $s^0$ for fixed $m_1$,
2477: but depends on the
2478: internal structure of body \#1. Contributions like this appear everywhere
2479: at 3PN order; whether they survive in the final equation of motion, or what
2480: their ultimate interpretation is, will be the subject of future work.
2481:
2482: \subsection{The quadrangle potential $H$}
2483:
2484: The potential $H = P(U^{,ij}P_2^{ij})$
2485: is an example of a more complicated ``quadrangle''
2486: potential whose fundamental ingredient depends on the field point and three
2487: source points.
2488: To see this, we write
2489: \begin{eqnarray}
2490: H &=& {1 \over 4\pi} \int_{\cal M}
2491: {d^3x^\prime \over {|{\bf x}-{\bf x}^\prime|}}
2492: U^{,ij}(x^\prime) P_2^{ij}(x^\prime)
2493: \nonumber \\
2494: &=& {1 \over 4\pi} \int_{\cal M}
2495: {d^3x^\prime \over {|{\bf x}-{\bf x}^\prime|}}
2496: U^{,ij}(x^\prime)
2497: {1 \over 4\pi} \int_{\cal M}
2498: {d^3x^{\prime\prime} \over
2499: {|{\bf x}^\prime-{\bf x}^{\prime\prime}|}}
2500: U^{,i}(x^{\prime\prime}) U^{,j}(x^{\prime\prime})
2501: \nonumber \\
2502: &=& \sum_{ABC}
2503: \int_A \rho_A^* \nabla_A^i \nabla_A^j d^3x_A
2504: \int_B \rho_B^* \nabla_B^i d^3x_B
2505: \int_C \rho_C^* \nabla_C^j d^3x_C
2506: \, {\cal H}(xA;BC) \,,
2507: \label{Hdef}
2508: \end{eqnarray}
2509: where the function ${\cal H}$ of four field points is defined by
2510: \begin{equation}
2511: {\cal H}(AB;CD) \equiv {1 \over (4\pi)^2} \int_{\cal M}\int_{\cal M}
2512: {{d^3x^\prime d^3x^{\prime\prime}} \over
2513: {|{\bf x}_A-{\bf x}^\prime|
2514: |{\bf x}_B-{\bf x}^\prime|
2515: |{\bf x}^\prime-{\bf x}^{\prime\prime}|
2516: |{\bf x}_C-{\bf x}^{\prime\prime}|
2517: |{\bf x}_D-{\bf x}^{\prime\prime}|}} \,,
2518: \label{calHdef}
2519: \end{equation}
2520: with the properties
2521: \begin{eqnarray}
2522: \nabla_A^2 {\cal H}(AB;CD) &=& -(1/r_{AB}) {\cal G}(ACD) \,,
2523: \nonumber \\
2524: \nabla_C^2 {\cal H}(AB;CD) &=& -(1/r_{CD}) {\cal G}(ABC) \,,
2525: \nonumber \\
2526: \nabla_A^i \nabla_B^i {\cal H}(AB;CD) &=& (1/2r_{AB})[{\cal G}(ACD) +
2527: {\cal G}(BCD)] - {\cal J}(ABCD)/2 \,,
2528: \label{calHprops}
2529: \end{eqnarray}
2530: where
2531: \begin{equation}
2532: {\cal J}(ABCD) \equiv {1 \over 4\pi} \int_{\cal M}
2533: {d^3x^\prime \over
2534: {|{\bf x}_A-{\bf x}^\prime||{\bf x}_B-{\bf x}^\prime|
2535: |{\bf x}_C-{\bf x}^\prime||{\bf x}_D-{\bf x}^\prime|}} \,.
2536: \end{equation}
2537: Unfortunately, we have been unable to find a closed-form solution for
2538: $\cal H$ similar to that for $\cal G$, nor a useful expansion in the
2539: case where some of the distances between points are small compared to
2540: the others.
2541:
2542: Instead, we make use of the first form of $H$ given in
2543: Eq. (\ref{Hdef}).
2544: We integrate $H^{,i}$ over the density of body \#1
2545: and substitute $U^{,k} = U_1^{,k}+U_2^{,k}$
2546: and $ P_2^{jk} = P_{2(11)}^{jk} + 2P_{2(12)}^{(jk)} + P_{2(22)}^{jk}$.
2547: The result can be put into the form
2548: \begin{equation}
2549: \int_1 \rho^* H^{,i} d^3x = {1 \over 4\pi} \int_{\cal M}
2550: d^3x^\prime U_1^{,i} (x^\prime)
2551: (U_1^{,jk} (x^\prime)+U_2^{,jk} (x^\prime))
2552: ( P_{2(11)}^{jk} + 2P_{2(12)}^{(jk)} + P_{2(22)}^{jk}) \,.
2553: \label{Hintegral}
2554: \end{equation}
2555: We wish to verify that no contributions of order $s^0$ (other
2556: than normal point mass terms) arise in this integral.
2557: To see this, we split the integral over $\cal M$ into an integral over body
2558: \#1 out to a radius $\sim s_1$, a similar integral over body \#2 to a
2559: radius $\sim s_2$, and an integral over the rest of $\cal M$.
2560: In the latter integral, we may use solutions external to each spherical
2561: body:
2562: $U = m_1/y_1 + m_2/y_2$ and $P_2^{ij}$ from Eq. (\ref{P2twobody}).
2563: If carried out over all of $\cal M$ using these
2564: functions, the integral would diverge at the locations of the two bodies
2565: \cite{note1}.
2566:
2567: Consider now the integral over a region of volume $s_1^3$ surrounding
2568: body \#1. In the neighborhood of
2569: \#1, the product $U_1^{,i} U_1^{,jk}$ behaves as $s^is^js^k/s^8$;
2570: multiplying by the volume, we have a term of
2571: odd parity and $O(s_1^{-2})$. The term $P_{2(11)}^{jk}$ is even parity, so the
2572: combination integrates to zero. The term $P_{2(12)}^{(jk)}$
2573: must be expanded about \#1 using Eq. (\ref{calGsum}); the expansion begins at
2574: $O(s^0)$ with a constant term and an odd parity term proportional to
2575: $s^i/s$; then at $O(s)$ with a term proportional to $s$ (even parity) and
2576: one proportional to $s^i$ (odd parity); then at $O(s^2)$ with terms
2577: proportional to $ss^i$ and $s^is^j$, and so on.
2578: All even parity terms integrate to zero when multiplied by
2579: $s^is^js^k/s^8$. The odd-parity $O(s^0)$ and $O(s)$ terms lead
2580: to non-zero integrals of
2581: order $s_1^{-2}$ and $s_1^{-1}$, which we discard. The odd-parity
2582: contribution of order $s^2$, is accompanied by a coefficient proportional
2583: to
2584: $\nabla^{jkl} (1/r)$. Integrating over the sphere then results in a term
2585: of order $s^0$ but proportional to $\nabla^2 (1/r)$, which vanishes.
2586: Finally expanding the term $P_{2(22)}^{(jk)}$ about the location of
2587: body \#1 gives only terms of order $s^m$ and parity $(-1)^m$, hence only a
2588: contribution of order $s_1^{-1}$ survives in the integral. Applying similar
2589: considerations to the product $U_1^{,i} U_2^{,jk}$, and then repeating the
2590: considerations for the integral over the neighborhood of body \#2 leads to
2591: the conclusion that the contributions are of order $s_A^{-2}$ or $s_A^{-1}$,
2592: or of positive powers,
2593: but that there are no structure-dependent contributions of order $s_A^0$.
2594:
2595: Consequently, we can carry out the integral in Eq. (\ref{Hintegral})
2596: over $\cal M$ up
2597: to spheres surrounding each body, and then let the spheres shrink to zero,
2598: discarding terms that blow up as $s_A^{-2}$ or $s_A^{-1}$, and keeping only
2599: finite terms. We are guaranteed that no
2600: structure-dependent terms of $O(s^0)$ will appear.
2601: The final result is given in Eq. (\ref{Hfinal}).
2602:
2603:
2604: \section{Evaluation of multipole moments for two-body systems}
2605: \label{sec:moments}
2606:
2607: \subsection{Quadrupole and higher moments}
2608: \label{sec:quadrupole}
2609:
2610: Substituting expressions for $\tau^{\mu\nu}$ from Eqs. (\ref{tauPN})
2611: into the definitions of the multipole moments, Eqs. (\ref{definemoments}),
2612: converting from densities $\sigma$, $\sigma^i$ and $\sigma^{ij}$ to
2613: the conserved baryon density $\rho^*$ to the needed PN order
2614: using Eqs. (\ref{sigmatorhoPN}),
2615: and integrating, discarding any terms that depend
2616: explicitly on the radius $\cal R$ of the boundary of $\cal M$, we
2617: obtain
2618: \begin{eqnarray}
2619: {\cal I}^{ij} &=& \sum_A m_A x_A^{ij} (1+ {1 \over 2}v_A^2)
2620: - \sum_{AB} {m_Am_B \over r_{AB}}
2621: \left ( {1 \over 2} x_A^{ij} - {7 \over 4} r_{AB}^2
2622: \delta^{ij} \right ) \,,
2623: \nonumber \\
2624: {\cal I}^{ijk\dots} &=& \sum_A m_A x_A^{ijk\dots} \,,
2625: \nonumber \\
2626: {\cal J}^{ij} &=& \epsilon^{iab} \sum_A m_A v_A^bx_A^{aj} \,,
2627: \nonumber \\
2628: {\cal J}^{ijk\dots} &=& \epsilon^{iab} \sum_A m_A v_A^bx_A^{ajk\dots} \,,
2629: \nonumber \\
2630: {\cal M}^{ijkl} &=& \sum_A m_A v_A^{ij} x_A^{kl}
2631: - {1 \over 2} \sum_{AB} {m_Am_B \over r_{AB}} n_{AB}^{ij} x_A^{kl}
2632: + {1 \over 12} \sum_{AB} m_Am_Br_{AB}
2633: \biggl ( n_{AB}^{ijkl} -n_{AB}^{ij} \delta^{kl}
2634: \nonumber \\
2635: &&
2636: -n_{AB}^{kl} \delta^{ij}
2637: + n_{AB}^{i(k} \delta^{l)j}
2638: + n_{AB}^{j(k} \delta^{l)i} - 2 \delta^{i(k} \delta^{l)j}
2639: + 2 \delta^{ij} \delta^{kl} \biggr ) \,.
2640: \label{PNmoments}
2641: \end{eqnarray}
2642: Note that, although ${\cal I}^{ijk}$ and ${\cal J}^{ij}$ appear in
2643: 2.5PN terms, they are purely functions of time, and thus cancel out of
2644: the relative equation of motion, so they are only needed to lowest
2645: order for use in 3.5PN terms.
2646:
2647: Converting to relative coordinates, using the 1PN correct
2648: transformation in the leading term of ${\cal I}^{ij}$, we obtain
2649: \begin{eqnarray}
2650: {\cal I}^{ij} &=& m \eta x^{ij} \left ( 1+ {1 \over 2}(1-3\eta)v^2 -
2651: {1 \over 2}(1-2\eta){m \over r} \right )
2652: + {7 \over 2} m^2 \eta r \delta^{ij} \,,
2653: \nonumber \\
2654: {\cal I}^{ijk} &=& - \delta m \eta x^{ijk} \,,
2655: \nonumber \\
2656: {\cal I}^{ijkl} &=& m \eta (1-3\eta) x^{ijkl} \,,
2657: \nonumber \\
2658: {\cal J}^{ij} &=& -\delta m \eta L^i x^j \,,
2659: \nonumber \\
2660: {\cal J}^{ijk} &=& m \eta (1-3\eta) L^i x^{jk} \,,
2661: \nonumber \\
2662: {\cal M}^{ijkl} &=& m \eta (1-3\eta) \left (v^{ij} -
2663: {1 \over 3} {m \over r} n^{ij} \right ) x^{kl}
2664: \nonumber \\
2665: &&
2666: - {1 \over 6} m^2 \eta r
2667: \left ( n^{ij} \delta^{kl}
2668: +n^{kl} \delta^{ij} - n^{i(k} \delta^{l)j}
2669: - n^{j(k} \delta^{l)i} + 2 \delta^{i(k} \delta^{l)j}
2670: - 2 \delta^{ij} \delta^{kl} \right ) \,,
2671: \label{relativemoments}
2672: \end{eqnarray}
2673: where ${\bf L} \equiv {\bf x} \times {\bf v}$ is the orbital angular
2674: momentum per unit mass.
2675: Note that the moments ${\cal I}^{ijklm}$, ${\cal J}^{ijkl}$ and ${\cal
2676: M}^{ijklm}$ are not needed explicitly for the 3.5PN equations of motion, since
2677: they are purely functions of time, and cancel out of the relative
2678: equation.
2679:
2680: Time derivatives of the moments may be calculated using the relative equations
2681: of motion in place of ${\ddot x}^i$; 1PN equations must be used in the
2682: leading term in ${\cal I}^{ij}$, while Newtonian equations are
2683: sufficient for the remaining terms.
2684:
2685: \subsection{Dipole moment and the system center of mass}
2686: \label{sec:dipole}
2687:
2688: For a two-body system, the dipole moment is given by
2689: ${\cal I}^i = \int_{\cal M} \tau^{00}x^i d^3x$. Substituting for
2690: $\tau^{00}$ including 1PN and 2.5PN terms from Eq. (5.9) of Paper I, and
2691: convering from $\sigma$ to $\rho^*$ to the corresponding order from
2692: Eq. (\ref{sigmatorhoPN}), we obtain, to zeroth, PN and 2.5PN order,
2693: \begin{eqnarray}
2694: {\cal I}^i &=& \sum_A m_A x_A^i \left (1 + {1 \over 2}v_A^2 - {1 \over 2}
2695: \sum_B {m_B \over r_{AB}} \right )
2696: \nonumber
2697: \\
2698: && - {2 \over 5} \sum_A m_A x_A^j \left (
2699: \delta^{ij} \stackrel{(3)}{{\cal I}^{kk}}
2700: + 2 \stackrel{(3)}{{\cal I}^{ij}} \right ) \,.
2701: \label{dipolePN}
2702: \end{eqnarray}
2703: Choosing the center
2704: of mass so that ${\cal I}^i =0$ to at least PN order, we see that the
2705: final 2.5PN term is in fact at least 3.5PN order.
2706: However, we must also check the time dependence of
2707: ${\cal I}^i$, to see if it remains zero to the order needed. From the
2708: definition of ${\cal I}^i$ (Paper I, Eq. (4.6)), we have
2709: \begin{equation}
2710: {\dot {\cal I}}^i = P^i - \oint_{\partial {\cal M}} \tau^{0j}x^i
2711: d^2S_j \,.
2712: \label{dipole2}
2713: \end{equation}
2714: Using the definition of $\tau^{0j}$ (Paper I, Eqs. (4.4)) and the far-zone
2715: forms of the gravitational potentials (Paper I, Eqs. (5.12),
2716: with ${\cal I}^i =0$ to 1PN
2717: order), it can be shown that the
2718: surface integral is of 2.5PN order relative to $P^i$. However, taking
2719: an
2720: additional time derivative and using $\tau^{ij}$ in the far zone gives
2721: \begin{eqnarray}
2722: {\ddot {\cal I}}^i =
2723: {\dot P}^i &=& - \oint_{\partial {\cal M}} \tau^{ij} d^2S_j \,,
2724: \nonumber \\
2725: &=& - {\cal I} \left ( {2 \over 15} \stackrel{(5)}{{\cal I}^{ijj}}
2726: - {2 \over 3} \epsilon^{qik} \stackrel{(4)}{{\cal J}^{qk}}
2727: \right ) \,,
2728: \label{dipole3}
2729: \end{eqnarray}
2730: where, to the order needed, $\cal I$ is simply the total baryon mass
2731: $m$ of the system.
2732: Hence integrating with respect time and setting the initial conditions
2733: ${\cal I}_0^i =0$ and $P_0^i =0$, we have
2734: \begin{equation}
2735: {\cal I}^i = -m \left ( {2 \over 15} \stackrel{(3)}{{\cal I}^{ijj}}
2736: - {2 \over 3} \epsilon^{qik} \stackrel{(2)}{{\cal J}^{qk}}
2737: \right ) \,.
2738: \label{dipole4}
2739: \end{equation}
2740: Note that, while this may seem like an anomalous 2.5PN effect on the
2741: system center of mass, it is really a gauge effect. Because the right
2742: hand side of Eq. (\ref{dipole4}) is a total time derivative, it can be absorbed
2743: into a redefinition of spatial coordinates. Combining Eqs. (\ref{dipolePN})
2744: and (\ref{dipole4}),
2745: and defining $x_1^i = (m_2/m)x^i + \zeta^i$, $x_2^i = -(m_1/m)x^i +
2746: \zeta^i$,
2747: we can then show that the transformation from $x_A^i$ to relative
2748: coordinates is given by Eqs. (\ref{transform}), which
2749: were derived directly from the
2750: 1PN and 2.5PN equations of motion.
2751:
2752: \begin{references}
2753:
2754: \bibitem{3min} C. Cutler, T. A. Apostolatos, L. Bildsten, L. S. Finn,
2755: \'E. E. Flanagan, D. Kennefick, D. M. Markovi\'c, A. Ori, E. Poisson,
2756: G. J. Sussman, and K. S. Thorne, Phys. Rev. Lett. {\bf 70}, 2984
2757: (1993).
2758:
2759: \bibitem{patiwill} M. E. Pati and C. M. Will,
2760: Phys. Rev. D {\bf 62}, 124015
2761: (2000)
2762:
2763: \bibitem{DD81} T. Damour and N. Deruelle, Phys. Lett. {\bf 87A},
2764: 81 (1981).
2765:
2766: \bibitem{damour300} T. Damour, in {\it 300 Years of Gravitation},
2767: edited by S. W. Hawking and W. Israel (Cambridge University Press,
2768: London, 1987), p. 128.
2769:
2770: \bibitem{kopeikin85} S. M. Kopeikin, Sov. Astron. {\bf 29}, 516
2771: (1985).
2772:
2773: \bibitem{GK86} L. P. Grishchuk and S. M. Kopeikin, In {\it Relativity
2774: in Celestial Mechanics and Astrometry}, edited by J. Kovalevsky and V.
2775: A. Brumberg (Reidel, Dordrecht, 1986), p. 19.
2776:
2777: \bibitem{bfp98} L. Blanchet, G. Faye and B. Ponsot, Phys. Rev. D {\bf
2778: 58}, 124002 (1998).
2779:
2780: \bibitem{futamase01} Y. Itoh, T. Futamase, and H. Asada,
2781: Phys. Rev. D {\bf 63},
2782: 064038 (2001).
2783:
2784: \bibitem{MTW} C. W. Misner, K. S. Thorne, and J. A. Wheeler, {\it
2785: Gravitation} (Freeman Publishing Co, San Francisco, 1973).
2786:
2787: \bibitem{iyerwill} B. R. Iyer and C. M. Will, Phys. Rev. Lett. {\bf
2788: 70}, 113 (1993).
2789:
2790: \bibitem{iyerwill2} B. R. Iyer and C. M. Will, Phys. Rev. D {\bf
2791: 52}, 6882 (1995).
2792:
2793: \bibitem{schafer85} G. Sch\"afer, Ann. Phys. (N.Y.) {\bf 161}, 81
2794: (1985).
2795:
2796: \bibitem{schafer86} G. Sch\"afer, Gen. Relativ. Gravit. {\bf 18}, 255
2797: (1986).
2798:
2799: \bibitem{jaraschafer97} P. Jaranowski and G. Sch\"afer, Phys. Rev. D
2800: {\bf 55}, 4712 (1997).
2801:
2802: \bibitem{jaraschafer98} P. Jaranowski and G. Sch\"afer, Phys. Rev. D
2803: {\bf 57}, 5948 (1998), {\it ibid}. {\bf 57}, 7274 (1998).
2804:
2805: \bibitem{jaraschafer99} P. Jaranowski and G. Sch\"afer, Phys. Rev. D
2806: {\bf 60}, 124003 (1999).
2807:
2808: \bibitem{djs00} T. Damour, P. Jaranowski and G. Sch\"afer, Phys. Rev.
2809: D {\bf 62}, 021501 (2000).
2810:
2811: \bibitem{bf00} L. Blanchet and G. Faye, Phys.Lett. {\bf 271A}, 58 (2000).
2812:
2813: \bibitem{bf01} L. Blanchet and G. Faye, Phys. Rev. D
2814: {\bf 63}, 062005 (2001).
2815:
2816: \bibitem{thorne80} K. S. Thorne, Rev. Mod. Phys. {\bf 52}, 299
2817: (1980).
2818:
2819: \bibitem{bfhadamard} L. Blanchet and G. Faye, J. Math. Phys. {\bf 41},
2820: 7675 (2000).
2821:
2822: \bibitem{EIH} A. Einstein, L. Infeld, and B. Hoffmann, Ann. Math. {\bf
2823: 39},
2824: 65 (1938).
2825:
2826: \bibitem{futamase00} Y. Itoh, T. Futamase, and H. Asada,
2827: Phys. Rev. D {\bf
2828: 62}, 064002 (2000).
2829:
2830: \bibitem{futamase85} T. Futamase,
2831: Phys. Rev. D {\bf 32}, 2566 (1985); {\it
2832: ibid}. {\bf 36}, 321 (1987).
2833:
2834: \bibitem{tegp} C. M. Will, {\it Theory and Experiment in Gravitational
2835: Physics} (Cambridge University Press, Cambridge, 1993).
2836:
2837: \bibitem{wagwill} R. V. Wagoner and C. M. Will, Astrophys. J. {\bf
2838: 210}, 764 (1976); {\bf 215}, 984 (1977).
2839:
2840: \bibitem{bds} L. Blanchet and T. Damour, Ann. Inst. Henri Poincar\'e
2841: A, {\bf
2842: 50}, 377 (1989); L. Blanchet and G. Sch\"afer, Mon. Not. R. Astron.
2843: Soc. {\bf 239}, 845 (1989).
2844:
2845: \bibitem{junker} W. Junker and G. Sch\"afer, Mon. Not. R. Astron. Soc.
2846: {\bf 254}, 146 (1992).
2847:
2848: \bibitem{luc93} L. Blanchet, Phys. Rev. D {\bf 47}, 4392 (1993).
2849:
2850: \bibitem{note1} In evaluating integrals of second
2851: derivatives of $U$, it is important
2852: to use the fact that $\nabla^i \nabla^j (1/|{\bf
2853: x} - {\bf x}^\prime |) = 3(x-x^\prime)^{<ij>}/|{\bf
2854: x} - {\bf x}^\prime |^5 - (4\pi/3)\delta^{ij} \delta^3 ({\bf
2855: x} - {\bf x}^\prime) $.
2856: \end{references}
2857:
2858: \begin{figure}
2859: \begin{center}
2860: \leavevmode
2861: \psfig{figure=dire2fig.eps,height=5.0in}
2862: \end{center}
2863: \caption{Transformation to the local comoving frame of one body.
2864: Global harmonic coordinates are $t,x^j$; local coordinates are ${\hat
2865: t}, {\hat x}^j$. In local coordinates, the density of the body is
2866: assumed to be static and spherically symmetric.
2867: }
2868: \label{dire2fig1}
2869: \end{figure}
2870:
2871: \end{document}
2872: