- •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
284 |
7 Gravitational Waves and the Binary Pulsars |
As one sees, no singularity was met in this integration and the Green function of the Laplacian has the form of the Newtonian central potential generated by a pointlike mass. As a consequence the gravitational or electric potential generated by an arbitrary distribution of masses or charges can be written as:
V (r) |
= − |
|
d3r |
ρ(r ) |
|
|
(7.2.15) |
4π r |
r |
| |
|||||
|
|
|
|
| − |
|
|
Let us now return to the relativistic case and let us observe the differences.
7.2.2 The Relativistic Propagators
From (7.2.8), by separating the integration on the various momentum components, we obtain:
G(x |
− |
x ) |
= |
|
1 |
|
d3k +∞ dk0 exp ik0 |
x0 |
− |
x |
|
× |
exp[−ik · (x − x ) |
||
(2π )4 |
(k0)2 − |k|2 |
||||||||||||||
|
|
|
−∞ |
|
|
|
0 |
||||||||
(7.2.16) and the singularities on the integration path of k0 become evident. They occur at k0 = ±|k|. In order to give a meaning to the integral it is necessary to give a prescription to deform the integration path in such a way as to avoid the singularities. There exist three possibilities depicted in Fig. 7.8.
The upper path CR yields the retarded Green function GR (x − x ), the lower path yields the advanced Green function GA(x − x ), while the middle path CF yields the Feynman propagator GF (x − x ). As discussed in all courses in Quantum Field Theory and Quantum Electrodynamics, the Feynman choice is that appropriate for perturbative quantum calculations. This prescription is such that for positive energy the propagator captures the contribution of particles advancing in time while for negative energies it captures that of anti-particles receding in time. The retarded and
Fig. 7.8 The integration path in the k0-plane corresponding to the three choices of relativistic propagator, advanced, retarded and Feynman
7.2 Green Functions |
285 |
advanced prescriptions pertain instead to classical physics. They are both meaningful and simply correspond to the solutions of two different problems: that of emission and that of propagation of classical waves. In the retarded case we pick up the contribution of all events that are in the past light-cone of the event we consider. In this way we predict the value of a field at a certain space-time point knowing the behavior of the source in the past. Alternatively in the advanced case we pick up the contribution of all events that are in the future light-cone of the considered event. In this way knowing the value of a field at a certain space-time point we determine its influence on future events, for instance on those pertaining to an antenna which is supposed to receive signals. Relevant to us, while discussing gravitational waves emitted from astrophysical sources, is the retarded potential.
7.2.2.1 The Retarded Potential
We choose the retarded integration path CR . The integral can be calculated with the residue theorem, using Jordan’s lemma and closing the contour in the upper or in the lower half-plane. If x0 − x0 < 0 Jordan’s lemma allows us to close it in the upper half plane, while for x0 − x0 > 0 we have to close it in the lower half plane. In the first case the integration contour contains no poles and the integral is simply zero, while in the second case the two poles are both encircled and we have non-vanishing contributions from the residues. This amounts to saying that the retarded potential is proportional to a step function θ (x0 − x0). Indeed, using polar coordinates as in the previous case of the Laplacian Green function, we obtain:
G x |
− |
x |
|
= |
θ x0 |
− |
x |
|
|
|
1 |
|
2π i |
eik(x0−x0) + e−ik(x0−x0) |
|
|
|||||||||||||||
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
0 |
(2π )4 |
|
|
|
|
2k |
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
× eikr cos θ k2 sin θ dk dθ dφ |
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
(changing variables u = cos θ , t = x0 − x0) |
|
|
|
|||||||||||||||||||||||
|
|
|
|
= |
θ (t) |
|
|
1 |
|
|
|
π i ∞ dk k 1 |
du eikru |
× |
eikt |
+ |
e−ikt |
|
|||||||||||||
|
|
|
|
(2π )3 |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
0 |
|
−1 |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
= |
1 |
|
|
θ (t) |
|
|
+∞ dk |
e−ik(t+r) |
+ |
e−ik(t−r) |
|
|
|
|
|
||||||||||||
|
|
|
|
|
2r |
|
(2π )2 |
|
|
|
−∞ |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
= |
1 |
|
|
θ (t) δ(t + r) + δ(t − r) |
|
|
|
|
|
|
|
(7.2.17) |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
4π r |
|
|
|
|
|
|
|
||||||||||||||||||||
Restoring the original variables in the final result of the above calculation we obtain the following expression for the retarded Green function:
GR x − x = |
1 |
|
|
δ x |
0 − x |
0 − %x − x % × θ x0 |
− x0 |
(7.2.18) |
|
4π x |
x |
| |
|||||||
|
| − |
|
|
|
% |
% |
|
|
|
