Beruflich Dokumente
Kultur Dokumente
The Hamiltonian to order cm4 in the instantaneous part of a gravitational interacting many-
particle system and to leading (quadrupole) order in the coupling of the system with the
dynamical degrees of freedom of the gravitational held is given. This is done using the
canonical formalism of ADM. The Hamiltonian contains time-derivatives of the canonical
momenta neither of the particles nor of the gravitational tield. The quadrupole radiation-reac-
tion force is deduced and the losses of energy and angular momentum are calculated (in the
near zone as well as in the far zone). All metric coefhcients which occur up to the second and
a half post-Newtonian approximation are given explicitly and it is checked that the one-par-
ticle Hamiltonian which follows from the HamiltonJacobi equation consistently yields the
Hamilton equations of motion which result from the particle-field Hamiltonian. ,c 19x5
Acadenx Press. Inc.
1. INTR~OLJ~TI~N
With the appearance of the paper by Chandrasekhar and Nutku in 1969 [l] the
solutions of Einstein’s held equations for the hydrodynamics of self-gravitating per-
fect fluids were carried out up to the second post-Newtonian order of
approximation. Some years later, in 1974, for a system of point-particles the same
goal has been achieved by Ohta, Okamura, Kimura, and Hiida [2] using the
canonical formalism by Arnowitt, Deser, and Misner [3] (hereafter, as usual,
referred to as ADM).
As straightforward as the calculations just mentioned were, the calculations
tackling the next iteration step-this is the level where the rudiution-reuction first
occurs-has been proven difficult and highly controversial [4-61. Only in 1982,
using a post-Minkowskian approximation scheme, Damour [7, 8] was able to give
the complete second and a half post-Newtonian equations of motion for a system of
two particles, i.e., compact bodies.
In this paper we will tackle in full detail the problem of the quadrupole-interac-
tion of gravitational radiation with a gravitationally bound many-particle system
with the help of the formalism of ADM which already has been proven effective in
second post-Newtonian calculations [2] and even in second and a half ones [9].
81
0003-4916/85 $7.50
CopyrIght ,, 198s by Academic Press, Inc.
All righls of reproduclmn m any form reserved
82 G.SCH.iFER
As shown by ADM [ 121 and as shown later [ 10, 111, in the case of an
asymptotically jlat spacetime and an asymptotically Minkowskian reference frame,
the total Lagrangian for a point-particle system interacting with the gravitational
field according to Einstein’s theory of general relativity can be written as (167rG = 1,
c = 1, where G is the gravitational constant and c is the velocity of light)
with E = fm d2si( gC,.i- gjjYf). Here rcU is the conjugate to the held coordinate
g,,= ‘gjj. It is given by (g”gjk=8i, g=det{giil)
(2.2a)
(2.5a)
By variation with respect to g,, and nij, from (2.1) the field equations follow:
xij,o = - No g’3 R;i - jg’/R)
+ ;No g - *‘2g’+c”“‘q,~,~ - +x2)
- 2jVo g ‘12(n3q, - +f/)
+ g”2( No”’ - g!‘No”“,,,J
(2.7a)
The variation of (2.1) with respect to N,, yields the constraint equations JV~ = 0, or
written explicitly
g- lj*( gR + $x2 - #nc) + yoo c 0 (2.8a)
-27p +yioz() (2.8b)
II
84 G. SCHAFER
At this stage the important question arises as to which coordinate conditions are
compatible with the equations (2.7) and (2.8); that means which coordinate con-
ditions allow solutions of these equations for the metric coeflicients which become
Minkowskian, asymptotically. Previous calculations show that the following coor-
dinate conditions seem to be well suited [2, 91,
niizo (2.9a)
g~=(l+~~~)~~+/z~. (2.9b)
hF is the transverse-traceless part of h!, and the other parts are given by
In terms of hT and hi the condition (2,9b) reads h: =4Ahi. The equation (2.9a)
yields
# = n(~TT + Eij (2.13)
with EU= xfj + ~5 - dVrr!,+ A-‘z!,~. If both the constraint equations (2.8) and the
coordinate conditions (2.9) are satislied the Hamiltonian (2.6) changes to the
reduced HamiItonian
Similarly, the equations of motion for the field take the form
(2.16a)
(2.16b)
It should be stressed that the reduced Hamiltonian (2.14) is obtained by solving the
construint equations (2.8) onZy. They allow the determination of the functions hT
and zi as functionals of the canonicai functions h7, rgTT, XL, and pUz if the coor-
dinate conditions (2.9) are satis$ed.
Finally we will present the expressions for further important global observables.
The total momentum reads [3]
(2.19)
On the other hand, the formulas for the energy and angular momentum losses in the
far or wave zone are given by [ 131
- dE
-= n’( x”,,) r2 dQ (2.20)
dt -2f rz
and
dLi .---24 cgkxr( nk’,,) r2 dQ, (2.21)
dt r2
respectively (for the defmition of the far or wave zone see Appendix A). Here
-2~~.~ is the total Poynting vector. The brackets ( ) denote an average over
severa waveIengths and X’ = n’r, nir2 dQ = d2s,. By use of the equations (2.7b) and
(2.8b) the expressions (2.20) and (2.21) can be put into the well-known forms [ 141
(2.2Oa)
86 G. SCHiFER
and
- dLi
-=; .x&(2(/i~h~T),m - lizhkTk) r2 dQ. (2.2la)
dt Lff.2.
For solving the constraint equations (2.8) we expand the several terms in these
equations as far as they contribute to the reduced Hamiltonian in our
approximation. With the help of the following exact relations
(3.la)
(3.lb)
(3.lc)
(3.2a)
(3.2b)
Ab+#A#+F=O (3.4a)
with
(3Sa)
(3.4b)
RADIATION-REACTION AND ADM-FORMALISM 87
with
Note with respect to (3.4a) that for IrTT = 0, gli2R = -( 1 + #) LI# is valid exactly.
For the functions 4, hF, rci, and r&r the second post-Newtonian approximation
in the context of this section means
4 = #V + d(4) + ,$W + #W (3.6a)
A!?
l, z h’!-““‘)
1, (3.6b)
+ = &3) + #Sl
(3.6~)
7tOTT --0 (3.6d)
where the numbers in parentheses denote the order of c- ‘. Because they are total
divergences the functions in the square brackets in F do not contribute to the
(reduced) Hamiltonian on the second post-Newtonian level. Up to this level the
Hamiltonian is given by
H~PN z= -
red
l
d3x A(qP + q5’4) + fp’ +qPq. (3.7)
hT=c() (3.8b)
v .
For r + a these equations are fultilled in the order r-3. On the other hand, in the
far or wave zone the equations (2.16), to order c ‘, take the form [ 131
fiV== = $ A/,; (3.9a)
/iTT = 2nqTT
v (3.9b)
or, equivalently,
13hTTz0
IJ (3.10)
with 0 = --c!$ + A. The combination of the equations (3.8) and (3.9) obviously
yields
(3.llb)
88 G. SCHAFER
or, equivalently,
(3.12)
The reduced Hamiltonian from which the equations (3.11) are derivable according
to (2.16) results from the constraint equations (2.8) by extending the equations
(3.4) in the following consistent way:
For getting a well-defined Hamiltonian we make the physical assumption that the
energy expression (cf. (3.14~))
is tinite. This, especially, means that a tinite amount of energy is stored in the wave
field. As we will see later, this is the case if xi 1t[ -‘I4 + 0 for t --+ -co. From our
assumption we find that the terms in the square brackets of F still do not contribute
to the Hamiltonian. The same holds for the term ?&rtiTT in the equation (3.13a)
because J d3x TC *VIZOTTis zero for reasons of orthogonality relations.
A further expansion of the equations (3.13), respectively (2.8), would lead to
source terms in the equation (3.12) which are of higher order than cP4 if all source
terms are dropped which contain IIF in any form.
After tedious calculations where the regularization procedure [ 151 which is used
throughout in this paper (see Appendix B) has been applied several times the
Hamiltonian is found to be
with
RADIATION-REACTION AND ADM-FORMALISM 89
Hrad
= l d3x[(7ejTT)*
+#TJ2] (3.14c)
The radiation-reaction force which we get in our approximation results from the
Hamiltonians (3.14a) and (3.14b) as follows:
(4.la)
(4.lb)
The expression for 157 we find through the integration of, e.g., the equation (3.12).
Using the condition of no incoming wuues [ 161 the solution of (3.12) takes the form
(4.2)
where Gret is the retarded Green’s operator for flat spacetime. With the help of the
decomposition Gret = A-’ + (Gret - A-‘) and with the relation
’
74
0’,i 4 (2’-
,I -
- (2’ 4(2) +V($;
X,I)
574c2’- q)c2’&!;‘) + &j’,;‘@*)).j
d3k dw dt’
exp[ik(x - x0) - ico(t - t’)] (2X)4
’ k2 - (a + i&)2
+A?=.
ly(dw) 9 (4.3)
where
RADIATION-REACTION AND ADM-FORMALISM 91
(4.3a)
and
holds. Furthermore, in (4.3b) we have made use of the properties that the d’Alem-
bertian and the Laplacian commute with the TT-projection operator. Also, the TT-
projection operation deletes partial derivatives. In the first nonvanishing muhipole
approximation, i.e., the quudrupole upproximution, the expression (4.3) yields
d3k dm dt’
exp[ikx - iw(l- t’)] (2nJ4 (4.4)
.k2-(ol+iE)2
(4.5)
for the reaction $eld, defined by (hF)FeaC = hF-- hTTc4’, we find the following
92 G. SCHbER
expression in the neur zone (again using the time-dependent tensor virial theorem)
(by our choice of the center of mass the near zone is defined through r< l/u, where
CIIis a typical frequency of the matter system). Obviously, in the near zone the reac-
tion held is of the order cP5. Taking into account that ~(#$J@~))/c~x~ = 0( l/r5) for
r$ /x0/, in all of the equations (4.1), we may substitute the expression (4.6) for the
reaction held. Then we get
(4.7a)
(4,7b)
where in (4.7a) the traceless property of Q,j is used. Differentiation of (4.7b) with
respect to the time and insertion of (4.7a) yields the quadrupole rudiafion-reuction
force. We find
In the equation (4.7b) pa=rnUkti is valid. The total work done by the force (4.9) is
given by
(4.lOa)
(4.11)
(4.12)
(4.13a)
or
(4.13b)
(4.14)
over a long enough interval of time, the rate of dissipation of angular momentum
reads
(4.15)
with rO lying somewhere in the wave zone. The existence of Hra,, is guaranteed for
any lixed and linite time t if Qij(~)=O(~~[-i’*-‘) for 7 + -cc, s>O. Translated
into the position vectors of the particles this condition means xi(t)/1 ti514 -+ 0 for
t + --cc. Obviously, our particles are allowed to start at t + --cc with constant
and linite velocities. Those initial conditions are clearly compatible with N (iV2 2)
bounded particles because either we can start with N+ M (M> 1) free particles and
let N particles become bounded and M particles get lost at intinity as free particles,
or we may start with N free particles and let them become bounded solely by
radiation damping.
‘gPvpl,p,, + m2 = 0 (5.1)
The following functions are already known [2]. One gets, essentially,
(5.4a)
(5.4b)
(5.5b)
595/i61/l-7
96 G. SCHiFER
(5.6a)
+ ?:I (5.6b)
with
and
which is identical with (4.3). It remains to determine of the functions Ni6j and
(Ndreac~ The field equation (2.7a) yields the following differential equations in these
cases:
RADIATION-REACTION AND ADM-FORMALISM 97
and
With the help of the expressions (5.4)-(5.6) and the expression for TC”~),which is
given by
(5.9a)
98 G. SCHAFER
(5.9b)
After further tedious calculations it follows that the one-particle Hamiltonian (5.3)
with the expressions (5.4)(5.9) inserted yields the same Hamilton equations of
motion as the equations (2.15) with the particle-held Hamiltonian given by (3.14).
Herewith we have proven the consistency of the canonical formalism of ADM for
many-particle slow-motion calculations up to the tirst radiation-reaction level.
6. CONCLUSIONS
In gravitational physics we have three conditions which together define the far or
wave zone, i.e., the zone where the waves propagate as free radiation. There is the
usual requirement for a wave to exist
kr$l (A.11
which guarantees that gradients and time derivatives of the canonical modes fall off
as - l/r if the primary requirement
lgpv-vJ-4M~ C.4.2)
is fulfilled. Here qPVis the Minkowski metric and a is a fixed constant. The third
requirement we have reads
RADIATION-REACTION AND ADM-FORMALISM 99
Because of condition (A.2), the condition (A.3) guarantees that higher order non-
linear terms can be neglected. This is easily seen as follows. We put hTT -aeCkr/r,
then gradients applied twice give V2hTT -ak’eikr/r. This has to be compared with
nonlinear terms which are typically -a2k2eikr/r2, from which (A.3) results,
where p(t, x) will be singular at x = xq. Then we cut out a sphere &(xq) of radius E
centered at xq and detine for x E lR3\&(xq),
(B.3)
where dQ,, is the usual measure on the unit 2-sphere centered at x0.
100 G.SCH,iiFER
ACKNOWLEDGMENTS
I thank the participants of the MPI Relativity Workshop on Schloss Ringberg, 1983 September, for
critical and constructive remarks. Thanks also go to T. Damour who has critically read a preliminary
version of this paper.
REFERENCES