新起点
协变经典场论
2020-10-15 15:51:27

近年来,协变经典场论又引起了研究者的兴趣。动力学在这里用有限维空间的在时空中的给定时间点上的场来表述。射流丛现在被认为是这种表述的正确定义域。本文给出一阶经典场论的协变表述的一些几何结构。

本条目记法和射流丛条目所引入的一致。并令 Γ ¯ ( π ) {\displaystyle {\bar {\Gamma }}(\pi )} 表示有紧支撑的 π {\displaystyle \pi \,} 的截面。

一个经典场论数学上可以如下表述

1 {\displaystyle \star 1\,} 代表 M {\displaystyle M\,} 上的体积形式,则 Λ = L 1 {\displaystyle \Lambda =L\star 1\,} ,其中 L : J 1 π R {\displaystyle L:J^{1}\pi \rightarrow \mathbb {R} } 是拉格朗日量函数。我们在 J 1 π {\displaystyle J^{1}\pi \,} 上选择纤维化坐标 { x i , u α , u i α } {\displaystyle \{x^{i},u^{\alpha },u_{i}^{\alpha }\}\,} ,使得

作用量积分定义为

其中 σ Γ ¯ ( π ) {\displaystyle \sigma \in {\bar {\Gamma }}(\pi )} ,并定义于开集 σ ( M ) {\displaystyle \sigma ({\mathcal {M}})\,} ,而 j 1 σ {\displaystyle j^{1}\sigma \,} 代表其第一射流延长(jet prolongation)。

截面 σ Γ ¯ ( π ) {\displaystyle \sigma \in {\bar {\Gamma }}(\pi )\,} 的变分由曲线 σ t = η t σ {\displaystyle \sigma _{t}=\eta _{t}\circ \sigma \,} 给出,其中 η t {\displaystyle \eta _{t}\,} 是一个 E {\displaystyle {\mathcal {E}}\,} 上的 π {\displaystyle \pi \,} -竖直向量场 V {\displaystyle V\,} 的流,它在 M {\displaystyle {\mathcal {M}}\,} 上有紧支撑。截面 σ Γ ¯ ( π ) {\displaystyle \sigma \in {\bar {\Gamma }}(\pi )\,} 称为变分的驻点,如果

这等价于

其中 V 1 {\displaystyle V^{1}\,} 代表 V {\displaystyle V\,} 的第一延长,按李导数的定义。使用嘉当公式, L X = i X d + d i X {\displaystyle {\mathcal {L}}_{X}=i_{X}d+di_{X}\,} , 斯托克斯定理以及 σ {\displaystyle \sigma \,} 的紧支撑,可以证明这等价于

考虑一个 E {\displaystyle {\mathcal {E}}} π {\displaystyle \pi \,} -竖直向量场

其中 β α = β α ( x , u ) {\displaystyle \beta ^{\alpha }=\beta ^{\alpha }(x,u)\,} 。采用切触形式 θ j = d u j u i j d x i {\displaystyle \theta ^{j}=du^{j}-u_{i}^{j}dx^{i}\,} on J 1 π {\displaystyle J^{1}\pi \,} ,我们可以计算 V {\displaystyle V\,} 的第一延长。然后得到

其中 γ i α = γ i α ( x , u α , u i α ) {\displaystyle \gamma _{i}^{\alpha }=\gamma _{i}^{\alpha }(x,u^{\alpha },u_{i}^{\alpha })\,} 。据此,可以证明

因而

分部积分并考虑 σ {\displaystyle \sigma \,} 的紧支撑,临界条件变为

因为 β α {\displaystyle \beta ^{\alpha }\,} 为任意函数,我们得到

这些就是欧拉-拉格朗日方程组。

网站公告: