This article includes a list ofgeneral references, butit lacks sufficient correspondinginline citations. Please help toimprove this article byintroducing more precise citations.(March 2024) (Learn how and when to remove this message) |
Intheoretical physics,Nordström's theory of gravitation was a predecessor ofgeneral relativity. Strictly speaking, there were actuallytwo distinct theories proposed by the Finnish theoretical physicistGunnar Nordström, in 1912 and 1913, respectively. The first was quickly dismissed, but the second became the first known example of ametric theory of gravitation, in which the effects of gravitation are treated entirely in terms of the geometry of a curvedspacetime.
Neither of Nordström's theories are in agreement with observation and experiment. Nonetheless, the first remains of interest insofar as it led to the second. The second remains of interest both as an important milestone on the road to the current theory of gravitation,general relativity, and as a simple example of a self-consistent relativistic theory of gravitation. As an example, this theory is particularly useful in the context of pedagogical discussions of how to derive and test the predictions of a metric theory of gravitation.
Nordström's theories arose at a time when several leading physicists, including Nordström inHelsinki,Max Abraham inMilan,Gustav Mie inGreifswald, Germany, andAlbert Einstein inPrague, were all trying to create competingrelativistic theories of gravitation.[1]
All of these researchers began by trying to suitably modify the existing theory, thefield theory version of Newton's theory of gravitation. In this theory, thefield equation is thePoisson equation, where is thegravitational potential and is the density of matter, augmented by an equation of motion for atest particle in an ambient gravitational field, which we can derive fromNewton's force law and which states that theacceleration of the test particle is given by thegradient of the potential
This theory is not relativistic because the equation of motion refers to coordinate time rather thanproper time, and because, should the matter in some isolated object suddenly be redistributed by an explosion, the field equation requires that the potential everywhere in "space" must be "updated"instantaneously, which violates the principle that any "news" which has a physical effect (in this case, an effect ontest particle motion far from the source of the field) cannot be transmitted faster than thespeed of light. Einstein's former calculus professor,Hermann Minkowski had sketched a vector theory of gravitation as early as 1908, but in 1912, Abraham pointed out that no such theory would admit stable planetary orbits. This was one reason why Nordström turned to scalar theories of gravitation (while Einstein explored tensor theories).
Nordström's first attempt to propose a suitable relativistic scalar field equation of gravitation was the simplest and most natural choice imaginable: simply replace theLaplacian in the Newtonian field equation with theD'Alembertian or wave operator, which gives. This has the result of changing the vacuum field equation from theLaplace equation to thewave equation, which means that any "news" concerning redistribution of matter in one location is transmitted at the speed of light to other locations. Correspondingly, the simplest guess for a suitable equation of motion for test particles might seem to be where the dot signifies differentiation with respect to proper time, subscripts following the comma denote partial differentiation with respect to the indexed coordinate, and where is thevelocity four-vector of the test particle. This force law had earlier been proposed by Abraham, but it does not preserve the norm of the four-velocity as is required by the definition of proper time, so Nordström instead proposed.
However, this theory is unacceptable for a variety of reasons. Two objections are theoretical. First, this theory is not derivable from aLagrangian, unlike the Newtonian field theory (or most metric theories of gravitation). Second, the proposed field equation is linear. But by analogy withelectromagnetism, we should expect the gravitational field to carry energy, and on the basis of Einstein's work onrelativity theory, we should expect this energy to be equivalent to mass and therefore, to gravitate. This implies that the field equation should benonlinear. Another objection is more practical: this theory disagrees drastically with observation.
Einstein and von Laue proposed that the problem might lie with the field equation, which, they suggested, should have the linear form, where F is some yet unknown function of, and where Tmatter is thetrace of thestress–energy tensor describing the density, momentum, and stress of any matter present.
In response to these criticisms, Nordström proposed his second theory in 1913. From the proportionality of inertial and gravitational mass, he deduced that the field equation should be, which is nonlinear. Nordström now took the equation of motion to be
or.
Einstein took the first opportunity to proclaim his approval of the new theory. In a keynote address to the annual meeting of the Society of German Scientists and Physicians, given inVienna on September 23, 1913, Einstein surveyed the state of the art, declaring that only his own work withMarcel Grossmann and the second theory of Nordström were worthy of consideration. (Mie, who was in the audience, rose to protest, but Einstein explained his criteria and Mie was forced to admit that his own theory did not meet them.) Einstein considered the special case when the only matter present is a cloud ofdust (that is, aperfect fluid in which the pressure is assumed to be negligible). He argued that the contribution of this matter to the stress–energy tensor should be:
He then derived an expression for the stress–energy tensor of the gravitational field in Nordström's second theory,
which he proposed should hold in general, and showed that the sum of the contributions to the stress–energy tensor from the gravitational field energy and from matter would beconserved, as should be the case. Furthermore, he showed, the field equation of Nordström's second theory follows from the Lagrangian
Since Nordström's equation of motion for test particles in an ambient gravitational field also follows from a Lagrangian, this shows that Nordström's second theory can be derived from anaction principle and also shows that it obeys other properties we must demand from a self-consistent field theory.
Meanwhile, a gifted Dutch student,Adriaan Fokker had written a Ph.D. thesis underHendrik Lorentz in which he derived what is now called theFokker–Planck equation. Lorentz, delighted by his former student's success, arranged for Fokker to pursue post-doctoral study with Einstein in Prague. The result was a historic paper which appeared in 1914, in which Einstein and Fokker observed that the Lagrangian for Nordström's equation of motion for test particles,, is thegeodesic Lagrangian for a curvedLorentzian manifold withmetric tensor. If we adoptCartesian coordinates with line element with corresponding wave operator on the flat background, orMinkowski spacetime, so that the line element of the curved spacetime is, then theRicci scalar of this curved spacetime is just
Therefore, Nordström's field equation becomes simply
where on the right hand side, we have taken the trace of the stress–energy tensor (with contributions from matter plus any non-gravitational fields) using the metric tensor. This is a historic result, because here for the first time we have a field equation in which on the left hand side stands a purely geometrical quantity (the Ricci scalar is the trace of theRicci tensor, which is itself a kind of trace of the fourth rankRiemann curvature tensor), and on the right hand stands a purely physical quantity, the trace of the stress–energy tensor. Einstein gleefully pointed out that this equation now takes the form which he had earlier proposed with von Laue, and gives a concrete example of a class of theories which he had studied with Grossmann.
Some time later,Hermann Weyl introduced theWeyl curvature tensor, which measures the deviation of a Lorentzian manifold from beingconformally flat, i.e. with metric tensor having the form of the product of some scalar function with the metric tensor of flat spacetime. This is exactly the special form of the metric proposed in Nordström's second theory, so the entire content of this theory can be summarized in the following two equations:
Einstein was attracted to Nordström's second theory by its simplicity.[citation needed] Thevacuum field equations in Nordström's theory are simply
We can immediately write down thegeneral vacuum solution in Nordström's theory:
where and is the line element for flat spacetime in any convenient coordinate chart (such as cylindrical, polar spherical, or double null coordinates), and where is the ordinary wave operator on flat spacetime (expressed in cylindrical, polar spherical, or double null coordinates, respectively). But the general solution of the ordinary three-dimensional wave equation is well known, and can be given rather explicit form. Specifically, for certain charts such as cylindrical or polar spherical charts on flat spacetime (which induce corresponding charts on our curved Lorentzian manifold), we can write the general solution in terms of a power series, and we can write the general solution of certainCauchy problems in the manner familiar from theLienard-Wiechert potentials in electromagnetism.
In any solution to Nordström's field equations (vacuum or otherwise), if we consider as controlling aconformal perturbation from flat spacetime, then to first order in we have
Thus, in the weak field approximation, we can identify with the Newtonian gravitational potential, and we can regard it as controlling asmall conformal perturbation from aflat spacetime background.
In any metric theory of gravitation, all gravitational effects arise from the curvature of the metric. In a spacetime model in Nordström's theory (but not in general relativity), this depends only on thetrace of the stress–energy tensor. But the field energy of an electromagnetic field contributes a term to the stress–energy tensor which istraceless, soin Nordström's theory, electromagnetic field energy does not gravitate! Indeed, since every solution to the field equations of this theory is a spacetime which is among other things conformally equivalent to flat spacetime, null geodesics must agree with the null geodesics of the flat background, sothis theory can exhibit no light bending.
Incidentally, the fact that the trace of the stress–energy tensor for anelectrovacuum solution (a solution in which there is no matter present, nor any non-gravitational fields except for an electromagnetic field) vanishes shows that in the generalelectrovacuum solution in Nordström's theory, the metric tensor has the same form as in a vacuum solution, so we need only write down and solve thecurved spacetime Maxwell field equations. But these areconformally invariant, so we can also write down thegeneral electrovacuum solution, say in terms of a power series.
In any Lorentzian manifold (with appropriate tensor fields describing any matter and physical fields) which stands as a solution to Nordström's field equations, the conformal part of the Riemann tensor (i.e. the Weyl tensor) always vanishes. The Ricci scalar also vanishes identically in any vacuum region (or even, any region free of matter but containing an electromagnetic field). Are there any further restrictions on the Riemann tensor in Nordström's theory?
To find out, note that an important identity from the theory of manifolds, theRicci decomposition, splits the Riemann tensor into three pieces, which are each fourth-rank tensors, built out of, respectively, theRicci scalar, thetrace-free Ricci tensor
and theWeyl tensor. It immediately follows that Nordström's theoryleaves the trace-free Ricci tensor entirely unconstrained by algebraic relations (other than the symmetric property, which this second rank tensor always enjoys). But taking account of the twice-contracted and detractedBianchi identity, a differential identity which holds for theRiemann tensor in any (semi)-Riemannian manifold, we see that in Nordström's theory, as a consequence of the field equations, we have thefirst-order covariant differential equation
which constrains the semi-traceless part of the Riemann tensor (the one built out of the trace-free Ricci tensor).
Thus, according to Nordström's theory, in a vacuum region only the semi-traceless part of the Riemann tensor can be nonvanishing. Then our covariant differential constraint on shows how variations in the trace of the stress–energy tensor in our spacetime model can generate a nonzero trace-free Ricci tensor, and thus nonzero semi-traceless curvature, which can propagate into a vacuum region. This is critically important, becauseotherwise gravitation would not, according to this theory, be a long-range force capable of propagating through a vacuum.
In general relativity, something somewhat analogous happens, but there it is theRicci tensor which vanishes in any vacuum region (butnot in a region which is matter-free but contains an electromagnetic field), and it is theWeyl curvature which is generated (via another first order covariantdifferential equation) by variations in the stress–energy tensor and which then propagates into vacuum regions, rendering gravitation a long-range force capable of propagating through a vacuum.
We can tabulate the most basic differences between Nordström's theory and general relativity, as follows:
| type of curvature | Nordström | Einstein | |
|---|---|---|---|
| scalar | vanishes in electrovacuum | vanishes in electrovacuum | |
| once traceless | nonzero for gravitational radiation | vanishes in vacuum | |
| completely traceless | vanishes always | nonzero for gravitational radiation |
Another feature of Nordström's theory is that it can be written as the theory of a certain scalar field inMinkowski spacetime, and in this form enjoys the expected conservation law for nongravitational mass-energytogether with gravitational field energy, but suffers from a not very memorable force law. In the curved spacetime formulation the motion of test particles is described (the world line of a free test particle is a timelike geodesic, and by an obvious limit, the world line of a laser pulse is a null geodesic), but we lose the conservation law. So which interpretation is correct? In other words, which metric is the one which according to Nordström can be measured locally by physical experiments? The answer is: the curved spacetime is the physically observable one in this theory (as in all metric theories of gravitation); the flat background is a mere mathematical fiction which is, however, of inestimable value for such purposes as writing down the general vacuum solution, or studying the weak field limit.
At this point, we could show that in the limit of slowly moving test particles and slowly evolving weak gravitational fields, Nordström's theory of gravitation reduces to the Newtonian theory of gravitation. Rather than showing this in detail, we will proceed to a detailed study of the two most important solutions in this theory:
We will use the first to obtain the predictions of Nordström's theory for the four classic solar system tests of relativistic gravitation theories (in the ambient field of an isolated spherically symmetric object), and we will use the second to compare gravitational radiation in Nordström's theory and in Einstein's general theory of relativity.
The static vacuum solutions in Nordström's theory are the Lorentzian manifolds with metrics of the form
where we can take the flat spacetime Laplace operator on the right. To first order in, the metric becomes
where is the metric of Minkowski spacetime (the flat background).
Adopting polar spherical coordinates, and using the known spherically symmetric asymptotically vanishing solutions of the Laplace equation, we can write the desiredexact solution as
where we justify our choice of integration constants by the fact that this is the unique choice giving the correct Newtonian limit. This gives the solution in terms of coordinates which directly exhibit the fact that this spacetime is conformally equivalent to Minkowski spacetime, but the radial coordinate in this chart does not readily admit a direct geometric interpretation. Therefore, we adopt insteadSchwarzschild coordinates, using the transformation, which brings the metric into the form
Here, now has the simple geometric interpretation that the surface area of the coordinate sphere is just.
Just as happens in the corresponding static spherically symmetric asymptotically flat solution of general relativity, this solution admits a four-dimensionalLie group of isometries, or equivalently, a four-dimensional (real)Lie algebra ofKilling vector fields. These are readily determined to be
These are exactly the same vector fields which arise in the Schwarzschild coordinate chart for theSchwarzschild vacuum solution of general relativity, and they simply express the fact that this spacetime is static and spherically symmetric.
The geodesic equations are readily obtained from the geodesic Lagrangian. As always, these are second order nonlinear ordinary differential equations.
If we set we find that test particle motion confined to the equatorial plane is possible, and in this case first integrals (first order ordinary differential equations) are readily obtained. First, we have
where to first order in m we have the same result as for the Schwarzschild vacuum. This also shows that Nordström's theory agrees with the result of thePound–Rebka experiment. Second, we have
which is the same result as for the Schwarzschild vacuum. This expresses conservation of orbital angular momentum of test particles moving in the equatorial plane, and shows that the period of a nearly circular orbit (as observed by a distant observer) will be same as for the Schwarzschild vacuum. Third, with for timelike, null, spacelike geodesics, we find
where
is a kind ofeffective potential. In the timelike case, we see from this that there existstable circular orbits at, which agrees perfectly with Newtonian theory (if we ignore the fact that now theangular but not theradial distance interpretation of r agrees with flat space notions). In contrast, in the Schwarzschild vacuum we have to first order in m the expression. In a sense, the extra term here results from the nonlinearity of the vacuum Einstein field equation.
It makes sense to ask how much force is required to hold a test particle with a given mass over the massive object which we assume is the source of this static spherically symmetric gravitational field. To find out, we need only adopt the simpleframe field
Then, the acceleration of the world line of our test particle is simply
Thus, the particle must maintain radially outward to maintain its position, with a magnitude given by the familiar Newtonian expression (but again we must bear in mind that the radial coordinate here cannot quite be identified with a flat space radial coordinate). Put in other words, this is the "gravitational acceleration" measured by a static observer who uses a rocket engine to maintain his position. In contrast, tosecond order in m, in the Schwarzschild vacuum the magnitude of the radially outward acceleration of a static observer is m r−2 + m^2 r−3; here too, the second term expresses the fact that Einstein gravity is slightly stronger "at corresponding points" than Nordström gravity.
The tidal tensor measured by a static observer is
where we take. The first term agrees with the corresponding solution in the Newtonian theory of gravitation and the one in general relativity. The second term shows that the tidal forces are a bitstronger in Nordström gravity than in Einstein gravity.
In our discussion of the geodesic equations, we showed that in the equatorial coordinate plane we have
where for a timelike geodesic. Differentiating with respect to proper time s, we obtain
Dividing both sides by gives
We found earlier that the minimum of V occurs at where. Evaluating the derivative, using our earlier results, and setting, we find
which is (to first order) the equation ofsimple harmonic motion.
In other words, nearly circular orbits will exhibit a radial oscillation. However, unlike what happens in Newtonian gravitation, the period of this oscillation will not quite match the orbital period. This will result in slow precession of the periastria (points of closest approach) of our nearly circular orbit, or more vividly, in a slow rotation of the long axis of a quasi-Keplerian nearly elliptical orbit. Specifically,
(where we used and removed the subscript from), whereas
The discrepancy is
so the periastrion lag per orbit is
and to first order in m, the long axis of the nearly elliptical orbit rotates with the rate
This can be compared with the corresponding expression for the Schwarzschild vacuum solution in general relativity, which is (to first order in m)
Thus, in Nordström's theory, if the nearly elliptical orbit is transversed counterclockwise, the long axis slowly rotatesclockwise, whereas in general relativity, it rotatescounterclockwise six times faster. In the first case we may speak of a periastrionlag and in the second case, a periastrionadvance. In either theory, with more work, we can derive more general expressions, but we shall be satisfied here with treating the special case of nearly circular orbits.
For example, according to Nordström's theory, theperihelia ofMercury shouldlag at a rate of about 7 seconds of arc per century, whereas according to general relativity, the perihelia shouldadvance at a rate of about 43 seconds of arc per century.
Null geodesics in the equatorial plane of our solution satisfy
Consider two events on a null geodesic, before and after its point of closest approach to the origin.Let these distances be with. We wish to eliminate, so put (the equation of a straight line in polar coordinates) and differentiate to obtain
Thus
Plugging this into the line element and solving for dt, we obtain
Thus the coordinate time from the first event to the event of closest approach is
and likewise
Here the elapsed coordinate time expected from Newtonian theory is of course
so the relativistic time delay, according to Nordström's theory, is
To first order in the small ratios this is just.
The corresponding result in general relativity is
which depends logarithmically on the small ratios. For example, in the classic experiment in which, at a time when, as viewed from Earth,Venus is just about to passbehind the Sun, aradar signal emitted from Earth which grazes the limb of the Sun, bounces off Venus, and returns to Earth (once again grazing the limb of the Sun), the relativistic time delay is about 20microseconds according to Nordström's theory and about 240 microseconds according to general relativity.
We can summarize the results we found above in the following table, in which the given expressions represent appropriate approximations:
| Newton | Nordström | Einstein | |
|---|---|---|---|
| Acceleration of static test particle | mr−2 | mr−2 | mr−2 +m2r−3 |
| Extra-Coulomb tidal force | 0 | m2r−4 diag(-1,1,1) | 0 |
| Radius of circular orbit | R =L2m−1 | R =L2m−1 | R =L2m−1 − 3m |
| Gravitational red shift factor | 1 | 1 +mr−1 | 1 +mr−1 |
| Angle of light bending | 0 | ||
| Rate of precession of periastria | 0 | ||
| Time delay | 0 |
The last four lines in this table list the so-calledfour classic solar system tests of relativistic theories of gravitation. Of the three theories appearing in the table, only general relativity is in agreement with the results of experiments and observations in theSolar System. Nordström's theory gives the correct result only for thePound–Rebka experiment; not surprisingly, Newton's theory flunks all four relativistic tests.
In the double null chart for Minkowski spacetime,
a simple solution of the wave equation
is, where f is anarbitrary smooth function. This represents aplane wave traveling in the z direction. Therefore, Nordström's theory admits theexact vacuum solution
which we can interpret in terms of the propagation of a gravitational plane wave.
This Lorentzian manifold admits asix-dimensional Lie group of isometries, or equivalently, a six-dimensional Lie algebra of Killing vector fields:
For example, the Killing vector field integrates to give the one parameter family of isometries
Just as in special relativity (and general relativity), it is always possible to change coordinates, without disturbing the form of the solution, so that the wave propagates in any direction transverse to.Note that our isometry group is transitive on the hypersurfaces.
In contrast, the genericgravitational plane wave in general relativity has only afive-dimensional Lie group of isometries. (In both theories, special plane waves may have extra symmetries.) We'll say a bit more about why this is so in a moment.
Adopting the frame field
we find that the corresponding family of test particles areinertial (freely falling), since theacceleration vector vanishes
Notice that if f vanishes, this family becomes a family of mutually stationary test particles in flat (Minkowski) spacetime. With respect to the timelike geodesiccongruence ofworld lines obtained by integrating thetimelike unit vector field, theexpansion tensor
shows that our test particles are expanding or contractingisotropically andtransversely to the direction of propagation. This is exactly what we would expect for a transversespin-0 wave; the behavior of analogous families of test particles which encounter a gravitational plane wave in general relativity is quite different, because these arespin-2 waves. This is due to the fact that Nordström's theory of gravitation is ascalar theory, whereas Einstein's theory of gravitation (general relativity) is atensor theory. On the other hand, gravitational waves in both theories aretransverse waves. Electromagnetic plane waves are of course alsotransverse. Thetidal tensor
further exhibits the spin-0 character of the gravitational plane wave in Nordström's theory. (The tidal tensor and expansion tensor are three-dimensional tensors which "live" in the hyperplane elements orthogonal to, which in this case happens to beirrotational, so we can regard these tensors as defined on orthogonal hyperslices.)
The exact solution we are discussing here, which we interpret as a propagating gravitational plane wave, gives some basic insight into thepropagation of gravitational radiation in Nordström's theory, but it does not yield any insight into thegeneration of gravitational radiation in this theory. At this point, it would be natural to discuss the analog for Nordström's theory of gravitation of the standard linearized gravitational wave theory in general relativity, but we shall not pursue this.