欢迎光临散文网 会员登陆 & 注册

《二卷》对称的能动密度张量推导

2023-05-25 04:44 作者:Schlichting  | 我要投稿

朗道和利弗希兹在《二卷》的%5CS%5C%0A%2094%0A里给出了对称的能动密度张量T%5E%7B%5Cmu%20%5Cnu%7D的表达式,这里我尝试用微分几何和Noether定理来给出说明。

一. 张量密度及其导数

为了之后方便表述, 先给出张量密度的概念。

由微分流形上的积分理论可知,在度规张量场g下,4维Semi - Riemannian流形下的体元可以表示为d%5COmega'%20%3D%20%5Csqrt%7B%5Cvert%20G%20%5Cvert%7D%20dx%5E0%20dx%5E1%20dx%5E2%20dx%5E3%20%2C%20G%3Ddet(g%5E%7B%5Cmu%20%5Cnu%7D), 这里度规不一定是正定的,因此取绝对值。则标量的积分可写为%5Cint%20%5CLambda%20d%5COmega'%20%3D%5Cint%20%5CLambda%20%5Csqrt%7B%5Cvert%20G%20%5Cvert%7D%5C%20dx%5E0%20dx%5E1%20dx%5E2%20dx%5E3%3D%5Cint%20%5Ctilde%7B%5CLambda%7Dd%5COmega, 其中%5Ctilde%7B%5CLambda%7D称为标量密度,一般张量密度可表示为%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%3D%20%5Csqrt%7B%5Cvert%20G%20%5Cvert%7D%20%5C%20T%5E%7B%5Cmu%20%5Cnu%7D,以上加tilde表示。

记在该度规下协变导数为%5Cnabla_%7Be_%7B%5Cmu%7D%7D%3D%5Cnabla_%7B%5Cmu%7D,则根据联络系数%5CGamma%5E%7Ba%7D_%7Bbc%7D和度规分量g_%7Bij%7D的关系,可以导出如下的关于张量密度的散度公式:

%5Cnabla_%7B%5Cmu%7D%20A%5E%7B%5Cmu%7D%3DA%5E%7B%5Cmu%7D_%7B%5C%20%3B%5Cmu%7D%3D%5Cfrac%7B1%7D%7B%5Csqrt%7B%5Cvert%20G%20%5Cvert%20%7D%7D%20%5Cpartial_%7B%5Cmu%7D%20%5Ctilde%7BA%5E%7B%5Cmu%7D%7D%3D%5Cfrac%7B1%7D%7B%5Csqrt%7B%5Cvert%20G%20%5Cvert%20%7D%7D%5Ctilde%7BA%7D%5E%7B%5Cmu%7D_%7B%5C%20%2C%5Cmu%7D%20%5Cnabla_%7B%5Cnu%7D%20T%5E%7B%5Cmu%20%5Cnu%7D%3D%5Cfrac%7B1%7D%7B%5Csqrt%7B%5Cvert%20G%20%5Cvert%20%7D%7D%20%5Cpartial_%7B%5Cnu%7D%5Ctilde%7B%20T%7D%5E%7B%5Cmu%20%5Cnu%7D,其中协变导数用分号表示,普通偏导用逗号表示,下文记法一致。

同时还有高斯公式等,这里不再叙述。

二. 物质场作用量等的变分

配合书里的内容,记物质场作用量为S%3D%5Cint%20%20%5Ctilde%7B%5CLambda%7D%20d%5COmega,其中%5Ctilde%7B%5CLambda%7D为拉格朗日量标量密度。在局部坐标系x下,变量分量形式为%5Ctilde%7B%5CLambda%7D(x)%3D%20%5Ctilde%7B%5CLambda%7D(%5Cpsi_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cnabla_%7Bl%7D%5Cpsi_%7B%5Cmu%20%5Cnu%7D(x)%2C%20g_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cpartial_%7Bl%7D%20g_%7B%5Cmu%20%5Cnu%7D(x)),其中%5Cpsi为物质场的运动量,g_%7B%5Cmu%20%5Cnu%7D(x)为场度规在x坐标系下的分量。

现在考虑无穷小坐标变换y%5E%7B%5Cmu%7D%3Dx%5E%7B%5Cmu%7D%2B%5Cxi%20%5E%7B%5Cmu%7D%20,由x系变为y系,%5Cxi%20%5E%7B%5Cmu%7D%20为微小变量,是一个光滑切向量场%5Cxi在局部坐标系x的分量。

按如下方式定义量的变分:考虑坐标变换导致的差值,设%5Cxi生成的单参数变化群为%5C%7B%5Cphi%20(t)%5C%7Dx系 - y系变换为其诱导坐标变换,记其拉回映射的分量为 (%5Cphi%20(t)%5E*g)_%7B%5Cmu%20%5Cnu%7D(x)%3Dg_%7B%5Cmu%20%5Cnu%7D'(x),其余类似,则有:%5Cdelta%20S%3DS(y)-S(x)%20%3D%5Cint%20(%5Cdelta%20%20%5Ctilde%7B%5CLambda%7D)%20d%5COmega%EF%BC%8C

%5Cdelta%20%20%5Ctilde%7B%5CLambda%7D%3D%5Ctilde%7B%5CLambda%7D(%5Cpsi_%7B%5Cmu%20%5Cnu%7D'(y)%2C%20%5Cnabla_%7Bl%7D%5Cpsi_%7B%5Cmu%20%5Cnu%7D'(y)%2C%20g_%7B%5Cmu%20%5Cnu%7D'(y)%2C%20%5Cpartial_%7Bl%7D%20g_%7B%5Cmu%20%5Cnu%7D'(y))-%5Ctilde%7B%5CLambda%7D(%5Cpsi_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cnabla_%7Bl%7D%5Cpsi_%7B%5Cmu%20%5Cnu%7D(x)%2C%20g_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cpartial_%7Bl%7D%20g_%7B%5Cmu%20%5Cnu%7D(x))

%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D(x)%3D%5Clim_%7Bt%5Cto0%7D%20((%5Cphi%20(t)%5E*g)_%7B%5Cmu%20%5Cnu%7D-%20g_%7B%5Cmu%20%5Cnu%7D)(x)%3D%5Cfrac%7Bd%7D%7Bdt%7D(%20(%5Cphi%20(t)%5E*g)_%7B%5Cmu%20%5Cnu%7D)(x)%20%3D(L_%7B%5Cxi%7D%20g)_%7B%5Cmu%20%5Cnu%7D(x)%5Cdelta(%20%5Cpartial_%7Bl%7D%20g_%7B%5Cmu%20%5Cnu%7D(x))%3D%20(L_%7B%5Cxi%7D%5Cpartial_%7Be_l%7D%20g)_%7B%5Cmu%20%5Cnu%7D(x)%3D%20%5Cpartial_%7Bl%7D%20(%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D(x)),其中L_%7B%5Cxi%7D%20按照定义为Lie导数,其余的量类似。变分与偏导对易的原因为,虽然交换后偏导可能变为协变导数,因为这里%5Cxi不是Killing场,L_%7B%5Cxi%7D%20g%20%5Cneq%200,但是由于在Semi - Riemannian流形下%20g_%7B%5Cmu%20%5Cnu%3Bl%7D(x)%3D%3D0,因此导数只可能是普通偏导,因而可对易。一般而言变分的定义为Lie导数,由单参群给出。

根据Lie导数的性质,可知-%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D(x)%3D-(L_%7B%5Cxi%7D%20g)_%7B%5Cmu%20%5Cnu%7D(x)%3D%5Cnabla_%7B%5Cmu%7D%7B%5Cxi%7D_%7B%5Cnu%7D%2B%5Cnabla_%7B%5Cnu%7D%7B%5Cxi%7D_%7B%5Cmu%7D,可以从泰勒展开或者Lie导数求值公式得出,此处不具体展开。

三. 具体变分计算

由最小作用量原理可知,在%5Cdelta%20S%3D0下可以对描述运动的量%5Cpsi得出相应的欧拉-拉格朗日方程%5Cfrac%7B%5Cpartial%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20g_%7B%5Cmu%20%5Cnu%7D%20%7D%20-%20%5Cpartial_l%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20%3D0%20%20%20%20,因此这里可以忽略量%5Cpsi而只研究度规g的分量变化对作用量变分的影响。

由此,拉格朗日量标量密度变为%5Ctilde%7B%5CLambda%7D(x)%3D%20%5Ctilde%7B%5CLambda%7D(%20g_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cpartial_%7Bl%7D%20g_%7B%5Cmu%20%5Cnu%7D(x))。而因为S是标量,因此其在坐标变换下不变,即%5Cdelta%20S%3DS(y)-S(x)%20%3D0总是成立,是为第一条件。

现在可以用这个条件将%5Cdelta%20%20%5Ctilde%7B%5CLambda%7D分为两部分%5Cdelta%20%20%5Ctilde%7B%5CLambda%7D%3D%5Cdelta_1%20%20%5Ctilde%7B%5CLambda%7D%2B%5Cdelta_2%20%20%5Ctilde%7B%5CLambda%7D,其中%5Cdelta_1%20%20%5Ctilde%7B%5CLambda%7D%3D%5Ctilde%7B%5CLambda%7D(g_%7B%5Cmu%20%5Cnu%7D'(y)%2C%20%5Cpartial_%7Bl%7D%20g_%7B%5Cmu%20%5Cnu%7D'(y))-%5Ctilde%7B%5CLambda%7D(g'_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cpartial_%7Bl%7D%20g'_%7B%5Cmu%20%5Cnu%7D(x))为坐标变换的诱导变分,

%5Cdelta_2%20%20%5Ctilde%7B%5CLambda%7D%3D%5Ctilde%7B%5CLambda%7D(%20g%E2%80%99_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cpartial_%7Bl%7D%20g'_%7B%5Cmu%20%5Cnu%7D(x))-%5Ctilde%7B%5CLambda%7D(g_%7B%5Cmu%20%5Cnu%7D(x)%2C%20%5Cpartial_%7Bl%7D%20g_%7B%5Cmu%20%5Cnu%7D(x))%3D(L_%7B%5Cxi%7D%5Ctilde%7B%5CLambda%7D)%20(x)为对分量的变分。

由条件可知,%5Cdelta_1%20S%3D%5Cint%20(%5Cdelta_1%20%20%5Ctilde%7B%5CLambda%7D)%20d%5COmega%3D0,因此只需要考虑拉回映射导致的变分即可。

根据一般的变分理论,可计算得出%5Cdelta_2%20%20%5Ctilde%7B%5CLambda%7D(x)%3D%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20g_%7B%5Cmu%20%5Cnu%7D%20%7D%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D(x)%20%2B%20%20%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20%5Cdelta%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20(x)%20%20%20%20%20%20,利用前文的对易性有%5Cdelta_2%20%20%5Ctilde%7B%5CLambda%7D%3D%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20g_%7B%5Cmu%20%5Cnu%7D%20%7D%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D%2B%20%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20%5Cpartial_l(%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D)%20%20%20%20%20%20,这里默认在x系内计算。

打开偏导数有%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20%5Cpartial_l(%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D)%20%20%20%20%20%20%3D%5Cpartial_l(%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D)%20-(%5Cpartial_l%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20)%20(%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D)%20,第一项根据高斯公式以及物理场变分的基础边界条件,易知%5Cint%20%5Cpartial_l(%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D)%20d%5COmega%20%3D0,于是作用量的变分化为%5Cdelta%20S%3D%5Cdelta_2%20S%3D%5Cint%20(%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20g_%7B%5Cmu%20%5Cnu%7D%20%7D-%5Cpartial_l%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%20)%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D%20d%5COmega%3D0

定义能动密度张量密度的分量为a%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%3D%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20g_%7B%5Cmu%20%5Cnu%7D%20%7D-%5Cpartial_l%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D,其中a为量纲系数。从度规的对称性可知%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%3D%5Ctilde%7BT%7D%5E%7B%5Cnu%20%5Cmu%7D,即它必然是对称的。

带入作用量有%5Cdelta%20S%3D%5Cint%20a%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%5Cdelta%20g_%7B%5Cmu%20%5Cnu%7D%20d%5COmega%3D%5Cint%20a%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D(%5Cnabla_%7B%5Cmu%7D%7B%5Cxi%7D_%7B%5Cnu%7D%2B%5Cnabla_%7B%5Cnu%7D%7B%5Cxi%7D_%7B%5Cmu%7D)%20d%5COmega%3D0。利用%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D的对称性可以将后面的求和改写为%5Cdelta%20S%3D%5Cint%202a%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%20%7B%5Cxi%7D_%7B%5Cmu%3B%5Cnu%7D%20d%5COmega%3D0,即做对称化运算。

这里如此定义坐标变换下的Noether流密度:%5Ctilde%7BJ%5E%7B%5Cmu%7D%7D%3D%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%20%7B%5Cxi%7D_%7B%5Cmu%7D%20,由一中的结论易得%5Cpartial_%7B%5Cmu%7D%20%5Ctilde%7BJ%5E%7B%5Cmu%7D%7D%3D%7B%5Csqrt%7B%5Cvert%20G%20%5Cvert%20%7D%7D%5C%20%5Cnabla_%7B%5Cmu%7D%20J%5E%7B%5Cmu%7D%20%20%3D%7B%5Csqrt%7B%5Cvert%20G%20%5Cvert%20%7D%7DT%5E%7B%5Cmu%20%5Cnu%7D_%7B%5C%20%3B%5Cnu%7D%20%7B%5Cxi%7D_%7B%5Cmu%7D%20%2B%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%20%7B%5Cxi%7D_%7B%7B%5Cmu%7D%3B%7B%5Cnu%7D%7D%20,其中J%5E%7B%5Cmu%7D%3DT%5E%7B%5Cmu%20%5Cnu%7D%20%7B%5Cxi%7D_%7B%5Cmu%7D%20为普通Nother流,全部都是在x系内计算。根据Noether定理,Noether流守恒,这里表现为%5Cint%20%5Cpartial_%7B%5Cmu%7D%20%5Ctilde%7BJ%5E%7B%5Cmu%7D%7D%20d%5COmega%3D0,再加上%5Cint%202a%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%20%7B%5Cxi%7D_%7B%5Cmu%3B%5Cnu%7D%20d%5COmega%3D0即可得出物质场的守恒律T%5E%7B%5Cmu%20%5Cnu%7D_%7B%5C%20%3B%5Cnu%7D%3D0

当然此处的量纲系数可以通过与其他已知系统对比得出,比如电磁场能动密度张量T%5E%7B%5Cmu%20%5Cnu%7D%3D%5Cfrac%7B1%7D%7B4%20%5Cpi%7D(-F%5E%7B%5Cmu%20l%7DF%5E%7B%5Cnu%20%7D_%7B%5C%20l%7D%2B%5Cfrac%7B1%7D%7B4%7Dg%5E%7B%5Cmu%20%5Cnu%7DF%5E%7Bij%7DF_%7Bij%7D)%5CLambda%3D%20-%5Cfrac%7B1%7D%7B16%20%5Cpi%7Dg%5E%7B%5Cmu%20i%7Dg%5E%7B%5Cnu%20j%7DF_%7B%5Cmu%20%5Cnu%7DF_%7Bij%7D。可证明a%3D%5Cfrac%7B1%7D%7B2c%7D,其中c是光速。

于是若不考虑相对论下的作用量表示,物质场对空间几何的对称的能动密度张量定义为%5Cfrac%7B1%7D%7B2c%7D%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D%3D%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20g_%7B%5Cmu%20%5Cnu%7D%20%7D-%5Cpartial_l%20%5Cfrac%7B%5Cpartial%20%20%5Ctilde%7B%5CLambda%7D%7D%7B%5Cpartial%20%20g_%7B%5Cmu%20%5Cnu%20%2Cl%7D%20%7D%5Ctilde%7B%5CLambda%7D为拉格朗日量标量密度g_%7B%5Cmu%20%5Cnu%7D为场度规坐标系下的分量。

四. 能动赝张量的引入

由Noether定理易得,对于一个系统而言,其守恒律应表现为%5Ctilde%7BT%7D%5E%7B%5Cmu%20%5Cnu%7D_%7B%5C%20%2C%5Cnu%7D%3D0,而非上文中的物质场守恒律T%5E%7B%5Cmu%20%5Cnu%7D_%7B%5C%20%3B%5Cnu%7D%3D0。对于那些%5Csqrt%7B%5Cvert%20G%20%5Cvert%7D%20%3D1的空间而言,比如闵可夫斯基四维时空,两者是相同的 ,但对于%5Csqrt%7B%5Cvert%20G%20%5Cvert%7D%20%5Cneq%201的空间就不相同了,因此明显我们在这里遗漏了场本身的能动密度张量,对于引力场而言就是能动赝张量。关于这个内容可以参考我的另一篇专栏 CV20450046


本文是根据朗道所用的方法,加上个人对梁老师书上所写的内容的理解所给出的推导,如果有错还请大家指出,感谢。









《二卷》对称的能动密度张量推导的评论 (共 条)

分享到微博请遵守国家法律