广义相对论-学习记录1-第一章-历史回顾

第一章：历史回顾

  广义相对论（General Relativity, GR），是一种用于描述引力的理论（引力理论），其数学基础为黎曼几何，但广义相对论并不等价于黎曼几何

  爱因斯坦的广义相对论有三个前提，分别是：
  1、非欧几何
  2、牛顿引力
  3、相对性原理

  以上三个前提都是广义相对论的基础，在广义相对论中具有不可或缺的地位

1、非欧几何

欧氏几何： 欧几里得几何，是公理化体系。公理化体系是从逻辑推理所推导出的体系（换个词来说：假设）

欧氏几何的五条假设（特别简单且无需证明）：
  1、任意两点之间可以连成一条直线
  2、任何一个线段都可以无限延长变成一条直线
  3、给定一个线段和一个固定点，则总是可以以点为圆心，线段为半径作一个圆
  4、所有的直角都相等
  5、如果两条直线与第三条直线相交，且相交的两个内角加起来小于180${}^{\circ }$，则两条直线必然相交（等价于三角形内角和=180${}^{\circ }$），如下图所示（第五条假设曾经被认为是多余的，但仍然是必不可少的）：

第五公设问题

  早期，数学家高斯完全建立了一套新的几何体系，在这个几何体系中，第五条公设不成立，属于非欧几何

  Gauss，Boylay，Lobachski建立了一个典型的非欧几何体系，名为“二维负常曲率空间”（马鞍面）。在此体系中，第五条公设不成立，而前四条则成立（在马鞍面上画一个三角形，其内角和小于180${}^{\circ }$）。此外，球面名为"二维正常曲率空间"，在球面上画一个三角形，其内角和大于$180^{\circ }$

  球面几何或马鞍面几何都属于非欧几何。判断一个几何是否属于欧氏几何，只需在面上画一个三角形，判断其内角和是否为$180^{\circ }$即可

  以上是二维的非欧几何

解析几何

  笛卡尔发展解析几何

  二维空间中两点间的距离$(x_1,x_2)，(y_1,y_2)\to d(x,y)=[(x_1-y_1)+(x_2-y_2){]}^2$

  由此定义可以推导出欧氏几何的所有公理，该定义给出的几何就是欧氏几何

在非欧空间中，也可以定义两点距离。例如，“二维负常曲率空间”，可以定义为：每个点用实数对$(x_1,x_2)$，且要求$x_1^2+x_2^2<1$，两点$(x_1,x_2),(y_1,y_2)$间距离为：

$$\cosh \left[\frac{d(x,y)}{a}\right]\equiv \frac{1-x_1{y}_1-x_2{y}_2}{[(1-x_1^2-x_2^2)(1-y_1^2-y_2^2){]}^{1/2}}$$

  其中，$a$为用于建立几何标度的基本长度

  根据该定义发展出来的几何就是非欧几何

非欧几何的建立（高斯）：

  任一二维曲面具有的性质：
  1、内在性质：曲面上的蚂蚁
  2、外在性质：把曲面镶嵌在高维空间中，十一个约束条件

  高斯认为：
  1、前者更根本
  2、任一曲面上的几何，完全由两点间距距离的定义$d(x,y)$来决定
  3、理论上，两点间距离可以任意定义

  Gauss的更重要的贡献：找到一类特殊的度规空间，这个度规空间：
  1、足够宽泛，宽泛到足以描述日常中所有的二维曲面
  2、足够狭窄，狭窄到可以发展出符合逻辑的几何学

  高斯假设：在空间中任一足够小的区域内，能找到一个坐标系$({\xi }_1,{\xi }_2)$，使得相邻两点$({\xi }_1,{\xi }_2)$和$({\xi }_1+d{\xi }_1,{\xi }_2+d{\xi }_2)$间距离满足关系：$d{s}^2=d{\xi }_1^2+d{\xi }_2^2$（笛卡尔坐标，是局域欧氏的）

  欧氏几何：$({\xi }_1,{\xi }_2)$足以描述整个空间
  非欧几何：$({\xi }_1,{\xi }_2)$不足以描述整个空间，而且一般$({\xi }_1,{\xi }_2)$只能描述一点的邻域

  以球面为例，$(x,y)$不能描述整个球面，但一般总能找到另外一个坐标系来描述整个曲面$(x_1,x_2)$

  在新坐标系下，两点间距离$(x_1,x_2)$，$(x_1+d{x}_1,x_2+d{x}_2)$怎样定义？

  在一般的坐标系下，$d{s}^2=d{\xi }_1^2+d{\xi }_2^2$，现在要变换坐标系$({\xi }_1,{\xi }_2)\to (x_1,x_2)$：

$$d{s}^2=d{\xi }_1^2+d{\xi }_2^2=g_{11}d{x}_1^2+2g_{12}d{x}_{1}d{x}_2+g_{22}d{x}_2^2$$ (1)

  其中：

$$g_{11}={\left(\frac{\partial {\xi }_1}{\partial x_1}\right)}^2+{\left(\frac{\partial {\xi }_2}{\partial x_1}\right)}^2$$

$$g_{12}=\frac{\partial {\xi }_1}{\partial x_1}\frac{\partial {\xi }_1}{\partial x_2}+\frac{\partial {\xi }_2}{\partial x_1}\frac{\partial {\xi }_2}{\partial x_2}$$

$$g_{22}={\left(\frac{\partial {\xi }_1}{\partial x_2}\right)}^2+{\left(\frac{\partial {\xi }_2}{\partial x_2}\right)}^2$$

---

作业1：证明上述等式(1)

---

$$d{s}^2=g_{11}d{x}_1^2+2g_{12}d{x}_{1}d{x}_2+g_{22}d{x}_2^2$$

  $g_{ij}$即度规张量

  说明：

  1、度规$g_{ij}$与坐标系的选择有关

  举例：欧氏空间中，$(x_1,x_2)\to d{s}^2=d{x}_1^2+d{x}_2^2\to g_{11}=g_{22}=1,g_{12}=g_{21}=0$

  极坐标中，$(r,\theta )\to d{s}^2=d{r}^2+r^{2}d{\theta }^2\to g_{11}=1,g_{22}=r^2,g_{12}=g_{21}=0$

  描述一个曲面，一般有无数种坐标系（坐标的定义很随意，没有任何限制），因此度规有无数个，从度规无法判断一个曲面是非欧的还是欧氏的（是不是只有能够表示为$g_{11}=g_{22}=1,g_{12}=g_{21}=0$这样的度规，才能叫做欧氏曲面？）

  2、Gauss希望找到一个量，它足以描述曲面的性质，但又不依赖于坐标系的定义，此即高斯曲率（唯一的）：

$$\begin{array}{rl}K=& \frac{1}{2g}\left[2\frac{{\partial }^2{g}_{12}}{\partial x_1\partial x_2}-\frac{{\partial }^2{g}_{11}}{\partial x_2^2}-\frac{{\partial }^2{g}_{22}}{\partial x_1^2}\right]\\ & -\frac{g_{22}}{4g^2}\left[\left(\frac{\partial g_{11}}{\partial x_1}\right)\left(2\frac{\partial g_{12}}{\partial x_2}-\frac{\partial g_{22}}{\partial x_1}\right)-{\left(\frac{\partial g_{11}}{\partial x_2}\right)}^2\right]\\ & +\frac{g_{12}}{4g^2}[\left(\frac{\partial g_{11}}{\partial x_1}\right)\left(\frac{\partial g_{22}}{\partial x_2}\right)-2\left(\frac{\partial g_{11}}{\partial x_2}\right)\left(\frac{\partial g_{22}}{\partial x_1}\right)+\\ & \left(2\frac{\partial g_{12}}{\partial x_1}-\frac{\partial g_{11}}{\partial x_2}\right)\left(2\frac{\partial g_{12}}{\partial x_2}-\frac{\partial g_{22}}{\partial x_1}\right)]\\ & -\frac{g_{11}}{4g^2}\left[\left(\frac{\partial g_{22}}{\partial x_2}\right)\left(2\frac{\partial g_{12}}{\partial x_1}-\frac{\partial g_{11}}{\partial x_2}\right)-{\left(\frac{\partial g_{22}}{\partial x_1}\right)}^2\right]\end{array}$$

  其中，$g=|g_{ij}|=g_{11}{g}_{22}-g_{12}^2$是度规矩阵的行列式

---

作业2：对于球面$d{s}^2=a^2(d{\theta }^2+{\sin }^2\theta d{\phi }^2)$，计算$K=?$（其中，$a$为球半径）

---

  球面的$K=\frac{1}{a^2}$，是二维正常曲率空间。而马鞍面的$K=-\frac{1}{a^2}$，是二维负常曲率空间。对于欧氏空间，$K=0$

  黎曼将这一套发展到了高维——黎曼几何

2、牛顿力学

  万有引力：$F=G\frac{Mm}{r^2}$
  1、隐含着等效原理
  2、隐含着平方反比率

以上内容记录于2021-9-14

  惯性质量$m_i$：$\overrightarrow{F}=m_i\overrightarrow{a}$

  引力质量$m_g$：$\overrightarrow{F}=G\frac{M_g{m}_g}{r^2}\hat{r}=m_g\overrightarrow{g_i}$

  以上两者的意义完全不同

  几千年来，人们不断地通过做实验的方式，来判断不同材质、质量、大小、温度的物体的$\overrightarrow{a}=\left(\frac{m_g}{m_i}\right)\overrightarrow{g}$是否一致。其结果为，当前的实验在极高的精度下证明这个值是一致的

  在发现了水星近日点的进动后，开始认为平方反比率有问题，后来这一现象被广义相对论解释

  牛顿引力非协变，不满足洛伦兹变换，因此爱因斯坦放弃了牛顿力学

3、相对性原理

惯性系

  在涉及加速度的变换的情况下，原有的质点运动方程会发生改变。例如，在多质点动力学系统中，质点的运动方程为：

$$m_N\frac{d^2{x}_N}{d{t}^2}=G\sum _M\frac{m_N{m}_M({\overrightarrow{x}}_M-{\overrightarrow{x}}_N)}{|{\overrightarrow{x}}_M-{\overrightarrow{x}}_N{|}^3}$$

  现在对这个系统进行如下的坐标变换：

$$\{\begin{array}{rl}{\overrightarrow{x}}^{\prime }& =R\overrightarrow{x}+\overrightarrow{v}t+\overrightarrow{d}\\ t^{\prime }& =t+\tau \end{array}$$

  将变换后的坐标代入到原有的运动方程中后，方程的形式并不会发生变化（而有些变换则会使质点运动方程发生改变），对于这样的参考系，牛顿称之为惯性系

惯性力

  牛顿在研究运动时使用了“绝对空间”这一概念，认为惯性力是只有相对于绝对空间加速才会产生的；而马赫则认为所有的运动都是相对的，惯性力来自相对于全宇宙物质的加速

  一开始，爱因斯坦认为自己的广义相对论满足马赫提出的原理。但后人的深入研究却表明，广义相对论并非与马赫原理一致

  狭义相对论中，伽利略变换变成了洛伦兹变换，这仍然没有摆脱惯性系。而在广义相对论中，则是彻底摆脱了惯性系。在此理论中，物理定律在所有参考系中都成立，物理方程在所有参考系中保持不变

4、广义相对论（GR）的应用领域

  GR应用的领域非常有限。但在宇宙学中，GR效应非常强，以至于无法使用牛顿引力去研究

  牛顿理论对球对称的物体引起的引力场给出的公式为：

$$F=G\frac{Mm}{r^2}$$

  GR与牛顿力学的差别仅有一个$O(R_g/R)$的量级。其中$R$为球半径，$R_g$为引力半径，定义为：

$$R_g\equiv \frac{2Gm}{c^2}$$

  无论是地球还是太阳，引力半径与球半径的比值都非常地小，以至于这一项可以被忽略不计。但对于致密天体而言，这个项将会达到不可忽略的地步，这便是GR的应用领域之一

---

作业：地球质量为$m=5.977\times 10^{24}$，太阳质量为$m=1.989\times 10^{30}$，求他们的引力半径

---

自然单位制

  为了方便后续讨论，将会采取$\hslash =c=k_B=1$的记法（Planck常数，光速和玻尔兹曼常数），这种记法的主要作用是简化记号。在落实到具体数值时，需要通过量纲分析补上相应的常数

  在简化记号后，有如下的量纲关系：
  1、速度无量纲
  2、$[L]=[T]$
  3、$[E]=[frequency]=[L{]}^{-1}=[T{]}^{-1}$
  4、$[E]=[M]=[Temperature]$

以上内容记录于2021-9-17

---

本章参考：Weinberg，Gravitation and Cosmology：Principles and Applications of the General Theory of Relativity