茶年 · 中文维基百科

时空代数

Wikipedia · 2024-02-08 维基百科 👁 1 阅读

数学物理中，时空代数（STA）指克利福德代数{\rm Cl}_{1,\ 3}(\mathbb{R})，或等价的几何代数{\rm G}(M^4)。据大卫·黑斯廷斯，时空代数与狭义相对论和相对论时空的几何关系尤为密切。

它是向量空间，不仅有向量还有二重向量（与特定平面相关的有向量，如面积或旋转）与刃（与特定超体积有关的量），以及转动、反射或洛伦兹递升。它也是狭义相对论中旋量的自然母代数。这些特性使得物理学中许多最重要的方程都能以特别简单的形式表达出来，且非常有助于从几何角度理解它们的含义。

结构
时空代数可由类时间向量\gamma_0与3个类空间向量\{\gamma_1, \gamma_2, \gamma_3\}的正交基建立，乘法规则为
: \gamma_\mu \gamma_\nu + \gamma_\nu \gamma_\mu = 2 \eta_{\mu \nu}
其中\eta_{\mu \nu}是闵可夫斯基度规，符号为(+\ -\ -)。
于是，\gamma_0^2 = {+1}、\gamma_1^2 = \gamma_2^2 = \gamma_3^2 = {-1}，否则\gamma_\mu \gamma_\nu = - \gamma_\nu \gamma_\mu。
基向量\gamma_k与狄拉克矩阵有相同的性质，但在STA中不需要使用明确的矩阵表示。

这样就生成了一套基，其中有1个标量\{1\}、4个向量\{\gamma_0, \gamma_1, \gamma_2, \gamma_3\}、6个二重向量\{\gamma_0\gamma_1, \, \gamma_0\gamma_2,\, \gamma_0\gamma_3, \, \gamma_1\gamma_2, \, \gamma_2\gamma_3, \, \gamma_3\gamma_1\}、4个伪向量\{i\gamma_0, i\gamma_1, i\gamma_2, i\gamma_3\}、1个赝标量\{i\}，其中i=\gamma_0 \gamma_1 \gamma_2 \gamma_3。

时空代数还包含非平凡子代数，只包含偶次元素，即标量、二重向量与赝标量。偶子代数中，标量与赝标量都与所有元素交换，作用类似于复数。赝标量与所有奇次元素反交换，这对应于奇偶变换下向量与伪向量变负的事实。

互易框架
与正交基\{\gamma_\mu\}相关联的互易基\{\gamma^\mu = {\gamma_\mu}^{-1}\}对
\mu = 0, \dots, 3，满足关系
:\gamma_\mu \cdot \gamma^\nu = {\delta_\mu}^\nu .
这些互易框架向量只有一个符号不同：对于k = 1, \dots, 3，\gamma^0 = \gamma_0、\gamma^k = -\gamma_k。

向量可用爱因斯坦求和约定，以上索引坐标或下索引坐标表示为a = a^\mu \gamma_\mu = a_\mu \gamma^\mu，在\mu = 0, \dots, 3上求和，坐标可以通过与基向量或其对易取点积提取。
:\begin{align}a \cdot \gamma^\nu &= a^\nu \\ a \cdot \gamma_\nu &= a_\nu .\end{align}

如向量微积分一样，可通过度量与指标实现索引位置的改变：
:\begin{align}\gamma_\mu &= \eta_{\mu\nu} \gamma^\nu \\ \gamma^\mu &= \eta^{\mu\nu} \gamma_\nu .\end{align}

多向量除法
时空代数不是可除代数，因为其中有幂等元\tfrac{1}{2}(1 \pm \gamma_0\gamma_i)与非零零因子：(1 + \gamma_0\gamma_i)(1 - \gamma_0\gamma_i) = 0。这些可以分别解释为光锥上的投影与投影的正交关系，但有时可用多向量除以多向量解释：例如，用同一平面内的向量除以有向面积，就得到了与第一个向量正交的另一个向量。

时空梯度
时空梯度与欧氏空间中的梯度类似，定义要满足方向导数关系：

:a \cdot \nabla F(x)= \lim_{\tau \rightarrow 0} \frac{F(x + a\tau) - F(x)}{\tau} .

这就要求梯度的定义是
: \nabla = \gamma^\mu \frac{\partial}{\partial x^\mu} = \gamma^\mu \partial_\mu .

明确写出x = ct \gamma_0 + x^k \gamma_k时，这些偏微分是
: \partial_0 = \frac{1}{c} \frac{\partial}{\partial t}, \quad \partial_k = \frac{\partial}{\partial {x^k}}

时空分离
时空代数中，时空分离（spacetime split）是4维空间向(3+1)维空间的投影，通过以下两种操作在选定参照系中进行：

  • 所选时间轴的坍缩，产生二重向量张成的3D空间，相当于物理空间代数中标准3D基向量；
  • 4D空间到所选时间轴上的投影，产生表示标量时间的1D标量空间。

这是通过类时间基向量\gamma_0的左乘或右乘实现的，在与\gamma_0共动的参照系中，这会将4个向量分解为标量类时间成分与二重向量类空间成分。令x = x^\mu \gamma_\mu有
:
\begin{align}
x \gamma_0 &= x^0 + x^k \gamma_k \gamma_0 \\ \gamma_0 x &= x^0 - x^k \gamma_k \gamma_0 \end{align}

由于这些二重向量的平方\gamma_k \gamma_0为一，因此可构成空间基。可以利用泡利矩阵写成\sigma_k = \gamma_k \gamma_0。STA中的空间向量用黑体表示，则在\mathbf{x} = x^k \sigma_k,\ x^0 = c t的情形下，\gamma_0-时空分离x \gamma_0及其逆\gamma_0 x是：
:\begin{align}
x \gamma_0 &= x^0 + x^k \sigma_k = ct + \mathbf{x} \\
\gamma_0 x &= x^0 - x^k \sigma_k = ct - \mathbf{x}
\end{align}

上述公式只适用于符号为(+ - - -)的闵氏度规。时空分离的形式，无论符号都必须使用交替定义：\sigma_k = \gamma_k \gamma^0、\sigma^k = \gamma_0 \gamma^k

洛伦兹变换
在几何代数中旋转向量v，要用下列公式：
:v' = e^{-\beta \frac{\theta}{2}} \ v \ e^{\beta \frac{\theta}{2}},
其中\theta是旋转角，\beta我代表旋转面的正则化二重向量，使得\beta\tilde{\beta}=1。

对给定的类空间二重向量有\beta^2 = -1，于是可用欧拉公式，给出旋转
:v' = \left(\cos\left(\frac{\theta}{2}\right) - \beta \sin\left(\frac{\theta}{2}\right)\right) \ v \ \left(\cos\left(\frac{\theta}{2}\right) + \beta \sin\left(\frac{\theta}{2}\right)\right).

对给定的类时间二重向量有\beta^2 = 1，于是“经由时间的旋转”使用的是类似双曲复数的方程：
:v' = \left(\cosh\left(\frac{\theta}{2}\right) - \beta \sinh\left(\frac{\theta}{2}\right)\right) \ v \ \left(\cosh\left(\frac{\theta}{2}\right) + \beta \sinh\left(\frac{\theta}{2}\right)\right).
解方程很容易发现，沿时间的旋转都是双曲旋转，相当于狭义相对论中的洛伦兹递升。

这两种变换都叫做洛伦兹变换，所有变换的集合组成洛伦兹群。要将STA中的一个物体从基（对应一个参照系）变换到另一个基，必须使用其中的变换。

经典电磁学
法拉第二重向量
STA中，电场与磁场可统一为单一的二重向量场，叫做法拉第二重向量，等价于电磁张量，定义为
:F = \vec{E} + I c \vec{B} ,
其中E、B是通常的电场与磁场，I是STA伪标量。或者，将F按成分展开，F的定义为
:F = E^i \sigma_i + I c B^i \sigma_i = E^1 \gamma_1 \gamma_0 + E^2 \gamma_2 \gamma_0 + E^3 \gamma_3 \gamma_0 - c B^1 \gamma_2 \gamma_3 - c B^2 \gamma_3 \gamma_1 - c B^3 \gamma_1 \gamma_2 .

用以下方法，可从F中恢复出独立的\vec E,\ \vec B：
:\begin{align}
E = \frac{1}{2}\left(F - \gamma_0 F \gamma_0\right), \\
I c B = \frac{1}{2}\left(F + \gamma_0 F \gamma_0\right) .
\end{align}
其中，\gamma_0项代表给定的参照系，因此使用不同的参照系会产生明显不同的相对场，与标准狭义相对论中的情形完全相同。

由于法拉第二重向量是相对论不变的，因此可在其平方中找到更多信息，得到两个新的洛伦兹不变量，一个是标量，一个是伪标量：
:F^2 = E^2 - c^2 B^2 + 2 I c \vec{E} \cdot \vec{B} .
标量部分对应电磁场的拉格朗日密度，伪标量部分则是较少见的洛伦兹不变量。

麦克斯韦方程
麦克斯韦方程组可用时空代数表述，比标准向量分析的形式更简单。与上述场二重向量类似，电荷密度与电流密度可统一为三个时空向量，等价于1个四维矢量。于是，时空电流\vec J为
:\vec{J} = c \rho \gamma_0 + J^i \gamma_i ,
其中，成分J^i是经典3维电流密度的分量。这样组合这些量时，就能十分清楚地看到，经典电荷密度不过是沿\gamma_0的时间方向移动的电流。

将电磁场与电流密度与上述时空梯度组合起来，就可以将麦克斯韦方程组合并为时空代数中的1个方程。

这些量都是时空代数中的协变对象，这自动保证了方程的洛伦兹协变性，比分成4个独立方程更容易证明。

这种形式下很容易证明麦克斯韦方程的某些性质，如电荷守恒定律。对任何二重向量场，时空梯度的散度都是0。这样可以进行如下操作：
:\begin{align}
\nabla \cdot \left[\nabla F\right] &= \nabla \cdot \left[\mu_0 c J\right] \\
0 &= \nabla \cdot J .
\end{align}
这方程是说，电流密度的散度为零，即随时间推移，总电荷与电流密度守恒。

右式作为向量与二重向量之积，可能有伪向量部分，描述的是磁单极子。但实验表明这一项不存在，使得方程有些不对称。

洛伦兹力
带电粒子所受洛伦兹力也可用时空代数大大简化：

势公式
在标准向量分析公式中，有两个势函数：电势（标量）与磁矢势（向量）。可以用STA的工具，把它们组合为单一向量场A，类似于向量分析中的电磁四维势。STA中，定义为
:A = \frac{\phi}{c} \gamma_0 + A^k \gamma_k
其中\phi是标量势，A^k是磁势分量。根据定义，场的SI单位是韦伯/米（\rm V\cdot s\cdot m^{-1}）。

电磁场也可以用这个势场表示：
:\frac{1}{c} F = \nabla \wedge A .
这定义不唯一。对任意2次可微标量函数\Lambda(\vec x)，势为
:A' = A + \nabla \Lambda
也会得到原来的F，这是因为
:
\nabla \wedge \left(A + \nabla \Lambda\right)
= \nabla \wedge A + \nabla \wedge \nabla \Lambda
= \nabla \wedge A .

这种现象叫做规范自由（gauge freedom）。选定合适函数\Lambda使给定问题变得最简单的过程称作规范固定。但在相对论电动力学中，常要求洛伦兹条件，其中\nabla \cdot \vec{A} = 0。

为用势A重新表述STA麦克斯韦方程，首先用上述定义替换F。
:\begin{align}
\frac{1}{c} \nabla F &= \nabla \left(\nabla \wedge A\right) \\
&= \nabla \cdot \left(\nabla \wedge A\right) + \nabla \wedge \left(\nabla \wedge A\right) \\
&= \nabla^2 A + \left(\nabla \wedge \nabla\right) A = \nabla^2 A + 0\\
&= \nabla^2 A
\end{align}
把结果代入，就得到STA中电磁势的表述：

拉格朗日公式
与张量微积分相似，STA中的势公式会自然引出适当的拉格朗日密度。

{{Equation box 1
|indent=:
|title=电磁拉格朗日密度：
|equation= \mathcal L = \frac{1}{2} \epsilon_0 F^2 - J \cdot A
|cellpadding
|border
|border colour = #50C878
|background colour = #ECFCF4}}

可以推导出场的多向量值欧拉-拉格朗日方程。由于数学上对非标量进行偏导数计算的严谨性，相关方程变为
:\nabla \frac{\partial \mathcal L}{\partial \left(\nabla A\right)} - \frac{\partial \mathcal L}{\partial A} = 0.

要从这种形式重新推导势方程，最简单的方法是在洛伦兹规范（Lorenz gauge）下工作，置
:\nabla \cdot A = 0.
无论选择哪种规范，都可以完成这过程，但这样可以使结果更清晰。由于几何积的结构，使用这条件的结果是\nabla \wedge A = \nabla A。

代入F = c \nabla A，很容易得到与上述势场A相同的运动方程。

泡利方程
时空代数允许用实数论代替矩阵论，描述泡利粒子。先看矩阵论描述：
:i \hbar \, \partial_t \Psi = H_S \Psi - \frac{e \hbar}{2mc} \, \hat\sigma \cdot \mathbf{B} \Psi ,
其中\Psi是旋量，i是没有几何解释的虚数单位，\hat\sigma_i是泡利矩阵（“帽”表示\hat\sigma是矩阵算子，不是几何代数的元素），H_S是薛定谔哈密顿量。时空代数中，泡利粒子可用实泡利-薛定谔方程描述：
:\hat \gamma^\mu (\mathbf{j} \partial_\mu - e \mathbf{A}_\mu) |\psi\rangle = m |\psi\rangle ,
其中\hat\gamma是狄拉克矩阵。按黑斯廷斯的推导，时空代数中狄拉克粒子由下列方程描述：
: \psi = R (\rho e^{i \beta})^\frac{1}{2} ,
据黑斯廷斯的推导，其中 \psi = \psi(x)是时空上的偶多向量值函数，R = R(x)是幺模旋量（或“旋子”，rotor）， \rho = \rho(x),\ \beta = \beta(x)是标量值函数。R被视作洛伦兹转动，通过运算e_\mu = R \gamma_\mu \tilde{R}，将向量系\gamma_\mu转换为向量系e_\mu，

广义相对论
广义相对论的新表述
剑桥大学的Lasenby、Doran、Gull提出了一种新的引力表述，称作规范理论引力（GTG），其中时空代数用于在闵氏空间上诱导曲率，同时在“任意平滑地将事件重映射到时空”（Lasenby等人）的情形下允许规范对称；再由非平凡推导，得到测地线方程
: \frac{d}{d \tau} R = \frac{1}{2} (\Omega - \omega) R
及协变导数
: D_\tau = \partial_\tau + \frac{1}{2} \omega ,
其中\omega是与引力势相关的连接，\Omega是外部相互作用，如电磁场。

该理论在黑洞方面显示出一定前景，其史瓦西解形式不会在奇点崩溃；广义相对论的大多数结果都已在数学上重现，经典电磁学的相对论表述已经推广到量子力学与狄拉克方程。

另见

  • 几何代数
  • 狄拉克代数
  • 麦克斯韦方程组
  • 狄拉克方程
  • 广义相对论

参考文献
*
*
*
*
*
*
*

外部链接

#数学物理 #闵可夫斯基时空 #克利福德代数 #几何代数

评论 (0)

  • 还没有评论，来抢沙发吧。