Una proprietà degli integrali delle equazioni ellittico-paraboliche del secondo tipo misto. (Q2580849)

Verf. untersucht die Differentialgleichung \[ \displaylines{\rlap{\qquad\!(1)} \hfill \frac{x^{2(k+1)}}{k^2}\frac{\partial ^2z}{\partial x^2}+\frac{\partial ^2z}{\partial y^2}=0\qquad(k=1,2,\dots )\hfill} \] vom elliptisch-parabolischen Typ auf die Analytizitätseigenschaften ihrer Integrale hin. Mittels der hypergeometrischen Funktion \[ F_1(t)=F\biggl(\frac{n-1}{k}, \frac{n}{k}, \frac{2n+k-1}{2k}; t\biggr) \] bilde man dann für \(k > 1\) die beiden Funktionen \[ \begin{gathered} G_{n,k}^{(1)}(t)=\frac{1}{2F_1({\frac{1}{2}})}\biggl\{F_1\biggl( \frac{1+it}{2}\biggr)+F_1\biggl(\frac{1-it}{2}\biggr)\biggr\},\\ G_{n,k}^{(2)}(t)=\frac{k(2n+k-1)}{n(n-1)}\cdot \frac{F_1\biggl(\frac{1+it}{2}\biggr) F_1\biggl(\frac{1-i}{2}\biggr)}{2i\cdot F\biggl(\frac{n-1}{k}+1, \frac{n}{k}+1,\frac{2n+k-1}{2k}+1; \frac{1}{2}\biggr)},\\ (n>1)\end{gathered} \] und damit: \[ U_{n,k}(x,y)=G_{n,k}^{(1)}(x^ky),\;V_{n,k}(x,y)=x^{-k}G_{n,k}^{(2)}(x^ky), \] für die sich leicht passende Integraldarstellungen angeben lassen. Dann sind \(z=x^n\cdot U_{n,k}(x,y)\) und \(z=x^n\cdot V_{n,k}(x,y)\) für \(n = 0\), 1, 2,\dots Lösungen von (1), wenn man noch \(U_{0,k}(x,y)=U_{1,k}(x,y)=1\), \(V_{0,k}(x,y)=V_{1,k}(x,y)=y\) setzt. Für \(k = 1\) sind die Lösungen passend zu ergänzen. \textit{Satz} 1: Es gibt genau eine Lösung von (1), die im Streifen \(|\,x\,|<R\) als analytische Funktion von \(x\), \(y\) definiert ist und den Randbedingungen \[ \displaylines{\rlap{\qquad\!(2)} \hfill z(x,0)=\textstyle \kern-2pt\sum\limits_{n=0}^{\infty }\kern-2pt a_nx^n,\;\left.\dfrac{\partial z(x,y)}{\partial y}\,\right|_{y=0}=\sum\limits_{n=0}^{\infty }\kern-2pt b_nx^n\hfill} \] genügt, wo die Reihen (2) in \(|\,x\,|<R\) konvergieren; sie lautet \[ \displaylines{\rlap{\qquad\!(3)} \hfill z(x,y)=a_0+b_0y+a_1x+b_1y+\kern-2pt\textstyle \sum\limits_{n=2}^{\infty }\{a_nx^nU_{n,k}(x,y)+b_nx^nV_{n,k}(x,y)\},\hfill} \] wobei diese Reihe in jedem abgeschlossenen Teil des Streifens \(|\,x\,|<R\) absolut und gleichmäßig konvergiert. Daraus folgt die merkwürdige Eigenschaft (Satz 2), daß eine in der Umgebung eines Punktes der \(y\)-Achse analytische Lösung von (1) in der Umgebung jedes weiteren Punktes dieser Achse und im Innern eines gewissen Streifens \(|\,x\,|<R\) analytisch in \(x\), \(y\) ist. Dieser Satz überträgt also auf (1) eine Eigenschaft, die Verf. (Rend. Circ. mat. Palermo 59 (1935), 347-372; JFM 61.1258.*) für die Gleichung \[ x^2\frac{\partial ^2z}{\partial x^2}+\frac{\partial ^2z}{\partial y^2}=0 \] bewiesen hatte. Das Cauchysche Anfangswertproblem ist unlösbar oder mehrdeutig, wenn die Werte von \(z(x, y)\) und \(\dfrac{\partial z}{\partial x}\) auf einem Stück der \(y\)-Achse vorgegeben werden; der erste Fall tritt dann ein, wenn diese Anfangswerte in \(y\) nicht linear sind. Ist also eine Lösung \(z\) in einem Gebiete der Halbebene \(x\geqq 0\), dessen Rand eine Strecke der \(y\)-Achse angehört, definiert und auf dem letzten samt den zweiten Ableitungen stetig, so kann sie auf unendlich viele Arten über dieses Segment fortgesetzt werden, ohne daß es unter diesen Fortsetzungen eine analytische zu geben braucht. Hierin liegt ein wesentlicher Unterschied zu den elliptischen Differentialgleichungen und den von Verf. (Ann. Mat. pura appl., Bologna, (4) 19 (1940), 51-79; F. d. M. 66, 462) früher untersuchten gemischten Gleichungen der Form \[ k^2y^{2k-2}\cdot \frac{\partial ^2z}{\partial x^2}+\frac{\partial ^2z}{\partial y^2}=0,\qquad(k=2,3,\dots ). \]