- •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
162 |
|
|
|
|
|
|
|
4 Motion in the Schwarzschild Field |
|
2 |
r+ −r− |
|
|
|
|
|
|
|
|
eccentricity e |
, r |
± |
|
|
|
|
|
|
|
|
= r+ +r− |
|
|
|
|
|
|
|
|
being the maximal and |
|
|
|
|
|
|
|
||
minimal distances from the |
|
|
|
|
|
|
|||
center of mass reached by the |
|
|
|
|
|
|
|||
test particle while going |
|
|
|
|
|
|
|
||
around its orbit. In the case of |
|
|
|
|
|
|
|||
the Solar system these points |
|
|
|
|
|
|
|||
are respectively named the |
|
|
|
|
|
|
|||
aphelion and the perihelion |
|
|
|
|
|
|
|||
|
|
|
1 |
= r |
= a 1 − e2 |
1 |
|
e1cos φ |
(4.2.11) |
|
|
|
u |
+ |
|||||
where we named: |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
||
|
|
|
C1 |
≡ a = semilatus rectum |
|
||||
|
|
|
1 − e2 |
(4.2.12) |
|||||
Fig. 4.4 The Keplerian orbit |
b |
≡ e = eccentricity |
|
||||||
C1 |
|
||||||||
of a test particle of mass μ |
|
|
|
|
|
|
around a center of mass M is an ellipsis parameterized by
the semilatus rectum a = r+ +r− and the
In this way the parameter e, whose range is 0 ≤ e ≤ 1, replaces the integration constant b while the second integration constant φ0 is reabsorbed into the definition of the azimuthal angle φ. The names given to the parameters (4.2.12) are traditional in astronomy since the time of Kepler and refer to the geometrical interpretation of the solution (4.2.11) as the equation of an ellipsis (see Fig. 4.4). The geometrical parameters a and e are related to the physical constants of motion, namely to the energy E and the angular momentum .
4.3The Orbit Equations of a Massive Particle in Schwarzschild Geometry
Let us now turn to the description of space-time as a differentiable manifold endowed with a pseudo-Riemannian structure and introduce the Schwarzschild (see Fig. 4.5) metric [1]:
ds2 |
1 |
− |
2 |
m |
dt2 |
1 |
− |
2 |
m |
−1dr2 |
+ |
r2 |
dθ 2 |
+ |
sin2 |
θ dφ2 |
(4.3.1) |
|
|
||||||||||||||||
|
= − |
|
r |
+ |
|
r |
|
|
|
|
|
where t denotes the time coordinates, while r, θ , φ are polar coordinates in the same notations as before.
To obtain the geodesic equation for the motion of a massive test particle in the metric (4.3.1) we use the variational principle. As we explained in Sect. 3.8, given
4.3 The Orbit Equations of a Massive Particle |
163 |
Fig. 4.5 Karl Schwarzschild (1873–1916) was born in Frankfurt am Mein from a well-to-do Jewish family. He published his first papers in astronomy when he was still a boy. In 1889–1890 he published two articles on the determination of orbits for binary stars. Next year he obtained his doctorate in Astronomy from the University of Munich. After an experience at the observatories of Vienna and Munich, in 1900 he was appointed Director of the Astronomical Observatory of Göttingen where he interacted with such personalities as David Hilbert and Hermann Minkowski. In 1909 he moved to the Observatory of Postdam. By this time he was already a famous scientist, member of the Prussian Academy of Sciences since 1912. His contributions concerned various fields of physics related with Astronomy. In particular he studied the equilibrium equations of radiation and was the first to discover radiation pressure. At the breaking of World War I in 1914, notwithstanding his forty years of age he enrolled in the German Army and fought first on the Western Front in Belgium, then on the Eastern Front in Russia. In 1916, while at the front, he wrote two scientific articles. One less famous than the second contains quantization rules similar to those of Bohr and Sommerfeld, discovered by him independently. The second article contains the Schwarzschild solution of Einstein equations. He had learnt of Einstein new theory of General Relativity just a couple of months before reading the issue 25 of the Proceedings of the Prussian Academy of Sciences of November 1915. His simple and elegant solution of Einstein field equations was sent to Einstein that answered to him with the following words: have read your paper with the utmost interest. I had not expected that one could formulate the exact solution of the problem in such a simple way. I liked very much your mathematical treatment of the subject. Next Thursday I shall present the work to the Academy with a few words of explanation. The same year, 1916, Schwarzschild died from a rare skin infection contracted on the war front
an explicit metric gμν (x) we have the proper time functional of (3.8.6) and (3.8.7) which leads to Euler-Lagrange equations plus the auxiliary condition 2L = 1. Following this reasoning, from the Schwarzschild metric (4.3.1) we derive the effective Lagrangian:
− |
L |
1 |
− |
2 |
m |
t2 |
1 |
− |
2 |
m |
−1r2 |
+ |
r2 |
θ |
2 |
+ |
sin2 θ φ2 |
(4.3.2) |
r |
r |
|
||||||||||||||||
|
= − |
|
˙ + |
|
|
˙ |
|
˙ |
|
˙ |
|
where the dot denotes the derivative d/dτ with respect to proper time. The Euler-Lagrange equation of the field θ (τ ) yields:
164 |
4 Motion in the Schwarzschild Field |
|
|
|
|
|
|
d |
|
∂L |
− |
∂L |
= 0 |
|
||
|
|
|
|
|
dτ |
|
θ |
∂θ |
|
|||||
d |
− |
2r |
2 |
˙ + |
|
|
∂ ˙ |
|
˙ |
2 |
= |
0 |
|
|
|
|
|
|
|
||||||||||
dτ |
|
|
|
|
|
|||||||||
|
|
|
θ |
|
2 sin θ cos θ φ |
|
|
|
From 4.3.3 we conclude that it is consistent to set:
θ = const = π 2
(4.3.3)
(4.3.4)
throughout the motion. In other words the Schwarzschild motion is planar as the Newtonian motion: it takes place in the equatorial plane with respect to the coordinate frame we have adopted (see Fig. 4.3). Taking this into account we immediately get the following reduced Lagrangian:
L reduc. |
= |
1 |
|
1 |
− |
2 |
m |
t2 |
1 |
− |
2 m |
−1r2 |
+ |
r |
2φ2 |
|
(4.3.5) |
|
2 |
r |
|||||||||||||||||
|
|
− |
|
˙ + |
|
r |
˙ |
|
˙ |
|
|
It is apparent from (4.3.5) that both the time t and the azimuthal angle φ are cyclic canonical variables, namely they appear in the Lagrangian only through their derivatives with respect to the Lagrangian time τ . This implies the existence of two first integrals of the motion, namely:
|
|
|
dτ |
− |
r |
|
= |
|
= |
|
|||
t-variation |
|
|
dt |
1 |
|
2 m |
|
|
E |
|
const |
||
|
|
|
|
|
|
|
|||||||
|
|
|
|
dφ |
|
|
|
|
|
|
(4.3.6) |
||
φ-variation |
r2 |
= L = const |
|
|
|||||||||
|
|
|
|
||||||||||
dτ |
|
|
It is tempting to interpret E and L as the energy and the angular momentum, respectively. Comparison with the Newtonian theory will confirm such an interpretation.
Since 2L = 1 along the geodesics, rather than working out the additional EulerLagrange equation (for the r-variation) we just insert (4.3.6) into (4.3.5) and we get:
1 |
= |
|
|
E 2 |
|
|
|
r˙2 |
|
|
|
|
r2 |
L2 |
(4.3.7) |
|||||
1 |
|
2 m − |
1 |
|
|
|
|
|
|
|
r4 |
|||||||||
|
− |
− |
2 m − |
|
|
|
||||||||||||||
|
|
|
|
r |
|
|
|
r |
|
|
|
|
|
|
|
|
||||
so that we obtain: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dr |
2 |
|
Veff (r) |
= |
E 2 |
|
|
||||||||||
|
|
dτ |
|
|
|
|||||||||||||||
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
(4.3.8) |
||||
|
|
|
|
|
|
|
|
|
|
dφ |
|
|
|
L |
|
|||||
|
|
|
|
|
|
|
|
|
|
= |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
dτ |
r2 |
|
|
where we have introduced the following effective central potential:
Veff |
≡ |
1 |
− |
2 |
m |
1 |
|
|
L2 |
|
|
|
||
|
|
|
|
|
||||||||||
|
|
|
|
r |
+ r2 |
|
||||||||
|
|
|
|
m |
|
L2 |
|
|
|
L2m |
|
|||
|
= |
1 − 2 |
|
+ r2 |
− |
2 |
|
|
(4.3.9) |
|||||
|
r |
r3 |
|