Zur Integration der Systeme totaler linearer Differentialgleichungen mit zwei unabhängigen Veränderlichen. (Q1527596)

Im Anschluss au die Untersuchungen des Verfassers über die Systeme linearer Differentialgleichungen. mit einer unabhängigen Veränderlichen wird in der vorliegenden Arbeit die Theorie der regulären Lösungen solcher Systeme mit zwei unabhängigen Veränderlichen von der Form \[ dz_\alpha = \sum_\beta F_{\alpha,\beta}(x,y)z_\beta dx + \sum_\beta G_{\alpha,\beta}(x,y)z_\beta dy\;(\alpha,\beta=1,\dots,m)\tag{1} \] behandelt, deren Coefficienten die Integrabilitätsbedingungen erfüllen. Es sei \[ F_{\alpha\beta} = \frac{f_{\alpha\beta}(x,y)}{\varphi^{h+1}\cdot\varphi'^{h'+1}},\quad G_{\alpha\beta} = \frac{g_{\alpha\beta}(x,y)}{\varphi^{h+1}\cdot\varphi'^{h'+1}}, \] wo \(f\) und \(g\) ganze Functionen, \(\varphi\), \(\varphi'\), ... irreductible ganze Functionen und \(h\), \(h'\) positive ganze Zahlen (einschliesslich Null) bezeichnen. Dann lässt sich das System (1), unter der Voraussetzung, dass es an dem singulären Gebilde \(\varphi=0\) regulär ist, in der Umgebung solcher Stellen \((a, b)\) des Gebildes, an denen \(\frac{\partial\varphi}{\partial x}\) und \(\frac{\partial\varphi}{\partial x}\) nicht gleichzeitig verschwinden, durch Einführung neuer Variabeln \(\varphi\), \(\psi\) in der Form \[ \begin{aligned} \varphi\frac{\partial z_\alpha}{\partial\varphi} &= \sum_\beta(P_{\alpha\beta}^0 + \varphi P_{\alpha\beta}' +\cdots)z_\beta,\\ \varphi^k\frac{\partial z_\alpha}{\partial\psi} &= \sum_\beta(Q_{\alpha\beta}^0 + \varphi Q_{\alpha\beta}' +\cdots)z_\beta\qquad(\alpha,\beta=1,\dots,m)\end{aligned} \] darstellen, wo \(P_{\alpha\beta}^0\), ..., \(Q_{\alpha\beta}^0\), ... in Potenzreihen von \(\psi\) entwickelbar sind, die nur, wenn \((a,b)\) in gewissen Ausnahmestellen sich befindet, eine endliche Anzahl negativer Potenzen enthalten. Unter der weiteren Annahme, dass die charakteristische Determinante \(|P_{\alpha\beta}^0-p\delta_{\alpha\beta}|\) des Systems (2) lauter einfache Elementarteiler besitzt, wird das System auf die kanonische Form \[ \begin{aligned} \varphi\frac{\partial z_\alpha}{\partial\varphi} &= \sum(R_{\alpha\beta}^0 + \varphi R_{\alpha\beta}' +\cdots)z_\beta,\\ \frac{\partial z_\alpha}{\partial\psi} &= \sum_\beta(S_{\alpha\beta}^0 + \varphi S_{\alpha\beta}' +\cdots)z_\beta\qquad(\alpha,\beta=1,\dots,m)\end{aligned} \] gebracht, und aus dieser wird die Beschaffenheit der Lösungen abgeleitet. Ihre Form geht aus derjenigen der Lösungen des Systems mit einer unabhängigen Veränderlichen: \[ x\frac{dz_\alpha}{dx} = p_\alpha z_\alpha + x\sum a_{\alpha\beta}'z_\beta +\cdots\qquad(\alpha,\beta=1,\dots,m), \] die in der angeführten Arbeit entwickelt sind, dadurch hervor, dass \(x^{p^0}\), \(x^{p'}\), ... durch \(\varphi^{p^0}\), \(\varphi^{p'}\), ..., \(\log x\) durch \(\log\varphi\) und die Potenzreihen \(\zeta\) von \(x\) durch Potenzreihen von \(x-a\), \(y-b\) ersetzt werden. Eine Modification tritt ein, wenn \((a,b)\) eine der erwähnten Ausnahmestellen ist, in denen dann die in den Lösungen auftretenden Functionen \(\zeta\) Potenzreihen von \(\varphi\) und \(\psi\) mit einer endlichen Anzahl negativer Potenzen von \(\varphi\) sind. Eine besondere Betrachtung wird dem Falle gewidmet, wo das System der Differentialgleichung die Gestalt hat: \[ \varphi\frac{\partial z_\alpha}{\partial x} = \sum_\beta A_{\alpha\beta} z_\beta,\quad \varphi\frac{\partial z_\alpha}{\partial y} = \sum_\beta B_{\alpha\beta} z_\beta\qquad(\alpha,\beta = 1,\dots,m). \] Hierbei werden die Bedingungen untersucht, unter denen sämtliche Lösungen des Systems in der Umgebung der Stelle \((a,b)\) des Gebildes \(\varphi=0\) von Logarithmen frei sind.