Physics:Newtonian motivations for general relativity
Some of the basic concepts of general relativity can be outlined outside the relativistic domain. In particular, the idea that mass–energy generates curvature in space and that curvature affects the motion of masses can be illustrated in a Newtonian setting. We use circular orbits as our prototype. This has the advantage that we know the kinetics of circular orbits. This allows us to calculate curvature of orbits in space directly and compare the results with dynamical forces.
The equivalence of gravitational and inertial mass
A unique feature of the gravitational force is that all massive objects accelerate in the same manner in a gravitational field. This is often expressed as "The gravitational mass is equal to the inertial mass." This allows us to think of gravity as a curvature of spacetime. [citation needed]
Test for flatness in spacetime
If initially parallel paths of two particles on nearby geodesics remain parallel within some accuracy, then spacetime is flat to within that accuracy. [Ref. 2, p. 30]
Two nearby particles in a radial gravitational field
Newtonian mechanics for circular orbits
The geodesic and field equations for circular orbits
Consider the situation in which there are two particles in nearby circular polar orbits of the Earth at radius [math]\displaystyle{ r }[/math] and speed [math]\displaystyle{ v }[/math]. Since the orbits are circular, the gravitational force on the particles must equal the centripetal force,
- [math]\displaystyle{ {v^2 \over r} = {GM \over r^2} }[/math]
where G is the gravitational constant and [math]\displaystyle{ M }[/math] is the mass of the earth.
The particles execute simple harmonic motion about the earth and with respect to each other. They are at their maximum distance from each other as they cross the equator. Their trajectories intersect at the poles.
From Newton's Law of Gravitation the separation vector [math]\displaystyle{ \mathbf{h} }[/math] can be shown to be given by the "geodesic equation"
- [math]\displaystyle{ {d^2 \mathbf{h} \over d\tau^2} + R \mathbf{h} = 0 }[/math]
where [math]\displaystyle{ R = {1 \over r^2 } {v^2 \over c^2 } }[/math] is the curvature of the trajectory and [math]\displaystyle{ \tau = ct }[/math] is the speed of light c times the time.
The curvature of the trajectory is generated by the mass of the earth [math]\displaystyle{ M }[/math]. This is represented by the "field equation"
- [math]\displaystyle{ R = {GM \over { r^3} } }[/math]
In this example, the field equation is simply a statement of the Newtonian concept that centripetal force is equal to gravitational force for circular orbits. We refer to this expression as a field equation in order to highlight the similarities with the Einstein field equation. This equation is in a much different form than Gauss's law, which is the usual characterization of the field equation in Newtonian mechanics.
Relationship between curvature and mass density
Mass can be written in terms of the average mass density [math]\displaystyle{ \rho (r) }[/math] inside a sphere of radius [math]\displaystyle{ r }[/math] by the expression
- [math]\displaystyle{ M = {4\pi\rho (r) r^3 \over 3 } }[/math].
The field equation becomes
- [math]\displaystyle{ R = {4 \pi G \over {3 } } \rho (r) }[/math].
The curvature of the particle trajectories is proportional to mass density.
Local measurements
A requirement of General Relativity is that all measurements must be made locally. Imagine that the particles are inside a windowless spacecraft co-orbiting the Earth with the center of mass of the spacecraft coincident with one of the particles. That particle would be at rest with respect to the spacecraft. An observer in the spacecraft would have no indication that the craft was orbiting Earth. The observer is only allowed to measure the behavior of the particles in the frame of the craft.
In this example, we can define a local coordinate system such that the [math]\displaystyle{ z }[/math]-direction is toward the ceiling of the craft and this is directed along [math]\displaystyle{ \mathbf{r} }[/math]. The [math]\displaystyle{ x }[/math]-direction is toward the front of the craft and is in the direction of [math]\displaystyle{ \mathbf{v} }[/math]. The [math]\displaystyle{ y }[/math]-direction is toward the left side of the craft.
In this frame, the vector [math]\displaystyle{ \mathbf{h} }[/math] is the position vector for the second particle. An observer in the craft would think the second particle was oscillating in a potential well generated by a gravitational field. This is an example of a coordinate acceleration due to the choice of frames as opposed to a physical acceleration due to actual forces.
General motion in the earth's gravitational field
Elliptic and hyberbolic trajectories
More generally, particles move in elliptic or hyberbolic trajectories in a plane that contains the earth center. The orbits need not be circular. One can obtain intuitive geodesic and field equations in those situations as well [Ref 2, Chapter 1]. Unlike circular orbits, however, the speed of the particles in elliptic or hyperbolic trajectories is not constant. We therefore do not have a constant speed with which to scale the curvature. Therefore, in anticipation of the transition to relativistic mechanics, the trajectories and curvatures are scaled with the speed of light [math]\displaystyle{ c }[/math].
From Newton's Law of Gravitation
- [math]\displaystyle{ {d^2 \mathbf{r} \over dt^2} = - {GM \over r^3}\mathbf{r} }[/math]
one can obtain the geodesic equation for the separation of two particles in nearby trajectories
- [math]\displaystyle{ {d^2 \mathbf{h} \over d\tau^2} + R \mathbf{h} = 0 }[/math]
and the field equation
- [math]\displaystyle{ R = R_{\perp} = {GM \over {c^2 r^3}} = {4 \pi G \over {3 c^2 } }\rho (r) }[/math]
if the particle separation is perpendicular to [math]\displaystyle{ \mathbf{r} }[/math] and
- [math]\displaystyle{ R = R_{\|} = -{2GM \over {c^2 r^3}} = -{8 \pi G \over {3 c^2 } }\rho (r) }[/math]
if the separation is parallel to [math]\displaystyle{ \mathbf{r} }[/math]. In the calculation of [math]\displaystyle{ R_{\|} }[/math] the radius was expanded in terms of [math]\displaystyle{ \mathbf{h} }[/math]. Only the linear term was retained.
In the case that the separation of the particle is radial, the curvature is negative. This will cause the particles to separate rather than to be drawn toward each other as in the case in which they have the same radius. This is easy to understand. Outer orbits travel slower than inner orbits. This leads to particle separation.
Local coordinate system
A local coordinate system for a space craft co-moving with one of the particles can again be defined. The [math]\displaystyle{ z }[/math]-direction, toward the ceiling, is in the direction of [math]\displaystyle{ \mathbf{r} }[/math]. The [math]\displaystyle{ x }[/math]-direction, toward the front of the craft, is perpendicular to [math]\displaystyle{ \mathbf{r} }[/math] but still in the plane of the trajectory. Unlike in a circular orbit, this craft no longer necessarily points in the direction of the velocity. The [math]\displaystyle{ y }[/math]-direction is toward the left side of the craft.
Tensor description
Simple diagonal frame
The geodesic equation in a radial gravitational field can be described succinctly in tensor notation [Ref. 2, p. 37] in the co-moving frame in which the ceiling of the space craft is in the [math]\displaystyle{ \mathbf{\hat r} }[/math] direction
- [math]\displaystyle{ {d^2 h^i \over ds^2} + R^i_j h^j = 0 }[/math]
where the Latin indices are over the spatial directions in the co-moving system, and we have used the Einstein summation convention in which repeated indices are summed. The curvature tensor [math]\displaystyle{ R^i_j }[/math] is given by
- [math]\displaystyle{ \begin{Vmatrix} R^1_1 & R^2_1 & R^3_1\\ R^1_2 & R^2_2 & R^3_2\\ R^1_3 & R^2_3 & R^3_3 \end{Vmatrix} = \begin{Vmatrix} R_\perp & 0 & 0\\ 0 & R_\perp & 0\\ 0 & 0 & R_\| \end{Vmatrix} }[/math]
and the separation vector is given by
- [math]\displaystyle{ \begin{Vmatrix} h^1 & h^2 & h^3\end{Vmatrix} = \begin{Vmatrix} \mathbf{h}\cdot\mathbf{\hat x} & \mathbf{h}\cdot\mathbf{\hat y} & \mathbf{h}\cdot\mathbf{\hat z}\end{Vmatrix} }[/math]
where [math]\displaystyle{ \mathbf{h}\cdot\mathbf{\hat x} }[/math] is the component of [math]\displaystyle{ \mathbf{h} }[/math] in the [math]\displaystyle{ \mathbf{\hat x} }[/math] direction, [math]\displaystyle{ \mathbf{h}\cdot\mathbf{\hat y} }[/math] is the component in the [math]\displaystyle{ \mathbf{\hat y} }[/math] direction, and [math]\displaystyle{ \mathbf{h}\cdot\mathbf{\hat z} }[/math] is the component in the [math]\displaystyle{ \mathbf{\hat z} }[/math] direction.
In this co-moving coordinate system the curvature tensor is diagonal. This is not true in general.
Arbitrary orientation of the local frame
The co-moving spacecraft has no windows. An observer is not able to tell which direction is the [math]\displaystyle{ \mathbf{\hat r} }[/math] direction, nor can he/she know which direction is the velocity with respect to earth. The orientation of the spacecraft may be quite different from the simple coordinate system in which the ceiling is in the [math]\displaystyle{ \mathbf{\hat r} }[/math] direction and the front of the craft is in a direction coplanar with the radius and the velocity. We can transform our simple coordinates to an arbitrarily oriented coordinate system through rotations. This, however, destroys the diagonal nature of the curvature matrix.
Rotations are performed with a rotation matrix [math]\displaystyle{ \mathcal{C} }[/math] such that the separation vector [math]\displaystyle{ \mathbf{\bar h} }[/math] is related to the separation vector before rotation [math]\displaystyle{ \mathbf{h} }[/math] by the relation
- [math]\displaystyle{ \bar h^i = \mathcal{M}^i_jh^j }[/math].
The inverse [math]\displaystyle{ \bar{\mathcal{M}} }[/math] of [math]\displaystyle{ \mathcal{M} }[/math] is defined by
- [math]\displaystyle{ \bar{\mathcal{M}}^i_j \mathcal{M}^j_k = \delta^i_k }[/math],
which yields
- [math]\displaystyle{ h^i = \bar{\mathcal{M}}^i_j \bar h^j }[/math].
Here [math]\displaystyle{ \delta^i_k }[/math] is the Kronecker delta.
A simple rotation matrix that rotates the coordinate axis through an angle [math]\displaystyle{ \theta }[/math] about the [math]\displaystyle{ x }[/math]-axis is
- [math]\displaystyle{ \begin{Vmatrix}\mathcal{M}^1_1 & \mathcal{M}^2_1 & \mathcal{M}^3_1\\ \mathcal{M}^1_2 & \mathcal{M}^2_2 & \mathcal{M}^3_2\\ \mathcal{M}^1_3 & \mathcal{M}^2_3 & \mathcal{M}^3_3 \end{Vmatrix} = \begin{Vmatrix} 1 & 0 & 0\\ 0 & \cos(\theta ) & \sin(\theta )\\ 0 & -\sin(\theta ) & \cos(\theta )\end{Vmatrix} }[/math].
This is a rotation in the y-z plane. The inverse is obtained by switching the sign of [math]\displaystyle{ \theta }[/math].
If the rotation matrix does not depend on time then the geodesic equation becomes, upon rotation
- [math]\displaystyle{ {d^2 \bar h^i \over ds^2} + \bar R^i_j \bar h^j = 0 }[/math]
where
- [math]\displaystyle{ \bar R^i_j = \mathcal{M}^i_k R^k_l \bar{\mathcal{M}}^l_j }[/math].
The curvature in the new coordinate system is non-diagonal. The inverse problem of transforming an arbitrary coordinate system into a diagonal system can be performed mathematically with the process of diagonalization.
• the balls on the world line before/after future/past accelerations are more spaced out due to time dilation.
• events which were simultaneous before an acceleration are at different times afterwards (due to the relativity of simultaneity),
• events pass through the light cone lines due to the progression of proper time, but not due to the change of views caused by the accelerations, and
• the world line always remains within the future and past light cones of the current event.
Time dependent rotation of the local frame: Christoffel symbols
The space craft may tumble about its center of mass. In that case the rotation matrix is time dependent. If the rotation matrix is time dependent, then it does not commute with the time derivative.
In that case, the rotation of the separation velocity can be written
- [math]\displaystyle{ \mathcal{M}^k_i {d h^i \over ds} = \mathcal{M}^k_i {d \bar{\mathcal{M}}^i_j \bar h^j \over ds} }[/math]
which becomes
- [math]\displaystyle{ {d \bar h^k \over ds} + \Gamma^k_j \bar h^j \ \stackrel{\mathrm{def}}{=}\ {D \bar h^k \over Ds} }[/math]
where
- [math]\displaystyle{ \Gamma^k_j \ \stackrel{\mathrm{def}}{=}\ \mathcal{M}^k_i {d \bar{\mathcal{M}}^i_j \over ds} }[/math]
is known as a Christoffel symbol.
The geodesic equation becomes
- [math]\displaystyle{ {D^2 \bar h^i \over Ds^2} + \bar R^i_j \bar h^j = 0 }[/math],
which is the same as before with the exception that the derivatives have been generalized.
Arbitrariness in the curvature
The velocity in the frame of the spacecraft can be written
- [math]\displaystyle{ \bar u^i \ \stackrel{\mathrm{def}}{=}\ {D \bar h^i \over Ds} }[/math].
The geodesic equation becomes
- [math]\displaystyle{ {d \bar u^i \over ds} + \Gamma^i_j \bar u^j + \bar R^i_j \bar h^j = 0 }[/math].
- [math]\displaystyle{ {d^2 \bar h^i \over ds^2} + 2 \Gamma^i_j {d \bar h^i \over ds} + {d \Gamma^i_j \over ds} \bar h^j + \Gamma^i_j \Gamma^j_k \bar h^k + \bar R^i_j \bar h^j = 0 }[/math].
In an arbitrarily rotating spacecraft, the curvature of space is due to two terms, one due to the mass density and one due to the arbitrary rotation of the spacecraft. The arbitrary rotation is non-physical and must be eliminated in any real physical theory of gravitation. In General Relativity this is done with a process called Fermi–Walker transport. In a Euclidean sense, Fermi–Walker transport is simply a statement that the spacecraft is not allowed to tumble
- [math]\displaystyle{ \Gamma^i_j = 0 }[/math]
for all i and j. The only time-dependent rotations allowed are those generated by the mass density.
General geodesic and field equations in a Newtonian setting
Geodesic equation
- [math]\displaystyle{ {D^2 \bar h^i \over Ds^2} + \bar R^i_j \bar h^j = 0 }[/math]
where
- [math]\displaystyle{ {D \over Ds} \ \stackrel{\mathrm{def}}{=}\ {d \over ds} + \Gamma }[/math]
and [math]\displaystyle{ \Gamma }[/math] is a Christoffel symbol.
Field equation
- [math]\displaystyle{ \bar R^i_j = \mathcal{M}^i_k R^k_l \bar{\mathcal{M}}^l_j }[/math]
where [math]\displaystyle{ \mathcal{M}^i_j }[/math] is a rotation matrix and the curvature tensor is
- [math]\displaystyle{ \begin{Vmatrix} R^1_1 & R^2_1 & R^3_1\\ R^1_2 & R^2_2 & R^3_2\\ R^1_3 & R^2_3 & R^3_3 \end{Vmatrix} = \begin{Vmatrix} R_\perp & 0 & 0\\ 0 & R_\perp & 0\\ 0 & 0 & R_\| \end{Vmatrix} }[/math].
The curvature is proportional to the mass density
- [math]\displaystyle{ R_{\perp} = {4 \pi G \over {3 c^2 } }\rho (r) }[/math]
- [math]\displaystyle{ R_{\|} = -{8 \pi G \over {3 c^2 } }\rho (r) }[/math].
Overview of the Newtonian picture
The geodesic and field equations simply are a restatement of Newton's Law of Gravitation as seen from a local frame of reference co-moving with the mass within the local frame. This picture contains many of the elements of General Relativity, including the concept that particles travel along geodesics in a curved space (spacetime in the relativistic case) and that the curvature is due to the presence of mass density (mass/energy density in the relativistic case). This picture also contains some of the mathematical machinery of General Relativity such as tensors, Christoffel symbols, and Fermi–Walker transport.
Relativistic generalization
General relativity generalizes the geodesic equation and the field equation to the relativistic realm in which trajectories in space are replaced with world lines in spacetime. The equations are also generalized to more complicated curvatures.
See also
Biographies
Related mathematics
- Mathematics of general relativity
- Basic introduction to the mathematics of curved spacetime
- Tidal tensor
- Frame fields in general relativity
References
- [1] Einstein, A. (1961). Relativity: The Special and General Theory. New York: Crown. ISBN 0-517-02961-8. https://archive.org/details/relativityspecia00eins_0.
- [2] Misner, Charles; Thorne, Kip S.; Wheeler, John Archibald (1973). Gravitation. San Francisco: W. H. Freeman. ISBN 0-7167-0344-0.
- [3] Landau, L. D.; Lifshitz, E. M. (1975). Classical Theory of Fields (Fourth Revised English ed.). Oxford: Pergamon. ISBN 0-08-018176-7.
- [4] P. A. M. Dirac (1996). General Theory of Relativity. Princeton University Press. ISBN 0-691-01146-X.
 |  |
