紐曼-彭羅斯形式體系

紐曼-彭羅斯( NP )形式體系 是由Ezra T. Newman和Roger Penrose為廣義相對論(GR) 發展出的一套記號體系。他們的記號體系試圖用旋量記號來處理廣義相對論，從而引入了廣義相對論中通常使用的變量的複數形式。 NP 形式體系本身是四元組形式體系的一個特例， 在該體系中，理論中的張量被投影到時空每個點的完備矢量基上。通常選擇這個矢量基來反映時空的某種對稱性，從而簡化物理可觀測量的表達。對於 NP 形式體系，所選擇的矢量基是零四元組：一組四個零矢量——兩個實數，一個複共軛對。兩個實數成員通常漸近地指向徑向內側和徑向外側，並且該形式體系非常適合處理彎曲時空中的輻射傳播。通常使用由韋爾張量導出的韋爾標量。具體來說，可以證明其中一個標量—— 在適當的框架中——編碼漸近平坦系統向外的引力輻射。 
紐曼和彭羅斯利用這個四元組引入了以下函數作為基本量： - 十二個複雜的自旋係數（分為三組）描述了四元組從一個點到另一個點的變化：  。- 在四元組基中編碼 Weyl 張量的五個複函數：  。- 在四元組基中編碼Ricci 張量的十個函數：  （真實的）;  （複雜的）。
在許多情況下——尤其是代數特殊時空或真空時空——紐曼-彭羅斯形式大大簡化，因為許多函數趨於零。與使用愛因斯坦方程的標準形式相比，這種簡化可以更容易地證明各種定理。
在本文中，我們將只採用張量而非旋量版本的 NP 形式，因為前者更容易理解並且在相關論文中更流行。關於這兩個版本的統一表述可以參考文獻 。

**零四分體和符號約定**
該形式體系是針對四維時空開發的，具有洛倫茲號型度規。在每個點上，引入一個四元組（四個矢量的集合）。前兩個矢量和只是一對標準（實）零矢量，  。例如，我們可以用球座標來思考，並取為傳出的零矢量，並且成為進入的零矢量。然後通過組合一對實數、正交的單位空間矢量構造一個複數零矢量。對於球座標，標準選擇是該矢量的複共軛就構成了四元組的第四個元素。
NP 形式化使用了兩組簽名和規範化約定： 和 。前者是 NP 形式體系發展過程中最初採用的 方法，並在黑洞物理、引力波和廣義相對論的其他各個領域得到了廣泛的應用  。然而，當代從準局部視角研究黑洞時通常採用的是後一種慣例 （如孤立視界和動態視界  ）。在本文中，我們將利用對 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  for a systematic review of the NP formalism (see also refs.）。
需要注意的是，當從到 、自旋係數的定義、Weyl-NP 標量和 Ricci-NP 標量需要改變它們的符號；這樣，愛因斯坦-麥克斯韋方程就可以保持不變。
在 NP 形式中，複數零四元組包含兩個實數零（餘）矢量以及兩個複數零（餘）矢量 。作為零（餘）矢量，自歸一化自然消失，
因此採用以下兩對交叉規範化
而兩對之間的收縮也正在消失，
這裡的指數可以通過全球指標來提高或降低可以通過以下方式獲得

**NP 量和四元組方程**

**四個協變導數算子**
為了與形式體系對對象的每個組成部分使用不同的未索引符號的實踐保持一致，協變導數運算符使用四個獨立的符號來表示（  ) 為每個四元組方向命名一個方向協變導數算子。給定四元組矢量的線性組合，  ，協變導數算子方向是 。
簡化為當作用於標量函數時。

**十二個旋轉系數**
在 NP 形式中，每個Ricci 旋轉系數在零四元組中分配了一個小寫的希臘字母，它們構成了 12 個複雜的自旋係數（分為三組），
自旋係數是 NP 形式中的主要量，所有其他 NP 量（如下所定義）都可以利用 NP 場方程間接計算。因此，NP 形式有時也稱為自旋係數形式。

**運輸方程：四元組矢量的協變導數**
四元組矢量的十六個方向協變導數有時被稱為傳輸/傳播方程，date=May 2019可能是因為當四元組矢量沿導數算子方向平行傳播或傳輸時，導數為零。
O'Donnell 給出了以這種精確符號表示的結果：  57–58(3.220)

**從Dℓ a和 Δ n a解釋κ 、 ε 、 ν 、 γ**
實零四元組矢量在其自身方向上的協變導數的兩個方程表明該矢量是否與測地線相切，如果是，則表明測地線是否具有仿射參數。
零切矢量如果 ，也就是說，如果矢量沿其自身方向平行傳播或傳輸，則矢量不會發生變化。  41(3.3.1)
表明與測地線相切當且僅當並且與仿射參數化測地線相切，如果另外 。相似地， 表明是測地線當且僅當 ，並且具有仿射參數化 。
（複雜的無效四分體載體和必須分離成類空基矢量和然後詢問其中一個或兩個是否與類空測地線相切。）

**對易子**
協變導數的度量兼容性或無扭轉性被重鑄為方向導數的對易子，
這意味著
注意：（i）上述方程既可以看作對易子的蘊涵，也可以看作運輸方程的組合；（ii）在這些隱含方程中，矢量可以用餘矢量代替，方程仍然成立。

**Weyl–NP 和 Ricci–NP 標量**
Weyl 張量的 10 個獨立分量可以編碼為 5 個複數Weyl-NP 標量，
Ricci 張量的 10 個獨立分量被編碼為 4 個實標量 ，  ，  ， 和 3 個複數標量 （及其複共軛），
在這些定義中， 可以用其無痕部分代替 或愛因斯坦張量因為關係正常化。還， 簡化為用於電真空（  ）。

**愛因斯坦–麥克斯韋–NP 方程**

**NP 場方程**
在復零四元組中，裡奇恆等式產生下列 NP 場方程，連接自旋係數、Weyl-NP 和 Ricci-NP 標量（回想一下，在正交四元組中，裡奇旋轉系數將遵循嘉當第一和第二結構方程），  
各種符號的這些方程可以在多篇文獻中找到。  46–47(310(a)-(r)) 671–672(E.12)Frolov 和 Novikov 中的符號相同。
此外，Weyl-NP標量和 Ricci-NP 標量可以在獲得自旋係數後，從上述 NP 場方程間接計算出來，而不必直接使用它們的定義。

**麥克斯韋–NP 標量、NP 形式中的麥克斯韋方程**
法拉第-麥克斯韋2形式的六個獨立分量（即電磁場強度張量） 可以編碼成三個複數 Maxwell-NP 標量
因此八個實麥克斯韋方程和 （作為 ）可以轉化為四個複方程，
使用 Ricci-NP 標量與麥克斯韋標量相關
值得指出的是，補充方程只對電磁場有效；例如，在楊-米爾斯場的情況下， 在哪裡是 Yang-Mills-NP 標量。 
綜上所述，上述傳輸方程、NP場方程和麥克斯韋-NP方程共同構成了紐曼-彭羅斯形式中的愛因斯坦-麥克斯韋方程。

**NP 形式在引力輻射場中的應用**
Weyl 標量 Newman & Penrose 將其定義為 （但請注意，整體符號是任意的，並且 Newman & Penrose 使用了“類時間”度量符號 ）。在空曠的空間中，愛因斯坦場方程簡化為 。從韋爾張量的定義中，我們可以看出這意味著它等於黎曼張量，  。我們可以對無窮遠處的四元組做出標準選擇： 
在橫向無跡規範中，簡單的計算表明線性引力波與黎曼張量的分量的關係為假設傳播在方向。結合這些，並使用定義上面，我們可以寫遠離源頭，在幾乎平坦的空間中，場 和對沿給定方向傳播的引力輻射的所有內容進行編碼。因此，我們看到在單個複雜場中對有關（傳出的）引力波的所有內容進行編碼。

**有限源輻射**
使用 Thorne 總結的波生成形式 ，我們可以用質量多極子、電流多極子和自旋加權球諧函數非常緊湊地寫出輻射場： 這裡，前綴上標表示時間導數。也就是說，我們定義組件和分別是質量和電流多極子。 是自旋重量 −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.

**外部鏈接**
  Scholarpedia 上的紐曼-彭羅斯形式