Sur le calcul différentiel absolu des variétés plongées dans l'espace fonctionnel. (Q576548)

Verf. betrachtet Mannigfaltigkeiten \(V\) im Funktionenraum \(E\): \[ y(s) = f(s;x^1,x^2,\ldots) = f[x(\nu),s] \] von abzählbar unendlich vielen Dimensionen; dabei sind \(x^1\), \(x^2\), \dots, \(x^n\), \dots Koordinaten im \textit{Hilbert}schen Parameterraum \(H\) mit konvergenter Quadratsumme. In der Variation \[ \delta y(s)=\int\limits_0^1 y_x(\nu)(s)\delta x(\nu)\,d\nu \] wird \(y_{x(\nu)}(s)\) quadratisch summierbar bezüglich \(s\) und \(\nu\) angenommen. Dann gilt dasselbe von \(\delta y(s)\): \[ \delta l^2=\int\limits_0^1 [\delta y(s)]^2\,ds= \int\limits_0^1\int\limits_0^1g(s,t)\delta x(s)\delta x(t)\,ds\, dt \] existiert, und der ``Fundamentaltensor'' \[ g(s,t)=\int\limits_0^1 y_{x(s)}(u)y_{x(t)}(u)\,du \] ist quadratisch summierbar bezüglich \(s\) und \(t\). Weiterhin spielt das vollständige Orthogonalsystem \(e_1(s)\), \(e_2(s)\), \dots, \(e_n(s)\) \dots \[ g_ie_i(s)=\int\limits_0^1 g(s,t)e_i(t)\,dt \] sowie die Darstellung \[ g(s,t) = \sum_{i=1}^\infty g_ie_i(s)e_i(t) \] eine bemerkenswerte Rolle. Gilt für die Variation \(\delta x^1\), \(\delta x^2\), \dots, \(\delta x^n\), \dots eines Punktes in \(H\): \[ \sum_{i=1}^\infty (\delta x^i)^2 = \;\text{konvergent}, \quad \delta(x,s) = \sum_{i=1}^\infty \delta x^i\varphi_i(s) \] (\(\varphi_i(s)\) normiertes vollständiges Orthogonalsystem), so ergibt sich mit Hilfe des Systems der \(e_i(s)\): \[ \delta x(s)= \sum_{i=1}^\infty \omega^ie_i(s), \] wobei \[ \sum_{i=1}^\infty (\omega^i)^2= \;\text{konvergent}, \quad \omega^i = \int\limits_0^1e_i(s)\delta x(s)\,ds. \] Für \(\omega^i\) ergibt sich weiterhin die konvergente Entwicklung \(\omega^i=\sum\limits_{k=1}^\infty\varphi_k^i\delta x^k\), wobei \[ \varphi_k^i=\int\limits_0^1 e_i(s)\varphi_k(s)\,ds \] ist. Entwickelt man ferner \(\delta e_i(s)\) gemäß \[ \begin{gathered} \delta e_i(s)=\sum_{k=1}^\infty \omega_i^k e_k(s), \\ \sum_{k=1}^\infty (\omega_i^k)^2 = \;\text{konvergent}, \quad \omega_i^k=\int\limits_0^1 e_k(s)\delta e_i(s)\,ds, \end{gathered} \] und setzt \[ \gamma_i^k(s)=\int\limits_0^1 e_k(\nu)e_{ix(s)}(\nu)\,d\nu, \] so liefert die Entwicklung \[ \gamma_i^k(s)=\sum_{j=1}^\infty \varphi_{ij}^k \varphi_j(s) \] die Reduktion des ganzen Problems auf das Studium der beiden Folgen \textit{Pfaff}scher Formen: \[ \omega_i=\sum_{k=1}^\infty \varphi_k^i \delta x^k, \quad \omega_k^i=\sum_{j=1}^\infty \varphi_{kj}^i \delta x^j \] in unendlich vielen Veränderlichen. Die Formen \(\omega^i\) stellen die Translation des Ursprungs \(x(s)\) längs der Achsen \(e_1(s)\), \(e_2(s)\), \dots, \(e_n(s)\) \dots dar; die Formen \(\omega_k^i\) sind ``Drehungskomponenten'' für dieses ``\(\omega\)-eder''. Für das Linienelement wird so die Darstellung \[ \delta l^2 = \sum_{i=1}^\infty g_i(\omega^i)^2 \] gewonnen. Hier schließt Verf. jetzt weitere von \textit{G. Vitali} herrührende differentialgeometrische Methoden an, wodurch man insbesondere noch auf eine Verallgemeinerung der \textit{Euler}schen Krümmung geführt wird. Vgl. Verf. (1929, 1930; JFM 55.1123.*; 56\(_{\text{II}}\), 1025) und \textit{G. Vitali} (Atti Istituto Veneto 87 (1928), 351-428; Annales Soc. Polonaise 7 (1929), 43-67; F. d. M. 54, 762 (JFM 54.0762.*); 55\(_{\text{II}}\), 1053). (IV 7.)