電磁張量





電磁張量(electromagnetic tensor)電磁場張量(electromagnetic field tensor)(有時也稱作場強度張量(field strength tensor)法拉第張量(Faraday tensor)馬克士威雙向量(Maxwell bivector))是一個描述一物理系統中電磁場的數學客體,所根據的是馬克士威的電磁學理論。場張量是在赫爾曼·閔可夫斯基提出狹義相對論的四維張量形式之後被首次使用。




目录






  • 1 細節


    • 1.1 性質




  • 2 導出電磁張量


  • 3 與古典電磁學的關聯


  • 4 場張量的重要性


  • 5 場張量與相對論


  • 6 在量子電動力學與量子場論中的角色


  • 7 相關條目


  • 8 參考文獻





細節


数学注记:本文会使用到抽象的指标记号。

電磁張量β{displaystyle F_{alpha beta }}F_{alphabeta}常表示成如下矩陣形式:


β=[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}}}F_{alphabeta} = begin{bmatrix}<br />
0 & E_x/c & E_y/c & E_z/c \<br />
-E_x/c & 0 & -B_z & B_y \<br />
-E_y/c & B_z & 0 & -B_x \<br />
-E_z/c & -B_y & B_x & 0<br />
end{bmatrix}<br />

其中


E是電場,


B是磁場,


c是光速。




性質


從場張量的矩陣形式可以見到,其須滿足下列特性:




  • 反對稱性:β=−α{displaystyle F^{alpha beta },=-F^{beta alpha }}F^{alphabeta} , = - F^{betaalpha}(因此稱作雙向量(或稱雙矢、二重向量,bivector))。

  • 零值的跡數或稱對角和。


  • 6個獨立分量——Ex/c{displaystyle E_{x}/c}E_x/cEy/c{displaystyle E_{y}/c}E_y/cEz/c{displaystyle E_{z}/c}E_z/cBx{displaystyle B_{x}}B_xBy{displaystyle B_{y}}B_yBz{displaystyle B_{z}}B_z


若將場張量做內積,則可得到一勞侖茲不變量:


ββ= 2(B2−E2c2)=invariant{displaystyle F_{alpha beta }F^{alpha beta }= 2left(B^{2}-{frac {E^{2}}{c^{2}}}right)=mathrm {invariant} }F_{alphabeta} F^{alphabeta} =  2 left( B^2 - frac{E^2}{c^2} right) = mathrm{invariant}

場張量β{displaystyle F^{alpha beta },}F^{alphabeta} ,與對偶張量的乘積則為一偽純量不變量(pseudoscalar invariant):


ϵαβγδβδ=−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} ,}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 },} epsilon_{alphabetagammadelta} ,為四階完全反對稱單位張量(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}} det left( F right) = frac{1}{c^2} left( vec B cdot vec E right) ^{2}

更正式地,可將電磁張量以4-向量勢{displaystyle A^{alpha },}A^{alpha} ,寫成:


β =def ∂ =def ∂αβ{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 }}<br />
F_{ alphabeta }  stackrel{mathrm{def}}{=}  frac{ partial A_{beta} }{ partial x^{alpha} } - frac{ partial A_{alpha} }{ partial x^{beta} }  stackrel{mathrm{def}}{=} <br />
partial_{alpha} A_{beta} - partial_{beta} A_{alpha}

其中4-向量勢為:




=(ϕc,A→){displaystyle A^{alpha }=left({frac {phi }{c}},{vec {A}}right)}A^{alpha} = left( frac{phi}{c} , vec A right),其協變(covariant)形式可以透過乘上閔可夫斯基度規η{displaystyle eta ,}eta ,來得到:

αβ=(ϕc,−A→){displaystyle A_{alpha },=eta _{alpha beta }A^{beta }=left({frac {phi }{c}},-{vec {A}}right)}A_{alpha} , = eta_{alphabeta} A^{beta} = left( frac{phi}{c}, -vec A right)


此處閔可夫斯基度規η{displaystyle eta ,}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}}}eta = begin{bmatrix}<br />
1 & 0 & 0 & 0 \<br />
0 & -1 & 0 & 0 \<br />
0 & 0 & -1 & 0 \<br />
0 & 0 & 0 & -1 end{bmatrix}

若按照另種使用習慣將閔可夫斯基度規定義為:


η=[−1000010000100001]{displaystyle eta ={begin{bmatrix}-1&0&0&0\0&1&0&0\0&0&1&0\0&0&0&1end{bmatrix}}}eta = begin{bmatrix}<br />
-1 & 0 & 0 & 0 \<br />
0 & 1 & 0 & 0 \<br />
0 & 0 & 1 & 0 \<br />
0 & 0 & 0 & 1 end{bmatrix}

則4-向量勢的協變形式會是:


αβ=(−ϕc,A→){displaystyle A_{alpha },=eta _{alpha beta }A^{beta }=left(-{frac {phi }{c}},{vec {A}}right)}A_{alpha} , = eta_{alphabeta} 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),}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-向量勢:


=(ϕc,−Ax,−Ay,−Az){displaystyle A_{alpha }=left({frac {phi }{c}},-A_{x},-A_{y},-A_{z}right),}A_{alpha} = left(frac{phi}{c}, -A_x, -A_y, -A_z right) ,

其中




A→{displaystyle {vec {A}},}vec A ,為向量勢,而(Ax,Ay,Az){displaystyle left(A_{x},A_{y},A_{z}right)}left(A_x, A_y, A_z right)為其分量,


ϕ{displaystyle phi ,}phi ,為純量勢,


c{displaystyle c,}c,為光速;

指標α取值0、1、2、3。


電場與磁場可以透過下面兩個與向量勢及純量勢的關係式導出:



E→=−A→t−ϕ{displaystyle {vec {E}}=-{frac {partial {vec {A}}}{partial t}}-{vec {nabla }}phi ,}vec{E} = -frac{partial vec{A}}{partial t} - vec{nabla} phi ,

B→=∇×A→{displaystyle {vec {B}}={vec {nabla }}times {vec {A}},}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})),}E_x = -frac{partial A_x}{partial t} - frac{partial phi}{partial x} <br />
= c ( {1over c} frac{partial}{partial t}(-A_x) - frac{partial}{partial x}({phiover c}) ) ,

Bx=∂Az∂y−Ay∂z{displaystyle B_{x}={frac {partial A_{z}}{partial y}}-{frac {partial A_{y}}{partial z}},}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),}E_x = c left(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},}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},}B_x = partial_2 A_3 - partial_3 A_2 ,


在評估過所有分量後,可以得到一個二階、反對稱、協變張量β{displaystyle F_{alpha beta }}F_{alphabeta}


β=∂αβ{displaystyle F_{alpha beta }=partial _{alpha }A_{beta }-partial _{beta }A_{alpha },}F_{alphabeta} = partial_{alpha} A_{beta} - partial_{beta} A_{alpha} ,


與古典電磁學的關聯


古典電磁學以及馬克士威方程組可以從如下定義的作用量推導得出:


S=∫(−14μ0Fμνν)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,}mathcal{S} = int left( -begin{matrix} frac{1}{4 mu_0} end{matrix} F_{munu} F^{munu} right) mathrm{d}^4 x ,

其中



d4x{displaystyle mathrm {d} ^{4}x;}mathrm{d}^4 x ;是對時間及空間的積分。

這表示拉格朗日量是為
















L{displaystyle {mathcal {L}},}mathcal{L} ,

=−14μ0Fμνν{displaystyle =-{begin{matrix}{frac {1}{4mu _{0}}}end{matrix}}F_{mu nu }F^{mu nu },} = -begin{matrix} frac{1}{4mu_0} end{matrix} F_{munu} F^{munu} ,


=−14μ0(∂μν)(∂μν){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),} = -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(∂μμνμμν+∂νν){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),} = -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 }mu ν{displaystyle nu }nu 僅為傀指標;中間兩項也彼此相等。因此拉格朗日量變為






L{displaystyle {mathcal {L}},}mathcal{L} ,

=−12μ0(∂μμνμ){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),} = -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∂(∂ν))−L∂=0{displaystyle partial _{nu }left({frac {partial {mathcal {L}}}{partial (partial _{nu }A_{mu })}}right)-{frac {partial {mathcal {L}}}{partial A_{mu }}}=0,} partial_nu left( frac{partial mathcal{L}}{partial ( partial_nu A_mu )} right) - frac{partial mathcal{L}}{partial A_mu} = 0 ,

第二項為零,因為此情況下的拉格朗日量只含有導數項。因此歐拉-拉格朗日方程變為:



ν(∂μν)=0{displaystyle partial _{nu }left(partial ^{mu }A^{nu }-partial ^{nu }A^{mu }right)=0,} partial_nu left( partial^mu A^nu - partial^nu A^mu right) = 0 ,

圓括號內的項正是場張量,因此最終可以簡化為



νν=0{displaystyle partial _{nu }F^{mu nu }=0,} partial_nu F^{mu nu} = 0 ,

此方程式僅是寫下兩個齊次馬克士威方程式的另一條途徑,只要做以下代入:



 Ei/c  =−F0i{displaystyle ~E^{i}/c =-F^{0i},}~E^{i}/c  =-F^{{0i}},

ϵijkBk=−Fij{displaystyle epsilon ^{ijk}B^{k}=-F^{ij},}epsilon^{ijk} B^k = -F^{ij} ,


其中指標i{displaystyle i,}i ,j{displaystyle j,}j ,取值1、2、3。



場張量的重要性


潛藏在看似複雜的張量數學方程式外表下的,是對電磁學馬克士威方程組所做的巧妙統合。考慮靜電方程式(electrostatic equation)


E→ϵ0{displaystyle {vec {nabla }}cdot {vec {E}}={frac {rho }{epsilon _{0}}}}vec{nabla} cdot vec{E} = frac{rho}{epsilon_0}

告訴了我們電場向量的散度等於電荷密度除以電容率ϵ0{displaystyle epsilon _{0}}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}}}<br />
vec{nabla} times vec{B} - frac{1}{c^2} frac{ partial vec{E}}{partial t} = mu_0 vec{J}<br />

也就是磁場向量的旋度減掉電場隨著時間變動(取時間微分),等於電流密度乘以磁導率μ0{displaystyle mu _{0}}mu _{0}


這兩個關於電學的方程式可以約化成


αβ0Jβ{displaystyle partial _{alpha }F^{alpha beta }=mu _{0}J^{beta },}partial_{alpha} F^{alphabeta} = mu_0 J^{beta} ,

其中



=(cρ,J→){displaystyle J^{alpha }=(c,rho ,{vec {J}}),}J^{alpha} = ( c , rho , vec{J} ) ,為四維電流密度。

同樣的情況也適用在磁學上。若我們考慮靜磁方程式(magnetostatic equation)


B→=0{displaystyle {vec {nabla }}cdot {vec {B}}=0}<br />
vec{nabla} cdot vec{B} = 0<br />

告訴了我們沒有「真實」存在的磁荷(磁單極),而動磁方程式(magnetodynamics equation)


B→t+∇×E→=0{displaystyle {frac {partial {vec {B}}}{partial t}}+{vec {nabla }}times {vec {E}}=0}<br />
frac{ partial vec{B}}{ partial t } + vec{nabla} times vec{E} = 0<br />

告訴了我們磁場隨著時間變動(取時間微分)加上電場的旋度等於零(或是另種講法:電場的旋度等於負的磁場隨著時間變)。若用電磁張量,磁學的方程式可以約化成




β+Fβγ+Fγα=0{displaystyle F_{alpha beta ,gamma }+F_{beta gamma ,alpha }+F_{gamma alpha ,beta }=0,}F_{ alpha beta , gamma } + F_{ beta gamma , alpha } + F_{ gamma alpha , beta } = 0 ,,或者利用反對稱化符號——方括號表示成


F[αβ]=0{displaystyle F_{[alpha beta ,gamma ]}=0,}F_{ [alpha beta , gamma] } = 0 ,



場張量與相對論


場張量其得名理由是因為電磁場須遵守張量轉換定律;(非重力場)物理定律具有這樣的普適性質,在狹義相對論誕生之後就被普遍認識到。相對論要求所有(非重力場的)物理定律在所有座標系統中都應具有相同形式,這導致張量的引入。張量形式也使得物理定律能有優美的數學表示方式。舉例來說,電磁學的馬克士威方程組可以用場張量寫成:



F[αβ]=0{displaystyle F_{[alpha beta ,gamma ]},=0}F_{[alphabeta,gamma]} , = 0

β0Jα{displaystyle F^{alpha beta }{}_{,beta },=mu _{0}J^{alpha }}F^{alphabeta}{}_{,beta} , = mu_0 J^{alpha}


其中逗號表示對其做偏微分。第二個方程式暗示了電荷與電流元的守恆:


=0{displaystyle J^{alpha }{}_{,alpha },=0}J^alpha{}_{,alpha} , = 0

在廣義相對論的彎曲時空中,這些定律可用(許多物理學家覺得)吸引人的方式來推廣——就是將偏微分改成協變微分:



F[αβ]=0{displaystyle F_{[alpha beta ;gamma ]},=0}F_{[alphabeta;gamma]} , = 0

β0Jα{displaystyle F^{alpha beta }{}_{;beta },=mu _{0}J^{alpha }}F^{alphabeta}{}_{;beta} , = mu_0 J^{alpha}


其中分號;代表了協變微分,跟上面在平直時空所用的偏微分相互輝映。方程式的優美不受改變,僅僅需要將偏微分換成協變微分,這在廣義相對論常見的說法。這樣的方程式常被稱作是「彎曲時空下的馬克斯韋方程組」。一樣地,第二個方程式暗示著電荷與電流元的守恆(於彎曲時空中):


=0{displaystyle J^{alpha }{}_{;alpha },=0}J^alpha{}_{;alpha} , = 0


在量子電動力學與量子場論中的角色


在量子電動力學中的拉格朗日量是從相對論建立的古典拉格朗日量所延伸:L=ψ¯(iℏαmc2)ψ14μ0Fαββ,{displaystyle {mathcal {L}}={bar {psi }}(ihbar c,gamma ^{alpha }D_{alpha }-mc^{2})psi -{frac {1}{4mu _{0}}}F_{alpha beta }F^{alpha beta },}mathcal{L}=barpsi(ihbar c , gamma^alpha D_alpha - mc^2)psi -frac{1}{4 mu_0}F_{alphabeta}F^{alphabeta},以將光子以及電子的創生(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. 





Popular posts from this blog

澳門輕軌系統

水泉澳邨

Indian Forest Service