So last week, I presented a talk on the Cauchy Problem in General relativity, at the science student research showcase run by my university. Today I wanted to do a brief overview of the problem and the developments made in it since Einstein published his theory of General Relativity.
The Einstein equations are given, in tensor notation by
- is the Ricci curvature tensor of the metric
- is the Ricci Scalar defined as
- is the energy momentum tensor of matter
This is a set of 10 partial differential equations which can be solved for the metric, which tells you how your spacetime is curved. The idea is that we want to be able to solve this set of partial differential equations, and find what our metric is, given a some initial data. We will limit ourselves to the vacuum Einstein equations, where we set and 1 reduces to
Now, the Cauchy problem in general relativity is that given some initial data set, can we find a stable solution to 2. Now what do I mean by an initial data set?
- A metric,
- The induced second fundamental form of ,
- Both defined on a 3-manifold (hypersurface),
The initial values that we require to solve for a metric will be some
Furthermore, these initial conditions must satisfy the vacuum constraint equations
These constraint equations ensure that and form the induced metric and second fundamental form of , and come from the Gauss and Codazzi equations.
So what are the milestones reached in addressing this problem of solving these equations?
- 1920, de Donder discovered the harmonic Gauge
- 1935, Schauder, Existence and Uniqueness of the Cauchy Problem of the Harmonic Gauge
- Stellmacher built on this to prove uniqueness of the Cauchy Problem
- 1958, Choquet-Bruhat, Local Existence
- 1969, Choquet-Bruhat and Geroch, Global Existence
Now let’s look at each of these developments in detail.
The Harmonic Gauge
And She did that along with Geroch in 1969, and she proved that for some initial data set there exists a unique solution, that is maximal, in the sense that we mentioned before, i.e. any globally hyperbolic development of the same initial data can be extended to this maximal one. Now globally hyperbolic is a geometric quality that is required to ensure that our solutions are domain independent and so is then necessary in order to prove uniqueness of solutions. In terms of geometry, globally hyperbolic means that any point in spacetime admits a Cauchy surface.
Now this maximal solution is called the Maximal Cauchy development of the data set , and is a central object in the study of general relativity. It allows us to formulate the fundamental problem of solving these Einstein equations as one of dynamics. Recall from Newtonian physics, the question is that given an initial position and velocity, what is the future? Now we ask, given the initial data set, what is the future? Where the future is manifested as this maximal Cauchy development.