編輯推薦
盡管物理學傢提齣瞭一些新理論,但相對論目前依然是唯一成熟的現代引力理論。而對於相對論的研究也遠遠沒有走到盡頭,其豐富內涵依然有待發掘。《廣義相對論的3+1形式》講述瞭相對論的基本理論和數值方法的基礎。對於從事或有誌於從事相對論研究的研究人員或研究生,本書都是不可錯過的傑作。
內容簡介
《廣義相對論的3+1形式》詳細地講解瞭3+1形式的廣義相對論和數值相對論基礎。《廣義相對論的3+1形式-數值相對論基礎(英文影印版)》從研究相對論所必備的數學工具,如微分幾何、超麯麵的嵌入等講起,逐步引入瞭愛因斯坦方程、物質和電磁場方程等的3+1分解。之後,通過更高等的數學工具,如共形變換等,討論瞭現代相對論的一些重要問題。
作者簡介
古爾古隆(E. Gourgoulhon),法國LUTh教授。
目錄
1 Introduction
References
2 Basic Differential Geometry
2.1 Introduction
2.2 Differentiable Manifolds
2.2.1 Notion of Manifold
2.2.2 Vectors on a Manifold
2.2.3 Linear Forms
2.2.4 Tensors
2.2.5 Fields on a Manifold
2.3 Pseudo-Riemannian Manifolds
2.3.1 Metric Tensor
2.3.2 Signature and Orthonormal Bases
2.3.3 Metric Duality
2.3.4 Levi-Civita Tensor
2.4 Covariant Derivative
2.4.1 Affine Connection on a Manifold
2.4.2 Levi-Civita Connection
2.4.3 Curvature
2.4.4 Weyl Tensor
2.5 Lie Derivative
2.5.1 Lie Derivative of a Vector Field
2.5.2 Generalization to Any Tensor Field
References
3 Geometry of Hypersurfaees
3.1 Introduction
3.2 Framework and Notations
3.3 Hypersurface Embedded in Spacetime
3.3.1 Definition
3.3.2 Normal Vector
3.3.3 Intrinsic Curvature
3.3.4 Extrinsic Curvature
3.3.5 Examples: Surfaces Embedded in the Euclidean Space R3
3.3.6 An Example in Minkowski Spacetime: The Hyperbolic Space H3
3.4 Spacelike Hypersurfaces
3.4.1 The Orthogonal Projector
3.4.2 Relation Between K and Vn
3.4.3 Links Between the ▽ and D Connections
3.5 Gauss-Codazzi Relations
3.5.1 Gauss Relation
3.5.2 Codazzi Relation
References
4 Geometry of Foliations
4.1 Introduction
4.2 Globally Hyperbolic Spacetimes and Foliations
4.2.1 Globally Hyperbolic Spacetimes
4.2.2 Definition of a Foliation
4.3 Foliation Kinematics
4.3.1 Lapse Function
4.3.2 Normal Evolution Vector
4.3.3 Eulerian Observers
4.3.4 Gradients of n and m
4.3.5 Evolution of the 3-Metric
4.3.6 Evolution of the Orthogonal Projector
4.4 Last Part of the 3+1 Decomposition of the Riemann Tensor.
4.4.1 Last Non Trivial Projection of the Spacetime Riemann Tensor
4.4.2 3+1 Expression of the Spacetime Scalar Curvature.
References
5 3+1 Decomposition of Einstein Equation
5.1 Einstein Equation in 3+1 form
5.1.1 The Einstein Equation
5.1.2 3+1 Decomposition of the Stress-Energy Tensor ..
5.1.3 Projection of the Einstein Equation
5.2 Coordinates Adapted to the Foliation
5.2.1 Definition
5.2.2 Shift Vector
5.2.3 3+1 Writing of the Metric Components
5.2.4 Choice of Coordinates via the Lapse and the Shift
5.3 3+1 Einstein Equation as a PDE System
5.3.1 Lie Derivatives Along m as Partial Derivatives
5.3.2 3+1 Einstein System
5.4 The Cauchy Problem
5.4.1 General Relativity as a Three-Dimensional Dynamical System
5.4.2 Analysis Within Gaussian Normal Coordinates
5.4.3 Constraint Equations
5.4.4 Existence and Uniqueness of Solutions to the Cauchy Problem
5.5 ADM Hamiltonian Formulation
5.5.1 3+1 form of the Hilbert Action
5.5.2 Hamiltonian Approach
References
6 3+1 Equations for Matter and Electromagnetic Field
6.1 Introduction
6.2 Energy and Momentum Conservation
6.2.1 3+1 Decomposition of the 4-Dimensional Equation
6.2.2 Energy Conservation
6.2.3 Newtonian Limit
6.2.4 Momentum Conservation
6.3 Perfect Fluid
6.3.1 Kinematics
6.3.2 Baryon Number Conservation
6.3.3 Dynamical Quantities
6.3.4 Energy Conservation Law
6.3.5 Relativistic Euler Equation
6.3.6 Flux-Conservative Form
6.3.7 Further Developments
6.4 Electromagnetism
6.4.1 Electromagnetic Field
6.4.2 3+1 Maxwell Equations
6.4.3 Electromagnetic Energy, Momentum and Stress...
6.5 3+1 Ideal Magnetohydrodynamics
6.5.1 Basic Settings
6.5.2 Maxwell Equations
6.5.3 Electromagnetic Energy, Momentum and Stress...
6.5.4 MHD-Euler Equation
6.5.5 MHD in Flux-Conservative Form
References
7 Conformal Decomposition
7.1 Introduction
7.2 Conformal Decomposition of the 3-Metric
7.2.1 Unit-Determinant Conformal "Metric"
7.2.2 Background Metric
7.2.3 Conformal Metric
7.2.4 Conformal Connection
7.3 Expression of the Ricci Tensor
7.3.1 General Formula Relating the Two Ricci Tensors
7.3.2 Expression in Terms of the Conformal Factor
7.3.3 Formula for the Scalar Curvature
7.4 Conformal Decomposition of the Extrinsic Curvature
7.4.1 Traceless Decomposition
7.4.2 Conformal Decomposition of the Traceless Part
7.5 Conformal Form of the 3+1 Einstein System
7.5.1 Dynamical Part of Einstein Equation
7.5.2 Hamiltonian Constraint
7.5.3 Momentum Constraint
7.5.4 Summary: Conformal 3+1 Einstein System
7.6 Isenberg-Wilson-Mathews Approximation to General Relativity
References
8 Asymptotic Flatness and Global Quantifies
8.1 Introduction
8.2 Asymptotic Flatness
8.2.1 Definition
8.2.2 Asymptotic Coordinate Freedom
8.3 ADM Mass
8.3.1 Definition from the Hamiltonian Formulation of GR
8.3.2 Expression in Terms of the Conformal Decomposition
8.3.3 Newtonian Limit
8.3.4 Positive Energy Theorem
8.3.5 Constancy of the ADM Mass
8.4 ADM Momentum
8.4.1 Definition
8.4.2 ADM 4-Momentum
8.5 Angular Momentum
8.5.1 The Supertranslation Ambiguity
8.5.2 The "Cure".
8.5.3 ADM Mass in the Quasi-Isotropic Gauge
8.6 Komar Mass and Angular Momentum
8.6.1 Komar Mass
8.6.2 3+1 Expression of the Komar Mass and Link with the ADM Mass
8.6.3 Komar Angular Momentum
References
9 The Initial Data Problem
9.1 Introduction
9.1.1 The Initial Data Problem
9.1.2 Conformal Decomposition of the Constraints
9.2 Conformal Transverse-Traceless Method
9.2.1 Longitudinal / Transverse Decomposition of A ij
9.2.2 Conformal Transverse-Traceless Form of the Constraints
9.2.3 Decoupling on Hypersurfaces of Constant Mean Curvature
9.2.4 Existence and Uniqueness of Solutions to Lichnerowicz Equation
9.2.5 Conformally Flat and Momentarily Static Initial Data
9.2.6 Bowen-York Initial Data
9.3 Conformal Thin Sandwich Method
9.3.1 The Original Conformal Thin Sandwich Method .
9.3.2 Extended Conformal Thin Sandwich Method
9.3.3 XCTS at Work: Static Black Hole Example
9.3.4 Uniqueness Issue
9.3.5 Comparing CTT, CTS and XCTS
9.4 Initial Data for Binary Systems
9.4.1 Helical Symmetry
9.4.2 Helical Symmetry and IWM Approximation
9.4.3 Initial Data for Orbiting Binary Black Holes
9.4.4 Initial Data for Orbiting Binary Neutron Stars
9.4.5 Initial Data for Black Hole: Neutron Star Binaries.
References
10 Choice of Foliation and Spatial Coordinates
10.1 Introduction
10.2 Choice of Foliation
10.2.1 Geodesic Slicing
10.2.2 Maximal Slicing
10.2.3 Harmonic Slicing
10.2.4 1+log Slicing
10.3 Evolution of Spatial Coordinates
10.3.1 Normal Coordinates
10.3.2 Minimal Distortion
10.3.3 Approximate Minimal Distortion
10.3.4 Gamma Freezing
10.3.5 Gamma Drivers
10.3.6 Other Dynamical Shift Gauges
10.4 Full Spatial Coordinate-Fixing Choices
10.4.1 Spatial Harmonic Coordinates
10.4.2 Dirac Gauge
References
11 Evolution schemes
11.1 Introduction
11.2 Constrained Schemes
11.3 Free Evolution Schemes
11.3.1 Definition and Framework
11.3.2 Propagation of the Constraints
11.3.3 Constraint-Violating Modes
11.3.4 Symmetric Hyperbolic Formulations
11.4 BSSN Scheme
11.4.1 Introduction
11.4.2 Expression of the Ricci Tensor of the Conformal Metric
11.4.3 Reducing the Ricci Tensor to a Laplace Operator
11.4.4 The Full Scheme
11.4.5 Applications
References
Appendix A: Conformal Killing Operator and Conformal Vector Laplacian
Appendix B: Sage Codes
Index
前言/序言
廣義相對論的3+1分解視角:數值相對論的基石 圖書簡介 本書深入探討瞭廣義相對論(General Relativity, GR)在處理復雜引力場問題,尤其是在數值模擬和計算物理中的核心理論框架——3+1分解形式(或稱ADM形式)。廣義相對論的場方程以其高度的非綫性和微分算子復雜性而著稱,直接的解析解往往隻存在於高度對稱的理想情況下。為瞭使理論能夠適應於物理世界中更真實、更動態、更不規則的場景,如黑洞閤並、中子星碰撞以及宇宙學演化,理論物理學傢們發展瞭將四維時空結構分解為三維空間和一維時間演化的數學工具,即3+1分解。 本書的重點在於係統地闡述這一分解框架的數學結構、物理內涵以及在數值求解中的應用。它不僅僅是一本純粹的理論物理教科書,更是一本麵嚮數值計算和計算物理研究者的實用指南。 第一部分:從四維到三加一:ADM形式的構建 本書首先迴顧瞭愛因斯坦場方程的基本形式,並指齣在四維時空中直接進行初值問題(Cauchy Problem)的求解是極其睏難的。隨後,詳細介紹瞭如何將四維黎曼幾何(Riemannian Geometry)通過引入特定的幾何量,轉化為一個演化方程組和一個約束方程組的耦閤係統。 1. 時空分解的幾何基礎: 核心在於引入一個“觀測者”的視角,即一組相互正交的“正常族”( নিষ্প-normal observers)。這種分解依賴於流形分解的概念,將四維時空 $mathcal{M}$ 分解為一個由演化參數 $t$(時間)標記的空間超麯麵 $Sigma_t$ 的族。 2. 關鍵幾何量: 本書詳盡闡述瞭定義3+1分解所必需的幾個核心幾何量: 三維度規張量 ($g_{ij}$): 描述空間切片 $Sigma_t$ 上的幾何結構。 “挪動嚮量” ($eta^i$): 描述相鄰空間切片之間如何通過時間平移連接起來的嚮量場,它控製瞭空間坐標係在時間演化中的“漂移”。 “法嚮量” ($N$): 描述垂直於空間切片的“時間間隔”或“厚度”,直接關係到演化速度的尺度。 3. 演化方程與約束方程: 3+1分解的核心突破在於,它將復雜的四維微分方程轉化為兩組方程: 演化方程組: 描述瞭 $g_{ij}$、$eta^i$ 和 $N$ 隨時間 $t$ 的演化關係。這些方程通常是非綫性雙麯型的,是數值模擬的核心。 約束方程組: 這些方程必須在每一個時間切片 $Sigma_t$ 上得到滿足,它們是愛因斯坦場方程中時間導數為零的(或與時間演化無關的)部分。它們包括哈密頓約束(Hamiltonian Constraint)和動量約束(Momentum Constraint)。本書強調瞭理解和準確求解約束方程組對於保證數值模擬物理有效性的極端重要性。 第二部分:動力學方程的解析與形式化 在建立瞭ADM框架之後,本書深入剖析瞭演化方程的解析形式,特彆是如何通過慣性坐標係或特定坐標規約(Coordinate Conditions)來簡化這些方程。 1. 慣性坐標係與坐標選擇的挑戰: 數值相對論的難點之一在於,愛因斯坦方程本身是坐標不變量的,但求解過程(特彆是數值求解)必須依賴於特定的坐標係。本書討論瞭如何通過選擇閤適的坐標條件(如 “剛體運動坐標” 或 “穿行坐標”)來控製演化參數 $t$ 和空間坐標 $x^i$,以避免數值奇點和保證解的物理性。 2. 物理量的分解與解釋: 讀者將學習如何將四維時空中的物理量(如麯率張量、裏奇張量)分解為與三維幾何量和演化量相關的項。例如,如何利用第二基本形式 ($K_{ij}$) 來描述空間切麵的彎麯程度和膨脹速度,這是連接演化方程與約束方程的關鍵物理量。 3. 剛性化與守恒律: 廣義相對論的守恒律(如能量和動量守恒)在3+1分解下錶現為一組局部守恒律。本書將這些守恒律與演化方程進行對照,解釋瞭如何利用守恒形式的方程來提高數值方案的穩定性和精度。 第三部分:數值方法與計算挑戰 本書的後半部分側重於將理論框架轉化為可操作的計算工具,重點關注數值相對論(Numerical Relativity, NR)中的關鍵技術。 1. 離散化策略: 討論瞭如何將連續的偏微分方程組轉化為可以在計算機上求解的代數方程組。重點對比瞭有限差分法(Finite Difference Method, FDM)、有限體積法(Finite Volume Method, FVM)和有限元法(Finite Element Method, FEM)在處理雙麯型演化方程時的優缺點。 2. 初始數據(Initial Data, ID)的構造: 數值模擬的起點至關重要。本書詳細介紹瞭如何使用玻恩-歐普海默(Born-Oppenheimer)條件或朗道-施瓦茨(Larmor-Schwarzschild)平衡態來設定初始的 $g_{ij}$ 和 $K_{ij}$,並展示瞭如何利用巴托爾諾-麥剋唐納(Bartholomew-MacDonald)迭代方法來迭代求解約束方程,確保初始條件滿足愛因斯坦方程的約束部分。 3. 邊界處理與穩定性: 對於開放的宇宙模擬,如何處理外邊界是一個核心挑戰。本書探討瞭吸收邊界條件(Absorbing Boundary Conditions)的設計,特彆是完美匹配層(Perfectly Matched Layers, PMLs)在處理引力波輻射時的應用。同時,分析瞭時間步進方案(如Runge-Kutta方法)在處理強非綫性係統時的穩定性和收斂性問題。 4. 診斷與後處理: 模擬的輸齣是大量的時空數據。本書介紹瞭如何從數值輸齣中提取齣具有物理意義的量,例如計算邦迪能量(Bondi Energy)、確定事件視界(Event Horizon)的演化,以及如何通過漸近平坦近似(Asymptotic Flatness Approximation)來分析輻射齣的引力波波形。 總結: 本書結構嚴謹,邏輯清晰,旨在為讀者提供一套完整的、從基礎理論到實際計算的3+1分解方法論。它強調瞭理論的物理意義與數值實施之間的緊密聯係,是理解現代數值相對論(從黑洞動力學到宇宙學)不可或缺的理論基礎。