# Invariante Variationsprobleme

Textdaten :
| Autor: | Emmy Noether |
| Illustrator: | {{{ILLUSTRATOR}}} |
| Titel: | Invariante Variationsprobleme |
| Untertitel: | |
| aus: | Nachr. D. König. Gesellsch. D. Wiss. Zu Göttingen, Math-phys. Klasse, S. 235–257 |
| Herausgeber: | |
| Auflage: | |
| Entstehungsdatum: | |
| Erscheinungsdatum: | 1918 |
| Verlag: | Weidmannsche Buchhandlung |
| Drucker: | {{{DRUCKER}}} |
| Erscheinungsort: | Berlin |
| Übersetzer: | |
| Originaltitel: | |
| Originalsubtitel: | |
| Originalherkunft: | |
| Quelle: | Commons, Michigan |
| Kurzbeschreibung: | |
| Themenseite: Relativitätstheorie ||
| Artikel in der Wikipedia ||
| Eintrag in der GND: {{{GND}}} ||
| Bild ||
| [[Bild:|250px]] | |
| Bearbeitungsstand ||
| fertig ||
| Fertig! Dieser Text wurde zweimal anhand der Quelle Korrektur gelesen. Die Schreibweise folgt dem Originaltext. ||
| Um eine Seite zu bearbeiten, brauchst du nur auf die entsprechende [Seitenzahl] zu klicken. Weitere Informationen findest du hier: Hilfe ||
| Indexseite ||
(F. Klein zum fünfzigjährigen Doktorjubiläum.)
Von
Es handelt sich um Variationsprobleme, die eine kontinuierliche Gruppe (im Lieschen Sinne) gestatten; die daraus sich ergebenden Folgerungen für die zugehörigen Differentialgleichungen finden ihren allgemeinsten Ausdruck in den in § 1 formulierten, in den folgenden Paragraphen bewiesenen Sätzen. Über diese aus Variationsproblemen entspringenden Differentialgleichungen lassen sich viel präzisere Aussagen machen als über beliebige, eine Gruppe gestattende Differentialgleichungen, die den Gegenstand der Lieschen Untersuchungen bilden. Das folgende beruht also auf einer Verbindung der Methoden der formalen Variationsrechnung mit denen der Lieschen Gruppentheorie. Für spezielle Gruppen und Variationsprobleme ist diese Verbindung der Methoden nicht neu; ich erwähne Hamel und Herglotz für spezielle endliche, Lorentz und seine Schüler (z. B. Fokker), Weyl und Klein für spezielle unendliche Gruppen. Insbesondere sind die zweite Kleinsche Note und die vorliegenden Ausführungen gegenseitig durch einander beeinflußt, wofür ich auf die Schlußbemerkungen der Kleinschen Note verweisen darf.
Alle im folgenden auftretenden Funktionen sollen als analytisch oder wenigstens als stetig und endlich oft stetig differentieerbar, und im betrachteten Bereich eindeutig angenommen werden.
Unter einer „Transformationsgruppe“ versteht man bekanntlich ein System von Transformationen derart, daß zu jeder Transformation eine im System enthaltene Umkehrung existiert, und daß die Zusammensetzung irgend zweier Transformationen des Systems wieder dem System angehören. Die Gruppe heißt eine endliche kontinuierliche ${\mathfrak {G}}_{\varrho }$, wenn ihre Transformationen enthalten sind in einer allgemeinsten, die analytisch von $\varrho$ wesentlichen Parametern $\varepsilon$ abhängt (d. h. die $\varrho$ Parameter sollen sich nicht als $\varrho$ Funktionen von weniger Parametern darstellen lassen). Entsprechend versteht man unter einer unendlichen kontinuierlichen ${\mathfrak {G}}_{\infty \varrho }$ eine Gruppe, deren allgemeinste Transformationen von $\varrho$ wesentlichen willkürlichen Funktionen $p(x)$ und ihren Ableitungen analytisch oder wenigstens stetig und endlich oft stetig differentiierbar abhängen. Als Zwischenglied zwischen beiden steht die von unendlich vielen Parametern, aber nicht von willkürlichen Funktionen abhängende Gruppe. Schließlich bezeichnet man als gemischte Gruppe eine solche, die sowohl von willkürlichen Funktionen, als von Parametern abhängt.
Es seien $x_{1},\dots ,x_{n}$ unabhängige Veränderliche, $u_{1}(x),\dots ,u_{\mu }(x)$ von diesen abhängige Funktionen. Unterwirft man die $x$ und $u$ den Transformationen einer Gruppe, so müssen wegen der vorausgesetzten Umkehrbarkeit der Transformationen unter den transformierten Größen wieder genau $n$ unabhängige — $y_{1},\dots ,y_{n}$ — enthalten sein; die übrigen davon abhängigen seien mit $v_{1}(y),\dots ,v_{\mu }(y)$ bezeichnet. In den Transformationen können auch die Ableitungen der $u$ nach den $x$, also ${\frac {\partial u}{\partial x}},\ {\frac {\partial ^{2}u}{\partial x^{2}}},\dots$ auftreten. Eine Funktion heißt eine Invariante der Gruppe, wenn eine Relation besteht:
* $P\left(x,\ u,\ {\frac {\partial u}{\partial x}},\ {\frac {\partial ^{2}u}{\partial x^{2}}},\dots \right)=P\left(y,\ v,\ {\frac {\partial v}{\partial y}},\ {\frac {\partial ^{2}v}{\partial y^{2}}},\dots \right).$
Insbesondere wird also ein Integral $I$ eine Invariante der Gruppe wenn eine Relation besteht:
| (1) | $I=\int \dots \int f\left(x,\ u,\ {\frac {\partial u}{\partial x}},\ {\frac {\partial ^{2}u}{\partial x^{2}}},\dots \right)dx$ |
* $=\int \dots \int f\left(y,\ v,\ {\frac {\partial v}{\partial y}},\ {\frac {\partial ^{2}v}{\partial y^{2}}},\dots \right)dy$
integriert über ein beliebiges reelles $x$-Gebiet und das entsprechende $y$-Gebiet.
Anderseits bilde ich für ein beliebiges, nicht notwendig invariantes Integral $I$ die erste Variation $\delta I$ und forme sie nach den Regeln der Variationsrechnung durch partielle Integration um. Es kommt bekanntlich, sobald man $\delta u$ mit allen auftretenden Ableitungen am Rande als verschwindend, sonst aber beliebig annimmt:
| (2) | $\delta I=\int \dots \int \delta f\ dx=\int \dots \int \left(\sum \psi _{i}\left(x,\ u,\ {\frac {\partial u}{\partial x}},\dots \right)\delta u_{i}\right)dx,$ |
wo $\psi$ die Lagrangeschen Ausdrücke bedeuten; d. h. die linken Seiten der Lagrangeschen Gleichungen des zugehörigen Variationsproblems $\delta I=0$. Dieser Integralrelation entspricht eine integralfreie Identität in $\delta u$ und seinen Ableitungen, die dadurch entsteht, daß man die Randglieder mit anschreibt. Wie die partielle Integration zeigt, sind diese Randglieder Integrale über Divergenzen, d. h. über Ausdrücke
* $\mathrm {Div} A={\frac {\partial A_{1}}{\partial x_{1}}}+\dots +{\frac {\partial A_{n}}{\partial x_{n}}},$
wobei $A$ linear in $\delta u$ und seinen Ableitungen ist. Somit kommt:
| (3) | $\sum \psi _{i}\delta u_{i}=\delta f+\mathrm {Div} A.$ |
Enthält $f$ insbesondere nur erste Ableitungen der $u$, so ist im Fall des einfachen Integrals die Identität (3) identisch mit der von Heun sogenannten „Lagrangeschen Zentralgleichung“:
| (4) | $\sum \psi _{i}\delta u_{i}=\delta f-{\frac {d}{dx}}\left(\sum {\frac {\partial f}{\partial u'_{i}}}\delta u_{i}\right),\qquad \left(u_{i}'={\frac {du_{i}}{dx}}\right),$ |
während für das $n$-fache Integral (3) übergeht in:
| (5) | $\sum \psi _{i}\delta u_{i}=\delta f-{\frac {d}{dx_{1}}}\left(\sum {\frac {\partial f}{\partial {\dfrac {\partial u_{i}}{\partial x_{i}}}}}\delta u_{i}\right)-\dots -{\frac {d}{dx_{n}}}\left(\sum {\frac {\partial f}{\partial {\dfrac {\partial u_{i}}{\partial x_{n}}}}}\delta u_{i}\right).$ |
Für das einfache Integral und $\varkappa$ Ableitungen der $u$ ist (3) gegeben durch:
| (6) | $\sum \psi _{i}\delta u_{i}=\delta f-$ |
* $-{\frac {d}{dx}}\left\{\sum \left(\left({1 \atop 1}\right){\frac {\partial f}{\partial u_{i}^{(1)}}}\delta u_{i}+\left({2 \atop 1}\right){\frac {\partial f}{\partial u_{i}^{(2)}}}\delta u_{i}^{(1)}+\dots +\left({\varkappa \atop 1}\right){\frac {\partial f}{\partial u_{i}^{(\varkappa )}}}\delta u_{i}^{(\varkappa -1)}\right)\right\}+$
* $+{\frac {d^{2}}{dx^{2}}}\left\{\sum \left(\left({2 \atop 2}\right){\frac {\partial f}{\partial u_{i}^{(2)}}}\delta u_{i}+\left({3 \atop 2}\right){\frac {\partial f}{\partial u_{i}^{(3)}}}\delta u_{i}^{(1)}+\dots +\left({\varkappa \atop 2}\right){\frac {\partial f}{\partial u_{i}^{(\varkappa )}}}\delta u_{i}^{(\varkappa -2)}\right)\right\}+\dots$
* $\qquad \vdots \qquad \qquad \quad \vdots \qquad \qquad \qquad \vdots$
* $+(-1)^{\varkappa }{\frac {d^{\varkappa }}{dx^{\varkappa }}}\left\{\sum \left({\varkappa \atop \varkappa }\right){\frac {\partial f}{\partial u_{i}^{(\varkappa )}}}\delta u_{i}\right\}$
und eine entsprechende Identität gilt beim $n$-fachen Integral; $A$ enthält insbesondere $\delta u$ bis zur $\left(\varkappa -1\right)$ten Ableitung. Daß durch (4), (5), (6) tatsächlich die Lagrangeschen Ausdrücke $\psi _{i}$ definiert sind, folgt daraus, daß durch die Kombinationen der rechten Seiten alle höheren Ableitungen der $\delta u$ eliminiert sind, während andererseits die Relation (2) erfüllt ist, zu der die partielle Integration eindeutig führt.
Es handelt sich nun im folgenden um die beiden Sätze:
I. Ist das Integral $I$ invariant gegenüber einer ${\mathfrak {G}}_{\varrho }$, so werden $\varrho$ linear-unabhängige Verbindungen der Lagrangeschen Ausdrücke zu Divergenzen — umgekehrt folgt daraus die Invarianz von $I$ gegenüber einer ${\mathfrak {G}}_{\varrho }$. Der Satz gilt auch noch im Grenzfall von unendlich vielen Parametern.
II. Ist das Integral $I$ invariant gegenüber einer ${\mathfrak {G}}_{\infty \varrho }$, in der die willkürlichen Funktionen bis zur $\sigma$ten Ableitung auftreten, so bestehen $\varrho$ identische Relationen zwischen den Lagrangeschen Ausdrücken und ihren Ableitungen bis zur $\sigma$ten Ordnung; auch hier gilt die Umkehrung.
Für die gemischten Gruppen gelten die Aussagen beider Sätze es treten also sowohl Abhängigkeiten wie davon unabhängige Divergenzrelationen auf.
Geht man von diesen Identitäten zu dem zugehörigen Variationsproblem über, setzt also $\psi =0$, so sagt Satz I im eindimensionalen Fall — wo die Divergenz in ein totales Differential übergeht — die Existenz von $\varrho$ ersten Integralen aus, zwischen denen allerdings nichtlineare Abhängigkeiten bestehen können; im mehrdimensionalen Fall erhält man die neuerdings oft als „Erhaltungssätze“ bezeichneten Divergenzgleichungen; Satz II sagt aus, daß $\varrho$ der Lagrangeschen Gleichungen eine Folge der übrigen sind.
Das einfachste Beispiel zu Satz II — ohne Umkehrung — bildet die Weierstraßsche Parameterdarstellung; hier ist das Integral bei Homogenität erster Ordnung bekanntlich invariant, wenn man die unabhängige Variable $x$ durch eine willkürliche Funktion von $x$ ersetzt, die $u$ ungeändert läßt $\left(y=p(x);\ v_{i}(y)=u_{i}(x)\right)$. Es tritt also eine willkürliche Funktion, aber ohne Ableitungen auf; und dem entspricht die bekannte lineare Relation zwischen den Lagrangeschen Ausdrücken selbst: $\sum \psi _{i}{\frac {du_{i}}{dx}}=0.$ Ein weiteres Beispiel bietet die „allgemeine Relativitätstheorie“ der Physiker; es handelt sich hier um die Gruppe aller Transformationen der $x:y_{i}=p_{i}(x)$, während die $u$ (als $g_{\mu \nu }$ und $q$ bezeichnet) den dadurch für die Koeffizienten einer quadratischen und linearen Differentialform induzierten Transformationen unterworfen werden, Transformationen, die die ersten Ableitungen der willkürlichen Funktionen $p(x)$ enthalten. Dem entsprechen die bekannten $n$ Abhängigkeiten zwischen den Lagrangeschen Ausdrücken und ihren ersten Ableitungen.
Spezialisiert man insbesondere die Gruppe dadurch, daß man keine Ableitungen der $u(x)$ in den Transformationen zuläßt, und außerdem die transformierten unabhängigen Größen nur von den $x$, nicht von den $u$ abhängen läßt, so folgt (wie in § 5 gezeigt wird) aus der Invarianz von $I$ die relative Invarianz von $\sum \psi _{i}\delta u_{i}$ und ebenso der in Satz I auftretenden Divergenzen, sobald die Parameter geeigneten Transformationen unterworfen werden. Daraus folgt noch, daß auch die oben erwähnten ersten Integrale die Gruppe gestatten. Für Satz II ergibt sich ebenso die relative Invarianz der mittelst der willkürlichen Funktionen zusammengefaßten linken Seiten der Abhängigkeiten; und als Folge davon noch eine Funktion, deren Divergenz identisch verschwindet und die Gruppe gestattet — die in der Relativitätstheorie der Physiker den Zusammenhang zwischen Abhängigkeiten und Energiesatz vermittelt. Satz II gibt schließlich noch in gruppentheoretischer Fassung den Beweis einer hiermit zusammenhängenden Hilbertschen Behauptung über das Versagen eigentlicher Energiesätze bei „allgemeiner Relativität“. Mit diesen Zusatz-Bemerkungen enthält Satz I alle in Mechanik u. s. w. bekannten Sätze über erste Integrale, während Satz II als größtmögliche gruppentheoretische Verallgemeinerung der „allgemeinen Relativitätstheorie“ bezeichnet werden kann.
Es sei ${\mathit {\mathfrak {G}}}$ eine — endliche oder unendliche — kontinuierliche Gruppe; dann läßt sich immer erreichen, daß der identischen Transformation die Werte Null der Parameter $\varepsilon$, bezw. der willkürlichen Funktionen $p(x)$ entsprechen. Die allgemeinste Transformation wird also von der Form:
${\begin{array}{lll}y_{i}&=A_{i}\left(x,\ u,\ {\dfrac {\partial u}{\partial x}},\dots \right)&=x_{i}+\Delta x_{i}+\dots \\\\v_{i}(y)&=B_{i}\left(x,\ u,\ {\dfrac {\partial u}{\partial x}},\dots \right)&=u_{i}+\Delta u_{i}+\dots \end{array}}$
$\Delta x_{i},\ \Delta u_{i}$
$\varepsilon$
$p(x)$
Sei nun das Integral $I$ eine Invariante gegenüber ${\mathfrak {G}}$, also die Relation (1) erfüllt. Insbesondere ist dann $I$ auch invariant gegenüber der in ${\mathfrak {G}}$ enthaltenen infinitesimalen Transformation:
* $y_{i}=x_{i}+\Delta x_{i};\quad v_{i}(y)=u_{i}+\Delta u_{i};$
und dafür geht die Relation (1) über in:
| (7) | $0=\Delta I=\int \dots \int f\left(y,\ v(y),\ {\frac {\partial v}{\partial y}},\dots \right)dy$ |
* $-\int \dots \int f\left(x,\ u(x),\ {\frac {\partial u}{\partial x}},\dots \right)dx,$
wo das erste Integral über das dem $x$-Gebiet entsprechende $x+\Delta x$-Gebiet zu erstrecken ist. Diese Integration läßt sich aber auch in eine Integration über das $x$-Gebiet verwandeln vermöge der für infinitesimale $\Delta x$ geltenden Umformung
| (8) | $\int \dots \int f\left(y,\ v(y),\ {\frac {\partial v}{\partial y}},\dots \right)dy$ |
* $=\int \dots \int f\left(x,\ v(x),\ {\frac {\partial v}{\partial x}},\dots \right)dx+\int \dots \int \ \mathrm {Div} (f\cdot \Delta x)\cdot dx.$
Führt man somit an Stelle der infinitesimalen Transformation $\Delta u$ die Variation ein:
| (9) | ${\bar {\delta }}u_{i}=v_{i}(x)-u_{i}(x)=\Delta u_{i}-\sum {\frac {\partial u_{i}}{\partial x_{\lambda }}}\Delta x_{\lambda },$ |
so geht (7) und (8) über in:
| (10) | $0=\int \dots \int \ \left\{{\bar {\delta }}f+\mathrm {Div} (f\cdot \Delta x)\right\}dx.$ |
Die rechte Seite ist die bekannte Formel für gleichzeitige Variation der abhängigen und unabhängigen Variabeln. Da die Beziehung (10) bei Integration über jedes beliebige Gebiet erfüllt ist, so muß der Integrand identisch verschwinden; die Lieschen Differentialgleichungen für die Invarianz von $I$ gehen also über in die Relation:
| (11) | ${\bar {\delta }}f+\mathrm {Div} (f\cdot \Delta x)=0.$ |
Drückt man hierin nach (3) ${\bar {\delta }}f$ durch die Lagrangeschen Ausdrücke aus, so kommt:
| (12) | $\sum \psi _{i}{\bar {\delta }}u_{i}=\mathrm {Div} \,B\qquad (B=A-f\cdot \Delta x),$ |
$I$
$I$
Sei nun vorerst ${\mathfrak {G}}$ als endliche kontinuierliche Gruppe ${\mathfrak {G}}_{\varrho }$ angenommen; da nach Annahme $\Delta u$ und $\Delta x$ linear in den Parametern $\varepsilon _{1},\dots ,\varepsilon _{\varrho }$, so gilt nach (9) das gleiche für ${\bar {\delta }}u$ und seine Ableitungen; somit sind $A$ und $B$ linear in den $\varepsilon$. Setze ich daher
* $B=B^{(1)}\varepsilon _{1}+\dots +B^{(\varrho )}\varepsilon _{\varrho };\qquad {\bar {\delta }}u={\bar {\delta }}u^{(1)}\varepsilon _{1}+\dots +{\bar {\delta }}u^{(\varrho )}\varepsilon _{\varrho },$
wo also ${\bar {\delta }}u^{(1)},\dots$ Funktionen von $x,\ u,\ {\frac {\partial u}{\partial x}},\dots ,$ so folgen aus (12) die gesuchten Divergenzrelationen:
| (13) | $\sum \psi _{i}{\bar {\delta }}u_{i}^{(1)}=\mathrm {Div} \ B^{(1)};\dots \qquad \sum \psi _{i}{\bar {\delta }}u_{i}^{(\varrho )}=\mathrm {Div} \ B^{(\varrho )}.$ |
Es werden also $\varrho$ linear-unabhängige Verbindungen der Lagrangeschen Ausdrücke zu Divergenzen; die lineare Unabhängigkeit folgt daraus, daß nach (9) aus ${\bar {\delta }}u=0,\ \Delta x=0$ auch $\Delta u=0,\ \Delta x=0$ folgen würde, also eine Abhängigkeit zwischen den infinitesimalen Transformationen. Eine solche ist aber nach Voraussetzung für keinen Parameterwert erfüllt; da sonst die aus den infinitesimalen Transformationen durch Integration wieder entstehende ${\mathfrak {G}}_{\varrho }$ von weniger als $\varrho$ wesentlichen Parametern abhinge. Die weitere Möglichkeit ${\bar {\delta }}u=0,\ \mathrm {Div} \,(f\Delta x)=0$ war aber ausgeschlossen. Diese Schlüsse gelten auch noch im Grenzfall von unendlich vielen Parametern.
Sei nun ${\mathfrak {G}}$ eine unendliche kontinuierliche Gruppe ${\mathfrak {G}}_{\infty \varrho }$; dann werden wieder ${\bar {\delta }}u$ und seine Ableitungen, also auch $B$, linear in den willkürlichen Funktionen $p(x)$ und ihren Ableitungen; sei durch Einsetzen der Werte von ${\bar {\delta }}u$, noch unabhängig von (12):
* $\sum \psi _{i}{\bar {\delta }}u_{i}=$
* ${\underset {\lambda ,i}{\sum }}\psi _{i}\left\{a_{i}^{(\lambda )}(x,\ u,\ \dots )p^{(\lambda )}(x)+b_{i}^{(\lambda )}(x,\ u,\ \dots ){\frac {\partial p^{(\lambda )}}{\partial x}}+\dots +c_{i}^{(\lambda )}(x,\ u,\ \dots ){\frac {\partial ^{\sigma }p^{(\lambda )}}{\partial x^{\sigma }}}\right\}.$
$\varphi (x,u,\dots ){\frac {\partial ^{\tau }p(x)}{\partial x^{\tau }}}=(-1)^{\tau }\cdot {\frac {\partial ^{\tau }\varphi }{\partial x^{\tau }}}\cdot p(x)$
die Ableitungen von $p$ ersetzen durch $p$ selbst und durch Divergenzen, die linear in $p$ und seinen Ableitungen werden; somit kommt:
| (14) | $\sum \psi _{i}\delta u_{i}=$ |
* ${\underset {\lambda }{\sum }}\left\{\left(a_{i}^{(\lambda )}\psi _{i}\right)-{\frac {\partial }{\partial x}}\left(b_{i}^{(\lambda )}\psi _{i}\right)+\dots +\left(-1^{\sigma }\right){\frac {\partial ^{\sigma }}{\partial x^{\sigma }}}\left(c_{i}^{(\lambda )}\psi _{i}\right)\right\}p^{(\lambda )}+\mathrm {Div} \ \Gamma$
und in Verbindung mit (12):
| (15) | $\sum \left\{\left(a_{i}^{(\lambda )}\psi _{i}\right)-{\frac {\partial }{\partial x}}\left(b_{i}^{(\lambda )}\psi _{i}\right)+\dots +\left(-1\right)^{\sigma }{\frac {\partial ^{\sigma }}{\partial x^{\sigma }}}\left(c_{i}^{(\lambda )}\psi _{i}\right)\right\}p^{(\lambda )}=\mathrm {Div} \ (B-\Gamma ).$ |
Ich bilde nun das $n$-fache Integral über (15), erstreckt über irgend ein Gebiet; und wähle die $p(x)$ so, daß sie mit allen in $(B-\Gamma )$ auftretenden Ableitungen am Rande verschwinden. Da das Integral über eine Divergenz sich auf ein Randintegral reduziert, verschwindet also auch das Integral über die linke Seite von (15) für willkürliche, nur am Rande mit genügend vielen Ableitungen verschwindende $p(x)$; und daraus folgt nach bekannten Schlüssen das Verschwinden des Integranden für jedes $p(x)$, also die $\varrho$ Relationen:
| (16) | $\sum \left\{\left(a_{i}^{(\lambda )}\psi _{i}\right)-{\frac {\partial }{\partial x}}\left(b_{i}^{(\lambda )}\psi _{i}\right)+\dots +\left(-1\right)^{\sigma }{\frac {\partial ^{\sigma }}{\partial x^{\sigma }}}\left(c_{i}^{(\lambda )}\psi _{i}\right)\right\}=0\quad (\lambda =1,2\dots \varrho )$ |
Das sind die gesuchten Abhängigkeiten zwischen den Lagrangeschen Ausdrücken und ihren Ableitungen bei Invarianz von $I$ gegenüber ${\mathfrak {G}}_{\infty \varrho }$; die lineare Unabhängigkeit zeigt sich wie oben, da die Umkehrung auf (12) zurückführt; und da man wieder von den infinitesimalen Transformationen auf die endlichen zurückschließen kann, wie in § 4 näher ausgeführt wird. Danach treten also bei einer ${\mathfrak {G}}_{\infty \varrho }$ schon in den infinitesimalen Transformationen immer $\varrho$ willkürliche Transformationen auf. Aus (15) und (16) folgt noch $\mathrm {Div} \ (B-\Gamma )=0$.
Setzt man entsprechend einer „gemischten Gruppe“ $\Delta x$ und $\Delta u$ linear in den $\varepsilon$ und den $p(x)$ an, so sieht man, indem man einmal die $p(x)$, einmal die $\varepsilon$ Null setzt, daß sowohl Divergenzrelationen (13), wie Abhängigkeiten (16) bestehen.
Um die Umkehrung zu zeigen, sind zuerst im wesentlichen die vorhergehenden Überlegungen in umgekehrter Reihenfolge zu durchlaufen. Aus dem Bestehen von (13) folgt durch Multiplikation mit den $\varepsilon$ und Addition das Bestehen von (12); und vermöge der Identität (3) daraus eine Beziehung: $\delta f+\mathrm {Div} \ (A-B)=0$. Setzt man also: $\Delta x={\frac {1}{f}}\cdot (A-B)$, so ist man dadurch zu (11) gelangt; daraus folgt durch Integration schließlich (7): $\Delta I=0$, also die Invarianz von $I$ gegenüber der durch $\Delta x,\ \Delta u$ bestimmten infinitesimalen Transformation, wobei die $\Delta u$ sich vermöge (9) aus $\Delta x$ und ${\bar {\delta }}u$ bestimmen, und $\Delta x$ und $\Delta u$ linear in den Parametern werden. $\Delta I=0$ zieht aber in bekannter Weise die Invarianz von $I$ gegenüber den endlichen Transformationen nach sich, die durch Integration des simultanen Systems entstehen:
| (17) | ${\frac {dx}{dt}}=\Delta x_{i};\quad {\frac {du_{i}}{dt}}=\Delta u_{i};\quad \left({\begin{array}{c}x_{i}=y\\u_{i}=v_{i}\end{array}}\ {\text{für}}\ t=0\right)$ |
Diese endlichen Transformationen enthalten $\varrho$ Parameter $a_{1}\dots a_{\varrho }$ nämlich die Verbindungen $t\varepsilon _{1},\dots ,t\varepsilon _{\varrho }$. Aus der Annahme, daß es $\varrho$ und nur $\varrho$ linear unabhängige Divergenzrelationen (13) geben soll, folgt ferner, daß die endlichen Transformationen, sobald sie die Ableitungen ${\frac {\partial u}{\partial x}}$ nicht enthalten, stets eine Gruppe bilden. Im entgegengesetzten Fall wäre nämlich mindestens eine durch den Lieschen Klammerprozeß entstehende infinitesimale Transformation keine lineare Verbindung der $\varrho$ übrigen; und da $I$ auch diese Transformation gestattet, würde es mehr als $\varrho$ linear-unabhängige Divergenzrelationen geben; oder diese infinitesimale Transformation wäre von der speziellen Form, daß ${\bar {\delta }}u=0,\ \mathrm {Div} \ (f\cdot \Delta x)=0$, dann aber wäre $\Delta x$ oder $\Delta u$ gegen Voraussetzung von Ableitungen abhängig. Ob dieser Fall eintreten kann, wenn Ableitungen in $\Delta x$ oder $\Delta u$ auftreten, muß dahingestellt bleiben; es sind dann dem oben bestimmten $\Delta x$ noch alle Funktionen $\Delta x$ hinzuzufügen, für welche $\mathrm {Div} \ (f\cdot \Delta x)=0$, um wieder Gruppeneigenschaft zu erhalten; die dadurch hinzutretenden Parameter sollen aber nach Verabredung nicht mitgezählt werden. Damit ist die Umkehrung bewiesen.
Aus dieser Umkehrung folgt noch, daß tatsächlich $\Delta x$ und $\Delta u$ linear in den Parametern angenommen werden dürfen. Wären nämlich $\Delta u$ und $\Delta x$ Formen höheren Grades in $\varepsilon$, so würden wegen der Linearunabhängigkeit der Potenzprodukte der $\varepsilon$ ganz entsprechende Relationen (13), nur in größerer Anzahl folgen, aus denen nach der Umkehrung Invarianz von $I$ folgt gegenüber einer Gruppe, deren infinitesimale Transformationen die Parameter linear enthalten. Soll diese Gruppe genau $\varrho$ Parameter enthalten, so müssen zwischen den ursprünglich durch die Glieder höheren Grades in $\varepsilon$ erhaltenen Divergenzrelationen lineare Abhängigkeiten bestehen.
Es sei noch bemerkt, daß in dem Fall, wo $\Delta x$ und $\Delta u$ auch Ableitungen der $u$ enthalten, die endlichen Transformationen von unendlich vielen Ableitungen der $u$ abhängen können; denn die Integration von (17) führt in diesem Fall bei der Bestimmung von ${\frac {d^{2}x_{i}}{dt^{2}}},\ {\frac {d^{2}u_{i}}{dt^{2}}}$ auf $\Delta \left({\frac {\partial u}{\partial x_{\varkappa }}}\right)={\frac {\partial \Delta u}{\partial x_{\varkappa }}}-{\underset {\lambda }{\sum }}{\frac {\partial u}{\partial x_{\lambda }}}{\frac {\partial \Delta x_{\lambda }}{\partial x_{\varkappa }}},$ so daß die Anzahl der Ableitungen von $u$ im allgemeinen bei jedem Schritt wächst. Ein Beispiel bietet etwa:
* $f={\tfrac {1}{2}}u'^{2};\ \psi =-u'';\ \psi \cdot x={\frac {d}{dx}}(u-u'x);\ {\bar {\delta }}u=x\cdot \varepsilon ;$
* $\Delta x={\frac {-2a}{u'^{2}}}\varepsilon ;\ \Delta u=\left(x-{\frac {2u}{u'}}\right)\cdot \varepsilon .$
Da die Lagrangeschen Ausdrück einer Divergenz identisch verschwinden, zeigt die Umkehrung schließlich noch das folgende: Gestattet $I$ eine ${\mathfrak {G}}_{\varrho }$, so gestattet jedes Integral, das sich von $I$ nur um ein Randintegral, d. h. ein Integral über ein Divergenz unterscheidet, ebenfalls eine ${\mathfrak {G}}_{\varrho }$ mit denselben ${\bar {\delta }}u$, deren infinitesimalen Transformationen im allgemeinen Ableitungen der $u$ enthalten werden. So gestattet etwa entsprechend dem obigen Beispiel: $f^{*}={\tfrac {1}{2}}\left\{u'^{2}-{\frac {d}{dx}}\left({\frac {u^{2}}{x}}\right)\right\}$ die infinitesimale Transformation $\Delta u=x\varepsilon$, $\Delta x=0$; während in den $f$ entsprechenden infinitesimalen Transformationen Ableitungen der $u$ auftreten.
Geht man zum Variationsproblem über; d. h. setzt man $\psi _{i}=0$, so geht (13) über in die Gleichungen: $\mathrm {Div} \ B^{(1)}=0,\dots ,\mathrm {Div} \ B^{(\varrho )}=0$, die vielfach als „Erhaltungssätze“ bezeichnet werden. Im eindimensionalen Fall folgt daraus: $B^{(1)}=\mathrm {const} ;\dots ,B^{(\varrho )}=\mathrm {const}$; und hierbei enthalten die $B$ höchstens $(2\varkappa -1)$te Ableitungen der $u$ (nach (6)), sobald $\Delta u$ und $\Delta x$ keine höheren Ableitungen als die in $f$ auftretenden $\varkappa$-ten enthalten. Da in $\psi$ im allgemeinen $2\varkappa$-te Ableitungen auftreten, hat man also die Existenz von $\varrho$ ersten Integralen. Daß unter diesen nicht-lineare Abhängigkeiten bestehen können, zeigt wieder das obige $f$. Den linear-unabhängigen $\Delta u=\varepsilon _{1}$, $\Delta x=\varepsilon _{2}$ entsprechen die linear-unabhängigen Relationen: $u''={\frac {d}{dx}}u';\ u''\cdot u'={\frac {1}{2}}{\frac {d}{dx}}(u')^{2}$; während zwischen den ersten Integralen $u'=\mathrm {const.} ;$ $u'^{2}=\mathrm {const.}$ eine nichtlineare Abhängigkeit besteht. Dabei handelt es sich um den elementaren Fall, daß $\Delta u,\ \Delta x$ keine Ableitungen der $u$ enthalten.
Vorerst sei gezeigt, daß die Annahme der Linearität von $\Delta x$ und $\Delta u$ keine Einschränkung vorstellt, was sich hier schon ohne Umkehrung aus der Tatsache ergibt, daß ${\mathfrak {G}}_{\infty \varrho }$ von $\varrho$ und nur willkürlichen Funktionen formal abhängt. Es zeigt sich nämlich, daß im nichtlinearen Fall bei Zusammensetzung der Transformationen, wobei die Glieder niedrigster Ordnung sich addieren, die Anzahl der willkürlichen Funktionen zunehmen würde. In der Tat, sei etwa
* $y=A\left(x,u,{\frac {\partial u}{\partial x}},\dots ;p\right)=x+\sum a(x,u,\dots )p^{\nu }+b(x,u,\dots )p^{\nu -1}{\frac {\partial p}{\partial x}}$
* $+cp^{\nu -2}\left({\frac {\partial p}{\partial x}}\right)^{2}+\dots +d\left({\frac {\partial p}{\partial x}}\right)^{\nu }+\dots \ \left(p^{\nu }=\left(p^{(1)}\right)^{\nu _{1}}\dots \left(p^{(\varrho )}\right)^{\nu _{\varrho }}\right);$
und entsprechend $v=B\left(x,u,{\frac {\partial u}{\partial x}},\dots ;p\right)$, so kommt durch Zusammensetzung mit $z=A\left(y,v,{\frac {\partial v}{\partial y}},\dots ;q\right)$ für die Glieder niedrigster Ordnung:
* $s=x+\sum a\left(p^{\nu }+q^{\nu }\right)+b\left\{p^{\nu -1}{\frac {\partial p}{\partial x}}+q^{\nu -1}{\frac {\partial q}{\partial x}}\right\}$
* $+c\left\{p^{\nu -2}\left({\frac {\partial p}{\partial x}}\right)^{2}+q^{\nu -2}\left({\frac {\partial q}{\partial x}}\right)^{2}\right\}+\dots .$
Ist hier irgend ein von $a$ und $b$ verschiedener Koeffizient von Null verschieden, kommt also ein Term: $p^{\nu -\sigma }\left({\frac {\partial p}{\partial x}}\right)^{\sigma }+q^{\nu -\sigma }\left({\frac {\partial q}{\partial x}}\right)^{\sigma }$ wirklich für $\sigma >1$ vor, so läßt sich dieser nicht als Differentialquotient einer einzigen Funktion oder Potenzprodukt eines solchen schreiben; die Zahl der willkürlichen Funktionen hat also gegen die Voraussetzung zugenommen. Verschwinden alle von $a$ und $b$ verschiedenen Koeffizienten, so wird je nach den Werten der Exponenten $\nu _{1}\dots \nu _{\varrho }$ der zweite Term der Differentialquotient des ersten (wie z. B. immer für eine ${\mathfrak {G}}_{\infty 1}$), so daß also tatsächlich Linearität eintritt; oder aber die Anzahl der willkürlichen Funktionen nimmt auch hier zu. — Die infinitesimalen Transformationen genügen also wegen der Linearität der $p(x)$ einem System linear partieller Differentialgleichungen; und da die Gruppeneigenschaft erfüllt ist, bilden sie eine „unendliche Gruppe infinitesimaler Transformationen“ nach der Definition von Lie (Grundlagen, § 10).
Die Umkehrung ergibt sich nun ähnlich wie im Fall der endlichen Gruppe. Das Bestehen der Abhängigkeiten (16) führt durch Multiplikation mit $p^{(\lambda )}(x)$ und Addition vermöge der identischen Umformung (14) auf $\sum \psi _{i}{\bar {\delta }}u_{i}=\mathrm {Div} \ \Gamma ;$ und daraus folgt wie in § 3 die Bestimmung von $\Delta x$ und $\Delta u$ und die Invarianz von $I$ gegenüber diesen infinitesimalen Transformationen, die tatsächlich linear von $\varrho$ willkürlichen Funktionen und ihren Ableitungen bis zur $\sigma$-ten Ordnung abhängen. Daß diese infinitesimalen Transformationen, wenn sie keine Ableitungen ${\frac {\partial u}{\partial x}},\dots$ enthalten, sicher eine Gruppe bilden, folgt wie in § 3 daraus, daß sonst durch Zusammensetzung mehr willkürliche Funktionen auftreten würden, während es nach Annahme nur $\varrho$ Abhängigkeiten (16) geben soll; sie bilden also eine „unendliche Gruppe von infinitesimalen Transformationen“. Eine solche besteht aber (Grundlagen, Theorem VII, S. 391) aus den allgemeinsten infinitesimalen Transformationen einer gewissen dadurch definierten im Lieschen Sinne „unendlichen Gruppe ${\mathfrak {G}}$ von endlichen Transformationen“. Jede endliche Transformation wird dabei aus infinitesimalen erzeugt (Grundlagen, § 7), entsteht also durch Integration des simultanen Systems:
${\frac {dx_{i}}{dt}}=\Delta x_{i};\quad {\frac {du_{i}}{dt}}=\Delta u_{i}\quad \left({\begin{array}{c}x_{i}=y_{i}\\u_{i}=v\end{array}}\ {\text{für}}\ t=0\right),$
$p(x)$
$t$
${\mathfrak {G}}$
$p(x)$
$t$
$q(x)=t\cdot p(x)$
${\frac {\partial u}{\partial x}},\dots$
${\bar {\delta }}u=0,\ \mathrm {Div} (f\cdot \Delta x)=0$
Es sei im Anschluß an ein Liesches Beispiel (Grundlagen, § 7) noch ein ziemlich allgemeiner Fall angegeben, wo man bis zu expliziten Formeln vordringen kann, die zugleich zeigen, daß die Ableitungen der willkürlichen Funktionen bis zur $\sigma$-ten Ordnung auftreten; wo die Umkehrung also vollständig ist. Es sind das solche Gruppen infinitesimaler Transformationen, denen die Gruppe aller Transformationen der $x$ und dadurch „induzierter“ Transformationen der $u$ entspricht; d. h. solche Transformationen der $u$, bei denen $\Delta u$ und folglich $u$ nur von den in $\Delta x$ auftretenden willkürlichen Funktionen abhängen; wobei noch angenommen sei, daß die Ableitungen ${\frac {\partial u}{\partial x}},\dots$ in $\Delta u$ nicht auftreten. Man hat also:
* $\Delta x_{i}=p^{(i)}(x);\ \Delta u_{i}=\sum \limits _{\lambda =1}^{n}\left\{a^{(\lambda )}(x,u)p^{(\lambda )}+b^{(\lambda )}{\frac {\partial p^{(\lambda )}}{\partial x}}+\dots +c^{(\lambda )}{\frac {\partial ^{\sigma }p^{(\lambda )}}{\partial x^{\sigma }}}\right\}.$
Da die infinitesimale Transformation $\Delta x=p(x)$ jede Transformation $x=y+g(y)$ mit willkürlichem $g(y)$ erzeugt, läßt sich insbesondere $p(x)$ so von $t$ abhängig bestimmen, daß die eingliedrige Gruppe erzeugt wird:
| (18) | $x_{i}=y_{i}+t\cdot g_{i}(y),$ |
die für $t=0$ in die Identität, für $t=1$ in die gesuchte $x=y+g(y)$ übergeht. Durch Differentiation von (18) folgt nämlich:
| (19) | ${\frac {dx_{i}}{dt}}=g_{i}(y)=p^{(i)}(x,t),$ |
wo sich $p(x,t)$ aus $g(y)$ durch Umkehrung von (18) bestimmt; und umgekehrt entsteht (18) aus (19) vermöge der Nebenbedingung $x_{i}=y_{i}$ für $t=0$, durch die das Integral eindeutig festgelegt ist. Vermöge (18) lassen sich in $\Delta u$ die $x$ durch die „Integrationskonstanten“ $y$ und durch $t$ ersetzen; dabei treten die $g(y)$ genau bis zur $\sigma$-ten Ableitung auf, indem man in ${\frac {\partial p}{\partial x}}=\sum {\frac {\partial g}{\partial y_{\varkappa }}}{\frac {\partial y_{\varkappa }}{\partial x}}$ die ${\frac {\partial y}{\partial x}}$ durch ${\frac {\partial x}{\partial y}}$ ausdrückt, allgemein ${\frac {\partial ^{\sigma }p}{\partial x^{\sigma }}}$ durch seinen Wert in ${\frac {\partial g}{\partial y}},\dots ,{\frac {\partial x}{\partial y}},\dots {\frac {\partial ^{\sigma }x}{\partial y^{\sigma }}}$ ersetzt. Zur Bestimmung der $u$ ergibt sich also das Gleichungssystem:
* ${\frac {du_{i}}{dt}}=F_{i}\left(g(y),\ {\frac {\partial g}{\partial y}},\dots {\frac {\partial ^{\sigma }g}{\partial y^{\sigma }}},u,t\right)\quad (u_{i}=v_{i}\ {\text{für}}\ t=0)$
in dem nur $t$ und $u$ Variable sind, die $g(y),\dots$ aber dem Koeffizientenbereich angehören, sodaß die Integration ergibt:
* $u_{i}=v_{i}+B_{i}\left(v,\ g(y),\ {\frac {\partial g}{\partial y}},\dots {\frac {\partial ^{\sigma }g}{\partial y^{\sigma }}},\ t\right)_{t=1},$
also Transformationen, die genau von $\sigma$ Ableitungen der willkürlichen Funktionen abhängen. Die Identität ist darin nach (18) für $g(y)=0$ enthalten; und die Gruppeneigenschaft folgt daraus, daß das angegebene Verfahren jede Transformation $x=y+g(y)$ liefert, wodurch die induzierte der $u$ eindeutig festgelegt ist, die Gruppe ${\mathfrak {G}}$ also erschöpft wird.
Aus der Umkehrung folgt noch nebenbei, daß es keine Einschränkung bedeutet, die willkürlichen Funktionen nur von den $x$, nicht von den $u,\ {\frac {\partial u}{\partial x}},\dots$ abhängig anzunehmen. In letzterem Falle würden nämlich in der identischen Umformung (14), also auch in (15), außer den $p^{(\lambda )}$ noch ${\frac {\partial p^{(\lambda )}}{\partial u}},\ {\frac {\partial p^{(\lambda )}}{\partial {\dfrac {\partial u}{\partial x}},\dots }}$ auftreten. Nimmt man nun sukzessive die $p^{(\lambda )}$ als nullten, ersten, … Grades in $u,\ {\frac {\partial u}{\partial x}},\dots$ an, mit willkürlichen Funktionen von $x$ als Koeffizienten, so kommen wieder Abhängigkeiten (16), nur in größerer Anzahl; die aber nach der obigen Umkehrung durch Zusammenfassung mit nur von $x$ abhängigen willkürlichen Funktionen auf den früheren Fall zurückführen. Ebenso zeigt man, daß gleichzeitigem Auftreten von Abhängigkeiten und davon unabhängigen Divergenzrelationen gemischte Gruppen entsprechen.
Spezialisiert man die Gruppe ${\mathfrak {G}}$ auf den einfachsten, gewöhnlich betrachteten Fall dadurch, daß man in den Transformationen keine Ableitungen der $u$ zuläßt, und daß die transformierten unabhängigen Variabeln nur von den $x$, nicht von den $u$ abhängen, so kann man auf Invarianz der einzelnen Bestandteile in den Formeln schließen. Vorerst ergibt sich nach bekannten Schlüssen die Invarianz von $\int \dots \int \left(\sum \psi _{i}\delta u_{i}\right)dx$; also die relative Invarianz von $\sum \psi _{i}\delta u_{i}$, unter $\delta$ irgend eine Variation verstanden. Man hat nämlich einerseits:
* $\delta I=\int \dots \int \delta f\left(x,u,{\frac {\partial u}{\partial x}},\dots \right)dx=\int \dots \int \delta f\left(y,v,{\frac {\partial v}{\partial y}},\dots \right)dy,$
anderseits für am Rande verschwindendes $\delta u,\ \delta {\frac {\partial u}{\partial x}},\dots ,$ dem wegen der linearen, homogenen Transformation der $\delta u,\ \delta {\frac {\partial u}{\partial x}},\dots$ auch am Rande verschwindendes $\delta v,\ \delta {\frac {\partial v}{\partial y}},\dots$ entspricht:
* $\int \dots \int \delta f\left(x,u,{\frac {\partial u}{\partial x}},\dots \right)dx=\int \dots \int \left(\sum \psi _{i}(u,\dots )\delta u_{i}\right)dx;$
* $\int \dots \int \delta f\left(y,v,{\frac {\partial v}{\partial x}},\dots \right)dy=\int \dots \int \left(\sum \psi _{i}(v,\dots )\delta v_{i}\right)dy,$
folglich für am Rande verschwindendes $\delta u,\ \delta {\frac {\partial u}{\partial x}},\dots :$
* $\int \dots \int \left(\sum \psi _{i}(u,\dots )\delta u_{i}\right)dx=\int \dots \int \left(\sum \psi _{i}(v,\dots )\delta v_{i}\right)dy$
* $=\int \dots \int \left(\sum \psi _{i}(v,\dots )\delta v_{i}\right)\left|{\frac {\partial y_{i}}{\partial x_{\varkappa }}}\right|dx.$
Drückt man im dritten Integral $y,v,\delta v$ durch $x,u,\delta u$ aus, und setzt es dem ersten gleich, so hat man also eine Relation
* $\int \dots \int \left(\sum \chi _{i}(u,\dots )\delta u_{i}\right)dx=0$
für am Rande verschwindendes, sonst willkürliches $\delta u$, und hieraus folgt bekanntlich das Verschwinden des Integranden für beliebiges $\delta u$; es gilt also identisch in $\delta u$ die Relation:
* $\sum \psi _{i}(u,\dots )\delta u_{i}=\left|{\frac {\partial y_{i}}{\partial x_{\varkappa }}}\right|\left(\sum \psi _{i}(v,\dots )\delta v_{i}\right),$
die die relative Invarianz von $\sum \psi _{i}\delta u_{i}$ und folglich die Invarianz von $\int \dots \int \left(\sum \psi _{i}\delta u_{i}\right)dx$ aussagt.
Um dies auf die abgeleiteten Divergenzrelationen und Abhängigkeiten anzuwenden, ist zuerst nachzuweisen, daß das aus den $\Delta u,\Delta x$ abgeleitete ${\bar {\delta }}u$ tatsächlich den Transformationsgesetzen für die Variation $\delta u$ genügt, sobald nur die Parameter, bezw. willkürlichen Funktionen in ${\bar {\delta }}v$ so bestimmt werden, wie sie der ähnlichen Gruppe der infinitesimalen Transformationen in $y,v$ entsprechen. Bezeichnet ${\mathfrak {T}}_{q}$ die Transformation, die $x,u$ überführt in $y,v$; ${\mathfrak {T}}_{p}$ eine infinitesimale in $x,u,$ so ist die dazu ähnliche in $y,v$ gegeben durch ${\mathfrak {T}}={\mathfrak {T}}_{q}{\mathfrak {T}}_{p}{\mathfrak {T}}_{q}^{-1}$, wo also die Parameter, bezw. willkürlichen Funktionen $r$ sich aus $p$ und $q$ bestimmen. In Formeln drückt sich das so aus:
* ${\begin{array}{rlcrl}{\mathfrak {T}}_{p}:\xi &=x+\Delta x(x,p);&&u^{*}&=u+\Delta u(x,u,p);\\{\mathfrak {T}}_{q}:y&=A(x,q);&&v&=B(x,u,q);\\{\mathfrak {T}}_{q}{\mathfrak {T}}_{p}:\eta &=A(x+\Delta x(x,p),q);&&v^{*}&=B(x+\Delta x(p),\ u+\Delta u(p),q).\end{array}}$
Hieraus entsteht aber ${\mathfrak {T}}_{r}={\mathfrak {T}}_{q}{\mathfrak {T}}_{p}{\mathfrak {T}}_{q}^{-1}$, also
* $\eta =y+\Delta y(r);\quad v^{*}=v+\Delta v(r),$
indem man vermöge der Umkehrung von ${\mathfrak {T}}_{q}$ die $x$ als Funktionen der $y$ betrachtet und nur die infinitesimalen Glieder berücksichtigt; also hat man die Identität:
| (20) | $\eta =y+\Delta y(r)=y+\sum {\frac {\delta A(x,q)}{\delta x}}\Delta x(p);$ |
* $v^{*}=v+\Delta v(r)=v+\sum {\frac {\partial B(x,u,q)}{\partial x}}\Delta x(p)+\sum {\frac {\partial B(x,u,q)}{\delta u}}\Delta u(p).$
Ersetzt man hierin $\xi =x+\Delta x$ durch $\xi -\Delta \xi$, wodurch also $\xi$ wieder in $x$ übergeht, also $\Delta x$ verschwindet; so geht nach der ersten Formel (20) auch $\eta$ wieder in $y=\eta -\Delta \eta$ über; geht durch diese Substitution $\Delta u(p)$ über in ${\bar {\delta }}u(p)$, so geht also auch $\Delta v(r)$ über in ${\bar {\delta }}v(r)$, und die zweite Formel (20) gibt:
* $v+{\bar {\delta }}v(y,v,\dots r)=v+\sum {\frac {\partial B(x,u,q)}{\partial u}}{\bar {\delta }}u(p),$
* ${\bar {\delta }}v(y,v,\dots r)=\sum {\frac {\partial B}{\partial u_{\varkappa }}}{\bar {\delta }}u_{\varkappa }(x,u,p),$
so daß also tatsächlich die Transformationsformeln für Variationen erfüllt sind, sobald nur ${\bar {\delta }}v$ von den Parametern, bezw. willkürlichen Funktionen $r$ abhängig angenommen wird.
Es folgt also insbesondere die relative Invarianz von $\sum \psi _{i}{\bar {\delta }}u_{i}$; also auch nach (12), da die Divergenzrelationen auch in $y,v$ erfüllt sind, die relative Invarianz von $\mathrm {Div} \ B$; und weiter nach (14) und (13) die relative Invarianz von $\mathrm {Div} \ \Gamma$ und der mit den $p^{(\lambda )}$ zusammengefaßten linken Seiten der Abhängigkeiten, wo immer in den transformierten Formeln die willkürlichen $p(x)$ (bezw. die Parameter) durch die $r$ zu ersetzen sind. Daraus ergibt sich noch die relative Invarianz von $\mathrm {Div} \ (B-\Gamma )$, also einer Divergenz eines nicht identisch verschwindenden Funktionensystems $B-\Gamma$, dessen Divergenz identisch verschwindet.
Aus der relativen Invarianz von $\mathrm {Div} \ B$ läßt sich im eindimensionalen Fall und bei endlicher Gruppe noch ein Schluß auf die Invarianz der ersten Integrale ziehen. Die der infinitesimalen Transformation entsprechende Parametertransformation wird nach (20) linear und homogen, und wegen der Umkehrbarkeit aller Transformationen werden auch die $\varepsilon$ linear und homogen in den transformierten Parametern $\varepsilon ^{*}$. Diese Umkehrbarkeit bleibt sicher erhalten, wenn man $\psi =0$ setzt, da in (20) keine Ableitungen der $u$ auftreten. Durch Gleichsetzen der Koeffizienten der $\varepsilon ^{*}$ in
* $\mathrm {Div} \ B(x,u,\dots \varepsilon )={\frac {dy}{dx}}\cdot \mathrm {Div} \ B(y,v,\dots \varepsilon ^{*})$
werden somit auch die ${\frac {d}{dy}}B^{(\lambda )}(y,v,\dots )$ lineare, homogene Funktionen der ${\frac {d}{dx}}B^{(\lambda )}(x,u,\dots )$, sodaß aus ${\frac {d}{dx}}B^{(\lambda )}(x,u,\dots )=0$ oder $B^{(\lambda )}(x,u)=\mathrm {const} .$ auch, folgt: ${\frac {d}{dy}}B^{(\lambda )}(y,v,\dots )=0$ oder $B^{(\lambda )}(y,v)=\mathrm {const} .$ Die $\varrho$ ersten Integrale, die einer ${\mathfrak {G}}_{\varrho }$ entsprechen, gestatten also jeweils die Gruppe, so daß sich auch die weitere Integration vereinfacht. Das einfachste Beispiel hierzu ist, daß $f$ von $x$ oder einem $u$ frei ist, was den infinitesimalen Transformation $\Delta x=\varepsilon ,\ \Delta u=0$ bezw. $\Delta x=0,\ \Delta u=\varepsilon$ entspricht. Es wird ${\bar {\delta }}u=-\varepsilon {\frac {du}{dx}}$ bezw. $\varepsilon$, und da $B$ sich aus $f$ und ${\bar {\delta }}u$ durch Differentiation und rationale Verbindungen ableitet, ist es also auch frei von $x$ bezw. $u$ und gestattet die entsprechenden Gruppen.
Aus dem Vorhergehenden ergibt sich schließlich noch der Beweis einer Hilbertschen Behauptung über den Zusammenhang des Versagens eigentlicher Energiesätze mit „allgemeiner Relativität“ (erste Kleinsche Note, Göttinger Nachr. 1917, Antwort, 1. Absatz), und zwar in verallgemeinerter gruppentheoretischer Fassung.
Es gestatte das Integral $I$ eine ${\mathfrak {G}}_{\infty \varrho }$, und ${\mathfrak {G}}_{\sigma }$ sei irgend eine durch Spezialisierung der willkürlichen Funktionen entstehende endliche Gruppe, also Untergruppe von ${\mathfrak {G}}_{\infty \varrho }$. Der unendlichen Gruppe ${\mathfrak {G}}_{\infty \varrho }$ entsprechen dann Abhängigkeiten (16), der endlichen ${\mathfrak {G}}_{\sigma }$ Divergenzrelationen (13); und umgekehrt folgt aus dem Bestehen irgend welcher Divergenzrelationen die Invarianz von $I$ gegenüber einer endlichen Gruppe, die dann und nur dann mit ${\mathfrak {G}}_{\sigma }$ identisch ist, wenn die ${\bar {\delta }}u$ lineare Kombinationen der sich aus ${\mathfrak {G}}_{\sigma }$ ergebenden sind. Die Invarianz gegenüber ${\mathfrak {G}}_{\sigma }$ kann also zu keinen von (13) verschiedenen Divergenzrelationen führen. Da aber aus dem Bestehen von (16) die Invarianz von $I$ gegenüber den infinitesimalen Transformationen $\Delta u,\ \Delta x$ von ${\mathfrak {G}}_{\infty \varrho }$ bei beliebigem $p(x)$ folgt, so folgt daraus insbesondere schon die Invarianz gegenüber den daraus durch Spezialisierung entstehenden infinitesimalen Transformationen von ${\mathfrak {G}}_{\sigma }$, und folglich gegenüber ${\mathfrak {G}}_{\sigma }$. Die Divergenzrelationen $\sum \psi _{i}{\bar {\delta }}u_{i}^{(\lambda )}=\mathrm {Div} \ B^{(\lambda )}$ müssen also Folgen der Abhängigkeiten (16) sein, welch letztere sich auch schreiben lassen: $\sum \psi _{i}a_{i}^{(\lambda )}=\mathrm {Div} \ \chi ^{(\lambda )}$, wo die $\chi ^{(\lambda )}$ lineare Verbindungen der Lagrangeschen Ausdrücke und ihrer Ableitungen sind. Da die $\psi$ sowohl in (13) wie in (16) linear eingehen, müssen die Divergenzrelationen also insbesondere lineare Kombinationen der Abhängigkeiten (16) sein; somit kommt $\mathrm {Div} \ B^{(\lambda )}=\mathrm {Div} \ \left(\sum \alpha \cdot \chi ^{(\lambda )}\right)$; und die $B^{(\lambda )}$ selbst setzen sich also linear aus den $\chi$, d. h. den Lagrangeschen Ausdrücken und ihren Ableitungen zusammen, und aus Funktionen, deren Divergenz identisch verschwindet, wie etwa die am Schluß von § 2 auftretenden $B-\Gamma$, für welche $\mathrm {Div} \ (B-\Gamma )=0$, und wo die Divergenz zugleich Invarianteneigenschaft hat. Divergenzrelationen, bei denen sich die $B^{(\lambda )}$ auf die angegebene Art aus den Lagrangeschen Ausdrücken und ihren Ableitungen zusammensetzen lassen, will ich als „uneigentliche“, alle übrigen als „eigentliche“ bezeichnen.
Sind umgekehrt die Divergenzrelationen lineare Verbindungen der Abhängigkeiten (16), also „uneigentliche“, so folgt die Invarianz gegenüber ${\mathfrak {G}}_{\sigma }$ aus der gegenüber ${\mathfrak {G}}_{\infty \varrho }$; ${\mathfrak {G}}$ wird Untergruppe von ${\mathfrak {G}}_{\infty \varrho }$. Die einer endlichen Gruppe ${\mathfrak {G}}_{\sigma }$ entsprechenden Divergenzrelationen werden also dann und nur dann uneigentliche, wenn ${\mathfrak {G}}_{\sigma }$ Untergruppe einer unendlichen Gruppe ist, der gegenüber $I$ invariant ist.
Durch Spezialisierung der Gruppen ergibt sich hieraus die ursprüngliche Hilbertsche Behauptung. Unter „Verschiebungsgruppe“ sei die endliche Gruppe verstanden:
* $y_{i}=x_{i}+\varepsilon _{i};\quad v_{i}(y)=u_{i}(x);$
also:
* $\Delta x_{i}=\varepsilon _{i},\quad \Delta u_{i}=0,\quad {\bar {\delta }}u_{i}=-\sum \limits _{\lambda }{\frac {\partial u_{i}}{\partial x_{\lambda }}}\varepsilon _{\lambda }.$
Die Invarianz gegenüber der Verschiebungsgruppe sagt bekanntlich aus, daß in $I=\int \dots \int f\left(x,u,{\frac {\partial u}{\partial x}},\dots \right)dx$ die $x$ nicht explizit in $f$ auftreten. Die zugehörigen $n$ Divergenzrelationen
* $\sum \psi _{i}{\frac {\partial u_{i}}{\partial x_{\lambda }}}=\mathrm {Div} \ B^{(\lambda )}\qquad (\lambda =1,2,\dots n)$
seien als „Energierelationen“ bezeichnet, da die dem Variationsproblem entsprechenden „Erhaltungssätze“ $\mathrm {Div} \ B^{(\lambda )}=0$ den „Energiesätzen“, die $B^{(\lambda )}$ den „Energiekomponenten“ entsprechen. Dann gilt also: Gestattet $I$ die Verschiebungsgruppe, so werden die Energierelationen dann und nur dann uneigentliche, wenn $I$ invariant ist gegenüber einer unendlichen Gruppe, die die Verschiebungsgruppe als Untergruppe enthält.
Ein Beispiel von solchen unendlichen Gruppen ist gegeben durch die Gruppe aller Transformationen der $x$ und solcher induzierter Transformationen der $u(x)$, in denen nur Ableitungen der willkürlichen Funktionen $p(x)$ auftreten; die Verschiebungsgruppe entsteht durch die Spezialisierung $p^{(i)}(x)=\varepsilon _{i}$; doch muß unentschieden bleiben, ob damit — und durch die durch Abänderung von $I$ um ein Randintegral entstehenden Gruppen — schon die allgemeinsten dieser Gruppen gegeben sind. Induzierte Transformationen der angegebenen Art entstehen etwa, indem man die $u$ den Koeffiziententransformationen einer „totalen Differentialform“ unterwirft, d. h. einer Form $\sum a\,d^{\lambda }x_{i}+\sum b\,d^{\lambda -1}x_{i}\,dx_{\varkappa }+\dots$, die außer den $dx$ noch höhere Differentiale enthält; speziellere induzierte Transformationen, bei denen die $p(x)$ nur in erster Ableitung auftreten, sind durch die Koeffiziententransformationen gewöhnlicher Differentialformen $\sum c\,dx_{i_{1}}\dots dx_{i_{\lambda }}$ gegeben, und diese hat man gewöhnlich nur betrachtet.
Eine weitere Gruppe der angegebenen Art — die wegen des Auftretens des logarithmischen Gliedes keine Koeffiziententransformation sein kann — ist etwa die folgende:
* $y=x+p(x);\ v_{i}=u_{i}+\lg(1+p'(x))=u_{i}+\lg {\frac {dy}{dx}};$
* $\Delta x=p(x);\ \Delta u_{i}=p'(x)$$;\ {\bar {\delta }}u_{i}=p'(x)-u'_{i}p(x).$
Die Abhängigkeiten (16) werden hier:
* $\sum \limits _{i}\left(\psi _{i}u_{i}'+{\frac {d\psi _{i}}{dx}}\right)=0,$
die uneigentlichen Energierelationen werden:
* $\sum \left(\psi _{i}u_{i}'+{\frac {d\left(\psi _{i}+\mathrm {const.} \right)}{dx}}\right)=0.$
Ein einfachstes invariantes Integral der Gruppe ist:
* $I=\int {\frac {e^{-2u_{1}}}{u'_{1}-u'_{2}}}dx.$
Das allgemeinste $I$ bestimmt sich durch Integration der Lieschen Differentialgleichung (11):
* ${\bar {\delta }}f+{\frac {d}{dx}}(f\cdot \delta x)=0,$
die durch Einsetzen der Werte für $\Delta x$ und ${\bar {\delta }}u$, sobald man $f$ als von nur ersten Ableitungen der $u$ abhängig annimmt, übergeht in
* ${\frac {\partial f}{\partial x}}p(x)+\left\{\sum {\frac {\partial f}{\partial u_{i}}}-{\frac {\partial f}{\partial u'_{i}}}u'_{1}+f\right\}p'(x)+\left\{\sum {\frac {\partial f}{\partial u''_{i}}}\right\}p''(x)=0$
(identisch in $p(x),\ p'(x),\ p''(x)$). Dieses Gleichungssystem besitzt schon für zwei Funktionen $u(x)$ Lösungen, die die Ableitungen wirklich enthalten, nämlich:
* $f=\left(u'_{1}-u'_{2}\right)\Phi \left(u_{1}-u_{2},\ {\frac {e^{-u_{1}}}{u'_{1}-u'_{2}}}\right),$
wo $\Phi$ eine willkürliche Funktion der angegebenen Argumente bedeutet.
Hilbert spricht seine Behauptung so aus, daß das Versagen eigentlicher Energiesätze ein charakterisches Merkmal der „allgemeinen Relativitätstheorie“ sei. Damit diese Behauptung wörtlich gilt, ist also die Bezeichnung „allgemeine Relativität“ weiter als gewöhnlich zu fassen, auch auf die vorangehenden von $n$ willkürlichen Funktionen abhängenden Gruppen auszudehnen.
* ↑ Die endgiltige Fassung des Manuskriptes wurde erst Ende September eingereicht.
* ↑ Hamel: Math. Ann. Bd. 59 und Zeitschrift f. Math. u. Phys. Bd. 50. Herglotz: Ann. d. Phys. (4) Bd. 36, bes. § 9, S. 511. Fokker, Verslag d. Amsterdamer Akad., 27./1. 1917. Für die weitere Litteratur vergl. die zweite Note von Klein: Göttinger Nachrichten 19. Juli 1918. In einer eben erschienenen Arbeit von Kneser (Math. Zeitschrift Bd. 2) handelt es sich um Aufstellung von Invarianten nach ähnlicher Methode.
* ↑ Lie definiert in den „Grundlagen für die Theorie der unendlichen kontinuierlichen Transformationsgruppen“ (Ber. d. K. Sächs. Ges. der Wissensch. 1891) [zitiert „Grundlagen“] die unendliche kontinuierliche Gruppe als Transformationsgruppe, deren Transformationen durch die allgemeinsten Lösungen eines Systems partieller Differentialgleichungen gegeben sind, sobald diese Lösungen nicht nur von einer endlichen Anzahl von Parametern abhängen. Dadurch erhält man also einen der oben angegebenen, von der endlichen Gruppe verschiedenen Typen; während umgekehrt der Grenzfall von unendlich vielen Parametern nicht notwendig einem Differentialgleichungssystem zu genügen braucht.
* ↑ Ich lasse — soweit möglich auch bei Summationen — die Indices weg; also etwa ${\frac {\partial ^{2}u}{\partial x^{2}}}$ für ${\frac {\partial ^{2}u_{\alpha }}{\partial x_{\beta }\partial x_{\gamma }}}$ u. s. w.
* ↑ Ich schreibe abkürzend $dx,\ dy$ für $dx_{1}\dots dx_{n},\ dy_{1}\dots dy_{n}$.
* ↑ Alle in den Transformationen auftretenden Argumente $x,\ u,\ \varepsilon ,\ p(x)$ sollen als reell angenommen werden, während die Koeffizienten komplex sein dürfen. Da es sich aber in den Schlußresultaten um Identitäten in den $x,\ u,$ Parametern und willkürlichen Funktionen handelt, gelten diese auch für komplexe Werte, sobald nur alle auftretenden Funktionen als analytisch angenommen werden. Ein großer Teil der Resultate läßt sich übrigens integralfrei begründen, sodaß hier die Beschränkung auf das Reelle auch bei der Begründung nicht notwendig ist. Dagegen scheinen die Betrachtungen am Schlusse von § 2 und Anfang von § 5 nicht integralfrei durchführbar zu sein.
* ↑ Für gewisse triviale Ausnahmefälle vergl. § 2, 2. Anmerkung.
* ↑ Etwas allgemeiner kann man auch $\psi _{i}=T_{i}$, setzen, vergl. § 3, erste Anmerkung.
* ↑ Vergl. den Schluß von § 3.
* ↑ Vergl. etwa die Kleinsche Darstellung.
* ↑ D. h. $\sum \psi _{i}\delta u_{i}$ nimmt bei Transformation einen Faktor an.
* ↑ Vergl. die zweite Kleinsche Note.
* ↑ Vergl. etwa Lie: „Grundlagen“, S. 331. Handelt es sich um willkürliche Funktionen, so sind die speziellen Werte $a^{\sigma }$ der Parameter durch feste Funktionen $p^{\sigma },\ {\frac {\partial p^{\sigma }}{\partial x}},\dots$ zu ersetzen; und entsprechend die Werte $a^{\sigma }+\varepsilon$ durch $p^{\sigma }+p(x)$, ${\frac {\partial p^{\sigma }}{\partial x}}+{\frac {\partial p}{\partial x}}$ u. s. w.
* ↑ (12) geht über in $0=0$ für den trivialen Fall — der nur auftreten kann, wenn $\Delta x,\ \Delta u$ auch von Ableitungen der $u$ abhängen — wenn $\mathrm {Div} (f\cdot \Delta x)=0$, ${\bar {\delta }}u=0$; diese infinitesimalen Transformationen sind also stets von den Gruppen abzuspalten; und nur die Anzahl der übrigen Parameter oder willkürlichen Funktionen bei den Formulierungen der Sätze zu zählen. Ob die übrigen infinitesimalen Transformationen noch stets eine Gruppe bilden, muß dahingestellt bleiben.
* ↑ Daß es keine Einschränkung bedeutet, die $p$ von den $u,\ {\frac {\partial u}{\partial x}},\dots$ frei anzunehmen, zeigt die Umkehrung.
* ↑ $\psi _{i}=0$ oder etwas allgemeiner $\psi _{i}=T_{i}$, wo $T_{i}$ neu hinzutretende Funktionen sind, werden in der Physik als „Feldgleichungen“ bezeichnet. Im Fall $\psi _{i}=T_{i}$ gehen die Identitäten (13) in Gleichungen: $\mathrm {Div} \ B^{(\lambda )}=\sum T_{i}\delta u_{i}^{(\lambda )}$ über, die in der Physik auch noch als Erhaltungssätze bezeichnet werden.
* ↑ Sobald $f$ nichtlinear in den $\varkappa$-ten Ableitungen ist.
* ↑ Sonst hat man noch $u'^{\lambda }=\mathrm {const} .$ für jedes $\lambda$, entsprechend: $u''\cdot (u')^{\lambda -1}={\frac {1}{\lambda }}{\frac {d}{dx}}(u')^{\lambda }$
* ↑ Daraus folgt insbesondere, daß die aus den infinitesimalen Transformationen $\Delta x,\ \Delta u$ einer ${\mathfrak {G}}_{\infty \varrho }$ erzeugte Gruppe ${\mathfrak {G}}$ wieder auf ${\mathfrak {G}}_{\infty \varrho }$ zurückführt. Denn ${\mathfrak {G}}_{\infty \varrho }$ enthält keine von $\Delta x,\ \Delta u$ verschiedenen, von willkürlichen Funktionen abhängenden infinitesimalen Transformationen, und kann auch keine davon unabhängigen, von Parametern abhängenden enthalten, da es sonst eine gemischte Gruppe wäre. Durch die infinitesimalen Transformationen sind aber nach dem obigen die endlichen bestimmt.
* ↑ Die Frage, ob etwa immer dieser letztere Fall eintritt, ist in anderer Formulierung von Lie aufgeworfen worden (Grundlagen, § 7 und § 13 Schluß).
* ↑ Wie in § 3 folgt auch hier aus der Umkehrung, daß neben $I$ auch jedes um ein Integral über eine Divergenz verschiedene Integral $I^{*}$ ebenfalls eine unendliche Gruppe gestattet, mit denselben ${\bar {\delta }}u$, wobei aber $\Delta x$ und $\Delta u$ im allgemeinen Ableitungen der $u$ enthalten werden. Ein solches Integral $I^{*}$ hat Einstein in die allgemeine Relativitätstheorie eingeführt, um eine einfachere Fassung der Energiesätze zu erhalten; ich gebe die infinitesimalen Transformationen an, die dieses $I^{*}$ gestattet, indem ich mich in der Bezeichnung genau an die zweite Kleinsche Note halte. Das Integral $I=\int \dots \int K\ d\omega =\int \dots \int {\mathfrak {K}}dS$ gestattet die Gruppe aller Transformationen der $w$ und die dadurch induzierte für die $g_{\mu \nu }$; dem entsprechen die Abhängigkeiten ((30) bei Klein): $\sum {\mathfrak {K}}_{\mu \nu }g_{\tau }^{\mu \nu }+2\sum {\frac {\partial g^{\mu \nu }{\mathfrak {K}}_{\mu \tau }}{\partial w^{\sigma }}}=0.$ Nun wird: $I^{*}=\int \dots \int {\mathfrak {K}}^{*}dS$, wo ${\mathfrak {K}}^{*}={\mathfrak {K}}+\mathrm {Div}$, und folglich wird: ${\mathfrak {K}}_{\mu \nu }^{*}={\mathfrak {K}}_{\mu \nu }$, wo ${\mathfrak {K}}_{\mu \nu }^{*},\ {\mathfrak {K}}_{\mu \nu }$ jeweils die Lagrangeschen Ausdrücke bedeuten. Die angegebenen Abhängigkeiten sind also auch solche für ${\mathfrak {K}}_{\mu \nu }^{*}$; und nach Multiplikation mit $p^{\tau }$ und Addition ergibt sich durch die Umformungen der Produktdifferentiation rückwärts: $\sum {\mathfrak {K}}_{\mu \nu }p^{\mu \nu }+2\mathrm {Div} \left(\sum g^{\mu \sigma }{\mathfrak {K}}_{\mu \tau }p^{\tau }\right)=0;$ $\delta {\mathfrak {K}}^{*}+\mathrm {Div} \left(\sum 2g^{\mu \sigma }{\mathfrak {K}}_{\mu \tau }p^{\tau }-{\frac {\partial {\mathfrak {K}}^{*}}{\partial g_{\sigma }^{\mu \nu }}}p^{\mu \nu }\right)=0.$ Durch Vergleichen mit der Lieschen Differentialgleichung: $\delta {\mathfrak {K}}^{*}+\mathrm {Div} \left({\mathfrak {K}}^{*}\Delta w\right)=0$ folgt daraus: $\Delta w^{\sigma }={\frac {1}{{\mathfrak {K}}^{*}}}\left(\sum 2g^{\mu \sigma }{\mathfrak {K}}_{\mu \tau }p^{\tau }-{\frac {\partial {\mathfrak {K}}^{*}}{\partial g_{\sigma }^{\mu \nu }}}p^{\mu \nu }\right);\quad \Delta g^{\mu \nu }=p^{\mu \nu }+\sum g_{\sigma }^{\mu \nu }\Delta w^{\sigma }$ als infinitesimale Transformationen, die $I^{*}$ gestattet. Diese infinitesimalen Transformationen hängen also von den ersten und zweiten Ableitungen der $g^{\mu \nu }$ ab, und enthalten die willkürlichen $p$ bis zur ersten Ableitung.
* ↑ D. h. $\sum \psi _{i}\delta u_{i}$ nimmt bei Transformationen einen Faktor an, was in der algebraischen Invariantentheorie immer als relative Invarianz bezeichnet wurde.
* ↑ Diese Schlüsse versagen, wenn $y$ auch von den $u$ abhängt, da dann $\delta f\left(y,v,{\tfrac {\partial v}{\partial y}},\dots \right)$ auch Glieder $\sum {\frac {\partial f}{\partial y}}\delta y$ enthält, die Divergenzumformung also nicht auf die Lagrangeschen Ausdrücke führt, ebenso wenn man Ableitungen der $u$ zuläßt; dann werden nämlich die $\delta v$ lineare Kombinationen von $\delta u,\delta {\frac {\partial u}{\partial x}},\dots ,$ führen also erst nach einer weiteren Divergenzumformung auf eine Identität $\int \dots \int \left(\sum \chi _{i}(u,\dots )\delta u\right)dx=0$, sodaß rechts wieder nicht die Lagrangeschen Ausdrücke auftreten. Die Frage, ob aus der Invarianz von $\int \dots \int \left(\sum \psi _{i}\delta u_{i}\right)dx$ auch schon auf das Bestehen von Divergenzrelationen geschlossen werden kann, ist nach der Umkehrung gleichbedeutend damit, ob daraus auf die Invarianz von $I$ geschlossen werden kann gegenüber einer Gruppe, die nicht notwendig auf dieselben $\Delta u,\Delta x,$ wohl aber auf dieselben ${\bar {\delta }}u$ führt. Im Spezialfall des einfachen Integrals und nur erster Ableitungen in $f$ kann man bei der endlichen Gruppe aus der Invarianz der Lagrangeschen Ausdrücke auf die Existenz erster Integrale schließen (vergl. z. B. Engel, Gött. Nachr. 1916, S. 270).
* ↑ Es zeigt sich wieder, daß $y$ von $u$ unabhängig angenommen werden muß usw., damit die Schlüsse gelten. Als Beispiel seien etwa die von Klein angegebenen $\delta g^{\mu \nu }$ und $\delta q_{\varrho }$ genannt, die den Transformationen für Variationen genügen sobald die $p$ einer Vektortransformation unterworfen werden.
* ↑ In den Fällen, wo schon aus der Invarianz von $\int \left(\sum \psi _{i}\delta u_{i}\right)dx$ die Existenz erster Integrale folgt, gestatten diese nicht die vollständige Gruppe ${\mathfrak {G}}_{\varrho }$; z. B. gestattet $\int (u''\delta u)dx$ die infinitesimale Transformation: $\Delta x=\varepsilon _{2};\ \Delta u=\varepsilon _{1}+x\varepsilon _{3}$; während das erste Integral $u-u'x=\mathrm {const}$, das $\Delta x=0,\ \Delta u=x\varepsilon _{2}$ entspricht, die beiden andern infinitesimalen Transformationen nicht gestattet, da es sowohl $u$ wie $x$ explizit enthält. Diesem ersten Integral entsprechen eben infinitesimale Transformationen für $f$, die Ableitungen enthalten. Man sieht also, daß die Invarianz von $\int \dots \int (\sum \psi _{i}du_{i})dx$ jedenfalls weniger leistet als die Invarianz von $I$, was zu der in einer vorangehenden Anmerkung aufgeworfenen Frage zu bemerken ist.
* ↑ Die Energiesätze der klassischen Mechanik und ebenso die der alten „Relativitätstheorie“ (wo $\sum dx^{2}$ in sich übergeht), sind „eigentliche“, da hier keine unendlichen Gruppen auftreten.
* ↑ Aus diesen infinitesimalen Transformationen berechnen sich die endlichen rückwärts nach der in § 4, Schluß angegebenen Methode.
* ↑ Hiermit ist wieder die Richtigkeit einer Bemerkung von Klein bestätigt, daß die in der Physik übliche Bezeichnung „Relativität“ zu ersetzen sei durch „Invarianz relativ zu einer Gruppe“. (Über die geometrischen Grundlagen der Lorentzgruppe. Jhrber. d. d. Math. Vereinig. Bd. 19, S. 287, 1910; abgedruckt in der phys. Zeitschrift.)