35

Trying to teach myself general relativity. I sort of understand the derivation of the geodesic equation $$\frac{d^{2}x^{\alpha}}{d\tau^{2}}+\Gamma_{\gamma\beta}^{\alpha}\frac{dx^{\beta}}{d\tau}\frac{dx^{\gamma}}{d\tau}=0.$$ which describes "how" objects move through spacetime. But I've no idea "why" they move along geodesics.

Is this similar to asking why Newton's first law works? I seem to remember reading Richard Feynman saying no one knows why this is, so maybe that's the answer to my geodesic question?

Qmechanic
  • 220,844
Peter4075
  • 3,109

11 Answers11

27

You could think of it this way:

1) Take a free particle, put it at some spacetime point, and leave it evolve.

2) Imagine the motion is not geodesic, that is $a_\mu\equiv v^\nu v_{\mu;\nu}\neq 0$, or in other words the acceleration is not zero. Note: We know that $a_\mu v ^\mu = 0$, or the 4-acceleration is normal to 4-velocity.

3) Imagine you are that very particle, that is you are in the reference frame where $v^\mu=(0,0,0,1)$. Because 4-acceleration and 4-velocity are orthogonal, you shall still "see" non-zero 3-vector of acceleration in this frame. I shall not elaborate much on this see, but if you write the equations of motion of test particles located around you, you shall see them accelerating in the direction of $\bf{a}$. I refer to the chapter on comoving reference frames.

Now the punchline. As inertial mass is equivalent to passive gravitational mass, you may never distinguish whether you are standing still or moving in a gravitational field. But if you can see an appearing 3-acceleration, then you actually can distinguish by realising that you are not standing still. Hence the contradiction.

To conclude, the fact that everything moves along the geodesics is closely related to the equivalence principle.

19

That this works for a test mass is essentially a postulate, which, as indicated by Alexey Bobrick's answer, is related to the equivalence principle.

On the other hand, it is hypothesized that this behaviour can actually be demonstrated to be a direct consequence of Einstein's equations for physical masses. To prove this, however, requires actually solving the full Einstein's equations, and progress in that direction is, to the best of my knowledge, incomplete. The following is a biased (and certainly incomplete) account of some which has been done.

One of the first attacks of the problem came from Einstein himself. In a joint work of Infeld and Hoffman, the point particle is treated as a point (Dirac $\delta$) singularity in space-time. Einstein's equation is written down, and expanded in the Newtonian limit. The resulting series expansion is shown to have the first term corresponding to geodesic motion, and the second term giving the first relativistic correction (which can be used to account for the perihelion precession).

The problem was raised again by Geroch and Jang in 1975. In that paper matter is treated simply as its energy momentum tensor. That is, matter is considered to be represented by a symmetric divergence-free two-tensor (the right hand side of Einstein's equation) that satisfies some energy conditions. The main result of that paper is that if $\gamma$ is a space-time curve such that for every neighborhood $U$ of $\gamma$, there exists a symmetric divergence-free two-tensor that vanishes outside of $U$ and yet is not everywhere vanishing, then $\gamma$ is a time-like geodesic. (One should also see this paper of Weatherall for some further comments.)

The Geroch-Jang theorem has been revisited and generalised by Ehlers and Geroch in 2004. It is interesting to note, as a side remark, that an analog of the Geroch-Jang theorem is also true in Newton-Cartan theories of gravity; this result is due to Weatherall.

A different approach to the problem was taken by DMA Stuart. He considered a specific matter model (in his case, the semilinear wave equation which is known to admit soliton solutions) and showed that solitons in the gravitationally-coupled theory travel along time-like geodesics. The relevant references are this paper and this other paper both from 2004. (Warning: heavy doses of PDE theory is involved in both.)

A yet different point-of-view was given by Gralla and Wald. In that paper they considered a point-particle as a scaling limit of a family of metrics corresponding to solutions of Einstein's equations possessing a coherent body or a black hole, and derived an equation of motion for the limiting particle. The point of view was also taken up by Iva Stavrov where initial data sets generating such a family were constructed. In some sense this method is the rigorous counterpart to the original work of Einstein-Infeld-Hoffman mentioned above.

Remark: Any omissions from the above represent the limits of my own knowledge; it is quite likely that there are other large bodies of work regarding the geodesic hypothesis I am not familiar with. Unfortunately the phrase "geodesic hypothesis" has two distinct meanings in theoretical physics that I am aware of. One is the above in general relativity. The other refers to a hypothesis (due to M.F. Atiyah and N.S. Manton) in high energy physics that the dynamics of solitons can be described by geodesics on a certain moduli space of solutions. So it can be a bit confusing for doing literature search.

Willie Wong
  • 5,325
1

It is related to what Einstein called "the happiest thought of my life", that for an observer falling freely from the roof of a house, the gravitational field does not exist.

If we could choose a system of coordinates and a suitable definition of derivative, so that the acceleration (the derivative of velocity) were zero for that case, the feeling of the person in free fall would match the maths.

GR does that job. The system of coordinates is defined by the metric tensor, and the geodesic equation is nothing more than the result of setting the covariant derivative of the 4-velocity to zero.

If we make an analogy from the 4-dimensional spacetime to a 2-dimensional surface of the earth, the change of perspective is similar to realize that the airplane journey from Tokyo to Paris is a curve if observed in a common world atlas of the airline magazine. But it is "straight" if we join the 2 cities by a string in a world globe.

1

In the context of the Lagrangian formulation of GR, that fact follows from the diffeomorphism invariance of the matter action, since that leads you to the conservation equations $\nabla ^aT_{ab}=0$ for the stress-energy-momentum tensor $T_{ab}$, which, when particularized for dust with zero pressure and constant energy density $\rho$, where $T_{ab}=\rho V_a V_b$, gives you the geodesic equations $V^a\nabla _a V^b=0$ for the flow worldlines of the fluid/dust. This is only the most basic version of this argument, which can be made much more stronger.

In consistency, the same argument applied to the diffeomorphism invariance of the Einstein-Hilbert action gives you the Bianchi identity $\nabla ^a G_{ab}=0$, where $G_{ab}$ is the Einstein tensor.

QuantumLattice
  • 331
  • 1
  • 4
0

It is just like asking why Newton's first law works. First we must define inertial reference frames, which are the frames in which Newton's first law works (text from The Large and the Small).

  • An inertial reference frame is one in which inertial bodies remain at rest or in uniform motion.

It is implicit in this definition that inertial reference frames are local. That is to say, an inertial reference frame describes only a finite region of spacetime in which deviation from rest or uniform motion is not measurable and can be neglected. The size of this region depends upon the accuracy of measurement, but it is worth noting that a second in time corresponds to a light-second in distance. In terms of normal timescales, local refers to quite short intervals of time.

An inertial object, that is one in free fall, follows a locally straight path in an inertial reference frame, along the direction of its 4-velocity in spacetime.

A geodesic is defined by parallel transport of a vector in the direction which it specifies. Thus, the 4-velocity determines a geodesic in spacetime. Geodesic motion is simply a statement of Newton’s first law, that in an inertial reference frame, inertial objects remain at rest or in uniform motion in a straight line. Curvature of spacetime means that, on larger distance scales, inertial objects follow curved paths, like the orbit of the moon about the Earth.

0

The result that a freely falling test particle(a particle whose effect on space-time can be neglected) in a gravitational field moves along a geodesic can be deduced(just like a theorem of maths) from the equivalence principle, which is a hypothesis of the general theory of relativity.

Jeet
  • 1
0

It is possible to see a simpler picture by thinking in terms of energy rather than forces. This idea is essentially a physical version of ‘Quantumlattice’ mathematical answer- given above. A mass falls down to earth naturally because it doesn’t have to change its (total) energy- with lost potential energy being replaced by gaining kinetic energy. For a flat manifold, it is like having a steel ball in a flat horizontal tray. The ball can wonder naturally in any direction in the tray. An elliptic orbit in space is also a geodesic path since the total energy along the path is conserved- with any loss in gravity potential being compensated for by increasing the speed. An ideal flowing fluid in a pipe of varying cross section and elevation can also be a geodesic path, as the fluid keeps the same total energy as in the case of a falling down mass. We also note that geodesic motion is reversible. A falling mass can bounce up and regain its initial state exactly. And an orbiting mass in space can run in any of two opposite directions. If energy is added/subtracted from this mass, acceleration happens normal to the geodesic path to catch another of a new total energy. This change however doesn't happen naturally without an external factor.

Riad
  • 583
-1

Einstein basically wanted to create a model for the Universe, in which the speed of C is invariant AND causality is preserved. Everything else just comes out of the mathematics in a natural way

One of the theories that can be constructed by having C as invariant and causality preserved - is to construct Special and General relativity... A theory where among other things... Objects will have to follow geodesics in spacetime... And if that model ever ends up being helpfull to us, then that's awesome cuz we can now use it to make predictions! And if it doesn't, then at least we know one way that the Universe doesn't work :P

That's how science works, we look at how the Universe probably works, we make some assumptions (like that the Universe is probably deterministic...) and we lay down our axioms and postulates that will ultimately create a mathematical model for the Universe that we are trying to approximate... Later a new discovery or a philosophical idea, might reveal to us something unexpected which then will need to also try to account for in our already established theories and if we can't we will then have to make new ones!

As far as I know, we don't have a more "deep" reason to why objects follow geodesics in spacetime, other than, that's the mathematical model that we chose as a best fit for our Universe and the experiments that we have been doing and also our intuition and philosophical ideas about reality seem to indicate.

Maybe the Universe is not deterministic - that's a philosophical idea, but how would we know? Everyone takes it for granted that it is, so everyone is trying to create theories about a world that is deterministic (as opposed to one that isnt)- so asking "why" to those questions, is like asking "why is the Universe deterministic" - well, we don't know that it is, we just feel that it has to be!

The world of Einstein's relativity emerges out of the need to keep C invariant (because that's the model that we wanted to test) and determinism or causality to be presserved. So everything else just comes out from the mathematics that those (and other) axioms create... We don't know a deeper reason to why all those things are the way they are yet!

Nuke
  • 117
-1

Why geodesics in GR is like asking why rectilinear motion in absence of forces in classic mechanics.(Newton's first law)

And that has to do with translation symmetries of space (spacetime) in order to conserve the same physical laws everywhere in the universe.

Please view this clip (specially starting at 2:50) https://youtu.be/hF_uHfSoOGA

-3

Simplicity is the is the root of the explanation: The shortest distance between two points (relatively noted) in our inclusive spherical system, is a curve and the function of the geodesic design. The reason is that the path of least resistance reduces the waste of total energy to a finite number, and thus the total contained energy can be distributed equally within the system...

N/0= f(n){1=1}

-3

Because everything in space moves in straight lines until acted by an outside force, (gravity) ,where it still moves in straight lines around the mass of the objects in which it orbits that's been brought in to its gravitational pull. Simple answer i apologize for such