- •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
280 |
7 Gravitational Waves and the Binary Pulsars |
Fig. 7.5 The schema of a gravitational interferometer
disturbance should deform the lengths and should be revealed by the sudden appearance of an interference.
At the present time two gravitational interferometers are in operation and a third is under construction. The existing machines are Virgo, located near Pisa, and Ligo I, located in Louisiana, US. The third machine Ligo II is being built in the Washington State, US.
The first six months of joint observations by Virgo (see Fig. 7.6) and Ligo I took place about two years ago and so far no event of gravitational wave transit was detected. The direct detection of the elusive waves is just postponed. All experimentalists in this field share the view that a further effort to increase the already fantastic sensitivity of their instrument is necessary, unless we are specially lucky and a binary coalescence suddenly takes place rather closely to us.
This being the status of observations let us now carefully consider the mathematical derivation of gravitational wave emission in the weak field approximation of Einstein theory. A systematic treatment of this problem necessarily begins with a discussion of Green functions, namely the inverse of the d’Alembertian wave operator.
7.2 Green Functions
The mathematical problem associated with all cases of relativistic wave propagation is that of inverting the d’Alembertian operator:
7.2 Green Functions |
281 |
Fig. 7.6 An aerial vision of the Virgo interferometer at the EGO site near Cascina, Pisa. EGO is the European Gravitational Observatory cofinanced by the Italian INFN (Istituto Nazionale di Fisica Nucleare) and by the French CNRS (Centre National de la Recherche Scientifique). Leading Scientist of the Virgo project is Prof. Adalberto Giazzotto
|
|
∂ |
2 |
|
3 |
∂ |
2 |
|
|
≡ |
|
− |
|
|
(7.2.1) |
||
x |
|
2 |
|
2 |
||||
|
∂x0 |
i=1 |
∂xi |
|
||||
|
|
|
|
|
|
|
|
since the relevant equations of motion take the form:
x φ(x) = j (x) |
(7.2.2) |
where φ(x) is the field to be determined and j (x) describes the source emitting the waves.
The standard approach to the solution of such a problem is by means of Green functions and integral representations. One writes the desired field, produced by the
source j (x), as follows: |
|
|
φ(x) = |
G x − x j x d4x |
(7.2.3) |
where the kernel G(x − x ) of the above integral representation is a distribution which is supposed to satisfy the following equation:
x G x − x = δ(4) x − x |
(7.2.4) |
having named δ(4)(x − x ) the Dirac delta function.
The problem is therefore turned into that of constructing the Green function G(x − x ). Once again there is a time honored strategy for such a construction, namely Fourier transforms. Physically the Fourier transform is a decomposition of the searched for object along a complete basis of eigenfunctions of the d’Alembert (see Fig. 7.7) operator, provided by the plane waves exp[ikμxμ]. Explicitly we set:
282 |
7 Gravitational Waves and the Binary Pulsars |
Fig. 7.7 Jean Baptiste Le Rond D’Alembert (1717–1783). D’Alembert was born and died in Paris. Illegitimate child of a writer noble-woman and of an officer, he was abandoned by his mother on the steps of the church of St.Jean Le Rond. Raised in an adoptive humble family he was educated by Jansenists in the Collège des Quatre-Nations at the expenses of his natural father who secretly left him an annuity. One among the top figures of the XVII century enlightenment, d’Alembert who invented such a name for himself was a mathematician, a physicist, a philosopher and a man of letters. Member of the French Academy of Sciences, friend and collaborator of Denis Diderot and of many other philosophers of that age he gave outstanding contributions in mathematics, mechanics and optics. He was member of the team preparing the Encyclopedie of which he wrote more than a thousand articles. The differential equation of wave propagation: ∂2f/∂t2 − ∂2f/∂x2 = 0 is one among his many fundamental contributions
G x |
− |
x |
= |
1 |
|
d |
4k G(k) exp |
|
ik |
|
x |
− |
x |
|
|
||||||
(2π )4 |
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
− |
|
|
· |
|
|
|
|
|||||||
δ(4) |
x |
− |
x |
= |
1 |
|
d |
4k exp |
ik |
· |
x |
− |
x |
|
|
|
|
|
|||
(2π )4 |
|
|
|
||||||||||||||||||
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
In this way (7.2.4) becomes:
1 |
|
d |
4k exp |
ik |
· |
x |
− |
x |
|
− |
k2G(k) |
− |
1 |
= |
0 |
|
(2π )4 |
||||||||||||||||
|
|
− |
|
|
|
|
|
|
|
(7.2.5)
(7.2.6)
(7.2.7)
where k2 ≡ kμkμ is the Lorentzian norm of the momentum vector kμ. This leads to the following solution for the Green function:
G x |
− |
x |
= − |
1 |
|
d4k 1 |
exp |
− |
ik |
x |
− |
x |
(7.2.8) |
|
(2π )4 |
||||||||||||||
|
|
|
k2 |
|
|
· |
|
|
The problem with (7.2.4) is that it is singular since there is a pole along the integration path. The recipe to avoid such a singularity can be provided in three different ways and this leads to three different solutions for the Green function, having distinct physical properties and distinct uses: the advanced, retarded and Feynman
7.2 Green Functions |
283 |
propagators. In order to appreciate the bearing of Lorentz signature we compare with the solution of the analogue problem in Euclidian signature, namely with the construction of the Green function for the Laplace operator.
7.2.1 The Laplace Operator and Potential Theory
In potential theory for the case of Newtonian or Coulomb forces, one is confronted with a similar problem, the inversion of the Laplace operator:
|
3 |
2 |
|
|
x |
|
∂ |
|
(7.2.9) |
2 |
||||
|
≡ |
∂xi |
|
|
|
i=1 |
|
|
|
Indeed, if we possess a solution of the equation: |
|
|||
xG x − x = δ(3) x − x |
(7.2.10) |
we can calculate the potential V (x) generated by an arbitrary distribution of masses or charges ρ(x):
xV (x) = −const ρ(x) |
(7.2.11) |
In a completely analogous way to the relativistic case we obtain the integral representation of the Laplace Green function that follows:
G x |
− |
x |
= |
|
1 |
|
|
d3k |
|
1 |
|
exp |
− |
ik |
· |
x |
− |
x |
|
||||||||||
|
|
|
|
|
|
|k|2 |
|||||||||||||||||||||||
|
|
|
(2π )3 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Turning to polar coordinates we obtain: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
d3k = k2 dk sin θ dθ dφ |
|
|
|
|
|
|
|
|||||||||||||||||
and setting r ≡ x − x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G(r) |
= |
|
|
1 |
|
|
dk exp ikr cos θ |
] |
sin θ dθ dφ |
|
|
|
|||||||||||||||||
|
(2π )3 |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
[ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
= |
|
|
1 |
|
|
∞ dk |
1 |
|
π |
|
d |
exp irk |
] |
|
|
|
||||||||||||
|
|
(2π )2 |
|
ikr |
|
|
|
|
|
|
|||||||||||||||||||
|
|
0 |
|
|
− |
0 |
|
|
dθ |
|
[ |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
= |
|
|
1 |
|
|
∞ dk |
1 |
|
exp |
[− |
irk |
] − |
exp irk |
] |
||||||||||||||
|
|
(2π )2 |
|
ikr |
|||||||||||||||||||||||||
|
|
0 |
|
|
− |
|
|
|
|
|
[ |
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
= |
|
|
1 |
|
|
1 |
∞ dk 2 |
sin kr |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
(2π )2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
r |
0 |
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
= |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
4π |r|2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7.2.12)
(7.2.13)
(7.2.14)