DOCSLIB.ORG

How Einstein Got His Field Equations Arxiv:1608.05752V1 [Physics.Hist-Ph]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
How Einstein Got His Field Equations Arxiv:1608.05752V1 [Physics.Hist-Ph] 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).
Load more

Recommended publications
  • On the Status of the Geodesic Principle in Newtonian and Relativistic Physics1
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by PhilSci Archive On the Status of the Geodesic Principle in Newtonian and Relativistic Physics1 James Owen Weatherall2 Logic and Philosophy of Science University of California, Irvine Abstract A theorem due to Bob Geroch and Pong Soo Jang [\Motion of a Body in General Relativ- ity." Journal of Mathematical Physics 16(1), (1975)] provides a sense in which the geodesic principle has the status of a theorem in General Relativity (GR). I have recently shown that a similar theorem holds in the context of geometrized Newtonian gravitation (Newton- Cartan theory) [Weatherall, J. O. \The Motion of a Body in Newtonian Theories." Journal of Mathematical Physics 52(3), (2011)]. Here I compare the interpretations of these two the- orems. I argue that despite some apparent differences between the theorems, the status of the geodesic principle in geometrized Newtonian gravitation is, mutatis mutandis, strikingly similar to the relativistic case. 1 Introduction The geodesic principle is the central principle of General Relativity (GR) that describes the inertial motion of test particles. It states that free massive test point particles traverse timelike geodesics. There is a long-standing view, originally due to Einstein, that the geodesic principle has a special status in GR that arises because it can be understood as a theorem, rather than a postulate, of the theory. (It turns out that capturing the geodesic principle as a theorem in GR is non-trivial, but a result due to Bob Geroch and Pong Soo Jang (1975) 1Thank you to David Malament and Jeff Barrett for helpful comments on a previous version of this paper and for many stimulating conversations on this topic.
    [Show full text]
  • A Mathematical Derivation of the General Relativistic Schwarzschild
    A Mathematical Derivation of the General Relativistic Schwarzschild Metric An Honors thesis presented to the faculty of the Departments of Physics and Mathematics East Tennessee State University In partial fulfillment of the requirements for the Honors Scholar and Honors-in-Discipline Programs for a Bachelor of Science in Physics and Mathematics by David Simpson April 2007 Robert Gardner, Ph.D. Mark Giroux, Ph.D. Keywords: differential geometry, general relativity, Schwarzschild metric, black holes ABSTRACT The Mathematical Derivation of the General Relativistic Schwarzschild Metric by David Simpson We briefly discuss some underlying principles of special and general relativity with the focus on a more geometric interpretation. We outline Einstein’s Equations which describes the geometry of spacetime due to the influence of mass, and from there derive the Schwarzschild metric. The metric relies on the curvature of spacetime to provide a means of measuring invariant spacetime intervals around an isolated, static, and spherically symmetric mass M, which could represent a star or a black hole. In the derivation, we suggest a concise mathematical line of reasoning to evaluate the large number of cumbersome equations involved which was not found elsewhere in our survey of the literature. 2 CONTENTS ABSTRACT ................................. 2 1 Introduction to Relativity ...................... 4 1.1 Minkowski Space ....................... 6 1.2 What is a black hole? ..................... 11 1.3 Geodesics and Christoffel Symbols ............. 14 2 Einstein’s Field Equations and Requirements for a Solution .17 2.1 Einstein’s Field Equations .................. 20 3 Derivation of the Schwarzschild Metric .............. 21 3.1 Evaluation of the Christoffel Symbols .......... 25 3.2 Ricci Tensor Components .................
    [Show full text]
  • Refraction and Reflexion According to the Principle of General Covariance
    REFRACTION AND REFLEXION ACCORDING TO THE PRINCIPLE OF GENERAL COVARIANCE PATRICK IGLESIAS-ZEMMOUR Abstract. We show how the principle of general covariance introduced by Souriau in smoothly uniform contexts, can be extended to singular situ- ations, considering the group of diffeomorphisms preserving the singular locus. As a proof of concept, we shall see how we get again this way, the laws of reflection and refraction in geometric optics, applying an extended general covariance principle to Riemannian metrics, discontinuous along a hypersurface. Introduction In his paper “Modèle de particule à spin dans le champ électromagnétique et gravitationnel” published in 1974 [Sou74], Jean-Marie Souriau suggests a pre- cise mathematical interpretation of the principle of General Relativity. He names it the Principle of General Covariance. Considering only gravitation field1, he claimed that any material presence in the universe is characterized by a covector defined on the quotient of the set of the Pseudo-Riemannian metrics on space-time, by the group of diffeomorphisms. This principle be- ing, according to Souriau, the correct statement of the Einsteins’s principle of invariance with respect to any change of coordinates. Actually, Souriau’s general covariance principle can be regarded as the active version of Einstein invariance statement, where change of coordinates are interpreted from the active point of view as the action of the group of diffeomorphisms. Now, for reasons relative to the behavior at infinity and results requirement, the group of diffeomorphisms of space-time is reduced to the subgroup of compact supported diffeomorphisms. Date: April 6, 2019. 1991 Mathematics Subject Classification. 83C10, 78A05, 37J10.
    [Show full text]
  • Laplacians in Geometric Analysis
    LAPLACIANS IN GEOMETRIC ANALYSIS Syafiq Johar syafi[email protected] Contents 1 Trace Laplacian 1 1.1 Connections on Vector Bundles . .1 1.2 Local and Explicit Expressions . .2 1.3 Second Covariant Derivative . .3 1.4 Curvatures on Vector Bundles . .4 1.5 Trace Laplacian . .5 2 Harmonic Functions 6 2.1 Gradient and Divergence Operators . .7 2.2 Laplace-Beltrami Operator . .7 2.3 Harmonic Functions . .8 2.4 Harmonic Maps . .8 3 Hodge Laplacian 9 3.1 Exterior Derivatives . .9 3.2 Hodge Duals . 10 3.3 Hodge Laplacian . 12 4 Hodge Decomposition 13 4.1 De Rham Cohomology . 13 4.2 Hodge Decomposition Theorem . 14 5 Weitzenb¨ock and B¨ochner Formulas 15 5.1 Weitzenb¨ock Formula . 15 5.1.1 0-forms . 15 5.1.2 k-forms . 15 5.2 B¨ochner Formula . 17 1 Trace Laplacian In this section, we are going to present a notion of Laplacian that is regularly used in differential geometry, namely the trace Laplacian (also called the rough Laplacian or connection Laplacian). We recall the definition of connection on vector bundles which allows us to take the directional derivative of vector bundles. 1.1 Connections on Vector Bundles Definition 1.1 (Connection). Let M be a differentiable manifold and E a vector bundle over M. A connection or covariant derivative at a point p 2 M is a map D : Γ(E) ! Γ(T ∗M ⊗ E) 1 with the properties for any V; W 2 TpM; σ; τ 2 Γ(E) and f 2 C (M), we have that DV σ 2 Ep with the following properties: 1.
    [Show full text]
  • Introductory Lectures on Quantum Field Theory
    Introductory Lectures on Quantum Field Theory a b L. Álvarez-Gaumé ∗ and M.A. Vázquez-Mozo † a CERN, Geneva, Switzerland b Universidad de Salamanca, Salamanca, Spain Abstract In these lectures we present a few topics in quantum field theory in detail. Some of them are conceptual and some more practical. They have been se- lected because they appear frequently in current applications to particle physics and string theory. 1 Introduction These notes are based on lectures delivered by L.A.-G. at the 3rd CERN–Latin-American School of High- Energy Physics, Malargüe, Argentina, 27 February–12 March 2005, at the 5th CERN–Latin-American School of High-Energy Physics, Medellín, Colombia, 15–28 March 2009, and at the 6th CERN–Latin- American School of High-Energy Physics, Natal, Brazil, 23 March–5 April 2011. The audience on all three occasions was composed to a large extent of students in experimental high-energy physics with an important minority of theorists. In nearly ten hours it is quite difficult to give a reasonable introduction to a subject as vast as quantum field theory. For this reason the lectures were intended to provide a review of those parts of the subject to be used later by other lecturers. Although a cursory acquaintance with the subject of quantum field theory is helpful, the only requirement to follow the lectures is a working knowledge of quantum mechanics and special relativity. The guiding principle in choosing the topics presented (apart from serving as introductions to later courses) was to present some basic aspects of the theory that present conceptual subtleties.
    [Show full text]
  • Selected Papers on Teleparallelism Ii
    SELECTED PAPERS ON TELEPARALLELISM Edited and translated by D. H. Delphenich Table of contents Page Introduction ……………………………………………………………………… 1 1. The unification of gravitation and electromagnetism 1 2. The geometry of parallelizable manifold 7 3. The field equations 20 4. The topology of parallelizability 24 5. Teleparallelism and the Dirac equation 28 6. Singular teleparallelism 29 References ……………………………………………………………………….. 33 Translations and time line 1928: A. Einstein, “Riemannian geometry, while maintaining the notion of teleparallelism ,” Sitzber. Preuss. Akad. Wiss. 17 (1928), 217- 221………………………………………………………………………………. 35 (Received on June 7) A. Einstein, “A new possibility for a unified field theory of gravitation and electromagnetism” Sitzber. Preuss. Akad. Wiss. 17 (1928), 224-227………… 42 (Received on June 14) R. Weitzenböck, “Differential invariants in EINSTEIN’s theory of teleparallelism,” Sitzber. Preuss. Akad. Wiss. 17 (1928), 466-474……………… 46 (Received on Oct 18) 1929: E. Bortolotti , “ Stars of congruences and absolute parallelism: Geometric basis for a recent theory of Einstein ,” Rend. Reale Acc. dei Lincei 9 (1929), 530- 538...…………………………………………………………………………….. 56 R. Zaycoff, “On the foundations of a new field theory of A. Einstein,” Zeit. Phys. 53 (1929), 719-728…………………………………………………............ 64 (Received on January 13) Hans Reichenbach, “On the classification of the new Einstein Ansatz on gravitation and electricity,” Zeit. Phys. 53 (1929), 683-689…………………….. 76 (Received on January 22) Selected papers on teleparallelism ii A. Einstein, “On unified field theory,” Sitzber. Preuss. Akad. Wiss. 18 (1929), 2-7……………………………………………………………………………….. 82 (Received on Jan 30) R. Zaycoff, “On the foundations of a new field theory of A. Einstein; (Second part),” Zeit. Phys. 54 (1929), 590-593…………………………………………… 89 (Received on March 4) R.
    [Show full text]
  • Einstein's Mistakes
    Einstein’s Mistakes Einstein was the greatest genius of the Twentieth Century, but his discoveries were blighted with mistakes. The Human Failing of Genius. 1 PART 1 An evaluation of the man Here, Einstein grows up, his thinking evolves, and many quotations from him are listed. Albert Einstein (1879-1955) Einstein at 14 Einstein at 26 Einstein at 42 3 Albert Einstein (1879-1955) Einstein at age 61 (1940) 4 Albert Einstein (1879-1955) Born in Ulm, Swabian region of Southern Germany. From a Jewish merchant family. Had a sister Maja. Family rejected Jewish customs. Did not inherit any mathematical talent. Inherited stubbornness, Inherited a roguish sense of humor, An inclination to mysticism, And a habit of grüblen or protracted, agonizing “brooding” over whatever was on its mind. Leading to the thought experiment. 5 Portrait in 1947 – age 68, and his habit of agonizing brooding over whatever was on its mind. He was in Princeton, NJ, USA. 6 Einstein the mystic •“Everyone who is seriously involved in pursuit of science becomes convinced that a spirit is manifest in the laws of the universe, one that is vastly superior to that of man..” •“When I assess a theory, I ask myself, if I was God, would I have arranged the universe that way?” •His roguish sense of humor was always there. •When asked what will be his reactions to observational evidence against the bending of light predicted by his general theory of relativity, he said: •”Then I would feel sorry for the Good Lord. The theory is correct anyway.” 7 Einstein: Mathematics •More quotations from Einstein: •“How it is possible that mathematics, a product of human thought that is independent of experience, fits so excellently the objects of physical reality?” •Questions asked by many people and Einstein: •“Is God a mathematician?” •His conclusion: •“ The Lord is cunning, but not malicious.” 8 Einstein the Stubborn Mystic “What interests me is whether God had any choice in the creation of the world” Some broadcasters expunged the comment from the soundtrack because they thought it was blasphemous.
    [Show full text]
  • Riemannian Geometry and the General Theory of Relativity
    University of Montana ScholarWorks at University of Montana Graduate Student Theses, Dissertations, & Professional Papers Graduate School 1967 Riemannian geometry and the general theory of relativity Marie McBride Vanisko The University of Montana Follow this and additional works at: https://scholarworks.umt.edu/etd Let us know how access to this document benefits ou.y Recommended Citation Vanisko, Marie McBride, "Riemannian geometry and the general theory of relativity" (1967). Graduate Student Theses, Dissertations, & Professional Papers. 8075. https://scholarworks.umt.edu/etd/8075 This Thesis is brought to you for free and open access by the Graduate School at ScholarWorks at University of Montana. It has been accepted for inclusion in Graduate Student Theses, Dissertations, & Professional Papers by an authorized administrator of ScholarWorks at University of Montana. For more information, please contact [email protected]. p m TH3 OmERAl THEORY OF RELATIVITY By Marie McBride Vanisko B.A., Carroll College, 1965 Presented in partial fulfillment of the requirements for the degree of Master of Arts UNIVERSITY OF MOKT/JTA 1967 Approved by: Chairman, Board of Examiners D e a ^ Graduante school V AUG 8 1967, Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. V W Number: EP38876 All rights reserved INFORMATION TO ALL USERS The quality of this reproduotion is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a complete manuscript and there are missir^ pages, these will be noted. Also, if matedal had to be removed, a note will indicate the deletion. UMT Oi*MMtion neiitNna UMi EP38876 Published ProQuest LLQ (2013).
    [Show full text]
  • Hypercomplex Algebras and Their Application to the Mathematical
    Hypercomplex Algebras and their application to the mathematical formulation of Quantum Theory Torsten Hertig I1, Philip H¨ohmann II2, Ralf Otte I3 I tecData AG Bahnhofsstrasse 114, CH-9240 Uzwil, Schweiz 1 [email protected] 3 [email protected] II info-key GmbH & Co. KG Heinz-Fangman-Straße 2, DE-42287 Wuppertal, Deutschland 2 [email protected] March 31, 2014 Abstract Quantum theory (QT) which is one of the basic theories of physics, namely in terms of ERWIN SCHRODINGER¨ ’s 1926 wave functions in general requires the field C of the complex numbers to be formulated. However, even the complex-valued description soon turned out to be insufficient. Incorporating EINSTEIN’s theory of Special Relativity (SR) (SCHRODINGER¨ , OSKAR KLEIN, WALTER GORDON, 1926, PAUL DIRAC 1928) leads to an equation which requires some coefficients which can neither be real nor complex but rather must be hypercomplex. It is conventional to write down the DIRAC equation using pairwise anti-commuting matrices. However, a unitary ring of square matrices is a hypercomplex algebra by definition, namely an associative one. However, it is the algebraic properties of the elements and their relations to one another, rather than their precise form as matrices which is important. This encourages us to replace the matrix formulation by a more symbolic one of the single elements as linear combinations of some basis elements. In the case of the DIRAC equation, these elements are called biquaternions, also known as quaternions over the complex numbers. As an algebra over R, the biquaternions are eight-dimensional; as subalgebras, this algebra contains the division ring H of the quaternions at one hand and the algebra C ⊗ C of the bicomplex numbers at the other, the latter being commutative in contrast to H.
    [Show full text]
  • Chapter 6 Curved Spacetime and General Relativity
    Chapter 6 Curved spacetime and General Relativity 6.1 Manifolds, tangent spaces and local inertial frames A manifold is a continuous space whose points can be assigned coordinates, the number of coordinates being the dimension of the manifold [ for example a surface of a sphere is 2D, spacetime is 4D ]. A manifold is differentiable if we can define a scalar field φ at each point which can be differentiated everywhere. This is always true in Special Relativity and General Relativity. We can then define one - forms d˜φ as having components φ ∂φ and { ,α ≡ ∂xα } vectors V as linear functions which take d˜φ into the derivative of φ along a curve with tangent V: α dφ V d˜φ = Vφ = φ V = . (6.1) ∇ ,α dλ ! " Tensors can then be defined as maps from one - forms and vectors into the reals [ see chapter 3 ]. A Riemannian manifold is a differentiable manifold with a symmetric metric tensor g at each point such that g (V, V) > 0 (6.2) for any vector V, for example Euclidian 3D space. 65 CHAPTER 6. CURVED SPACETIME AND GR 66 If however g (V, V) is of indefinite sign as it is in Special and General Relativity it is called Pseudo - Riemannian. For a general spacetime with coordinates xα , the interval between two neigh- { } boring points is 2 α β ds = gαβdx dx . (6.3) In Special Relativity we can choose Minkowski coordinates such that gαβ = ηαβ everywhere. This will not be true for a general curved manifold. Since gαβ is a symmetric matrix, we can always choose a coordinate system at each point x0 in which it is transformed to the diagonal Minkowski form, i.e.
    [Show full text]
  • “Geodesic Principle” in General Relativity∗
    A Remark About the “Geodesic Principle” in General Relativity∗ Version 3.0 David B. Malament Department of Logic and Philosophy of Science 3151 Social Science Plaza University of California, Irvine Irvine, CA 92697-5100 [email protected] 1 Introduction General relativity incorporates a number of basic principles that correlate space- time structure with physical objects and processes. Among them is the Geodesic Principle: Free massive point particles traverse timelike geodesics. One can think of it as a relativistic version of Newton’s first law of motion. It is often claimed that the geodesic principle can be recovered as a theorem in general relativity. Indeed, it is claimed that it is a consequence of Einstein’s ∗I am grateful to Robert Geroch for giving me the basic idea for the counterexample (proposition 3.2) that is the principal point of interest in this note. Thanks also to Harvey Brown, Erik Curiel, John Earman, David Garfinkle, John Manchak, Wayne Myrvold, John Norton, and Jim Weatherall for comments on an earlier draft. 1 ab equation (or of the conservation principle ∇aT = 0 that is, itself, a conse- quence of that equation). These claims are certainly correct, but it may be worth drawing attention to one small qualification. Though the geodesic prin- ciple can be recovered as theorem in general relativity, it is not a consequence of Einstein’s equation (or the conservation principle) alone. Other assumptions are needed to drive the theorems in question. One needs to put more in if one is to get the geodesic principle out. My goal in this short note is to make this claim precise (i.e., that other assumptions are needed).
    [Show full text]
  • Riemannian Geometry Learning for Disease Progression Modelling Maxime Louis, Raphäel Couronné, Igor Koval, Benjamin Charlier, Stanley Durrleman
    Riemannian geometry learning for disease progression modelling Maxime Louis, Raphäel Couronné, Igor Koval, Benjamin Charlier, Stanley Durrleman To cite this version: Maxime Louis, Raphäel Couronné, Igor Koval, Benjamin Charlier, Stanley Durrleman. Riemannian geometry learning for disease progression modelling. 2019. hal-02079820v2 HAL Id: hal-02079820 https://hal.archives-ouvertes.fr/hal-02079820v2 Preprint submitted on 17 Apr 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Riemannian geometry learning for disease progression modelling Maxime Louis1;2, Rapha¨elCouronn´e1;2, Igor Koval1;2, Benjamin Charlier1;3, and Stanley Durrleman1;2 1 Sorbonne Universit´es,UPMC Univ Paris 06, Inserm, CNRS, Institut du cerveau et de la moelle (ICM) 2 Inria Paris, Aramis project-team, 75013, Paris, France 3 Institut Montpelli`erainAlexander Grothendieck, CNRS, Univ. Montpellier Abstract. The analysis of longitudinal trajectories is a longstanding problem in medical imaging which is often tackled in the context of Riemannian geometry: the set of observations is assumed to lie on an a priori known Riemannian manifold. When dealing with high-dimensional or complex data, it is in general not possible to design a Riemannian geometry of relevance. In this paper, we perform Riemannian manifold learning in association with the statistical task of longitudinal trajectory analysis.
    [Show full text]