- •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
6.3 Interior Solutions and the Stellar Equilibrium Equation |
245 |
6.3 Interior Solutions and the Stellar Equilibrium Equation
Let us now choose a static, spherically symmetric metric. As we argued in previous chapters, its most general form is given by (5.9.1) that we repeat here for convenience:
ds2 = − exp 2a(r) dt2 + exp 2b(r) dr2 + r2 dθ 2 + sin2 θ dφ2 |
(6.3.1) |
By a(r) and b(r) we have denoted two arbitrary functions of the radial coordinate r, while θ, φ are the usual angular variables as defined in Fig. 4.3. The geometry described by (6.3.1), in addition to SO(3) rotations, admits as a symmetry also time translations:
t → t + ; |
= const |
(6.3.2) |
This is the reason why we call it static. This implies that:
−→ ≡ |
|
∂xμ |
= ∂t |
|
|
|
μ ∂ |
|
∂ |
ξ |
ξ |
|
|
(6.3.3) |
is a Killing vector field.4 Such a static spherical symmetric geometry is just the appropriate description of both the space-time region surrounding and of the spacetime region containing a spherical symmetric star that is in a state of equilibrium. A reasonable model of such stars is obtained by regarding the matter out of which they are composed as a perfect fluid, whose stress energy tensor we write as in (6.2.16):
T μν (x) = ρU μU ν + p U μU ν − gμν |
(6.3.4) |
having chosen natural units (c = 1).
In order to be compatible with the static isotropic nature of the metric (6.3.1), the fluid must be at rest on the surfaces t = const, namely on the surfaces orthogonal to the world-lines generated by the time-like Killing vector field (6.3.3) as shown in Fig. 6.4.
This means that the fluid four-velocity U μ must be proportional to the Killing vector field:
U μ = aξ μ; |
a = some constant |
(6.3.5) |
Since the four-velocity is normalized to unity we have:
gμν U μU ν = 1 U 0 2g00 = 1 U 0 = (g00)−1/2 |
(6.3.6) |
which expresses the unique non-vanishing component of the velocity field U μ in terms of the metric itself. If we go over to flat intrinsic components, multiplying by the vielbein Vμa (x) we obtain an even simpler result:
4For the mathematical definition and properties of Killing vector fields we refer the reader to Volume 2, Sect. 5.2.1.
246 |
6 Stellar Equilibrium |
Fig. 6.4 The fluid composing the static star must be at rest on the space-like surfaces t = const. Hence the world-lines of the fluid elements must admit the Killing vector field ξ ≡ ∂∂t as tangent vector
0 |
μ |
Uμ = 1; U2i = 0 |
(6.3.7) |
U2 |
= U20 = V0 |
Correspondingly the flat intrinsic components T ab ≡ Vμa VνbT μν of the stress-energy tensor are simply given by:
|
|
|
|
|
|
|
T00 |
|
ρ |
|
|
|
|
|
|
|
Tab |
= |
η |
aa |
η |
bb |
T a b |
T |
11 |
= T |
22 |
= |
T |
33 = |
p |
(6.3.8) |
|
|
|
|
|
= |
= |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
= |
0 |
|
otherwise |
|
|||
|
|
|
|
|
|
|
Tab |
|
|
|
The intrinsic components of the Einstein tensor for the spherical symmetric static metric (6.3.1) have already been calculated in (5.9.15). Introducing the convenient definitions:
|
h(r) = exp 2b(r) ; |
|
|
|
|
f (r) = exp 2a(r) |
(6.3.9) |
||||||||||||||||||||
Equation (5.9.15) can be rewritten as follows: |
|
|
|
|
|
|
|
||||||||||||||||||||
G00 |
|
G= |
|
1 |
1 |
|
|
1 |
|
|
|
h |
|
|
|
|
|
|
|
|
|||||||
= |
|
|
+ rh2 |
|
|
|
|
|
|
|
|||||||||||||||||
|
|
0 = r2 |
− h |
|
|
|
|
|
|
|
|
|
|||||||||||||||
G11 |
|
|
G1 |
|
1 |
1 |
|
|
|
|
1 |
|
|
f |
|
|
|
|
|
|
|
||||||
= − |
= − r2 |
|
|
|
|
|
+ rhf |
|
|
|
|
|
|
|
|||||||||||||
|
1 |
|
|
|
− h |
|
|
|
|
|
|
|
|||||||||||||||
|
= G33 = −G22 |
1 |
(rf h)−1f − |
1 |
rh2 − |
1 |
h |
|
|||||||||||||||||||
G22 |
= |
|
|
|
|
|
(6.3.10) |
||||||||||||||||||||
2 |
2 |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
+ |
1 |
(f h)−1/2 |
d |
(f h)−1/2f |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
2 |
dr |
||||||||||||||||||
Gab = 0 |
otherwise |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
6.3 Interior Solutions and the Stellar Equilibrium Equation |
247 |
Combining (6.3.10) with (6.3.8) we see that Einstein equations reduce, in this case, to a system of three ordinary differential equations for the four functions h(r), f (r), p(r), ρ(r). This is undetermined if we do not specify the nature of the fluid we are considering by writing an equation of state, namely a relation between the pressure and the energy density:
p = F (ρ) |
(6.3.11) |
The function F appearing in (6.3.11) encodes all the thermodynamical properties of the fluid.
Consider the equation:
G00(r) |
|
8πρ(r) |
|
1 |
|
d |
r 1 |
1 |
|
(6.3.12) |
= |
|
|
|
− h |
||||||
|
|
= r2 dr |
|
|
by a straightforward integration we obtain:
|
− |
h−1(R) |
= |
8π |
0 |
R dr r2ρ(r) |
+ |
const |
(6.3.13) |
R 1 |
|
|
|
|
If we have a spherical distribution of mass-energy the integral:
M(R) |
= |
0 |
R dr r2ρ(r) |
= |
SR |
3x ρ(x) |
(6.3.14) |
|
4π |
|
d |
is immediately interpreted as the total mass-energy contained in a sphere of radius R. Hence solving (6.3.13) with respect to the function h(R) we obtain:
h |
= |
1 |
− |
2 |
M(R) |
|
k |
−1 |
(6.3.15) |
R |
|
||||||||
|
|
|
− R |
|
which still contains the undetermined integration constant introduced in (6.3.13). This latter is fixed imposing the boundary condition h(0) = 1 that corresponds to the regularity of space-time in the origin. In this way we conclude that:
h(R) |
= |
1 |
− |
R |
−1 |
(6.3.16) |
|
|
2 M(R) |
Equation (6.3.16) shows that the radial-radial component of the metric has, in presence of spherically distributed matter, the same form as in the case of the Schwarzschild vacuum metric. The only difference resides in that the constant parameter m of the Schwarzschild metric (4.3.1) is replaced by the function M(R) introduced in (6.3.14) and representing the total mass contained in a sphere of radius R. At this point a subtle remark on M(R) is in order. Its explicit form has emerged from the integration of one of the Einstein equations and we interpreted it as the total mass contained in a sphere of radius R. To be very precise such an interpretation is illegal since it uses the integration measure of flat space rather than the integration measure determined by the true space-time metric. Given the mass
248 6 Stellar Equilibrium
density ρ(x), the proper mass contained in a sphere of radius R is actually defined by the integral:
|
= |
0 |
R |
4π r2ρ(r) |
|
|
|
|
|
det g3(r) dr |
(6.3.17) |
||||||
Mp (R) |
|
|
|
where g3 is the metric of a 3-dimensional section of space-time at constant time. Having found the solution (6.3.16) we actually have:
Mp (R) |
= |
R |
4π r2ρ(r) 1 |
− |
2 |
M(r) |
−1/2 dr > M(R) |
≡ |
R |
4π r2ρ(r) dr |
|
||||||||||
|
0 |
|
|
r |
0 |
|
(6.3.18) In other words the proper mass contained in a sphere of radius R is strictly larger than the effective mass contained in the same sphere and determining the metric through Einstein equation. This is not a discrepancy rather it encodes a profound physical fact. Indeed the difference:
Mp (R) − M(R)
has a clearcut meaning, it is the gravitational binding energy. Just as the mass of a Helium nucleus is smaller than the sum of the masses of two protons and two neutrons in the same way the mass of a star is smaller than the sum of the masses of all its components.
Having cleared the meaning of M(R) we come back to the Einstein equations following from the explicit form of the Einstein tensor (6.3.10). So far we have solved only one of them, namely (6.3.12), which has determined the form of the radial-radial component of the metric h(r). Next equation to be considered is:
G11(r) = 8πp(r) |
(6.3.19) |
which allows for the determination of the time-time component f (r) = exp[2a(r)]. From (6.3.19) we obtain:
|
1 |
1 |
|
2 |
M(r) |
|
|
1 |
|
2 |
a |
|
|
8πp(r) |
|
(6.3.20) |
||
− r2 |
− |
|
r2 |
+ |
|
= |
|
|||||||||||
+ |
|
r |
|
r |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M(r) + 4πp(r)r3 |
|
||
|
|
|
|
|
|
|
|
|
|
a (r) |
= |
|
(6.3.21) |
|||||
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r(r |
− |
2M(r)) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Equation (6.3.21) determines a(r) and hence f (r) by means of a simple integration in r:
f (r) exp 2 |
r d |
M( ) + 4πp( ) 3 |
|
(6.3.22) |
||
|
||||||
= |
0 |
( |
− |
2M( )) |
|
|
|
|
|
6.3 Interior Solutions and the Stellar Equilibrium Equation |
249 |
It is interesting to appreciate the physical meaning of (6.3.21) by considering its non-relativistic approximation. On one side we recall that:
1 |
+ 2a(r) |
|
f (r) ≡ g00 1 − c2 V (r) 1 |
(6.3.23) |
where V (r) is the gravitational potential. On the other hand the non-relativistic approximation corresponds to the regime where we have:
r3p(r) M(r); M(r) r |
(6.3.24) |
These conditions (6.3.24) are easily explained as follows. First of all let us recall that a non-relativistic regime is obtained when:
kinetic energy rest energy |
(6.3.25) |
secondly consider that |
|
r3p(r) pression × Volume kinetic energy |
(6.3.26) |
which is easily seen to be true if one recalls the equation of state of ideal gases pV = nRT and that temperature measures the average kinetic energy per degree of freedom. On the other hand M(r)c2 is the rest energy contained in a sphere of radius r. Therefore in natural units where c = G = 1 the first of (6.3.24) is just the statement (6.3.25). The second condition (6.3.24) is instead the statement that the Schwarzschild radius of the total mass contained in a sphere of radius r is much smaller than the radius r itself. Indeed such a Schwarzschild radius is rS (r) = 2 cG2 M(r) and, in natural units, the second of conditions (6.3.24) states that rS (r) r. Inserting the non-relativistic approximations (6.3.23) and (6.3.24) into (6.3.21) we find:
d |
M(r) |
|
|
|
V (r) |
|
(6.3.27) |
dr |
r2 |
which is the correct differential equation for the Newtonian potential generated by a spherical mass distribution.
Having dealt with the equations associated with the first and second independent components of the Einstein tensor (see (6.3.10)) we have determined the two unknown coefficients of the metric in terms of the radial mass-distribution ρ(r). We still have to determine the radial behavior of the pressure p(r) related to the radial mass-distribution ρ(r) by the equation of state (6.3.11). This information is encoded in the third and fourth Einstein equations:
G22 = G33 = 8πp |
(6.3.28) |
Since Einstein equations are not independent being related by the Bianchi identity that implies the covariant conservation of the stress-energy tensor, an alternative