電磁張量
電磁張量(electromagnetic tensor)或電磁場張量(electromagnetic field tensor)(有時也稱作場強度張量(field strength tensor)、法拉第張量(Faraday tensor)或馬克士威雙向量(Maxwell bivector))是一個描述一物理系統中電磁場的數學客體,所根據的是馬克士威的電磁學理論。場張量是在赫爾曼·閔可夫斯基提出狹義相對論的四維張量形式之後被首次使用。
目录
1 細節
1.1 性質
2 導出電磁張量
3 與古典電磁學的關聯
4 場張量的重要性
5 場張量與相對論
6 在量子電動力學與量子場論中的角色
7 相關條目
8 參考文獻
細節
数学注记:本文会使用到抽象的指标记号。
電磁張量Fαβ{displaystyle F_{alpha beta }}常表示成如下矩陣形式:
- Fαβ=[0Ex/cEy/cEz/c−Ex/c0−BzBy−Ey/cBz0−Bx−Ez/c−ByBx0]{displaystyle F_{alpha beta }={begin{bmatrix}0&E_{x}/c&E_{y}/c&E_{z}/c\-E_{x}/c&0&-B_{z}&B_{y}\-E_{y}/c&B_{z}&0&-B_{x}\-E_{z}/c&-B_{y}&B_{x}&0end{bmatrix}}}
- 其中
E是電場,
B是磁場,
c是光速。
性質
從場張量的矩陣形式可以見到,其須滿足下列特性:
反對稱性:Fαβ=−Fβα{displaystyle F^{alpha beta },=-F^{beta alpha }}(因此稱作雙向量(或稱雙矢、二重向量,bivector))。- 零值的跡數或稱對角和。
6個獨立分量——Ex/c{displaystyle E_{x}/c}、Ey/c{displaystyle E_{y}/c}、Ez/c{displaystyle E_{z}/c}、Bx{displaystyle B_{x}}、By{displaystyle B_{y}}、Bz{displaystyle B_{z}}。
若將場張量做內積,則可得到一勞侖茲不變量:
- FαβFαβ= 2(B2−E2c2)=invariant{displaystyle F_{alpha beta }F^{alpha beta }= 2left(B^{2}-{frac {E^{2}}{c^{2}}}right)=mathrm {invariant} }
場張量Fαβ{displaystyle F^{alpha beta },}與對偶張量的乘積則為一偽純量不變量(pseudoscalar invariant):
- ϵαβγδFαβFγδ=−2c(B→⋅E→)=invariant{displaystyle epsilon _{alpha beta gamma delta }F^{alpha beta }F^{gamma delta }=-{frac {2}{c}}left({vec {B}}cdot {vec {E}}right)=mathrm {invariant} ,}
其中 ϵαβγδ{displaystyle epsilon _{alpha beta gamma delta },}為四階完全反對稱單位張量(completely antisymmetric unit tensor)或稱列維-奇維塔符號(Levi-Civita symbol)。注意到場張量的行列式
- det(F)=1c2(B→⋅E→)2{displaystyle det left(Fright)={frac {1}{c^{2}}}left({vec {B}}cdot {vec {E}}right)^{2}}
更正式地,可將電磁張量以4-向量勢Aα{displaystyle A^{alpha },}寫成:
- Fαβ =def ∂Aβ∂xα−∂Aα∂xβ =def ∂αAβ−∂βAα{displaystyle F_{alpha beta } {stackrel {mathrm {def} }{=}} {frac {partial A_{beta }}{partial x^{alpha }}}-{frac {partial A_{alpha }}{partial x^{beta }}} {stackrel {mathrm {def} }{=}} partial _{alpha }A_{beta }-partial _{beta }A_{alpha }}
其中4-向量勢為:
Aα=(ϕc,A→){displaystyle A^{alpha }=left({frac {phi }{c}},{vec {A}}right)},其協變(covariant)形式可以透過乘上閔可夫斯基度規η{displaystyle eta ,}來得到:- Aα=ηαβAβ=(ϕc,−A→){displaystyle A_{alpha },=eta _{alpha beta }A^{beta }=left({frac {phi }{c}},-{vec {A}}right)}
此處閔可夫斯基度規η{displaystyle eta ,}的定義為:
- η=[10000−10000−10000−1]{displaystyle eta ={begin{bmatrix}1&0&0&0\0&-1&0&0\0&0&-1&0\0&0&0&-1end{bmatrix}}}
若按照另種使用習慣將閔可夫斯基度規定義為:
- η=[−1000010000100001]{displaystyle eta ={begin{bmatrix}-1&0&0&0\0&1&0&0\0&0&1&0\0&0&0&1end{bmatrix}}}
則4-向量勢的協變形式會是:
- Aα=ηαβAβ=(−ϕc,A→){displaystyle A_{alpha },=eta _{alpha beta }A^{beta }=left(-{frac {phi }{c}},{vec {A}}right)}
導出電磁張量
為了要導出電磁張量的所有矩陣元素,我們需要定義(時空)導數算符(derivative operator):
- ∂α=(1c∂∂t,∂∂x,∂∂y,∂∂z)=(1c∂∂t,∇→){displaystyle partial _{alpha }=left({frac {1}{c}}{frac {partial }{partial t}},{frac {partial }{partial x}},{frac {partial }{partial y}},{frac {partial }{partial z}}right)=left({frac {1}{c}}{frac {partial }{partial t}},{vec {nabla }}right),}
以及4-向量勢:
- Aα=(ϕc,−Ax,−Ay,−Az){displaystyle A_{alpha }=left({frac {phi }{c}},-A_{x},-A_{y},-A_{z}right),}
其中
A→{displaystyle {vec {A}},}為向量勢,而(Ax,Ay,Az){displaystyle left(A_{x},A_{y},A_{z}right)}為其分量,
ϕ{displaystyle phi ,}為純量勢,
c{displaystyle c,}為光速;- 指標α取值0、1、2、3。
電場與磁場可以透過下面兩個與向量勢及純量勢的關係式導出:
- E→=−∂A→∂t−∇→ϕ{displaystyle {vec {E}}=-{frac {partial {vec {A}}}{partial t}}-{vec {nabla }}phi ,}
- B→=∇→×A→{displaystyle {vec {B}}={vec {nabla }}times {vec {A}},}
以x分量為例:
- Ex=−∂Ax∂t−∂ϕ∂x=c(1c∂∂t(−Ax)−∂∂x(ϕc)){displaystyle E_{x}=-{frac {partial A_{x}}{partial t}}-{frac {partial phi }{partial x}}=c({1 over c}{frac {partial }{partial t}}(-A_{x})-{frac {partial }{partial x}}({phi over c})),}
- Bx=∂Az∂y−∂Ay∂z{displaystyle B_{x}={frac {partial A_{z}}{partial y}}-{frac {partial A_{y}}{partial z}},}
利用這樣的定義,我們可以將上面兩個式子改寫成:
Ex=c(∂0A1−∂1A0){displaystyle E_{x}=cleft(partial _{0}A_{1}-partial _{1}A_{0}right),},或將c移動到等號左邊:Exc=∂0A1−∂1A0{displaystyle {frac {E_{x}}{c}}=partial _{0}A_{1}-partial _{1}A_{0},}
- Bx=∂2A3−∂3A2{displaystyle B_{x}=partial _{2}A_{3}-partial _{3}A_{2},}
在評估過所有分量後,可以得到一個二階、反對稱、協變張量Fαβ{displaystyle F_{alpha beta }}:
- Fαβ=∂αAβ−∂βAα{displaystyle F_{alpha beta }=partial _{alpha }A_{beta }-partial _{beta }A_{alpha },}
與古典電磁學的關聯
古典電磁學以及馬克士威方程組可以從如下定義的作用量推導得出:
- S=∫(−14μ0FμνFμν)d4x{displaystyle {mathcal {S}}=int left(-{begin{matrix}{frac {1}{4mu _{0}}}end{matrix}}F_{mu nu }F^{mu nu }right)mathrm {d} ^{4}x,}
其中
d4x{displaystyle mathrm {d} ^{4}x;}是對時間及空間的積分。
這表示拉格朗日量是為
L{displaystyle {mathcal {L}},}
=−14μ0FμνFμν{displaystyle =-{begin{matrix}{frac {1}{4mu _{0}}}end{matrix}}F_{mu nu }F^{mu nu },}
=−14μ0(∂μAν−∂νAμ)(∂μAν−∂νAμ){displaystyle =-{begin{matrix}{frac {1}{4mu _{0}}}end{matrix}}left(partial _{mu }A_{nu }-partial _{nu }A_{mu }right)left(partial ^{mu }A^{nu }-partial ^{nu }A^{mu }right),}
=−14μ0(∂μAν∂μAν−∂νAμ∂μAν−∂μAν∂νAμ+∂νAμ∂νAμ){displaystyle =-{begin{matrix}{frac {1}{4mu _{0}}}end{matrix}}left(partial _{mu }A_{nu }partial ^{mu }A^{nu }-partial _{nu }A_{mu }partial ^{mu }A^{nu }-partial _{mu }A_{nu }partial ^{nu }A^{mu }+partial _{nu }A_{mu }partial ^{nu }A^{mu }right),}
最後一段等號右邊四個項,最左項與最右項相等,因為μ{displaystyle mu }與ν{displaystyle nu }僅為傀指標;中間兩項也彼此相等。因此拉格朗日量變為
L{displaystyle {mathcal {L}},}
=−12μ0(∂μAν∂μAν−∂νAμ∂μAν){displaystyle =-{begin{matrix}{frac {1}{2mu _{0}}}end{matrix}}left(partial _{mu }A_{nu }partial ^{mu }A^{nu }-partial _{nu }A_{mu }partial ^{mu }A^{nu }right),}
我們將之代入場的歐拉-拉格朗日方程:
∂ν(∂L∂(∂νAμ))−∂L∂Aμ=0{displaystyle partial _{nu }left({frac {partial {mathcal {L}}}{partial (partial _{nu }A_{mu })}}right)-{frac {partial {mathcal {L}}}{partial A_{mu }}}=0,}。
第二項為零,因為此情況下的拉格朗日量只含有導數項。因此歐拉-拉格朗日方程變為:
∂ν(∂μAν−∂νAμ)=0{displaystyle partial _{nu }left(partial ^{mu }A^{nu }-partial ^{nu }A^{mu }right)=0,}。
圓括號內的項正是場張量,因此最終可以簡化為
∂νFμν=0{displaystyle partial _{nu }F^{mu nu }=0,}。
此方程式僅是寫下兩個齊次馬克士威方程式的另一條途徑,只要做以下代入:
- Ei/c =−F0i{displaystyle ~E^{i}/c =-F^{0i},}
- ϵijkBk=−Fij{displaystyle epsilon ^{ijk}B^{k}=-F^{ij},}
其中指標i{displaystyle i,}與j{displaystyle j,}取值1、2、3。
場張量的重要性
潛藏在看似複雜的張量數學方程式外表下的,是對電磁學馬克士威方程組所做的巧妙統合。考慮靜電方程式(electrostatic equation)
- ∇→⋅E→=ρϵ0{displaystyle {vec {nabla }}cdot {vec {E}}={frac {rho }{epsilon _{0}}}}
告訴了我們電場向量的散度等於電荷密度除以電容率ϵ0{displaystyle epsilon _{0}},而動電方程式(electrodynamic equation)
- ∇→×B→−1c2∂E→∂t=μ0J→{displaystyle {vec {nabla }}times {vec {B}}-{frac {1}{c^{2}}}{frac {partial {vec {E}}}{partial t}}=mu _{0}{vec {J}}}
也就是磁場向量的旋度減掉電場隨著時間變動(取時間微分),等於電流密度乘以磁導率μ0{displaystyle mu _{0}}。
這兩個關於電學的方程式可以約化成
- ∂αFαβ=μ0Jβ{displaystyle partial _{alpha }F^{alpha beta }=mu _{0}J^{beta },}
其中
Jα=(cρ,J→){displaystyle J^{alpha }=(c,rho ,{vec {J}}),}為四維電流密度。
同樣的情況也適用在磁學上。若我們考慮靜磁方程式(magnetostatic equation)
- ∇→⋅B→=0{displaystyle {vec {nabla }}cdot {vec {B}}=0}
告訴了我們沒有「真實」存在的磁荷(磁單極),而動磁方程式(magnetodynamics equation)
- ∂B→∂t+∇→×E→=0{displaystyle {frac {partial {vec {B}}}{partial t}}+{vec {nabla }}times {vec {E}}=0}
告訴了我們磁場隨著時間變動(取時間微分)加上電場的旋度等於零(或是另種講法:電場的旋度等於負的磁場隨著時間變)。若用電磁張量,磁學的方程式可以約化成
Fαβ,γ+Fβγ,α+Fγα,β=0{displaystyle F_{alpha beta ,gamma }+F_{beta gamma ,alpha }+F_{gamma alpha ,beta }=0,},或者利用反對稱化符號——方括號表示成
F[αβ,γ]=0{displaystyle F_{[alpha beta ,gamma ]}=0,}。
場張量與相對論
場張量其得名理由是因為電磁場須遵守張量轉換定律;(非重力場)物理定律具有這樣的普適性質,在狹義相對論誕生之後就被普遍認識到。相對論要求所有(非重力場的)物理定律在所有座標系統中都應具有相同形式,這導致張量的引入。張量形式也使得物理定律能有優美的數學表示方式。舉例來說,電磁學的馬克士威方程組可以用場張量寫成:
- F[αβ,γ]=0{displaystyle F_{[alpha beta ,gamma ]},=0}
- Fαβ,β=μ0Jα{displaystyle F^{alpha beta }{}_{,beta },=mu _{0}J^{alpha }}
其中逗號,表示對其做偏微分。第二個方程式暗示了電荷與電流元的守恆:
- Jα,α=0{displaystyle J^{alpha }{}_{,alpha },=0}
在廣義相對論的彎曲時空中,這些定律可用(許多物理學家覺得)吸引人的方式來推廣——就是將偏微分改成協變微分:
- F[αβ;γ]=0{displaystyle F_{[alpha beta ;gamma ]},=0}
- Fαβ;β=μ0Jα{displaystyle F^{alpha beta }{}_{;beta },=mu _{0}J^{alpha }}
其中分號;代表了協變微分,跟上面在平直時空所用的偏微分相互輝映。方程式的優美不受改變,僅僅需要將偏微分換成協變微分,這在廣義相對論常見的說法。這樣的方程式常被稱作是「彎曲時空下的馬克斯韋方程組」。一樣地,第二個方程式暗示著電荷與電流元的守恆(於彎曲時空中):
- Jα;α=0{displaystyle J^{alpha }{}_{;alpha },=0}
在量子電動力學與量子場論中的角色
在量子電動力學中的拉格朗日量是從相對論建立的古典拉格朗日量所延伸:L=ψ¯(iℏcγαDα−mc2)ψ−14μ0FαβFαβ,{displaystyle {mathcal {L}}={bar {psi }}(ihbar c,gamma ^{alpha }D_{alpha }-mc^{2})psi -{frac {1}{4mu _{0}}}F_{alpha beta }F^{alpha beta },}以將光子以及電子的創生(creation)與湮滅(annihilation)整合進來。
在量子場論中,電磁場強度張量被當作是規範場強度張量的範本。此一項搭配上局域交互作用拉格朗日量(local interaction Lagrangian),其作用角色與在量子電動力學中幾乎一樣。
相關條目
- 麦克斯韦方程组
- 電磁學
參考文獻
Brau, Charles A. Modern Problems in Classical Electrodynamics. Oxford University Press. 2004. ISBN 978-0-19-514665-3.
Peskin, Michael E.; Schroeder, Daniel V. An Introduction to Quantum Field Theory. Perseus Publishing. 1995. ISBN 978-0-201-50397-5.
|