Les formes différentielles extérieures \(\varOmega_n\) dans le calcul des variations. (Q2582230)

Verf. hatte früher (Acad. Belgique, Bull. Cl. Sci. (5) 22 (1936), 1259-1272; JFM 62.1330.*) einem \(n\)-fachen Integrale \(I_n\), dessen Integrand die Unabhängigen \(x^i (i=1,\ldots,n)\), die Abhängigen \(y^\alpha\) (\(\alpha = 1,\ldots, m\)) und ihre Teilableitungen \(y_i^\alpha = \partial y^\alpha/\partial x^i\) usw. bis zur Ordnung \(c\) enthält, eine \(n\)-äre ``äußere'' Differentialform mit bemerkenswerten Eigenschaften zugeordnet. Diese überträgt er hier im Falle \(c = 1\) der Grundfunktion \(F(x^i, y^\alpha, y_i^\alpha)\) auf andere Formen \(\varOmega_n\), die den Kongruenzen \[ \varOmega_n\equiv\omega_n,\quad (2)\;d\varOmega_n \equiv 0\;(\text{mod}\;\theta^\alpha)\;\text{mit}\;\omega_n = Fdx^1\cdots dx^n,\;\theta^\alpha=dy^\alpha-y_i^\alpha dx^i \tag{1} \] genügen (über doppelt auftretende Zeiger ist zu summieren). Formen, die (1) befriedigen und in denen willkürliche Vorzählen \(X_{\alpha_1\ldots\alpha_p}^{i_1\ldots i_p}\) erscheinen, stellen sich ein, wenn man \(I_n\) als ein Integral auffaßt, das über ein Gebiet des Raumes aller in \(F\) vorkommenden Veränderlichen erstreckt ist. Verf. findet bei veränderlichen Grenzen einen Ausdruck von \(\delta I_n\), in dem die \(X^i_\alpha\) auftreten. Die Annahme \[ X_\alpha^i = \dfrac{\partial F}{\partial y^\alpha_i}, \tag{3} \] die zu den die Kongruenzen (2) erfüllenden Formen \(\varOmega_n\) führt, liefert die übliche Gestalt von \(\delta I_n\). Verf. bestimmt dann unter den \(\varOmega_n\) die Formen \(C_n\) von kleinstem Range. Ihr Kennzeichen ist, daß sie die aus der Lehre von den linearen Räumen bekannten Beziehungen von D'Ovidio erfüllen; sie haben die Gestalt \[ C_n = F^{-(n-1)} \prod\limits_{i=1}^n (F dx^i + X_\alpha^i\theta^\alpha). \] Es folgen Ausführungen über geodätische Felder. Verf. gibt das Seitenstück des Hilbertschen unabhängigen Integrals und der (\(\mathcal E\)-Funktion an. \(\mathcal E\) erreicht unter der Annahme (3) in den \(y_i^\alpha\) einen Ruhwert bei ihren Werten \(\bar y_i^\alpha\) im geodätischen Feld. Zum Schlusse zeigt Verf. den Übergang zu den Feldlehren von Carathéodory und De Donder-Weyl.