族谱网 头条 人物百科

诺特定理

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:948
转发:0
评论:0
定理的数学表述对该定理一种比较完善的表述方法为:解释上述命题中的“对称性”一词精确一点来说是指物理定律在满足某种技术要求的一维李群作用下所满足的协变性。物理量的守恒定律通常用连续性方程表达。定理的形式化命题仅从不变性条件就导出和一个守恒的物理量相应的流的表达式。该守恒量称为诺特荷,而该流称为诺特流。诺特流至多相差一个无散度向量场。应用诺特定理的应用帮助物理学家在物理的任何一般理论中通过分析各种使得所涉及的定律的形式保持不变的变换而获得深刻的洞察力。例如:对于物理系统对于空间平移的不变性(换言之,物理定律不随着空间中的位置而变化)给出了动量的守恒律;对于转动的不变性给出了角动量的守恒律;对于时间平移的不变性给出了著名的能量守恒定律。在量子场论中,和诺特定理相似,沃德-高桥恒等式(Ward-Takahashi)产生出更多的守恒定律,例如从电势和向量势的规范不变性得出电荷的守恒。诺特荷也被用于计...

定理的数学表述

对该定理一种比较完善的表述方法为:

解释

上述命题中的“对称性”一词精确一点来说是指物理定律在满足某种技术要求的一维李群作用下所满足的协变性。物理量的守恒定律通常用连续性方程表达。

定理的形式化命题仅从不变性条件就导出和一个守恒的物理量相应的流的表达式。该守恒量称为诺特荷,而该流称为诺特流。诺特流至多相差一个无散度向量场。

应用

诺特定理的应用帮助物理学家在物理的任何一般理论中通过分析各种使得所涉及的定律的形式保持不变的变换而获得深刻的洞察力。例如:

对于物理系统对于空间平移的不变性(换言之,物理定律不随着空间中的位置而变化)给出了动量的守恒律;

对于转动的不变性给出了角动量的守恒律;

对于时间平移的不变性给出了著名的能量守恒定律。

在量子场论中,和诺特定理相似,沃德-高桥恒等式(Ward-Takahashi)产生出更多的守恒定律,例如从电势和向量势的规范不变性得出电荷的守恒。

诺特荷也被用于计算静态黑洞的熵。

证明

设我们有一个n维流形M以及一个目标流形T。令C{\displaystyle {\mathcal {C}}}为从M到T的光滑函数组成的位形空间。(更一般的情况下,我们可以有一个M上的纤维丛的光滑截面)

物理学中这样的"M"的例子包括:

经典力学上,哈密顿表述中,M是一个一维流形R,代表时间而目标空间是广义位置的空间的余切丛。

场论中,M是时空流形,而目标空间是场在任何给定可取的值的集合。例如,如果有m个实值标量场,φ1,...,φm,则目标流形是R。若流形是一个实向量场,则目标流形同构于R。

现在设有一个泛函

称为作用量。(注意它在R{\displaystyle \mathbb {R} }中而非C{\displaystyle \mathbb {C} }中取值;这是有物理原因的,并且并不影响本证明。)

要得到通常版本的诺特定理,我们需要对作用量作额外的限制。我们假设S[φ]是M上的如下函数的积分

称为拉格朗日量,它依赖于φ,包括它在各点的导数和位置。换句话说, 对于C{\displaystyle {\mathcal {C}}}中的φ

设我们给出边界条件,也即,在M为紧致的情况下φ在边界的取值,或者在x趋向∞时,φ的极限。则C{\displaystyle {\mathcal {C}}}的由满足如下两个条件的的φ组成的子空间就是在壳解的子空间,其一是φ的S的泛函导数为零,也即:

其二是φ满足给定边界条件。(参看稳定作用量原理)

现在,假设我们有一个无穷小变换,定义在C{\displaystyle {\mathcal {C}}}上,它由一个泛函求导Q生成,满足

对于所有紧致子流形N成立,换句话讲(散度定理),

对于所有x成立,其中我们令L(x)=L[ϕ ϕ -->(x),∂ ∂ -->μ μ -->ϕ ϕ -->(x),x]{\displaystyle {\mathcal {L}}(x)={\mathcal {L}}[\phi (x),\partial _{\mu }\phi (x),x]}。

若这在在壳和离壳都成立,我们称Q生成一个离壳对称性。若只在在壳情况成立,称Q生成在壳对称性。 然后,我们称Q是单参数对称性李群的生成元。

现在,对于每个N,因为欧拉-拉格朗日方程,在壳(只有在壳)上,我们有

因为这对于所有N成立,我们有

但这无非就是对于如下的流的连续性方程

这被称为和该对称性相关的诺特流(Noether current)。该连续性方程说明如果对这个流在空间式切片上积分,就可以得到称为诺特荷的守恒量(当然,必须假定M非紧致时,该流趋向无穷远处时下降足够快)。

评论

诺特定理实际上是边界条件和变分原理的关系的反映。假设作用量没有边界项,诺特定理意味着

诺特定理是一个在壳定理。诺特定理的量子化版本是沃德-高桥恒等式。

假定我们有两个对称性求导Q1和Q2。则[Q1,Q2]也是一个对称性求导。显式德来看

(这个是否离壳或仅仅在壳成立无关紧要)。则,

其中f12=Q1[f2]-Q2[f1]。所以,

这表明我们可以(简单地)将诺特定理扩张到更大的李代数上。

证明的一般化

这个推理可以应用到任何求导过程Q,不只是对称性求导,也可以是更一般的泛函微分作用,包括拉格朗日量依赖于场的更高阶的导数以及非局部作用量的情况。令ε为任意时空(或时间)流形的光滑函数,满足其支撑的闭包和边界不交。ε是一个测试函数。则根据变分原理(附带说一下,它不适用于边界),由q[ε][φ(x)]=ε(x)Q[φ(x)]生成的求导分布q满足q[ε][S]=0对于任何在壳的ε成立,或者可以简写为q(x)[S]对于所有不在边界上的x(注意q(x)是求导分布的简写,通常不是用x参数化的求导)。这就是诺特定理的一般化。

要看出这个一般化和上面的版本如何对应,我们可以假设作用量就是只依赖于φ及其一阶导数的时空积分。并且,假设

(离壳或仅仅在壳都可以)。则,

对于所有ε成立。

更一般地讲,如果拉格朗日量依赖于高阶导数,则

例子

例1:能量守恒

我们来看一个特殊情况。假设有一个1维流形其拓扑结构为R (时间),坐标用t。设

(也即,在一个弯曲黎曼空间(但不是弯曲时空)中运动的一个牛顿质点,该空间度量为g,质点势能为V)。

取Q为时间平移的生成元。换句话说,Q[x(t)]=x˙ ˙ -->(t){\displaystyle Q[x(t)]={\dot {x}}(t)}。 [量子场理论学家经常在方程右边加上一个因子i]。 注意

这有如下形式

所以我们可以置

则,

可以认出右边就是能量,而诺特定理就是说j˙ ˙ -->=0{\displaystyle {\dot {j}}=0} (也即,能量守恒就是时间平移的不变性的结果)。

更一般的来讲,若拉格朗日量不显式依赖于时间,如下物理量

(称为哈密顿量)是守恒的。

例2:线性动量守恒

继续使用一维时间。这次,令

也即N个势能只依赖于两两相对位移的牛顿质点。

对于Q→ → -->{\displaystyle {\vec {Q}}},考虑平移变换的生成元(也即坐标系的变换)。换句话说,

注意

所以我们置

则,

诺特定理表明Ji→ → -->˙ ˙ -->=0{\displaystyle {\dot {\vec {J_{i}}}}=0} (说明每个方向上的总动量守恒来自该方向上的平移不变性).

例3

上面的两个例子都是在一维流形(时间)上的。下面我们来看一个时空中的例子,我们考虑(3+1)-闵可夫斯基时空中的无质量有一个四次势的标量场的共形变换。

取Q为时空缩放的生成元。换句话说,

右手边的第二项是由于φ的“共形权重”。注意

这有以下形式

(其中我们进行了空指标的变换)所以我们置

则,

诺特定理表明∂ ∂ -->μ μ -->jμ μ -->=0{\displaystyle \partial _{\mu }j^{\mu }=0} (可以直接将欧拉-拉格朗日方程代入左边验证)。

(另外:如果要找出该方程的沃德-高桥版本,你会遇到异常问题。)

参看

荷 (物理)

拉普拉斯-龙格-冷次向量

参考

诺特论文的英文译本

关于诺特定理的文章(英文),作者John Baez

诺特关于对称性和守恒定律之间的深刻关系的发现,作者Nina Byers

注解1:计算静态黑洞的熵(英文)

注解2:只用诺特定理得出麦克斯韦,杨-米尔斯和理论中的对称能动张量


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 卡诺定理
证明证明卡诺定理此定理可用以下的方式,针对不可逆热机及可逆热机的情形进行证明不可逆热机假设一不可逆热机,其热源为T1{\displaystyleT_{1}}及T2{\displaystyleT_{2}},其热效率为ηη-->{\displaystyle\eta},此热机和一个效率为ηη-->′′-->{\displaystyle\eta\prime}的逆卡诺热机,依右图的方式组合成一个热力学循环,不可逆热机产生的功为逆卡诺热机的工作来源。若ηη-->=ηη-->′′-->{\displaystyle\eta=\eta\prime},则此热力学循环对系不可逆性何影响,与不可逆性矛盾,因此不成立。若ηη-->>ηη-->′′-->{\displaystyle\eta>\eta\prime},则此热力学循环可由低温热源T2{\di...
· 特伦特·雷泽诺
外部链接官方网站
· 特尔诺沃
参考文献
· 波尔查诺-魏尔斯特拉斯定理
历史这个定理最早由伯纳德·波尔扎诺证明,当他在证明介值定理时,附带证明了这个定理,但是他的证明已经散佚。卡尔·魏尔施特拉斯独自发现并证明了这个定理。波尔扎诺-魏尔施特拉斯定理是实分析中的基本定理。基础概念子列:也称为子序列。一个序列(an)n∈∈-->N{\displaystyle(a_{n})_{n\in\mathbb{N}}}的一个子列是指在(an)n∈∈-->N{\displaystyle(a_{n})_{n\in\mathbb{N}}}中抽取无穷多个元素,然后按照它们在原来序列里的顺序排列起来的序列。严格的定义是:如果存在一个从N{\displaystyle\mathbb{N}}到N{\displaystyle\mathbb{N}}的严格单调递增的映射ϕϕ-->{\displaystyle\phi},使得bϕϕ-->(n)=an,∀∀-->n∈∈-->N{\displaystyle...
· 希尔伯特零点定理
定理陈述设k为域(如有理数域),K为k的代数封闭扩张(如复数域)。考虑多项式环k[X1,X2,...,Xn],设I为此环的一个理想。该理想定义了代数集V(I):其元素为K中的n-元组x=(x1,...,xn),使得对于I中所有的f满足f(x)=0。希尔伯特零点定理声明:如果p为k[X1,X2,...,Xn]中的多项式,并且在V(I)恒为零,即对于所有V(I)中的x有p(x)=0,那么存在一个自然数r使得p属于I。零点定理的一个直接推论是“弱零点定理”:k[X1,X2,...,Xn]的理想I包含单位元1当且仅当I中的多项式在K中没有公共零点。弱零点定理也可如下表述:如果I是k[X1,X2,...,Xn]的真理想,那么V(I)不是空集,即在k的任意代数封闭扩张中都存在一个满足理想中所有多项式的公共零点。这就是零点定理名称的由来,同时零点定理也可以通过拉比诺维奇技法从“弱”版轻松证得。在这里,考...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信