Su alcuni sistemi lineari omogenei di equazioni alle derivate parziali del primo ordine. (Q2582110)

Verf. untersucht Systeme homogener partieller Differentialgleichungen mit konstanten Koeffizienten, wobei die Anzahl der unbekannten Funktionen gleich der Anzahl der unabhängigen Variablen sein soll \((= n)\), und wobei außerdem verlangt wird, daß die unbekannten Funktionen bei jeder Lösung harmonisch sind. Die Anzahl der Gleichungen sei gleich \(m\). Für \(n = m=2\) hat ein solches System, wenn die partiellen Ableitungen durch Indizes angedeutet werden, notwendig das Aussehen \[ X_x-bY_x=cY_y,\;\;\;X_y-bY_y=-cY_x\qquad (c\neq 0), \] was besagt, daß \(X- bY + icY\) eine analytische Funktion von \(x + iy\) ist. Für \(n = m = 3\) stellt sich heraus, daß es Systeme der verlangten Art nicht gibt. Für \(n = m = 4\) wird das System \[ \begin{aligned} &X_x-Y_y+Z_z-T_t=0,\;\;\;X_y-Y_x+Z_t-T_z=0,\\ &X_z-Y_t-Z_x+T_y=0,\;\;\;X_t+Y_z+Z_y+T_x=0 \end{aligned} \] angegeben und näher untersucht. Insbesondere wird für das Funktionenquadrupel \(X\), \(Y\), \(Z\), \(T\) ein Analogon zum Cauchyschen Integralsatz und zu seiner Umkehrung, dem Satz von Morera, hergeleitet. Weiterhin untersucht Verf. noch das spezielle System mit den Unbekannten \(X^{(k)} = X^{(k)}\,(x_1,\ldots,x_n)\): \[ X_i^{(k)} = X_k^{(i)} \;\;(i,k= 1,\ldots,n),\;\;\;\sum _{k=1}^n X_k^{(k)} =0 \] und schließlich auch das allgemeinste System \[ \sum _{i=1}^n \sum _{k=1}^n a_{ki}^{(l)}\,X_i^{(k)} =0 \qquad \;\;(l=1,\ldots,m) \] und stellt analoge Integraltheoreme auf. Von dem letzten System wird außerdem gezeigt, daß es nur dann von dem verlangten Typus (alle Lösungen harmonisch) sein kann, wenn die Matrizen \[ \left\|\,\begin{matrix}\l&\l\\ a_{k1}^{(1)}\;.\;.\;.\;.\;.\;.\;&a_{kn}^{(1)}\\ .\;.\;.\;.\;.\;.\;.\;.\;.\;.&\;.\;.\;.\\ a_{k1}^{(m)}\;.\;.\;.\;.\;.\;.\;&a_{kn}^{(m)}\\ \end{matrix}\,\right\| \;\;\text{und}\;\;\left\|\,\begin{matrix}\l&\l\\ a_{1j}^{(1)}\;.\;.\;.\;.\;.\;.\;&a_{nj}^{(1)}\\ .\;.\;.\;.\;.\;.\;.\;.\;.\;.&\;.\;.\;.\\ a_{1j}^{(m)}\;.\;.\;.\;.\;.\;.\;&a_{nj}^{(m)}\\ \end{matrix}\,\right\| \] für \(k, j = 1,\ldots, n\) sämtlich vom Rang \(n\) sind; insbesondere muß also \(m\geqq n\) sein.