We shall formulate the post-Newtonian approximation according to the general idea just described. As stated in the introduction, we would like to have an approximation which applies to the systems whose motions are described almost by Newtonian theory. Thus we need a sequence of solutions of the Einstein equations parameterized by (the typical velocity of the system divided by the speed of light) which has Newtonian character as .
The Newtonian character is most conveniently described by the following scaling law. The Newtonian equations involve six variables, namely the density , the pressure , the gravitational potential , and the velocity , ):
It can be seen that the variables obeying the above equations satisfy the following scaling law:
Thus we wish to have a sequence of solutions of the Einstein equations which has the above scaling as . We shall also take the point of view that the sequence of solutions is determined by the appropriate sequence of initial data. This has a practical advantage because there will be no solutions of the Einstein equations which satisfy the above scaling (8) even as . This is because the Einstein equations are nonlinear in the field variables, so it will not be possible to enforce the scaling everywhere in spacetime. We shall therefore impose it only on the initial data for the solution of the sequence.
Here we first give a general discussion on the formulation of the post-Newtonian approximation independent of any initial value formalism and then present the concrete treatment in harmonic coordinates. The condition is used because of its popularity and some advantages in the generalization to the systems with strong internal gravity.
As the initial data for the matter we take the same data set in the Newtonian case, namely the density , the pressure , and the coordinate velocity . In most of the application, we usually assume a simple equation of state which relates the pressure to the density. The initial data for the gravitational field are . Since general relativity is an overdetermined system, there will be constraint equations among the initial data for the field. We shall write the free data for the field as whose explicit forms depend on the coordinate condition one assumes. In any coordinates we shall assume these data for the field vanish since we are interested in the evolution of an isolated system by its own gravitational interaction. It is expected that this choice corresponds to the absence of radiation far away from the source. Thus we choose the following initial data which is indicated by the Newtonian scaling:
Corresponding to the above data, we have a one-parameter set of spacetime parameterized by . It may be helpful to visualize the set as a fiber bundle, with base space being the real line (coordinate ) and fiber being the spacetime (coordinates ). The fiber is Minkowski spacetime since it is defined by zero data. In the following we shall assume that the solutions are sufficiently smooth functions of for small . We wish to take the limit along the sequence. The limit is, however, not unique and is defined by giving a smooth nowhere vanishing vector field on the fiber bundle which is nowhere tangent to each fiber [84, 146]. The integral curves of the vector field give a correspondence between points in different fibers, namely events in different spacetimes with different values of . Remembering the Newtonian scaling of the time variable in the limit, we introduce the Newtonian dynamical time,2. In fact if we take the limit along this curve, the orbital period of the binary system with is 10 times that of the system with as expected from the Newtonian scaling. This is what we define as the Newtonian limit. Notice that this map never reaches the fiber (Minkowski spacetime). There is no pure vacuum Newtonian limit as expected.
In the following we assume the existence of such a sequence of solutions constructed by the initial data satisfying the above scaling with respect to . We shall call such a sequence a regular asymptotically Newtonian sequence. We have to make further mathematical assumptions about the sequence to make explicit calculations. We will not go into details partly because in order to prove the assumptions we need a deep understanding of the existence and uniqueness properties of the Cauchy problem of the Einstein equations with perfect fluids of compact support which are not available at present.
This work is licensed under a Creative Commons Attribution-Noncommercial-No Derivative Works 2.0 Germany License.