HOME

TheInfoList



OR:

In theoretical physics, Nordström's theory of gravitation was a predecessor of general relativity. Strictly speaking, there were actually ''two'' distinct theories proposed by the Finnish theoretical physicist Gunnar Nordström, in 1912 and 1913 respectively. The first was quickly dismissed, but the second became the first known example of a metric theory of gravitation, in which the effects of gravitation are treated entirely in terms of the geometry of a curved spacetime. 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.


Development of the theories

Nordström's theories arose at a time when several leading physicists, including Nordström in Helsinki,
Max Abraham Max Abraham (; 26 March 1875 – 16 November 1922) was a German physicist known for his work on electromagnetism and his opposition to the theory of relativity. Biography Abraham was born in Danzig, Imperial Germany (now Gdańsk in Poland) ...
in Milan,
Gustav Mie Gustav Adolf Feodor Wilhelm Ludwig Mie (; 29 September 1868 – 13 February 1957) was a German physicist. Life Mie was born in Rostock, Mecklenburg-Schwerin, Germany in 1868. From 1886 he studied mathematics and physics at the University o ...
in Greifswald, Germany, and
Albert Einstein Albert Einstein ( ; ; 14 March 1879 – 18 April 1955) was a German-born theoretical physicist, widely acknowledged to be one of the greatest and most influential physicists of all time. Einstein is best known for developing the theory ...
in Prague, were all trying to create competing relativistic theories of gravitation. All of these researchers began by trying to suitably modify the existing theory, the field theory version of Newton's theory of gravitation. In this theory, the field equation is the Poisson equation \Delta \phi = 4 \pi \rho, where \phi is the
gravitational potential In classical mechanics, the gravitational potential at a location is equal to the work (energy transferred) per unit mass that would be needed to move an object to that location from a fixed reference location. It is analogous to the electric p ...
and \rho is the density of matter, augmented by an equation of motion for a test particle in an ambient gravitational field, which we can derive from Newton's force law and which states that the
acceleration In mechanics, acceleration is the rate of change of the velocity of an object with respect to time. Accelerations are vector quantities (in that they have magnitude and direction). The orientation of an object's acceleration is given by the ...
of the test particle is given by the gradient of the potential :\frac = -\nabla \phi This theory is not relativistic because the equation of motion refers to coordinate time rather than
proper time In relativity, proper time (from Latin, meaning ''own time'') along a timelike world line is defined as the time as measured by a clock following that line. It is thus independent of coordinates, and is a Lorentz scalar. The proper time interval b ...
, 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 on test particle motion far from the source of the field) cannot be transmitted faster than the speed 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 the Laplacian in the Newtonian field equation with the
D'Alembertian In special relativity, electromagnetism and wave theory, the d'Alembert operator (denoted by a box: \Box), also called the d'Alembertian, wave operator, box operator or sometimes quabla operator (''cf''. nabla symbol) is the Laplace operator of ...
or wave operator, which gives \Box \phi = 4 \pi \, \rho. This has the result of changing the vacuum field equation from the
Laplace equation In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as \nabla^2\! f = 0 or \Delta f = 0, where \Delta = \n ...
to the wave 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 \dot_a = -\phi_ 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 u^a is the
velocity four-vector In physics, in particular in special relativity and general relativity, a four-velocity is a four-vector in four-dimensional spacetimeTechnically, the four-vector should be thought of as residing in the tangent space of a point in spacetime, spacet ...
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 \dot_a = -\phi_ - \dot \, u_a. However, this theory is unacceptable for a variety of reasons. Two objections are theoretical. First, this theory is not derivable from a Lagrangian, unlike the Newtonian field theory (or most metric theories of gravitation). Second, the proposed field equation is linear. But by analogy with
electromagnetism In physics, electromagnetism is an interaction that occurs between particles with electric charge. It is the second-strongest of the four fundamental interactions, after the strong force, and it is the dominant force in the interactions of ...
, we should expect the gravitational field to carry energy, and on the basis of Einstein's work on relativity theory, we should expect this energy to be equivalent to mass and therefore, to gravitate. This implies that the field equation should be ''nonlinear''. 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 F T_ = \rho, where F is some yet unknown function of \phi, and where Tmatter is the trace of the stress–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 \phi \, \Box \phi = -4 \pi \, T_, which is nonlinear. Nordström now took the equation of motion to be :\frac = -\phi_ or \phi \, \dot_a = -\phi_ - \dot \, u_a . 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 in Vienna on September 23, 1913, Einstein surveyed the state of the art, declaring that only his own work with Marcel 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 of ''dust'' (that is, a
perfect fluid In physics, a perfect fluid is a fluid that can be completely characterized by its rest frame mass density \rho_m and ''isotropic'' pressure ''p''. Real fluids are "sticky" and contain (and conduct) heat. Perfect fluids are idealized models in whi ...
in which the pressure is assumed to be negligible). He argued that the contribution of this matter to the stress–energy tensor should be: :\left( T_ \right)_ = \phi \, \rho \, u_a \, u_b He then derived an expression for the stress–energy tensor of the gravitational field in Nordström's second theory, :4 \pi \, \left( T_ \right)_ = \phi_ \, \phi_ - 1/2 \, \eta_ \, \phi_ \, \phi^ 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 be ''conserved'', as should be the case. Furthermore, he showed, the field equation of Nordström's second theory follows from the Lagrangian : L = \frac \, \eta^ \, \phi_ \, \phi_ - \rho \, \phi 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 an action 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 Adriaan Daniël Fokker (; 17 August 1887 – 24 September 1972) was a Dutch physicist. He worked in the fields of special relativity and statistical mechanics. He was the inventor of the Fokker organ, a 31 equal temperament, 31-tone equal-temp ...
had written a Ph.D. thesis under Hendrik Lorentz in which he derived what is now called the Fokker–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, L = \phi^2 \, \eta_ \, \dot^a \, \dot^b, is the geodesic Lagrangian for a curved Lorentzian manifold with
metric tensor In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows ...
g_ = \phi^2 \, \eta_ . If we adopt
Cartesian coordinates A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in ...
with line element d\sigma^2 = \eta_ \, dx^a \, dx^b with corresponding wave operator \Box on the flat background, or
Minkowski spacetime In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
, so that the line element of the curved spacetime is ds^2 = \phi^2 \, \eta_ \, dx^a \, dx^b, then the Ricci scalar of this curved spacetime is just :R = -\frac Therefore, Nordström's field equation becomes simply : R = 24 \pi \, T 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 g_. 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 the
Ricci tensor In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure ...
, which is itself a kind of trace of the fourth rank Riemann 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 the Weyl curvature tensor C_, which measures the deviation of a Lorentzian manifold from being ''conformally 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: : R = 24 \pi \, T, \; \; \; C_ = 0


Features of Nordström's theory

Einstein was attracted to Nordström's second theory by its simplicity. The ''vacuum'' field equations in Nordström's theory are simply : R = 0, \; \; \; C_ = 0 We can immediately write down the ''general'' vacuum solution in Nordström's theory: : ds^2 = \exp (2 \psi) \, \eta_ \, dx^a \, dx^b, \; \; \; \Box \psi = 0 where \phi = \exp(\psi) and d\sigma^2 = \eta_ \, dx^a \, dx^b is the line element for flat spacetime in any convenient coordinate chart (such as cylindrical, polar spherical, or double null coordinates), and where \Box 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 certain
Cauchy problem A Cauchy problem in mathematics asks for the solution of a partial differential equation that satisfies certain conditions that are given on a hypersurface in the domain. A Cauchy problem can be an initial value problem or a boundary value problem ...
s in the manner familiar from the Lienard-Wiechert potentials in electromagnetism. In any solution to Nordström's field equations (vacuum or otherwise), if we consider \psi as controlling a ''conformal perturbation from flat spacetime'', then to first order in \psi we have : ds^2 = \exp(2 \, \psi) \, \eta_ \, dx^a \, dx^b \approx (1 + 2 \psi) \, \eta_ \, dx^a \, dx^b Thus, in the weak field approximation, we can identify \psi with the Newtonian gravitational potential, and we can regard it as controlling a ''small'' conformal perturbation from a ''flat 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 the ''trace'' of the stress–energy tensor. But the field energy of an electromagnetic field contributes a term to the stress–energy tensor which is ''traceless'', so ''in 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, so ''this theory can exhibit no light bending''. Incidentally, the fact that the trace of the stress–energy tensor for an
electrovacuum solution In general relativity, an electrovacuum solution (electrovacuum) is an exact solution of the Einstein field equation in which the only nongravitational mass–energy present is the field energy of an electromagnetic field, which must satisfy the (c ...
(a solution in which there is no matter present, nor any non-gravitational fields except for an electromagnetic field) vanishes shows that in the general ''electrovacuum 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 the curved spacetime Maxwell field equations. But these are ''conformally invariant'', so we can also write down the ''general 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, the
Ricci decomposition In the mathematical fields of Riemannian and pseudo-Riemannian geometry, the Ricci decomposition is a way of breaking up the Riemann curvature tensor of a Riemannian or pseudo-Riemannian manifold into pieces with special algebraic properties. ...
, splits the Riemann tensor into three pieces, which are each fourth-rank tensors, built out of, respectively, the Ricci scalar, the trace-free Ricci tensor :S_ = R_ - \frac \, R \, g_ and the
Weyl tensor In differential geometry, the Weyl curvature tensor, named after Hermann Weyl, is a measure of the curvature of spacetime or, more generally, a pseudo-Riemannian manifold. Like the Riemann curvature tensor, the Weyl tensor expresses the tida ...
. It immediately follows that Nordström's theory ''leaves 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 detracted
Bianchi identity In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case. Definition Let ''G'' be a Lie group with Lie algebra ...
, a differential identity which holds for the
Riemann tensor In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor (after Bernhard Riemann and Elwin Bruno Christoffel) is the most common way used to express the curvature of Riemannian manifolds. ...
in any (semi)- Riemannian manifold, we see that in Nordström's theory, as a consequence of the field equations, we have the ''first-order covariant differential equation'' :_ = 6 \, \pi \, T_ 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 S_ 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, because ''otherwise 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 the ''Ricci tensor'' which vanishes in any vacuum region (but ''not'' in a region which is matter-free but contains an electromagnetic field), and it is the ''Weyl curvature'' which is generated (via another first order covariant differential 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: Another feature of Nordström's theory is that it can be written as the theory of a certain scalar field in
Minkowski spacetime In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the ...
, and in this form enjoys the expected conservation law for nongravitational mass-energy ''together 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: *the spherically symmetric static asymptotically flat vacuum solutions *the general vacuum gravitational plane wave solution 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 spherically symmetric asymptotically flat vacuum solution

The static vacuum solutions in Nordström's theory are the Lorentzian manifolds with metrics of the form : ds^2 = \exp(2 \psi) \, \eta_ \, dx^a \, dx^b, \; \; \Delta \psi = 0 where we can take the flat spacetime Laplace operator on the right. To first order in \psi, the metric becomes : ds^2 = (1 + 2 \, \psi) \, \eta_ \, dx^a \, dx^b where \eta_ \, dx^a \, dx^b is the metric of Minkowski spacetime (the flat background).


The metric

Adopting polar spherical coordinates, and using the known spherically symmetric asymptotically vanishing solutions of the Laplace equation, we can write the desired ''exact solution'' as : ds^2 = (1-m/\rho) \, \left( -dt^2 + d\rho^2 + \rho^2 \, ( d\theta^2 + \sin(\theta)^2 \, d\phi^2 ) \right) 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 instead Schwarzschild coordinates, using the transformation r = \rho \, (1 - m/\rho), which brings the metric into the form : ds^2 = (1+m/r)^ \, (-dt^2 + dr^2) + r^2 \, (d\theta^2 + \sin(\theta)^2 \, d\phi^2 ) : -\infty < t < \infty, \; 0 < r < \infty, \; 0 < \theta < \pi, \; -\pi < \phi < \pi Here, r now has the simple geometric interpretation that the surface area of the coordinate sphere r = r_0 is just 4 \pi \, r_0^2. Just as happens in the corresponding static spherically symmetric asymptotically flat solution of general relativity, this solution admits a four-dimensional
Lie group In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the ad ...
of isometries, or equivalently, a four-dimensional (real) Lie algebra of
Killing vector In mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric. Killing fields are the infinitesimal g ...
fields. These are readily determined to be : \partial_t (translation in time) : \partial_\phi (rotation about an axis through the origin) : -\cos(\phi) \, \partial_\theta + \cot(\theta) \, \sin(\phi) \, \partial_\phi : \sin(\phi) \, \partial_\theta + \cot(\theta) \, \cos(\phi) \, \partial_\phi These are exactly the same vector fields which arise in the Schwarzschild coordinate chart for the Schwarzschild vacuum solution of general relativity, and they simply express the fact that this spacetime is static and spherically symmetric.


Geodesics

The geodesic equations are readily obtained from the geodesic Lagrangian. As always, these are second order nonlinear ordinary differential equations. If we set \theta=\pi/2 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 : \dot = E \, \left( 1 + m/r \right)^2 \approx E \, \left( 1 + 2 m/r \right) 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 the
Pound–Rebka experiment The Pound–Rebka experiment was an experiment in which gamma rays were emitted from the top of a tower and measured by a receiver at the bottom of the tower. The purpose of the experiment was to test Albert Einstein's theory of general relativit ...
. Second, we have : \dot = L/r^2 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 \epsilon = -1,0,1 for timelike, null, spacelike geodesics, we find : \frac = E^2 - V where : V = \frac is a kind of ''effective potential''. In the timelike case, we see from this that there exist ''stable circular orbits'' at r_c = L^2/m, which agrees perfectly with Newtonian theory (if we ignore the fact that now the ''angular'' but not the ''radial'' distance interpretation of r agrees with flat space notions). In contrast, in the Schwarzschild vacuum we have to first order in m the expression r_c \approx L^2/m - 3 m. In a sense, the extra term here results from the nonlinearity of the vacuum Einstein field equation.


Static observers

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 simple
frame field A frame field in general relativity (also called a tetrad or vierbein) is a set of four pointwise-orthonormal vector fields, one timelike and three spacelike, defined on a Lorentzian manifold that is physically interpreted as a model of spacetime ...
:\vec_0 = \left( 1 + m/r \right) \, \partial_t :\vec_1 = \left( 1 + m/r \right) \, \partial_r :\vec_2 = \frac \, \partial_\theta :\vec_3 = \frac \, \partial_\phi Then, the acceleration of the world line of our test particle is simply : \nabla_ \vec_0 = \frac \, \vec_1 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, to ''second'' 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 : E vec = \frac \, (-2,1,1) + \frac \, (-1,1,1) where we take \vec=\vec_0. 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 bit ''stronger'' in Nordström gravity than in Einstein gravity.


Extra-Newtonian precession of periastria

In our discussion of the geodesic equations, we showed that in the equatorial coordinate plane \theta=\pi/2 we have : \dot^2 = (E^2 - V) \; ( 1 + m/r )^4 where V = (1+L^2/r^2)/(1+m/r)^2 for a timelike geodesic. Differentiating with respect to proper time s, we obtain : 2 \dot \ddot = \frac \left( (E^2-V) \, (1+m/r)^4 \right) \; \dot Dividing both sides by \dot gives : \ddot = \frac \, \frac \left( (E^2-V) \, (1+m/r)^4 \right) We found earlier that the minimum of V occurs at r_c = L^2/m where E_c = L^2/(L^2+m^2). Evaluating the derivative, using our earlier results, and setting \varepsilon = r-L^2/m^2, we find : \ddot = -\frac \, (m^2+L^2) \, \varepsilon + O(\varepsilon^2) which is (to first order) the equation of
simple harmonic motion In mechanics and physics, simple harmonic motion (sometimes abbreviated ) is a special type of periodic motion of a body resulting from a dynamic equilibrium between an inertial force, proportional to the acceleration of the body away from the ...
. 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, : \omega_ \approx \frac \, \sqrt = \frac \, \sqrt (where we used L = \sqrt and removed the subscript from r_c), whereas : \omega_ = \frac = \sqrt The discrepancy is : \Delta \omega = \omega_ - \omega_ = \sqrt - \sqrt \approx -\frac \sqrt so the periastrion lag per orbit is : \Delta \phi = 2 \pi \, \Delta \omega \approx -\pi \, \sqrt and to first order in m, the long axis of the nearly elliptical orbit rotates with the rate :\frac \approx -\frac This can be compared with the corresponding expression for the Schwarzschild vacuum solution in general relativity, which is (to first order in m) :\frac \approx \frac Thus, in Nordström's theory, if the nearly elliptical orbit is transversed counterclockwise, the long axis slowly rotates ''clockwise'', whereas in general relativity, it rotates ''counterclockwise'' six times faster. In the first case we may speak of a periastrion ''lag'' and in the second case, a periastrion ''advance''. 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, the perihelia of Mercury should ''lag'' at a rate of about 7 seconds of arc per century, whereas according to general relativity, the perihelia should ''advance'' at a rate of about 43 seconds of arc per century.


Light delay

Null geodesics in the equatorial plane of our solution satisfy : 0 = \frac + r^2 \, d\phi^2 Consider two events on a null geodesic, before and after its point of closest approach to the origin. Let these distances be R_1, \, R, \, R_2 with R_1, \, R_2 \gg R. We wish to eliminate \phi, so put R = r \, \cos \phi (the equation of a straight line in polar coordinates) and differentiate to obtain :0 = -r \sin \phi \, d\phi + \cos \phi \, dr Thus :r^2 \, d\phi^2 = \cot(\phi)^2 \, dr^2 = \frac \, dr^2 Plugging this into the line element and solving for dt, we obtain : dt \approx \frac \; \left( r + m \, \frac \right) \; dr Thus the coordinate time from the first event to the event of closest approach is : (\Delta t)_1 = \int_R^ dt \approx \frac \, \sqrt = \sqrt + m \, \sqrt and likewise : (\Delta t)_2 = \int_R^ dt \approx \frac \, \sqrt = \sqrt + m \, \sqrt Here the elapsed coordinate time expected from Newtonian theory is of course : \sqrt + \sqrt so the relativistic time delay, according to Nordström's theory, is : \Delta t = m \, \left( \sqrt + \sqrt \right) To first order in the small ratios R/R_1, \; R/R_2 this is just \Delta t = 2 m . The corresponding result in general relativity is : \Delta t = 2 m + 2 m \, \log \left( \frac \right) which depends logarithmically on the small ratios R/R_1, \; R/R_2. For example, in the classic experiment in which, at a time when, as viewed from Earth, Venus is just about to pass ''behind'' the Sun, a radar 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 20 microseconds according to Nordström's theory and about 240 microseconds according to general relativity.


Summary of results

We can summarize the results we found above in the following table, in which the given expressions represent appropriate approximations: The last four lines in this table list the so-called ''four 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 the solar system. Nordström's theory gives the correct result only for the
Pound–Rebka experiment The Pound–Rebka experiment was an experiment in which gamma rays were emitted from the top of a tower and measured by a receiver at the bottom of the tower. The purpose of the experiment was to test Albert Einstein's theory of general relativit ...
; not surprisingly, Newton's theory flunks all four relativistic tests.


Vacuum gravitational plane wave

In the double null chart for Minkowski spacetime, : ds^2 =- 2 \, du \, dv + dx^2 + dy^2, \; \; \; -\infty < u, \, v, \, x, \, y < \infty a simple solution of the wave equation :- 2 \, \psi_ + \psi_ + \psi_ = 0 is \psi = f(u), where f is an ''arbitrary'' smooth function. This represents a
plane wave In physics, a plane wave is a special case of wave or field: a physical quantity whose value, at any moment, is constant through any plane that is perpendicular to a fixed direction in space. For any position \vec x in space and any time t, th ...
traveling in the z direction. Therefore, Nordström's theory admits the ''exact vacuum solution'' : ds^2 = \exp(2 f(u)) \; \left(- 2 \, du \, dv + dx^2 + dy^2 \right), \; \; \; -\infty < u, \, v, \, x, \, y < \infty which we can interpret in terms of the propagation of a gravitational plane wave. This Lorentzian manifold admits a ''six-dimensional Lie group of isometries'', or equivalently, a six-dimensional Lie algebra of Killing vector fields: : \partial_v (a null translation, ''"opposing"'' the wave vector field \partial_u) :\partial_x, \; \; \partial_y (spatial translation orthogonal to the wavefronts) : -y \, \partial_x + x \, \partial_y (rotation about axis parallel to direction of propagation) :x \, \partial_v + u \, \partial_x, \; \; y \, \partial_v + u \, \partial_y For example, the Killing vector field x \, \partial_v + u \, \partial_x integrates to give the one parameter family of isometries :(u,v,x,y) \longrightarrow (u, \; v+ x \, \lambda + \frac \, \lambda^2, \; x + u \, \lambda, \; y) 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 \partial_z. Note that our isometry group is transitive on the hypersurfaces u=u_0. In contrast, the generic
gravitational plane wave In general relativity, a gravitational plane wave is a special class of a vacuum pp-wave spacetime, and may be defined in terms of Brinkmann coordinates by ds^2= (u)(x^2-y^2)+2b(u)xyu^2+2dudv+dx^2+dy^2 Here, a(u), b(u) can be any smooth functions ...
in general relativity has only a ''five-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 : \vec_0 = \frac \, \left( \partial_v + \exp(-2f) \, \partial_u \right) : \vec_1 = \frac \, \left( \partial_v - \exp(-2f) \, \partial_u \right) : \vec_2 = \partial_x : \vec_3 = \partial_y we find that the corresponding family of test particles are ''inertial'' (freely falling), since the acceleration vector vanishes :\nabla_ \vec_0 = 0 Notice that if f vanishes, this family becomes a family of mutually stationary test particles in flat (Minkowski) spacetime. With respect to the timelike geodesic congruence of world lines obtained by integrating the
timelike In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
unit vector field \vec = \vec_0, the ''expansion tensor'' : \theta vec = \frac \, f'(u) \, \exp (-2 \, f(u)) \, (0,1,1) shows that our test particles are expanding or contracting ''isotropically'' and ''transversely to the direction of propagation''. This is exactly what we would expect for a transverse ''spin-0 wave''; the behavior of analogous families of test particles which encounter a gravitational plane wave in general relativity is quite different, because these are ''spin-2 waves''. This is due to the fact that Nordström's theory of gravitation is a ''scalar theory'', whereas Einstein's theory of gravitation (general relativity) is a ''tensor theory''. On the other hand, gravitational waves in both theories are ''transverse'' waves. Electromagnetic plane waves are of course also ''transverse''. The ''tidal tensor'' :E vec = \frac \, \exp (-4 \, f(u)) \; \left ( f'(u) ^2 - f''(u) \right) \, (0,1,1) 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 \vec_0, which in this case happens to be irrotational, 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 the ''propagation'' of gravitational radiation in Nordström's theory, but it does not yield any insight into the ''generation'' 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.


See also

* Classical theories of gravitation *
Congruence (general relativity) In general relativity, a congruence (more properly, a congruence of curves) is the set of integral curves of a (nowhere vanishing) vector field in a four-dimensional Lorentzian manifold which is interpreted physically as a model of spacetime. O ...
* Gunnar Nordström * Obsolete physical theories * General Theory of Relativity


References

* Ravndal, Finn (2004)
Scalar Gravitation and Extra Dimensions
* * See ''problem 13.2''. {{DEFAULTSORT:Nordstrom's theory of gravitation Theories of gravity Obsolete theories in physics