How Einstein Got His Field Equations S. Walters In commemoration of General Relativity’s centennial ABSTRACT. We study the pages in Albert Einstein’s 1916 landmark paper in the Annalen der Physik where he derived his field equations for gravity. Einstein made two heuristic and physically insightful steps. The first was to obtain the field equations in vacuum in a rather geometric fashion. The second step was obtaining the field equations in the presence of matter from the field equations in vacuum. (This transition is an essential principle in physics, much as the principle of local gauge invariance in quantum field theory.) To this end, we go over some quick differential geometric background related to curvilinear coordinates, vectors, tensors, metric tensor, Christoffel symbols, Riemann curvature tensor, Ricci tensor, and see how Einstein used geometry to model gravity. This paper is a more detailed version of my talk given at the Math-Physics Symposium at UNBC on February 25, 2016. It is in reference to Einstein’s paper: A. Einstein, The Foundation of the General Theory of Relativity, Annalen der Physik, 49, 1916. (For an English translation see: H. A. Lorentz, A. Einstein, H. Minkowski, H. Weyl, The Principle of Relativity.) The paper has two sections. The first section is a smash course on the semi-Riemannian geometry tools needed to understand Einstein’s theory. The second section looks at Einstein’s derivation of his field equations in vac- uum and in the presence of matter and/or electromagnetism as he worked them out in his paper. This paper commemorates the 100th centennial of Einstein’s General The- ory of Relativity, which he finalized near the end of November 1915 and pub- lished in 1916. arXiv:1608.05752v1 [physics.hist-ph] 19 Aug 2016 Date: Jan./Feb. 2016 (last update July 2016) LATEX File: EinsteinRelativityLectureFeb2016.tex. 2000 Mathematics Subject Classification. 35Q76 83C05 35Q75 37N20 83-01 83-XX. Key words and phrases. Einstein field equations, tensors, relativity, gravity, curvature, spacetime. 1 2 S. Walters 1. Semi-Riemannian to the rule ¶x0n V 0n = V m : (1.1) Geometry ¶xm In this section we outline briefly some of Covariant vector fields are written using the basic and standard concepts known from subscripts Vm and they transform in a dual manner via semi-Riemannian geometry that are used in ¶xm Einstein’s formulation of his theory of grav- V 0 = V : (1.2) n x0n m ity. ¶ Spacetime Curvilinear coordinates. Spacetime coordinates are written using superscripts simply as xm where m = 1;2;3;4. This is short for vectors (x1;x2;x3;x4) describ- ing points in spacetime with respect to a cer- tain coordinate system (cartesian, cylindri- cal, spherical, etc). The coordinates x1;x2;x3 refer to spatial coordinates and x4 to the time coordinate. Any other coordinate system can be written as x0m . (An observer and the coor- dinate system used by him/her will be iden- tified.) Einstein’s Summation Convention. Figure 1. At each point p in space time Any time an upper index is repeated as a one has natural vectors e1;e2 that are tan- lower index we are automatically summing gent to the curved coordinate axes, quite ˆi; jˆ; kˆ over that index. For example, we write analogous to the vectors in calculus. 4 4 Examples. V mU ≡ V mU ; Amn ≡ Amn : ∑ m m ∑ tm tm (1) If a test particle is moving in space and m=1 m=1 its spacetime coordinates are expressed in (In such cases one drops the ∑ notation.) terms of its proper time t, i.e. xm = xm (t), A vector field V is a differentiable func- then its velocity 4-vector is defined by tion defined on a certain region of space time dxm whose values are “tangent” vectors to space- V m = : time (much as vectors one the sphere that dt are tangent to it at each point of a certain Defining a particle’s velocity in this way is region on it). There is a natural way to de- quite convenient since it gives us a “covari- scribe V by means of its components V m rela- ant” way of describing velocities. This is so tive to a given coordinate system xm . (Essen- simply because from the chain rule from cal- tially, each coordinate axis xm has a vector culus we see that the velocity 4-vector trans- along it similar to the usual ˆi; jˆ; kˆ vectors in forms just like a contravariant vector field: 3-space 3, as illustrated in Figure 1.) dx0n ¶x0n dxm R = : m The components of such vector fields are dt ¶x dt written with superscripts and called contra (2) As a second example, consider a scalar m 0n variant because their components in differ- field j = j(x ) = j(x ), and look at its gradi- m m ¶j ent coordinate systems – V relative to x ent vector field ∇j with components Vn = ¶xn . and V 0m relative to x0m – transform according Given any other coordinate system x0m , the How Einstein Got His Field Equations 3 chain rule tells us hows the gradient com- by 4 symmetric matrix with real entries) be- ponents are related: ing “− + ++” means that it has one one neg- ¶j ¶xm ¶j ative eigenvalue and 3 positive eigenvalues. = : (The only negative eigenvalue is related to ¶x0n ¶x0n ¶xm the time coordinate.) This is exactly how covariant vectors trans- In Relativity we are interested in semi- Rie- form – as in equation (1.2). mannian (or Lorentzian) metric tensors ex- A tensor (field) is like a vector (field) except emplified by the Minkowski metric that it can have two or more index compo- 21 0 0 0 3 nents, e.g. 0 1 0 0 h = 6 7 (1.3) mn m rt mn 60 0 1 0 7 Amn B C nr R ka : 4 5 0 0 0 −1 The number of indices is called the rank of the tensor. (So vectors have rank 1, scalar (used in Special Relativity) and its associ- m fields have rank 0, and C nr has rank 3.) ated element of proper spacetime interval The way tensor components transform be- ds2 = h dxm dxn = −dt2 tween different coordinate systems is just mn like equation (1.1) for each upper index, and where dt2 is called the proper time (by anal- like equation (1.2) for each lower (covariant) ogy with element of arc length in Riemann- b index. Thus, for the rank 2 tensor Aa , its ian geometry). components in another coordinate system In General Relativity, the spacetime inter- 0n Am are related by val extends to any coordinate system using the metric tensor components g according 0n a mn 0n ¶x ¶x b to Am = Aa : ¶xb ¶x0m 2 m n 2 ds = gmn dx dx = −dt : It is for such elegant transformation prop- The essential property of proper time is erties of tensors that Einstein’s principle of that it is an invariant for all coordinate sys- general covariance (discussed in the next sec- tems: tion) requires that the laws of physics be 2 02 expressed in covariant form using tensors. dt = dt : Once such a law holds in one coordinate All observers (coordinate systems) will agree system the same form of the law holds in on this quantity. (Again, this follows by the any other coordinate system. chain rule.) The most important rank 2 tensor is the Since the metric tensor gmn is an invertible metric tensor gmn because it contains the matrix, its inverse is written in superscript essential ingredients of gravity, distance, form gmn . Thus using the usual rules of ma- time, and curvature of spacetime. It has the trix multiplication one has essential property that it is symmetric mn m g gnl = dl gmn = gnm : where d m is the Kronecker delta function (which One can have either a Riemannian or a semi- l is 1 when m = l and is 0 when m 6= l). Riemannian metric tensor depending on its signature being + + ++ or − + ++, respec- Both forms of the metric tensor are used tively. The signature of gmn (treated as a 4 to raise and lower indices on tensors. For 4 S. Walters example, Einstein regarded the Christoffel symbols l rt G the components of the gravitational A = g Am ; g R = R t : mn as “ n nm rm ka m ka field.” In his paper, he also referred to the The contraction of a mixed tensor is ob- metric tensor gmn as “describing the grav- tained by setting an upper index and a lower itational field in relation to the chosen index equal and then summing. For instance, system of coordinates.” So, in a manner rt if one contracts the rank 4 tensor R ka with of speaking, gravity affects how we take the respect to the indices r and k, one gets the derivative!2 rank 2 tensor A test particle moving “freely” in vacuum 4 under the influence of the geometry of space St = Rrt ≡ Rrt a ra ∑ ra (i.e., under gravity) obeys the geodesic equa- r=1 tion 1 d2xr dxm dxn where the index r now disappeared. + Gr = 0 dt2 mn dt dt Covariant Derivative. Since spacetime is (where t is the particle’s proper time). This generally curved, the notion of the deriva- equation describes the “straight lines” tive from calculus becomes curved also. It (geodesics) of spacetime. Thus a ray of light becomes what we call the covariant deriva- or photons moving freely in (vacuum) space- tive. The covariant derivative of a covariant time will follow a path that is the analogue of vector field A is given by m straight lines (or great circles on a sphere).