Sulla formola del prodotto di due trasformazioni finite e sulla dimostrazione del cosidetto secondo teorema fondamentale di \textit{Lie} nella teoria dei gruppi. (Q1509686)

Der Verf. betrachtet in der ersten Abhandlung (siehe JFM 32.0376.01) zunächst Ausdrücke von der Form: \[ (1) \qquad \sum_1^{\kappa} {_i} c_i X_1^{i-1} X_2 X_1^{\kappa -i} f, \] wo die \(c_i\) Konstanten und \(X_1f, X_2 f\) infinitesimale Transformationen sind, und wo die Potenzen \(i-1\) und \(\kappa -i\) die wiederholte Ausführung der Operation \(X_1 f\) andeuten. Sind alle \(c_i =1\), so nennt er (1) eine ``elementare Summe von Operationen der Ordnung \(\kappa\) mit den Komponenten \(X_1^{\kappa -1} f\) und \(X_2 f\)''. Eine solche elementare Summe ist aber dasselbe, was \textit{Poincaré} als ein normales Polynom bezeichnet hat (F. d. M. 30, 334, 1899, JFM 30.0334.01). Der Verf. löst die Aufgabe, (1) als eine lineare Kombination elementarer Summen von den Ordnungen \(\kappa, \kappa -1, \kappa -2, \dots\) darzustellen, durch Benutzung des Klammerausdruckes: \[ (X_1 X_2) = X_1X_2 f- X_2 X_1 f, \] und zwar werden die Komponenten dieser elementaren Summen der Reihe nach \[ X_1^{\kappa -1} f, X_2f; X_1^{\kappa -2} f, (X_1X_2); X_1^{\kappa -3} f, (X_1 (X_1X_2)); \dots \] Insbesondere erhält er für \(\kappa X_2 X_1^{\kappa -1} f\) eine Entwickelung nach solchen elementaren Summen, deren Koeffizienten \(C_{(\kappa)}, C_{(\kappa)}^{(1)}, C_{(\kappa)}^{(2)}, \dots\) sind, und wo \[ C_{(\kappa)}^{(s)} = \kappa (\kappa -1) \cdots (\kappa -s+1) \cdot \gamma^{(s)}, \] unter \(\gamma^{(s)}\) eine von \(\kappa\) unabhängige Zahl verstanden, die durch die Rekursionsformel: \[ \gamma^{(s)} + \frac{1}{2!}\;\gamma^{(s-1)} + \frac{1}{3!}\;\gamma^{(s-2)} + \cdots + \frac{1}{s!}\;\gamma' + \frac{1}{(s+1)!}\;\gamma =0 \] mit \(\gamma =1\) bestimmt ist. Der Verf. geht dann über zur Behandlung von Ausdrücken \(\kappa\)-ter Ordnung von der Form: \[ \sum c_{ik} X_1^{i-1} X_3 X_1^{k-i-1} X_2 X_1^{\kappa -k} + \sum c_{ki} X_1^{i-1} X_2 X_1^{k-i-1} X_3 X_1^{\kappa -k} \] und betrachtet deren Entwickelung nach elementaren Summen, insbesondere für den Fall \(X_2 f= X_3 f\). Dabei treten wieder dieselben Zahlen \(\gamma^{(s)}\) auf. In der zweiten Arbeit beginnt der Verf. mit der durch Induktion gefundenen Darstellung von \(\begin{pmatrix} \kappa \\ r \end{pmatrix} X_2^r X_1^{\kappa -r} f\) durch elementare Summen von den Ordnungen \(\kappa, \kappa -1, \kappa -2, \dots\). Die elementare Summe \(S_t\) von der Ordnung \(\kappa -t\) hat dabei zu Komponenten \(X_1^{\kappa -r-w}, X_2^{r-v}\) und \(m\) Klammerausdrücke: \[ (X_{i_1} (X_{i_2} \dots (X_{i_s} (X_1 X_2)) \dots ), \] wo \(i_1, \dots, i_s\) nur die Werte 1 oder 2 haben können, wo \(X_1 f\) in allen \(m\) Klammerausrücken gerade \(w\)-mal und \(X_2 f\) gerade \(v\)-mal vorkommt, wo \(m \leqq r\), \(v\leqq r\), \(w\leqq \kappa -r\), \(m\leqq v\) ist, und wo \(m,v,w\) an die Bedingung \(w+v-m =t\) gebunden sind. Es wird dann: \[ \begin{pmatrix} \kappa \\ r \end{pmatrix} X_2^r X_1^{\kappa -r} f= \sum \kappa (\kappa -1) \cdots (\kappa -t+1) T_t \cdot S_t, \] wo \(T_t\) aus den früher definierten Zahlen \(\gamma^{(s)}\) in einfacher Weise gebildet ist. Auf diese Regeln gestützt, stellt der Verf. die Transformation, die durch Nacheinanderausführung von \[ \begin{aligned} f' & = f+ \tfrac t1\, X_1\;f + \frac{t^2}{1\cdot 2}\;X_1^2\;f + \cdots,\\ f''& = f' + \frac{t'}{1}\;X_2' f' + \frac{t'^2}{1\cdot 2}\;X_2^{\prime2} f' + \cdots\end{aligned} \] erhalten wird, in der Form: \[ f'' = f+ \tfrac 11\, X_3 f + \frac{1}{1\cdot 2}\;X_3^2 f+ \cdots \] dar und findet: \[ \begin{aligned} X_3f = & tX_1 f + t'X_2 f + \gamma' tt' (X_1 X_2) + \gamma'' t^2t' (X_1 (X_1 X_2)) \\ & + \gamma'' tt'^2 (X_2 (X_1 X_2)) + \gamma'' \gamma' t^2 t'^2 (X_1 (X_2 (X_1 X_2))) + \cdots .\end{aligned} \] Die Anwendungen, die der Verf. von dieser gewiß\ sehr bemerkenswerten Formel macht, z. B. auf den Beweis des zweiten Fundamentalsatzes der \textit{Lie}schen Gruppentheorie, schweben leider vollständig in der Luft, so lange die Konvergenz des Ausdruckes \(X_3 f\) nicht bewiesen ist. Merkwüdrigerweise erwähnt der Verf. die Frage nach der Konvergenz überhaupt nicht. \textit{Lie}, der die ersten sechs Glieder des Ausdrucks \(X_3f\) auch schon berechnet hatte, hat die ganze Untersuchung deshalb nicht weiter verfolgt, weil er kein Mittel sah, um die Konvergenzfrage zu erledigen.