- •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
242 |
6 Stellar Equilibrium |
rium and carefully considers the interplay of Newton Theory, General Relativity and Quantum Mechanics.
6.2 The Stress Energy Tensor of a Perfect Fluid
In agreement with the discussion presented in our historical outline we come to the conclusion that in order to write down and solve the relevant Einstein field equations an essential ingredient is provided by the general form of the stress-energy tensor Tμν for a perfect fluid. This is what we derive in the present section. To this effect we make a step back and we consider the same problem in the context of Special Relativity. As we shall see the final result can be immediately promoted to General Relativity by invoking general covariance.
A perfect fluid can be idealized as a system of N → ∞ identical, non-interacting point particles of mass m. At time t the nth particle is characterized by its energy and tri-momentum:
P(n)0 (t) = E(n); |
P(n)i = mcγ (v(n))v(n)i (i = 1, 2, 3) |
(6.2.1) |
and also by its position x(n)(t). In (6.2.1) the symbol γ denotes the Lorentz factor:
γ (v) ≡ |
1 |
(6.2.2) |
1 − vc22
The stress-energy tensor of the nth particle is given by:3
T(n)μ0 |
= P(n)μ |
(t) |
(6.2.3) |
|||
μi |
μ |
|
1 dx(n)i |
|||
T(n) |
= P(n) |
(t) |
|
|
|
|
c |
|
dt |
By summing on all the particles contained in the system we obtain its stress-energy tensor:
T μ0(x) |
= |
P(n)μ (t)δ(3) |
x |
− |
xn(t) |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
n |
|
|
|
|
|
|
(6.2.4) |
|
|
|
|
|
1 dxi |
||||
|
|
P(n)μ (t)δ(3) |
|
|
|
||||
T μi |
= |
x |
− |
xn(t) |
|
|
(n) |
|
|
|
|
dt |
|
||||||
|
|
|
c |
|
|
||||
|
|
n |
|
|
|
|
|
|
|
3Let us recall that the various components of the stress-energy tensor have the following physical meaning:
T00 is the energy density
Tk0 is the flux of energy in the kth direction
T0i is the density of ith component of tri-momentum
Tki is the flux of ith momentum component in the direction k
6.2 The Stress Energy Tensor of a Perfect Fluid |
243 |
Next using the relation P μ = Ec dxdtμ we can rewrite (6.2.4) as follows:
T μν |
= |
|
P(n)μ P(n)ν |
δ(3) |
x |
− |
xn(t) |
(6.2.5) |
|
||||||||
|
n |
E(n) |
|
|
|
|
||
|
|
|
|
|
|
|
|
In a reference frame where the perfect fluid is at rest it must be homogeneous and isotropic. This corresponds to imposing the following conditions on the spatial part of the stress-energy tensor:
T ij = pδij |
(6.2.6) |
where p = p(x) is a scalar function. Indeed the only symmetric 2-tensor that is invariant with respect to the SO(3) rotation group is the Kronecker delta. Looking
at (6.2.5) we easily calculate the physical dimensions of the stress-energy tensor T ij . We have:
|
P(n)i P(n)j = m2 2t−2 |
|
|
||||
|
[E(n)] = m 2t−2 |
|
(6.2.7) |
||||
|
c2 = 2t−2 |
|
|
||||
δ3 |
1 |
|
|
= −3 |
|
||
x(n) − x(t) = |
|
|
|
|
|||
Volume |
|
||||||
so that: |
|
|
|
|
|
|
|
T ij = m −1t−2 = |
Force |
|
|
||||
|
= pressure |
(6.2.8) |
|||||
Area |
Hence by dimensional analysis we conclude that the scalar function p(x) appearing in (6.2.6) is to be interpreted as the pressure of the fluid in its rest frame. Also by comparison of (6.2.6) with (6.2.5) we obtain:
p |
= |
1 |
|
Pn2 |
1, δ(3) |
x(n) |
− |
x(t) |
(6.2.9) |
|
|
||||||||
|
3 n E(n) |
|
|
|
|
that has the following obvious physical interpretation. Since the total energy of the
nth particle is given by E(n) = m2c4 + P2n the pressure is due to the fraction of the total energy not due to rest masses, namely the kinetic energy.
In the rest frame there is neither energy or nor momentum flux so that T 0i = T i0 = 0. On the other hand the T 00 component is given by:
T |
00 |
= |
|
[P(n)0 (t)]2 |
δ(3) |
|
x(n) |
− |
x(t) |
|||
|
|
|||||||||||
|
|
n |
E(n) |
|
|
|
|
|
||||
|
|
= |
E(n)δ3 |
|
x(n) |
− |
x(t) |
|
|
|||
|
|
n |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= εtot (x) ≡ c2ρ(x) |
|
|
|
(6.2.10) |
244 |
6 Stellar Equilibrium |
Indeed the energy density in the space-time point x = (x0, x) is the sum of the energies of all the particles that happen to be in x at time x0. Summarizing, in the rest frame of the fluid, the stress-energy tensor takes the following form
|
c2ρ |
0 |
0 |
0 |
|
|
|
T μν |
|
0 |
p |
0 |
0 |
|
(6.2.11) |
0 |
0 |
p |
0 |
||||
|
= |
|
|
|
|
|
|
|
|
0 |
0 |
0 |
p |
|
To go back to a generic frame where the fluid has tri-velocity v it suffices to make a special Lorentz transformation with velocity v, namely:
T μν = Λμν Λρσ T ρσ |
(6.2.12) |
||||||
where: |
|
|
|
|
|
|
|
Λ00 |
= γ (v) |
|
|
|
|
|
|
Λ0i |
= Λi |
0 = γ (v) |
vi |
(6.2.13) |
|||
c |
|
||||||
Λij |
= δji |
+ |
vi vj |
γ (v) − 1 |
|
||
v2 |
|
Explicitly performing the transformation (6.2.12) and recalling that in Special Relativity the tetra-velocity is given by:
vi
U μ = γ (v), γ (v) |
|
(6.2.14) |
|
||
|
c |
we conclude that in the new generic frame the stress-energy tensor of a perfect fluid is given by the following simple formula:
T μν = ρc2U μU ν + p U μU ν − ημν |
(6.2.15) |
where ημν = diag(+, −, −, −) is the standard Minkowski metric in the mostly minus convention.
Equation (6.2.15) gives the stress-energy tensor of a perfect fluid in Special Relativity. Its analogue in General Relativity is easily obtained: it just suffices to replace the flat metric ημν with a generic one gμν (x) obtaining
T μν (x) = ρc2U μU ν + p U μU ν − gμν |
(6.2.16) |
which is the starting point for all discussions of General Relativity in presence of matter.