|Emmy Noether 著 曹则贤 译

本文选自《物理》2020年第5期

译者的话

物理学史上有一些划时代的论文，学物理的人如果早点读到会大受启发，比如1824 年卡诺的(热力学原理)，1834 年克拉贝隆的(卡诺循环)，1856 年克劳修斯的(熵概念)，1861—1862 年麦克斯韦的(电磁学)，1887 年玻尔兹曼的(统计力学)，1900 年普朗克的(黑体辐射)，1905 年爱因斯坦的(运动物体的电动力学)，1928 年狄拉克的(相对论量子力学)，1929 年外尔的(规范场论)，等等。还有一类，是数学文章，但是能给物理带来划时代的影响。这样的文章，有克莱洛关于曲率的，黎曼关于几何基础的，列维-齐维塔关于联络的，等等。这其中，有一篇是来自一位女性科学家的，即艾米·诺特1918 年在菲利克斯·克莱因(Felix Klein，1849—1925)获得博士学位50 周年纪念活动上宣读的一篇文章，Invariante Variationsprobleme(不变变分问题)。这篇文章绝对是数理史上划时代的一篇，包含诺特定理，即传说中的对称性与守恒律的对应，此一理论物理的基石。此文一出，理论物理便有了不同的味道与深度。爱因斯坦对此文的评价是，I'm impressed that such things can be understood in such a general way(这种事情还能以这种一般的方式理解，这令我印象深刻)。

诺特(Emmy Noether，1882—1935)，德国女数学家，近世代数的奠基人之一，有抽象代数之母的美誉。其父Max Noether 是埃尔朗恩大学的数学教授。艾米少年时并未对数学有明显的兴趣，1900 年通过了英语和法语的国家考试，职业定位是到女子中学去做一名教师。1903 年，21 岁的艾米进入埃尔朗恩大学学习，1907 年即获得数学博士学位，导师为代数名家戈尔丹(Paul Gordan，1837—1912)。1909 年艾米蒙数学大神克莱因(Felix Klein，1849—1925)和希尔伯特(David Hilbert，1862—1943)召唤入哥廷恩大学，那时她已是differentialinvariant(微分不变量。希尔伯特研究过)领域的大人物了——此时离她进入大学学数学不过短短的6 年。1915 年6 月20 日在两位大神的鼎力推动下，艾米通过了Habilitation 【译者注：德国的学者升迁制度。有博士学位的申请者凭过去2—3 年内独立获得的成果通过该项答辩后，其博士头衔可写为Habil. Dr.，可任私俸讲师，且可以等候教授位置，但必须是其他学校提供的教授位置——这有效地避免了当地学术界黄鼠狼生老鼠的闹剧】，但是向普鲁士教育部申请的法律特许却未获批准，故这次Habilitation 无效。此后，艾米作为希尔伯特的助手在哥廷恩大学从事教学和研究活动。1919年，一战后的普鲁士帝国垮台，妇女地位改善，艾米才算通过了Habilitation，成了德国数学史上通过Habilitation 的第一位女性。艾米1922 年获得一个编外教授职位，但一直没拿到正式教授位置。艾米1933 年移居美国，1935 年因手术引起并发症去世，享年仅仅53 岁。艾米把自己不算长的一生都交给了她热爱的数学事业，终身未婚未恋。

艾米直到1919 年一直研究不变理论。艾米的导师戈尔丹曾被称为“Konig der Invarianten (不变之王)”，她在哥廷恩的前辈同事希尔伯特、同辈朋友外尔(HermannWeyl，1885—1955)都是不变理论的大家。不变量理论，愚以为，是学物理者应该尽早掌握的一门学问。所谓相对论，本质是绝对论，其数学基础就是不变理论。基于贝尔特拉米(Eugenio Beltrami, 1835—1900)不变理论，会明白爱因斯坦广义相对论场方程左侧几何性质的部分——爱因斯坦说那是象牙做的——只有那种选择。笔者今特将艾米·诺特的这篇关于不变理论的划时代文章翻译出来，以供吾国未来之物理学家先睹为快。顺带说一句，读书先认字。欲学数学和物理者，英、德、法、俄语不妨多少掌握一点，对数学和物理史感兴趣者，可适当再掌握一点希腊、拉丁和阿拉伯语，对数学和物理研究进展感兴趣者，恐怕再懂点日语也是必要的。不认字的学者，不是一般人能做得来的。

艾米的这篇论文正式发表在哥廷恩科学协会通报上，Emmy Noether, Invariante Variationsprobleme(不变变分问题)，Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen，Mathematisch-Physikalische Klasse，235-257(1918)；在同一期里，还有艾米的另一篇，Emmy Noether, Invarianten beliebiger Differentialausdrücke (任意微分表达的不变量)，Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse，37-44(1918)；以及Felix Klein 的两篇，分别是Felix Klein，Über die Differentialgesetze für Erhaltung von Impuls und Energie in der Einsteinschen Gravitationstheorie，(针对爱因斯坦引力理论中的动量与能量守恒的微分法则)，Nachrichten von der Gesellschaft der Wissenschaftenzu Göttingen，Mathematisch-Physikalische Klasse，171-189(1918)；Felix Klein, Über die Integralform der Erhaltungsgesetze und die Theorie der räumlich-geschlossenen Welt(守恒律的积分形式和闭合世界理论)， Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch- Physikalische Klasse，394-423(1918). 这四篇是同样主题的论文，互相补充，译者以为我们学物理的如果想弄清楚对称与守恒率的问题——这对场论的学习可太重要了——这四篇论文应该一起参详【译者注：有机会我将把这四篇都译出来】。实际上，艾米在这篇文章中提到的克莱因的第二篇，指的应是上述守恒律的积分形式这一篇。克莱因这是把守恒律的微分形式、积分形式都讨论了，参考电磁学的积分形式、微分形式以及协变形式，这样全面看问题的方式在中学就该教给我们的年轻人。

不得不说，艾米大姐的德语写作是太差了点——行文显得有点随意，前后不一，而且标点符号极具误导性。与此相对，爱因斯坦的德语就好懂得多。本文有英文译文(M. A. Tavel, Invariant variation problems,Transport theory and statistical physics 1(3), 183-207(1971))，但只是字面上随便凑合的(德译英几乎可以逐字对应)而不问数学内容与逻辑上对与不对，比如把Umformung (对方程的改造)也当成了关键词die Transformation (变换) 给译成了transformation；直接将erschöpft 译成exhausted，而实际上作者是在强调群的完备性。限于译者的德语与数学水平，本译文错误难免，请读者朋友参照其它文本并基于自己数学的知识认真参详。

关于此篇译文，有几点需要事先澄清。

1) Erster Integral, first integral, 汉译经典力学一般将其译为第一积分。但是，first integral, second integral···是指第一次积分的结果、第二次积分的结果，如果译成第一、第二积分，会让人认为是独立对象的某种排序。反正笔者当年就是这么误解的。笔者此处将之译为一次积分，希望读者会自然想到还有二次积分、三次积分······。

2) 本译文中，das Argument，英文argument，我不知道怎么译，就保留原样了——不知道我国数学家是怎么处理的。对于函数y = y(x) ，这个argument x 汉译成函数的变量含含糊糊也就算了。但是对于函数Φ(x -y, x2 + y2 -1) ，变量，variables，是x和y，但是Φ 的两个arguments分别是x-y和x2 + y2 -1 。

3) 关于eigentlicher Energiesatz 和uneigentlicher Energiesatz。Eigen，德语，自身的意思，量子力学里有大家熟悉的Eigenwert, Eigenfunktion 的说法，英语照写为eigenvalue，eigenfunction，汉译本征值、本征函数。Eigentlich，英译proper，其实proper 就是拉丁语的eigen，自己的；improper，非自己的。在相对论中，proper time 被汉译为固有时，其实就是运动粒子自己经历的时间，没大毛病。Proper (improper)，汉英字典一般译为(不)恰当的、(不)合适的，确实是不恰当的、不合适的。本文中提及守恒律用eigentlicher，uneigentlicher 来修饰，就是强调其是属于所允许的这个群自己的，还是属于所允许的更大的群的。基于此，我将之译为“自己的”和“非自己的”。

年轻的姑娘，你、你真年轻。—— 《冰山上的来客》

摘要 本文探讨一类允许(李群意义上的)连续群的变分问题，由此得出的关于所属微分方程的结论会在第一节中作为定理给出一般性表述，在接下来的几节中予以证明。关于由变分问题引发的微分方程会有比关于任意的、允许群变换的微分方程精确得多的论述，后者构成了当前李分析的内容。本文会用到变分的形式计算同李群方法的结合。对于特殊群与变分问题，这样的方法结合并不是什么新鲜事物，这方面此前有Hamel和Herglotz关于特殊有限群的工作，Lorentz 和他的学生(例如Fokker)，以及Weyl 和Klein 关于特殊无限群的工作2)。特别地，克莱因的第二篇论文同本文相互影响，关于这一点我提请关注克莱因文章的结论部分。

1 引言与定理表述

下面出现的所有函数应该都假设是解析的或者至少是连续且有限次可微的，且在所考察区间内是单值的。

所谓变换群，指的是这样的变换集合，对于每一个变换，集合内都有一个逆(变换)，且任意两个变换的复合都属于这个集合。群Gρ是有限连续的，如果它包含的一般变换解析地依赖于ρ个实质性参数ε (这ρ个参数不可以表示为更少参数的ρ个方程)；相应地，群G∞ρ是无限连续的，如果它的一般变换解析地，或者至少是连续且有限次可微地，依赖于ρ个实质性函数p(x)及其导数。处于这两种情形之间的，是有无穷多个参数但不依赖任意函数的群。最后，既依赖任意函数又依赖于参数的群，称为混合群3)。

设有独立变量x1,…,xn ，以及依赖于这些变量的函数u1(x),…,uμ(x) 。将x 和u 置于某个群的变换之下，则因为群变换的可逆性，变换得到的也一定包含n 个独立的量y1,…,yn ，而其它的则依赖于这些量，可表示为v1(y),…,vμ(y) 。在变换中，u 关于x 的导数如∂u/∂x, ∂2u/∂x2 ,… 也可能出现4)。如果关系P(x,u,∂u/∂x,∂2u/∂x2…,) = P(y,v,∂v/∂y,∂2v/∂y2,…)成立，则此函数称为群的不变量。特别地，若存在关系

则该积分是群的不变量5)。这里积分区域为任意实的x-区间和相应的y-区间6)。

另一方面，对任意的、不一定是不变的积分I，可构造其第一阶变分δI ，并按照变分计算的规则通过分部积分改写。只要假设δu 及其所有出现的导数在边界上为零，其它不做假设，即得人们熟知的结果：

其中ψ 是拉格朗日表达式，即相关变分问题δI = 0之拉格朗日方程的左侧。对应这个积分关系的是一个无需积分表示的关于δu 及其导数的恒等式，是将边界项都写出来而得到的。如分部积分所表明的那样，这些边界项是关于散度，即表达式DivA =∂A1/∂x1+ …+∂An/∂xn，的积分，其中A 是δu 及其导数的线性函数。由此得

若f只包含u的一阶导数，在一重积分的情形下恒等式(3)等同于Heun所谓的“拉格朗日中心方程”

在n-重积分情形下，(3)式变为

而在一重积分和u 的k-阶导数的情形下，(3)式变为

以及在n-重积分情形下也有一个恒等式成立。A包含δu 直到(k-1)-阶的导数。拉格朗日表达ψi 可通过(4)，(5)，(6)式定义的事实，是因为右式中δu 的高阶导数可以通过合并消除掉，而另一方面关系式(2)得到满足，经分部积分就显然能得到上述结果。

接下来讨论两个定理：

定理I. 若积分I 针对群Gρ 是不变的，则朗格朗日表达的ρ - 个线性独立组合是散度；反过来，由此可以得出I 针对群Gρ 不变的结论。此定理针对有无穷多参数的极限情形下也成立。

定理II. 如果积分I针对群G∞ρ 是不变的，其中任意函数最多出现到σ - 阶导数，则在诸拉格朗日表达式以及σ - 阶导数之间存在ρ - 个恒等式。逆定理也成立7)。

对于混合群，两个定理里的论断都成立，既出现依赖关系，也出现不依赖于其的散度关系【译者注：原文这句话确实很含糊。不是谁都会用母语写论文的】。

从这些恒等式转到其所属的变分问题，令ψ = 0 8)，则在一维情形——此处散度成了全微分——定理I 断言存在ρ - 个一次积分，它们之间可能存在非线性依赖关系9)。在多维情形，可以得到近来经常被称为“守恒律”的散度方程；定理II断言，拉格朗日表达中的ρ - 个是其它拉格朗日表达的结果。

威尔斯特拉斯的参数表达提供了定理II——不论其逆表述——的最简单例子。这里的积分因一阶齐次性，当把自变量x用任意的x的函数替代而u不变时( y = p(x) , vi(y) = ui(x) )，是不变的。任意的函数出现，但其导数不出现；与此对应的是著名拉格朗日表达式之间的线性关系：Σψi dui/dx= 0 。再一个例子是物理学家的广义相对论，涉及的是所有的变换x : yi = pi(x) 的群，与此同时，u(记为gμν 和q)会被置于由此针对一个二次型线性微分形式之系数所诱导的变换——此变换含有任意函数p(x) 的一阶导数——之下。相应地有n 个关于诸拉格朗日表达及其一阶导数的依赖关系10)。

将群特别化，使得变换中不含u(x) 的导数，此外变换后的自变量只依赖于x 而不依赖于u，则只要将参数置于合适的变换之下，(如第5 节所表明的那样)由I 的不变性可得到Σψi δui 的相对不变性11)以及在定理I 出现的散度。进一步地可知，前述的一次积分也允许这个群。对于定理II，也有通过任意函数攒到一起的依赖关系的左侧(表达式)之相对不变性，且由此还有一个函数，其散度恒为零且允许该群。该函数在物理学家的相对论中建立起了依赖关系与能量定律之间的联系12)。最后，定理II 还给出了与本文有关的希尔伯特关于广义相对论的“自己的(eigentlicher)”能量守恒律不成立的论述之群论形式证。借助这些补充说明，定理I 包含所有力学中有名的关于一次积分的定理，而定理II 可看作是关于广义相对论之最大限度的群论意义的推广。

2 散度关系与依赖关系

设G是有限的或者无限的连续群；让恒等变换总对应参数ε 以及任意函数p(x) 的0 值13)。一般形式的变换总可取如下形式：

这里的Δxi ， Δui 意味着是ε ，以及p(x) 及其导数，的最低次幂项，其实应该假设是线性的。以后会表明，这不会对一般性带来限制。

现在，假设积分I 是针对群G的不变量，满足关系式(1)。特别地，I 也是针对群G所包含的无穷小变换yi = xi + Δxi ；vi(y) = ui + Δui 是不变的，故此关系式(1)变为

其中第一个积分应从x-区间扩展到相应的x +Δx -区间上。这个积分，也可以借助对无穷小Δx成立的形式改造

将之转化成一个在x-区间上的积分。针对无穷小变换Δu 引入变分

则由(7)式和(8)式导出

右侧恰是关于自变量和因变量同时变分的著名公式。因为积分(10)式对任意区间都满足，故积分核必为零，关于I 之不变性的李微分方程变为关系式

根据(3)式将

用拉格朗日表达式加以表达，则得

这个关系对每一个不变积分I 代表一个关于所有argument 的恒等式，这就是要找寻的关于I 的李微分方程的形式14)。

现在首先假设G是有限连续群Gρ ；根据Δu ，Δx 是参数ε1,…,ερ 线性函数的假设，则根据(9)式这对及其导数也成立，由此A和B关于ε 也是线性的。我接着取

其中,…是x，u， ∂u/∂x ，…的函数；于是自(12)式得到欲找寻的散度关系

这将有ρ - 个拉格朗日表达式线性独立组合的散度；其线性独立的性质可如下得出：由，Δx = 0 ，根据(9)式，也就有Δu = 0 ， Δx = 0 ，也就有无穷小变换之间的依赖性关系。这样的(依赖关系)不过根据前提可没有参数值能满足，因为否则自无穷小变换通过积分再发生的群Gρ 依赖于少于ρ - 个实质性参数。其它的可能性，

现在首先假设G是无限连续群G∞ρ ；则及其导数，还有B，关于任意函数p(x) 及其导数是线性的15)；代入的值，且不依赖于式(12)，有

现在，仿从分部积分得到恒等式的公式，

【译者注：即关于散度的余式】

将p 的导数用p 自身和散度(其关于p 及其导数是线性的)来替代，则得到

【译者注：这个δ 上面是否有一杠呢？Noether 的两种版本原文都没有，但英译者给加上了，应该有。Noether 原文下面两式中求和号的指标也没有了！(-1)幂指数的位置也错了】结合(12)式，得

现在我来构造关于(15)式的n-重积分，扩展到任何区间；这样选择p(x) ，其及其在(B -Γ ) 中出现的导数在边界上都为零。因为这关于散度的积分约化为边界积分，(15)式左侧针对任意的、但在边界上其连同足够多的导数为零的函数p(x) 做相应的积分也为零。根据针对任意p(x)积分都为零的著名结论，可得ρ - 个关系

这就是就I 针对群G∞ρ 不变性问题所要找寻的诸拉格朗日表达式及其导数之间的依赖关系。线性无关性如上所示，因为逆命题重新导回(12)式，又因为可从无穷小变换重又回归到有限群情形，关于这一点在第4 节会详细解释。据此，在群为G∞ρ的情形，在无穷小变换中总有ρ - 个任意变换。从(15)和(16)式可得Div(B -Γ ) = 0 。

相对于混合群，令Δx 和Δu 是关于参数ε 和函数p(x)线性的，因为既要令ε 为零，又要令p(x)为零，则既有(13)式那样的散度关系，也有(16)式那样的依赖关系。

3 有限群情形的逆命题

为了阐述逆命题，先把前述思考倒过来梳理一遍。(13)式乘上ε 然后加上(12)式，利用(3)式，得到关系式

。令Δx = 1/f (A -B) ，由此得到(11)式，然后积分得到(7)式ΔI = 0 ，即针对由Δx ， Δu ——其中Δu 借助(9)式由Δx 和所决定， Δx 和Δu 关于参数是线性的——所确定之变换的I 的不变性。ΔI = 0 以一种熟知的方式得自I 针对如下有限变换的不变性，该有限变换来自积分联立系统：

这些有限变换包含ρ - 个参数a1…aρ ，即tε1…tερ的组合。假设有且只有ρ - 个线性独立散度关系(13)式，则进一步可得，那些有限变换，只要其不包含导数∂u/∂x ，总是构成群。在相反的情形至少有一个通过李括号得到的无穷小变换不是其余ρ - 个的线性组合，因为I 也允许这样的变换，则会有多于 ρ - 个的线性独立散度关系。或者，若这些无穷小变换取

由此逆命题可见，事实上Δx 与Δu 应假设关于参数是线性的。若Δu 与Δx 是关于ε 高阶项的形式，则因为对ε 之幂的线性独立关系会得到完全对应(13)式的关系，只是数目多一些。由其根据逆命题可得针对某个群的I 的不变性，该群的无穷小变换关于参数是线性的。若该群精确地包含ρ - 个参数，则在原来通过ε 的高次幂项得以保持的散度关系之间存在线性相关性。

值得注意的是，若Δx 与Δu 也包含u 的导数，有限变换可能依赖于u的无穷多导数；在这种情形下，因为(17)式积分在确定

时导向

，结果一般来说每一步都会带来u的导数数目的增加。如下即为一例：

因为散度的拉格朗日表达式恒为零，最后逆定理断言如下结果：若I允许群Gρ ，则每一个同I只差一个边界积分，即关于一个散度的积分，的积分也允许拥有同样

允许无穷小变换Δu = xε ， Δx = 0 ；而对应f 的无穷小变换里出现了u的导数。

回到变分问题，即令ψi = 0 16)，则(13)式变为方程DivB(1) = 0 ，…， DivB(ρ) = 0 ，这些方程经常被称为守恒律。在一维情形，可得B(1) =const.，…，B(ρ) =const. ，依据(6)式，只要Δu 与Δx 不含有高于f 中出现的k-阶导数，则B最多包含u 的(2k -1)阶导数。因为ψ 中一般地出现2k 阶导数，所以存在ρ - 个一次积分17)。前述的f 再次表明，在这些(一次积分)之间存在非线性依赖关系。对应线性不相关的Δu =ε1 与Δx =ε2 是线性不相关关系

，与此同时在一次积分u' =const .，u'2 =const . 之间存在非线性依赖关系。此处处理的是Δu 与Δx 不包含u 的导数的基本情形18)。

4 无穷群情形的逆命题

首先已表明，关于Δx 与Δu 的线性假设不构成限制，这是未提逆命题就从如下的事实，即群G∞ρ 形式上只依赖于ρ - 个任意函数，得出的结论。在非线性情形，变换的复合过程中最低阶项会相加，任意函数的数目会增多。事实上，假设

以及相应地有v = B(x,u,∂u/∂x,…; p) ， 则通过与z = A(y,v,∂v/∂y,…; q) 的复合，对于最低阶项，得到

这里任一个与a，b 不同的系数若不为零，则会出现一项

，这就不能写成某单个函数的微分商或者微分商的幂积；任意函数的数目增加了，这与假设相抵触。若所有与a，b 不同的系数为零，则(一如群G∞1 的情形)各按指数ν1…νρ 的值第二项会是第一项的微分商，事实上会出现线性关系；或者这里任意函数的数目也增加。因为p(x) 的线性，无穷小变换满足一个线性偏微分方程组；且因为群的性质是满足了的，其根据李的定义构成了一个“无穷小变换的无限群”(参见李“基础”一文第10节)。

逆定理可以有限群类似的方式得到。(16)式那样的依赖关系成立，通过与p(λ)(x) 乘积而后相加，利用(14)式的调整，导向了

如在第3 节那样，这又能导向Δx 与Δu 的确立以及I针对无穷小变换的不变性，那些变换确实线性地依赖于ρ - 个函数及其到σ - 阶的导数。这些无穷小变换——若不包含导数∂u/∂x ——肯定构成一个群的结论，可如第3 节中那样得到，否则通过更多复合会出现更多的任意函数，而根据假设只应该有ρ - 个依赖关系(16)式出现；这些无穷小变换构成一个“无穷小变换的无限群”。这样的群可由某个李的“有限变换的无限群”意义下定义的最一般的无穷小变换构成(参见李“基础”一文定理VII，第391 页)。每一个有限变换都会自无穷小变换通过对如下的联立系统dx/dt= Δxi ，dui/dt=Δui (对于t=0, xi = y , ui = vi )积分产生出来(参见李“基础”一文第7 节)19)。此过程可能需要假设任意函数p(x) 依赖于t。群G确实依赖于ρ - 个任何函数。若特别地假设p(x) 不依赖于t。则这个依赖可解析地通过任意函数q(x) = t·p(x) 表现20)。若导数∂u/∂x 出现，在得出同样结论之前可能需要添加无穷小变换

接着李的例子(参见李“基础”一文第7 节)不妨提及一个一般情形，可以一直进展到显示表达，其同时表明，任意函数的导出出现到σ -阶。我指的是这样的无穷小变换的集合，对应所有x-变换以及由此诱导的u 变换的群。所谓诱导的u 变换， Δu ，因此u，只依赖于Δx 中出现的任意函数。此外还假设，导数∂u/∂x,…在Δu 中不出现。这样，

因为无穷小变换Δx = p(x) 产生每一个x = y + g(y) ，其中g(y) 是任意函数，这样的变换，可以特意这样安排p(x) 对t 的依赖，其能产生单成员【译者注：依赖于单个参数的？】群

其在t=0 时变为单位元而在t=1 时过渡到所找寻的x = y + g(y) 。微分(18)式，得

其中p(x,t) 自g(y) 由(18)式倒推出来。反过来，借助辅助条件t=0 时xi = yi ——借此可以确立积分——由(19)式可得到(18)式。借助(18)式，在Δu中x 可由“积分常数”y 和t 替代， g(y) 精确地只出现到σ - 阶导数，此过程中需将

里的∂y/∂x用∂x/∂y表达，一般地∂σp/∂xσ 用其在∂g/∂y,…,∂x/∂y,… ∂σx/∂yσ 中的值来代替【译者注：不明白这个durch seinen Wert in 中的Wert，值，是哪来的】。为了确定u，还得到方程组

其中只有t 和u 是变量，而g(y),… 属于系数范围，这样积分得

其是精确地依赖于任意函数直到其σ - 阶导数的变换。根据(18)式，恒等式存在其中g(y) = 0 的情形；群的性质源于所用程序提供每一个变换x = y + g(y) ，其能确定u 的诱导变换，群G(的元素)得以齐备。

由逆定理捎带着还给出，假设任意函数只依赖于x 而不依赖于u, ∂u/∂x,…并不构成限制。实际上在后一种情形，在改写的(14)式，以及(15)式，中除了p(λ) 以外还出现

假设p(λ)逐次地是u, ∂u/∂x,… 的0，1，…次幂，系数是x 的任意函数，则又出现依赖关系(16)，只是数目更多。按照上面的逆定理，这些依赖关系通过同只依赖于x 的函数的复合又回到此前的情形。同样可以表明，混合群对应依赖关系和与其不相关的散度关系的同时出现21)。

5 关系之单独组件的不变性

将群R 限制在最简单的、常处理的情形，即在变换中不允许u 的导数出现，变换的独立变量只依赖于x 而不依赖于u，这样可以得到公式之单个构件的不变性。首先是根据熟知的结论得到的∫…∫(Σψiδui)dx ，还有Σψiδui 的相对不变性22)，这里的δ 可以理解为任何变分。一方面有

另一方面对于在边界为零的δu ， δ(∂u/∂x),…，因为δu, δ(∂u/∂x),…的线性齐次变换，也对应在边界上为零的δv, δ(∂v/∂y),…

因为在边界上为零的δu , δ(∂u/∂x),…，有

在第三个积分中把y, v, δv 用x, u, δu 表达出来，令其与第一个积分相等， 得到关系式∫…∫(Σχi(u,…)δui)dx = 0 对于在边界上为零但没有其它要求的δu 成立，由此得到著名的对任意δu积分核为零的结果。关于δu 的恒等关系为

， 这些表明了Σψi(u,…)δui的相对不变性和 ∫(Σψi(u,…)δui)dx的不变性23)。

为了将此应用到导出的散度关系和依赖性关系，首先要证明，由Δu ， Δx 导出的事实上满足针对变分δu 的变换规则，只要参数以及

里的任意函数是这样确立的，如同它们对应类似的关于y, v 的无穷小变换的群那样。用ℑq 表示将x, u 变换到y, v 的变换， ℑp 是用x, u 表示的无穷小变换， 则用y， v 表示的类似无穷小变换是ℑr = ℑqℑpℑq-1，此处参数和任意函数r 由p 和q 所决定。用公式表达，为

由此要得到ℑr = ℑqℑpℑq-1，相应的是η = y + Δy(r) ，v* = v + Δv(r) ，其中借助ℑq 的逆将x 作为y 的函数且只关注无穷小项，则得到恒等式

将ξ = x + Δx 用ξ -Δξ 替代， ξ 也回到x， Δx = 0 ；则根据表达式(20)的第一式η 回到y = η -Δη ；通过此一替代Δu(p) 换成了

，所以只要假设只有依赖于参数和任意函数r，变分的变换公式实际上也满足24)。

特别地，根据(12)式，可得

的相对不变性，因为关于y, u 的散度关系也满足，即DivB 的相对不变性。进一步地，根据(14)式和(13)式， DivΓ 的相对不变性，以及同p(λ) 写在一起的依赖关系之左侧的不变性，那里总是变换了的公式里任意函数p(x) (以及参数)是用r【译者注：是用下标r 标识的相应的量】代替的。由此还得到Div(B -Γ ) 的相对不变性。这个不恒为零的方程组(B -Γ ) ，其散度恒为零。

从DivB 的相对不变性，在一维和有限群的情形还可以得到一次积分的不变性。对应无穷小变换的参数变换，根据(20)式，是线性齐次的；因为变换的可逆性， ε 关于变换后的参数ε* 也是线性齐次的。如果令ψ = 0 ，这个可逆性总成立，因为(20) 式中不出现u 的导数。令等式DivB(x,u,…ε) =dy/dx∙Div(y,v,…ε*) 中ε* 的系数相等，可见d/dy B(λ)(y,v,…) 关于d/dx B(λ)(x,u,…) 也是线性齐次的，进而由d/dx B(λ)(x,u,…) = 0 或者B(λ)(x,u) = const .可得d/dy B(λ)(y,v,…) = 0 ，或者B(λ)(y,v,…) = const .

对应群Gρ 的ρ - 个一次积分允许该群，因此可简化进一步的积分。最简单的例子是，f 不依赖于x 或者某个u， 这对应无穷小变换分别为Δx =ε ， Δu = 0 ，或者Δx = 0 ， Δu = ε 。则分别有

或者ε ，因为B可由f 和通过微分加上适当的组合得到，因此也分别不依赖于x 或者u，故允许相应的群25)。

6 一个希尔伯特的论断

基于前述讨论，最后我将以推广的群论的表述，给出一个希尔伯特关于广义相对论中“自己的”能量守恒不成立(原因)之间联系之论断(见Gött. Nachr. 1917 上克莱因的第一篇文章，答复之第一段)的证明。

设积分I 允许一个群G∞ρ ，而Gσ 是某一指定任意函数而产生的有限群，即群G∞ρ 的子群。无限群G∞ρ 对应依赖关系(16)式，而有限群Gσ 对应散度关系(13)式；反过来，任何散度关系的存在可得出I 针对某有限群的不变性，如果相应的

必然是(16)式的结果，后者也可以写成

，其中χ(λ) 是拉格朗日表达式及其导数的线性组合。因为ψ 在(13)式和(16)式都是以线性的方式出现，则散度关系特别地应是依赖关系(16)式的线性组合，故有

， B(λ) 自身由χ ，即拉格朗日表达式及其导数一起，以及散度恒为零的函数—— 类似第2 节结尾处出现的B -Γ ，Div(B -Γ ) = 0 ，且散度同时具有不变性的特征——线性地组合而成。散度关系，据其B(λ) 以所阐述的方式由拉格朗日表达式及其导数构成，我称之为“非自己的”，其它的称为“自己的”。

若反过来散度关系是(16)式中依赖关系的线性组合，即是“非自己的”，因此针对群Gσ 的不变性可从针对G∞ρ 的不变性得到，群Gσ 是群G∞ρ的子群。针对一个有限群Gσ 的散度关系是“非自己的”，当且仅当群Gσ 是I 针对其是不变量的那个群G∞ρ 的子群。

通过群的特殊化，这里可得出希尔伯特的原始论断。将“ 位移群” 理解为有限群，yi = xi + εi ， vi(y) = ui(x) ， 即Δxi = εi ， Δui = 0 ，

，针对位移群的不变性早已断言，在I = ∫⋯∫f (x,u, ∂u/∂x,⋯)dx 中的f 不显含x。相关的n 个散度关系为

， (n = 1,2,⋯n) ，被当成是能量关系，因为这个变分问题的守恒律DivB(λ) = 0 对应能量定律，而B(λ) 对应能量分量。下列表述成立：若I 允许位移群，则能量关系是“非自己的”，当且仅当I 针对一个无限群是不变的，位移群是该群的子群26)。

这样的无限群的一个例子是所有x 变换以及诱导的u(x) 变换的群，其中只有任意函数p(x) 的导数出现。位移群通过特殊化过程p(i)(x) = εi 得到，但是是否用通过改变I 以一个边界积分而发生的群那样的方式就给定了最一般性的那个群，仍是悬而未决的。前述那种诱导变换会如此产生， 即将u 置于一个“ 全微分形式”， 即

的形式，除了dx还包括高阶导数，的系数变换之下；特别特殊化的诱导变换，其中p(x) 只以一阶导数的形式出现，可通过常微分

形式的系数变换得到。人们一般只考虑这种情况。

别的这一类的群，因为对数函数项的出现不可能是系数变换，是如下这样的，

此处依赖关系(16)式应为