诺特定理

title: 定理的数学表述.
content: 对该定理一种比较完善的表述方法为:
title: 解释.
content: 上述命题中的“对称性”一词精确一点来说是指物理定律在满足某种技术要求的一维李群作用下所满足的协变性。物理量的守恒定律通常用连续性方程表达。  定理的形式化命题仅从不变性条件就导出和一个守恒的物理量相应的流的表达式。该守恒量称为"诺特荷",而该流称为"诺特流"。诺特流至多相差一个无散度向量场。
title: 应用.
content: 诺特定理的应用帮助物理学家在物理的任何一般理论中通过分析各种使得所涉及的定律的形式保持不变的变换而获得深刻的洞察力。例如:  在量子场论中,和诺特定理相似,沃德-高桥恒等式(Ward-Takahashi)产生出更多的守恒定律,例如从电势和向量势的规范不变性得出电荷的守恒。  诺特荷也被用于计算静态黑洞的熵。
title: 证明.
content: 设有一个n维流形M以及一个目标流形T。令formula_1为从M到T的光滑函数组成的位形空间。(更一般的情况下,可以有一个M上的纤维丛的光滑截面)  物理学中这样的"M"的例子包括:  现在设有一个泛函  称为作用量。(注意它在formula_3中而非formula_4中取值;这是有物理原因的,并且并不影响本证明。)  要得到通常版本的诺特定理,需要对作用量作额外的限制。假设S[φ]是M上的如下函数的积分  称为拉格朗日量,它依赖于φ,包括它在各点的导数和位置。换句话说, 对于formula_1中的φ  若能给出边界条件,也即,在M为紧致的情况下φ在边界的取值,或者在x趋向∞时,φ的极限。则formula_1的由满足如下两个条件的的φ组成的子空间就是在壳解的子空间,其一是φ的S的泛函导数为零,也即: 其二是φ满足给定边界条件。(参看稳定作用量原理)  现在,假设有一个无穷小变换,定义在formula_1上,它由一个泛函求导Q生成,满足  对于所有紧致子流形N成立,换句话讲(散度定理),  对于所有"x"成立,其中令formula_13。  若这在在壳和离壳都成立,则称"Q"生成一个离壳对称性。若只在在壳情况成立,称"Q"生成在壳对称性。 并且,称"Q"是单参数对称性李群的生成元。  现在,对于每个"N",因为欧拉-拉格朗日方程,在壳(只有在壳)上,可以有 因为这对于所有"N"成立,所以有  但这无非就是对于如下的流的连续性方程 这被称为和该对称性相关的诺特流(Noether current)。该连续性方程说明如果对这个流在空间式切片上积分,就可以得到称为诺特荷的守恒量(当然,必须假定M非紧致时,该流趋向无穷远处时下降足够快)。
title: 评论.
content: 诺特定理实际上是边界条件和变分原理的关系的反映。假设作用量没有边界项,诺特定理意味着  诺特定理是一个在壳定理。诺特定理的量子化版本是沃德-高桥恒等式。  假定有两个对称性求导Q和Q。则[Q,Q]也是一个对称性求导。显式地来看  及  (这个是否离壳或仅仅在壳成立无关紧要)。则,  其中f=Q[f]-Q[f]。所以,  这表明可以(简单地)将诺特定理扩张到更大的李代数上。
title: 证明的一般化.
content: 这个推理可以应用到"任何"求导过程Q,不只是对称性求导,也可以是更一般的泛函微分作用,包括拉格朗日量依赖于场的更高阶的导数以及非局部作用量的情况。令ε为任意时空(或时间)流形的光滑函数,满足其支撑的闭包和边界不交。ε是一个测试函数。则根据变分原理(附带说一下,它"不"适用于边界),由q[ε][φ(x)]=ε(x)Q[φ(x)]生成的求导分布q满足q[ε][S]=0对于任何在壳的ε成立,或者可以简写为q(x)[S]对于所有不在边界上的x(注意q(x)是求导"分布"的简写,通常不是用x参数化的求导)。这就是诺特定理的一般化。  要看出这个一般化和上面的版本如何对应,可以假设作用量就是只依赖于φ及其一阶导数的时空积分。并且,假设  (离壳或仅仅在壳都可以)。则,  对于所有ε成立。  更一般地讲,如果拉格朗日量依赖于高阶导数,则
title: 例子.
title: 例1:能量守恒.
content: 考虑一个特殊情况:<br><br> 设有一个质量为"m",坐标为"x",在势能"V"影响下运动,坐标为"t"的牛顿粒子。其作用量"S"为: (也即,在一个弯曲黎曼空间(但不是弯曲时空)中运动的一个牛顿质点,该空间度量为"g",质点势能为"V")。  取"Q"为时间平移的生成元。换句话说,formula_26。 [量子场理论学家经常在方程右边加上一个因子"i"]。 注意  这有如下形式  所以可以令  则,  可以认出右边就是能量,而诺特定理就是说formula_30 (也即,能量守恒就是时间平移的不变性的结果)。  更一般的来讲,若拉格朗日量不显式依赖于时间,如下物理量  (称为哈密顿量)是守恒的。
title: 例2:线性动量守恒.
content: 继续使用一维时间。这次,令  也即"N"个势能只依赖于两两相对位移的牛顿质点。  对于formula_32,考虑平移变换的生成元(也即坐标系的变换)。换句话说,  注意  所以令  则,  诺特定理表明formula_38 (说明每个方向上的总动量守恒来自该方向上的平移不变性).
title: 例3.
content: 上面的两个例子都是在一维流形(时间)上的。下面来探讨一个时空中的例子,若考虑(3+1)-闵可夫斯基时空中的无质量有一个四次势的标量场的共形变换。  取"Q"为时空缩放的生成元。换句话说,  右手边的第二项是由于φ的“共形权重”。注意  这有以下形式(其中进行了空指标的变换)  并令以下  则,  诺特定理表明formula_45 (可以直接将欧拉-拉格朗日方程代入左边验证)。  (注:如果要找出该方程的沃德-高桥版本,会遇到异常问题。)

Summary: 诺特定理是理论物理的中心结果之一,它表达了连续对称性和守恒定律的一一对应。例如,物理定律不随着时间而改变,这表示它们有关于时间的某种对称性。举例来说,若现实中重力的强度每天都有所改变,就会违反能量守恒定律,因为观察者可以在重力弱的那天把重物举起,然后在重力强的时候放下来,这样就得到了比一开始输入的能量更多的能量。

Noether's theorem: Noether's theorem or Noether's first theorem states that every differentiable symmetry of the action of a physical system has a corresponding conservation law. The theorem was proven by mathematician Emmy Noether in 1915 and published in 1918, after a special case was proven by E. Cosserat and F. Cosserat in 1909. The action of a physical system is the integral over time of a Lagrangian function (which may be an integral over space of a Lagrangian density function), from which the system's behavior can be determined by the principle of least action. This theorem only applies to continuous and smooth symmetries over physical space.