Cauchy's problem for systems of second order partial differential equations.
Haben Kompatibilitätsfragen der \textit{Einstein}schen einheitlichen Feldgleichungen im raumzeitlichen Kontinuum mit Torsion und Fernparallelismus seinerzeit Anlaß\ zu \textit{É. Cartan}s Untersuchungen zur Theorie der Involutionssysteme (erster Ordnung) (\textit{É. Cartan}, Sur la théorie des systèmes en involution et ses applications à la relativité, Bulletin S. M. F. 59 (1931), 88-118; F. d. M. 57) gegeben, so sieht sich Verf. durch die klassische Form der \textit{Einstein}schen Gravitationsgleichungen \[ R_{\alpha \beta }\equiv \frac 12g^{\gamma \delta }\left [\frac {\partial ^2g_{\gamma \delta }}{\partial x^\alpha \partial x^\beta }+ \frac {\partial ^2g_{\alpha \beta }}{\partial x^\gamma \partial x^\delta }-\frac {\partial ^2g_{\alpha \gamma }}{\partial x^\beta \partial x^\delta }- \frac {\partial ^2g_{\beta \gamma }}{\partial x^\alpha \partial x^\delta }\right ]+\binom **=0, \] die (als Verallgemeinerungen der \textit{Poisson}schen Gleichung) von zweiter Ordnung (jedoch linear in den zweiten Ableitungen) sind, veranlaßt, lineare Systeme zweitere Ordnung nach ähnlichen Gesichtspunkten zu untersuchen. Es handelt sich also um Differentialsysteme der Gestalt: \[ \begin{matrix} Z_i\equiv \sum \limits _{h=1}^w\sum \limits _{\alpha,\beta =1}^na_i^{h\alpha \beta }\frac {\partial ^2v_h}{\partial x^\alpha \partial x^\beta } +c_i=0\quad (i_1=1,2,\dotsc,L),\\ \left(a_i^{h\alpha \beta }=a_i^{h\alpha \beta }\left (x,v,\frac {\partial v}{\partial x}\right ); \quad c_i=c_i\left (x,v,\frac {\partial v}{\partial x}\right )\right ).\end{matrix} \leqno (*) \] Man denke sich nunmehr \(L_{11}\) von Ableitungen \(\frac {\partial ^2v_h}{\partial x_1^2}\) aus (*) berechnet und die berechneten Werte in die restlichen \(L-L_{11}=S_1\) Gleichungen von (*) eingesetzt; aus \(S_1\) denke man sich wiederum \(L_{12}\) von Ableitungen \(\frac {\partial ^2v_h}{\partial x_1\partial x_2}\) berechnet und in die restlichen \(S_1-L_{12}\) Gleichungen eingesetzt. Fährt man so fort, so erhält man schließlich das zu (*) äquivalente System \[ \sum \limits _{h=1}^w\sum \limits _{\alpha =1}^\beta \sum \limits _{\beta =1}^nb_{irs}^{h\alpha \beta } \frac {\partial ^2v_h}{\partial x^\alpha \partial x^\beta }+c_{irs}=0\quad \begin{matrix} (i=1,\dotsc,L_{rs};\\r=1,\dotsc,s;\\s=1,\dotsc,n).\end{matrix} \leqno (**) \] Die Anzahlen \(L_{11},L_{12},L_{22},\dotsc,L_{nn}\) sind im allgemeinen von der Koordinatenwahl abhängig und sind als Maximalzahlen (erreicht in gewissen Koordinatensystemen!) zu verstehen. Koordinaten, in welchen eine Darstellung (**) gilt, heißen nichtsingulär. Nun wird gezeigt: In einem nichtsingulären Koordinatensystem kann (*) stets in die Form \[ \frac {\partial ^2 v_i}{\partial x^r\partial x^s}=\sum \limits _{h=1}^w\sum \limits _{\alpha =1}^\beta \sum \limits _{\beta =1}^ng_{irs}^{h\alpha \beta } \frac {\partial ^2v_h}{\partial x^\alpha \partial x^\beta }+(*)\leqno (***) \] gebracht werden \((L_{11}\geqq L_{12}\geqq L_{22}\geqq L_{13}\geqq \dotsb \geqq L_{nn})\). Unter Einführung neuer Bezeichnungen schreibt Verf. (***) in der Form \[ X_{kabrs}\equiv \frac {\partial ^2v_{kab}}{\partial x^r\partial x^s}-g_{kabrs}^{lcduv}\frac {\partial ^2v_{lcd}}{\partial x^u\partial x^v} +(*)=0\leqno (****) \] und löst für das letzte System das \textit{Cauchy}sche Problem: Das Sytem (***) ist orthonom im Sinne von \textit{Ch. Riquier} (1909; F. d. M. 40, 411 (JFM 40.0411.*)) und gestattet die Anwendung des Existenztheorems. Ist \(A\) die Anzahl der Integrabilitätsbedingungen von (****), so gilt: Die notwendigen und hinreichenden Bedingungen für vollständige Integrabilität eines regulären Systems (****) bestehen in der Existenz von \(A\) Linearkombinationen der ersten Ableitungen \(\frac {\partial Z_i}{\partial x^\alpha }\) von (*), welche verschwinden, sobald (*) besteht. Die Definition charakteristischer Flächen formuliert Verf. folgendermaßen: Eine Mannigfaltigkeit \(C_{n-1}(x^1=0)\) heißt eine \((n-1)\)-dimensionale charakteristische Fläche des Systems (*), sobald es unmöglich ist, vermöge \[ x^1=\overline x_1,\quad x^i=f^i(\overline x_1,\dotsc,\overline x_n)\quad (i=2,\dotsc,n) \] ein Koordinatensystem \(\overline x{}^\alpha \) einzuführen, in dem (*) nach \(L_{11}\) Ableitungen \(\frac {\partial ^2v_h}{\partial \overline x_1\partial \overline x_2}\) in irgendeinem Punkte \(P\) von \(C_{n-1}\) aufgelöst werden kann. Dann gilt: Eine Fläche \(\varPhi =0\) ist dann und nur dann eine \((n-1)\)-dimensionale charakteristische Fläche \(C_{n-1}\) für (*), wenn längst \(\varPhi =0\) sämtliche Determinanten \(W_1,W_2,\dotsc,W_r\) der Ordnung \(L_{11}\), gebildet aus der Matrix \[ \|a_i^{h\alpha \beta }\varPhi _\alpha \varPhi _\beta \|\quad \left (\begin{matrix} h=1,\dotsc,w\\i=1,\dotsc,L\end{matrix} ;\quad \varPhi _\alpha = \frac {\partial \varPhi }{\partial x^\alpha }\right ), \] identisch verschwinden. Allgemeiner spricht man von einer charakteristischen Mannigfaltigkeit \(C_{n-\alpha }\) \[ x^1=0,\dotsc,x^\alpha =0\quad (\alpha =1,2,\dotsc,n-1) \] vom Typus \(\beta (\leqq \alpha )\) für das System (*), sobald es unmöglich ist, vermöge \[ x^i=x^{-i},\quad x^j=f^j(\overline x_1,\dotsc,\overline x_n)\quad \left (\begin{matrix} \l \\i=1,2,\dotsc,\alpha \\j=\alpha +1,\dotsc,n\end{matrix} \right ), \] ein Koordinatensystem \(\overline x{}^\alpha \) derart einzuführen, daß\ in diesem (*) nach \[ L_{11}+L_{12}+L_{22}+L_{13}+\dotsb +L_{\beta \alpha } \] Ableitungen: \[ \frac {\partial ^2v_h}{\partial \overline x_1\partial \overline x_1},\frac {\partial ^2v_h}{\partial \overline x_1\partial \overline x_2}, \dotsc,\frac {\partial ^2v_h}{\partial \overline x{}^\beta \partial \overline x{}^\alpha } \] in irgendeinem Punkt von \(C_{n-\alpha }\) aufgelöst werden kann. Damit ist das wesentliche Rüstzeug gewonnen, um abschließend den \textit{Einstein}schen Feldgleichungen erfolgreich auf den Leib zu rücken.
This page was built for publication: Cauchy's problem for systems of second order partial differential equations.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5924409)
