- •Preface
- •Acknowledgements
- •Contents
- •2.1 Introduction and a Short History of Black Holes
- •2.2 The Kruskal Extension of Schwarzschild Space-Time
- •2.2.1 Analysis of the Rindler Space-Time
- •2.2.2 Applying the Same Procedure to the Schwarzschild Metric
- •2.2.3 A First Analysis of Kruskal Space-Time
- •2.3 Basic Concepts about Future, Past and Causality
- •2.3.1 The Light-Cone
- •2.3.2 Future and Past of Events and Regions
- •Achronal Sets
- •Time-Orientability
- •Domains of Dependence
- •Cauchy surfaces
- •2.4.1 Conformal Mapping of Minkowski Space into the Einstein Static Universe
- •2.4.2 Asymptotic Flatness
- •2.5 The Causal Boundary of Kruskal Space-Time
- •References
- •3.1 Introduction
- •3.2 The Kerr-Newman Metric
- •3.2.1 Riemann and Ricci Curvatures of the Kerr-Newman Metric
- •3.3 The Static Limit in Kerr-Newman Space-Time
- •Static Observers
- •3.4 The Horizon and the Ergosphere
- •The Horizon Area
- •3.5 Geodesics of the Kerr Metric
- •3.5.2 The Hamilton-Jacobi Equation and the Carter Constant
- •3.5.3 Reduction to First Order Equations
- •3.5.4 The Exact Solution of the Schwarzschild Orbit Equation as an Application
- •3.5.5 About Explicit Kerr Geodesics
- •3.6 The Kerr Black Hole and the Laws of Thermodynamics
- •3.6.1 The Penrose Mechanism
- •3.6.2 The Bekenstein Hawking Entropy and Hawking Radiation
- •References
- •4.1 Historical Introduction to Modern Cosmology
- •4.2 The Universe Is a Dynamical System
- •4.3 Expansion of the Universe
- •4.3.1 Why the Night is Dark and Olbers Paradox
- •4.3.2 Hubble, the Galaxies and the Great Debate
- •4.3.4 The Big Bang
- •4.4 The Cosmological Principle
- •4.5 The Cosmic Background Radiation
- •4.6 The New Scenario of the Inflationary Universe
- •4.7 The End of the Second Millennium and the Dawn of the Third Bring Great News in Cosmology
- •References
- •5.1 Introduction
- •5.2 Mathematical Interlude: Isometries and the Geometry of Coset Manifolds
- •5.2.1 Isometries and Killing Vector Fields
- •5.2.2 Coset Manifolds
- •5.2.3 The Geometry of Coset Manifolds
- •5.2.3.1 Infinitesimal Transformations and Killing Vectors
- •5.2.3.2 Vielbeins, Connections and Metrics on G/H
- •5.2.3.3 Lie Derivatives
- •5.2.3.4 Invariant Metrics on Coset Manifolds
- •5.2.3.5 For Spheres and Pseudo-Spheres
- •5.3 Homogeneity Without Isotropy: What Might Happen
- •5.3.1 Bianchi Spaces and Kasner Metrics
- •5.3.1.1 Bianchi Type I and Kasner Metrics
- •5.3.2.1 A Ricci Flat Bianchi II Metric
- •5.3.3 Einstein Equation and Matter for This Billiard
- •5.3.4 The Same Billiard with Some Matter Content
- •5.3.5 Three-Space Geometry of This Toy Model
- •5.4 The Standard Cosmological Model: Isotropic and Homogeneous Metrics
- •5.4.1 Viewing the Coset Manifolds as Group Manifolds
- •5.5 Friedman Equations for the Scale Factor and the Equation of State
- •5.5.1 Proof of the Cosmological Red-Shift
- •5.5.2 Solution of the Cosmological Differential Equations for Dust and Radiation Without a Cosmological Constant
- •5.5.3 Embedding Cosmologies into de Sitter Space
- •5.6 General Consequences of Friedman Equations
- •5.6.1 Particle Horizon
- •5.6.2 Event Horizon
- •5.6.3 Red-Shift Distances
- •5.7 Conceptual Problems of the Standard Cosmological Model
- •5.8 Cosmic Evolution with a Scalar Field: The Basis for Inflation
- •5.8.1 de Sitter Solution
- •5.8.2 Slow-Rolling Approximate Solutions
- •5.8.2.1 Number of e-Folds
- •5.9 Primordial Perturbations of the Cosmological Metric and of the Inflaton
- •5.9.1 The Conformal Frame
- •5.9.2 Deriving the Equations for the Perturbation
- •5.9.2.1 Meaning of the Propagation Equation
- •5.9.2.2 Evaluation of the Effective Mass Term in the Slow Roll Approximation
- •5.9.2.3 Derivation of the Propagation Equation
- •5.9.3 Quantization of the Scalar Degree of Freedom
- •5.9.4 Calculation of the Power Spectrum in the Two Regimes
- •5.9.4.1 Short Wave-Lengths
- •5.9.4.2 Long Wave-Lengths
- •5.9.4.3 Gluing the Long and Short Wave-Length Solutions Together
- •5.9.4.4 The Spectral Index
- •5.10 The Anisotropies of the Cosmic Microwave Background
- •5.10.1 The Sachs-Wolfe Effect
- •5.10.2 The Two-Point Temperature Correlation Function
- •5.10.3 Conclusive Remarks on CMB Anisotropies
- •References
- •6.1 Historical Outline and Introduction
- •6.1.1 Fermionic Strings and the Birth of Supersymmetry
- •6.1.2 Supersymmetry
- •6.1.3 Supergravity
- •6.2 Algebro-Geometric Structure of Supergravity
- •6.3 Free Differential Algebras
- •6.3.1 Chevalley Cohomology
- •Contraction and Lie Derivative
- •Definition of FDA
- •Classification of FDA and the Analogue of Levi Theorem: Minimal Versus Contractible Algebras
- •6.4 The Super FDA of M Theory and Its Cohomological Structure
- •6.4.1 The Minimal FDA of M-Theory and Cohomology
- •6.4.2 FDA Equivalence with Larger (Super) Lie Algebras
- •6.5 The Principle of Rheonomy
- •6.5.1 The Flow Chart for the Construction of a Supergravity Theory
- •6.6 Summary of Supergravities
- •Type IIA Super-Poicaré Algebra in the String Frame
- •The FDA Extension of the Type IIA Superalgebra in the String Frame
- •The Bianchi Identities
- •6.7.1 Rheonomic Parameterizations of the Type IIA Curvatures in the String Frame
- •Bosonic Curvatures
- •Fermionic Curvatures
- •6.7.2 Field Equations of Type IIA Supergravity in the String Frame
- •6.8 Type IIB Supergravity
- •SL(2, R) Lie Algebra
- •Coset Representative of SL(2, R)/O(2) in the Solvable Parameterization
- •The SU(1, 1)/U(1) Vielbein and Connection
- •6.8.2 The Free Differential Algebra, the Supergravity Fields and the Curvatures
- •The Curvatures of the Free Differential Algebra in the Complex Basis
- •The Curvatures of the Free Differential Algebra in the Real Basis
- •6.8.3 The Bosonic Field Equations and the Standard Form of the Bosonic Action
- •6.9 About Solutions
- •References
- •7.1 Introduction and Conceptual Outline
- •7.2 p-Branes as World Volume Gauge-Theories
- •7.4 The New First Order Formalism
- •7.4.1 An Alternative to the Polyakov Action for p-Branes
- •7.6 The D3-Brane: Summary
- •7.9 Domain Walls in Diverse Space-Time Dimensions
- •7.9.1 The Randall Sundrum Mechanism
- •7.9.2 The Conformal Gauge for Domain Walls
- •7.10 Conclusion on This Brane Bestiary
- •References
- •8.1 Introduction
- •8.2 Supergravity and Homogeneous Scalar Manifolds G/H
- •8.2.3 Scalar Manifolds of Maximal Supergravities in Diverse Dimensions
- •8.3 Duality Symmetries in Even Dimensions
- •8.3.1 The Kinetic Matrix N and Symplectic Embeddings
- •8.3.2 Symplectic Embeddings in General
- •8.5 Summary of Special Kähler Geometry
- •8.5.1 Hodge-Kähler Manifolds
- •8.5.2 Connection on the Line Bundle
- •8.5.3 Special Kähler Manifolds
- •8.6 Supergravities in Five Dimension and More Scalar Geometries
- •8.6.1 Very Special Geometry
- •8.6.3 Quaternionic Geometry
- •8.6.4 Quaternionic, Versus HyperKähler Manifolds
- •References
- •9.1 Introduction
- •9.2 Black Holes Once Again
- •9.2.2 The Oxidation Rules
- •Orbit of Solutions
- •The Schwarzschild Case
- •The Extremal Reissner Nordström Case
- •Curvature of the Extremal Spaces
- •9.2.4 Attractor Mechanism, the Entropy and Other Special Geometry Invariants
- •9.2.5 Critical Points of the Geodesic Potential and Attractors
- •At BPS Attractor Points
- •At Non-BPS Attractor Points of Type I
- •At Non-BPS Attractor Points of Type II
- •9.2.6.2 The Quartic Invariant
- •9.2.7.1 An Explicit Example of Exact Regular BPS Solution
- •The Metric
- •The Scalar Field
- •The Electromagnetic Fields
- •The Fixed Scalars at Horizon and the Entropy
- •The Metric
- •The Scalar Field
- •The Electromagnetic Fields
- •The Fixed Scalars at Horizon and the Entropy
- •9.2.9 Resuming the Discussion of Critical Points
- •Non-BPS Case
- •BPS Case
- •9.2.10 An Example of a Small Black Hole
- •The Metric
- •The Complex Scalar Field
- •The Electromagnetic Fields
- •The Charges
- •Structure of the Charges and Attractor Mechanism
- •9.2.11 Behavior of the Riemann Tensor in Regular Solutions
- •9.3.4 The SO(8) Spinor Bundle and the Holonomy Tensor
- •9.3.5 The Well Adapted Basis of Gamma Matrices
- •9.3.6 The so(8)-Connection and the Holonomy Tensor
- •9.3.7 The Holonomy Tensor and Superspace
- •9.3.8 Gauged Maurer Cartan 1-Forms of OSp(8|4)
- •9.3.9 Killing Spinors of the AdS4 Manifold
- •9.3.10 Supergauge Completion in Mini Superspace
- •9.3.11 The 3-Form
- •9.4.1 Maurer Cartan Forms of OSp(6|4)
- •9.4.2 Explicit Construction of the P3 Geometry
- •9.4.3 The Compactification Ansatz
- •9.4.4 Killing Spinors on P3
- •9.4.5 Gauge Completion in Mini Superspace
- •9.4.6 Gauge Completion of the B[2] Form
- •9.5 Conclusions
- •References
- •10.1 The Legacy of Volume 1
- •10.2 The Story Told in Volume 2
- •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: Auxiliary Tools for p-Brane Actions
- •B.1 Notations and Conventions
- •Appendix C: Auxiliary Information About Some Superalgebras
- •C.1.1 The Superalgebra
- •C.2 The Relevant Supercosets and Their Relation
- •C.2.1 Finite Supergroup Elements
- •C.4 An so(6) Inversion Formula
- •Appendix D: MATHEMATICA Package NOVAMANIFOLDA
- •Coset Manifolds (Euclidian Signature)
- •Instructions for the Use
- •Description of the Main Commands of RUNCOSET
- •Structure Constants for CP2
- •Spheres
- •N010 Coset
- •RUNCOSET Package (Euclidian Signature)
- •Main
- •Spin Connection and Curvature Routines
- •Routine Curvapack
- •Routine Curvapackgen
- •Contorsion Routine for Mixed Vielbeins
- •Calculation of the Contorsion for General Manifolds
- •Calculation for Cartan Maurer Equations and Vielbein Differentials (Euclidian Signature)
- •Routine Thoft
- •AdS Space in Four Dimensions (Minkowski Signature)
- •Lie Algebra of SO(2, 3) and Killing Metric
- •Solvable Subalgebra Generating the Coset and Construction of the Vielbein
- •Killing Vectors
- •Trigonometric Coordinates
- •Test of Killing Vectors
- •MANIFOLDPROVA
- •The 4-Dimensional Coset CP2
- •Calculation of the (Pseudo-)Riemannian Geometry of a Kasner Metric in Vielbein Formalism
- •References
- •Index
3.5 Geodesics of the Kerr Metric |
55 |
where |
|
gpp(r, Ω) = gtt + 2Ωgtφ + Ω2gφφ |
(3.4.8) |
If gpp(r, Ω) never changes sign (namely it is positive definite) then the effective 2- dimensional metric displays no horizon. If gpp(r, Ω) goes through zero, then in the p, r plane there is a horizon. However if there is a horizon for a certain time p(Ω) light can still escape to infinity along some other time p(Ω ) for which gpp(r, Ω ) is positive-definite. In other words we look for the norm of the Killing vectors χ (Ω):
χ (Ω), χ (Ω) = gtt + 2Ωgtφ + Ω2gφφ |
(3.4.9) |
If all the possible vectors χ (Ω) have negative norm then we are below the horizon. This implies that we are below the horizon when the discriminant of the quadratic form (3.4.8) is negative, so that the horizon is indeed given by the condition (3.4.3) as we claimed. On the horizon r = r+ the equation:
admits only one solution: |
|
χ (Ω), χ (Ω) = 0 |
(3.4.10) |
||||||||
|
|
|
|
|
|
||||||
Ω |
= |
ΩH |
|
|
α |
|
|
α |
(3.4.11) |
||
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|||||
≡ r+2 |
+ α2 |
= α2 + (m + m2 − q2 − α2)2 |
|||||||||
|
|
|
The above quantity ΩH can be interpreted as the angular velocity of the eventhorizon in the sense that any physical test-body sitting on the horizon necessarily rotates with such a velocity with respect to the fixed stars.
The Horizon Area We can now easily calculate the area of the horizon. By definition we have:
AreaH = |
√ |
|
dθ dφ = r |
2 |
+ α2 |
|
sin θ dθ dφ |
gθ θ gφφ |
|||||||
r=r+ |
|
+ |
|
|
|
||
= 4π r+2 + α2 |
|
|
|
(3.4.12) |
and by comparison with (3.4.11) we obtain the following very interesting relation of the horizon area with the mass m and the angular momentum J ≡ mα of the black-hole:
J
AreaH = 4π (3.4.13)
ΩH m
3.5 Geodesics of the Kerr Metric
The Kerr metric was discovered at the beginning of the sixties of the XXth century but it took several years before the problem of integrating its geodesics equations
56 |
3 Rotating Black Holes and Thermodynamics |
was solved. For the Schwarzschild field the geodesics equations are almost immediately reduced to quadratures by regarding them as Euler Lagrange equations of a mechanical problem with 4 Lagrangian coordinates qμ = (t, r, θ, φ) and exploiting two facts:
1.There are three first integrals of the motion respectively given by the energy E , the angular momentum L and the mass μ of the particle
2.One Lagrangian coordinate can be eliminated from start, since all orbits are pla-
nar and the declination angle θ can be conventionally fixed to the value θ = π2 without loss of generality.
In this way, after elimination of θ we have a number of conserved charges equal to the number of effective Lagrangian coordinates and the mechanical system is necessarily reduced to the quadratures. The really crucial point, therefore, is the elimination of θ which, in the Schwarzschild case might be seen as a consequence of the full-spherical symmetry, absent in the Kerr case. At α = 0 there is dynamics also in the declination angle θ , while at first glance, the integrals of motion seem to be just three as at α = 0. Hence integrability seem to be lost for the Kerr metric.
As Carter2 discovered, the truth is more subtle and the Kerr geodesic system is still fully integrable. The reason for that is the existence of a fourth hidden integral of motion, the Carter constant K, which exists at all values of α and is, in the limit α → 0, the real source for the trivialization of the θ motion.
In order to discover the Carter constant one has to reformulate the geodesic problem within the framework of the Hamilton Jacobi approach to classical mechanics and this is what we shall do in the present section. As a preparation to this task let us first review the construction of the three integral of motion associated with manifest symmetries.
3.5.1 The Three Manifest Integrals, E , L and μ
The two first integrals E and L are associated with symmetries of the metric via Noether theorem (see Sect. 1.7 in Chap. 1 of Volume 1). They exist just because the two Lagrangian coordinates t and φ are cyclic. On its turn this cyclicity follows from
the existence of the two Killing vectors k = ∂/∂t and |
˜ |
= |
∂/∂φ |
. These properties |
|
k |
|
|
are true for the Kerr metric as much as for the Schwarzschild one. Hence also the Kerr metric admits the first integrals E and L.
Defining the Lagrangian according to the conventions of used in Chaps. 3 and 4 of Volume 1 and using the form (3.2.10) of the Kerr metric in Boyes-Lindquist coordinates, namely:
L ≡ − |
1 |
gμν (x) |
dxμ dxν |
||
|
|
|
|
||
2 |
dτ dτ |
2Brandon Carter is an Australian born theoretical physicist working at Meudon (CNRS), France.
3.5 Geodesics of the Kerr Metric |
|
|
|
|
|
|
|
− |
|
˙ |
|
|
|
|
|
|
|
|
|
˙ |
|
|
|
57 |
||||||||||||||
|
|
|
ρ2r |
|
|
ρ |
θ |
|
|
|
|
((r2 |
|
α2)φ |
|
|
|
|
|
|
|
|
|
|
|
|
αφ 2 θ )2 |
|
||||||||||
1 |
|
2 |
|
|
|
˙ |
|
+ |
|
+ |
|
|
|
αt)2 sin2 θ |
− |
|
|
|
|
|
− |
|
||||||||||||||||
= − 2 |
˙ |
+ |
|
2 |
2 |
|
|
|
|
ρ2 |
|
|
|
|
|
|
|
Δ(t |
|
ρ2 |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
˙ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
˙ sin |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.5.1) |
|
we find the Kerr definition of the first integrals of motion E and L. Explicitly: |
|
|||||||||||||||||||||||||||||||||||||
|
|
|
E = |
|
t ≡ |
|
∂t |
= |
1 − ρ |
2 |
t˙ + α ρ2 |
sin |
|
|
θ |
|
˙ |
|
|
|||||||||||||||||||
|
|
|
|
|
|
p |
|
|
|
∂L |
|
|
|
2m |
|
|
|
|
|
2mr |
|
2 |
|
|
φ |
(3.5.2) |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
˙ |
|
|
|
|
|
|
|
|
|
t˙ − ρ |
|
|
|
|
|
|
|
||||||||||
|
|
|
−L = pφ |
≡ |
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
θ ˙ |
|
|
|
||||||||||||||
|
|
|
|
φ |
ρ2 |
|
sin |
|
θ |
2 |
|
sin |
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
∂L |
|
α |
|
2mr |
|
|
2 |
|
|
Σ2 |
|
|
2 |
|
φ |
|
(3.5.3) |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
∂ ˙ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
where, adding the new shorthand Σ2 to the already introduced ones ρ2 and |
|
, we |
||||||||||||||||||||||||||||||||||||
have: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
ρ2 = r2 + α2 cos2 θ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
= r2 − 2mr + α2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3.5.4) |
||||||||||||
|
|
|
|
Σ2 = r2 + α2 2 − α2 r2 − 2mr + α2 sin2 θ |
|
|
|
|
Equation (3.5.3) replace the homologous ones of the Schwarzschild case (see Chap. 3 of Volume One). In the limit α → 0 the Kerr metric degenerates into the Schwarzschild metric and the definitions (3.5.3) of the energy and angular momen-
tum of a test particle flow to the Schwarzschild ones. This is easily checked, noting that at α = 0 we have ρ2 = = r2 and Σ2 = r4.
Equation (3.5.3) can be effectively interpreted in the following matrix form:
E
−L = M(r, θ )
where the key point is that the 2 × 2 matrix:
M(r, θ ) |
|
1 − ρ2 |
2 |
|
= |
2m |
|
|
2mr ρ2 |
|
|
|
|
α sin θ |
t˙
˙
φ
2mrα sin2 θ ρ2
− Σρ22
(3.5.5)
(3.5.6)
is function only of the coordinates r and θ . The same, obviously is true also of the inverse matrix.
|
|
|
ρ2Σ2 |
|
|
|
2mrαρ2 sin2 θ |
|
|
M−1(r, θ ) |
= |
4m2r2α2 sin4 θ +(ρ2−2m)Σ2 |
|
4m2r2 |
α2 sin4(θ )+(ρ2−2m)Σ2 |
(3.5.7) |
|||
|
|
4m2r2α2 sin4 θ +(ρ2 |
−2m)Σ2 |
4m2r2 |
α2 sin4 θ +(ρ2−2m)Σ2 |
|
|
||
|
|
2mrαρ2 sin2 |
θ |
|
|
2mρ2−ρ4 |
|
|
Hence if the geodesic flow of the coordinates r, θ has already been determined in terms of the first integral of motion, namely if we have the two proper-time functions:
r = r(τ, E, L); |
θ = θ (τ, E, λ) |
(3.5.8) |
58 3 Rotating Black Holes and Thermodynamics
then the matrix M−1 is reduced to a known function of τ and the inverse relation:
φ |
= M− |
|
|
L |
|
t˙ |
|
1(τ ) |
E |
(3.5.9) |
|
˙ |
|
|
− |
|
|
reduces also the integration of the cyclic variables t and φ to quadratures.
The constant of motion μ2 is associated with fixing the reparameterization invariance of the geodesics equation. Indeed, in order for the Euler-Lagrange equations obtained from the Lagrangian (3.5.1) to be equivalent to the original geodesics equations it is necessary that the Lagrangian time τ should coincide with the proper time defined by the metric. This implies that we have to enforce the constraint:
|
|
1 |
2 |
|
time-like geodesics |
|
|
L |
= |
μ2 where μ2 |
= 1; |
(3.5.10) |
|||
2 |
|
||||||
|
μ |
= 0; |
light-like geodesics |
|
|||
|
|
|
|
This condition yields the third manifest integral of motion:
|
2 |
|
ρ2r |
2 |
|
2 |
|
2 |
|
((r2 |
α2)φ |
|
αt)2 sin2 θ |
|
Δ(t |
αφ |
2 θ )2 |
||
|
= |
|
|
|
+ |
˙ |
+ |
|
˙ |
|
|
− |
˙ sin |
|
|
||||
μ |
|
|
|
˙ |
|
|
ρ |
θ |
|
|
+ |
|
− |
˙ |
|
˙ − |
|
(3.5.11) |
3.5.2 The Hamilton-Jacobi Equation and the Carter Constant
Let us recall the essential points of the Hamilton Jacobi method of integration of a Hamiltonian system.
Given the Hamiltonian:
H (p, q) = pi q˙i − L (q, q)˙ |
(3.5.12) |
where the canonical momenta pi ≡ ∂∂Lq˙i are defined as usual, the Hamilton Jacobi method consists of constructing the generating function S(τ, p, q) of a canonical transformation which reduces the new Hamiltonian H to an identically vanishing function of the new canonical variables (P , Q). In this way we will be guaranteed that both the new canonical coordinates Qi and the new canonical momenta Pi are constant, since:
0 |
Qi |
|
∂H |
P |
∂H |
(3.5.13) |
|
|
|
|
|
||||
= ∂Pi ; |
|
||||||
|
= ˙ |
0 = ˙i = − |
∂Qi |
|
Calling S(q, P , τ ) the generating function of such a canonical transformation, where qi are the old coordinates and Pi the new momenta, by definition we have the relations:
pi = |
∂S(τ, q, P ) |
|
|
|
|
∂qi |
||
|
(3.5.14) |
|
Qi = |
∂S(τ, q, P ) |
|
|
|
|
∂P i |
3.5 Geodesics of the Kerr Metric |
59 |
which, provided that S(τ, q, P ) is known, yields the explicit solution of the mechanical problem under consideration. Such solution is the complete integral since it involves exactly 2n integration constants that are nothing else but the new canonical momenta and coordinates (P , Q). The function S is named the Jacobi principal function and, as a consequence of its definition, it satisfies the Hamilton Jacobi equation:
∂S |
+ H |
qi , |
∂S |
= 0 |
(3.5.15) |
|
|
||||
∂τ |
∂qi |
The question is whether the Hamilton-Jacobi equation can be integrated more easily than the original Hamiltonian equations. This happens when (3.5.15) is such that it allows for a separation of the variables. By this we mean that it is consistent to write the following ansatz for the function S(τ, q, P ):
n |
|
|
i 1 |
||
S(τ, q, P ) = E τ + Wi qi , Pi |
(3.5.16) |
=
where each function Wi depends only on the corresponding old canonical variable qi . When this is the case the integration of the Hamilton Jacobi equation can be reduced to the quadratures.
Applying the Hamilton-Jacobi method to the problem of geodesics, the first thing that we note is one of a general character, common to any metric. Since the Lagrangian is a quadratic form in the velocities, with coordinate dependent coefficients, the Hamiltonian will be a quadratic form in the canonical momenta with coordinate dependent coefficients. Indeed in full generality we obtain:
pμ ≡ −gμν (q)q˙ν |
|
|
|
|
1 |
gμν (q)pμpν |
|
|||||||||
H (q, p) = − |
|
(3.5.17) |
||||||||||||||
2 |
||||||||||||||||
where gμν is the controvariant metric with upper indices. |
|
|
|
|
||||||||||||
In the case of the Kerr-metric we have: |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
Σ2 |
0 |
|
0 |
|
2mrα |
|
|
|
|
|||
|
|
|
Δρ2 |
|
|
|
Δρ2 |
|
|
|
||||||
|
|
|
0 |
|
− |
|
0 |
|
0 |
|
|
|
|
|
|
|
g |
μν |
|
ρ2 |
1 |
|
|
|
|
(3.5.18) |
|||||||
|
0 |
|
0 |
|
|
0 |
|
|
|
|
||||||
|
|
= |
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ρ2 |
|
|
|
|
|
|
|||
|
|
|
|
2mrα |
0 |
|
|
csc2 θ (α2 sin2 θ |
− |
Δ) |
|
|
||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
||||
|
|
|
|
Δρ2 |
|
|
|
|
|
|
Δρ2 |
|
|
|
|
where the chosen order of the coordinates is (t, r, θ, φ). Correspondingly the Hamiltonian takes the explicit form:
H (p, q) = |
− 2pr2 |
+ Σ2pt2 − Δpθ2 + α2pφ2 − csc2(θ )pφ2 + 4mrαpt pφ |
|
2Δρ2 |
(3.5.19) which provides the explicit form of the Hamilton-Jacobi equation. Recalling the first integrals (3.5.3) we try the following factorized ansatz for the principal Jacobi