Math 2.0

Relativity and gravitational theory Definition

Einstein–Infeld–Hoffmann equations

Builds on Newton's law of universal gravitationn-body problemPost-Newtonian expansionEinstein field equations

Definition

Consider N≥2N \ge 2 point masses with masses m1,…,mN>0m_1, \dots, m_N > 0, positions xa(t)∈ℝ3x_a(t) \in \R^3, velocities va=x˙av_a = \dot x_a and accelerations aa=x¨aa_a = \ddot x_a, in harmonic coordinates with coordinate time tt. Write rab=∣xa−xb∣r_{ab} = \abs{x_a - x_b} and nab=(xa−xb)/rabn_{ab} = (x_a - x_b)/r_{ab} for a≠ba \ne b, let GG be the gravitational constant and cc the speed of light. Fix an index a∈{1,…,N}a \in \set{1, \dots, N}. The Einstein–Infeld–Hoffmann equations are aa=∑b≠aGmb nbarab2[1−4c2∑d≠aGmdrad−1c2∑d≠bGmdrbd+∣va∣2c2+2∣vb∣2c2−4 va⋅vbc2−32c2(nab⋅vb)2+12c2(xb−xa)⋅ab]+1c2∑b≠aGmbrab2[nab⋅(4va−3vb)](va−vb)+72c2∑b≠aGmb abrab.\begin{aligned} a_a = {} & \sum_{b \ne a} \frac{G m_b\, n_{ba}}{r_{ab}^2} \Big[ 1 - \frac{4}{c^2} \sum_{d \ne a} \frac{G m_d}{r_{ad}} - \frac{1}{c^2} \sum_{d \ne b} \frac{G m_d}{r_{bd}} + \frac{\abs{v_a}^2}{c^2} + \frac{2\abs{v_b}^2}{c^2} - \frac{4\, v_a \cdot v_b}{c^2} \\ & \qquad - \frac{3}{2c^2} (n_{ab} \cdot v_b)^2 + \frac{1}{2c^2} (x_b - x_a) \cdot a_b \Big] \\ & + \frac{1}{c^2} \sum_{b \ne a} \frac{G m_b}{r_{ab}^2} \big[ n_{ab} \cdot (4 v_a - 3 v_b) \big] (v_a - v_b) + \frac{7}{2c^2} \sum_{b \ne a} \frac{G m_b\, a_b}{r_{ab}}. \end{aligned} All terms of order c−4c^{-4} are dropped. So in the c−2c^{-2} terms each aba_b may be replaced by its Newtonian value ∑d≠bGmdndb/rbd2\sum_{d \ne b} G m_d n_{db}/r_{bd}^2.

Remarks

The equations are the first post-Newtonian correction to Newton's law of gravitation: when c→∞c \to \infty they reduce to aa=∑b≠aGmbnba/rab2a_a = \sum_{b \ne a} G m_b n_{ba}/r_{ab}^2.

Example: take a test mass m1→0m_1 \to 0 moving around a mass m2=Mm_2 = M at rest at the origin, so v2=0v_2 = 0 and a2=0a_2 = 0. With r=r12r = r_{12}, n=n12n = n_{12} and v=v1v = v_1, the equations give a1=−GMr2n[1−4GMrc2+∣v∣2c2]+4GMr2c2(n⋅v) v,a_1 = -\frac{GM}{r^2} n \Big[ 1 - \frac{4GM}{rc^2} + \frac{\abs v^2}{c^2} \Big] + \frac{4GM}{r^2c^2} (n \cdot v)\, v, which is the geodesic equation of the Schwarzschild metric in harmonic coordinates, expanded to order c−2c^{-2}.

Non-example: the plain Newtonian equations aa=∑b≠aGmbnba/rab2a_a = \sum_{b \ne a} G m_b n_{ba}/r_{ab}^2 are not the Einstein–Infeld–Hoffmann equations; they miss the velocity-dependent terms and give no perihelion advance for two bodies.

The equations are also the Euler–Lagrange equations of a Lagrangian for the NN bodies, so they conserve energy, momentum and angular momentum to order c−2c^{-2}. They contain no radiation reaction, which first appears at order c−5c^{-5}.

Reading path

To understand this page from the ground up, read these 49 pages in order. The foundations come first.

  1. Derivative concept
  2. Differential equation concept
  3. Einstein field equations concept
  4. Euclidean space object
  5. Euclidean vector concept
  6. First integral concept
  7. Function concept
  8. Hamiltonian system concept
  9. Interval concept
  10. Ordinary differential equation concept
  11. Post-Newtonian expansion concept
  12. Velocity concept
  13. Fréchet derivative definition
  14. Ordinary differential equation definition
  15. Cross product definition
  16. Function of several variables concept
  17. Vector-valued function concept
  18. Classical mechanics concept
  19. Lipschitz condition definition
  20. n-body problem problem
  21. Momentum concept
  22. Limit of a function of several variables concept
  23. Partial derivative concept
  24. Solution of an ordinary differential equation definition
  25. Inertial frame of reference concept
  26. Continuity in R^n definition
  27. Differentiable function of several variables definition
  28. Initial value problem definition
  29. Partial derivative definition
  30. Newton's laws of motion statement
  31. Differentiable on an open set definition
  32. Gradient definition
  33. Higher partial derivatives definition
  34. Picard–Lindelöf hypotheses definition
  35. Iterated derivative definition
  36. Picard operator definition
  37. C^k function characterised by continuous derivatives statement
  38. Integral equation form of an initial value problem statement
  39. An iterate of the Picard operator is a contraction statement
  40. Vector field definition
  41. Picard–Lindelöf theorem statement
  42. Conservative vector field definition
  43. Classical mechanics definition
  44. Momentum definition
  45. Potential energy definition
  46. Angular momentum definition
  47. Central force definition
  48. Newton's law of universal gravitation statement
  49. Einstein–Infeld–Hoffmann equations definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Einstein%E2%80%93Infeld%E2%80%93Hoffmann_equations
About this page
TagBBFF3BKBXM
URIm2://BBFF3BKBXM
Kinddefinition
WritingW0 stub
MSC83C10, 70F10
DefinesEinstein–Infeld–Hoffmann equations
UsesNewton's law of universal gravitation, n-body problem, Post-Newtonian expansion, Einstein field equations
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.