主題
Search

狄拉克矩陣

下載 Mathematica 筆記本下載 Wolfram 筆記本

狄拉克矩陣是一類 4×4 矩陣，它出現在量子電動力學中。 有許多不同的符號被使用，狄拉克矩陣也被稱為伽馬矩陣或狄拉克伽馬矩陣。

狄拉克矩陣 alpha_n 可能會在未來版本的 Wolfram 語言 中實現為DiracGammaMatrix[n]，其中 n=1、2、3、4 或 5。

狄拉克矩陣定義為 4×4 矩陣

sigma_i=I_2 tensor sigma_i^((P))
(1)
rho_i=sigma_i^((P)) tensor I_2,
(2)

其中 sigma_i^((P)) 是 (2×2) 泡利矩陣，I_2 是 2×2 單位矩陣，i=1、2、3，並且 A tensor B 是 克羅內克積。 顯式地，這組狄拉克矩陣由下式給出

I=[1 0 0 0; 0 1 0 0; 0 0 1 0; 0 0 0 1]
(3)
sigma_1=[0 1 0 0; 1 0 0 0; 0 0 0 1; 0 0 1 0]
(4)
sigma_2=[0 -i 0 0; i 0 0 0; 0 0 0 -i; 0 0 i 0]
(5)
sigma_3=[1 0 0 0; 0 -1 0 0; 0 0 1 0; 0 0 0 -1]
(6)
rho_1=[0 0 1 0; 0 0 0 1; 1 0 0 0; 0 1 0 0]
(7)
rho_2=[0 0 -i 0; 0 0 0 -i; i 0 0 0; 0 i 0 0]
(8)
rho_3=[1 0 0 0; 0 1 0 0; 0 0 -1 0; 0 0 0 -1].
(9)

這些矩陣滿足反對易關係

sigma_isigma_j+sigma_jsigma_i=2delta_(ij)I
(10)
rho_irho_j+rho_jrho_i=2delta_(ij)I,
(11)

其中 delta_(ij) 是 克羅內克 delta，交換關係

[sigma_i,rho_j]=sigma_irho_j-rho_jsigma_i=0,
(12)

並且在索引排列下是迴圈的

sigma_isigma_j=isigma_k
(13)
rho_irho_j=irho_k.
(14)

總共可以定義 16 個狄拉克矩陣，透過

E_(ij)=rho_isigma_j
(15)

對於 i,j=0、1、2、3，其中 sigma_0=rho_0=I (Arfken 1985, p. 212)。 這些矩陣滿足

1. |E_(ij)|=1，其中 |A| 是行列式，

2. E_(ij)^2=I,

3. E_(ij)=E_(ij)^(H)，其中 A^(H) 表示 共軛轉置，使其成為厄米矩陣，因此也是酉矩陣，

4. Tr(E_(ij))=0，除了 Tr(E_(00))=4，

5. 任意兩個 E_(ij) 相乘在一起，在 -1 或 +/-i 的乘法因子內，都會產生一個狄拉克矩陣，

6. E_(ij) 是線性獨立的，

7. E_(ij) 構成一個完備集，即，任何 4×4 常數矩陣都可以寫成

A=sum_(i,j=0)^3c_(ij)E_(ij),
(16)

其中 c_(ij) 是實數或複數，由下式給出

c_(mn)=1/4Tr(AE_(mn))
(17)

(Arfken 1985)。

狄拉克的原始矩陣寫為 alpha_i，並由下式定義

alpha_i=E_(1i)=rho_1sigma_i
(18)
alpha_4=E_(30)=rho_3,
(19)

對於 i=1、2、3，給出

alpha_1=E_(11)=[0 0 0 1; 0 0 1 0; 0 1 0 0; 1 0 0 0]
(20)
alpha_2=E_(12)=[0 0 0 -i; 0 0 i 0; 0 -i 0 0; i 0 0 0]
(21)
alpha_3=E_(13)=[0 0 1 0; 0 0 0 -1; 1 0 0 0; 0 -1 0 0]
(22)
alpha_4=E_(30)=[1 0 0 0; 0 1 0 0; 0 0 -1 0; 0 0 0 -1].
(23)

符號 beta=alpha_4 有時也使用 (Bjorken and Drell 1964, p. 8; Berestetskii et al. 1982, p. 78)。 附加矩陣

alpha_5=E_(20)=rho_2=[0 0 -i 0; 0 0 0 -i; i 0 0 0; 0 i 0 0]
(24)

有時被定義。

一組密切相關的狄拉克矩陣由下式定義

gamma_i=[0 sigma_i; -sigma_i 0]
(25)
gamma_4=[I 0; 2I -I]
(26)

對於 i=1、2、3 (Goldstein 1980)。 通常使用 gamma_0 而不是 gamma_4。 不幸的是，對於它的定義，有兩種不同的約定，“手徵基”

gamma_0=[0 I; I 0],
(27)

和“狄拉克基”

gamma_0=[I 0; 0 -I]
(28)

(Griffiths 1987, p. 216)。

其他一些狄拉克矩陣集有時定義為

y_i=E_(2i)
(29)
y_4=E_(30)
(30)
y_5=-E_(10)
(31)

和

delta_i=E_(3i)
(32)

對於 i=1、2、3 (Arfken 1985)。

15 個狄拉克矩陣中的任何一個（不包括單位矩陣）都與八個狄拉克矩陣對易，並與另外八個狄拉克矩陣反對易。 令 M=1/2(1+E_(ij))，則

M^2=M
(33)

(Arfken 1985, p. 216)。 此外

[alpha_1; alpha_2; alpha_3]×[alpha_1; alpha_2; alpha_3]=2isigma.
(34)

alpha_i 和 y_i 的乘積滿足

alpha_1alpha_2alpha_3alpha_4alpha_5=1
(35)
y_1y_2y_3y_4y_5=1.
(36)

16 個狄拉克矩陣形成六個反對易集，每個集合包含五個矩陣 (Arfken 1985, p. 214)

1. alpha_1, alpha_2, alpha_3, alpha_4, alpha_5,

2. y_1, y_2, y_3, y_4, y_5,

3. delta_1, delta_2, delta_3, rho_1, rho_2,

4. alpha_1, y_1, delta_1, sigma_2, sigma_3,

5. alpha_2, y_2, delta_2, sigma_1, sigma_3,

6. alpha_3, y_3, delta_3, sigma_1, sigma_2.

另請參閱

泡利矩陣

使用 探索

參考文獻

Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 211-217, 1985.Berestetskii, V. B.; Lifshitz, E. M.; and Pitaevskii, L. P. "Algebra of Dirac Matrices." §22 in Quantum Electrodynamics, 2nd ed. Oxford, England: Pergamon Press, pp. 80-84, 1982.Bethe, H. A. and Salpeter, E. Quantum Mechanics of One- and Two-Electron Atoms. New York: Plenum, pp. 47-48, 1977.Bjorken, J. D. and Drell, S. D. Relativistic Quantum Mechanics. New York: McGraw-Hill, 1964.Dirac, P. A. M. Principles of Quantum Mechanics, 4th ed. Oxford, England: Oxford University Press, 1982.Goldstein, H. Classical Mechanics, 2nd ed. Reading, MA: Addison-Wesley, p. 580, 1980.Good, R. H. Jr. "Properties of Dirac Matrices." Rev. Mod. Phys. 27, 187-211, 1955.

在 上被引用

狄拉克矩陣

引用為

Weisstein, Eric W. “狄拉克矩陣。” 來自 Web 資源。 https://mathworld.tw/DiracMatrices.html

主題分類