- •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
7.3 Emission of Gravitational Waves |
|
|
|
|
|
|
295 |
|
Using the conservation of the stress energy tensor ∂μTμν = 0 we rewrite: |
|
|||||||
|
d3x Tij ω, x = |
,∂k (Tkj xi ) − ∂k Tkj xi - |
(7.3.64) |
|||||
|
= − |
iω |
d3x T0j xi |
|
|
(7.3.65) |
||
|
|
|
|
|
|
|
|
|
|
= − |
i |
ω |
|
d3x (T0j xi |
+ |
T0i xj ) |
(7.3.66) |
|
|
|||||||
|
2 |
|
|
|
|
The first term in the second line is dropped because it is a total derivative, the third line corresponds to the explicit symmetrization of the result due to the symmetry of γij . Applying the previous procedure a second time we obtain:
|
d3x Tij |
ω, x |
= − |
ω2 |
d |
3x T00x |
x |
|
(7.3.67) |
|
|
|
2 |
|
|
i |
j |
|
In addition if we impose that the perturbation γij should be traceless in the 3- dimensional sense we get the semifinal formula:
γij (ω, x) = − |
2 |
Gω2 |
eiωR |
Qij (ω) |
|
|
|
|
(7.3.68) |
|||
3 |
R |
|
|
|
|
|||||||
Qij (ω) |
= |
|
d3x T00(ω, x ) 3x |
x |
|
− % |
x |
2δij |
(7.3.69) |
|||
|
|
|
|
|
|
i |
j |
% |
|
|
||
|
|
|
|
|
|
|
|
|
% |
% |
|
|
Undoing the time Fourier transform we can also write:
γij (t, x) = |
2 1 ∂2 |
(7.3.70) |
3 G R ∂t2 Qij (t) |
where, by comparison with (7.3.54), Qij (t) is recognized to be the time dependent quadrupole moment.
7.3.4 Energy Loss by Quadrupole Radiation
When we calculated the stress-energy tensor of the plane wave we expressed it in terms of the following quadratic form:
˙ |
+ |
|
≡ ˙ |
|
+ |
4 |
˙ |
− ˙ |
|
|
|||
(a)2 |
|
(b)2 |
(γ |
23 |
)2 |
|
1 |
(γ |
22 |
γ |
33 |
)2 |
(7.3.71) |
|
|
|
|||||||||||
|
|
˙ |
|
|
|
|
|
|
|
|
We focus on the structure of such an expression. Given a symmetric traceless tensor in three dimensions
Kij = Kj i ; Khh = 0; i, j, h = 1, 2, 3 |
(7.3.72) |
296 |
7 Gravitational Waves and the Binary Pulsars |
Fig. 7.11 Integration on the solid angle. The unit vector n singles out the infinitesimal solid angle around its direction
we look for an SO(3) invariant way of rewriting the tensor combination appearing in (7.3.71), namely:
U ≡ (K23)2 + |
1 |
(K22 |
− K33)2 |
(7.3.73) |
4 |
This can be done in terms of a unit vector:
ni = (1, 0, 0) |
(7.3.74) |
whose physical meaning is that of propagation axis of the considered gravitational plane wave.
We begin with some identities:
|
|
|
1 |
Kij Kij |
= |
1 |
K112 + K222 + K232 + 2K122 + 2K132 + 2K232 |
(7.3.75) |
||
|
|
|
|
|
|
|||||
|
|
2 |
2 |
|||||||
−Kij ni K j n |
= − K112 + K122 + K132 |
(7.3.76) |
||||||||
|
1 |
Kij ni nj |
2 |
= |
1 |
K112 |
(7.3.77) |
|||
|
4 |
|
|
4 |
Hence we conclude that:
U = |
1 |
Kij Kij − |
1 |
Ki Kik n nk + |
1 |
Kij ni nj 2 |
(7.3.78) |
2 |
2 |
4 |
Using this result in our expression for the stress-energy tensor of a plane wave traveling in the n direction we are in a position to write down the energy radiated away per unit time and per unit solid angle by gravitational emission. Indeed in a solid angle unit dΩ around the direction n we have (see Fig. 7.11):
dE |
= |
A |
|
1 |
Kij Kij |
− |
|
1 |
Ki Kik n nk |
(7.3.79) |
||||
dt dΩ |
2 |
2 |
||||||||||||
|
|
|
|
|
||||||||||
|
|
+ |
4 |
|
|
|
|
2 |
|
|
|
|||
|
|
|
1 |
|
|
Kij ni nj |
|
(7.3.80) |
||||||
|
|
|
|
|
|
|
|
|
where A is a multiplicative constant that we will fix later by comparison with our previous results.
7.3 Emission of Gravitational Waves |
|
|
|
|
|
|
|
|
|
|
|
297 |
||||||
7.3.4.1 Integration on Solid Angles |
|
|
|
|
|
|
|
|
|
|
||||||||
We rely on the orthogonality of spherical harmonics: |
|
|
|
|
||||||||||||||
|
|
|
|
1 |
|
dΩ ni nj |
= |
|
1 |
|
sin θ dθ dφ ni nj |
|
(7.3.81) |
|||||
|
|
|
|
|
|
|||||||||||||
|
|
|
|
4π |
|
|
4π |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
= |
1 |
δij |
|
|
|
|
|
(7.3.82) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|||||
which immediately follows from: |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
n1 = cos θ |
|
|
|
|
|
(7.3.83) |
|||||
|
|
|
|
|
|
|
n2 = sin θ cos φ |
|
|
|
|
(7.3.84) |
||||||
|
|
|
|
|
|
|
n3 = sin θ sin φ |
|
|
|
|
(7.3.85) |
||||||
Similarly we have: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
1 |
|
dΩ nk n nmnr |
= |
const δk δmr |
+ |
δkmδ r |
+ |
δkr δ m |
(7.3.86) |
||||||||
|
||||||||||||||||||
|
4π |
|
|
|
|
|
|
|
|
|
|
|
|
The constant can be immediately fixed by taking the trace = k and comparing with the previous result:
|
|
|
1 |
|
dΩ nmnr |
|
|
|
|
5 const δmr |
|
|
|
|
const |
|
1 |
|
(7.3.87) |
||||||||||||||||||||||||
|
|
4π |
= |
→ |
= 15 |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
Hence integrating on the solid angles we get: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
dE |
|
|
A |
dΩ |
dE |
|
|
|
|
|
|
|
4πA |
1 |
|
|
1 |
|
2 |
|
Kij Kij |
(7.3.88) |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
dt |
= |
|
|
|
|
|
= |
2 |
|
− 3 |
+ 15 |
· |
4 |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
dt dΩ |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
4πA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7.3.89) |
||||||||
|
|
|
|
|
|
Kij Kij |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
5 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Recalling the normalization of the energy density in the n-th direction: |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
t0i |
ni |
|
= − |
1 |
|
a2 |
|
b2 |
|
|
|
|
|
|
|
(7.3.90) |
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
16π |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
˙ |
+ ˙ |
|
|
|
|
|
|
||||||||||||||||||||||
and the normalization of the solution for the metric perturbation: |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
γij = |
1 2 |
|
∂2Qij |
|
|
|
|
|
|
|
|
(7.3.91) |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
R |
3 |
|
∂t2 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
we obtain |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dΩ |
dE |
|
|
1 |
|
|
|
1 |
|
|
4 |
G2 |
< |
1 |
|
∂3Qij |
2 |
|
|
|
=R2 dΩ |
(7.3.92) |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|||||||||||||||||||||||
|
|
dt dΩ = 16πG R2 9 |
|
|
|
|
|
|
|
|
|
|
∂t3 |
+ · · · |
|
|