纽曼-彭罗斯( NP )形式体系 是由Ezra T. Newman和Roger Penrose为广义相对论(GR) 发展出的一套记号体系。他们的记号体系试图用旋量记号来处理广义相对论，从而引入了广义相对论中通常使用的变量的复数形式。 NP 形式体系本身是四元组形式体系的一个特例， 在该体系中，理论中的张量被投影到时空每个点的完备矢量基上。通常选择这个矢量基来反映时空的某种对称性，从而简化物理可观测量的表达。对于 NP 形式体系，所选择的矢量基是零四元组：一组四个零矢量——两个实数，一个复共轭对。两个实数成员通常渐近地指向径向内侧和径向外侧，并且该形式体系非常适合处理弯曲时空中的辐射传播。通常使用由韦尔张量导出的韦尔标量。具体来说，可以证明其中一个标量—— \Psi_4在适当的框架中——编码渐近平坦系统向外的引力辐射。
纽曼和彭罗斯利用这个四元组引入了以下函数作为基本量： 。
零四分体和符号约定
该形式体系是针对四维时空开发的，具有洛伦兹号型度规。在每个点上，引入一个四元组（四个矢量的集合）。前两个矢量\ell^\mu和n^\mu只是一对标准（实）零矢量， \ell^a n_a = -1 。例如，我们可以用球坐标来思考，并取\ell^a为传出的零矢量，并且n^a成为进入的零矢量。然后通过组合一对实数、正交的单位空间矢量构造一个复数零矢量。对于球坐标，标准选择是m^\mu = \frac{1}{\sqrt{2}}\left( \hat{\theta} + i \hat{\phi} \right)^\mu\ .该矢量的复共轭就构成了四元组的第四个元素。
NP 形式化使用了两组签名和规范化约定： \{(+,-,-,-); \ell^a n_a=1\,,m^a \bar{m}_a=-1\}和\{(-,+,+,+); \ell^a n_a=-1\,,m^a \bar{m}_a=1\} 。前者是 NP 形式体系发展过程 in black-hole physics, gravitational waves and various other areas in general relativity. However, it is the latter convention that is usually employed in contemporary study of black holes from quasilocal perspectives (such as isolated horizons and dynamical horizons). In this article, we will utilize \{(-,+,+,+); \ell^a n_a=-1\,,m^a \bar{m}_a=1\} for a systematic review of the NP formalism (see also refs.）。
需要注意的是，当从\{(+,-,-,-)\,,\ell^a n_a=1\,,m^a \bar{m}_a=-1\}到\{(-,+,+,+)\,,\ell^a n_a=-1\,,m^a \bar{m}_a=1\} 、自旋系数的定义、Weyl-NP 标量\Psi_{i}和 Ricci-NP 标量\Phi_{ij}需要改变它们的符号；这样，爱因斯坦-麦克斯韦方程就可以保持不变。
在 NP 形式中，复数零四元组包含两个实数零（余）矢量\{\ell\,,n\}以及两个复数零（余）矢量\{m\,, \bar m\} 。作为零（余）矢量，自归一化\{\ell\,,n\}自然消失，
\ell_a \ell^a = n_a n^a = m_a m^a = \bar{m}_a \bar{m}^a = 0,
因此采用以下两对交叉规范化
\ell_a n^a = -1 = \ell^a n_a\,,\quad m_a \bar{m}^a = 1 = m^a \bar{m}_a\,,
而两对之间的收缩也正在消失，
\ell_a m^a = \ell_a \bar{m}^a = n_a m^a = n_a \bar{m}^a = 0 .
这里的指数可以通过全球指标来提高或降低g_{ab}可以通过以下方式获得
\begin{align}
g_{ab} &= -\ell_a n_b - n_a \ell_b + m_a \bar{m}_b + \bar{m}_a m_b\,, \\[1ex]
g^{ab} &= -\ell^a n^b - n^a \ell^b + m^a \bar{m}^b + \bar{m}^a m^b\,.
\end{align}
NP 量和四元组方程
四个协变导数算子
为了与形式体系对对象的每个组成部分使用不同的未索引符号的实践保持一致，协变导数运算符\nabla_a使用四个独立的符号来表示（ D, \Delta, \delta, \bar{\delta} ) 为每个四元组方向命名一个方向协变导数算子。给定四元组矢量的线性组合， X^a = \mathrm{a}\ell^a + \mathrm{b}n^a + \mathrm{c}m^a + \mathrm{d}\bar{m}^a ，协变导数算子X^a方向是\nabla_X = X^a\nabla_a = (\mathrm{a}D+\mathrm{b}\Delta+\mathrm{c}\delta+\mathrm{d}\bar{\delta}) 。
\begin{align}
D &:= \nabla_\boldsymbol{\ell} = \ell^a \nabla_a \,,&
\Delta &:= \nabla_\boldsymbol{n} = n^a \nabla_a \,, \\[1ex]
\delta &:= \nabla_\boldsymbol{m} = m^a \nabla_a \,,&
\bar{\delta} &:= \nabla_\boldsymbol{\bar{m}} = \bar{m}^a \nabla_a\,,
\end{align}
简化为D = \ell^a\partial_a\,, \Delta=n^a\partial_a\,,\delta=m^a\partial_a\,,\bar{\delta}=\bar{m}^a\partial_a 当作用于标量函数时。
十二个旋转系数
在 NP 形式中，每个Ricci 旋转系数\gamma_{ijk}在零四元组中分配了一个小写的希腊字母，它们构成了 12 个复杂的自旋系数（分为三组），
\begin{align}
\kappa &:= -m^a D \ell_a = -m^a \ell^b \nabla_b \ell_a\,, &
\tau &:= -m^a \Delta \ell_a = -m^a n^b \nabla_b \ell_a\,, \\[1ex]
\sigma &:= -m^a \delta \ell_a = -m^a m^b \nabla_b \ell_a\,, &
\rho &:= -m^a \bar{\delta} \ell_a = -m^a \bar{m}^b \nabla_b \ell_a\,; \\[1ex]
\pi &:= \bar{m}^a D n_a = \bar{m}^a \ell^b \nabla_b n_a\,, &
\nu &:= \bar{m}^a \Delta n_a = \bar{m}^a n^b \nabla_b n_a\,, \\[1ex]
\mu &:= \bar{m}^a \delta n_a = \bar{m}^a m^b \nabla_b n_a\,, &
\lambda &:= \bar{m}^a \bar{\delta} n_a = \bar{m}^a \bar{m}^b \nabla_b n_a\,;
\end{align}
\begin{align}
\varepsilon &:= -\tfrac{1}{2} \left(n^a D \ell_a - \bar{m}^a D m_a \right) = -\tfrac{1}{2} \left(n^a \ell^b \nabla_b \ell_a - \bar{m}^a \ell^b \nabla_b m_a \right)\,, \\[1ex]
\gamma &:= -\tfrac{1}{2} \left(n^a \Delta \ell_a - \bar{m}^a \Delta m_a \right) = -\tfrac{1}{2} \left(n^a n^b \nabla_b \ell_a - \bar{m}^a n^b \nabla_b m_a \right)\,, \\[1ex]
\beta &:= -\tfrac{1}{2} \left(n^a \delta \ell_a - \bar{m}^a \delta m_a \right) = -\tfrac{1}{2} \left(n^a m^b \nabla_b \ell_a - \bar{m}^a m^b \nabla_b m_a \right)\,, \\[1ex]
\alpha &:= -\tfrac{1}{2} \left(n^a \bar{\delta} \ell_a - \bar{m}^a \bar{\delta} m_a \right) = -\tfrac{1}{2} \left(n^a \bar{m}^b \nabla_b \ell_a - \bar{m}^a \bar{m}^b \nabla_b m_a \right)\,.
\end{align}
自旋系数是 NP 形式中的主要量，所有其他 NP 量（如下所定义）都可以利用 NP 场方程间接计算。因此，NP 形式有时也称为自旋系数形式。
运输方程：四元组矢量的协变导数
四元组矢量的十六个方向协变导数有时被称为传输/传播方程，可能是因为当四元组矢量沿导数算子方向平行传播或传输时，导数为零。
O'Donnell 给出了以这种精确符号表示的结果： \begin{align}
D \ell^a &= \left(\varepsilon + \bar{\varepsilon}\right) \ell^a - \bar{\kappa} m^a - \kappa \bar{m}^a\,, \\[1ex]
\Delta \ell^a &= \left(\gamma + \bar{\gamma}\right) \ell^a - \bar{\tau} m^a - \tau \bar{m}^a\,, \\[1ex]
\delta \ell^a &= \left(\bar{\alpha} + \beta\right) \ell^a - \bar{\rho} m^a - \sigma \bar{m}^a\,, \\[1ex]
\bar{\delta} \ell^a &= \left(\alpha + \bar{\beta}\right) \ell^a - \bar{\sigma} m^a - \rho \bar{m}^a\,;
\end{align}\begin{align}
D n^a &= \pi m^a + \bar{\pi} \bar{m}^a - \left(\varepsilon + \bar{\varepsilon}\right) n^a\,, \\[1ex]
\Delta n^a &= \nu m^a + \bar{\nu} \bar{m}^a - \left(\gamma + \bar{\gamma}\right) n^a\,, \\[1ex]
\delta n^a &= \mu m^a + \bar{\lambda} \bar{m}^a - \left(\bar{\alpha} + \beta\right) n^a\,, \\[1ex]
\bar{\delta} n^a &= \lambda m^a + \bar{\mu} \bar{m}^a - \left(\alpha + \bar{\beta}\right) n^a\,;
\end{align}\begin{align}
D m^a &= \left(\varepsilon - \bar{\varepsilon}\right) m^a + \bar{\pi} \ell^a - \kappa n^a\,, \\[1ex]
\Delta m^a &= \left(\gamma - \bar{\gamma}\right) m^a + \bar{\nu} \ell^a - \tau n^a\,, \\[1ex]
\delta m^a &= \left(\beta - \bar{\alpha}\right) m^a + \bar{\lambda} \ell^a - \sigma n^a\,, \\[1ex]
\bar{\delta} m^a &= \left(\alpha - \bar{\beta}\right) m^a + \bar{\mu} \ell^a - \rho n^a\,;
\end{align}\begin{align}
D \bar{m}^a &= \left(\bar{\varepsilon} - \varepsilon\right) \bar{m}^a + \pi \ell^a - \bar{\kappa} n^a\,, \\[1ex]
\Delta \bar{m}^a &= \left(\bar{\gamma} - \gamma\right) \bar{m}^a + \nu \ell^a - \bar{\tau} n^a\,, \\[1ex]
\delta \bar{m}^a &= \left(\bar{\alpha} - \beta\right) \bar{m}^a + \mu \ell^a - \bar{\rho} n^a\,, \\[1ex]
\bar{\delta} \bar{m}^a &= \left(\bar{\beta} - \alpha\right) \bar{m}^a + \lambda \ell^a - \bar{\sigma} n^a\,.
\end{align}
从Dℓ a和 Δ n a解释κ 、 ε 、 ν 、 γ
实零四元组矢量在其自身方向上的协变导数的两个方程表明该矢量是否与测地线相切，如果是，则表明测地线是否具有仿射参数。
零切矢量T^a如果T^b \nabla_b T^a = 0 ，也就是说，如果矢量沿其自身方向平行传播或传输，则矢量不会发生变化。
D \ell^a=(\varepsilon+\bar{\varepsilon})\ell^a-\bar{\kappa}m^a-\kappa\bar{m}^a表明\ell^a与测地线相切当且仅当\kappa=0并且与仿射参数化测地线相切，如果另外(\varepsilon+\bar{\varepsilon})=0
。相似地， \Delta n^a=\nu m^a+\bar{\nu}\bar{m}^a-(\gamma+\bar{\gamma})n^a表明n^a是测地线当且仅当\nu=0 ，并且具有仿射参数化(\gamma+\bar{\gamma})=0 。
（复杂的无效四分体载体m^a=x^a+iy^a和\bar{m}^a=x^a-iy^a必须分离成类空基矢量x^a和y^a然后询问其中一个或两个是否与类空测地线相切。）
对易子
协变导数的度量兼容性或无扭转性被重铸为方向导数的对易子，
\begin{align}
\Delta D - D\Delta &= \left(\gamma + \bar{\gamma}\right)D + \left(\varepsilon + \bar{\varepsilon}\right)\Delta - \left(\bar{\tau} + \pi\right)\delta - \left(\tau + \bar{\pi}\right)\bar{\delta}\,, \\[1ex]
\delta D - D\delta &= \left(\bar{\alpha} + \beta - \bar{\pi}\right)D + \kappa\Delta - \left(\bar{\rho} + \varepsilon - \bar{\varepsilon}\right)\delta - \sigma\bar{\delta}\,, \\[1ex]
\delta\Delta - \Delta\delta &= - \bar{\nu}D + \left(\tau - \bar{\alpha} - \beta\right)\Delta + \left(\mu - \gamma + \bar{\gamma}\right)\delta + \bar{\lambda}\bar{\delta}\,, \\[1ex]
\bar{\delta}\delta - \delta\bar{\delta} &= \left(\bar{\mu} - \mu\right)D + \left(\bar{\rho} - \rho\right)\Delta + \left(\alpha - \bar{\beta}\right)\delta - \left(\bar{\alpha} - \beta\right)\bar{\delta}\,,
\end{align}
这意味着
\begin{align}
\Delta \ell^a - D n^a &= \left(\gamma + \bar{\gamma}\right)\ell^a + \left(\varepsilon + \bar{\varepsilon}\right)n^a - \left(\bar{\tau} + \pi\right)m^a - \left(\tau + \bar{\pi}\right)\bar{m}^a\,, \\[1ex]
\delta \ell^a - D m^a &= \left(\bar{\alpha} + \beta - \bar{\pi}\right)\ell^a + \kappa n^a - \left(\bar{\rho} + \varepsilon - \bar{\varepsilon}\right) m^a - \sigma\bar{m}^a\,, \\[1ex]
\delta n^a - \Delta m^a &= - \bar{\nu}\ell^a + \left(\tau - \bar{\alpha} - \beta\right)n^a + \left(\mu - \gamma + \bar{\gamma}\right)m^a + \bar{\lambda}\bar{m}^a\,, \\[1ex]
\bar{\delta}m^a - \delta\bar{m}^a &= \left(\bar{\mu} - \mu\right)\ell^a + \left(\bar{\rho} - \rho\right)n^a + \left(\alpha - \bar{\beta}\right)m^a - \left(\bar{\alpha} - \beta\right)\bar{m}^a\,.
\end{align}
注意：（i）上述方程既可以看作对易子的蕴涵，也可以看作运输方程的组合；（ii）在这些隐含方程中，矢量\{\ell^a,n^a,m^a,\bar{m}^a\}可以用余矢量代替，方程仍然成立。
Weyl–NP 和 Ricci–NP 标量
Weyl 张量的 10 个独立分量可以编码为 5 个复数Weyl-NP 标量，
\begin{align}
\Psi_0 &:= C_{abcd} \ell^a m^b \ell^c m^d\,, &
\Psi_1 &:= C_{abcd} \ell^a n^b \ell^c m^d\,, \\
\Psi_2 &:= C_{abcd} \ell^a m^b\bar{m}^c n^d\,, &
\Psi_3 &:= C_{abcd} \ell^a n^b\bar{m}^c n^d\,, \\
\Psi_4 &:= C_{abcd} n^a \bar{m}^b n^c \bar{m}^d\,.
\end{align}
Ricci 张量的 10 个独立分量被编码为 4 个实标量\{\Phi_{00} ， \Phi_{11} ， \Phi_{22} ， \Lambda\}和 3 个复数标量\{\Phi_{10},\Phi_{20},\Phi_{21} \} （及其复共轭），
\begin{align}
\Phi_{00} &:= \tfrac{1}{2}R_{ab}\ell^a \ell^b\,, &
\Phi_{11} &:= \tfrac{1}{4}R_{ab}\left(\ell^a n^b + m^a \bar{m}^b\right), \\[1ex]
\Phi_{22} &:= \tfrac{1}{2}R_{ab}n^a n^b\,, &
\Lambda &:= \tfrac{1}{24} R\,;
\end{align}\begin{align}
\Phi_{01} &:= \tfrac{1}{2} R_{ab} \ell^a m^b\,, &
\Phi_{10} &:= \tfrac{1}{2} R_{ab} \ell^a \bar{m}^b = \overline{\Phi_{01}}\,, \\
\Phi_{02} &:= \tfrac{1}{2} R_{ab} m^a m^b\,, &
\Phi_{20} &:= \tfrac{1}{2} R_{ab} \bar{m}^a \bar{m}^b = \overline{\Phi_{02}}\,, \\
\Phi_{12} &:= \tfrac{1}{2} R_{ab} m^a n^b\,, &
\Phi_{21} &:= \tfrac{1}{2} R_{ab} \bar{m}^a n^b = \overline{\Phi_{12}}\,.
\end{align}
在这些定义中， R_{ab}可以用其无痕部分代替Q_{ab} = R_{ab} - \tfrac{1}{4} g_{ab} R 或爱因斯坦张量G_{ab} = R_{ab} - \tfrac{1}{2} g_{ab} R因为关系正常化。还， \Phi_{11}简化为\Phi_{11} = \tfrac{1}{2} R_{ab} \ell^a n^b = \tfrac{1}{2} R_{ab} m^a \bar{m}^b用于电真空（ \Lambda=0 ）。
爱因斯坦–麦克斯韦–NP 方程
NP 场方程
在复零四元组中，里奇恒等式产生下列 NP 场方程，连接自旋系数、Weyl-NP 和 Ricci-NP 标量（回想一下，在正交四元组中，里奇旋转系数将遵循嘉当第一和第二结构方程），
各种符号的这些方程可以在多篇文献中找到。 ，我们可以用质量多极子、电流多极子和自旋加权球谐函数非常紧凑地写出辐射场： \Psi_4(t,r,\theta,\phi) = - \frac{1}{r\sqrt{2}} \sum_{\ell=2}^{\infty} \sum_{m=-\ell}^\ell \left[ {}^{(\ell+2)}I^{\ell m}(t-r) -i\ {}^{(\ell+2)}S^{\ell m}(t-r) \right] {}_{-2}Y_{\ell m}(\theta,\phi)\ . 这里，前缀上标表示时间导数。也就是说，我们定义{}^{(\ell)}G(t) = \left( \frac{d}{dt} \right)^\ell G(t)\ .组件I^{\ell m}和S^{\ell m}分别是质量和电流多极子。 {}_{-2}Y_{\ell m}是自旋重量 −2 球谐函数。
参见
- 光锥坐标
- GHP 形式体系
- 四元组形式体系
- 戈德堡-萨克斯定理
引用
- Wald treats the more succinct version of the Newman–Penrose formalism in terms of more modern spinor notation.
- Hawking and Ellis use the formalism in their discussion of the final state of a collapsing star.
外部链接
- [http://www.scholarpedia.org/article/Spin-coefficient_formalism Scholarpedia 上的纽曼-彭罗斯形式]
评论 (0)