Conservative PN Equations of Motion
Scrollable formula. Use Left and Right arrow keys to reveal hidden content.
Scrollable table. Use Left and Right arrow keys to reveal additional columns.
Scrollable figure. Use Left and Right arrow keys to inspect hidden content.
Conservative post-Newtonian equations of motion describe compact bodies over times short compared with radiation-driven inspiral, while retaining relativistic corrections to their mutual binding. The calculation is an elimination problem: solve the gravitational field perturbatively with time-symmetric boundary conditions, insert that solution into the particle dynamics, and express the result in a chosen coordinate system. Coordinate accelerations change under near-identity transformations; conserved relations among invariant quantities do not.
Required background. Weak Metric Perturbations and Gauge Freedom supplies linearized fields and gauge transformations; Presymplectic Potentials and Currents supplies action variation and reduced-phase-space reasoning. Helpful background. The Einstein Equation supplies the nonlinear field equations; Gravitational Radiation and Waveforms clarifies what is removed when the conservative, time-symmetric sector is selected.
Relative motion at first post-Newtonian order
Section titled “Relative motion at first post-Newtonian order”Restore for order counting and keep explicit. In the center-of-mass frame define
with total mass , reduced mass , and symmetric mass ratio . In harmonic coordinates the conservative relative acceleration through 1PN is
This equation already displays the complete scalar basis allowed at 1PN by rotations, parity, time reversal, and exchange of the bodies: the acceleration is a linear combination of and , with coefficients built from , , and . General relativity fixes their numerical coefficients. The unreduced individual-body formula and its higher-order continuation are given in Blanchet 2024, § 3.2.2, eq. (339).
The displayed equation assumes nonspinning bodies whose sizes are small compared with , a weak interbody field , and slow relative motion. It does not assume that each body has weak internal gravity. Through the orders at which finite-size operators are absent, strong internal fields are absorbed into the masses. Spin and eccentric solutions require additional variables, developed on Spinning and Eccentric PN Orbits.
From the field equations to an acceleration
Section titled “From the field equations to an acceleration”One direct route introduces the harmonic-gauge field variable
for which Einstein’s equations take a relaxed wave-equation form,
The effective source contains matter and nonlinear gravitational terms. Begin with the Newtonian potentials, substitute them into the nonlinear source, solve the next Poisson or near-zone wave equations, and repeat. Evaluating the regularized metric on each worldline and using its equation of motion yields the coordinate acceleration. The iteration is triangular: to determine a term at a specified PN order, only a finite set of lower-order potentials and retardation corrections is needed. The smooth-source construction and the subsequent compact-body reduction are separated explicitly in Blanchet 2024, §§ 2.3.1 and 3.2.2, eqs. (147)–(155) and (339)–(340).
A second route starts from the Einstein–Hilbert plus worldline action. Solving the field equation with time-symmetric boundary conditions and substituting the solution back gives a reduced, or Fokker, action for the worldlines. Its variation produces the conservative equations. At sufficiently high order that reduced action can depend on accelerations or be nonlocal in time; lower-order equations are then used only in a controlled order-reduction step. Simply replacing accelerations inside an unreduced action can change the variational problem.
The two routes are not expected to give identical coordinate formulas. Harmonic, ADM-type, and effective-field-theory variables encode different gauge choices and field redefinitions. Agreement means that a permitted transformation relates the actions or equations and that invariant observables coincide. The relation among these formulations is developed on PN Hamiltonians, Lagrangians, and Contact Transformations.
Conserved quantities and circular invariants
Section titled “Conserved quantities and circular invariants”Time translation and rotation imply a conserved energy and angular momentum for the conservative sector. Through 1PN, an energy whose total derivative vanishes after using the displayed acceleration is
Here is binding energy: the constant rest energy has been removed. The corresponding conserved angular momentum is
There is a short check of this less familiar correction. The acceleration gives . Using only Newtonian motion inside the already-1PN bracket, its derivative is . The two terms cancel through the retained order. Thus the Euclidean quantity need not be constant, while the corrected Noether angular momentum is. Both conserved quantities follow from the 1PN Lagrangian.
The energy expression is coordinate dependent when regarded as a function of , , and . For a circular orbit, however, the acceleration is radial and . Its radial component gives the harmonic-coordinate frequency relation
Eliminate in favor of the invariant frequency parameter
The circular binding energy becomes
The square brackets may look surprising because their 1PN coefficient is negative while itself is negative: the correction makes the binding energy less negative than the Newtonian extrapolation at fixed frequency. Writing the observable as removes the harmonic-coordinate radius and any gauge length that may occur at higher orders.
For eccentric orbits, the periastron advance supplies another discriminating invariant. At 1PN,
where at Newtonian order. The absence of in the leading correction is a nontrivial result, not an assumption; mass-ratio dependence enters at higher PN order.
Coordinate freedom and consistency checks
Section titled “Coordinate freedom and consistency checks”A near-identity change of variables,
changes the displayed acceleration by plus terms produced by rewriting its arguments. It can move terms between the and structures without changing a physical orbit. A coordinate separation or the location of a coordinate-defined last circular orbit is therefore not an invariant prediction.
Several checks constrain a high-order result. The Newtonian limit must recover inverse-square motion. The limit must reproduce the PN expansion of Schwarzschild geodesic invariants. The equations must possess the Poincaré generators to the claimed order, including the center-of-energy integral; at 3PN this requirement was historically powerful enough to constrain an ambiguity. Independent harmonic-coordinate, ADM-Hamiltonian, and surface-integral derivations of 3PN motion ultimately agree, as summarized in Schäfer and Jaranowski 2024, §§ 1.2 and 6.1.
At 4PN the conservative dynamics contains a time-symmetric tail integral. It is still conservative, but it is not representable globally by a purely instantaneous acceleration without additional variables or a nonlocal action. At 2.5PN, by contrast, the leading time-antisymmetric radiation-reaction force appears. Removing it defines a useful conservative problem, not the full inspiral. The approximation also breaks down when pericenter velocities or cease to be small, and a formal remainder alone does not quantify the numerical error.
Exercise
Section titled “Exercise”Starting from the harmonic-coordinate circular frequency relation, derive the invariant 1PN energy . Use
Solution
For , insert into the conserved energy. Keeping only terms through gives
Invert the supplied relation:
Substitution then yields
The coordinate parameter has disappeared. This is precisely why comparison between two formulations should be made at fixed , not fixed coordinate radius.