- •Preface
- •Acknowledgements
- •Contents
- •1.1 Introduction
- •1.2 Classical Physics Between the End of the XIX and the Dawn of the XX Century
- •1.2.1 Maxwell Equations
- •1.2.2 Luminiferous Aether and the Michelson Morley Experiment
- •1.2.3 Maxwell Equations and Lorentz Transformations
- •1.3 The Principle of Special Relativity
- •1.3.1 Minkowski Space
- •1.4 Mathematical Definition of the Lorentz Group
- •1.4.1 The Lorentz Lie Algebra and Its Generators
- •1.4.2 Retrieving Special Lorentz Transformations
- •1.5 Representations of the Lorentz Group
- •1.5.1 The Fundamental Spinor Representation
- •1.6 Lorentz Covariant Field Theories and the Little Group
- •1.8 Criticism of Special Relativity: Opening the Road to General Relativity
- •References
- •2.1 Introduction
- •2.2 Differentiable Manifolds
- •2.2.1 Homeomorphisms and the Definition of Manifolds
- •2.2.2 Functions on Manifolds
- •2.2.3 Germs of Smooth Functions
- •2.3 Tangent and Cotangent Spaces
- •2.4 Fibre Bundles
- •2.5 Tangent and Cotangent Bundles
- •2.5.1 Sections of a Bundle
- •2.5.2 The Lie Algebra of Vector Fields
- •2.5.3 The Cotangent Bundle and Differential Forms
- •2.5.4 Differential k-Forms
- •2.5.4.1 Exterior Forms
- •2.5.4.2 Exterior Differential Forms
- •2.6 Homotopy, Homology and Cohomology
- •2.6.1 Homotopy
- •2.6.2 Homology
- •2.6.3 Homology and Cohomology Groups: General Construction
- •2.6.4 Relation Between Homotopy and Homology
- •References
- •3.1 Introduction
- •3.2 A Historical Outline
- •3.2.1 Gauss Introduces Intrinsic Geometry and Curvilinear Coordinates
- •3.2.3 Parallel Transport and Connections
- •3.2.4 The Metric Connection and Tensor Calculus from Christoffel to Einstein, via Ricci and Levi Civita
- •3.2.5 Mobiles Frames from Frenet and Serret to Cartan
- •3.3 Connections on Principal Bundles: The Mathematical Definition
- •3.3.1 Mathematical Preliminaries on Lie Groups
- •3.3.1.1 Left-/Right-Invariant Vector Fields
- •3.3.1.2 Maurer-Cartan Forms on Lie Group Manifolds
- •3.3.1.3 Maurer Cartan Equations
- •3.3.2 Ehresmann Connections on a Principle Fibre Bundle
- •3.3.2.1 The Connection One-Form
- •Gauge Transformations
- •Horizontal Vector Fields and Covariant Derivatives
- •3.4 Connections on a Vector Bundle
- •3.5 An Illustrative Example of Fibre-Bundle and Connection
- •3.5.1 The Magnetic Monopole and the Hopf Fibration of S3
- •The U(1)-Connection of the Dirac Magnetic Monopole
- •3.6.1 Signatures
- •3.7 The Levi Civita Connection
- •3.7.1 Affine Connections
- •3.7.2 Curvature and Torsion of an Affine Connection
- •Torsion and Torsionless Connections
- •The Levi Civita Metric Connection
- •3.8 Geodesics
- •3.9 Geodesics in Lorentzian and Riemannian Manifolds: Two Simple Examples
- •3.9.1 The Lorentzian Example of dS2
- •3.9.1.1 Null Geodesics
- •3.9.1.2 Time-Like Geodesics
- •3.9.1.3 Space-Like Geodesics
- •References
- •4.1 Introduction
- •4.2 Keplerian Motions in Newtonian Mechanics
- •4.3 The Orbit Equations of a Massive Particle in Schwarzschild Geometry
- •4.3.1 Extrema of the Effective Potential and Circular Orbits
- •Minimum and Maximum
- •Energy of a Particle in a Circular Orbit
- •4.4 The Periastron Advance of Planets or Stars
- •4.4.1 Perturbative Treatment of the Periastron Advance
- •References
- •5.1 Introduction
- •5.2 Locally Inertial Frames and the Vielbein Formalism
- •5.2.1 The Vielbein
- •5.2.2 The Spin-Connection
- •5.2.3 The Poincaré Bundle
- •5.3 The Structure of Classical Electrodynamics and Yang-Mills Theories
- •5.3.1 Hodge Duality
- •5.3.2 Geometrical Rewriting of the Gauge Action
- •5.3.3 Yang-Mills Theory in Vielbein Formalism
- •5.4 Soldering of the Lorentz Bundle to the Tangent Bundle
- •5.4.1 Gravitational Coupling of Spinorial Fields
- •5.5 Einstein Field Equations
- •5.6 The Action of Gravity
- •5.6.1 Torsion Equation
- •5.6.1.1 Torsionful Connections
- •The Torsion of Dirac Fields
- •Dilaton Torsion
- •5.6.2 The Einstein Equation
- •5.6.4 Examples of Stress-Energy-Tensors
- •The Stress-Energy Tensor of the Yang-Mills Field
- •The Stress-Energy Tensor of a Scalar Field
- •5.7 Weak Field Limit of Einstein Equations
- •5.7.1 Gauge Fixing
- •5.7.2 The Spin of the Graviton
- •5.8 The Bottom-Up Approach, or Gravity à la Feynmann
- •5.9 Retrieving the Schwarzschild Metric from Einstein Equations
- •References
- •6.1 Introduction and Historical Outline
- •6.2 The Stress Energy Tensor of a Perfect Fluid
- •6.3 Interior Solutions and the Stellar Equilibrium Equation
- •6.3.1 Integration of the Pressure Equation in the Case of Uniform Density
- •6.3.1.1 Solution in the Newtonian Case
- •6.3.1.2 Integration of the Relativistic Pressure Equation
- •6.3.2 The Central Pressure of a Relativistic Star
- •6.4 The Chandrasekhar Mass-Limit
- •6.4.1.1 Idealized Models of White Dwarfs and Neutron Stars
- •White Dwarfs
- •Neutron Stars
- •6.4.2 The Equilibrium Equation
- •6.4.3 Polytropes and the Chandrasekhar Mass
- •6.5 Conclusive Remarks on Stellar Equilibrium
- •References
- •7.1 Introduction
- •7.1.1 The Idea of GW Detectors
- •7.1.2 The Arecibo Radio Telescope
- •7.1.2.1 Discovery of the Crab Pulsar
- •7.1.2.2 The 1974 Discovery of the Binary System PSR1913+16
- •7.1.3 The Coalescence of Binaries and the Interferometer Detectors
- •7.2 Green Functions
- •7.2.1 The Laplace Operator and Potential Theory
- •7.2.2 The Relativistic Propagators
- •7.2.2.1 The Retarded Potential
- •7.3 Emission of Gravitational Waves
- •7.3.1 The Stress Energy 3-Form of the Gravitational Field
- •7.3.2 Energy and Momentum of a Plane Gravitational Wave
- •7.3.2.1 Calculation of the Spin Connection
- •7.3.3 Multipolar Expansion of the Perturbation
- •7.3.3.1 Multipolar Expansion
- •7.3.4 Energy Loss by Quadrupole Radiation
- •7.3.4.1 Integration on Solid Angles
- •7.4 Quadruple Radiation from the Binary Pulsar System
- •7.4.1 Keplerian Parameters of a Binary Star System
- •7.4.2 Shrinking of the Orbit and Gravitational Waves
- •7.4.2.1 Calculation of the Moment of Inertia Tensor
- •7.4.3 The Fate of the Binary System
- •7.4.4 The Double Pulsar
- •7.5 Conclusive Remarks on Gravitational Waves
- •References
- •Appendix A: Spinors and Gamma Matrix Algebra
- •A.2 The Clifford Algebra
- •A.2.1 Even Dimensions
- •A.2.2 Odd Dimensions
- •A.3 The Charge Conjugation Matrix
- •A.4 Majorana, Weyl and Majorana-Weyl Spinors
- •Appendix B: Mathematica Packages
- •B.1 Periastropack
- •Programme
- •Main Programme Periastro
- •Subroutine Perihelkep
- •Subroutine Perihelgr
- •Examples
- •B.2 Metrigravpack
- •Metric Gravity
- •Routines: Metrigrav
- •Mainmetric
- •Metricresume
- •Routine Metrigrav
- •Calculation of the Ricci Tensor of the Reissner Nordstrom Metric Using Metrigrav
- •Index
6 |
1 Special Relativity: Setting the Stage |
Lorentz to look deeper into the transformation rules from one reference frame to another that are consistent with Maxwell equations.
1.2.3 Maxwell Equations and Lorentz Transformations
The equations of Newtonian mechanics are invariant under Galileo transformations that connect two relatively inertial systems. Let us denote by {t, x, y, z} the time and space coordinates of a certain physical event in the coordinate frame O and {t , x , y , z } those of the same event in the coordinate frame O . By hypothesis the two frames (or observers) are in relative motion with constant velocity v with respect to each other. Just for simplicity and without any loss of generality let us suppose that the relative motion of the two frames is along the x-axis as shown in Fig. 1.3. The dogma of Galilean-Newtonian Physics was that time is universal and the same for every one. So the Galileo transformation from one reference frame to the other is described by the following simple formula:
t |
|
|
t |
|
|
|
x |
|
|
x + vt |
|
(1.2.11) |
|
y |
|
y |
|
|||
|
|
= |
|
|
|
|
z |
|
|
z |
|
|
Analogous transformations can be written for all the other axes and, together with the rotations, the set of all Galileo transformations turns out to be a Lie group with six paramete‘rs given by the three Euler rotation angles and the three components of the relative velocity {vx , vy , vz}.
The astonishing discovery of Lorentz (see Fig. 1.4), published in his 1904 paper [3], is that Maxwell equations are not invariant under Galileo transformations, rather they are invariant against modified transformations that break the dogma of universal time and introduce the speed of light c. The special Lorentz transformation which replaces the Galileo transformation (1.2.11) is the following one:
Fig. 1.3 Two inertial reference frames moving with constant relative velocity along the x-axis
1.2 Classical Physics Between the End of the XIX and the Dawn of the XX Century |
7 |
Fig. 1.4 Hendrik Antoon Lorentz (1853–1928) was Dutch by nationality. In 1902 the Nobel Prize in Physics was shared by Lorentz with Pieter Zeeman for the theoretical explanation of the phenomenon discovered by the latter and named after him. Hendrik Lorentz was born in Arnhem. He studied physics and mathematics at the University of Leiden, of which, later he became a professor. His doctoral degree was earned in 1875 under the supervision of Pieter Rijke with a thesis entitled “On the theory of reflection and refraction of light”, in which he refined the electromagnetic theory of James Clerk Maxwell. The proposal that moving bodies contract in the direction of motion was put forward by Lorentz in a paper of 1895 arriving at the same conclusion that had been reached also by George FitzGerald. Lorentz discovered that the transition from one reference frame to another could be simplified by using a new time variable which he called local time. In 1900, Henri Poincaré called Lorentz’s local time a “wonderful invention” and illustrated it by showing that clocks in moving frames are synchronized by exchanging light signals that are assumed to travel at the same speed against and with the motion of the frame. The transformations that we denote Lorentz transformations, following the name given to them by Poincaré in 1905, were published by Lorentz in a paper of 1904
|
|
|
|
√ |
|
|
1 |
|
|
(t + |
|
v |
|
|
||||
t |
|
|
|
x) |
|
|||||||||||||
c2 |
|
|||||||||||||||||
1−( vc )2 |
|
|||||||||||||||||
x |
|
|
|
|
|
1 |
|
(x |
+ |
vt) |
|
(1.2.12) |
||||||
|
|
|
|
|||||||||||||||
|
|
|
v |
2 |
||||||||||||||
y |
|
√1 |
− |
( c ) |
|
|
|
|
|
|
|
|||||||
|
|
= |
|
|
|
|
|
|
|
|
|
|
||||||
z |
|
|
|
|
|
y |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
z |
|
|
|
|
|
|
where c is the speed of light and v the relative velocity of the two frames. It is evident from their mathematical form that when v c the Lorentz transformation is approximated extremely well by the Galileo transformation (1.2.11). Just as in the Galileo case, one can write similar transformations for the cases where the relative motion occurs along other axes and mix them with ordinary rotations, building up, at the end of the day, another six parameter group of transformations. Such a group has a simple mathematical name, i.e., SO(1, 3), since it contains all the 4 × 4 matrices that leave invariant a quadratic form with one positive and three negative eigenval-