1: 

2: \documentstyle[aps,preprint,psfig,eqsecnum]{revtex}

3: %\documentstyle[preprint,aps]{revtex}

4: \tightenlines

5: \begin{document}

6: \draft

7: %\preprint{}

8: \title{Post-Newtonian gravitational radiation 

9: and equations of motion via direct

10: integration of the relaxed Einstein equations. \\

11: I. Foundations

12: }

13: \author{Michael E. Pati and Clifford M. Will }

14: \address{McDonnell Center for the Space Sciences,

15: Department of Physics, \\

16: Washington University, St. Louis, Missouri 63130}

17: \date{\today}

18: %\twocolumn[

19: \maketitle

20: %\widetext

21: \begin{abstract}

22: We present a self-contained framework called Direct Integration of the

23: Relaxed Einstein Equations (DIRE) for calculating equations of

24: motion and gravitational radiation emission for isolated gravitating

25: systems based on the post-Newtonian approximation.  We cast the Einstein 

26: equations into their ``relaxed'' form of a flat-spacetime wave

27: equation together with a harmonic gauge condition, and solve the equations

28: formally as a retarded integral over the past null cone of the 

29: field point (chosen to be within the near zone when calculating

30: equations of motion, and in the far zone when calculating gravitational 

31: radiation).  The ``inner'' part of this integral 

32: (within a sphere of radius $\cal

33: R \,\sim$ one gravitational wavelength) is approximated in a slow-motion 

34: expansion using standard techniques; the ``outer'' part, extending over the

35: radiation zone, is evaluated using a null integration variable.  

36: We show generally and explicitly that all contributions to the inner

37: integrals that depend on $\cal R$ cancel corresponding terms from the

38: outer integrals, and that the outer integrals converge at infinity,

39: subject only to reasonable assumptions about the past behavior of the source.

40: The method cures defects that plagued previous ``brute-force'' slow-motion

41: approaches to motion and  gravitational radiation for isolated systems.

42: We detail the procedure for iterating the solutions in a weak-field,

43: slow-motion approximation, and derive expressions for the

44: near-zone field through 3.5 post-Newtonian order in terms 

45: of Poisson-like potentials.

46: \end{abstract}

47: \pacs{04.30.-w, 04.25.Nx}

48: %\pacs{}

49: %]

50: %\narrowtext

51: \section{INTRODUCTION}

52: \label{sec:intro}

53: 

54: The motion of multiple, isolated bodies under their 

55: mutual gravitational attraction

56: and the resulting emission of gravitational radiation 

57: is a  long-standing problem

58: that dates back to the first years following the publication of

59: general relativity (GR).  It has at times been controversial (for a

60: thorough review see \cite{damour300}).

61: In 1916 Einstein calculated the gravitational

62: radiation emitted by a laboratory-scale object using the linearized

63: version of GR \cite{AE}.  Some of his assumptions were questionable and

64: his answer for the energy flux was off by a factor of two (an error

65: pointed out by Eddington \cite{eddington}).  In 1916, de Sitter

66: \cite{desitter} derived N-body equations of motion in what later would

67: be termed the post-Newtonian (PN) approximation.  

68: However, his equations contained an error that was

69: discovered in the course of a disputed claim by Levi Civita

70: \cite{levicivita} 

71: that the center of mass of a binary star

72: system would suffer a ``self-acceleration''.  Eddington and Clark

73: \cite{eddingtonclark}

74: corrected the error, and found no self-acceleration.

75: Einstein, Infeld and Hoffman \cite{EIH} 

76: attempted to demonstrate explicitly that

77: the Einstein equations alone imply equations of motion, by matching

78: solutions of the vacuum equations, expanded in a weak-field, slow

79: motion approximation, to fields representing the near-zone fields of

80: ``point'' masses, working to first PN order.  

81: The result was the well-known EIH N-body equations

82: of motion.  Other highlights in this early history of the problem of motion

83: include the development of the post-Newtonian approximation for fluid

84: sytems by Fock \cite{fock} and Chandrasekhar

85: \cite{chandra}, its extension by

86: Chandrasekhar and later workers to 2.5PN order 

87: \cite{chandranutku,chandraesposito}, and the development of

88: equations of motion for spinning bodies by Papapetrou and

89: collaborators \cite{papapetrou}.  

90: 

91: Gravitational theory presents one problem essentially identical to

92: that of electromagnetic theory: how to mesh the

93: natural solution of the field equations in the near zone where the bodies

94: reside, which involves slow-motion expansions and instantaneous fields,

95: with the solution in the far zone, which involves retarded fields.  

96: Such a meshing is needed if one is to calculate the effects of

97: gravitational radiation reaction that result from the emission of

98: enegy and angular momentum to infinity.

99: One approach to resolving this problem was that

100: of matched asymptotic expansions.  Although well-rooted in applied

101: mathematics, it was first expounded in 1970 as a powerful technique for

102: electromagnetic and gravitational problems by Burke 

103: \cite{burke}.  Another, related approach is the

104: ``post-Minkowskian'' framework, elaborated and developed most fully by

105: Blanchet and Damour and their collaborators 

106: \cite{bd86,bd88,bd89,di91,bdtail,luc95}.

107: 

108: A second important problem of gravitation, which distinguishes it from

109: electromagnetism, is the non-linearity of Einstein's equations.

110: Gravitation itself acts as a source of gravitation.  Consequently

111: this source

112: extends over all space, resulting in the

113: possibility of divergent or ill-defined integrals.

114: In many ways, this has been the most serious difficulty to overcome.

115: Techniques for resolving it have ranged from sweeping the difficulties

116: under the rug, to the sophisticated analytic regularization methods of the

117: post-Minkowskian program.  A central thrust of this paper is to

118: present a straightforward method for resolving this difficulty.

119: 

120: A third ``problem'', which is less a problem for gravitation than it

121: is for

122: electromagnetism, is that of ``point'' sources.  In electromagnetic

123: theory, where there is a belief that fundamental charges like the

124: electron are point-like, the singular nature of the fields at the

125: source has led to problems of mass regularization, especially in deriving

126: equations of electromagnetic radiation reaction; it also raises issues

127: of the boundary between classical and quantum electrodynamics.  In

128: gravitation theory, this is less of an issue of principle, because the

129: primary interest is in the motion of and radiation by astrophysical

130: systems, whose members are clearly not point masses.  Instead, the use

131: of ``point'', i.e. delta-function sources is meant as an efficient

132: means of approximating the mass distribution of bodies that are

133: nearly spherical and that are small compared to the typical

134: separation between them, so that tidal effects, which depend on the

135: finite size of the bodies, can be ignored.  Here the issue is how to

136: make use of a point mass approximation (which simplifies many

137: calculations) in a way that captures all the physics without

138: introducing spurious effects.

139: 

140: A fourth problem is of a technical nature: in electromagnetic theory,

141: radiation damping in the equations of motion occurs at order $(v/c)^3$

142: beyond the simple Coulomb forces between charges, and is relatively

143: easy to compute in a systematic approximation method, modulo the other

144: problems listed above.  By contrast, gravitational radiation damping

145: occurs at order $(v/c)^5$ beyond Newtonian gravity, and requires a

146: higher order of approximation that captures all relevant

147: contributions.  Over the years, numerous inequivalent

148: results have been quoted for the leading gravitational radiation

149: reaction effects.   One finds published papers in which the 

150: coefficient in the relevant formula has ranged from 

151: $-21/16$ 

152: to the correct coefficient of unity); a study by Walker and Will \cite{cranks}

153: showed that the divergent results were all the

154: simple consequence of missing one or more terms that contribute to the final

155: answer.

156: 

157: These four ``problems'' were the origin of the so-called ``quadrupole

158: controversy'', which arose from a critique by Ehlers and colleagues 

159: \cite{ehlers} of

160: the foundations of the quadrupole formula for the leading-order gravitational

161: radiation energy flux and orbital damping.  This critique had the

162: beneficial effect of spurring new research on those foundations, including

163: a study of the systematic structure of the approximation sequence of

164: Einstein's equations in a slow-motion, weak-field approach; analysis

165: of energy balance as an argument for connecting the far-zone energy

166: flux to the near-zone damping forces, and elaboration of the

167: post-Minkowskian approach, among others (see \cite{damour300} for a

168: review).  The work inspired by the Ehlers critique served to confirm

169: the quadrupole formula and to strengthen its foundations.  The

170: ultimate test, of course, came in 1979 with the announcement of the

171: measurement of orbital damping of the binary pulsar PSR 1913+16 in

172: agreement with the quadrupole formula \cite{taylor79}; 

173: current results agree to better

174: than 0.5 percent \cite{taylor94}.

175: 

176: The problem of motion and radiation has received renewed interest

177: since 1990, with the proposal for large-scale laser interferometric

178: gravitational-wave observatories, such as the LIGO project in the US, 

179: and the realization that a leading

180: candidate source of detectable waves would be the radiation-reaction

181: driven inspiral of a binary system of compact objects (neutron stars

182: or black holes) \cite{snowmass}.  Furthermore, it was noted \cite{3min} that the leading method

183: for data analysis of signals from such systems, optimal matched

184: filtering, would require theoretical template waveforms that are

185: accurate (primarily in the evolution of the orbital frequency or

186: phase) well beyond the leading-order prediction of the

187: quadrupole formula, possibly as high as corrections of order

188: $(v/c)^6$.  

189:  

190: This presented a major theoretical challenge: to calculate the motion

191: and radiation to very high PN order, a formidable algebraic task,

192: while addressing each of the problems listed above sufficiently well

193: to ensure that the results were physically meaningful.  This challenge

194: was taken up by three groups of workers.

195: 

196: One group, headed by Blanchet, Damour and Iyer 

197: \cite{bd86,bd88,bd89,di91,bdtail,luc95}, used the

198: post-Minkowskian (PM) approach to derive the gravitational waveform,

199: equations of motion 

200: and energy flux

201: explicitly to 2PN order ($O(v/c)^4$) and beyond.

202: The idea is to solve

203: the vacuum Einstein equations 

204: in the radiation zone

205: in an expansion 

206: in powers of Newton's constant $G$, and to express the

207: asymptotic solutions in terms of a set of formal, time-dependent,

208: symmetric and trace-free (STF) multipole moments \cite{thorne80}.

209: Then, in a near

210: zone within one characteristic wavelength of the radiation, the

211: equations including the material

212: source are solved in a slow-motion approximation (expansion in powers

213: of $1/c$) 

214: that yields both equations of motion for the source bodies, as well

215: as a set of STF source multipole moments expressed as

216: integrals over

217: the ``effective'' source, including both matter and

218: gravitational field contributions.

219: The solutions involving the

220: two sets of moments are then matched in an intermediate overlap zone,

221: resulting

222: in a connection between the formal radiative moments and the source

223: moments.

224: The matching also provides a natural way, using analytic continuation,

225: to regularize integrals involving the non-compact contributions of

226: gravitational stress-energy, that might otherwise be divergent.

227: 

228: The second group of Will, Wiseman and Pati use the approach described

229: in the present paper, Direct Integration of the Relaxed Einstein

230: Equations (DIRE), which builds upon earlier work by Epstein, Wagoner,

231: Will and Wiseman \cite{ew,wagwill,magnum,christo,agwtail,opus}.  

232: Like the PM approach,

233: it involves rewriting the Einstein

234: equations in their ``relaxed'' form, namely as an inhomogeneous,

235: flat-spacetime wave equation for a field $h^{\alpha\beta}$, whose

236: source consists of both the material stress-energy, and a

237: ``gravitational stress-energy'' made up of all the terms non-linear in

238: $h^{\alpha\beta}$.  The wave equation is accompanied by a harmonic or

239: deDonder gauge condition

240: on $h^{\alpha\beta}$, which serves to specify a coordinate system, and

241: also imposes equations of motion on the sources.  Unlike the 

242: post-Minkowskian

243: approach, a {\it single} formal solution is written down, valid

244: everywhere

245: in spacetime.  This formal solution,

246: based on the flat-spacetime retarded Green function, is a retarded

247: integral

248: equation for $h^{\alpha\beta}$, which is then iterated in a

249: slow-motion ($v/c<1$), weak-field ($||h^{\alpha\beta}|| <1$ )

250: approximation, that is very similar to the corresponding procedure in

251: electromagnetism.  However, because the integrand of this retarded

252: integral

253: is not compact by virtue of the non-linear field contributions, one

254: quickly runs up against integrals that are not

255: well defined, or worse, are divergent.  Although at the lowest

256: quadrupole and first PN order, various arguments were given to

257: justify sweeping such problems under the rug \cite{ew,wagwill}, they 

258: were not very

259: rigorous, and provided no guarantee that the divergences would not become

260: insurmountable at higher PN orders.  Indeed it is straightforward to

261: demonstrate that at second post-Newtonian (2PN) order, the rug is

262: indeed pulled out from under such arguments.  

263: 

264: DIRE resolves these problems.  The solution of the relaxed Einstein

265: equation is a retarded

266: integral,

267: over the past null cone of the

268: field

269: point.  The part of the integral that extends over

270: the intersection between the past null cone and

271: the material source and the near zone

272: is approximated by a slow-motion expansion

273: involving spatial integrals of moments of the source, including the

274: non-compact gravitational contributions, just as in the 

275: post-Minkowskian and Epstein-Wagoner frameworks.

276: But instead of extending the

277: spatial integrals to infinity as was implicit in earlier

278: procedures, we terminate the integrals at

279: the boundary of the near zone, chosen to be at a radius $\cal R$ given

280: roughly by one wavelength of the gravitational radiation.

281: For the

282: integral over the rest of the past null cone

283: exterior to the near zone (``radiation zone''), 

284: we use a change of integration variables

285: to convert

286: the integral into a convenient, easy-to-calculate form, that is

287: manifestly convergent, subject only to reasonable assumptions about

288: the past behavior of the source, that fully accounts for the

289: retardation of the fields comprising the source stress-energy, and

290: that does not involve an explicit slow-motion expansion.

291: This transformation was

292: suggested by our earlier work on a non-linear gravitational-wave

293: phenomenon called the Christodoulou memory \cite{christo} (it is also

294: implicit in Appendix D of \cite{bd86}).

295: Not only are all integrations now

296: explicitly finite and convergent, we can show explicitly that all

297: contributions from the near-zone spatial integrals that depend upon

298: the radius

299: $\cal R$ are actually {\it cancelled} by corresponding terms from the

300: radiation-zone integrals, for all powers of $\cal R$ (including $\ln

301: {\cal R}$), and for any order in the PN expansion.  

302: Thus the procedure, as expected, has no

303: dependence on the arbitrarily chosen boundary radius $\cal R$

304: of the near-zone, and provides a simple practical method for

305: regularizing integrals over non-compact sources.  

306: 

307: The ultimate products of this work will consist of equations of

308: motion, gravitational waveforms, and energy flux expressions, in reasonably

309: ready-to-use forms.  The equations of motion for a binary system

310: will have the schematic

311: form 

312: \begin{equation}

313: d^2 {\bf x}/dt^2 = -(Gm{\bf x}/r^3)

314: [1+O(\epsilon)+O({\epsilon}^2)

315: +O({\epsilon}^{5/2})+O({\epsilon}^3)+O({\epsilon}^{7/2})

316:  + \dots ]\,,

317: \label{1-1}

318: \end{equation}

319: where $m$ is the total mass of the binary system,

320: ${\bf x} ={\bf x}_1 -{\bf x}_2$ is the separation vector and $r=|{\bf

321: x}|$.

322: The expansion parameter $\epsilon$ is related to the orbital variables

323: by $\epsilon \sim Gm/rc^2 \sim (v/c)^2$, where $v$ is the relative velocity.

324: The leading term is

325: Newtonian gravity.

326: The next term $O(\epsilon)$ is the first

327: post-Newtonian correction, which

328: gives rise to

329: such effects as the advance of the periastron.

330: The terms of $O(\epsilon^2)$ and $O(\epsilon^3)$

331: are non-dissipative 2PN and 3PN corrections.  The $O(\epsilon^{5/2})$ and

332: $O(\epsilon^{7/2})$ terms are the leading 2.5PN and post-Newtonian

333: corrected 3.5PN gravitational radiation-reaction terms.

334: (We do not include in this discussion contributions from spin, whose

335: ordering in the PN hierarchy for compact bodies follows a special

336: convention.) Explicit formulae for terms through various orders have been

337: calculated by

338: various authors: non-radiative terms through 2PN order

339: \cite{damour300,DD81,Damour82,GK86,bfp98}, 

340: radiation reaction terms at 2.5PN and

341: 3.5PN order \cite{iyerwill,iyerwill2,blanchet97},

342: and non-radiatve 3PN terms 

343: \cite{jaraschaefer98,jaranowski,blanchetfaye1,blanchetfaye2}

344: 

345: In order to derive equations of motion to the 3.5PN order shown, one must

346: derive the near-zone metric $g_{\alpha\beta}$ as a function of spacetime and a

347: functional of the source variables to 3.5PN order, which implies 

348: the following specific PN orders:

349: $g_{00}$ through $O(\epsilon^{9/2})$, 

350: $g_{0i}$ through $O(\epsilon^{4})$, 

351: $g_{ij}$ through $O(\epsilon^{7/2})$. 

352: In this paper we provide the required expressions in the form of

353: (a) Poisson-like integrals of source densities, $\int_{\cal M} 

354: f(t,{\bf x}^\prime )

355: |{\bf x}-{\bf x}^\prime|^p d^3x^\prime $, where 

356: $f(t,{\bf x}^\prime)$ could be proportional to source stress-energy

357: densities, and thus have compact support, or could be a function of

358: other potentials, and thus extend over the entire near-zone region of

359: integration $\cal M$; and (b) expressions involving time derivatives

360: of

361: source multipole

362: moments $M^{ijk \dots}$ contracted with spatial vectors $x^ix^jx^k

363: \dots$.  These expressions can be

364: simplified, iterated, and evaluated more explicitly, depending on the

365: application envisioned (``point'' mass binary system, spinning masses,

366: perfect fluid distributions, {\it etc.}).

367: 

368: The second product will be expressions for the gravitational waveform,

369: given schematically by

370: \begin{equation}

371: h^{ij} = {{G\mu} \over Rc^4}

372: \left\{ v^2 [ 1 + O(\epsilon^{1/2}) + O(\epsilon)

373: + O(\epsilon^{3/2}) + O(\epsilon^2) 

374: + O(\epsilon^{5/2}) + O(\epsilon^3) 

375: \dots ] \right\} _{TT} \,,

376: \end{equation}

377: where $\mu$ is the reduced mass, and

378: the subscript TT  denotes the ``transverse-traceless'' part.

379: The leading contribution $G\mu v^2/ Rc^4 \sim G {\ddot I}^{ij} /Rc^4$

380: is the standard quadrupole formula.  Explicit formulae for all terms

381: through 2.5PN order have been derived by various authors 

382: \cite{wagwill,magnum,opus,poissontail,bdi2pn,bdiww,blanchet96,blanchet98}.

383: 

384: From the waveform, one can also derive expressions for fluxes of

385: energy, angular momentum and linear momentum; the energy flux can be

386: written in the schematic form

387: \begin{eqnarray}

388: dE/dt = (dE/dt)_Q

389: [1+O(\epsilon)+O({\epsilon}^{3/2})+O({\epsilon}^2)

390:  +O({\epsilon}^{5/2})+O({\epsilon}^3)+ \dots ]\,,

391: \label{1-3}

392: \end{eqnarray}

393: %label{1-3}

394: where $(dE/dt)_Q$ denotes the lowest-order quadrupole contribution,

395: 

396: A third approach focusses on the limit in which one body is much less

397: massive than the other, and employs black-hole perturbation theory to

398: derive the gravitational waveform and energy flux, for particles

399: orbiting both rotating and non-rotating holes.  This method yields

400: both numerically accurate results as well as analytic PN expansions

401: up to orders as high as $(v/c)^{11}$

402: \cite{poissontail,ps95,cfps93,sasaki94,tagoshi94,msstt97}.  Work is currently

403: in progress to extend these methods beyond the test-mass

404: approximation, in an effort to compute corrections to first order

405: in $\mu/M$, the ratio of the mass of the particle to that of the

406: black hole \cite{wald,mino,wiseman98}.

407: 

408: This is the first in a series of papers that will treat the problem of

409: motion and gravitational radiation systematically using the DIRE

410: approach.  This paper lays out the foundations of the method, and

411: derives formal solutions to the near-zone fields through 3.5PN order

412: (order $(v/c)^7$ beyond Newtonian gravity), in a form useful for

413: future applications.  Subsequent papers in the  series will derive the

414: explicit equations of motion and near-zone gravitational fields for binary

415: systems of compact object through 2PN order, and deal with radiation reaction 

416: at 2.5PN and 3.5PN order.

417: 

418: Our conventions and notation generally follow those of

419: \cite{MTW,thorne80}.  Henceforth

420: we use units in which $G = c = 1 $.

421: Greek indices run over four spacetime values 0, 1, 2, 3, while

422: Latin indices run over three spatial values 1, 2, 3;

423: commas denote partial derivatives with

424: respect to a chosen coordinate system, while semicolons denote

425: covariant derivatives;

426: repeated indices are summed over;

427: $\eta^{ \mu \nu } = \eta_{ \mu \nu } = {\rm diag}(-1,1,1,1)$;

428: $g \equiv \det(  g_{ \mu \nu } )$;

429: $a^{(ij)} \equiv ( a^{ij} + a^{ji} )/2$;

430: $a^{[ij]} \equiv ( a^{ij} - a^{ji} )/2$;

431: $\epsilon^{ijk}$ is the totally antisymmetric Levi-Civita symbol

432: $( \epsilon^{123} = + 1)$.  We use a multi-index notation for products

433: of vector components and partial derivatives, and for multiple spatial

434: indices: 

435: $x^{ij \dots k} \equiv x^ix^j \dots x^k$, 

436: $\partial_{ij \dots k} \equiv \partial_i\partial_j \dots \partial_k$, with a

437: capital letter superscript denoting an abstract product of that dimensionality:

438: $x^Q \equiv x^{ i_1 } x^{ i_2 } ... x^{ i_q } $ and 

439: $\partial_Q \equiv \partial_{ i_1 } \partial_{ i_2 } ... \partial_{ i_q } $. 

440: Also,  for a tensor of rank $Q$, $f^Q \equiv f^{i_1 i_2 \dots i_q}$.

441: Angular brackets

442: around indices denote symmetric, trace-free (STF) combinations 

443: (see Appendix \ref{STF} for definitions).

444: Spatial indices are freely raised and lowered with

445: $\delta^{ij}$ and $\delta_{ij}$.

446: 

447: \section{Foundations of DIRE}

448: \label{sec:foundations}

449: \subsection{The relaxed Einstein equations}

450: 

451: We begin by reviewing the method for recasting the  

452: Einstein Equations

453: \begin{eqnarray}

454: R^{\alpha \beta} - {1 \over 2} g^{\alpha \beta} R = 8 \pi T^{\alpha \beta} \; ,

455: \label{einstein}

456: \end{eqnarray}

457: %label{einstein}

458: into their ``relaxed'' form.

459: Here $R^{\alpha \beta}$ and $R$ are the Ricci tensor and scalar,

460: respectively,

461: $g^{\alpha \beta}$ is the spacetime metric and $T^{\alpha \beta}$ 

462: is the stress-energy tensor of the matter.

463: We define the potential

464: \begin{eqnarray}

465: h^{\alpha \beta} \equiv \eta^{\alpha \beta} - (-g)^{1/2} g^{\alpha \beta} \; ,

466: \label{hdefinition}

467: \end{eqnarray}

468: %label{hdefinition}

469: (see {\it e.g.} \cite{thorne80})

470: and choose a particular coordinate system defined by the deDonder

471: or harmonic gauge condition

472: \begin{eqnarray}

473: h^{\alpha \beta},_{\beta} = 0 \; .

474: \label{harmonic}

475: \end{eqnarray}

476: %label{harmonic}

477: With these definitions 

478: the Einstein equations (\ref{einstein}) take the 

479: form

480: \begin{eqnarray}

481: \Box h^{ \alpha \beta } = -16 \pi {\tau}^{ \alpha \beta } \; ,

482: \label{relaxed}

483: \end{eqnarray}

484: %label{relaxed}

485: where $\Box \equiv  -{\partial}^2 / \partial t^2 + {\nabla}^2 $

486: is the flat-spacetime wave operator.

487: The source on the right-hand side is given by the ``effective''

488: stress-energy pseudotensor

489: \begin{eqnarray}

490: \tau^{\alpha\beta} = (-g)T^{\alpha\beta} + (16\pi)^{-1}

491: \Lambda^{\alpha\beta} \;,

492: \label{effective}

493: \end{eqnarray}

494: %label{effective}

495: where $\Lambda^{\alpha\beta}$ is the non-linear ``field'' contribution

496: given by

497: \begin{equation}

498: \Lambda^{\alpha \beta}

499:    = 16\pi (-g) t_{LL}^{\alpha \beta } 

500:    +  ( h^{\alpha \mu},_{\nu} h^{\beta \nu},_{\mu}

501:                   - h^{\alpha \beta},_{\mu \nu} h^{\mu \nu} ) \; ,

502: \label{nonlinear}

503: \end{equation}

504: %label{nonlinear}

505: and $ t_{LL}^{\alpha \beta }$ is the ``Landau-Lifshitz''

506: pseudotensor, given by

507: \begin{eqnarray}

508:  16 \pi (-g)t_{LL}^{\alpha \beta } &\equiv&  

509:  g_{\lambda\mu}g^{\nu\rho}{h^{\alpha\lambda}}_{,\nu}{h^{\beta\mu}}_{,\rho} 

510: +{1 \over 2} 

511:  g_{\lambda\mu}g^{\alpha\beta}{h^{\lambda\nu}}_{,\rho}{h^{\rho\mu}}_{,\nu} 

512: - 2g_{\mu\nu}g^{\lambda (\alpha}{h^{\beta )\nu}}_{,\rho}{h^{\rho\mu}}

513: _{,\lambda} 

514: \nonumber \\

515: &&+ {1 \over 8}

516: (2g^{\alpha\lambda}g^{\beta\mu}-g^{\alpha\beta}g^{\lambda\mu})

517: (2g_{\nu\rho}g_{\sigma\tau}-g_{\rho\sigma}g_{\nu\tau})

518: {h^{\nu\tau}}_{,\lambda}{h^{\rho\sigma}}_{,\mu}  \;.

519: \label{landau}

520: \end{eqnarray}

521: %label{landau}

522: By virtue of the gauge condition

523: (\ref{harmonic}), this source term

524: satisfies the conservation law

525: \begin{equation}

526: {{\tau}^{\alpha \beta}}_{, \beta} = 0 \; ,

527: \label{conservation}

528: \end{equation}

529: %label{conservation}

530: which is equivalent to the equation of motion of the matter

531: \begin{equation}

532: {T^{\alpha\beta}}_{;\beta}=0.  

533: \label{covariantmotion}

534: \end{equation}

535: %label{covariantmotion}

536: 

537: Equation (\ref{relaxed}) 

538: is exact, and relies only on the assumption that spacetime can be

539: covered by harmonic coordinates.  It is called ``relaxed'' because it

540: can be solved formally as a functional of source variables without

541: specifying the motion of the source.  Then, the harmonic gauge

542: condition, Eq. (\ref{harmonic}) or the equations of motion, Eq.

543: (\ref{covariantmotion}) are imposed to determine the metric as a

544: function of spacetime.

545: 

546: Notice that the ``source'' in Eq. (\ref{relaxed}) contains a

547: gravitational part that depends explicitly on

548: $h^{\alpha \beta}$, the very quantity for which we are trying to solve.

549: Also,

550: we can expect $\tau^{\alpha \beta}$,

551: which depends on the fields $h^{\alpha \beta}$, to have infinite

552: spatial extent.  Indeed the very outgoing radiation that we

553: hope to calculate, will, at some level of approximation, serve as

554: a contribution to the source, thus generating

555: an additional component of the radiation.

556: 

557: Another complication in Eq. (\ref{relaxed}) is that

558: the second derivative term $h^{\alpha \beta},_{\mu \nu} h^{\mu \nu}$

559: in the source really ``belongs'' on the left-hand side with the other

560: second derivative terms in the wave operator.

561: This term modifies the propagation

562: characteristics of the field from the flat-spacetime characteristics

563: represented by the d'Alembertian operator to those of the true null

564: cones of the curved spacetime around the source, which deviate from

565: the flat null cones of the harmonic coordinates.

566: Nevertheless, 

567: the DIRE technique automatically recovers the leading

568: manifestations of this effect, commonly known as ``tails''.

569: 

570: The material will be modeled as perfect fluid, having

571: stress-energy tensor

572: \begin{eqnarray}

573: T^{\alpha\beta} \equiv (\rho +p)u^\alpha u^\beta +pg^{\alpha\beta}

574: \;,

575: \label{fluid}

576: \end{eqnarray}

577: %label{fluid}

578: where $\rho$ and $p$ are the locally measured energy density and

579: pressure, respectively, and $u^\alpha$ is the four-velocity of an

580: element of fluid.  Until we begin to apply our results to specific

581: physical situations, such as compact binary stars, we will have no

582: need to specialize $T^{\alpha\beta}$ further.  

583: 

584: \subsection{Near-zone and radiation-zone}

585: 

586: We consider the material source to consist of a bound system of characteristic

587: size ${\cal S}$, with a suitably defined center of mass 

588: chosen to be at the origin of

589: coordinates, ${\bf X}=0$.  The {\it source zone} then consists of

590: the world tube ${\cal T} =\{ x^\alpha | r<{\cal S}, -\infty <t<\infty \}$.

591: Outside ${\cal T}$, $T^{\alpha\beta}=0$.

592: 

593: The fluid is assumed to move with characteristic velocity $v \ll 1$.  The

594: characteristic reduced wavelength  of gravitational radiation,

595: ${\lambda\!\!\!{\scriptscriptstyle{{}^{-}}}} = \lambda /2\pi \sim

596: {\cal S} /v \equiv {\cal R}$ 

597: serves to define the boundary of the {\it near zone},

598: defined to be the world tube  ${\cal D} =\{x^\alpha | r<{\cal R}, -\infty

599: <t<\infty$ \}.  Within the near zone, the gravitational fields can be

600: treated as almost instantaneous functions of the source variables, {\it

601: i.e.}

602: retardation can be ignored or treated as a small perturbation of

603: instantaneous solutions.  For physical situations of interest, 

604: up to the point where 

605: the

606: post-Newtonian approximation breaks down, ${\cal R} \gg {\cal S}$.

607: The region exterior to the near zone is the {\it radiation zone}, $r >

608: {\cal R}$.  

609: 

610: The formal ``solution'' to Eq. (\ref{relaxed}) with an outgoing wave boundary

611: condition can be written down

612: in terms of the retarded, flat-space Green function:

613: \begin{eqnarray}

614: h^{\alpha \beta} (t,{\bf x}) = && 4 \int

615: { \tau^{\alpha \beta} (t^\prime, {\bf x^\prime} )

616:   \delta( t^\prime - t + | {\bf x} - {\bf x^\prime} | )

617: \over | {\bf x} - {\bf x^\prime} | } d^4x^\prime \;,

618: \label{bigintegral}

619: \end{eqnarray}

620: %label{bigintegral}

621: but is really just a conversion of the differential

622: equation (\ref{relaxed}) to an integral equation.

623: It represents an integration of $\tau^{\alpha \beta}/|

624: {\bf x} - {\bf x^\prime} |$ over the past harmonic null cone $\cal C$

625: emanating from the field point $(t,{\bf x})$

626: (see Figs. 1 and 2).  This past null cone intersects the world tube $\cal D$

627: enclosing

628: the near zone at the three-dimensional hypersurface $\cal N$.

629: Thus the integral of Eq. (\ref{bigintegral}) consists of two pieces,

630: an integration over the hypersurface $\cal N$, and an integration

631: over the rest of the past null cone ${\cal C} - {\cal N}$.  Each of

632: these integrations will be treated differently.  We will also treat

633: differently the two cases in which (a) the field point is

634: outside the near zone, and (b) the field point is within

635: the near zone (Fig. \ref{direfig1}).  The former case will be relevant for

636: calculating the gravitational-wave signal, while the latter will be

637: important for calculating field contributions to $\tau^{\alpha\beta}$

638: that must be integrated over the near zone, as well as for calculating

639: fields that enter the equations of motion for the source.

640: 

641: \begin{figure}

642: \begin{center}

643: \leavevmode

644: \psfig{figure=direfig1bw.ps,height=3.0in}

645: \end{center}

646: \caption{Past harmonic null cone $\cal C$ of the field point

647: intersects the near zone $\cal D$ in the hypersurface $\cal N$.  Top:

648: field point in the far zone; Bottom: field point in the near zone.

649: Inner integrals are over the hypersurface $\cal N$, and outer

650: integrals are over the remainder ${\cal C} - {\cal N}$ of the null

651: cone.

652: }

653: \label{direfig1}

654: \end{figure}

655: 

656: \subsection{Radiation-zone field point, inner integration }

657: \label{sec: farnear}

658: 

659: For a field point in the  radiation zone, and integration over the

660: near zone (inner integral), we 

661: first carry out the $t^\prime$ integration in Eq.

662: (\ref{bigintegral}), to obtain

663: \begin{eqnarray}

664: h_{\cal N}^{\alpha \beta} (t,{\bf x}) = && 4 \int_{\cal N} 

665: { \tau^{\alpha \beta} (t -| {\bf x} - {\bf x^\prime} |, {\bf x^\prime} )

666: \over | {\bf x} - {\bf x^\prime} | } d^3x^\prime \;.

667: \label{nearintegral}

668: \end{eqnarray}

669: %label{nearintegral}

670: Within the near zone, the spatial integration variable ${\bf

671: x^\prime}$ satisfies $|{\bf x^\prime}| \le {\cal R} < r$, where the

672: distance to the field point $r=

673: |{\bf x}|$.

674: Expanding the $x^\prime$-dependence in both occurrences of $| {\bf x}

675: - {\bf x^\prime} |$ in the integrand

676: in powers of ${ |{\bf x^\prime }|/ r}$,  it is straightforward to show

677: that

678: \begin{eqnarray}

679: h_{\cal N}^{\alpha \beta} (t,{\bf x}) = &&4 \sum_{q=0}^\infty

680: {{(-1)^q} \over {q!}} \partial_Q \left ( {1 \over r} M^{\alpha\beta Q} 

681: (u) \right ) \;,

682: \label{genexpand}

683: \end{eqnarray}

684: %label{genexpand}

685: where

686: \begin{eqnarray}

687: M^{\alpha\beta Q} (u) \equiv \int_{\cal M} \tau^{\alpha\beta} (u,{\bf x^\prime})

688: {x^\prime}^{Q} d^3 x^\prime \;.

689: \label{genmoment}

690: \end{eqnarray}

691: %label{genmoment}

692: In Eqs. (\ref{genexpand}) and (\ref{genmoment}), the index $Q$ is a

693: multi-index, such that $\partial_Q \equiv

694: \partial_{i_1}\partial_{i_2} \dots \partial_{i_q}$ and the superscript

695: $Q$ in $M^{\alpha\beta Q}$ denotes $i_1 i_2 \dots i_q$, with summation

696: over repeated indices assumed.

697: The integrations in Eq. (\ref{genmoment}) are 

698: now over the hypersurface $\cal M$, which is the

699: intersection of the near-zone world-tube with the constant-time

700: hypersurface $t_{\cal M}=u=t-r$.

701: Roughly speaking, each term in the Taylor series is smaller than its

702: predecessor by a factor of order $v \ll 1$, provided we restrict

703: attention to slow-motion sources. 

704: 

705: Note that the field and source

706: variables appearing in the integrand $\tau^{\alpha\beta}$ are

707: evaluated at the single retarded time $u$; however,

708: because the field contributions to $\tau^{\alpha\beta}$ fall off as

709: some power of $r$, one can expect to encounter 

710: integrals that depend on positive powers of the radius

711: $\cal R$ of the boundary of integration, especially in some of the

712: higher-order moments.  If this boundary were to be

713: formally taken to $\infty$ (as has been the conventional approach in

714: the past), 

715: these integrals

716: would diverge.  Instead we shall demonstrate (Sec. \ref{cancel} and

717: Appendix \ref{cancellation}) that 

718: such $\cal R$-dependent

719: effects are {\it precisely} cancelled by contributions from the ``outer''

720: integral.

721: 

722: For the gravitational-wave signal, we need only to focus

723: on the spatial components of $h^{\alpha\beta}$,

724: and on the leading component in $1/R$, where $R$ is the distance to

725: the detector.  Using the fact that $u_{,i} =

726: -\hat N^i$,

727: where ${\bf \hat N} \equiv {\bf x}/R$ denotes the observation direction,

728: we obtain

729: \begin{eqnarray}

730: h_{\cal N}^{ij}(t, {\bf x}) = {4 \over R} \sum_{m=0}^\infty {1 \over

731: {m!}}

732: {\partial^m \over {\partial t^m}} \int_{\cal M}

733: \tau^{ij} (u , {\bf x^\prime} ) ({\bf \hat N \cdot x^\prime}

734: )^m d^3x^\prime + O(R^{-2})  \;.

735: \label{series}

736: \end{eqnarray}

737: %label{series}

738: 

739: \subsection{Radiation-zone field point, outer integration}

740: \label{sec: farfar}

741: 

742: By making a change of integration variable from $(r^\prime \,,

743: \theta^\prime\,, \phi^\prime)$ to $(u^\prime \,,

744: \theta^\prime\,, \phi^\prime)$, where

745: \begin{equation}

746: t-u^\prime =r^\prime + | {\bf x} -

747: {\bf x^\prime} | \,,

748: \label{uprime}

749: \end{equation}

750: %label{uprime}

751: we can write

752: the integral over the rest of the past null cone ${\cal C} - {\cal N}$

753: in the form

754: \begin{eqnarray}

755: h_{{\cal C}-{\cal N}}^{\alpha\beta} (t,{\bf x}) = 

756: 4 \int_{-\infty}^u du^\prime \oint_{{\cal C}-{\cal N}} 

757: { {\tau^{\alpha\beta} (u^\prime +r^\prime, {\bf x^\prime} )} 

758: \over {t-u^\prime- {\bf \hat n^\prime \cdot x} } } 

759: [r^\prime (u^\prime, \Omega^\prime)]^2  d^2 \Omega^\prime  \;,

760: \label{hrest}

761: \end{eqnarray}

762: %label{hrest}

763: where, from Eq. (\ref{uprime})

764: \begin{eqnarray}

765: r^\prime (u^\prime, \Omega^\prime ) = [(t-u^\prime )^2

766: -r^2]/[2(t-u^\prime- {\bf \hat n^\prime \cdot x})] \;.

767: \label{rprime}

768: \end{eqnarray}

769: %label{rprime}

770: This change of variables represents an

771: integration first over the two-dimensional

772: intersection of the past null cone $\cal C$ with

773: the future null cone $t^\prime=u^\prime +r^\prime$ emanating from the

774: center of mass of the system at $t_{\rm CM}=u^\prime$ (Fig. \ref{direfig2}),

775: followed by the  $u^\prime$-integration

776: over all such future-directed cones, starting from the

777: infinite past, and terminating in

778: the cone emanating from the center of mass at time $u$, which is tangent to

779: the past null cone of the observation point.

780: 

781: For explicit calculations, it is useful to choose the

782: field point $\bf x$ to be in the z-direction, so that ${\bf \hat

783: n^\prime \cdot

784: x}=r \cos \theta^\prime$, and to write the outer integral in the form

785: \begin{eqnarray}

786: h_{{\cal C}-{\cal N}}^{\alpha\beta} (t,{\bf x}) &=& 

787: 4 \int_{u-2{\cal R}}^u du^\prime \int_0^{2\pi} d\phi^\prime

788: \int_{1-\alpha}^1

789: { {\tau^{\alpha\beta} (u^\prime +r^\prime, {\bf x^\prime} )} 

790: \over {t-u^\prime- {\bf \hat n^\prime \cdot x} } } 

791: [r^\prime (u^\prime, \Omega^\prime)]^2  d \cos \theta^\prime

792: \nonumber \\

793: &&+ 4 \int_{-\infty}^{u-2{\cal R}} du^\prime \oint

794: { {\tau^{\alpha\beta} (u^\prime +r^\prime, {\bf x^\prime} )} 

795: \over {t-u^\prime- {\bf \hat n^\prime \cdot x} } } 

796: [r^\prime (u^\prime, \Omega^\prime)]^2  d^2 \Omega^\prime \;,

797: \label{houter}

798: \end{eqnarray}

799: %label{houter}

800: where

801: \begin{eqnarray}

802: \alpha (u^\prime) = (u-u^\prime)(2r-2{\cal R}+u-u^\prime)/2r{\cal R}  \;.

803: \label{alpha}

804: \end{eqnarray}

805: %label{alpha}

806: The incomplete angular integration in the first integral of Eq.

807: (\ref{houter}) reflects the fact that

808: for $u \ge u^\prime \ge u-2{\cal

809: R}$, the two-dimensional intersections meet the boundary of the near

810: zone.  

811: For $u^\prime < u-2{\cal R}$, the angular integration covers the full

812: $4\pi$.  

813: Note that $\tau^{\alpha\beta}$ contains only field contributions evaluated in

814: the radiation zone; because they are themselves retarded, the ``time

815: dependence'' $u^\prime+r^\prime = t - | {\bf x} -

816: {\bf x^\prime} |$ is approximately constant over each angular

817: integration, since it follows the hypersurface $t- | {\bf x}| = u =$

818: constant,

819: and the dominant contribution to the fields comes from $|{\bf

820: x^\prime} | < {\cal R}$.  This allows a kind of slow-motion, multipole

821: expansion to be exploited in evaluating these integrals, despite their

822: range well outside the near zone.

823: 

824: \begin{figure}

825: \begin{center}

826: \leavevmode

827: \psfig{figure=direfig2bw.ps,height=2.5in}

828: \end{center}

829: \caption{Change of variables for the outer integrals.  Vertical line

830: represents the material source world line.  The variable

831: $u^\prime$ is constant on the two-dimensional intersection between the

832: past null cone of the field point and a future null cone from the

833: center of mass of the system.  Left: $u^\prime < u-2{\cal R}$, 

834: the two cones intersect fully outside 

835: the near zone, so

836: the angular integrations are complete.  

837: Middle: $u-2{\cal R} < u^\prime <u$, angular integration terminates where the

838: intersection between the two cones meets the boundary of the near

839: zone.  Right: $u^\prime=u$, the upper limit of

840: integration; the two cones are tangent to one another.  

841: }

842: \label{direfig2}

843: \end{figure}

844: 

845: \subsection{Near-zone field point, inner integration}

846: \label{sec: nearnear}

847: 

848: In this case,

849: in Eq. (\ref{bigintegral}), both $\bf x$ and ${\bf x}^\prime$ are

850: within the near zone, hence $|{\bf x}-{\bf x}^\prime | \le 2{\cal R}$.

851: Consequently, the variation in retarded time can be treated as a small

852: perturbation, since $\tau^{\alpha\beta}$ varies on a time scale $\sim

853: {\cal R}$.  We therefore expand the retardation in powers of $|{\bf

854: x}-{\bf x}^\prime |$, to obtain

855: \begin{eqnarray}

856: h_{\cal N}^{\alpha \beta} (t,{\bf x}) = && 4 \sum_{m=0}^\infty {1

857: \over {m!}} {\partial^m \over {\partial t^m}} \int_{\cal M}

858: \tau^{\alpha \beta} (t,{\bf x}^\prime) 

859:  | {\bf x} - {\bf x^\prime} |^{m-1} d^3 x^\prime \;,

860: \label{nearexpand}

861: \end{eqnarray}

862: %label{nearexpand}

863: where $\cal M$ here denotes the intersection of the hypersurface $t=$

864: constant with the near-zone world-tube.  This version will be used for

865: explicit calculations of the near-zone metric for use in the equations

866: of motion. However an alternative formulation will be useful for

867: studying the $\cal R$-dependence of the inner integrals; substituting the

868: general Taylor expansion $| {\bf x} - {\bf x^\prime} |^{m-1} =

869: \Sigma_{q=0}^\infty (-1)^q (q!)^{-1} {x_<}^Q \partial_{>Q} ({r_>}^{m-1})$, 

870: where $<(>)$ denotes the lesser (greater) of 

871: $|{\bf x}|$ and $|{\bf x}^\prime |$, we

872: obtain

873: \begin{eqnarray}

874: h_{{\cal N}}^{\alpha \beta} (t,{\bf x}) &=& 4 \sum_{m=0}^\infty

875: {{(-1)^m} \over {m!}} {\partial^m \over {\partial t^m}} \sum_{q=0}^\infty

876: {{(-1)^q} \over {q!}} \int_{\cal

877: M} \tau^{\alpha\beta} (t,{\bf x}^\prime) {x_<}^Q {\partial_>}_Q

878: ({r_>}^{m-1}) d^3x^\prime \,.

879: \label{nearnewversion}

880: \end{eqnarray}

881: %label{nearnewversion}

882: 

883: \subsection{Near-zone field point, outer integration}

884: \label{sec: nearfar}

885: 

886: The formulae from Section \ref{sec: farfar}, such as (\ref{rprime}) and

887: (\ref{alpha}), carry over to this case with

888: the result,

889: \begin{eqnarray}

890: h_{{\cal C}-{\cal N}}^{\alpha\beta} (t,{\bf x}) &=&

891: 4 \int_{u-2{\cal R}}^{u-2{\cal R} + 2r} du^\prime \int_0^{2\pi} d\phi^\prime

892: \int_{1-\alpha}^1

893: { {\tau^{\alpha\beta} (u^\prime +r^\prime, {\bf x^\prime} )}

894: \over {t-u^\prime- {\bf \hat n^\prime \cdot x} } }

895: [r^\prime (u^\prime, \Omega^\prime)]^2  d \cos \theta^\prime

896: \nonumber \\

897: &&+ 4 \int_{-\infty}^{u-2{\cal R}} du^\prime \oint

898: { {\tau^{\alpha\beta} (u^\prime +r^\prime, {\bf x^\prime} )}

899: \over {t-u^\prime- {\bf \hat n^\prime \cdot x} } }

900: [r^\prime (u^\prime, \Omega^\prime)]^2  d^2 \Omega^\prime \;.

901: \label{houter2}

902: \end{eqnarray}

903: %label{houter2}

904: Notice that the $u^\prime$ integration ends at $u-2{\cal R}+2r$ rather

905: than $u$ because that corresponds to the last future null cone that

906: intersects points in the far zone.

907: 

908: \subsection{Iteration of the relaxed Einstein equations}

909: 

910: Because the field $h^{\alpha\beta}$ appears in the source of the field

911: equation, the usual method of solution is to iterate:  substitute 

912: $h^{\alpha\beta}=0$ in the right-hand side of Eq. (\ref{bigintegral})

913: and solve for the first-iterated $_1h^{\alpha\beta}$; substitute that

914: into Eq. (\ref{bigintegral}) and solve for 

915: the second-iterated $_2h^{\alpha\beta}$, and so

916: on (imposing the gauge condition Eq. (\ref{harmonic}) consistently at

917: each order).  The general sequence of iterations is shown shematically

918: in Fig. \ref{direfig3}.  

919: The matter variables $m_A$ and the $(N-1)$-iterated field 

920: $_{N-1}h^{\alpha\beta}$ are used to determine $_{N-1}T^{\alpha\beta}$

921: and $_{N-1}\Lambda^{\alpha\beta}$.  Eq. (\ref{bigintegral}) then yields 

922: $_{N}h^{\alpha\beta}$ as a function of spacetime and a functional of

923: the matter variables.  Then, if one wishes to determine the motion of

924: the source, one substitutes $_{N}h^{\alpha\beta}$ into the matter

925: stress-energy tensor, and obtains the equations of motion from

926: $_N\nabla_\beta ({_NT}^{\alpha\beta}) = 0$ where $_N\nabla_\beta$ denotes

927: the covariant derivative using the $N$th iterated field.

928: If one wishes to determine the $N$th iterated 

929: gravitational field as a function of

930: spacetime (i.e. with the matter variables determined as functions of

931: spacetime to a consistent order), then one only needs to solve the

932: equations of motion $_{N-1}\nabla_\beta ({_{N-1}T}^{\alpha\beta}) = 0$,

933: which are equivalent to the $N$-th iterated 

934: gauge condition $_N{h^{\alpha\beta}}_{,\beta} = 0$.

935: 

936: \begin{figure}

937: \begin{center}

938: \leavevmode

939: \psfig{figure=direfig3.ps,height=5.0in}

940: \end{center}

941: \caption{Structure of iteration procedure

942: }

943: \label{direfig3}

944: \end{figure}

945: 

946: \subsection{General structure of the outer integrals}

947: 

948: At the first iteration, the solution is 

949: simply linearized general relativity.  With $_0h^{\alpha\beta}=0$

950: substituted into the right-hand-side of Eq. (\ref{bigintegral}), the outer

951: integrals vanish, and the inner integrals over the special

952: relativistic $T^{\alpha\beta}$ have compact support.  There is no

953: $\cal R$-dependence in the integrals, trivially.  For field points

954: outside the source ($|\bf x| > |{\bf x}^\prime |$), within both the near and 

955: far zones , the first-iterated $_1h^{\alpha\beta}$ takes the form of

956: Eq. (\ref{genexpand}).  Since $M^{\alpha\beta Q}$ is a function only

957: of $u=t-r$, the spatial gradients $\partial_Q$ produce only unit

958: radial vectors ${\hat n}^i$, powers of $r$, and retarded time

959: derivatives of $M^{\alpha\beta Q}$.  Products of ${\hat n}^i$ can be

960: grouped into symmetric trace-free (STF) products ${\hat n}^{<L>}$, which are

961: analogous to $Y_{LM}$ (see Appendix \ref{STF} for useful formulae related to

962: STF products).  Thus, outside the source,  $_1h^{\alpha\beta}$ can be written 

963: as a sequence of terms of the form

964: \begin{equation}

965: {_1h^{\alpha\beta}}_{B,L}(t,{\bf x}) =  f_{B,L} (u) {\hat n}^{<L>} r^{-B}

966: \,.

967: \end{equation}

968: 

969: At the second iteration, in the far zone, $T^{\alpha\beta}=0$, and

970: $_1\Lambda^{\alpha\beta}(u^\prime + r^\prime,{\bf x}^\prime)$ 

971: consists of products of spatial and temporal

972: derivatives of $_1h^{\alpha\beta}(u^\prime + r^\prime,{\bf x}^\prime)$.  

973: It therefore can also be

974: expressed as a sequence of terms of the form 

975: \begin{equation}

976: \Lambda^{\alpha\beta}(u^\prime + r^\prime,{\bf x}^\prime) \sim

977: f_{B,L} (u^\prime) {\hat n}^{\prime <L>} {r^\prime}^{-B} \,.

978: \label{lambdadecomp}

979: \end{equation}

980: %label{lambdadecomp}

981: Whenever the source at a given $(N-1)$ iteration

982: takes this form, it is

983: straightforward to evaluate the general form of the outer integrals

984: for the $N$th iterate.

985: Defining the new variables $\zeta \equiv (t-u^\prime)/r =

986: 1+(u-u^\prime)/r$, $y={\bf \hat n} \cdot {\bf \hat n}^\prime = \cos

987: \theta$, we

988: find, from Eq. (\ref{rprime}), 

989: \begin{equation}

990: r^\prime = r(\zeta^2-1)/2(\zeta -y) \,.

991: \label{rprime1}

992: \end{equation}

993: %label{rprime1}

994: Substituting Eqs. (\ref{lambdadecomp}) and (\ref{rprime1}) 

995: into Eq. (\ref{houter}), and

996: changing to integration variables $\zeta$, $y$ and

997: $\phi$, we obtain

998: \begin{equation}

999: {_Nh^{\alpha\beta}_{{\cal C}-{\cal N}}}_{B,L} = {1 \over 2} \left ( 

1000: {2 \over r} \right )^{B-2} {\hat n}^{<L>} \int_{-1}^1 P_L(y)dy

1001: \int_{\zeta(y)}^\infty {{(\zeta-y)^{B-3}} \over {(\zeta^2-1)^{B-2}}} 

1002: f_{B,L} (u -r(\zeta-1)) d\zeta \,,

1003: \label{outerfar0}

1004: \end{equation}

1005: %label{outerfar0}

1006: where $\zeta(y)=z+\sqrt{z^2-2zy+1}$, $z={\cal R}/r$, and $P_L(y)$

1007: is the Legendre polynomial. 

1008: 

1009: For far-zone field points, $z<1$; Taylor

1010: expanding $f_{B,L} (u -r(\zeta-1))$ about $u$, 

1011: we obtain, for $B>2$,

1012: \begin{equation}

1013: {_Nh^{\alpha\beta}_{{\cal C}-{\cal N}}}_{B,L} =  \left ({2 \over r}

1014: \right ) ^{B-2}

1015: {\hat n}^{<L>} \sum_{q=0}^\infty {\cal D}^q_{B,L} (z) r^q {{d^q

1016: f_{B,L}(u)} \over {du^q}} \,,

1017: \label{outerfar}

1018: \end{equation}

1019: %label{outerfar}

1020: where the coefficients ${\cal D}^q_{B,L} (z)$

1021: are given by 

1022: \begin{equation}

1023: {\cal D}^q_{B,L} (z) = {(-)^q \over q!} \int_1^{1+2z} {{(\zeta -1)^q}

1024: \over {(\zeta^2-1)^{B-2}}} A_{B,L}(\zeta,\alpha) d\zeta

1025: - \sum_{p=0}^q k_{B,L}^{(q-p+1)}(1+2z) {(-2z)^p \over p!} \,,

1026: \label{calD}

1027: \end{equation}

1028: %label{calD}

1029: where

1030: \begin{mathletters}

1031: \label{outerdefinitions}

1032: \begin{eqnarray}

1033: A_{B,L}(\zeta,\alpha) \equiv& {1 \over 2} \int_{1-\alpha}^1 P_L(y)

1034: (\zeta -y)^{B-3} dy \,, \\

1035: \alpha \equiv& (\zeta-1)(\zeta+1-2z)/2z \,, \\

1036: dk_{B,L}^{(m)}(\zeta) / d\zeta \equiv& k_{B,L}^{(m-1)}(\zeta)  \,,\quad m \ge 1

1037: \,; \\

1038: \quad k_{B,L}^{(0)}(\zeta) \equiv& A_{B,L}(\zeta,2) / (\zeta^2-1)^{B-2} \,.

1039: \end{eqnarray}

1040: \end{mathletters}

1041: %label{outerdefinitions}

1042: The case $B=2$ is special,

1043: and leads to the result

1044: \begin{equation} 

1045: {_Nh^{\alpha\beta}_{{\cal C}-{\cal N}}}_{2,L} = {{\hat n}^{<L>} \over

1046: r} \int_0^\infty f_{2,L}(u-s) Q_L \left ( 1+{s \over r} \right

1047: ) ds + {\hat n}^{<L>} \sum_{q=0}^\infty {\cal D}^q_{2,L} (z)

1048: r^q {{d^q

1049: f_{2,L}(u)} \over {du^q}} \,,

1050: \label{outerfar2}

1051: \end{equation}

1052: %label{outerfar2}

1053: where

1054: \begin{equation}

1055: {\cal D}^q_{2,L} (z) = {(-)^{q+1} \over 2q!} \int_1^{1+2z} (\zeta -1)^q

1056: d\zeta \int_{-1}^{1-\alpha} {P_L(y) \over {(\zeta -y)}} dy \,,

1057: \label{calD2}

1058: \end{equation}

1059: %label{calD2}

1060: where $Q_L(y)$ is the Legendre function.

1061:  

1062: Notice that, for $B \ne 2$, the outer integral returns a result of the

1063: same generic form as the input function.  The case $B=2$ returns terms

1064: with a logarithmic dependence on $r$ (via the $Q_L$'s); terms of this

1065: form are called

1066: ``tails''.

1067: 

1068: Similarly, for field points in the near zone, $z>1$, we Taylor expand

1069: $f_{B,L} (u -r(\zeta-1))$ about $u+r=t$, and obtain, for $B>2$,

1070: \begin{equation}

1071: {_Nh^{\alpha\beta}_{{\cal C}-{\cal N}}}_{B,L} =  \left ( {2 \over r}

1072: \right ) ^{B-2}

1073: {\hat n}^{<L>} \sum_{q=0}^\infty {\cal E}^q_{B,L} (z) r^q {{d^q

1074: f_{B,L}(t)} \over {dt^q}} \,,

1075: \label{outernear}

1076: \end{equation}

1077: %label{outernear}

1078: where the coefficients ${\cal E}^q_{B,L} (z)$

1079: are given by

1080: \begin{equation}

1081: {\cal E}^q_{B,L} (z) = {(-)^q \over q!} \int_{2z-1}^{2z+1} {\zeta^q

1082: \over {(\zeta^2-1)^{B-2}}} A_{B,L}(\zeta,\alpha) d\zeta

1083: - \sum_{p=0}^q k_{B,L}^{(q-p+1)}(1+2z) {(-1-2z)^p \over p!} \,,

1084: \label{calE}

1085: \end{equation}

1086: %label{calE}

1087: and, for $B=2$,

1088: \begin{equation} 

1089: {_Nh^{\alpha\beta}_{{\cal C}-{\cal N}}}_{2,L} = {{\hat n}^{<L>} \over

1090: r} \int_0^\infty f_{2,L}(u-s) Q_L \left ( 1+{s \over r}

1091: \right) ds + {\hat n}^{<L>} \sum_{q=0}^\infty {\cal E}^q_{2,L} (z)

1092: r^q {{d^q

1093: f_{2,L}(t)} \over {dt^q}} \,,

1094: \label{outernear2}

1095: \end{equation}

1096: %label{outernear2}

1097: where

1098: \begin{equation}

1099: {\cal E}^q_{2,L} (z) = {(-)^{q+1} \over q!} \left \{ \int_1^{2z-1} \zeta^q

1100: Q_L(\zeta) d\zeta + {1 \over 2}

1101:  \int_{2z-1}^{2z+1} \zeta^q d\zeta

1102: \int_{-1}^{1-\alpha} {P_L(y) \over {(\zeta -y)}} dy \right \}\,.

1103: \label{calE2}

1104: \end{equation}

1105: %label{calE2}

1106: Notice that, for near-zone field points, the functions $f_{B,L}$ are

1107: evaluated at the local time $t$, not retarded time $u$.

1108: 

1109: \subsection{Cancellation of $\cal R$ dependence}

1110: \label{cancel}

1111: 

1112: It is evident that the inner integrals and outer integrals for the

1113: field $h^{\alpha\beta}$ will separately depend upon the radius $\cal

1114: R$ of the boundary between the near zone and the far zone.  But since

1115: each integral was simply a rewriting of a piece of the original

1116: integral, Eq. (\ref{bigintegral}), which had no $\cal R$ dependence, it is

1117: equally evident that the separate $\cal R$-dependences must cancel

1118: between the inner and outer integrals.  In \cite{opus}, referred to

1119: hereafter as WW, we

1120: demonstrated such a cancellation explicitly for contributions to the

1121: gravitational waveform at 2PN order that depended on positive powers

1122: of $\cal R$.  Here we demonstrate the cancellation generally, for both

1123: near-zone and far-zone field points, for arbitrary powers of $\cal R$

1124: (including $\ln {\cal R}$) and to an order of

1125: iteration sufficient for our purposes.

1126: 

1127: The proof proceeds by induction.  First, as we pointed out above, the

1128: first-iterated

1129: field $_1 h^{\alpha\beta}$ is trivially independent of $\cal R$.

1130: 

1131: Secondly, we assume that the $(N-1)$-iterated field does not depend on

1132: $\cal R$, i.e. that all $\cal R$-dependence cancels at this order of

1133: iteration.  We wish to demonstrate that this implies cancellation of

1134: $\cal R$-dependence in the $N$-iterated field.  The proof 

1135: consists of considering the limiting behavior of the inner

1136: and outer integrals for $_N h^{\alpha\beta}$ 

1137: in the vicinity of $|{\bf x}^\prime |\to {\cal

1138: R}$.  Here $T^{\alpha\beta}$ vanishes, and we only need to consider

1139: $_{N-1} \Lambda^{\alpha\beta}$, which is a functional of 

1140: $_{N-1} h^{\alpha\beta}$.

1141: We have already seen that, in the far zone,

1142: $_{N-1} \Lambda^{\alpha\beta}$ can be decomposed  into terms of the form

1143: $f_{B,L}(u) {\hat n}^{<L>} r^{-B}$.

1144: (We consider tail contributions with $\ln r$ dependence separately.)  

1145: Since the $N-1$ iterated field does not depend on $\cal R$ by

1146: assumption, continuity of the fields means that $_{N-1}

1147: \Lambda^{\alpha\beta}$ will have this same form just inside the near

1148: zone.  Thus we will calculate the limiting behavior of the inner

1149: integral of a term of this form as the integration variable $r^\prime

1150: \to {\cal R}$ from below, 

1151: and compare its ${\cal R}$ dependence with that of the

1152: outer integral of the same term.

1153: 

1154: For far-zone field points, we must calculate the ${\cal R}$ dependence

1155: of the moments $M^{\alpha\beta Q}$, and substitute into Eq. (\ref{genexpand});

1156: after considerable algebra (see Appendix \ref{cancellation}), 

1157: we obtain, for the limiting

1158: behavior of $_{N} h_{\cal N}^{\alpha\beta}$ as the integration

1159: variable approaches $\cal R$ from inside, 

1160: \begin{equation}

1161: {_Nh^{\alpha\beta}_{\cal N}}_{B,L} 

1162: \to \left ({2 \over r}

1163: \right ) ^{B-2}

1164: {\hat n}^{<L>} \sum_{q=0}^\infty {\cal D}^{{\rm in},q}_{B,L} (z) r^q {{d^q

1165: f_{B,L}(u)} \over {du^q}} \,,

1166: \label{farinnerlimit}

1167: \end{equation}

1168: %label{farinnerlimit}

1169: where

1170: \begin{eqnarray}

1171: {\cal D}^{{\rm in},q}_{B,L} (z) &=& \sum_{m=0}^q \sum_{j=0}^{j_{max}}

1172:  {{(-)^m 2^{2+j-B}} \over {m!(q-m-j+2L+1)!}} {{[{1 \over

1173: 2}(q-m-j+2L)]!} \over {[{1 \over 2}(q-m-j)]!}}

1174: {{(2L-j)!} \over {j!(L-j)!}} \nonumber \\

1175: && \qquad \times \left \{ \begin{array}{ll}

1176: {z^{3+L-B+q-j} / (3+L-B+q-j)} &  \quad 3+L-B+q-j \ne 0 \\ 

1177: \ln {\cal R}  &\quad  3+L-B+q-j =0 \,. \end{array} 

1178: \right .

1179: \label{farinnerlimit2}

1180: \end{eqnarray}

1181: %label{farinnerlimit2}

1182: where $j_{max} = \, {\rm lesser \, of} \, \{q-m,L\}$, and $q-m-j = \, {\rm

1183: even \, integer} \, \ge 0$.

1184: Eq. (\ref{farinnerlimit}) is of the same form as the 

1185: outer integral for far-zone field

1186: points, Eq. (\ref{outerfar}).  The coefficients ${\cal D}^{q}_{B,L}

1187: (z)$ from the outer integrals are most easily evaluated using computer

1188: algebra methods (we calculated the coefficients using independent

1189: Maple and Mathematica programs); the result is, for each $B$, $L$ and $q$, 

1190: \begin{equation}

1191: {\cal D}^{{\rm in},q}_{B,L} (z) + \{ z \,{\rm -dependent \, part \, of}\,

1192: {\cal D}^{q}_{B,L} (z) \} = 0\,.

1193: \end{equation}

1194: Thus the $\cal R$ dependence cancels term by term.  Similar

1195: cancellation occurs for near-zone field points, as well as for the

1196: case where the integrand has $r^{-B} \ln r$ dependence.  Details are

1197: given in Appendix \ref{cancellation}.

1198: 

1199: This cancellation, while inevitable, has practical consequences, in

1200: the following sense.  In calculating the inner contributions to the 

1201: fields, we must integrate

1202: over a finite hypersurface, $\cal M$, sources that extend throughout

1203: $\cal M$.  Consequently, any such integral will have terms that are

1204: independent of $\cal R$, as well as terms that depend

1205: on ${\cal R}^q$ or $\ln {\cal R}$.  Because we know that all terms of

1206: the latter form cancel

1207: with contributions from the outer integrals 

1208: in the final expression for the field, we can drop them in any

1209: individual result.

1210: Similarly, we can drop all $\cal R$-dependent terms that arise in any

1211: individual outer integral.  This provides a kind of regularization of

1212: integrals, that cures the problem of divergent integrals that haunted earlier

1213: slow-motion methods.  In fact, one can show that there is a close

1214: connection between this method of regularization and the method of

1215: analytic continuation used by Blanchet  \cite{Lucproof}.

1216: 

1217: Thus, our procedure for determining the field is to determine

1218: separately $h^{\alpha\beta}_{\cal N}$ and 

1219: $h^{\alpha\beta}_{{\cal C}-{\cal N}}$

1220: to a given PN order,

1221: keeping only $\cal R$-independent terms in each expression, then sum

1222: them to obtain

1223: \begin{equation}

1224: h^{\alpha\beta} = h^{\alpha\beta}_{\cal N}+h^{\alpha\beta}_{{\cal

1225: C}-{\cal N}}\,.

1226: \end{equation}

1227: 

1228: \section{Weak field, slow-motion approximation}

1229: 

1230: We now turn to a discussion of the number $N$ of iterations 

1231: needed to derive equations

1232: of motion or gravitational waveforms of a desired accuracy, in a

1233: weak-field, slow-motion approximation.

1234: 

1235: We assume that, for the fluid source, 

1236: \begin{eqnarray}

1237: v^2 \sim m/{\cal S} \sim p/\rho \sim \epsilon \ll 1 \;,

1238: \end{eqnarray}

1239: where $\epsilon$ will be used as an expansion parameter.  But from the

1240: nature of the iteration procedure, it is evident that each iteration

1241: of the field introduces corrections of order $m/{\cal S}$.  In terms of

1242: $\epsilon$, $m$ and $\cal S$

1243: the equations of motion (\ref{1-1}) can be rewritten schematically as

1244: \begin{equation}

1245: d {\bf v}/dt \sim (m/{\cal S}^2)

1246: [1+O(\epsilon)+O({\epsilon}^2)+O({\epsilon}^{5/2})+O({\epsilon}^3)

1247: +O({\epsilon}^{7/2}) + \dots ]\,,

1248: \end{equation}

1249: where the terms inside the square brackets represent the Newtonian,

1250: post-Newtonian, 2PN, 2.5PN (radiation-reaction), 3PN, and 3.5PN

1251: (radiation-reaction)

1252: terms respectively. 

1253: For a term of order $\epsilon^N$, the largest

1254: number of powers of $m/{\cal S}$ that can appear in it (including one power

1255: from the $m/{\cal S}^2$ prefactor) is $N+1$.  The radiation reaction terms of order

1256: $\epsilon^{N+1/2}$ must contain

1257: an odd number of velocities (in order to be odd under time-reversal), 

1258: thus the maximum number of powers of

1259: $m/{\cal S}$ for them is also $N+1$.  Since one iteration gives the

1260: Newtonian potential, which yields the Newtonian equations of motion

1261: ($N=1$), then, to obtain the 1PN terms ($N=2$), one must

1262: have the second iterated field, to obtain the 2PN and 2.5PN terms  

1263: ($N=3$), one must have the

1264: third iterated field, while to obtain the 3PN and 3.5PN terms ($N=4$),

1265: one must have the fourth iterated field. 

1266: 

1267: Similarly,

1268: to obtain a result for the waveform accurate to the

1269: order of the quadrupole formula, $h \sim \ddot {\cal I}^{ij}/R \sim (m/R)

1270: (v^2 + m/{\cal S}) \sim \epsilon^2$ ($N=2$), the second-iterated field

1271: is needed.  Note that the term $m/{\cal S}$ in $\ddot {\cal I}^{ij}$

1272: arises through the use

1273: of the Newtonian equation of motion.

1274: Then, to obtain the 1PN, 2PN and 3PN

1275: corrections to the quadrupole approximation, 

1276: the third, fourth, and fifth-iterated fields are needed,

1277: respectively.  This

1278: would be an impossible task, if it weren't for the judicious

1279: use of the conservation

1280: law,

1281: Eq. (\ref{conservation}).  Consider for example, 

1282: the source $_{N-1} \tau^{ij}$ of the $N$th iterated

1283: gravitational-wave field $_Nh_{\cal N}^{ij}$, Eq. (\ref{series}),

1284: specifically the leading, $m=0$ term.  The conservation

1285: law, Eq. (\ref{conservation}), 

1286: converts $_{N-1} \tau^{ij}$ into two time derivatives of

1287: $_{N-1} \tau^{00}x^ix^j$ (modulo total divergences).  Because of the 

1288: slow-motion approximation, two time derivatives increase the order by

1289: $\epsilon$, and thus, to sufficient accuracy, only 

1290: $_{N-2} \tau^{00}$ is needed in practice.  An important caveat to this

1291: is that the surface terms

1292: that arise from the total divergences and the outer integrals

1293: must formally be evaluated using the

1294: $N-1$ expressions.  However, in practice, these terms contribute at

1295: sufficiently high order that 

1296: they can be treated without resort to explicit

1297: $N-1$ expressions.   Effectively, the burden of

1298: accuracy has been shifted from the $N$th-iteration of the field, to the

1299: $N-1$-iterated equations of motion, which enter via the two

1300: time-derivatives, and which are needed anyway to evaluate the field as a

1301: function of spacetime.  Thus, for $N=2$, the leading quadrupole

1302: approximation, only $_0 \tau^{00} = \rho$ is needed, together with the

1303: Newtonian equations of motion.

1304: This circumstance is responsible for the

1305: prevalent, but erroneous view that linearized gravity (one iteration)

1306: suffices to derive the quadrupole formula.  The formula so derived 

1307: turns out to

1308: be ``correct'', but its foundation is not (see \cite{walkerwill} for

1309: discussion).

1310: 

1311: Thus, in WW, to evaluate the 2PN waveforms (fourth iteration),

1312: only second-iterated fields were

1313: needed in the source terms.

1314: For 3PN waveforms, only third-iterated

1315: fields will be needed.

1316: 

1317: \section{Formal structure of Near-Zone Fields}

1318: 

1319: \subsection{Metric and stress-energy pseudotensor in terms of the

1320: fields}

1321: 

1322: We begin by defining a simplified notation for the field

1323: $h^{\alpha\beta}$:

1324: \begin{eqnarray}

1325: N &\equiv& h^{00} \sim O(\epsilon) \,, \nonumber \\

1326: K^i &\equiv& h^{0i} \sim O(\epsilon^{3/2}) \,, \nonumber \\

1327: B^{ij} &\equiv& h^{ij} \sim O(\epsilon^2) \,, \nonumber \\

1328: B &\equiv& h^{ii} \equiv \sum_i h^{ii} \sim O(\epsilon^2) \,, 

1329: \end{eqnarray}

1330: where we show the leading order dependence on $\epsilon$ in the near

1331: zone.  To obtain

1332: the equations of motion to 3.5PN order, we need to determine

1333: the components of the physical metric to the following orders: 

1334: $g_{00}$ to $O(\epsilon^{9/2})$, 

1335: $g_{0i}$ to $O(\epsilon^{4})$ , and

1336: $g_{ij}$ to $O(\epsilon^{7/2})$.

1337: From the definition (\ref{hdefinition}), one can invert to find

1338: $g_{\alpha\beta}$ in terms of $h^{\alpha\beta}$.  Expanding to the

1339: required order, we find,

1340: \begin{mathletters}

1341: \label{metricexpand}

1342: \begin{eqnarray}

1343: g_{00} &=& -(1- {1 \over 2}N+ {3 \over 8} N^2 - {5 \over 16} N^3 + {35

1344: \over 128}N^4 ) + {1 \over 2}B(1- {1 \over 2}N+ {3 \over 8} N^2)

1345: \nonumber \\

1346: &&+ {1 \over 4}(B^{ij}B^{ij}-{1 \over 2}B^2) 

1347: +{1 \over 2}K^jK^j -  {3 \over 4} NK^jK^j +O(\epsilon^5) \,, \\

1348: g_{0i} &=& -K^i(1- {1 \over 2}N -{1 \over 2}B + {3 \over 8} N^2) - K^j

1349: B^{ij} +O(\epsilon^{9/2}) \,, \\

1350: g_{ij} &=& \delta^{ij} (1+ {1 \over 2}N- {1 \over 8} N^2 + {1 \over 16}

1351: N^3 - {1 \over 4}NB +{1 \over 2}K^kK^k ) \nonumber \\

1352: &&+ B^{ij} - {1 \over

1353: 2}B\delta^{ij}- K^iK^j + {1 \over 2}N B^{ij} +O(\epsilon^4) \,, \\

1354: (-g) &=& 1+N-B-NB+K^iK^i + O(\epsilon^4) \,.

1355: \end{eqnarray}

1356: \end{mathletters}

1357: %label{metricexpand}

1358: Notice that, in order to find the metric $g_{\alpha\beta}$ to the

1359: desired order, we must obtain $N$ to $O(\epsilon^{9/2})$, $K^i$ to

1360: $O(\epsilon^{4})$, $B^{ij}$ to $O(\epsilon^{7/2})$ and $B$ to

1361: $O(\epsilon^{9/2})$.  In fact, because $B$ contributes linearly to

1362: $g_{00}$, we will treat $B$ differently from $B^{ij}$.

1363: 

1364: Using Eq. (\ref{metricexpand}), we can express the

1365: matter stress-energy  tensor $T^{\alpha\beta}$, Eq. (\ref{fluid}),

1366: as a PN

1367: expansion.  However, the details of such an expansion

1368: will depend on the basic variables used to characterize

1369: the matter.  For example, to discuss the structure of a

1370: star in a PN expansion, it is convenient to use the

1371: mass-energy density $\rho$ and pressure $p$, together

1372: with an equation of state.  However, to discuss the

1373: motion of compact bodies in an effective ``point-mass''

1374: limit, it is more convenient to ignore the pressure

1375: totally, and to use the so-called ``conserved'', or

1376: baryon density, $\rho^* \equiv \rho \sqrt{-g} u^0$.

1377: For now, we follow the convention of Damour {\it et

1378: al.}, and define the quantities

1379: \begin{eqnarray}

1380: \sigma & \equiv& T^{00} + T^{ii} \,, \nonumber \\

1381: \sigma^i & \equiv& T^{0i} \,, \nonumber \\

1382: \sigma^{ij} & \equiv& T^{ij} \,.

1383: \end{eqnarray}

1384: We will express various potentials 

1385: formally in terms of these

1386: densities, and later make a PN expansion of them in

1387: terms of the densities most appropriate to the

1388: application.

1389: 

1390: Substituting the formulae for $h^{\alpha\beta}$ and

1391: $g_{\alpha\beta}$ into Eqs. (\ref{nonlinear}) and (\ref{landau}) for

1392: $\Lambda^{\alpha\beta}$, we obtain, to the required order,

1393: \begin{mathletters}

1394: \label{Lambda}

1395: \begin{eqnarray}

1396: \Lambda^{00} &=& -{7 \over 8} (\nabla N)^2 \nonumber \\

1397: &&+ \left \{ {5 \over 8} {\dot N}^2 - \ddot N N -2 {\dot N}^{,k} K^k

1398: + {1 \over 2} K^{i,j} (3 K^{j,i}+ K^{i,j}) \right . \nonumber \\

1399: && \left . + {\dot K}^j N^{,j} - B^{ij} N^{,ij} + 

1400: {1 \over 4} \nabla N \cdot

1401: \nabla B + {7 \over 8} N (\nabla N)^2 \right \} \nonumber \\

1402: &&+ \left \{ K^{k,j} {\dot B}^{jk} +{1 \over 4} B^{jk,l}

1403: (B^{jk,l} -2B^{kl,j}) + {1 \over 4} \dot N \dot B - {1

1404: \over 8} (\nabla B)^2  +{1 \over 4} \dot N N^{,j}K^j \right . \nonumber \\

1405: &&  \left . 

1406: +{7 \over 8} N^{,j}N^{,k} B^{jk}

1407: -{1 \over 2} K^j N^{,k} (3 K^{j,k}+ 4K^{k,j}) -{7 \over

1408: 8} N^2 (\nabla N)^2 \right \} + O(\rho \epsilon^4) \,,

1409: \\

1410: \Lambda^{0i} &=& \left \{ N^{,k}( K^{k,i}- K^{i,k}) +{3 \over 4}\dot

1411: N N^{,i} \right \} \nonumber \\

1412: &&+ \left \{ \dot N {\dot K}^i - N {\ddot K}^i -2 K^k

1413: {\dot K}^{i,k} - B^{lm} K^{i,lm} + K^{k,l} (B^{il,k}

1414: +B^{ik,l} -B^{kl,i})+ N^{,k} {\dot B}^{ik} \right . \nonumber \\

1415: && \left .  - {1 \over 4} \dot N B^{,i} 

1416: -{1 \over 4} N^{,i} \dot B - NN^{,k}( K^{k,i}- K^{i,k}) -

1417: {3 \over 4} N \dot N N^{,i} + {1 \over 8} K^i (\nabla

1418: N)^2 -{1 \over 4}K^k N^{,k} N^{,i} \right \} \nonumber

1419: \\

1420: &&+ O(\rho

1421: \epsilon^{7/2}) \,, \\

1422: \Lambda^{ij} &=& {1 \over 4} \{ N^{,i}N^{,j} - {1 \over 2}

1423: \delta^{ij} (\nabla N)^2 \} \nonumber \\

1424: &&+ \left \{ 2 K^{k,(i}K^{j),k}- K^{k,i}K^{k,j}

1425: -K^{i,k}K^{j,k} +2N^{,(i} {\dot K}^{j)} +{1 \over

1426: 2}N^{,(i} B^{,j)} \right . \nonumber \\

1427: && \left . -{1 \over 2}N(N^{,i}N^{,j} - {1 \over 2}

1428: \delta^{ij} (\nabla N)^2) -\delta^{ij} (K^{l,k}K^{[k,l]} 

1429: +N^{,k}{\dot K}^{k}

1430: +{3 \over 8}{\dot N}^2 +{1 \over 4} \nabla N \cdot

1431: \nabla B ) \right \} \nonumber \\

1432: &&+ \left \{ 2 {\dot K}^i{\dot K}^j + {\dot

1433: B}^{k(i}(K^{j),k}-K^{k,j)})-2{\dot B}^{ij,k} K^k

1434: -N{\ddot B}^{ij} -B^{ij,lm} B^{lm} \right .\nonumber \\

1435: && + B^{ik,l} ( B^{jl,k}+ B^{jk,l}) -2B^{kl,(i} B^{j)k,l}

1436: +\frac{1}{2} B^{kl,i}B^{kl,j} - \frac{1}{4}B^{,i}B^{,j}

1437: \nonumber \\

1438: && -N( 2 K^{k,(i}K^{j),k}- K^{k,i}K^{k,j}

1439: -K^{i,k}K^{j,k}) +K^kK^{k,(i}N^{,j)} -2NN^{,(i}{\dot

1440: K}^{j)} - {1 \over 2} \dot N N^{,(i} {K}^{j)} \nonumber

1441: \\

1442: && -{1 \over 2}N^{,k}  N^{,(i}B^{j)k} -{1 \over

1443: 2}NN^{,(i} B^{,j)} +{1 \over 8} (\nabla N)^2 B^{ij}

1444: +{3 \over 4} N^2( N^{,i}N^{,j} - {1 \over 2}

1445: \delta^{ij} (\nabla N)^2) \nonumber \\

1446: && +{1 \over 8}\delta^{ij} [ (\nabla B)^2 +2 \dot N

1447: \dot B +8K^{k,l}{\dot B}^{kl}+4B^{kl,m}B^{km,l}

1448: -2B^{kl,m}B^{kl,m}+3N{\dot N}^2 +8NN^{,k}{ \dot K}^{k}

1449: \nonumber \\

1450: && \left . +8NK^{l,k}K^{[k,l]} -4K^kN^{,l}K^{k,l}

1451: +2\dot N K^kN^{,k} + N^{,k}N^{,l}B^{kl} 

1452: +2N\nabla N \cdot \nabla B ] \right \} \nonumber \\

1453: && + O(\rho \epsilon^4) \,,

1454: \\

1455: \Lambda^{ii} &=& -{1 \over 8} (\nabla N)^2 \nonumber

1456: \\

1457: &&+ \left \{ K^{l,k}K^{[k,l]}-N^{,k}{ \dot K}^{k} -{1

1458: \over 4}\nabla N \cdot \nabla B -{9 \over 8} {\dot N}^2

1459: +{1 \over 4}N ({\nabla N})^2 \right \} \nonumber \\

1460: &&+ \left \{ 2 {\dot K}^k{\dot K}^k -2{\dot B}^{,k}K^k

1461: +3{\dot B}^{kl}K^{k,l} -N \ddot B +{3 \over 4}\dot N

1462: \dot B +{1 \over 8}({\nabla B})^2 -B^{,lm}B^{lm} \right . \nonumber \\

1463: && + {3 \over 4}B^{kl,m}B^{kl,m} +

1464: {1 \over 2}B^{kl,m}B^{km,l}-NK^{l,k}K^{[k,l]}-

1465: {1 \over 2}N^{,l}K^kK^{k,l} +NN^{,k}{ \dot K}^{k} \nonumber \\

1466: && \left . + 

1467: {1 \over 4}\dot N N^{,k}K^k - {1 \over 8}N^{,k}N^{,l}B^{kl}

1468: +{1 \over 4}N\nabla N \cdot \nabla B+{1 \over 8}

1469: ({\nabla N})^2 B +{9 \over 8}N{\dot N}^2 -{3 \over 8}

1470: N^2 ({\nabla N})^2 \right \} \nonumber \\

1471: && +  O(\rho \epsilon^4) \,,

1472: \end{eqnarray}

1473: \end{mathletters}

1474: %label{Lambda}

1475: where an overdot denotes $\partial/\partial t$.  In the above

1476: expressions, terms grouped

1477: within braces make leading contributions of the same order.  For

1478: example, in

1479: $\Lambda^{00}$, the three groupings correspond to $O(\rho \epsilon)$,

1480: $O(\rho \epsilon^2)$, and $O(\rho \epsilon^3)$, respectively.

1481: 

1482: \subsection{Source moments and other integral quantities}

1483: 

1484: Throughout our calculations, a number of integrals of

1485: the source stress-energy pseudotensor occur, for

1486: example, in the multipole expansions of Eq.

1487: (\ref{genmoment}).  It is useful to define and collect

1488: these quantities, and to discuss their properties.  All

1489: integrals are carried out over a constant time (or

1490: constant retarded time) hypersurface $\cal M$, within the

1491: near-zone.  In general, these integrals will have $\cal

1492: R$ dependence, but, in line with the foregoing

1493: discussion, we shall consistently drop such

1494: terms.  The relevant integrals are:

1495: \begin{mathletters}

1496: \begin{eqnarray}

1497: P^\mu &\equiv&  M^{\mu 0} = \int_{\cal M} \tau^{\mu 0} d^3x \,, \\

1498: {\cal I}^Q &\equiv& M^{00Q} = \int_{\cal M} \tau^{00} x^Q d^3x \,,

1499: \\

1500: {\cal J}^{iQ} &\equiv& \epsilon^{iab} M^{0baQ} = \epsilon^{iab}\int_{\cal M} \tau^{0b} 

1501: x^{aQ} d^3x \,,

1502: \\

1503: {\cal P}^{ijabQ} &\equiv& \int_{\cal M} x^{[a}\tau^{i][j} 

1504: x^{b]Q} d^3x \,.

1505: \end{eqnarray}

1506: \end{mathletters}

1507: By making use of the equations of motion

1508: ${\tau^{\alpha\beta}}_{,\beta}=0$, we can transform

1509: some of these integrals into other forms, modulo

1510: surface integrals at the boundary $\partial {\cal M}$

1511: of the near zone.  For example,

1512: \begin{eqnarray}

1513: {\dot P}^\mu &=& - \oint_{\partial {\cal M}} \tau^{\mu j} 

1514: d^2 S_j \,, \nonumber \\

1515: {\dot {\cal J}}^i &=&  - \epsilon^{iab} \oint_{\partial {\cal M}}

1516: \tau^{jb} x^a d^2 S_j \,, \nonumber \\

1517: {\dot {\cal I}}^i &=& P^i - \oint_{\partial {\cal M}}

1518: \tau^{0j} x^i d^2 S_j \,.

1519: \end{eqnarray}

1520: These identities express the conservation of total

1521: energy, momentum and angular momentum, and uniform

1522: center-of-mass motion, modulo a flux of gravitational

1523: radiation from the system.  In calculations, the

1524: surface terms must be checked carefully to see if they

1525: make ${\cal R}$-independent contributions to the order

1526: considered.  For the most part, such surface terms turn

1527: out to make no contribution.

1528: 

1529: Henceforth, we shall set ${\cal I}^i =

1530: {\dot{\cal I}}^i =0$, which amounts to attaching the origin of

1531: coordinates to the

1532: center of mass of the system.  

1533: 

1534: Other useful identities include:

1535: \begin{mathletters}

1536: \begin{eqnarray}

1537: M^{ij} &=& {1 \over 2} \ddot {\cal I}^{ij} 

1538: + {1 \over 2} \oint_{\partial {\cal M}}

1539: [\tau^{lm}(x^{ij})_{,l} + {\dot \tau}^{m0} x^{ij} ]

1540: d^2S_m \,,  \\

1541: M^{ijk}&=& {1 \over 6} \ddot {\cal I}^{ijk} + 

1542: {2 \over 3} \epsilon^{lk(i} {\dot {\cal J}}^{l|j)}

1543: \nonumber \\

1544: && + {1 \over 6} \oint_{\partial {\cal M}}

1545: [\tau^{lm}(x^{ijk})_{,l} + {\dot \tau}^{m0} x^{ijk} ]

1546: d^2S_m - {2 \over 3} \oint_{\partial {\cal M}} 

1547: [ \tau^{l[k} x^{i]j} + \tau^{l[k} x^{j]i} ] d^2S_l

1548: \,, \\

1549: M^{ijQ} &=& {1 \over {(q+1)(q+2)}} {\ddot {\cal

1550: I}}^{ijQ} + {2 \over {(q+2)}} \epsilon^{mk_1(i} 

1551: {\dot {\cal J}}^{m|j)k_2\dots k_q}{\rm (sym \,k:Q)} 

1552: +{{8(q-1)} \over {(q+1)}} {\cal P}^{ij(k_1k_2\dots

1553: k_q)} \nonumber \\

1554: && + {1 \over {(q+1)(q+2)}} \oint_{\partial {\cal M}}

1555: [\tau^{lm}(x^{ijQ})_{,l} + {\dot \tau}^{m0} x^{ijQ} ]

1556: d^2S_m \nonumber \\

1557: && - {2 \over {(q+2)}} \oint_{\partial {\cal M}}

1558: [ \tau^{l[k_1} x^{i]jk_2\dots k_q} +  \tau^{l[k_1} x^{j]ik_2\dots k_q}

1559: ] d^2S_l

1560: {\rm (sym \,k:Q)}

1561: \,, \\ 

1562: M^{0jQ} &=& {1 \over {q+1}} {\dot {\cal I}}^{jQ} - {q \over

1563: {q+1}} \epsilon^{mj(k_1} {\cal J}^{m|k_2\dots k_q)} 

1564: + {1 \over {q+1}} \oint_{\partial {\cal M}} \tau^{0m} x^{jQ}

1565: d^2S_m \,, 

1566: \end{eqnarray}

1567: \end{mathletters}

1568: where the notation (sym k:Q) means symmetrize on the

1569: indices $k_1$ through $k_q$, and the superscript notation

1570: $^{m|k\dots)}$ means that only the indices following the vertical line

1571: are involved in

1572: symmetrization.

1573: 

1574: \subsection{Near-zone field expanded to 3.5 PN order}

1575: 

1576: We now carry out the explicit expansion of the near-zone

1577: field through 3.5PN order, beginning with the 

1578: inner integral, Eq. (\ref{nearexpand}), 

1579: applying the above identities where possible.  Inserting powers

1580: of $\epsilon$ to indicate the leading order of each term, we obtain

1581: the result 

1582: \begin{mathletters}

1583: \label{bigexpansion}

1584: \begin{eqnarray}

1585: % 

1586: %HERE IS N

1587: % 

1588: N_{\cal N} &=& 4 \epsilon \int_{\cal M} {\tau^{00}(t,{\bf x}^\prime) \over {|{\bf x}-{\bf

1589: x}^\prime |}} d^3x^\prime 

1590: +2 \epsilon^2 \partial^2_t \int_{\cal M} \tau^{00}(t,{\bf x}^\prime) |{\bf x}-{\bf x}^\prime | d^3x^\prime

1591: -{2 \over 3} \epsilon^{5/2} \stackrel{(3)\quad}{{\cal I}^{kk}(t)} \nonumber

1592: \\

1593: &&+ {1 \over 6} \epsilon^3 \partial^4_t \int_{\cal M}

1594: \tau^{00}(t,{\bf x}^\prime) |{\bf x}-{\bf x}^\prime |^3 d^3x^\prime 

1595: \nonumber \\

1596: &&- {1 \over 30} \epsilon^{7/2} \left \{ (4x^{kl}+2r^2\delta^{kl})

1597: \stackrel{(5)\quad}{{\cal I}^{kl}(t)}

1598: - 4 x^k \stackrel{(5)\qquad}{{\cal I}^{kll}(t)}

1599: + \stackrel{(5)\qquad}{{\cal I}^{kkll}(t)} \right

1600: \} \nonumber \\

1601: &&+ {1 \over 180} \epsilon^4 \partial^6_t \int_{\cal M}

1602: \tau^{00}(t,{\bf x}^\prime) |{\bf x}-{\bf x}^\prime |^5 d^3x^\prime 

1603: \nonumber \\

1604: &&- {1 \over 1260} \epsilon^{9/2} \left \{ 

1605: 3r^4 \stackrel{(7)\quad}{{\cal I}^{kk}(t)} 

1606: + 12r^2x^{ij} \stackrel{(7)\quad}{{\cal I}^{ij}(t)} 

1607: -12 r^2 x^i \stackrel{(7)\qquad}{{\cal I}^{ikk}(t)}

1608: \right .\nonumber \\

1609: && \left .

1610: -8 x^{ijk}  \stackrel{(7)\qquad}{{\cal I}^{ijk}(t)}

1611: +3r^2  \stackrel{(7)\qquad}{{\cal I}^{iikk}(t)}

1612: +12 x^{ij}  \stackrel{(7)\qquad}{{\cal I}^{ijkk}(t)}

1613: -6 x^i  \stackrel{(7)\qquad}{{\cal I}^{ikkll}(t)}

1614: +  \stackrel{(7)\quad\quad }{{\cal I}^{iikkll}(t)} \right \}

1615: \nonumber \\

1616: &&+ N_{\partial {\cal M}} + O(\epsilon^5) \,, \\

1617: %

1618: %HERE IS K

1619: %

1620: K^i_{\cal N} &=& 4 \epsilon^{3/2} \int_{\cal M} {\tau^{0i}(t,{\bf x}^\prime) \over {|{\bf x}-{\bf

1621: x}^\prime |}} d^3x^\prime +2 \epsilon^{5/2} \partial^2_t \int_{\cal M}

1622: \tau^{0i}(t,{\bf x}^\prime) |{\bf x}-{\bf x}^\prime | d^3x^\prime

1623: \nonumber \\

1624: && +{2 \over 9} \epsilon^3 \left \{ 3 x^k \stackrel{(4)\quad}{{\cal I}^{ik}(t)}

1625: - \stackrel{(4)\quad}{{\cal I}^{ikk}(t)}

1626: +2 \epsilon^{mik}  \stackrel{(3)\quad}{{\cal J}^{mk}(t)}

1627: \right \} +  {1 \over 6} \epsilon^{7/2} \partial^4_t \int_{\cal M}

1628: \tau^{0i}(t,{\bf x}^\prime) |{\bf x}-{\bf x}^\prime |^3 d^3x^\prime

1629: \nonumber \\

1630: && + {1 \over 450} \epsilon^4 \left \{ 

1631: 30r^2 x^k \stackrel{(6)\quad}{{\cal I}^{ik}(t)}

1632: - 10 r^2 \stackrel{(6)\qquad}{{\cal I}^{ikk}(t)}

1633: -20 x^{kl} \stackrel{(6)\qquad}{{\cal I}^{ikl}(t)}

1634: +15 x^k \stackrel{(6)\qquad}{{\cal I}^{ikll}(t)}

1635: -3 \stackrel{(6)\qquad}{{\cal I}^{ikkll}(t)} \right .

1636: \nonumber \\

1637: && \left . + \epsilon^{mil} \left [ 

1638: 20r^2 \stackrel{(5)\quad}{{\cal J}^{ml}(t)}

1639: +40x^{kl} \stackrel{(5)\quad}{{\cal J}^{mk}(t)}

1640: -15 x^l \stackrel{(5)\qquad}{{\cal J}^{mkk}(t)}

1641: -30 x^k \stackrel{(5)\qquad}{{\cal J}^{mkl}(t)}

1642: +12 \stackrel{(5)\qquad}{{\cal J}^{mlkk}(t)} \right ] \right \}

1643: \nonumber \\

1644: &&+ K^i_{\partial {\cal M}} + O(\epsilon^{9/2}) \,, \\

1645: %

1646: %HERE IS Bij

1647: %

1648: B^{ij}_{\cal N} &=& 4 \epsilon^2 \int_{\cal M} {\tau^{ij}(t,{\bf x}^\prime) 

1649: \over {|{\bf x}-{\bf x}^\prime |}} d^3x^\prime 

1650: - 2 \epsilon^{5/2} \stackrel{(3)\quad}{{\cal I}^{ij}(t)}

1651: +2 \epsilon^3 \partial^2_t \int_{\cal M}

1652: \tau^{ij}(t,{\bf x}^\prime) |{\bf x}-{\bf x}^\prime | d^3x^\prime

1653: \nonumber \\

1654: && - {1 \over 9} \epsilon^{7/2} \left \{ 

1655: 3 r^2 \stackrel{(5)\quad}{{\cal I}^{ij}(t)}

1656: -2x^k \stackrel{(5)\qquad}{{\cal I}^{ijk}(t)}

1657: - 8 x^k \epsilon^{mk(i} \stackrel{(4)\qquad}{{\cal J}^{m|j)}(t)}

1658: + 6 \stackrel{(3)\qquad}{M^{ijkk}(t)} \right \}

1659: \nonumber \\

1660: && + {1 \over 6} \epsilon^4 \partial^4_t \int_{\cal M}

1661: \tau^{ij}(t,{\bf x}^\prime) |{\bf x}-{\bf x}^\prime |^3 d^3x^\prime

1662: \nonumber \\

1663: &&-{1 \over 180} \epsilon^{9/2} \left \{

1664: 3r^4 \stackrel{(7)\quad}{{\cal I}^{ij}(t)}

1665: -4r^2 x^k \stackrel{(7)\qquad}{{\cal I}^{ijk}(t)}

1666: -16r^2 x^k \epsilon^{mk(i} \stackrel{(6)\qquad}{{\cal J}^{m|j)}(t)}

1667: \right . \nonumber \\

1668: && \left . 

1669: + 12r^2 \stackrel{(5)\qquad}{M^{ijkk}(t)}

1670: +24 x^{kl} \stackrel{(5)\qquad}{M^{ijkl}(t)}

1671: -24 x^k \stackrel{(5)\qquad}{M^{ijkll}(t)}

1672: +6 \stackrel{(5)\qquad}{M^{ijkkll}(t)}  \right \} \nonumber \\

1673: &&+ B^{ij}_{\partial {\cal M}} + O(\epsilon^5) \,.

1674: \end{eqnarray}

1675: \end{mathletters}

1676: %label{bigexpansion}

1677: Explicit formulae for the boundary terms $N_{\partial {\cal M}}$,

1678: $K^i_{\partial {\cal M}}$ and $B^{ij}_{\partial {\cal M}}$ are given

1679: in Appendix \ref{boundary}.  Through 3.5PN order, the terms in Eq.

1680: (\ref{bigexpansion}) divide naturally into two types: {\it even}

1681: terms, {\it i.e.} terms of integer powers in $\epsilon$ in $N$ and

1682: $B^{ij}$ and odd-half integer powers in $K^i$, and {\it odd} terms, of

1683: odd-half integer powers in $N$ and

1684: $B^{ij}$ and integer powers in $K^i$.  The even terms produce the

1685: leading Newtonian, PN, 2PN and 3PN contributions to the equations of

1686: motion, while the odd terms produce the gravitational radiation

1687: reaction forces.  (Note that the even terms have odd contributions

1688: embedded within them, via contributions of the metric itself to

1689: $\tau^{\alpha\beta}$).  Through 3.5PN order, there is a clean division

1690: between even and odd terms, in the sense that even terms produce

1691: non-dissipative contributions to the equations of motion, while odd

1692: terms produce radiation reaction effects.  At 4PN order this

1693: separation fails, because of the presence of tails -- these are

1694: $O(\epsilon^{3/2})$ modifications of the leading 2.5PN

1695: radiation-reaction terms, which result in disspative effects at 4PN

1696: order.  We derive the leading contributions of these 4PN tail terms in

1697: Sec. \ref{nearzonetails}.

1698: 

1699: The outer integrals for near-zone field points

1700: turn out to contribute only beginning at 3PN order (and, as we will

1701: see, do not contribute observable effects until 4PN order).  

1702: This can be seen schematically

1703: as follows:  for a source term of the form 

1704: $f_{B,L}(u) {\hat n}^{<L>} r^{-B}$, the outer integral has the form

1705: \begin{equation}

1706: \int f(t-r^\prime ) {({\hat n}^\prime )}^{<L>}

1707: (r^\prime)^{-B} {{d^3x^\prime} \over {|{\bf x}-{\bf x}^\prime |}}

1708: \sim \int_{\cal R}^\infty {{d^q f(t)} \over dt^q} {r^\prime}^{q+1-B}

1709: dr^\prime \sim {{d^q f(t)} \over dt^q} {\cal R}^{q+2-B} \,,

1710: \label{quickanddirty}

1711: \end{equation}

1712: %label{quickanddirty}

1713: where we have used the fact that $|{\bf x}| \ll |{\bf x}^\prime |$.

1714: The only possible 

1715: $\cal R$-independent terms come from the case $q=B-2$.  Thus the

1716: outer integral gives a schematic contribution $h^{\alpha\beta}_{{\cal

1717: C}-{\cal N}} \sim f^{(B-2)}(t)$ where the

1718: superscript $(B-2)$ denotes $B-2$ time derivatives.

1719: From Eq. (\ref{Lambda}a), the

1720: leading contribution to the source comes from $(\nabla N)^2$,

1721: where, from Eq. (\ref{genexpand}), 

1722: $N$ has the far-zone form $N \approx 4{\cal I}/r + 2(3 {\hat n}^{<kl>}

1723: {\cal I}^{kl}/r^3 + 3{\hat n}^{<kl>}{\dot {\cal I}}^{kl}/r^2 + {\hat n}^{kl}

1724: {\ddot {\cal I}}^{kl}/r) +\dots$.  Taking the gradient of this expression and

1725: squaring, we get, schematically $(\nabla N)^2 \sim {\cal I}^2/r^4

1726: + {\cal I}({\cal I}^{kl}/r^6 + {\dot {\cal I}}^{kl}/r^5 + {\ddot {\cal

1727: I}}^{kl}/r^4 +\dots)$.  The first term ($B=4$) gives no

1728: contribution, since ${\cal I}$ is constant to the order considered (${\cal

1729: I}$ varies only via gravitational radiation energy loss).  The second,

1730: third and fourth terms, ($B=6,\, 5 ,\, 4$) together give 

1731: $h \sim {\cal I}{\cal I}^{kk(4)}(t)$.  Since ${\cal

1732: I}^{kk} \sim mr^2$, we find $h \sim (m/r)^2 v^4 \sim O(\epsilon^4)$,

1733: which is a 3PN contribution.  Thus, for near zone field points, the

1734: outer integrals can be ignored until 3PN order.  A similar argument

1735: for far-zone field points reveals that outer integrals begin to contribute 

1736: only at 2PN order, as was found by WW \cite{opus}.

1737: 

1738: \subsection{Compendium of useful post-Newtonian near-zone potentials}

1739: \label{compendium}

1740: 

1741: The even terms in Eq. (\ref{bigexpansion})

1742: have the form of ordinary Poisson-like potentials and

1743: their generalizations, sometimes called superpotentials.  For a source

1744: $f$, we define the Poisson potential, superpotential, and

1745: superduperpotential to be

1746: \begin{mathletters}

1747: \begin{eqnarray}

1748: P(f) &\equiv& {1 \over {4\pi}} \int_{\cal M} {{f(t,{\bf x}^\prime)}

1749: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime \,, \quad \nabla^2

1750: P(f) = -f \,, \\

1751: S(f)&\equiv& {1 \over {4\pi}} \int_{\cal M}f(t,{\bf x}^\prime)|{\bf

1752: x}-{\bf x}^\prime | d^3x^\prime \,, \quad \nabla^2 S(f) = 2P(f) \,,

1753: \\

1754: SD(f)&\equiv&  {1 \over {4\pi}} \int_{\cal M}f(t,{\bf x}^\prime)|{\bf

1755: x}-{\bf x}^\prime |^3 d^3x^\prime \,, \quad \nabla^2 SD(f) = 12S(f) \,.

1756: \end{eqnarray}

1757: \label{definepoisson}

1758: \end{mathletters}

1759: We also define potentials based on the ``densities'' $\sigma$,

1760: $\sigma^i$ and $\sigma^{ij}$ constructed from $T^{\alpha\beta}$,

1761: \begin{mathletters}

1762: \begin{eqnarray}

1763: \Sigma (f) &\equiv& \int_{\cal M} {{\sigma(t,{\bf x}^\prime)f(t,{\bf x}^\prime)}

1764: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\sigma f) \,,

1765: \\

1766: \Sigma^i (f) &\equiv& \int_{\cal M} {{\sigma^i(t,{\bf x}^\prime)f(t,{\bf

1767: x}^\prime)}

1768: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\sigma^i f) \,,

1769: \\

1770: \Sigma^{ij} (f) &\equiv& \int_{\cal M} {{\sigma^{ij}(t,{\bf x}^\prime)f(t,{\bf

1771: x}^\prime)}

1772: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\sigma^{ij} f) \,,

1773: \end{eqnarray}

1774: \end{mathletters}

1775: %label{definepoisson}

1776: along with the superpotentials

1777: \begin{mathletters}

1778: \label{definesuper}

1779: \begin{eqnarray}

1780: X(f)  &\equiv& \int_{\cal M} {\sigma(t,{\bf x}^\prime)f(t,{\bf

1781: x}^\prime)}

1782: {|{\bf x}-{\bf x}^\prime | } d^3x^\prime = S(4\pi\sigma f) \,,

1783: \\

1784: Y(f) &\equiv& \int_{\cal M} {\sigma(t,{\bf x}^\prime)f(t,{\bf x}^\prime)}

1785: {|{\bf x}-{\bf x}^\prime |^3 } d^3x^\prime = SD(4\pi\sigma f) \,,

1786: \\

1787: Z(f) &\equiv& \int_{\cal M} {\sigma(t,{\bf x}^\prime)f(t,{\bf x}^\prime)}

1788: {|{\bf x}-{\bf x}^\prime |^5 } d^3x^\prime \,,

1789: \end{eqnarray}

1790: \end{mathletters}

1791: %label{definesuper}

1792: and their obvious counterparts $X^i$, $X^{ij}$, $Y^i$, $Y^{ij}$, and so on.

1793: A number of potentials occur sufficiently frequently in the PN

1794: expansion that is it useful to define them specifically.  First and

1795: foremost is the ``Newtonian'' potential,

1796: \begin{equation}

1797: U \equiv \int_{\cal M} {{\sigma(t,{\bf x}^\prime)}

1798: \over {|{\bf x}-{\bf x}^\prime | }} d^3x^\prime = P(4\pi\sigma) =

1799: \Sigma(1) \,.

1800: \\

1801: \end{equation}

1802: The potentials needed for the post-Newtonian limit are:

1803: \begin{eqnarray}

1804: V^i \equiv \Sigma^i(1) \,, \qquad  & \Phi_1^{ij} \equiv \Sigma^{ij}(1) \,,

1805: \qquad & \Phi_1 \equiv \Sigma^{ii}(1) \,, \nonumber \\

1806: \Phi_2 \equiv \Sigma(U) \,, \qquad & X \equiv X(1) \,.

1807: \end{eqnarray}

1808: Useful 2PN potentials include:

1809: \begin{eqnarray}

1810: &V_2^i \equiv \Sigma^i(U) \,, \qquad & \Phi_2^i \equiv \Sigma(V^i) \,,

1811: \nonumber \\

1812: &X^i \equiv X^i(1) \,, \qquad & X^{ij} \equiv X^{ij}(1) \,, \nonumber

1813: \\

1814: &X_1 \equiv  X^{ii} \,, \qquad & X_2 \equiv X(U) \,,\nonumber \\

1815: &P_2^{ij} \equiv P(U^{,i}U^{,j}) \,, \qquad & P_2 \equiv P_2^{ii}=\Phi_2

1816: -{1 \over 2}U^2 \,,\nonumber \\

1817: &G_1 \equiv P({\dot U}^2)  \,, \qquad & G_2 \equiv P(U {\ddot U}) \,,

1818: \nonumber \\

1819: &G_3 \equiv -P({\dot U}^{,k} V^k) \,, \qquad & G_4 \equiv

1820: P(V^{i,j}V^{j,i}) \,,\nonumber \\

1821: &G_5 \equiv -P({\dot V}^k U^{,k}) \,, \qquad & G_6 \equiv P(U^{,ij}

1822: \Phi_1^{ij}) \,,\nonumber \\

1823: &G_7^i \equiv P(U^{,k}V^{k,i}) + {3 \over 4} P(U^{,i}\dot U ) \,,

1824: \qquad & H \equiv P(U^{,ij} P_2^{ij}) \,. 

1825: \label{potentiallist}

1826: \end{eqnarray}

1827: %label{potentiallist}

1828: At 3PN order, the following potentials are useful:

1829: \begin{eqnarray}

1830: &Y_1 \equiv Y^{ii} \,, \qquad & Y_2 \equiv Y(U) \,, \qquad Z \equiv

1831: Z(1) \,.

1832: \end{eqnarray}

1833: 

1834: A variety of properties of these and general Poisson potentials are

1835: described in Appendix \ref{poisson}. 

1836: Note that, in evaluating Poisson potentials

1837: and superpotentials of sources that do not have compact support, our

1838: rule is to evaluate them on the finite, constant time hypersurface

1839: $\cal M$, and to discard all terms that depend on $\cal R$.

1840: 

1841: \section{Expansion of near-zone fields to 2.5PN order}

1842: \label{2.5expansion}

1843: 

1844: We now turn to explicit evaluation of the near-zone fields and the metric to

1845: higher PN order, in terms of Poisson

1846: potentials and multipole moments.  

1847: In addition to evaluating the inner integrals shown

1848: above, we must evaluate the outer integrals consistently at each PN

1849: order, to check whether any finite, $\cal R$-independent 

1850: contributions result.   

1851: 

1852: In evaluating the contributions at each order, we shall use the

1853: following notation,

1854: \begin{mathletters}

1855: \label{expandNKB}

1856: \begin{eqnarray}

1857: N &=& \epsilon (N_0 + \epsilon N_1+ \epsilon^{3/2} N_{1.5}+ \epsilon^2 N_2+

1858: \epsilon^{5/2} N_{2.5}+ \epsilon^3 N_3+ \epsilon^{7/2} N_{3.5} )

1859: +O(\epsilon^5) \,, \\

1860: K^i &=& \epsilon^{3/2} (K_1^i + \epsilon K_2^i +\epsilon^{3/2} K_{2.5}^i

1861: + \epsilon^2 K_3^i +\epsilon^{5/2} K_{3.5}^i ) +O(\epsilon^{9/2}) \,, \\

1862: B &=& \epsilon^2 (B_1 + \epsilon^{1/2} B_{1.5} 

1863: +\epsilon B_2 + \epsilon^{3/2} B_{2.5} + \epsilon^2 B_3+

1864: \epsilon^{5/2} B_{3.5} )

1865: +O(\epsilon^5) \,, \\

1866: B^{ij} &=& \epsilon^2 (B_2^{ij} + \epsilon^{1/2} B_{2.5}^{ij} +

1867: \epsilon B_3^{ij}+ \epsilon^{3/2} B_{3.5}^{ij}) +O(\epsilon^4) \,,

1868: \end{eqnarray}

1869: \end{mathletters}

1870: %label{expandNKB}

1871: where the subscript on each term indicates the level (1PN, 2PN, 2.5PN,

1872: {\it etc.}) of its leading contribution to the equations of motion.  Notice

1873: that our separate treatment of $B$ and $B^{ij}$ leads to the slightly

1874: awkward notational circumstance that, for example, $B_2^{ii} = B_1$.

1875: 

1876: \subsection{The Newtonian and 1.5PN solution}

1877: 

1878: At lowest order in the PN expansion, we only need to evaluate

1879: $\tau^{00} = (-g)T^{00} + O(\rho\epsilon) = \sigma  +

1880: O(\rho\epsilon)$ (recall that $\sigma^{ii} \sim \epsilon \sigma$).

1881: Since this has compact support, the outer integrals vanish, and we

1882: find

1883: \begin{equation}

1884: N_0 = 4U \,.

1885: \label{newtonian}

1886: \end{equation}

1887: %label{newtonian}

1888: To this order, $(-g)=1+4U+O(\epsilon^2)$.  

1889: 

1890: To the next PN order, we obtain, from Eqs. (\ref{effective}),

1891: (\ref{Lambda}) and  (\ref{newtonian}),

1892: \begin{eqnarray}

1893: \tau^{00} &=& \sigma - \sigma^{ii} + 4\sigma U - {7 \over

1894: {8\pi}} \nabla U^2 + O(\rho\epsilon^2) \,, \nonumber \\

1895: \tau^{0i} &=& \sigma^i + O(\rho\epsilon^{3/2}) \,, \nonumber \\

1896: \tau^{ii} &=& \sigma^{ii} -{1 \over {8\pi}} \nabla U^2 + 

1897: O(\rho\epsilon^2) \,, \nonumber \\

1898: \tau^{ij} &=&  O(\rho\epsilon) \,. 

1899: \label{tauPN}

1900: \end{eqnarray}

1901: %label{tauPN}

1902: Substituting into Eqs. (\ref{bigexpansion}), and calculating terms

1903: through 1.5PN order (e.g. $O(\epsilon^{5/2})$ in $N$), we obtain

1904: \begin{mathletters}

1905: \label{postnewtonian}

1906: \begin{eqnarray}

1907: N_1 &=& 7U^2-4\Phi_1+2\Phi_2+2{\ddot X} \,, \\

1908: K_{1}^i &=& 4V^i \,,\\

1909: B_1 &=& U^2+4\Phi_1-2\Phi_2 \,, \\

1910: N_{1.5} &=& -{2 \over 3} \stackrel{(3)\quad}{{\cal I}^{kk}(t)}

1911: \,,\\

1912: B_{1.5} &=& -{2} \stackrel{(3)\quad}{{\cal I}^{kk}(t)} \,.

1913: \end{eqnarray}

1914: \end{mathletters}

1915: %label{postnewtonian}

1916: It is straightforward in this case to show that the outer integrals

1917: and surface terms give no $\cal R$-independent terms.  It is

1918: useful to illustrate the cancellation of an $\cal R$-dependent

1919: term in this simple case.  In the far zone to Newtonian order, the

1920: field, from Eq. (\ref{genexpand}), is given by $N \approx 4{\cal

1921: I}/r$, where we focus on the monopole contribution.  This contributes

1922: to $\Lambda^{00}$ in the far-zone a term of the form

1923: $\Lambda^{00}=-14{\cal I}^2/r^4$.  To evaluate the near-zone

1924: contribution of the outer integral of this term, we must evaluate the

1925: coefficient ${\cal E}^q_{B,L}$ in Eq. (\ref{outernear})

1926: with $q=0$ (no time derivative, since

1927: $\cal I$ is constant, to lowest order), $B=4$, $L=0$.  From Eqs.

1928: (\ref{outerdefinitions}) and (\ref{calE}), 

1929: this yields a contribution to $N$ given by

1930: $N_{{\cal C}-{\cal N}} = -7{\cal I}^2/{\cal R}^2$.  However, in evaluating

1931: $N_{\cal N}$, we encounter the Poisson potential $-14P(\nabla U^2) =

1932: -14P_2$ (see Eq. (\ref{potentiallist})).

1933: Upon integrating by parts and keeping the surface term at $\cal R$

1934: (see Eq. (\ref{Pformulae2}a)),

1935: this gives a contribution $7U^2-14\Phi_2+7{\cal I}^2/{\cal R}^2$, 

1936: whose $\cal R$-dependent term cancels

1937: that from the outer integral.

1938: 

1939: The physical metric to 1.5PN order is then

1940: \begin{mathletters}

1941: \label{1.5pnmetric}

1942: \begin{eqnarray}

1943: g_{00} &=& -1 + 2U - 2U^2 + \ddot X 

1944: - {4 \over 3}\stackrel{(3)\quad}{{\cal I}^{kk}(t)} 

1945: + O(\epsilon^3) \,,\\

1946: g_{0i} &=& -4V^i + O(\epsilon^{5/2}) \,,\\

1947: g_{ij} &=& \delta_{ij} (1+2U) + O(\epsilon^2) \,.

1948: \end{eqnarray}

1949: \end{mathletters}

1950: %label{1.5pnmetric}

1951: 

1952: Notice that, in our formulation, the potential $U$ is {\it not} a

1953: retarded potential; the retardation is expressed by the PN potential

1954: $\ddot X$ and the 1.5PN term 

1955: $-{4 \over 3} {{\cal I}^{kk(3)}(t)}$.

1956: This contrasts with the PM approach, where retarded,

1957: rather than Poisson potentials are used, and the retardation is

1958: expanded only much later in the computation.

1959: The apparently 1.5PN term 

1960: $-{4 \over 3} {{\cal I}^{kk(3)}(t)}$

1961: in $g_{00}$ actually doesn't contribute to the equations of motion

1962: at this order because it is purely a function of time, and the

1963: leading contribution is through a spatial gradient.  As a

1964: consequence, the

1965: lowest-order observable contribution to radiation reaction is at

1966: 2.5PN order.  (An alternative way to

1967: treat this 1.5PN term would be to absorb it in a redefinition of the time

1968: coordinate.)

1969: 

1970: We note here the useful identity, which follows from Eqs. (\ref{tauPN}), 

1971: $\sigma = \tau^{00} +\tau^{ii} - (1/2\pi)\nabla^2 (U^2)

1972: + O(\rho \epsilon^2)$, whose consequence is,

1973: \begin{equation}

1974: \int_{\cal M} \sigma(t,{\bf x}) d^3x = {\cal I} + {1 \over 2} {\ddot

1975: {\cal I}}^{ii} + O({\cal I} \epsilon^2) \,,

1976: \label{massidentity}

1977: \end{equation}

1978: %label{massidentity}

1979: where surface terms make no $\cal R$-independent contribution.

1980: 

1981: \subsection{The 2.5PN solution}

1982: 

1983: At 2PN and 2.5PN order, we obtain from 

1984: Eqs. (\ref{effective}),

1985: (\ref{Lambda}b,c), (\ref{newtonian}) and  (\ref{postnewtonian})

1986: \begin{mathletters}

1987: \begin{eqnarray}

1988: \tau^{ij} &=& \sigma^{ij} + {1 \over 4\pi}(U^{,i}U^{,j} - {1 \over 2}

1989: \delta^{ij} \nabla U^2 ) + O(\rho\epsilon^2) \,, \\

1990: \tau^{0i} &=& \sigma^i + 4\sigma^i U+ {2 \over \pi} U^{,j}V^{[j,i]}

1991: + {3 \over 4\pi} \dot U U^{,i} + O(\rho\epsilon^{5/2}) \,.

1992: \end{eqnarray}

1993: \end{mathletters}

1994: Including outer integrals and boundary terms (which contribute

1995: nothing), we obtain, from Eq. (\ref{bigexpansion}c), 

1996: \begin{mathletters}

1997: \label{2postnewtonian}

1998: \begin{eqnarray}

1999: B_2^{ij} &=& 4\Phi_1^{ij} +4P_2^{ij}-\delta^{ij}(2\Phi_2-U^2)  \,,\\

2000: K_2^i &=& 8V_2^i -8\Phi_2^i + 8UV^i + 16G_7^i + 2{\ddot X}^i

2001: \,, \\

2002: B_{2.5}^{ij} &=&

2003: -2 \stackrel{(3)\quad}{{\cal I}^{ij}(t)}  \,, \\

2004: K_{2.5}^i &=& {2 \over 3} x^k \stackrel{(4)\quad}{{\cal

2005: I}^{ik}(t)}

2006: - {2 \over 9} \stackrel{(4)\quad}{{\cal I}^{ikk}(t)}

2007: + {4 \over 9} \epsilon^{mik}  \stackrel{(3)\quad}{{\cal J}^{mk}(t)}

2008: \,.

2009: \end{eqnarray}

2010: \end{mathletters}

2011: %label{2postnewtonian}

2012: The solutions 

2013: for $B_2^{ij}$ and $B_{2.5}^{ij}$, along with the earlier 1.5PN solutions 

2014: must now be substituted into $(-g)T^{\alpha\beta}$ and Eq.

2015: (\ref{Lambda}a,d), with the result

2016: \begin{mathletters}

2017: \begin{eqnarray}

2018: \tau^{00} &=& \sigma - \sigma^{ii} +4\sigma U- {7 \over 8\pi}\nabla U^2

2019: \nonumber \\

2020: &&+ \sigma ( 7U^2 -8\Phi_1+2\Phi_2 +2\ddot X )

2021: -4\sigma^{ii} U\nonumber

2022: \\

2023: && +{1 \over 4\pi} \left \{ {5 \over 2}{\dot U}^2 - 4U\ddot U -8{\dot

2024: U}^{,k}V^k +2V^{i,j}(3V^{j,i}+V^{i,j}) +4{\dot V}^jU^{,j}

2025: -4U^{,ij}\Phi_1^{ij} \right . 

2026: \nonumber \\

2027: && 

2028: \left . 

2029: +8\nabla U \cdot \nabla

2030: \Phi_1- 4\nabla U \cdot \nabla

2031: \Phi_2 - {7 \over 2} \nabla U \cdot \nabla \ddot X

2032: -10U\nabla U^2 -4U^{,ij} P_2^{ij}

2033: \right \} 

2034: \nonumber \\

2035: &&

2036: + {4 \over 3} \sigma \stackrel{(3)\quad}{{\cal I}^{kk}(t)} 

2037: +{1 \over {2\pi}} U^{,ij} \stackrel{(3)\quad}{{\cal I}^{ij}(t)} \,, \\

2038: \tau^{ii} &=& \sigma^{ii} - {1 \over 8\pi}\nabla U^2

2039: \nonumber \\

2040: && +4\sigma^{ii} U -{1 \over 4\pi} \left \{ {9 \over 2}{\dot U}^2 

2041: +4V^{i,j}V^{[i,j]} +4{\dot V}^jU^{,j} 

2042: +{1 \over 2} \nabla U \cdot \nabla \ddot X

2043: \right \} \,.

2044: \end{eqnarray}

2045: \label{tau00ii2PN}

2046: \end{mathletters}

2047: %label{tau00ii2PN}

2048: Substituting into Eq. (\ref{bigexpansion}a) and (\ref{bigexpansion}c) 

2049: and evaluating terms

2050: through $O(\epsilon^{7/2})$, and verifying that the outer integrals and

2051: surface terms make no ${\cal R}$-independent contributions, we obtain,

2052: \begin{mathletters}

2053: \begin{eqnarray}

2054: N_2 &=& 

2055: -16U\Phi_1+8U\Phi_2+7U\ddot X+ {20 \over 3}U^3 -4V^iV^i 

2056: -16\Sigma(\Phi_1)+\Sigma(\ddot X )+8\Sigma^i(V^i) \nonumber \\

2057: && -2{\ddot

2058: X}_1+{\ddot X}_2 + {1 \over 6}\stackrel{(4)}{Y} 

2059: -4G_1-16G_2+32G_3+24G_4-16G_5-16G_6-16H \,, \\

2060: B_2 &=& U\ddot X + 4V^iV^i - \Sigma(\ddot X ) - 8\Sigma^i(V^i) 

2061: + 16\Sigma^{ii}(U) \nonumber \\

2062: &&+ 2{\ddot X}_1-{\ddot X}_2  - 20G_1+8G_4 +16G_5 \,, \\

2063: N_{2.5} &=& -{1 \over 15}(2x^{kl}+r^2\delta^{kl})\stackrel{(5)\quad}{{\cal

2064: I}^{kl}(t)} + {2 \over 15} x^k\stackrel{(5)\qquad}{{\cal I}^{kll}(t)}

2065: - {1 \over 30} \stackrel{(5)\qquad}{{\cal I}^{kkll}(t)}

2066: \nonumber \\

2067: &&+ {16 \over 3} U\stackrel{(3)\quad}{{\cal I}^{kk}(t)}

2068: -4X^{,kl}\stackrel{(3)\quad}{{\cal I}^{kl}(t)} 

2069: \,, \\

2070: B_{2.5} &=&  

2071: -{1 \over 3}  r^2 \stackrel{(5)\quad}{{\cal I}^{ii}(t)}

2072: +{2 \over 9} x^k \stackrel{(5)\qquad}{{\cal I}^{iik}(t)}

2073: + {8 \over 9}  x^k \epsilon^{mki} \stackrel{(4)\qquad}{{\cal J}^{mi}(t)}

2074: - {2 \over 3}  \stackrel{(3)\qquad}{M^{iikk}(t)} \,. 

2075: \end{eqnarray}

2076: \label{more2postnewtonian}

2077: \end{mathletters}

2078: %label{more2postnewtonian}

2079: 

2080: 

2081: \subsection{The far-zone field to 1.5PN order}

2082: 

2083: In anticipation of finding non-zero 

2084: outer-integral contributions to the near-zone field 

2085: at 3PN order, we must determine the far-zone field to an order needed for 

2086: the source $\Lambda^{\alpha\beta}$.    Our foregoing discussion indicates 

2087: that counting PN orders for outer integrals is different than the standard 

2088: method, because the inverse radial variable $r^{-1} < {\cal R}^{-1} \sim 

2089: v/{\cal S}$; 

2090: in other words, when considering contributions to the outer integrals, 

2091: additional powers of $r$ in a term in the far-zone field can 

2092: be regarded as increasing

2093: the effective order of that term by half a power 

2094: in $\epsilon$.   For example, expanding $h_{\cal N}^{00}=N _{\cal 

2095: N}$ in the far-zone, Eq. (\ref{genexpand}), we obtain

2096: \begin{eqnarray}

2097: \label{Nfar}

2098: N_{\cal N} &=& 4 \left \{ {{\cal I} \over r} + {1 \over 2} \partial_{kl} 

2099: \left ( {{\cal I}^{kl}(u) \over r}  \right ) 

2100: - {1 \over 6} \partial_{klm} \left ( 

2101: {{\cal I}^{klm}(u) \over r}  \right ) + \dots \right \} \,, \\

2102: && \qquad \epsilon \qquad \qquad\quad \epsilon^2 \quad 

2103: \qquad \qquad \epsilon^{5/2} \nonumber 

2104: \end{eqnarray}

2105: %label{Nfar}

2106: where the effective PN order of each term is indicated.    In ordinary 

2107: applications, the second potential in Eq. (\ref{Nfar})

2108: would contribute a term of order $\epsilon$ 

2109: of the form ${\hat n}^{<kl>} {\cal I}^{kl} /r^3$, which is simply the Newtonian 

2110: quadrupole potential.  But in the outer integral, this term contributes an

2111: $\cal R$-independent term only 

2112: through several time derivatives, and thus its effective contribution

2113: is higher order, in fact of the same order as that of the term ${\hat n}^{kl}

2114: {\ddot{\cal I}}^{kl} /r$, which also comes from the second potential.

2115: 

2116: At this order, we must also be careful to include any outer integral 

2117: and boundary 

2118: contributions to the far-zone field.  From the lowest-order far-zone field, 

2119: we find, to the order needed, that $\Lambda^{00} = -14({\cal I}/r^2)^2$, 

2120: $\Lambda^{ij} = 4({\cal I}/r^2)^2 (n^{<ij>}-\delta^{ij}/6)$.  Evaluating 

2121: the coefficients ${\cal D}^0_{4,2}$ and ${\cal D}^0_{4,0}$, Eq. (\ref{calD}), 

2122: we obtain, in the far zone, $N_{{\cal C}-{\cal N}} = 7({\cal I}/r)^2$ 

2123: and   $B_{{\cal C}-{\cal N}}^{ij} = ({\cal I}/r)^2{\hat n}^{ij}$.  

2124: Combining the multipole expansions of Eq. (\ref{genexpand}) with the 

2125: outer integral contributions, we obtain in the far-zone, to the order needed,

2126: \begin{mathletters}

2127: \label{farzone1.5PN}

2128: \begin{eqnarray}

2129: N &=& 4{{\cal I} \over r} 

2130: +2 \partial_{kl} \left ( {{\cal I}^{kl}(u) \over r}  \right ) 

2131: - {2 \over 3} \partial_{klm} \left ( {{\cal I}^{klm}(u) \over r}  \right ) 

2132: + 7 {{\cal I}^2 \over r^2} + O(\epsilon^3) \,, \\

2133: K^i &=& -2 \partial_k  \left ( {{\dot{\cal I}}^{ik}(u) \over r}  \right ) 

2134: +2\epsilon^{aib}{{{\hat n}^a {\cal J}^b} \over r^2} +{2 \over 3} 

2135: \partial_{kl} \left ( {{\dot{\cal I}}^{ikl}(u) \over r}  \right ) +{4 \over 

2136: 3}\epsilon^{aib} \partial_{ak} \left ( {{\cal J}^{bk}(u) \over r}  \right ) + 

2137: O(\epsilon^3) \,, \\

2138: B^{ij} &=& 2 {{\ddot{\cal I}}^{ij}(u) \over r}+ {2 \over 3} \partial_{k} 

2139: \left ( {{\ddot{\cal I}}^{ijk}(u) \over r}  \right ) +{8\over 3}\epsilon^{ak(i} 

2140: \partial_{k} \left ( {{\dot{\cal J}}^{a|j)}(u) \over r}  \right ) 

2141: +{{\cal I}^2 \over 

2142: r^2}{\hat n}^{ij}+ O(\epsilon^3) \,.

2143: \end{eqnarray}

2144: \end{mathletters}

2145: %label{farzone1.5PN}

2146: It will turn out, however, that, despite the formal possibility of 3PN

2147: contributions from the outer integrals, the {\it actual} contributions

2148: will not begin until 4PN order (see Sec. {\ref{nearzonetails})

2149: 

2150: \section{Expansion of Near-Zone Fields to 3.5PN order}

2151: \label{3.5expansion}

2152: 

2153: \subsection{$B^{ij}$ and $K^j$ to 3PN and 3.5PN order}

2154: 

2155: At 3PN and 3.5PN order, we 

2156: obtain from

2157: Eqs. (\ref{effective}),

2158: (\ref{Lambda}b,c), (\ref{newtonian}) and  (\ref{postnewtonian})

2159: \begin{mathletters}

2160: \begin{eqnarray}

2161: \tau^{ij} &=& \sigma^{ij} + {1 \over 4\pi}(U^{,i}U^{,j} - {1 \over 2}

2162: \delta^{ij} \nabla U^2 ) \nonumber \\

2163: && + 4\sigma^{ij}U + {1 \over {4\pi}} \left \{ U^{,(i}{\ddot X}^{,j)} -16

2164: V^{[i,k]}V^{[j,k]} + 8U^{,(i}{\dot V}^{j)} \right . \nonumber \\

2165: && \left . - \delta^{ij} ({1 \over 2} \nabla U \cdot \nabla {\ddot X}

2166: -4V^{[l,k]}V^{[l,k]} + 4U^{,(k}{\dot V}^{k)} + {3 \over 2} {\dot U}^2

2167: ) \right \} + O(\rho\epsilon^3) \,, \\

2168: %

2169: \tau^{0i} &=& \sigma^i + 4\sigma^i U+ {2 \over \pi} U^{,j}V^{[j,i]}

2170: + {3 \over 4\pi} \dot U U^{,i} 

2171: \nonumber \\

2172: && 

2173: +\sigma^i(7U^2 -8\Phi_1+2\Phi_2+2 \ddot X ) 

2174: \nonumber \\

2175: && 

2176: + {1 \over 16\pi} \left \{ 64U^{,k} (V_2^{[k,i]} - \Phi_2^{[k,i]} )

2177: +32UU^{,k}V^{k,i} -16UU^{,k}V^{i,k} +16U^{,i}U^{,k}V^k \right . 

2178: \nonumber \\

2179: && 

2180: \left . -24V^i (\nabla U)^2 +16U^{,k}{\ddot X}^{[k,i]} +128U^{,k}G_7^{[k,i]}

2181: -32 \Phi_1^{,k} V^{[k,i]} -16\Phi_2^{,k}V^{i,k} 

2182: \right . 

2183: \nonumber \\

2184: && 

2185: \left . 

2186: -16{\ddot X}^{,k}V^{[k,i]} 

2187: -16\dot U \Phi_1^{,i} +48U \dot U U^{,i} +6\dot U {\ddot X}^{,i}

2188: +6U^{,i} \stackrel{(3)}{X} -16U^{,i}{\dot \Phi}_1 +16 \dot U {\dot

2189: V}^i 

2190: \right . 

2191: \nonumber \\

2192: && 

2193: \left . 

2194: - 16U{\ddot V}^i -32V^k {\dot V}^{i,k} -16V^{i,kl}( \Phi_1^{kl} + P_2^{kl} )

2195: +16U^{,k} ({\dot \Phi}_1^{ik} +{\dot P}_2^{ik} ) \right . 

2196: \nonumber \\

2197: && 

2198: \left . 

2199: +16 V^{k,l} (\Phi_1^{il,k} +\Phi_1^{ik,l}-\Phi_1^{kl,i})

2200: +16 V^{k,l} (P_2^{il,k} +P_2^{ik,l}-P_2^{kl,i})

2201: \right \} 

2202: \nonumber

2203: \\

2204: && 

2205: + {4 \over 3} \sigma^i\stackrel{(3)\quad}{{\cal I}^{kk}(t)} 

2206: + {1 \over 2\pi} \biggl ( V^{i,kl} \stackrel{(3)\quad}{{\cal I}^{kl}(t)} 

2207: -U^{,k}  \stackrel{(4)\quad}{{\cal I}^{ik}(t)} \biggr ) \,,

2208: \end{eqnarray}

2209: \label{tauij0i3PN}

2210: \end{mathletters}

2211: %label{tauij0i3PN}

2212: where the first line in each expression

2213: is the contribution through 2PN order obtained earlier.

2214: Substituting into Eq. (\ref{bigexpansion}b,c) and keeping contributions

2215: through $O(\epsilon^{7/2})$, and checking that surface terms and outer

2216: integrals make no contribution to this order, we obtain, 

2217: \begin{mathletters}

2218: \begin{eqnarray}

2219: B_3^{ij} &=& 16\Sigma^{ij}(U) +4P( U^{,(i}{\ddot X}^{,j)}) -

2220: 64P(V^{[i,k]}V^{[j,k]}) +32P(U^{,(i}{\dot V}^{j)})+ 2{\ddot X}^{ij}

2221: +2\ddot S (U^{,i}U^{,j}) 

2222: \nonumber \\

2223: &&

2224:  +\delta^{ij} (U\ddot X - 4V^kV^k-\Sigma(\ddot X )

2225: +8\Sigma^k(V^k)-{\ddot X}_2 -8G_1-8G_4+16G_5 ) \,, \\

2226: K_3^i &=& 

2227: 12U^2V^i + 16UV_2^i -16U\Phi_2^i +4U{\ddot X}^i +32UG_7^i +4V^i{\ddot X} 

2228: -8 \Phi_1 V^i + 8 \Phi_2 V^i 

2229: \nonumber \\

2230: &&

2231: - 8V^k \Phi_1^{ik} - 8V^k P_2^{ik} 

2232: -16\Sigma (V_2^i) +16\Sigma (\Phi_2^i) 

2233: -16 \Sigma (UV^i) - 4\Sigma ({\ddot X}^i) -32\Sigma (G_7^i) 

2234: \nonumber \\

2235: &&

2236: -24\Sigma^i

2237: (\Phi_1) +4\Sigma^i({\ddot X}) +8 \Sigma^{kk}(V^i) 

2238: +8\Sigma^k (\Phi_1^{ik}) +8\Sigma^k (P_2^{ik}) +8\Sigma^{ik} (V^k)

2239: \nonumber \\

2240: &&

2241: +24P(U \dot U U^{,i}) +24 P(U^{,k} U^{,i} V^k ) 

2242: +32P(U^{,k}V_2^{k,i}) - 32P(U^{,k}\Phi_2^{k,i})+ 64P(U^{,k}G_7^{k,i})

2243: \nonumber \\

2244: && 

2245: +8 P(U^{,k}{\ddot X}^{k,i}) +16P(U^{,k}{\dot \Phi}_1^{ik})

2246: +16P(U^{,k}{\dot P}_2^{ik})

2247: -16P(U^{,i}{\dot \Phi}_1) + 6P(U^{,i} \stackrel{(3)}{X}) 

2248: \nonumber \\

2249: && 

2250: -16P(\dot U \Phi_1^{,i} ) + 6P(\dot U {\ddot X}^{,i} )

2251: +32P(UU^{,k}V^{i,k}) -16P(U{\ddot V}^i)

2252: + 16P(V^{k,l} \Phi_1^{il,k}) 

2253: \nonumber \\

2254: && 

2255: - 16P(V^{k,l} \Phi_1^{kl,i})

2256: + 16P(V^{k,l} P_2^{il,k}) 

2257: -32P(V^k{\dot V}^{i,k}) -16P(V^{k,i} \Phi_1^{,k}) 

2258: +8P(V^{k,i} {\ddot X}^{,k}) 

2259: \nonumber \\

2260: &&

2261: - 16P(V^{k,l} P_2^{kl,i})

2262: -16P(V^{i,lm} \Phi_1^{lm}) -16P(V^{i,lm} P_2^{lm})

2263: \nonumber \\

2264: && 

2265: +4 {\ddot X}^i (U) -4 {\ddot X} (V^i) +8 {\ddot S}(U^{,k}V^{k,i}) +

2266: 6  {\ddot S}(U^{,i}{\dot U}) + {1 \over 6} \stackrel{(4)}{Y^i} \,, \\

2267: %%

2268: B_{3.5}^{ij} &=& 

2269: -{1 \over 3} r^2 \stackrel{(5)\quad}{{\cal I}^{ij}(t)}

2270: +{2 \over 9} x^k \stackrel{(5)\qquad}{{\cal I}^{ijk}(t)}

2271: + {8 \over 9} x^k \epsilon^{mk(i} \stackrel{(4)\qquad}{{\cal J}^{m|j)}(t)}

2272: - {2 \over 3} \stackrel{(3)\qquad}{M^{ijkk}(t)} \,, \\

2273: K_{3.5}^i &=& 

2274:  {1 \over 15}r^2 x^k \stackrel{(6)\quad}{{\cal I}^{ik}(t)}

2275:  - {1 \over 45} r^2 \stackrel{(6)\qquad}{{\cal I}^{ikk}(t)}

2276:  -{2 \over 45} x^{kl} \stackrel{(6)\qquad}{{\cal I}^{ikl}(t)}

2277:  +{1 \over 30} x^k \stackrel{(6)\qquad}{{\cal I}^{ikll}(t)}

2278:  -{1 \over 150} \stackrel{(6)\qquad}{{\cal I}^{ikkll}(t)}

2279:  \nonumber \\

2280:  &&  + \epsilon^{mil} \left [

2281:  {2 \over 45} r^2 \stackrel{(5)\quad}{{\cal J}^{ml}(t)}

2282:  +{4 \over 45} x^{kl} \stackrel{(5)\quad}{{\cal J}^{mk}(t)}

2283:  -{1 \over 30}  x^l \stackrel{(5)\qquad}{{\cal J}^{mkk}(t)}

2284:  -{1 \over 15}  x^k \stackrel{(5)\qquad}{{\cal J}^{mkl}(t)}

2285:  +{2 \over 75} \stackrel{(5)\qquad}{{\cal J}^{mlkk}(t)} \right ] 

2286:  \nonumber \\

2287:  && +{16 \over 3} V^i \stackrel{(3)\quad}{{\cal I}^{kk}(t)}

2288: -4X^{i,kl} \stackrel{(3)\quad}{{\cal I}^{kl}(t)}

2289: +4X^{,k} \stackrel{(4)\quad}{{\cal I}^{ik}(t)} \,.

2290: \end{eqnarray}

2291: \label{3postnewtonian}

2292: \end{mathletters}

2293: %label{3postnewtonian}

2294: 

2295: \subsection{$N$ and $B$ to 3PN and 3.5PN order}

2296: 

2297: The expressions for $\tau^{00}$ and $\tau^{ii}$ to 3PN and 3.5PN order are

2298: too lengthy to be reproduced explicitly.  Instead, by substituting the

2299: expansions (\ref{expandNKB}) into Eqs. (\ref{effective}) and

2300: (\ref{Lambda}b,c), and keeping terms of $O(\rho\epsilon^3)$ and

2301: $O(\rho\epsilon^{3.5})$, we obtain the formal contributions

2302: \begin{mathletters}

2303: \begin{eqnarray}

2304: \tau_3^{00} &=&

2305: \sigma(N_2-B_2-N_0B_1+K_1^iK_1^i)-\sigma^{ii}(N_1-B_1) 

2306: \nonumber \\

2307: &&

2308: +{1 \over 16\pi} \biggl \{

2309: -{7 \over 8} (2\nabla N_0 \cdot \nabla N_2 + (\nabla N_1 )^2 )

2310: +{5 \over 4} {\dot N}_0{\dot N}_1 - {\ddot N}_0 N_1 - N_0{\ddot N}_1

2311: \nonumber \\

2312: &&

2313: -2{\dot N}_0^{,i}K_2^i

2314: -2{\dot N}_1^{,i}K_1^i

2315: +K_1^{i,j}(3K_2^{j,i}+K_2^{i,j})

2316: +N_0^{,i}{\dot K}_2^{i} +N_1^{,i}{\dot K}_1^{i}

2317: -N_0^{,ij}B_3^{ij} 

2318: \nonumber \\

2319: &&

2320: -N_1^{,ij}B_2^{ij}

2321: +{1 \over 4}(\nabla N_0 \cdot \nabla B_2 +\nabla N_1 \cdot \nabla B_1)

2322: +{7 \over 8}N_1 (\nabla N_0)^2  

2323: \nonumber \\

2324: &&

2325: +{7 \over 4}N_0 (\nabla N_0 \cdot \nabla N_1)

2326: +K_1^{i,j}{\dot B}_2^{ij} 

2327: +{1 \over 4}B_2^{ij,k}(B_2^{ij,k}-2B_2^{jk,i})

2328: +{1 \over 4}{\dot N}_0{\dot B}_1 -{1 \over 8}(\nabla B_1)^2

2329: \nonumber \\

2330: &&

2331: +{1 \over 4}{\dot N}_0N_0^{,i}K_1^i

2332: +{7 \over 8}N_0^{,i}N_0^{,j}B_2^{ij}

2333: -{1 \over 2}N_0^{,i}K_1^j (4K_1^{i,j}+3K_1^{j,i})

2334: -{7 \over 8}N_0^2 (\nabla N_0)^2 \biggr \}

2335: \,, \\

2336: \tau_{3.5}^{00} &=&

2337: \sigma(N_{2.5}-B_{2.5}-N_0B_{1.5}) -\sigma^{ii}(N_{1.5}-B_{1.5})

2338: \nonumber \\

2339: &&

2340: +{1 \over 16\pi} \biggl \{

2341: -{7 \over 4}\nabla N_0 \cdot \nabla N_{2.5}

2342: +{5 \over 4} {\dot N}_0{\dot N}_{1.5} 

2343: - {\ddot N}_0 N_{1.5} - N_0{\ddot N}_{1.5}

2344: -2{\dot N}_0^{,i}K_{2.5}^i

2345: +N_0^{,i}{\dot K}_{2.5}^{i}

2346: \nonumber \\

2347: &&

2348: +K_1^{i,j}(3K_{2.5}^{j,i}+K_{2.5}^{i,j})

2349: -N_0^{,ij}B_{3.5}^{ij} -N_1^{,ij}B_{2.5}^{ij}

2350: +{1 \over 4}\nabla N_0 \cdot \nabla B_{2.5} 

2351: \nonumber \\

2352: &&

2353: +{7 \over 8}N_{1.5} (\nabla N_0)^2

2354: +K_1^{i,j}{\dot B}_{2.5}^{ij}

2355: +{1 \over 4}{\dot N}_0{\dot B}_{1.5}

2356: +{7 \over 8}N_0^{,i}N_0^{,j}B_{2.5}^{ij} \biggr \} \,,

2357: \\

2358: \tau_3^{ii} &=&

2359: \sigma^{ii} (N_1-B_1)

2360: \nonumber \\

2361: &&

2362: + {1 \over 16\pi} \biggl \{

2363: -{1 \over 8} (2\nabla N_0 \cdot \nabla N_2 + (\nabla N_1)^2)

2364: +2K_1^{i,j}K_2^{[j,i]}

2365: -N_0^{,i}{\dot K}_2^i

2366: -N_1^{,i}{\dot K}_1^i

2367: \nonumber \\

2368: &&

2369: -{1 \over 4}(\nabla N_0 \cdot \nabla B_2 +\nabla N_1 \cdot \nabla B_1)

2370: -{9 \over 4} {\dot N}_0 {\dot N}_1

2371: +{1 \over 4}N_1 (\nabla N_0)^2

2372: +{1 \over 2}N_0 (\nabla N_0 \cdot \nabla N_1)

2373: \nonumber \\

2374: &&

2375: +2{\dot K}_1^i {\dot K}_1^i

2376: -2 {\dot B}_1^{,i} K_1^i

2377: +3 {\dot B}_2^{ij} K_1^{i,j}

2378: -N_0 {\ddot B}_1

2379: +{3 \over 4} {\dot N}_0 {\dot B}_1

2380: +{1 \over 8} (\nabla B_1)^2

2381: - B_1^{,ij}B_2^{ij}

2382: \nonumber \\

2383: &&

2384: +{3 \over 4} B_2^{ij,k} B_2^{ij,k}

2385: +{1 \over 2} B_2^{ij,k} B_2^{ik,j}

2386: -N_0 K_1^{i,j} K_1^{[j,i]}

2387: -{1 \over 2}N_0^{,i}K_1^j K_1^{j,i}

2388: +N_0 N_0^{,i} {\dot K}_1^i

2389: +{1 \over 4} {\dot N}_0 N_0^{,i} K_1^i

2390: \nonumber \\

2391: &&

2392: -{1 \over 8} N_0^{,i} N_0^{,j} B_2^{ij}

2393: +{1 \over 4} N_0 \nabla N_0 \cdot  \nabla B_1

2394: +{1 \over 8} (\nabla N_0)^2 B_1

2395: +{9 \over 8} N_0 {\dot N}_0^2

2396: -{3 \over 8} N_0^2 (\nabla N_0)^2  \biggr \}

2397: \,, \\

2398: \tau_{3.5}^{ii} &=&

2399: \sigma^{ii} (N_{1.5}-B_{1.5})

2400: \nonumber \\

2401: &&

2402: +{1 \over 16\pi} \biggl \{ -{1 \over 4} \nabla N_0 \cdot \nabla N_{2.5}

2403: +2 K_1^{i,j} K_{2.5}^{[j,i]}

2404: -N_0^{,i} {\dot K}_{2.5}^i

2405: -{1 \over 4} \nabla N_0 \cdot \nabla B_{2.5}

2406: \nonumber \\

2407: &&

2408: - {9 \over 4} {\dot N}_0 {\dot N}_{1.5}

2409: + {1 \over 4} N_{1.5} (\nabla N_0)^2

2410: +3 {\dot B}_{2.5}^{ij} K_1^{i,j}

2411: -N_0 {\ddot B}_{1.5}

2412: \nonumber \\

2413: &&

2414: + {3 \over 4} {\dot N}_0 {\dot B}_{1.5}

2415: -B_1^{,ij} B_{2.5}^{ij}

2416: - {1 \over 8} N_0^{,i} N_0^{,j} B_{2.5}^{ij}

2417: + {1 \over 8} (\nabla N_0)^2B_{1.5} \biggr \}

2418: \,.

2419: \end{eqnarray}

2420: \end{mathletters}

2421: We have simplified the expressions slightly by taking into account the fact

2422: that $N_{1.5}$, $B_{1.5}$ and $B_{2.5}^{ij}$ are purely functions of time,

2423: so that spatial gradients of them vanish.  To obtain the full expressions,

2424: one substitutes for $N_0$, $N_1$, $B_1$, $K_1^i$, {\it etc.} from Eqs.

2425: (\ref{newtonian}), (\ref{postnewtonian}), (\ref{2postnewtonian}),

2426: (\ref{more2postnewtonian}), and (\ref{3postnewtonian}).   Substituting this

2427: into Eq. (\ref{bigexpansion}a) and (\ref{bigexpansion}c) (the latter

2428: contracted on indices $ij$), and including surface terms and outer integrals,

2429: we obtain the final 3PN and 3.5PN results for $N$ and

2430: $B$:

2431: \begin{mathletters}

2432: \begin{eqnarray}

2433: %

2434: %HERE IS N_3

2435: %

2436: N_3 &=& 

2437: {19 \over 6} U^4

2438: -28U^2\Phi_1

2439: +14U^2\Phi_2

2440: +10U^2{\ddot  X}

2441: -8U{\ddot X}_1

2442: +4U{\ddot X}_2

2443: +4U\Sigma({\ddot X}) 

2444: \nonumber \\

2445: &&

2446: -4UG_1

2447: -56UG_2

2448: +112UG_3

2449: +80UG_4

2450: -64UG_5

2451: -56UG_6

2452: -56UH 

2453: +{7 \over 12}U \stackrel{(4)}{Y}

2454: \nonumber \\

2455: &&

2456: +32U\Sigma^i(V^i) 

2457: -56U\Sigma(\Phi_1)

2458: -8U\Sigma^{ii}(U)

2459: +10\Phi_1^2

2460: -8\Phi_1\Phi_2

2461: +2\Phi_2^2

2462: -8\Phi_1{\ddot  X}

2463: +4\Phi_2 {\ddot  X}

2464: \nonumber \\

2465: &&

2466: -16V^i V_2^i 

2467: + 16V^i \Phi_2^i 

2468: -32 V^i G_7^i 

2469: -4V^i {\ddot X}^i 

2470: + {7 \over 4} {\ddot X}^2

2471: -2\Phi_1^{ij}\Phi_1^{ij}

2472: -4\Phi_1^{ij} P_2^{ij} 

2473:  -2 P_2^{ij} P_2^{ij}

2474: \nonumber \\

2475: &&

2476: -8\Sigma(U\Phi_1) 

2477: +36\Sigma(G_1) 

2478: - 8\Sigma(G_2)

2479: +16\Sigma(G_3) 

2480: -48\Sigma(G_4) 

2481: -8\Sigma(G_6) 

2482: -8\Sigma(H)

2483: \nonumber \\

2484: &&

2485: -8\Sigma({\ddot X}_1) 

2486: +{1 \over 12}\Sigma(\stackrel{(4)}{Y})

2487: +16\Sigma^i(V_2^i)  

2488: -16\Sigma^i(\Phi_2^i) 

2489: -16\Sigma^i(UV^i)

2490: +32\Sigma^i(G_7^i)

2491: +4\Sigma^i({\ddot X}^i)

2492: \nonumber \\

2493: &&

2494: +8\Sigma^{ii}(U^2) 

2495: +12\Sigma^{ii}(\Phi_1)

2496: +4\Sigma^{ij}(\Phi_1^{ij}) 

2497: +4\Sigma^{ij}(P_2^{ij})

2498: -8\Sigma(\Sigma(\Phi_1)) 

2499: +64\Sigma(\Sigma^i(V^i)) 

2500: \nonumber \\

2501: &&

2502: -56\Sigma(\Sigma^{ii}(U))

2503: -32P(U^2{\ddot U})

2504: -28P(U{\dot U}^2)

2505: +16P({\ddot U}\Phi_1)

2506: +16P({\dot U}{\dot \Phi}_1)

2507: \nonumber \\

2508: &&

2509: +16P(U{\ddot \Phi}_1)

2510: -8P(U{\ddot \Phi}_2)

2511: -8P(U \stackrel{(4)}{X})

2512: -4P({\dot U} \stackrel{(3)}{X})

2513: -8P({\ddot U}{\ddot X})

2514: +32P(UU^{,i}{\dot V}^i)

2515: \nonumber \\ 

2516: &&

2517: -64P(U{\dot U}^{,i} V^i)

2518: -40P({\dot U}U^{,i}V^i)

2519: +32P(UV^{i,j} V^{i,j})

2520: +16P(UV^{i,j}V^{j,i})

2521: \nonumber \\ 

2522: &&

2523: +32P(U^{,i}{\dot V}_2^i)

2524: -32P(U^{,i}{\dot \Phi}_2^i)

2525: +64P(U^{,i} {\dot G}_7^i)

2526: +8P(U^{,i} \stackrel{(3)}{X^i})

2527: \nonumber \\

2528: &&

2529: +64P({\dot U}^{,i} \Phi_2^i)

2530: -64P({\dot U}^{,i} V_2^i)

2531: -128P({\dot U}^{,i} G_7^i)

2532: -16P({\dot U}^{,i}{\ddot X}^i)

2533: \nonumber \\

2534: &&

2535: +4P(U^{,i}U^{,j}\Phi_1^{ij})

2536: +4P(U^{,i}U^{,j}P_2^{ij})

2537: -64P(U^{,ij}\Sigma^{ij}(U))

2538: -8P(U^{,ij} {\ddot S}(U^{,i}U^{,j})) 

2539: \nonumber \\

2540: &&

2541: -128P(U^{,ij}P(U^{,(i}{\dot V}^{j)})) 

2542: -16P(U^{,ij}P(U^{,(i}{\ddot X}^{,j)})) 

2543: +256P(U^{,ij} P(V^{[k,i]}V^{[k,j]}))

2544: \nonumber \\

2545: &&

2546: -8P(U^{,ij}{\ddot X}^{ij}) 

2547: +32P(V^i {\dot \Phi}_1^{,i})

2548: -16P(V^i {\dot \Phi}_2^{,i})

2549: -16P(V^i \stackrel{(3)}{X^{,i}})

2550: +16P(V^{i,j}{\dot \Phi}_1^{ij})

2551: \nonumber \\

2552: &&

2553: +16P(V^{i,j}{\dot P}_2^{ij})

2554: +96P(V^{i,j}V_2^{j,i})

2555: -96P(V^{i,j}\Phi_2^{j,i})

2556: +192P(V^{i,j} G_7^{j,i})

2557: \nonumber \\

2558: &&

2559: +24P(V^{i,j}{\ddot X}^{j,i})

2560: +8P({\dot V}^i{\dot V}^i)

2561: -16P({\dot V}^i \Phi_1^{,i})

2562: +8P({\dot V^i}{\ddot X}^{,i})

2563: -8P(\Phi_1^{ij,k} \Phi_1^{jk,i})

2564: \nonumber \\

2565: &&

2566: -16P(\Phi_1^{ij,k} P_2^{jk,i})

2567: -8P(P_2^{ij,k} P_2^{jk,i})

2568: +16P(\Phi_1^{,ij} \Phi_1^{ij})

2569: +16P(\Phi_1^{,ij} P_2^{ij})

2570: -8P(\Phi_1^{ij} {\ddot X}^{,ij})

2571: \nonumber \\

2572: &&

2573: -8P(\Phi_2^{,ij} \Phi_1^{ij})

2574: -8P(\Phi_2^{,ij} P_2^{ij})

2575: -8P(P_2^{ij} {\ddot X}^{,ij})

2576: -{1 \over 6} \stackrel{(4)}{Y_1} 

2577: +{1 \over 12} \stackrel{(4)}{Y_2} 

2578: +{1 \over 180}\stackrel{(6)}{Z}

2579: \nonumber \\

2580: &&

2581: -8{\ddot X}(\Phi_1)

2582: +{1 \over 2}{\ddot X}({\ddot X})

2583: +4{\ddot X}^i(V^i)

2584: -2{\ddot S}({\dot U}^2)

2585: -8{\ddot S}(U{\ddot U})

2586: \nonumber \\

2587: &&

2588: -8{\ddot S}(U^{,ij}\Phi_1^{ij})

2589: -8{\ddot S}(U^{,ij}P_2^{ij})

2590: +12{\ddot S}(V^{i,j}V^{j,i})

2591: +8{\ddot S}(U^{,i}{\dot V}^i)

2592: -16{\ddot S}(V^{i}{\dot U}^{,i})

2593: \,, \\

2594: %

2595: %HERE IS B_3

2596: %

2597: B_3 &=& 

2598: {1 \over 2} U^4

2599:  -4U^2\Phi_1

2600: -2U^2\Phi_2 

2601: +16UV^iV^i

2602: -12UG_1

2603: -8UG_2

2604: +16UG_3

2605: +16UG_4

2606: \nonumber \\

2607: &&

2608: -8UG_6

2609: -8UH 

2610: +{1 \over 12}U \stackrel{(4)}{Y}

2611: -8U\Sigma(\Phi_1)

2612: +8U\Sigma^{ii}(U)

2613: -2\Phi_1^2

2614: +8\Phi_1\Phi_2

2615: +2\Phi_2^2

2616: \nonumber \\

2617: &&

2618: +16V^i V_2^i 

2619: -16V^i \Phi_2^i 

2620: +32 V^i G_7^i 

2621: +4V^i {\ddot X}^i 

2622: + {1 \over 4} {\ddot X}^2

2623: -6\Phi_1^{ij}\Phi_1^{ij}

2624: -12 \Phi_1^{ij} P_2^{ij}

2625:  -6 P_2^{ij} P_2^{ij}

2626: \nonumber \\

2627: &&

2628: +8\Sigma(U\Phi_1) 

2629: +12\Sigma(G_1) 

2630: +8\Sigma(G_2)

2631: -16\Sigma(G_3) 

2632: -16\Sigma(G_4) 

2633: +8\Sigma(G_6) 

2634: +8\Sigma(H)

2635: \nonumber \\

2636: &&

2637: -{1 \over 12}\Sigma(\stackrel{(4)}{Y})

2638: -16\Sigma^i(V_2^i) 

2639: +16\Sigma^i(\Phi_2^i) 

2640: -48\Sigma^i(UV^i)

2641: -32\Sigma^i(G_7^i)

2642: -4\Sigma^i({\ddot X}^i)

2643: +24\Sigma^{ii}(U^2) 

2644: \nonumber \\

2645: &&

2646: -28\Sigma^{ii}(\Phi_1)

2647: +8\Sigma^{ii}({\ddot X})

2648: +12\Sigma^{ij}(\Phi_1^{ij}) 

2649: +12\Sigma^{ij}(P_2^{ij})

2650: +8\Sigma(\Sigma(\Phi_1)) 

2651: -8\Sigma(\Sigma^{ii}(U)) 

2652: \nonumber \\

2653: &&

2654: -68P(U{\dot U}^2)

2655: -16P(U{\ddot \Phi}_1)

2656: +8P(U{\ddot \Phi}_2)

2657: +48P({\dot U}{\dot \Phi}_1)

2658: -20P({\dot U} \stackrel{(3)}{X})

2659: -56P({\dot U}U^{,i}V^i)

2660: \nonumber \\

2661: &&

2662: -32P(UU^{,i}{\dot V}^i)

2663: +32P(UV^{i,j} V^{i,j})

2664: -16P(UV^{i,j}V^{j,i})

2665: -32P(U^{,i}{\dot V}_2^i)

2666: +32P(U^{,i}{\dot \Phi}_2^i)

2667: \nonumber \\

2668: &&

2669: -64P(U^{,i} {\dot G}_7^i)

2670: -8P(U^{,i} \stackrel{(3)}{X^i})

2671: -4P(U^{,i}U^{,j}\Phi_1^{ij})

2672: -4P(U^{,i}U^{,j}P_2^{ij})

2673: -32P(V^i {\dot \Phi}_1^{,i})

2674: \nonumber \\

2675: &&

2676: +16P(V^i {\dot \Phi}_2^{,i})

2677: +48P(V^{i,j}{\dot \Phi}_1^{ij})

2678: +48P(V^{i,j}{\dot P}_2^{ij})

2679: +32P(V^{i,j}V_2^{j,i})

2680: -32P(V^{i,j}\Phi_2^{j,i})

2681: \nonumber \\

2682: &&

2683: +64P(V^{i,j} G_7^{j,i})

2684: +8P(V^{i,j}{\ddot X}^{j,i})

2685: +24P({\dot V}^i{\dot V}^i)

2686: +16P({\dot V}^i \Phi_1^{,i})

2687: -8P({\dot V^i}{\ddot X}^{,i})

2688: \nonumber \\

2689: &&

2690: +8P(\Phi_1^{ij,k} \Phi_1^{jk,i})

2691: +16P(\Phi_1^{ij,k} P_2^{jk,i})

2692: +8P(P_2^{ij,k} P_2^{jk,i})

2693: -16P(\Phi_1^{,ij} \Phi_1^{ij})

2694: -16P(\Phi_1^{,ij} P_2^{ij})

2695: \nonumber \\

2696: &&

2697: +8P(\Phi_2^{,ij} \Phi_1^{ij})

2698: +8P(\Phi_2^{,ij} P_2^{ij})

2699: +{1 \over 6} \stackrel{(4)}{Y_1} 

2700: -{1 \over 12} \stackrel{(4)}{Y_2} 

2701: -{1 \over 2}{\ddot X}({\ddot X})

2702: -4{\ddot X}^i(V^i)

2703: +8{\ddot X}^{ii}(U)

2704: \nonumber \\

2705: &&

2706: -10{\ddot S}({\dot U}^2)

2707: +4{\ddot S}(V^{i,j}V^{j,i})

2708: -8{\ddot S}(U^{,i}{\dot V}^i)

2709: +{4 \over 3}{\cal I}\stackrel{(4)\quad}{{\cal I}^{jj}(t)}  

2710: \,, \\

2711: %

2712: %HERE IS N_3.5

2713: %

2714: N_{3.5} &=&

2715: -{1 \over 420}r^4 \stackrel{(7)\quad}{{\cal I}^{jj}(t)}

2716: -{1 \over 105} r^2 x^{ij}\stackrel{(7)\quad}{{\cal I}^{ij}(t)}

2717: +{1 \over 105} r^2x^i \stackrel{(7)\qquad}{{\cal I}^{ijj}(t)}

2718: +{2 \over 315} x^{ijk} \stackrel{(7)\qquad}{{\cal I}^{ijk}(t)}

2719: \nonumber \\

2720: &&

2721: -{1 \over 420}r^2  \stackrel{(7)\qquad}{{\cal I}^{iijj}(t)}

2722: -{1 \over 105} x^{ij} \stackrel{(7)\qquad}{{\cal I}^{ijkk}(t)}

2723: +{1 \over 210} x^i \stackrel{(7)\qquad}{{\cal I}^{ijjkk}(t)}

2724: -{1 \over 1260} \stackrel{(7)\quad \quad}{{\cal I}^{iijjkk}(t)}

2725: \nonumber \\

2726: &&

2727: -\left ({8 \over 15}x^{ij}U +{6 \over 5}x^iX^{,j}+{2 \over 3}r^2X^{,ij}

2728: -{2 \over 9}x^kY^{,ijk}+{11 \over 45}Y^{,ij} \right )

2729: \stackrel{(5)\quad}{{\cal I}^{ij}(t)}

2730: \nonumber \\

2731: &&

2732: + \left ({16 \over 15}r^2U-{34 \over 15}x^iX^{,i}+{16 \over 5}X \right )

2733: \stackrel{(5)\quad}{{\cal I}^{jj}(t)}

2734: - {1 \over 45} (16x^iU-52X^{,i})\stackrel{(5)\qquad}{{\cal I}^{ijj}(t)}

2735: \nonumber \\

2736: &&

2737: + \left ( {4 \over 9} x^kX^{,ij}- {2 \over 27}Y^{,ijk} \right )

2738: \stackrel{(5)\qquad}{{\cal I}^{ijk}(t)}

2739: -{2 \over 15}U\stackrel{(5)\qquad}{{\cal I}^{iijj}(t)}

2740: \nonumber \\

2741: &&

2742: - \left ( {4 \over 3}X^{i,j}- {8 \over 3}x^i{\dot X}^{,j}+ {10 \over 9}{\dot

2743: Y}^{,ij} \right ) \stackrel{(4)\quad}{{\cal I}^{ij}(t)}

2744: +8{\dot X} \stackrel{(4)\quad}{{\cal I}^{jj}(t)}

2745: -{8 \over 9} {\dot X}^{,i} \stackrel{(4)\qquad}{{\cal I}^{ijj}(t)}

2746: \nonumber \\

2747: &&

2748: - \left ( 14UX^{,ij}+2\Sigma(X^{,ij})-4X_1^{,ij}+2X_2^{,ij} + {2 \over

2749: 3}{\ddot Y}^{,ij} \right ) \stackrel{(3)\quad}{{\cal I}^{ij}(t)}

2750: \nonumber \\

2751: &&

2752: + {1 \over 3} (70U^2-16\Phi_1+20\Phi_2+4{\ddot X})\stackrel{(3)\quad}{{\cal

2753: I}^{jj}(t)}

2754: +{8 \over 3}U\stackrel{(3)\qquad}{{M}^{jjkk}(t)}

2755: -{4 \over 3}X^{,ij}\stackrel{(3)\qquad}{{M}^{ijkk}(t)} 

2756: \nonumber \\

2757: &&

2758: +{16 \over 9}x^kX^{,ij}\epsilon^{mk(i} \stackrel{(4)\quad}{{\cal J}^{m|j)}(t)}

2759: -{4 \over 9} (8x^kU-5X^{,k})\epsilon^{mkj}\stackrel{(4)\quad}{{\cal J}^{mj}(t)}

2760: +{16 \over 9}{\dot X}^{,k}\epsilon^{mkj}\stackrel{(3)\quad}{{\cal J}^{mj}(t)}

2761: \,, \\

2762: %

2763: %HERE IS B_3.5

2764: %

2765: B_{3.5} &=&

2766: -{1 \over 60}r^4 \stackrel{(7)\quad}{{\cal I}^{jj}(t)}

2767: +{1 \over 45} r^2x^i \stackrel{(7)\qquad}{{\cal I}^{ijj}(t)}

2768: -{1 \over 5} (Y^{,ij}-6x^iX^{,j})\stackrel{(5)\quad}{{\cal I}^{ij}(t)}

2769: -{1 \over 5} (16X+2x^iX^{,i})\stackrel{(5)\quad}{{\cal I}^{jj}(t)}

2770: \nonumber \\

2771: &&

2772: -{4 \over 15} X^{,i}\stackrel{(5)\qquad}{{\cal I}^{ijj}(t)}

2773: +12X^{i,j}\stackrel{(4)\quad}{{\cal I}^{ij}(t)}

2774: + \left ( 6U^2+ {16 \over 3} \Phi_1-12\Phi_2 \right )

2775: \stackrel{(3)\quad}{{\cal I}^{jj}(t)}

2776: \nonumber \\

2777: &&

2778: - (2UX^{,ij}-2\Sigma(X^{,ij})+4X_1^{,ij}-2X_2^{,ij}-8P_2^{ij} )

2779: \stackrel{(3)\quad}{{\cal I}^{ij}(t)}

2780: \nonumber \\

2781: &&

2782: +{4 \over 45}r^2x^k \epsilon^{mkj}\stackrel{(6)\quad}{{\cal J}^{mj}(t)}

2783: +{4 \over 3} X^{,k} \epsilon^{mkj}\stackrel{(4)\quad}{{\cal J}^{mj}(t)}

2784: \nonumber \\

2785: &&

2786: -{1 \over 15} r^2 \stackrel{(5)\qquad}{{M}^{jjkk}(t)}

2787: -{2 \over 15} x^{jk}\stackrel{(5)\qquad}{{M}^{iijk}(t)}

2788: +{2 \over 15} x^{j}\stackrel{(5)\qquad}{{M}^{iijkk}(t)}

2789: -{1 \over 30} \stackrel{(5)\qquad \quad}{{M}^{iijjkk}(t)} \,.

2790: \end{eqnarray}

2791: \label{NBfinal}

2792: \end{mathletters}

2793: %label{NBfinal}

2794: The final term in the expression for $B_3$

2795: is purely a function of time, and as such does not affect the equations

2796: of motion through 3.5PN order.  It comes in part from the surface terms 

2797: Eqs. (\ref{surfaceterms}), and in 

2798: part from various integrations by parts of Poisson

2799: potentials to achieve the expressions shown.  

2800: In $N_3$, all such terms cancel.  Similarly, purely time-dependent

2801: terms which appear in $N_{3.5}$ and $B_{3.5}$ do not contribute to the

2802: equations of motion.  

2803: 

2804: As

2805: expected, the outer integrals make their first formal contribution to

2806: the field at 3PN order, however, the {\it observable} contribution vanishes

2807: to this order, so we have not shown any such contributions 

2808: explicitly

2809: in Eqs. (\ref{NBfinal}).  In the next subsection, we study the contributions

2810: of the outer integrals

2811: in more detail, and show that through 3.5PN order, all contributions

2812: from the outer integrals are pure gauge terms.

2813: 

2814: \subsection{Outer integrals and the contributions of ``tails''}

2815: \label{nearzonetails}

2816: 

2817: Our earlier qualitative discussion suggested that 

2818: terms involving products of the monopole moment $\cal I$

2819: and the quadrupole moment ${\cal I}^{ij}$ of the far-zone fields would

2820: contribute via the outer integrals at 3PN order.

2821: Because higher multipole moments involve higher powers of $1/r$ or

2822: higher time derivatives, they would be expected to contribute at

2823: even higher PN order.  Thus working through 3.5PN order, we might expect

2824: at most

2825: that 

2826: products of $\cal I$ with quadrupole ${\cal I}^{ij}$, octupole ${\cal I}^{ijk}$ or current quadrupole ${\cal J}^{ij}$

2827: moments would contribute.  Other terms, such as products of $\cal I$ with

2828: higher-order moments, or products of higher-order moments, such as

2829: terms quadratic in ${\cal I}^{ij}$, will be

2830: 4PN order or higher.  In studying the contribution of the outer

2831: integrals to the fields at 3.5PN order, therefore, it suffices

2832: to employ the far-zone field given in Eq. (\ref{farzone1.5PN}).

2833: However, to illustrate the first non-trivial ``tail''

2834: contribution, we will evaluate certain pieces of the 

2835: outer integrals through 4PN order.

2836: 

2837: We substitute Eqs. (\ref{farzone1.5PN})

2838: into Eqs. (\ref{Lambda}) using the

2839: ``quick and dirty'' rule expressed by Eq. (\ref{quickanddirty}) to

2840: determine which terms to keep, and 

2841: obtain, in the far zone,

2842: \begin{mathletters}

2843: \begin{eqnarray}

2844: \Lambda^{00} &=& 

2845: 14{\cal I}r^{-2}{\hat n}^i \partial_{ijk} ({\cal I}^{jk}/r)

2846: -8{\cal I}r^{-1}\partial_{ij} ({\ddot {\cal I}}^{ij}/r)

2847: +8 {\cal I}r^{-2}{\hat n}^i \partial_{j} ({\ddot {\cal I}}^{ij}/r)

2848: -24{\cal I}r^{-4}{\hat n}^{<ij>} {\ddot {\cal I}}^{ij}

2849: \nonumber \\ 

2850: &&

2851: -2{\cal I}r^{-2}{\hat n}^i \partial_{i} ({\ddot {\cal I}}^{jj}/r) 

2852: -{14 \over 3} {\cal I}r^{-2}{\hat n}^i \partial_{ijkl} ({\cal

2853: I}^{jkl}/r)

2854: +{8 \over 3}{\cal I}r^{-1}\partial_{ijk} ({\ddot {\cal I}}^{ijk}/r)

2855: \nonumber \\

2856: &&

2857: -{8 \over 3}{\cal I}r^{-2}{\hat n}^i \partial_{jk} ({\ddot {\cal I}}^{ijk}/r)

2858: -8 {\cal I}r^{-3}{\hat n}^{<ij>} \partial_{k} ({\ddot {\cal I}}^{ijk}/r)

2859: -{2 \over 3}{\cal I}r^{-2}{\hat n}^i \partial_{ij} ({\ddot {\cal

2860: I}}^{jkk}/r)

2861: \nonumber \\

2862: &&

2863: +{16 \over 3} {\cal I}r^{-2}{\hat n}^i \epsilon^{aib} \partial_{ak}

2864: ({\dot {\cal J}}^{bk}/r)

2865: -32 {\cal I}r^{-3}{\hat n}^{<ij>}\epsilon^{aki} \partial_{k}({\dot

2866: {\cal J}}^{aj}/r)

2867: -{8 \over 3} {\cal I}r^{-2}{\hat n}^i \epsilon^{akj} \partial_{ik}

2868: ({\dot {\cal J}}^{aj}/r) 

2869: \nonumber \\

2870: &&

2871: + O(\rho \epsilon^4) \,,\\

2872: %

2873: %

2874: \Lambda^{0i} &=& 

2875: 8{\cal I}r^{-2}{\hat n}^j \partial_{ik} ({\dot {\cal I}}^{jk}/r)

2876: -8{\cal I}r^{-2}{\hat n}^j \partial_{jk} ({\dot {\cal I}}^{ik}/r)

2877: -6{\cal I}r^{-2}{\hat n}^i \partial_{jk} ({\dot {\cal I}}^{jk}/r)

2878: \nonumber \\

2879: &&

2880: +8{\cal I}r^{-1} \partial_{j} (\stackrel{(3)}{{\cal I}^{ij}}/r)

2881: -{8 \over 3} {\cal I}r^{-1} \partial_{jk} (\stackrel{(3)}{{\cal

2882: I}^{ijk}}/r)

2883: +{16 \over 3} {\cal I}r^{-1} \epsilon^{iab} \partial_{ak}

2884: ({\ddot {\cal J}}^{bk}/r)

2885: \nonumber \\

2886: &&

2887: -8 {\cal I}r^{-2}{\hat n}^j (\stackrel{(3)}{{\cal I}^{ij}}/r)

2888: +2{\cal I}r^{-2}{\hat n}^i (\stackrel{(3)}{{\cal I}^{jj}}/r)

2889: +O(\rho \epsilon^{7/2}) \,, \\

2890: \Lambda^{ii} &=&

2891: 2 {\cal I}r^{-2}{\hat n}^i \partial_{ijk} ({\cal I}^{jk}/r)

2892: -8 {\cal I}r^{-2}{\hat n}^i \partial_{j} ({\ddot {\cal I}}^{ij}/r)

2893: +2{\cal I}r^{-2}{\hat n}^i \partial_{i} ({\ddot {\cal I}}^{jj}/r)

2894: \nonumber \\

2895: &&

2896: -8{\cal I}r^{-2} \stackrel{(4)}{{\cal I}^{ii}}

2897: -{2 \over 3}{\cal I}r^{-2}{\hat n}^i \partial_{ijkl} ({\cal I}^{jkl}/r)

2898: +{8 \over 3}{\cal I}r^{-2}{\hat n}^i \partial_{jk} ({\ddot {\cal

2899: I}}^{ijk}/r)

2900: \nonumber \\

2901: &&

2902: +{2 \over 3}{\cal I}r^{-2}{\hat n}^i \partial_{ij} ({\ddot {\cal

2903: I}}^{jkk}/r)

2904: -{8 \over 3}{\cal I}r^{-1} \partial_{i} (\stackrel{(4)}{{\cal

2905: I}^{ijj}}/r)

2906: -{16 \over 3} {\cal I}r^{-2}{\hat n}^i \epsilon^{aib} \partial_{ak}

2907: ({\dot {\cal J}}^{bk}/r)

2908: \nonumber

2909: \\ &&

2910: +{8 \over 3} {\cal I}r^{-2}{\hat n}^i \epsilon^{akj} \partial_{ik}

2911: ({\dot {\cal J}}^{aj}/r)

2912: -{32 \over 3}{\cal I}r^{-1}\epsilon^{aki} \partial_{k}(\stackrel{(3)}{{\cal

2913: J}^{ai}}/r)

2914: + O(\rho \epsilon^4) \,,

2915: \\

2916: \Lambda^{ij} &=& 

2917: -8{\cal I}r^{-2} \stackrel{(4)}{{\cal I}^{ij}} + O(\rho \epsilon^3) \,.

2918: \end{eqnarray}

2919: \end{mathletters}

2920: All moments ${\cal I}^{ij}$, ${\cal I}^{ijk}$, and ${\cal J}^{ij}$

2921: in these expression are functions of retarded time $t-r$.  

2922: Notice that the term kept in $\Lambda^{ij}$ is actually of $O(\rho

2923: \epsilon^3)$  (4PN order) according to our scheme, however because it 

2924: has $1/r^2$

2925: dependence, it will yield a 4PN tail contribution of a form 

2926: which we wish to keep.

2927: 

2928: We expand the derivatives and evaluate the coefficients ${\cal

2929: E}_{B,L}^q$ and ${\cal E}_{2,L}^q$ [Eqs. (\ref{calE}) and (\ref{calE2})]

2930: for each term, throwing away all

2931: $\cal R$-dependent terms.  Terms with $1/r^2$ fall-off yield integrals

2932: over Legendre functions $Q_L$, as in Eq. (\ref{outernear2}).  

2933: The

2934: result, through 3.5PN order (and keeping all formally 4PN terms involving

2935: integrals over $Q_L$),  is

2936: \begin{mathletters}

2937: \begin{eqnarray}

2938: (N_3)_{{\cal C}-{\cal N}} &=& 

2939: {\cal I} \biggl \{ -8 {\hat n}^{<ij>} \int_1^\infty \stackrel{(4)}{{\cal

2940: I}^{ij}}(t-r\zeta) Q_2(\zeta)d\zeta

2941: -{8 \over 3} \int_1^\infty \stackrel{(4)}{{\cal

2942: I}^{jj}}(t-r\zeta) Q_0(\zeta)d\zeta

2943: \nonumber \\

2944: &&

2945:  \quad +{4 \over 3} ({\hat n}^{<ij>} - 2\delta^{ij} -2\delta^{ij}\ln r)

2946: \stackrel{(4)}{{\cal I}^{ij}}(t) \biggr \} 

2947: \,, \\

2948: (N_{3.5})_{{\cal C}-{\cal N}} &=&

2949: {\cal I} \biggl \{ 

2950: -{8 \over 3}{\hat n}^{<ijk>} \int_1^\infty \stackrel{(5)}{{\cal

2951: I}^{ijk}}(t-r\zeta) Q_3(\zeta)d\zeta

2952: -{8 \over 5}{\hat n}^{i} \int_1^\infty \stackrel{(5)}{{\cal

2953: I}^{ijj}}(t-r\zeta) Q_1(\zeta)d\zeta

2954: \nonumber \\

2955: &&

2956: \quad -{2 \over 3} r(3{\hat n}^{<ij>}-2\delta^{ij})

2957: \stackrel{(5)}{{\cal I}^{ij}}(t)

2958: +{2 \over 45} (5{\hat n}^{<ijk>} + 18{\hat n}^{i}\delta^{jk})

2959: \stackrel{(5)}{{\cal I}^{ijk}}(t) \biggr \}

2960: \,, \\

2961: %(N_{4})_{{\cal C}-{\cal N}} &=&

2962: %{\cal I} \biggl \{ 

2963: %-{2 \over 3} {\hat n}^{<ijkl>} \int_1^\infty \stackrel{(6)}{{\cal

2964: %I}^{ijkl}}(t-r\zeta) Q_4(\zeta)d\zeta

2965: %-{4 \over 3} {\hat n}^{<ij>} \int_1^\infty \stackrel{(6)}{{\cal

2966: %I}^{ijkk}}(t-r\zeta) Q_2(\zeta)d\zeta

2967: %-{2 \over 15} \int_1^\infty \stackrel{(6)}{{\cal

2968: %I}^{iikk}}(t-r\zeta) Q_0(\zeta)d\zeta \biggr \}

2969: %\,, \\

2970: (K_{3.5})^i_{{\cal C}-{\cal N}} &=&

2971: {\cal I} \biggl \{ -8{\hat n}^{j}\int_1^\infty \stackrel{(4)}{{\cal

2972: I}^{ij}}(t-r\zeta) Q_1(\zeta)d\zeta

2973: + 4{\hat n}^j \stackrel{(4)}{{\cal I}^{ij}}(t) \biggr \}

2974: \,,\\

2975: (K_4)^i_{{\cal C}-{\cal N}} &=&

2976: {\cal I} \biggl \{

2977: -{8 \over 3} {\hat n}^{<jk>} \int_1^\infty \stackrel{(5)}{{\cal

2978: I}^{ijk}}(t-r\zeta) Q_2(\zeta)d\zeta

2979: -{8 \over 9}  \int_1^\infty \stackrel{(5)}{{\cal

2980: I}^{ijj}}(t-r\zeta) Q_0(\zeta)d\zeta

2981: \nonumber \\

2982: &&

2983: \quad +{16 \over 3} {\hat n}^{<ak>} \epsilon^{iaj} \int_1^\infty \stackrel{(4)}{{\cal

2984: J}^{jk}}(t-r\zeta) Q_2(\zeta)d\zeta

2985: \nonumber \\

2986: &&

2987: \quad +{16 \over 9} \epsilon^{ikj} \int_1^\infty \stackrel{(4)}{{\cal

2988: J}^{jk}}(t-r\zeta) Q_0(\zeta)d\zeta \biggr \}

2989: \,, \\

2990: (B_3)_{{\cal C}-{\cal N}} &=&

2991: {\cal I} \biggl \{

2992: -8 \int_1^\infty \stackrel{(4)}{{\cal

2993: I}^{ii}}(t-r\zeta) Q_0(\zeta)d\zeta

2994: +8(1-\ln r)\stackrel{(4)}{{\cal I}^{ii}}(t) \biggr \}

2995: \,,\\

2996: (B_{3.5})_{{\cal C}-{\cal N}} &=&

2997: {\cal I} \biggl \{

2998: +{8 \over 3} {\hat n}^i \int_1^\infty \stackrel{(5)}{{\cal

2999: I}^{ijj}}(t-r\zeta) Q_1(\zeta)d\zeta

3000: +{32 \over 3} \epsilon^{aij}{\hat n}^i \int_1^\infty

3001: \stackrel{(4)}{{\cal J}^{aj}}(t-r\zeta) Q_1(\zeta)d\zeta 

3002: \nonumber \\

3003: &&

3004: +4r \stackrel{(5)}{{\cal I}^{ii}}(t)

3005: -{4 \over 3} {\hat n}^i \stackrel{(5)}{{\cal

3006: I}^{ijj}}(t)

3007: -{16 \over 3} \epsilon^{aij}{\hat n}^i \stackrel{(4)}{{\cal

3008: J}^{aj}}(t) \biggr \}

3009: \,, \\

3010: %(B_4)_{{\cal C}-{\cal N}} &=&

3011: %{\cal I} \biggl \{

3012: %-16 {\hat n}^{<jk>} \int_1^\infty \stackrel{(4)}{{

3013: %M}^{iijk}}(t-r\zeta) Q_2(\zeta)d\zeta

3014: %-{16 \over 3} \int_1^\infty \stackrel{(4)}{{

3015: %M}^{iijj}}(t-r\zeta) Q_0(\zeta)d\zeta \biggr \}

3016: %\,, \\

3017: (B_4)^{ij}_{{\cal C}-{\cal N}} &=&

3018: - 8 {\cal I}

3019: \int_1^\infty \stackrel{(4)}{{\cal

3020: I}^{ij}}(t-r\zeta) Q_0(\zeta)d\zeta \,.

3021: \end{eqnarray}

3022: \label{outerterms}

3023: \end{mathletters}

3024: %label{outerterms}

3025: 

3026: Using the recursion

3027: relations satisfied by Legendre functions, we can establish

3028: the general formulae:

3029: \begin{eqnarray}

3030: \int_1^\infty X(t-r\zeta) Q_L(\zeta)d\zeta &=& {1 \over {L(L+1)}} X(t-r)

3031: \nonumber \\

3032: && 

3033: -{1 \over {2L+1}} \int_1^\infty X^\prime (t-r\zeta) 

3034: (Q_{L+1}(\zeta) - Q_{L-1}(\zeta) )d\zeta \,,

3035: \nonumber \\

3036: \int_1^\infty X(t-r\zeta) Q_0(\zeta)d\zeta &=&  X(t-r)

3037: -\int_1^\infty X^\prime(t-r\zeta) (Q_{1}(\zeta) + Q_{0}(\zeta) )d\zeta 

3038: \nonumber \\

3039: && 

3040: +\int_0^\infty \dot X(t-r-s) \ln (s/2r) ds \,,

3041: \end{eqnarray}

3042: where prime denotes $\partial/\partial \zeta$, $s=r(\zeta -1)$, 

3043: $X$ represents one of the multipole moments of the system

3044: (${\cal I}^{ij}$ and higher), and  we assume

3045: that, in the distant past the system becomes sufficiently

3046: ``stationary'' that as $s \to \infty$, $X(t-r-s) \ln s \to 0$.

3047: Since for a binary system that

3048: becomes unbound ($r \to v_0 s$) in the infinite past (because of

3049: gravitational-radiation anti-damping, looking backwards), 

3050: $X$ in the worst 

3051: case is proportional to $(d/dt)^4{{\cal

3052: I}^{ij}} \sim mv^4/r^2 \to mv_0^2/s^2$, then this boundary condition is

3053: satisfied (see \cite{walkerwill2} for a detailed discussion of the past behavior

3054: of binary systems whose evolution includes gravitational radiation

3055: reaction).  Repeated use of these identities allows us to 

3056: convert many of the integrals in Eqs. (\ref{outerterms}) into 

3057: integrals of higher time-derivatives

3058: of the expressions, which are thus of higher PN order, plus residual

3059: terms that cancel many of the non-integral terms in Eqs. (\ref{outerterms}).  

3060: It is also useful to expand the

3061: retarded time $t-r-s$ about $t-s$, and to separate the $\ln r$ 

3062: terms from the $\ln (s/2)$ terms in the integrals, leaving only terms

3063: proportional to $X^{(n)}(t)$ and $\int_0^\infty X^{(n)}(t-s) \ln (s/2)

3064: ds$. 

3065: In the end, the only terms that remain at 3PN and 3.5PN order are

3066: \begin{mathletters}

3067: \begin{eqnarray}

3068: N_{{\cal C}-{\cal N}} &=& {\cal I} \biggl \{

3069: - {16 \over 3} \stackrel{(4)}{{\cal I}^{ii}}(t)

3070: -{8 \over 3} \int_0^\infty \stackrel{(5)}{{\cal I}^{ii}}(t-s) \ln

3071: (s/2) ds \biggr \} +O(\epsilon^5)\,, \\

3072: K^i_{{\cal C}-{\cal N}} &=& O(\epsilon^{9/2}) \,, \\

3073: B^{ij}_{{\cal C}-{\cal N}}&=& O(\epsilon^{4}) \,, \\

3074: B_{{\cal C}-{\cal N}}&=& -8 {\cal I}  \int_0^\infty \stackrel{(5)}{{\cal

3075: I}^{ii}}(t-s) \ln (s/2) ds  +O(\epsilon^5)\,.

3076: \end{eqnarray}

3077: \label{NBresidual}

3078: \end{mathletters}

3079: %label{NBresidual}

3080: As these are purely functions of time, they do not contribute to the

3081: equations of motion through 3.5PN order.

3082: Alternatively, one can show that the terms in Eqs. (\ref{outerterms})

3083: turn out to be purely gauge

3084: terms through 3.5PN order.  In fact, by making the gauge transformation

3085: $h^{\mu\nu} \to h^{\mu\nu} - \xi^{\mu,\nu} - \xi^{\nu,\mu}

3086: +\eta^{\mu\nu} \xi^\alpha_{,\alpha}$ (the linear transformation

3087: suffices to this order), with

3088: \begin{eqnarray}

3089: \xi^0 &=& 

3090: {\cal I} \biggl \{

3091: {4 \over 3} \stackrel{(3)}{{\cal I}^{ii}}(t) 

3092: +{8 \over 3} \int_0^\infty \stackrel{(4)}{{\cal I}^{ii}}(t-s) \ln (s/2) ds

3093: -{2 \over 3} x^{ij} \int_0^\infty \stackrel{(6)}{{\cal I}^{ij}}(t-s)

3094: \ln (s/2) ds

3095: \nonumber \\

3096: &&

3097: \quad + {2 \over 3} r^2 \int_0^\infty \stackrel{(6)}{{\cal I}^{ii}}(t-s)

3098: \ln (s/2) ds

3099: + {4 \over 45} x^i \int_0^\infty \stackrel{(6)}{{\cal I}^{ijj}}(t-s)

3100: \ln (s/2) ds

3101: \nonumber \\

3102: &&

3103: \quad +{8 \over 9} x^i \epsilon^{ikj} \int_0^\infty \stackrel{(5)}

3104: {{\cal J}^{jk}}(t-s) \ln (s/2) ds

3105: %\nonumber \\

3106: %&&

3107: %+ {16 \over 3}\int_0^\infty \stackrel{(4)} {{M}^{iijj}}(t-s) \ln (s/2) ds

3108: %+{2 \over 5} \int_0^\infty \stackrel{(6)} {{\cal I}^{iijj}}(t-s) \ln (s/2)

3109: %ds

3110: \biggr \} 

3111: \,,\\

3112: \xi^i &=& 

3113: {\cal I} \biggl \{

3114: -4x^j \int_0^\infty \stackrel{(5)}{{\cal I}^{ij}}(t-s) \ln (s/2) ds

3115: + {4 \over 3}x^i \int_0^\infty \stackrel{(5)}{{\cal I}^{jj}}(t-s) \ln (s/2) ds

3116: \nonumber \\

3117: &&

3118: \quad +{44 \over 45} \int_0^\infty \stackrel{(5)}{{\cal I}^{ijj}}(t-s) \ln

3119: (s/2) ds

3120: -{8 \over 9} \epsilon^{ikj} \int_0^\infty \stackrel{(4)}

3121: {{\cal J}^{jk}}(t-s) \ln (s/2) ds \biggr \} \,,

3122: \end{eqnarray}

3123: we can convert the outer integral contributions to $h^{\alpha\beta}$

3124: in Eq. (\ref{outerterms})

3125: to a form consisting of nothing but a 4PN tail term:

3126: \begin{eqnarray}

3127: (N+B)_{{\cal C}-{\cal N}} &=&

3128: -{16 \over 5} {\cal I} x^{ij} \int_0^\infty \stackrel{(7)\qquad}

3129: {{\cal I}^{<ij>}}(t-s) \ln (s/2) ds  +O(\epsilon^5) \,, \nonumber \\

3130: (K^i)_{{\cal C}-{\cal N}} &=& O(\epsilon^{9/2}) \,, \nonumber \\

3131: (B^{ij})_{{\cal C}-{\cal N}}  &=& O(\epsilon^{4}) \,.

3132: \label{tailfinal4PN}

3133: \end{eqnarray}

3134: %label{tailfinal4PN}

3135: Note that, to this order, $N+B = 2 g_{00}$, and only the gradient

3136: of the term in Eq. (\ref{tailfinal4PN}) 

3137: contributes to the acceleration, hence this 

3138: term can be thought of as a 4PN tail modification of the Newtonian

3139: gravitational potential, or as a 1.5PN modification due to tails of the

3140: 2.5PN radiation-reaction potentials.  This result is in complete agreement with

3141: the near-zone tail contribution derived by Blanchet and Damour \cite{bd88} 

3142: using

3143: matched asymptotic expansions within the post-Minkowskian formalism.

3144: 

3145: \section{Discussion}

3146: 

3147: We have presented a method for direct integration of the relaxed Einstein

3148: equations in a post-Newtonian expansion, applicable to equations of motion

3149: and gravitational radiation from isolated gravitating systems.  As a

3150: foundation for future work, we presented a solution for the near-zone

3151: gravitational field through 3.5 post-Newtonian order

3152: in terms of Poisson potentials, together with a

3153: prescription for ensuring that no divergent or undefined integrals occur.

3154: In subsequent work, we will apply the near-zone results to the derivation of

3155: equations of motion for binary systems of compact objects through 2.5 PN

3156: order, and including 3.5 PN radiation reaction terms.  Work on the 3PN

3157: contributions to the equations of motion is in progress.  

3158: 

3159: The results presented here can also be applied to the gravitational

3160: radiation wave-form and energy flux from binary systems to as high as 3PN

3161: order beyond the quadrupole approximation.  It can also be used to discuss

3162: equations of motion and radiation damping of systems containing spinning

3163: bodies, as well as the structure and evolution of fluid bodies.  These will

3164: be the subject of future work.

3165: 

3166: \acknowledgments

3167: We gratefully acknowledge useful discussions with Luc Blanchet.  This

3168: research was supported in part by the National Science Foundation under

3169: Grant No. PHY 96-00049.  The initial phase of this work

3170: was also supported by Fellowships to CW from the

3171: Fulbright Foundation and the J. S. Guggenheim Foundation.  CW is grateful to

3172: the Observatoire de Paris, Meudon and the Centre National de la Recherche

3173: Scientifique in France, and to the Hebrew University of Jerusalem, for

3174: hospitality and support during a sabbatical year where this work began in

3175: earnest.

3176: 

3177: \appendix

3178: 

3179: \section{STF Tensors and their properties}

3180: \label{STF}

3181: 

3182: Throughout this series of papers, we shall make frequent use of the properties

3183: of symmetric, trace-free (STF) products of unit vectors.

3184: The general

3185: formula for such STF products is

3186: \begin{eqnarray}

3187: \hat n^{<L>} \equiv \sum_{p=0}^{[l/2]} (-1)^p {{(2l-l-2p)!!} \over

3188: {(2l-1)!!}} \left [ \hat n^{L-2P} \delta^P + {\rm sym(q)} \right ] \;,

3189: \label{STFgen}

3190: \end{eqnarray}

3191: %label{STFgen}

3192: where $[l/2]$ denotes the integer just less than or equal to

3193: $l/2$, the capitalized superscripts denote the dimensionality, $l-2p$

3194: or $p$, of

3195: products of $\hat n^i$ or $\delta^{ij}$ respectively,

3196: and ``sym(q)'' denotes all

3197: distinct terms arising from permutations of

3198: indices, where $q=l!/[(2^p p!(l-2p)!]$ is the total number of such

3199: terms (see \cite{bd86,thorne80} for compendia of formulae).  For

3200: convenience, we display the

3201: first several examples explicitly

3202: \begin{mathletters}

3203: \label{STFformulae}

3204: \begin{eqnarray}

3205: \hat n^{<ij>} &=& \hat n^{ij} - {1 \over 3} \delta^{ij} \;, \\

3206: \hat n^{<ijk>} &=& \hat n^{ijk} - {1 \over 5} (\hat n^i \delta^{jk} +\hat

3207: n^j \delta^{ik} + \hat n^k \delta^{ij}) \;, \\

3208: \hat n^{<ijkl>} &=& \hat n^{ijkl} - {1 \over 7}(\hat n^{ij}\delta^{kl}

3209: + {\rm sym(6)}) +{1 \over

3210: 35}(\delta^{ij}\delta^{kl}+\delta^{ik}\delta^{jl}+\delta^{il}\delta^{jk})

3211: \;, \\

3212: \hat n^{<ijklm>} &=& \hat n^{ijklm} - {1 \over 9}(\hat n^{ijk}\delta^{kl}

3213: + {\rm sym(10)}) +{1 \over

3214: 63}(\hat n^i \delta^{jk}\delta^{lm} +{\rm sym(15)})

3215: \;, \\

3216: \hat n^{<ijklmn>} &=& \hat n^{ijklmn} - {1 \over 11}(\hat

3217: n^{ijkl}\delta^{mn}

3218: + {\rm sym(15)}) +{1 \over

3219: 99}(\hat n^{ij}\delta^{kl}\delta^{mn}+ {\rm sym(45)}) \nonumber \\

3220: &&-{1 \over 693} (\delta^{ij}\delta^{kl}\delta^{mn}+ {\rm sym(15)} )

3221: \;.

3222: \end{eqnarray}

3223: \end{mathletters}

3224: %label{STFformulae}

3225: There is a close connection between these STF tensors and spherical

3226: harmonics.  For example, it is straightforward to show that, for any

3227: unit vector $\bf \hat N$, the contraction of $\hat N^L$ with $\hat

3228: n^{<L>}$ is given by

3229: \begin{eqnarray}

3230: \hat N^L \hat n^{<L>} = {{l!} \over {(2l-1)!!}} P_l ({\bf \hat N \cdot

3231: \hat n}) \;,

3232: \label{legendre}

3233: \end{eqnarray}

3234: %label{legendre}

3235: where $P_l$ is a Legendre polynomial.

3236: 

3237: \section{Cancellation of $\cal R$-dependence between inner and outer

3238: integrals}

3239: \label{cancellation}

3240: 

3241: Here we demonstrate explicitly the cancellation of $\cal R$-dependent

3242: terms between the inner and outer integrals.  We assume that, at each

3243: iteration step, from just inside the boundary of the near zone out

3244: into the far zone, the source stress-energy tensor

3245: $_{N-1}\Lambda^{\alpha\beta}$ can be decomposed into terms of the form

3246: $f_{B,L}(u){\hat n}^{<L>} r^{-B}$, where $u=t-r$ is retarded time,

3247: and

3248: ${\hat n}^{<L>}$ is a STF product of unit radial vectors.  We

3249: calculate the behavior of the inner integral of such a term as the

3250: integration variable approaches $\cal R$ from below with the result

3251: obtained from the outer integral of the same term.  We consider

3252: far-zone and near-zone field points separately.

3253: 

3254: \subsection{Far-zone field points}

3255: 

3256: The inner integral is given by Eq. (\ref{genexpand}), with the

3257: multipole moment given by Eq. (\ref{genmoment}).  We want to examine

3258: the behavior of the moment, as $|{\bf x}^\prime| \to {\cal R}$, that

3259: is 

3260: \begin{eqnarray}

3261: M^{\alpha\beta {\bar Q}}(u) &\to& {1 \over {16\pi}} \int^{\cal R}

3262: f_{B,L}(u-r^\prime) {{{{\hat n}}^{\prime <L>}} \over {{r^\prime}^B}}

3263: {x^\prime}^{\bar Q} {r^\prime}^2 dr^\prime d\Omega^\prime 

3264: \nonumber\\

3265: &=& {1 \over 4} \sum_{m=0}^\infty {(-1)^m \over m!} f_{B,L}^{(m)}(u)

3266: G_{B,L,{\bar Q}}^m ({\cal R}) \Delta^{L,{\bar Q}} \,, 

3267: \end{eqnarray}

3268: where the superscript $(m)$ denotes $m$ retarded time derivatives,

3269: and where

3270: \begin{mathletters}

3271: \begin{eqnarray}

3272: \Delta^{L,{\bar Q}} &=& {1 \over {4\pi}} \oint {\hat n}^{<L>} {\hat n}^{\bar

3273: Q}

3274: d\Omega \,, \\

3275: G_{B,L,{\bar Q}}^m ({\cal R}) &=& \int^{\cal R} {r^\prime}^{2+{\bar

3276: q}-B+m}

3277: d{r^\prime} \nonumber \\

3278: &=& \left \{ \begin{array}{ll}

3279: {\cal R}^{3+{\bar q}-B+m}/ ({3+{\bar q}-B+m}) & 3+{\bar q}-B+m \ne 0 \\

3280: \ln {\cal R} & 3+{\bar q}-B+m=0

3281: \end{array} \right . \,.

3282: \end{eqnarray}

3283: \end{mathletters}

3284: Then, from inside ${\cal R}$, 

3285: \begin{equation}

3286: {h^{\alpha\beta}_{\cal N}}_{B,L}  \to 

3287: \sum_{{\bar q}=0}^\infty {{(-1)^{\bar q}} \over {{\bar q}!}}

3288: \sum_{m=0}^\infty {{(-1)^m} \over {m!}} 

3289: \partial_{\bar Q} \left ( {1 \over r} f_{B,L}^{(m)}(u) \right )

3290: G_{B,L,{\bar Q}}^m ({\cal R})\Delta^{L,{\bar Q}} \,.

3291: \end{equation}

3292: It is straightforward to show that

3293: the contraction of $\partial_{\bar Q}$ with $\Delta^{L,{\bar Q}}$ is given by

3294: \begin{equation}

3295: \Delta^{L,{\bar Q}} \partial_{\bar Q} = \left \{ \begin{array}{ll}

3296: 0 & {\bar q}<L \\

3297: 0 & L+{\bar q} = {\rm odd} \\

3298: {{2^L {\bar q}! (({\bar q}+L)/2)!} \over 

3299: {({\bar q}+L+1)!(({\bar q}-L)/2)!}} |\nabla^2|^{({\bar q}-L)/2} 

3300: \partial_{<L>} & {\bar q} \ge L 

3301: \end{array}

3302: \right . \,.

3303: \end{equation}

3304: Using the fact that

3305: \begin{mathletters}

3306: \begin{eqnarray}

3307: \nabla^2 \left ( {f(u) \over r} \right )&=& {{\ddot f} \over r} \,,\\

3308: \partial_{<L>} \left ( {f(u) \over r} \right )  &=& (-1)^L {\hat n}^{<L>} 

3309: \sum_{k=0}^L

3310: {{(L+k)!} \over {2^k k!(L-k)!}} {{f^{(L-k)}(u)} \over {r^{k+1}}} \,,

3311: \end{eqnarray}

3312: \end{mathletters}

3313: (see eg. \cite{bd86}) 

3314: and redefining summation variables, $q=m+{\bar q}-k$, $j=L-k$, 

3315: we obtain Eqs. (\ref{farinnerlimit}) and

3316: (\ref{farinnerlimit2}).  Evaluating the outer integral for the same term yields

3317: $z$-dependent or $\ln {\cal R}$-dependent terms that are precisely

3318: equal and opposite those of Eq. (\ref{farinnerlimit2}).

3319: 

3320: \subsection{Near-zone field point}

3321: 

3322: In the near zone, for $|{\bf x}^\prime| > |{\bf x}|$, Eq.

3323: (\ref{nearnewversion}) together with the specific decomposition of

3324: $\Lambda^{\alpha\beta}$ gives

3325: \begin{equation}

3326: {_N h^{\alpha\beta}_{\cal N}}_{B,L}  \to

3327: {1 \over 4\pi} \sum_{{\bar q}=0}^\infty {{(-1)^{\bar q}} \over {{\bar q}!}}

3328: \sum_{m=0}^\infty {{(-1)^m} \over {m!}} x^{\bar Q} \partial_t^n

3329: \int^{\cal R} f_{B,L} (t-r^\prime)  

3330: {{{\hat n}^{\prime <L>}} \over {{r^\prime}^B}}

3331: \partial_{\bar Q}^\prime ({r^\prime}^{m-1})

3332:  {r^\prime}^2 dr^\prime d\Omega^\prime \,.

3333: \end{equation}

3334: We use the fact that \cite{bd86}

3335: \begin{eqnarray}

3336: \partial_{\bar Q}^\prime {r^\prime}^{m-1} 

3337: &=& \sum_{k=0}^{k_m} {{(2{\bar q}-4k+1)!!} \over

3338: {(2{\bar q}-2k+1)!!}}{m! \over  {(m-2k)!}} \left [ {{(m-2k-1)!!} \over

3339: {(m-2{\bar q}+2k-1)!!}} \right ] 

3340: \nonumber \\

3341: && \quad \times {{{\bar q}!} \over {2^k k! ({\bar

3342: q}-2k)!}} \delta^K {\hat n}^{\prime <{\bar Q}-2K>} {r^\prime}^{m-{\bar q}-1} \,,

3343: \end{eqnarray}

3344: where $k_m = {\rm lesser \, of} \{[{\bar q}/2],[m/2] \}$, 

3345: $\delta^K$ denotes a product of $K$ Kronecker deltas, the quantity in

3346: square brackets can be evaluated for negative or positive values of

3347: the arguments, and the

3348: expression $\delta^K {\hat n}^{\prime <{\bar Q}-2K>}$

3349: is to be symmetrized on all indices (since the expression

3350: ultimately is to be contracted on $x^{\bar Q}$ no explicit symmetrization is

3351: needed).    

3352: It can then be shown that 

3353: \begin{equation}

3354: {\hat n}^{\bar Q} {1 \over 4\pi} \oint \delta^K {\hat n}^{\prime <{\bar

3355: Q}-2K>} {\hat n}^{\prime <L>} d\Omega^\prime = {L! \over {(2L+1)!!}}

3356: \delta_{L,{\bar q}-2k} {\hat n}^{<L>} \,.

3357: \end{equation}

3358: We then expand

3359: $f(t-r^\prime) = \Sigma_{n=0}^\infty (-1)^n f^{(n)}(t) {r^\prime}^n/n!$, 

3360: integrate over $r^\prime$

3361: toward $\cal R$, rearrange the summations, and define $r=({\bar q}-L)/2$,

3362: and $q=m+n$, and obtain

3363: \begin{equation}

3364: {_Nh^{\alpha\beta}_{\cal N}}_{B,L} \to  \left ( {2 \over r}

3365: \right ) ^{B-2}

3366: {\hat n}^{<L>} \sum_{q=0}^\infty {\cal E}^{{\rm in},q}_{B,L} (z) r^q {{d^q

3367: f_{B,L}(t)} \over {dt^q}} \,,

3368: \label{nearinnerlimit}

3369: \end{equation}

3370: %label{nearinnerlimit}

3371: with

3372: \begin{eqnarray}

3373: {\cal E}^{{\rm in},q}_{B,L} (z) &=& \sum_{r=0}^{[q/2]} \sum_{m=2r}^{q}

3374: {{(-1)^{L+q} (2)^{2+L-B}(L+r)!} \over {(q-m)!(2L+2r+1)!(m-2r)!r!}} 

3375: \left [ {{(m-1-2r)!!} \over {(m-1-2r-2L)!!}} \right ]

3376: \nonumber \\

3377: &&  \qquad  \times \left \{ \begin{array}{ll}

3378: {z^{q-L-2r-B+2}/  (q-L-2r-B+2)} & \quad q-L-2r-B+2 \ne 0 \\

3379: \ln {\cal R}  & \quad q-L-2r-B+2 =0 \,. \end{array}

3380: \right .

3381: \label{nearinnerlimit2}

3382: \end{eqnarray}

3383: %label{nearinnerlimit2}

3384: Here too, evaluating the outer integral for the same term, for each

3385: $B$, $L$ and $q$  yields

3386: $z$-dependent or $\ln {\cal R}$-dependent terms that are precisely

3387: equal and opposite those of Eq. (\ref{nearinnerlimit2}).

3388: 

3389: \subsection{Source terms with $\ln r$ dependence}

3390: 

3391: Until now we have assumed that the stress-energy source 

3392: $\Lambda^{\alpha\beta}$ can be decomposed into terms of the form 

3393: $f_{B,L}(u) {\hat n}^{<L>} r^{-B}$.  At sufficiently high PN order, 

3394: tail contributions to  the fields will arise, leading to the

3395: possibility of $\ln r$ dependence in $\Lambda^{\alpha\beta}$.  To

3396: illustrate that cancellation of $\cal R$ dependence occurs in this

3397: event also, we consider source terms of the form 

3398: $f_{B,L}(u^\prime) {\hat n}^{\prime <L>} {r^\prime}^{-B} \ln {r^\prime}$. 

3399: Noting that, from Eq. (\ref{rprime1}), $\ln r^\prime = - \ln [2(\zeta

3400: -y)/r(\zeta^2-1)]$, and incorporating this logarithmic term  into the

3401: outer integral, Eq. 

3402: (\ref{outerfar0}), we obtain

3403: \begin{eqnarray}

3404: {{_Nh^{\alpha\beta (\ln)}_{{\cal C}-{\cal N}}}_{B,L}} &=& - {1 \over 2}

3405: {\hat n}^{<L>} \int_{-1}^1 P_L(y)dy

3406: \int_{\zeta(y)}^\infty \left ({{2(\zeta-y)} \over {r(\zeta^2-1)}} \right

3407: )^{B-2} \ln \left ({{2(\zeta-y)} \over {r(\zeta^2-1)}} \right) 

3408: \nonumber \\

3409: && \qquad \times f_{B,L} (u -r(\zeta-1)) {d\zeta \over {\zeta -y}}

3410: \nonumber \\

3411: &=& - {\partial \over {\partial B}} {{_Nh^{\alpha\beta}_{{\cal C}-{\cal

3412: N}}}_{B,L}} \,.

3413: \label{houterlog}

3414: \end{eqnarray}

3415: For the inner integral, the only difference which the logarithmic term

3416: makes is in the radial integral,

3417: now given by

3418: \begin{eqnarray}

3419: {G_{B,L,{\bar Q}}^m ({\cal R})}^{(\ln)} &=& \int^{\cal R} {r^\prime}^{2+{\bar

3420: q}-B+m} \ln r^\prime

3421: d{r^\prime} 

3422: \nonumber \\

3423: &=& - {\partial \over {\partial B}} G_{B,L,{\bar Q}}^m ({\cal R}) \,.

3424: \label{houterlog2}

3425: \end{eqnarray} 

3426: Thus, if the original coefficients cancel for all $B$ (and if we can

3427: treat $B$ formally as a continuous parameter), then the coefficients

3428: generated by $\ln r$ terms cancel.

3429: 

3430: An alternative method is to show directly from the definitions (eg.

3431: Eqs. (\ref{houterlog}) and (\ref{houterlog2}))

3432: that, for both the inner and outer

3433: integrals and for $z<1$ and $z>1$, 

3434: \begin{equation}

3435: {_Nh^{\alpha\beta (\ln)}_{B,L}} = \ln {\cal R} \,

3436: _Nh^{\alpha\beta}_{B,L} - \int_1^z {_Nh^{\alpha\beta}_{B,L}}  

3437: d \bar z / \bar z \,,

3438: \end{equation}

3439: modulo $z$- or $\cal R$-independent terms.  Then, if the $z$-dependent

3440: parts of $_Nh^{\alpha\beta}_{B,L}$ cancel between outer and inner

3441: integrals, so too do the $z$-dependent parts of 

3442: ${_Nh^{\alpha\beta (\ln)}_{B,L}}$. 

3443: 

3444: \section{Boundary Terms}

3445: \label{boundary}

3446: 

3447: The boundary terms in $h_{\cal N}^{\alpha\beta}$ that arise from integrating

3448: by parts

3449: various integrals over $\cal M$

3450: are given by

3451: \begin{mathletters}

3452: \begin{eqnarray}

3453: N_{\partial {\cal M}} &=&

3454: 4 \oint_{\partial {\cal M}} \tau^{0j}(t,{\bf x}^\prime ) d^2S_j^\prime

3455: +{2 \over 3} r^2 \partial_t^2 \oint_{\partial {\cal M}} \tau^{0j}(t,{\bf

3456: x}^\prime ) d^2S_j^\prime

3457: -{4 \over 3} x^i \partial_t \oint_{\partial {\cal M}} \tau^{ij}(t,{\bf

3458: x}^\prime ) d^2S_j^\prime

3459: \nonumber \\

3460: &&

3461: -{4 \over 3} x^i \partial_t^2 \oint_{\partial {\cal M}} \tau^{0j}(t,{\bf

3462: x}^\prime ) {x^\prime}^i d^2S_j^\prime

3463: +{1 \over 30} r^4 \partial_t^4 \oint_{\partial {\cal M}} \tau^{0j}(t,{\bf

3464: x}^\prime ) d^2S_j^\prime

3465: \nonumber \\

3466: &&

3467: -{2 \over 15} r^2 x^i \partial_t^4 \oint_{\partial {\cal M}} \tau^{0j}(t,{\bf

3468: x}^\prime ) {x^\prime}^i d^2S_j^\prime

3469: -{2 \over 15} r^2 x^i \partial_t^3 \oint_{\partial {\cal M}} \tau^{ij}(t,{\bf

3470: x}^\prime ) d^2S_j^\prime \,, \\

3471: %

3472: %

3473: K^i_{\partial {\cal M}} &=&

3474: 4 \oint_{\partial {\cal M}} \tau^{ij}(t,{\bf x}^\prime ) d^2S_j^\prime

3475: +{2 \over 3} r^2 \partial_t^2 \oint_{\partial {\cal M}} \tau^{ij}(t,{\bf

3476: x}^\prime ) d^2S_j^\prime

3477: +{2 \over 3} x^k \partial_t^3 \oint_{\partial {\cal M}} \tau^{0j}(t,{\bf

3478: x}^\prime ) {x^\prime}^{ik} d^2S_j^\prime

3479: \nonumber \\

3480: &&

3481: -{4 \over 3} x^k \partial_t^2 \oint_{\partial {\cal M}} \tau^{j[i}(t,{\bf

3482: x}^\prime ) {x^\prime}^{k]} d^2S_j^\prime

3483: -{2 \over 9} \partial_t^3 \oint_{\partial {\cal M}} \tau^{0j}(t,{\bf

3484: x}^\prime ) {r^\prime}^2 {x^\prime}^i d^2S_j^\prime

3485: \,, \\

3486: B^{ij}_{\partial {\cal M}} &=&

3487: -4 \partial_t \oint_{\partial {\cal M}} \tau^{k(i}(t,{\bf

3488: x}^\prime ) {x^\prime}^{j)} d^2S_k^\prime

3489: -2 \partial_t^2 \oint_{\partial {\cal M}} \tau^{0k}(t,{\bf

3490: x}^\prime ) {x^\prime}^{ij} d^2S_k^\prime

3491: \nonumber \\

3492: &&

3493: -{2 \over 3} r^2 \partial_t^3 \oint_{\partial {\cal M}} \tau^{k(i}(t,{\bf

3494: x}^\prime ) {x^\prime}^{j)} d^2S_k^\prime

3495: -{1 \over 3}  r^2 \partial_t^4 \oint_{\partial {\cal M}} \tau^{0k}(t,{\bf

3496: x}^\prime ) {x^\prime}^{ij} d^2S_k^\prime

3497: \nonumber \\

3498: &&

3499: +{2 \over 3} x^l \partial_t^3 \oint_{\partial {\cal M}} \tau^{k(i}(t,{\bf

3500: x}^\prime ) {x^\prime}^{jl)} d^2S_k^\prime

3501: +{2 \over 9} x^l \partial_t^4 \oint_{\partial {\cal M}} \tau^{0k}(t,{\bf

3502: x}^\prime ) {x^\prime}^{ijl} d^2S_k^\prime

3503: \nonumber \\

3504: &&

3505: +{8 \over 9} x^l \partial_t^3 \oint_{\partial {\cal M}} (\tau^{k[i}(t,{\bf

3506: x}^\prime ) {x^\prime}^{l]j} + \tau^{k[j}(t,{\bf

3507: x}^\prime ) {x^\prime}^{l]i})d^2S_k^\prime

3508: \nonumber \\

3509: &&

3510: -{1 \over 18} \partial_t^3 \oint_{\partial {\cal M}} [ \tau^{lk}

3511: (t,{\bf x}^\prime )({r^\prime}^2 {x^\prime}^{ij})_{,l} + 

3512: {\dot \tau}^{0k}(t,{\bf x}^\prime ) {r^\prime}^2

3513: {x^\prime}^{ij} ] d^2S_k^\prime

3514: \nonumber \\

3515: &&

3516: +{1 \over 3}\partial_t^3 \oint_{\partial {\cal M}} (\tau^{k[l}(t,{\bf

3517: x}^\prime ) {x^\prime}^{i]jl} + \tau^{k[l}(t,{\bf

3518: x}^\prime ) {x^\prime}^{j]il})d^2S_k^\prime 

3519: \nonumber \\

3520: &&

3521: -{1 \over 30} r^4 \partial_t^5 \oint_{\partial {\cal M}}

3522: \tau^{k(i}(t,{\bf

3523: x}^\prime ) {x^\prime}^{j)} d^2S_k^\prime

3524: -{1 \over 60}  r^4 \partial_t^6 \oint_{\partial {\cal M}}

3525: \tau^{0k}(t,{\bf

3526: x}^\prime ) {x^\prime}^{ij} d^2S_k^\prime

3527: \nonumber \\

3528: &&

3529: +{1 \over 15} r^2 x^l \partial_t^5 \oint_{\partial {\cal M}}

3530: \tau^{k(i}(t,{\bf

3531: x}^\prime ) {x^\prime}^{jl)} d^2S_k^\prime

3532: +{1 \over 45} r^2 x^l \partial_t^6 \oint_{\partial {\cal M}}

3533: \tau^{0k}(t,{\bf

3534: x}^\prime ) {x^\prime}^{ijl} d^2S_k^\prime

3535: \nonumber \\

3536: &&

3537: +{4 \over 45} r^2 x^l \partial_t^5 \oint_{\partial {\cal M}}

3538: (\tau^{k[i}(t,{\bf

3539: x}^\prime ) {x^\prime}^{l]j} + \tau^{k[j}(t,{\bf

3540: x}^\prime ) {x^\prime}^{l]i})d^2S_k^\prime \,.

3541: \end{eqnarray}

3542: \label{surfaceterms}

3543: \end{mathletters}

3544: %label{surfaceterms}

3545: 

3546: \section{Properties of Poisson Potentials}

3547: \label{poisson}

3548: 

3549: Here we list some useful properties of Poisson potentials and

3550: superpotentials, given by Eqs. (\ref{definepoisson}).  These rely upon the

3551: general result, which can be obtained by integration by parts,

3552: \begin{equation}

3553: P(\nabla^2 g) = -g + {\cal B}_P(g) \,,

3554: \end{equation}

3555: where ${\cal B}_P(g)$ denotes the boundary term, given by

3556: \begin{equation}

3557: {\cal B}_P(g) \equiv {1 \over {4\pi}} \oint_{\partial {\cal M}} \biggl

3558: [

3559: {{g(t,{\bf x}^\prime)} \over {|{\bf x}-{\bf x}^\prime |}} \partial_r^\prime

3560: \ln (g(t,{\bf x}^\prime)|{\bf x}-{\bf x}^\prime |) \biggr ]_{r^\prime

3561: ={\cal R}} {\cal R}^2 d\Omega^\prime \,.

3562: \label{Pformulae1}

3563: \end{equation}

3564: %label{Pformulae1}

3565: The boundary terms must be carefully evaluated case by case to

3566: determine if any $\cal R$-independent terms survive.  All $\cal

3567: R$-{\it dependent} terms can be discarded.  Some useful formulae that

3568: result from this include:

3569: \begin{mathletters}

3570: \begin{eqnarray}

3571: P(|\nabla g|^2) &=& -{1 \over 2} \{ g^2 + 2 P(g\nabla^2 g) - {\cal

3572: B}_P(g^2) \} \,, \\

3573: P(\nabla g \cdot \nabla f) &=& -{1 \over 2} \{ fg +  P(f\nabla^2 g) +

3574:  P(g\nabla^2 f) - {\cal B}_P(fg) \} \,, \\

3575: P(f|\nabla U|^2) &=& -{1 \over 2} \{ fU^2 + P(U^2 \nabla^2 f)

3576: -2\Sigma(fU) + 4P(U\nabla U \cdot \nabla f) - {\cal B}_P(fU^2) \} \,.

3577: \end{eqnarray}

3578: \label{Pformulae2}

3579: \end{mathletters}

3580: %label{Pformulae2}

3581: In many specific cases, the boundary terms can be dropped:

3582: \begin{mathletters}

3583: \begin{eqnarray}

3584: P(U) &=& -{1 \over 2}X  \,, \\

3585: P(X) &=& - {1 \over 12}Y \,, \\

3586: P(|\nabla U|^2) &=& - {1 \over 2}U^2 + \Phi_2 \,,\\

3587: P(x^i U^{,jk\dots}) &=& -{1 \over 2}x^i X^{,jk\dots} + {1 \over

3588: 12}Y^{,ijk\dots} \,,\\

3589: P(r^2 U^{,ij}) &=& -{1 \over 2}r^2X^{,ij} -{1 \over 12}Y^{,ij} +

3590: {1 \over 6} x^k Y^{,ijk} \,, 

3591: \end{eqnarray}

3592: \label{Pformulae3}

3593: \end{mathletters}

3594: %label{Pformulae3}

3595: while in others, there are contributions from the boundary terms.  For

3596: example, in the 2PN potential $P(\nabla U \cdot \nabla {\ddot X})$,

3597: the boundary term yields the term ${1 \over 2} \int_{\cal M} \sigma(t,{\bf x})

3598: d^3x \partial_t^2 \int_{\cal M} {\sigma}(t,{\bf y}) d^3y$.  Using Eq.

3599: (\ref{massidentity}), we obtain, to the necessary order,

3600: \begin{equation}

3601: P(\nabla U \cdot \nabla {\ddot X}) = -{1 \over 2} \{ U {\ddot X} -

3602: \Sigma(\ddot X) + 2G_2 - {1 \over 2}{\cal I}\stackrel{(4)\quad}{{\cal

3603: I}^{ii}(t)} \}  + O(\epsilon^5)  \,. \\ 

3604: \end{equation}

3605: Similarly, we find for the 3PN potential,

3606: \begin{equation}

3607: P(\nabla U \cdot \nabla \stackrel{(4)}{Y}) = -{1 \over 2} \{ U \stackrel{(4)}{Y}

3608: - \Sigma(\stackrel{(4)}{Y}) + 12P(U \stackrel{(4)}{X}) 

3609: - 2{\cal I}\stackrel{(4)\quad}{{\cal I}^{ii}(t)} \}+ O(\epsilon^5)  \,. \\

3610: \end{equation}

3611: For the Poisson Superpotential $S(f)$, we have

3612: \begin{equation}

3613: S(\nabla^2 g) = 2P(g) + {\cal B}_S(g) \,,

3614: \end{equation}

3615: where 

3616: \begin{equation}

3617: {\cal B}_S(g) \equiv {1 \over {4\pi}} \oint_{\partial {\cal M}} \biggl

3618: [

3619: {g(t,{\bf x}^\prime)} {|{\bf x}-{\bf x}^\prime |}

3620: \partial_r^\prime

3621: \ln \left ( {{g(t,{\bf x}^\prime)} \over {|{\bf x}-{\bf x}^\prime |}} \right

3622: ) \biggr ]_{r^\prime

3623: ={\cal R}} {\cal R}^2 d\Omega^\prime \,.

3624: \end{equation}

3625: Thus, for example, in the superpotential $(\partial/\partial t)^2

3626: \int_{\cal M} \tau^{00} |{\bf x}-{\bf x}^\prime | d^3x^\prime$, we

3627: find the term

3628: \begin{eqnarray}

3629: \ddot S(\nabla^2 U^2) &=& 2\ddot P(U^2) -3 (d/dt)^2 (\int_{\cal M} 

3630: \sigma d^3x)^2 +O(\epsilon^5) \nonumber \\

3631: &=& 4G_1 +4G_2 - 3{\cal I}\stackrel{(4)\quad}{{\cal I}^{ii}(t)}

3632: +O(\epsilon^5)  \,.

3633: \end{eqnarray}

3634: Other useful identities include

3635: \begin{mathletters}

3636: \begin{eqnarray}

3637: \Sigma(x^i) &=& x^i U -X^{,i} \,, \\

3638: \Sigma(x^{ij}) &=& {1 \over 3} Y^{,ij} -\delta^{ij} X + x^{ij}U

3639: -2x^{(i} X^{,j)} \,.

3640: \end{eqnarray}

3641: \end{mathletters}

3642: 

3643: 

3644: 

3645: \begin{references}

3646: 

3647: \bibitem{damour300} T. Damour, in {\it 300 Years of Gravitation},

3648: edited by S. W. Hawking and W. Israel (Cambridge University Press,

3649: London, 1987), p. 128.

3650: \bibitem{AE}  A. Einstein, Preuss. Akad. Wiss. Berlin Sitzber., 688

3651: (1916)

3652: \bibitem{eddington} A. S. Eddington, {\it The Mathematical Theory of

3653: Relativity}, 2nd Ed. (Cambridge University Press, Cambridge, England, 1924).

3654: \bibitem{desitter} W. de Sitter, Mon. Not. R. Astron. Soc. {\bf 76}, 699

3655: (1916); {\it ibid.} {\bf 77}, 155 (1916).

3656: \bibitem{levicivita} T. Levi-Civita, Am. J. Math. {\bf 59} 225 (1937).

3657: \bibitem{eddingtonclark} A. S. Eddington and G. L. Clark, Proc. R. Soc.

3658: (London) {\bf 166}, 465 (1938).

3659: \bibitem{EIH} A. Einstein, L. Infeld, and B. Hoffmann, Ann. Math. {\bf 39},

3660: 65 (1938).

3661: \bibitem{fock} V. Fock, {\it The Theory of Space Time and Gravitation}

3662: (Pergamon Press, Oxford, 1959).

3663: \bibitem{chandra} S. Chandrasekhar, Astrophys. J. {\bf 142}, 1488 (1965).

3664: \bibitem{chandranutku} S. Chandrasekhar and Y. Nutku, Astrophys. J. 

3665: {\bf 158}, 55 (1969).

3666: \bibitem{chandraesposito} S. Chandrasekhar and F. P. Esposito, 

3667: Astrophys. J. {\bf 160}, 153 (1970).

3668: \bibitem{papapetrou} A. Papapetrou, Proc. R. Soc. (London) {\bf 209A}, 248

3669: (1951).

3670: \bibitem{burke} W. L. Burke, J. Math. Phys. {\bf 12} 401 (1971).

3671: \bibitem{bd86}  L. Blanchet, T. Damour, Phil. Trans. R. Soc. London

3672: {\bf A320}, 379 (1986).

3673: \bibitem{bd88} L. Blanchet and T. Damour, Phys. Rev. D {\bf 37}, 1410

3674: (1988).

3675: \bibitem{bd89} L. Blanchet and T. Damour, Ann. Inst. H. Poincar\'e

3676: (Phys. Theorique) {\bf 50}, 377 (1989).

3677: \bibitem{di91} T. Damour and B. R. Iyer,  Ann. Inst. H. Poincar\'e

3678: (Phys. Theorique) {\bf 54}, 115 (1991).

3679: \bibitem{bdtail} L. Blanchet and T. Damour, Phys. Rev. D {\bf 46}, 4304

3680: (1992).

3681: \bibitem{luc95} L. Blanchet, Phys. Rev. D {\bf 51}, 2559 (1995). 

3682: \bibitem{cranks} M. Walker and C. M. Will, Astrophys. J. Lett. {\bf

3683: 242}, L129 (1980).

3684: \bibitem{ehlers} J Ehlers, A. Rosenblum, J. N. Goldberg, and P. Havas,

3685: Astrophys. J. Lett. {\bf 208}, L77 (1976).

3686: \bibitem{taylor79} J. H. Taylor, L. A. Fowler, and P. M. McCulloch,

3687: Nature {\bf 277}, 437 (1979).

3688: \bibitem{taylor94} J. H. Taylor, Rev. Mod. Phys. {\bf 66}, 711 (1994).

3689: \bibitem{snowmass} K. S. Thorne, in {\it Proceedings of the Snowmass

3690: 95 Summer Study on Particle and Nuclear Astrophysics and Cosmology},

3691: edited by E. W. Kolb and R. Peccei (World Scientific, Singapore, 1995), p. 

3692: 398.

3693: \bibitem{3min} C. Cutler, T. A. Apostolatos, L. Bildsten, L. S. Finn,

3694: \'E. E. Flanagan, D. Kennefick, D. M. Markovi\'c, A. Ori, E. Poisson,

3695: G. J. Sussman, and K. S. Thorne, Phys. Rev. Lett. {\bf 70}, 2984

3696: (1993).

3697: \bibitem{thorne80} K. S. Thorne, Rev. Mod. Phys. {\bf 52}, 299

3698: (1980).

3699: \bibitem{ew} R. Epstein and R. V. Wagoner, Astrophys. J. {\bf 197},

3700: 717 (1975).

3701: \bibitem{wagwill} R. V. Wagoner and C. M. Will, Astrophys. J. {\bf 210},

3702: 764 (1976).

3703: \bibitem{magnum} A. G. Wiseman, Phys. Rev. D {\bf 46} 1517 (1992).

3704: \bibitem{christo} A. G. Wiseman and C. M. Will, Phys. Rev. D {\bf 44},

3705: R2945 (1991).

3706: \bibitem{agwtail} A. G. Wiseman, Phys. Rev. D {\bf 48}, 4757 (1993).

3707: \bibitem{opus} A. G. Wiseman and C. M. Will, Phys. Rev. D {\bf 54},

3708: 4813 (1996) (WW).

3709: \bibitem{DD81} T. Damour and N. Deruelle, Phys. Lett. {\bf 87A},

3710: 81 (1981).

3711: \bibitem{Damour82}  T. Damour, C. R. Acad. Sci. Paris {\bf 294}, 1355

3712: (1982).

3713: \bibitem{GK86} L. P. Grishchuk and S. M. Kopejkin, In {\it Relativity

3714: in Celestial Mechanics and Astrometry}, edited by J. Kovalevsky and V.

3715: A. Brumberg (Reidel, Dordrecht, 1986), p. 19. 

3716: \bibitem{bfp98} L. Blanchet, G. Faye and B. Ponsot, Phys. Rev. D {\bf

3717: 58}, 124002 (1998).

3718: \bibitem{iyerwill} B. R. Iyer and C. M. Will, Phys. Rev. Lett. {\bf

3719: 70}, 113 (1993).

3720: \bibitem{iyerwill2} B. R. Iyer and C. M. Will, Phys. Rev. D {\bf

3721: 52}, 6882 (1995).

3722: \bibitem{blanchet97} L. Blanchet, Phys. Rev. D {\bf

3723: 55}, 714 (1997).

3724: \bibitem{jaraschaefer98} P. Jaranowski and G. Sch\"afer, Phys.Rev. D

3725: {\bf 57},  7274 (1998).

3726: \bibitem{jaranowski} P. Jaranowski and G. Sch\"afer, Phys. Rev. D {\bf 60},

3727: 124003 (1999)

3728: \bibitem{blanchetfaye1} L. Blanchet and G. Faye, Phys. Lett. A, in press.

3729: \bibitem{blanchetfaye2} L. Blanchet and G. Faye, Phys. Rev. D, in press.

3730: \bibitem{poissontail} E. Poisson, Phys. Rev. D {\bf 47}, 1497 (1993).

3731: \bibitem{bdi2pn}  L. Blanchet, T. Damour, and B. R. Iyer, Phys. Rev. D

3732: {\bf 51}, 5360 (1995).

3733: \bibitem{bdiww} L. Blanchet, T. Damour, B. R. Iyer, C. M. Will and A.

3734: G. Wiseman, Phys. Rev. Lett. {\bf 74}, 3515 (1995).

3735: \bibitem{blanchet96} L.  Blanchet, Phys. Rev. D {\bf 54}, 1417 (1996).

3736: \bibitem{blanchet98} L.  Blanchet, Class. Quantum Grav. {\bf 15}, 113

3737: (1998). 

3738: \bibitem{ps95} E. Poisson and M. Sasaki, Phys. Rev. D {\bf 51}, 5753

3739: (1995).

3740: \bibitem{cfps93} C. Cutler, L. S. Finn, E. Poisson, and G. J. Sussman,

3741: Phys. Rev. D {\bf 47}, 1511 (1993).

3742: \bibitem{sasaki94} M. Sasaki, Prog. Theor. Phys. {\bf 92}, 17 (1994).

3743: \bibitem{tagoshi94} H. Tagoshi and M. Sasaki, Prog. Theor. Phys. {\bf

3744: 92}, 745 (1994).

3745: \bibitem{msstt97} Y. Mino, M. Sasaki, M. Shibata, H. Tagoshi and T.

3746: Tanaka, Prog. Theor. Phys. Suppl. {\bf 128}, 1 (1997).

3747: \bibitem{wald} T. C. Quinn and R. M. Wald,  Phys. Rev. D {\bf 56}, 3381

3748: (1997).

3749: \bibitem{mino} Y. Mino, M. Sasaki and T. Tanaka, Phys. Rev. D {\bf 55}, 3457 

3750: (1997)

3751: \bibitem{wiseman98} A. G. Wiseman, Phys. Rev. D {\bf 61}, 084014 (2000).

3752: \bibitem{MTW} C. W. Misner, K. S. Thorne, and J. A. Wheeler, {\it

3753: Gravitation} (Freeman Publishing Co, San Francisco, 1973).

3754: \bibitem{walkerwill} M. Walker and C. M. Will, Phys. Rev. Lett. {\bf

3755: 45}, 1741 (1980).

3756: \bibitem{Lucproof} L. Blanchet, private communication. 

3757: \bibitem{walkerwill2} M. Walker and C. M. Will, Phys. Rev. D {\bf

3758: 19}, 3483 (1979).

3759: \end{references}

3760: 

3761: 

3762: \end{document}

3763: