在说明具体问题之前,先约定一下标记的方法:“^”表示抗变指标;“_”表示协变指标;∂Q/∂x^μ=Q,μ;“:”表示求协变导数;希腊字母表示该指标可以取“0,1,2,3”;英文字母表示该指标可以取“1,2,3”;一个指标在一项里出现两次表示使用Einstein求和约定.
构造四维电磁张量首先是从真空中的Maxwell的电磁方程组出发,即:
▽·E=ρ/ε0
▽·B=0
▽×E=-∂B/∂t
▽×B=-1/c^2*∂E/∂t+μ0*j;c是真空中的光速,c=1/√(ε0*μ0);ε0,μ0分别表示真空中的介电和介磁常数.
引入辅助量电磁矢势A和标势φ:
B=▽×A;E=-▽φ-∂A/∂t
并按照Lorentz规范条件:
▽·A+1/c^2*∂φ/∂t=0
这样Maxwell方程组就可以写成关于矢势和标势的形式(“△”表示Laplace算符),即:
(△-1/c^2*∂/∂t)A=-μ0*j
(△-1/c^2*∂/∂t)φ=-ρμ0*c^2;ρ代表电荷密度,j表示三维电流密度矢量.
这样,三维电流密度矢量,和电荷密度可以构成四维电流密度矢量J^μ,即:
J^μ=(ρc,ij);J^0=ρc,J^1=i*j1;J^2=i*j2;J^3=i*j3
电磁矢势和表示构成四维电磁矢势A^μ,即:
A^μ=(φ/c,iA),其中i是虚实算符,即i^2=-1;
A^0=φ/c;A^1=i*A1;A^2=i*A2;A^3=i*A3
利用D'Alembert算符四维电磁矢势满足的Maxwell方程可以简记为:
□A^μ=-μ0*J^μ;□=△-1/c^2*∂^2/∂t^2
因此引入反称张量F_μν=A_μ,ν-A_ν,μ
再由A_μ=g_μν*A_ν,可知:
E^1=-A^1,0-A^0,1=A_1,0-A_0,1=F_10=-F^10
B^1=A^3,2-A^2,3=-A_3,2+A_2,3=F_23=F^23
于是由Maxwell方程组的第一,第四式可知:
F^μν,ν=μ0*J^μ.(1)
由Maxwell方程组的第二,第三式可知:
F^μν,σ+F^νσ,μ+F^σμ,ν=0.(2)
现在只要将(1),(2)过度到协变方程即可.
对于(1)式,由协变微分的法:
A_μ:ν-A_ν:μ=A_μ,ν-Γ^ρ_μν*A_ρ-(A_ν,μ-Γ^ρ_μν*A_ρ)=A_μ,ν-A_ν,μ
由于:F^μν=A_μ,ν-A_ν,μ,因此(1)可以直接过渡到协变方程,即:
F^μν=A_μ:ν-A_ν:μ
F^μν:ν=μ0*J^μ
对于(2)式,由协变微分法:
F_μν:σ=F_μν,σ-Γ^α_μσ*F_αν-Γ^α_νσ*F_μα
F_νσ:μ=F_νσ,μ-Γ^α_νμ*F_ασ-Γ^α_σμ*F_να
F_σμ:ν=F_σμ,ν-Γ^α_σν*F_αμ-Γ^α_σν*F_σα
将上面三式相加,并注意到反称张量F_μν=-F_νμ,所以有:
F_μν:σ+F_νσ:μ+F_σμ:ν=F^μν,σ+F^νσ,μ+F^σμ,ν=0
这样便将Maxwell方程组过渡到了四维协变方程组,即:
F^μν=A_μ:ν-A_ν:μ
F^μν:ν=μ0*J^μ
F_μν:σ+F_νσ:μ+F_σμ:ν=0
另外,张量的定义就是:
T^μ'ν'_α'β'γ'=x^μ'_μ*x^ν'_ν*x^α_α'*x^β_β'*x^γ_γ'*T^μν_αβγ
对于一个有n个抗变指标和m个协变指标的量,凡是满足上面的变换方式的就都是张量,矢量是只有一个指标的张量.