- •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
170 |
4 Motion in the Schwarzschild Field |
of lengths and the non-relativistic regime is approached when the actual orbit radius r is big with respect to m. Hence the post-Newtonian development corresponds to a series expansion in the dimensionless parameter:
|
|
|
|
|
|
|
|
|
|
|
|
m |
1 |
|
|
|
|
|
|
|
|
(4.3.36) |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|
|
|
|
|
||||||
Hence we can write: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E (r) |
= |
|
|
1 − 2 mr |
|
|
1 |
− |
2 |
m |
1 |
+ |
3 m |
|
(4.3.37) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
1 − 3 mr |
|
|
|
|
|
|
r |
2 r |
+ · · · |
|
||||||||||||||||
|
|
1 |
− |
1 m |
+ |
O |
m2 |
|
|
|
|
|
|
|
|
|
(4.3.38) |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
2 r |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
r2 |
|
|
|
|
|
|
|
|
|
|
|
and comparing (4.3.38) with (4.3.15) we obtain:
5 |
|
E |
|
|
|
E |
|
1 m |
|
||||
E = |
1 + 2 |
|
|
|
1 + |
|
+ · · · 1 − |
|
|
|
+ · · · |
||
μc2 |
μc2 |
2 r |
|||||||||||
|
E = − |
1 GMμ |
|
|
|
|
|
(4.3.39) |
|||||
|
|
|
|
|
|
|
|
|
|
||||
2 |
|
r |
|
|
|
|
|
The last line in (4.3.39) correctly reproduces the Newtonian result for the energy of a particle of mass μ bounded on a circular orbit around a center of mass M. Indeed if we consider the effective Newtonian potential:
Veff(Newton) |
= |
1 |
2 |
− |
GMμ |
(4.3.40) |
|||
2 |
|
μr2 |
r |
||||||
and we calculate its minimum: |
|
|
|
|
|
|
|
|
|
∂V |
(Newton) |
|
|
||||||
|
|
eff |
|
|
|
= 0 |
|
(4.3.41) |
|
|
|
|
|
|
|
∂r
we obtain the condition of balance between the centrifugal energy and the potential energy:
2 |
= |
GMμ |
(4.3.42) |
μr2 |
r |
which inserted in the Newtonian formula (4.2.1) for the particle energy, together with the circular orbit condition (r˙) gives back (4.3.39).
4.4 The Periastron Advance of Planets or Stars
Let us now go back to (4.3.10) and to the second of (4.3.6) that are the exact relativistic definitions of energy and angular momentum in Schwarzschild geometry.
4.4 The Periastron Advance |
171 |
Making a substitution similar to the substitution (4.2.3) used in the Newtonian case, namely:
|
dr |
; |
|
r |
|
|
dr |
; |
|
˙ = |
r |
r |
|
||
˙ ≡ dτ |
|
≡ dφ |
|
|
|||||||||||
r |
|
|
|
|
|
|
|
|
|
r |
L |
(4.4.1) |
|||
|
|
|
|
|
|
|
|
|
2 |
||||||
(4.3.10) becomes: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u 2 + u2 = C0 + 2C1u + |
2 |
C2u3 |
|
(4.4.2) |
|||||||||||
|
|
||||||||||||||
3 |
|
||||||||||||||
where: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C |
0 |
= |
E 2 − 1 |
= |
2Eμ |
|
|
(4.4.3) |
|||||
|
|
|
|
2 |
|
|
|
|
|||||||
|
|
|
L2 |
|
|
|
|
|
|
||||||
|
|
|
|
|
m |
GMμ2 |
|
|
|
|
|
||||
|
|
C1 = |
|
= |
|
2 |
|
|
|
|
(4.4.4) |
||||
|
|
L2 |
|
|
|
|
|
||||||||
|
|
C2 = 3m |
|
|
|
|
|
|
|
(4.4.5) |
The definition (4.4.3), (4.4.4) of the parameters C0,1 is consistent with their previous Newtonian definition (4.2.7) thanks to the relation (4.3.15) between the relativistic first integrals E , L and their Newtonian analogues E, . Equation (4.4.2) is the differential orbit equation in Schwarzschild geometry and replaces the Newtonian equation (4.2.6): the difference resides in the term cubic in u with coefficient C2 = 2m. In full analogy with the procedure followed in the Newtonian case we take a further derivative of (4.4.2) and we obtain:
2u u + u − C1 − C2u2 = 0 |
(4.4.6) |
which admits two kinds of solutions, the already discussed circular orbits (u = 0) and the non-circular ones that satisfy the differential equation:
u + u − C1 = C2u2 |
(4.4.7) |
replacing the Keplerian equation (4.2.9).
In the limit where C2u2 is negligible with respect to the other terms the general solution of (4.4.7) becomes (4.2.11) which, as we know, describes an elliptic orbit of semilatus rectum a and eccentricity e, the constant C1 being:
1 |
|
C1 = a(1 − e2) |
(4.4.8) |
We can appreciate the difference between General Relativity and Newtonian physics if we study numerical solutions of (4.4.7) with the help of a computer programme. To this effect it is convenient to measure the radius r and the semilatus
rectum a in units of the Schwarzschild emiradius m by setting |
|
|
u = u ; |
a = am |
(4.4.9) |
m
172 |
4 Motion in the Schwarzschild Field |
Fig. 4.9 Schwarzschild geometry: Orbit of a massive test particle with Keplerian parameters a = 70m and
e = 0.7 after 1 revolution
which, combined with (4.4.8), (4.4.5) reduces (4.4.7) to the form:
|
+ |
|
− |
|
|
1 |
|
= 3 |
|
2 |
(4.4.10) |
u |
u |
|
|
|
|
u |
|||||
a(1 |
− |
e2) |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
Equation (4.4.10) is of the second order and numerical solutions can be obtained if we feed the computer programme with two initial conditions. The initial conditions appropriate to describe the physical problem we investigate are the following ones:
|
|
|
|
|
|
1 |
|
(4.4.11) |
|
u(0) = |
|
|
|
|
|||
|
a(1 |
− |
e) |
|||||
|
|
|
|
|
|
|
|
|
|
|
(0) = 0 |
|
(4.4.12) |
||||
u |
|
|
Equation (4.4.12) fixes the origin of the φ angle at the periastron namely at the point in the orbit where the derivative of the radius goes to zero. Equation (4.4.12) states that distance of the test particle from the star at the first periastron is the same as it would be in a Keplerian orbit, namely r− = a(1 − e) (compare with Fig. 4.4). Given the initial conditions the subsequent n revolutions of the test particle are numerically determined by the differential equation. It is clear from our previous discussions that the relativistic effects will be evident only in narrow systems where a is small and in eccentric orbits e → 1. So in order to emphasize the size of these effects we have chosen an example with the following parameters:
|
= 70; e = 0.7 |
(4.4.13) |
a |
In Fig. 4.9 we display the shape of the orbit for this system after one revolution. As it can be visually appreciated the orbit is nearly an ellipsis but not quite. At φ = 2π the test particle is at a distance r(2π ) close to the initial value r(0) but slightly bigger. Furthermore the second periastron, namely the angle φ1 corresponding to the second zero of the derivative r is not exactly at φ1 = 2π but at a slightly earlier angle φ1 = 2π − Δφ. The phenomenon is more clearly understood if we allow the computer programme to run for more revolutions. Figure 4.10 displays three revolutions of the same physical system. At each revolution the periastron is anticipated of some
4.4 The Periastron Advance |
173 |
Fig. 4.10 Schwarzschild geometry: Orbit of a massive test particle with Keplerian parameters a = 70m and
e = 0.7 after 3 revolution
Fig. 4.11 Schwarzschild geometry: Orbit of a massive test particle with Keplerian parameters a = 70m and
e = 0.7 after 7 revolution
Fig. 4.12 Schwarzschild geometry: Orbit of a massive test particle with Keplerian parameters a = 70m and
e = 0.7 after 20 revolution
angle Δφ with respect to 2π . This is further stressed by Fig. 4.11 that shows the orbit after 7 revolutions.
It is interesting to understand which kind of pattern emerges at asymptotically late times after many revolutions. This is revealed by looking at Fig. 4.12 which shows the orbit after 20 revolutions. What we witness is a sort of symmetry restoration mechanism. In Newtonian physics the eccentric orbits break the spherical symmetry of the Hamiltonian. In general relativity, due to the periastron advance the