Integrazione in termini finiti di ogni sistema od equazione a derivate parziali, lineare e a coefficienti costanti, d'ordine qualunque. (Q2604898): Difference between revisions

Verf. hat in einer früheren Arbeit (Rend. Circ. mat. Palermo 57 (1933), 137-195; JFM 59.1087.*-1088) einen Operatorenkalkül entwickelt und gezeigt, wie sich mit seiner Hilfe die Lösung des \textit{Cauchy}schen Problems für ein System von linearen partiellen Differentialgleichungen erster Ordnung mit konstanten Koeffizienten bei zwei unabhängigen Veränderlichen ermitteln läßt. In der vorliegenden Arbeit werden die dort entwickelten Methoden weiter ausgebaut und auf allgemeinere Probleme angewandt. Zunächst wird für Systeme \(m\) linearer partieller Differentialgleichungen erster Ordnung von der Form \[ \dfrac{\partial z_r}{\partial x_0} + \sum\limits_{k=1}^m a_{rk}^{(1)}\dfrac{\partial z_k}{\partial x_1} + \cdots+ \sum\limits_{k=1}^m a_{rk}^{(n)}\dfrac{\partial z_k}{\partial x_n} + \sum\limits_{k=1}^m a_{rk}^{(n+1)}z_k=f_r(x_0,x_1,\ldots,x_n) \tag{1} \] mit konstanten Koeffizienten \(a_{rk}^{(s)}\) und in der Umgebung des Nullpunkts analytischen Funktionen \(f_r(x_0, x_1, \ldots,x_n)\) die Lösung unter den \textit{Cauchy}schen Anfangsbedingungen \[ z_r(0, x_1, x_2, \ldots, x_n) = \varphi_r(x_1, x_2, \ldots, x_n)\qquad (r = 1, 2, \ldots, m) \tag{2} \] mittels eines Operatorenkalküls gegeben. Wendet man nämlich die für analytische \(y\) definierten Operatoren \[ Iy=\int\limits_0^{x_0}y(t,x_1,x_2,\ldots,x_n)dt,\qquad B_sy = I\dfrac{\partial y}{\partial x_s}\qquad (s = 1, 2, \ldots,n) \] auf (1) an, so erhält man unter der Anfangsbedingung (2) das System von \(m\) Integrodifferentialgleichungen \[ z_r+\sum\limits_{s=1}^n\sum\limits_{k=1}^m a_{rk}^{(s)}B_sz_k + \sum\limits_{k=1}^m a_{rk}^{(n+1)}Iz_k = If_r + \varphi_r(x_1,x_2,\ldots, x_n). \tag{3} \] Dieses System ist dem System (1) mit den Anfangsbedingungen (2) völlig äquivalent. Dabei läßt sich auf das System (3) der vom Verf. (a. a. O.) entwickelte Operatorenkalkül anwenden, da die Operatoren \(Iy\) und \(B_sy\) permutabel sind, und man erhält auf diese Weise für die gesuchten Funktionen \(z_r\) explizite analytische Ausdrücke, in denen jeweils \(2n+2\) (reelle und komplexe) Quadraturen erscheinen. Durch Verwendung allgemeinerer Operatoren gelingt es, in entsprechender Weise die Lösung einer linearen partiellen Differentialgleichung höherer Ordnung mit konstanten Koeffizienten \[ \dfrac{\partial z^m}{\partial x_0^m}+\sum a_{r_0r_1\cdots r_n} \dfrac{\partial^{r_0+r_1+\cdots+r_n}z}{\partial x_0^{r_0}\partial x_1^{r_1}\cdots \partial x_n^{r_n}} =f(x_0,x_1,\ldots,x_n), \] \[ r_0 <m,\quad r_0+r_1+ \ldots+ r_n \leqq m \] unter den \textit{Cauchy}schen Anfangsbedingungen \[ \bigg(\dfrac{\partial^r z}{\partial x_0^r}\bigg)_{x_0=0}= \varphi_r(x_1,x_2,\ldots,x_n)\qquad (r=0,1, \ldots,m-1) \] zu ermitteln. Auch hier ergibt sich für \(z\) ein expliziter analytischer Ausdruck, in dem \(2n + 2\) (reelle und komplexe) Quadraturen erscheinen. Schließlich wird noch für gewisse partielle Differentialgleichungen mit konstanten Koeffizienten in analoger Weise die Lösung ermittelt, wenn Anfangswerte auf mehreren Hyperebenen vorgeschrieben sind. Die Methode läßt sich auf Systeme verallgemeinern.