Quelques conséquences de la condition nécessaire d'Hadamard du calcul des variations des intégrales multiples. (Q2585365)

Verf. betrachtet das Variationsproblem: \[ \int\limits_{D} L \left(t^{\alpha}, \,x^i, \,x_{\alpha}^i \right) \, dt^1 \cdots dt^{\mu}=\text{ Min}, \;\; x_{\alpha}^i=\frac{\partial x^i}{\partial t^{\alpha}}, \;\; \alpha=1, \,2, \ldots \!,\mu; \;\; i=1, \,2, \ldots \!,n. \] Anschließend an \textit{Hadamard} (Bull. Soc. math. France 30 (1902), 73-80) wird die biquadratische Form: \[ L_{x_{\alpha}^i x_{\beta}^j} \lambda^{\alpha} \lambda^{\beta} \,\nu_i \nu_j \] eingeführt und ein Flächenelement \(\left(t^{\alpha}, \,x^i, \,x_{\alpha}^i \right)\) als positiv definit bezeichnet, wenn diese Form stets \(> 0\) ist, außer wenn eines der Systeme \((\lambda^{\alpha})\) bzw. \((\nu_j)\) Null ist. Hierauf wird bewiesen: Für ein positiv-definites Element gibt es Konstante \(A_{ij}^{\alpha \beta}=-A_{ij}^{\beta \alpha}= -A_{ji}^{\alpha \beta}=A_{ji}^{\beta \alpha}\), so daß die quadratische Form: \[ \left( L_{x_{\alpha}^i x_{\beta}^j}-A_{ij}^{\alpha \beta} \right) \, u_{\alpha}^{i} \,u_{\beta}^{i} \] nicht-singulär ist. Es wird gezeigt, daß eine Extremale durch ein positiv-definites Element in dessen (schwacher) Umgebung in ein geodätisches Feld vom Weylschen Typus eingebettet werden kann. Nach einem Ergebnis von \textit{Terpstra} (Math. Ann., Berlin, 116 (1938), 166-180; F.~d.~M. 64\(_{\text{I}}\), 515) ist auch die Einbettung in ein Feld vom Carathéodory-Typus möglich. Weiter wird bewiesen: In der Umgebung eines positiv-definiten Elementes gibt es im Falle eines analytischen Variationsproblems stets \(n\)-fach unendliche Extremalenscharen, die ein Mayersches Feld bilden. Der Beweis erfolgt mit Hilfe des Cauchy-Kowalewskaschen Existenztheorems.