Studi asintotici per alcune equazioni differenziali. (Q2600865)

Verf. behandelt die Bestimmung der reellen Integrale einer Differentialgleichung \[ L[y]\equiv y''+p(x)y'+q(x)y=0\tag{1} \] in der Umgebung einer singulären Stelle, die nach \(x=\infty\) gebracht ist. 1. Sind \(\lambda_1(x)\) und \(\lambda_2(x)\) zwei Funktionen, deren Wahl vorbehalten bleibt, so wird \[ y(x)=\lambda_1(x)z_1(x)+\lambda_2(x)z_2(x)\tag{2} \] gesetzt, wobei \(z_1(x)\), \(z_2(x)\) Lösungen eines linearen Systems \[ \left\{ \begin{aligned} &z_1'=\alpha(x)z_1+\beta(x)z_2\\ &z_2'=\gamma(x)z_1+\delta(x)z_2\\ \end{aligned} \right. \tag{3} \] sein sollen. Die Funktion (2) ist gewiß dann ein Integral von (1), wenn \(\alpha\), \(\beta\), \(\gamma\), \(\delta\) die Bedingungen \[ \left\{ \begin{aligned} &(\lambda_1'+\lambda_1\alpha+\lambda_2\gamma)'+ (\alpha+p)(\lambda_1'+\lambda_1\alpha+\lambda_2\gamma)+ \gamma(\lambda_2'+\lambda_1\beta+\lambda_2\delta)+q\lambda_1=0,\\ &(\lambda_2'+\lambda_1\beta+\lambda_2\delta)'+ (\delta+p)(\lambda_2'+\lambda_1\beta+\lambda_2\delta)+ \beta(\lambda_1'+\lambda_1\beta+\lambda_2\delta)+q\lambda_2=0\\ \end{aligned} \right. \tag{4} \] befriedigen. Ist überdies \[ \max\{|\alpha(x)|,\;|\beta(x)|,\;|\gamma(x)|,\;|\delta(x)|\}=S(x), \quad \int\limits_x^\infty S(t)\,dt\text{ konvergent,} \tag{5} \] so läßt sich diejenige Lösung von (3), bei welcher \[ \lim_{x\to\infty}z_1(x)=\zeta_1, \quad \lim_{x\to\infty}z_2(x)=\zeta_2, \] für alle \(x\), für die \(\int\limits_x^\infty S(t)\,dt<\dfrac\varepsilon2<\dfrac12\), durch die absolut und gleichmäßig konvergenten Reihen \[ z_1(x)=\sum_{n=0}^\infty u_n(x), \quad z_2(x)=\sum_{n=0}^\infty v_n(x) \tag{6} \] darstellen, deren Glieder durch die Rekursionsformeln \[ \begin{gathered} u_0(x)=\zeta_1,\quad v_0(x)=\zeta_2,\\ u_n(x)=\int\limits_\infty^x[\alpha(t)u_{n-1}(t)+\beta(t)v_{n-1}(t)]\,dt, \quad v_n(x)=\int\limits_\infty^x[\gamma(t)u_{n-1}(t)+\delta(t)v_{n-1}(t)]\,dt\\ (n=1,2,\dots) \end{gathered} \] geliefert werden. Trägt man (6) in (2) ein, so erhält man eine von zwei Parametern \(\zeta_1\) und \(\zeta_2\) abhängige Integralschar der Gleichung (1). Die Reihen (6) haben die Majorante \(k\sum\limits_{n=0}^\infty\varepsilon^n\), wobei \(k=\operatorname{Max}\{|\zeta_1|,|\zeta_2|\}\), konvergieren also um so besser, je größer \(x\) ist. 2. Verlangt man, daß neben (4) die Bedingungen \[ \lambda_1\alpha+\lambda_2\gamma=0, \quad \lambda_1\beta+\lambda_2\delta=0 \] gelten sollen, die bei einem Vergleich mit der Methode der Variation der Konstanten nahe gelegt werden, so ergibt sich, falls für hinreichend große \(x\) die \textit{Wronski}sche Determinante \(W=\lambda_1\lambda_2'-\lambda_2\lambda_1'=0\) ist, \[ \alpha=\frac{\lambda_2L[\lambda_1]}W,\;\beta=\frac{\lambda_2L[\lambda_2]}W,\;\gamma=-\frac{\lambda_1L[\lambda_1]}W,\;\delta=-\frac{\lambda_1L[\lambda_2]}W. \tag{7} \] Hat die Gleichung (1) speziell die Form \[ y''+[1-Q(x)]y=0, \] auf welche insbesondere die \textit{Bessel}sche Differentialgleichung transformiert werden kann, so wählt Verf. als Funktionen \(\lambda_1\), \(\lambda_2\) die Lösungen \(e^{\pm2ix}\) der ``verkürzten'' Gleichung \(y''+y=0\). Aus (7) rechnet man dann sofort aus, daß die Bedingung (5) erfüllt ist, sobald \(\int\limits _x^\infty|Q(t)|\,dt\) konvergiert. Bei der Gleichung \[ y''-[1+Q(x)]y=0 \] wählt Verf. entsprechend \(\lambda_1=e^x\), \(\lambda_2=e^{-x}\). Die Reihen (6) konvergieren jetzt, sobald \(\int\limits_x^\infty|Q(t)|e^{2t}\,dt\) existiert. Ist aber nur \(\int\limits_x^\infty|Q(t)|\,dt\) konvergent, so kann Verf. nach leichter Abänderung des Verfahrens wenigstens die einparametrige Integralschar gewinnen, bei der insbesondere \(\zeta_1=0\). 3. Zum Schluß zeigt Verf., daß sich die Funktionen \(\alpha\), \(\beta\), \(\gamma\), \(\delta\) gemäß (4) auch so bestimmen lassen, daß Untersuchungen von \textit{U.~Dini} (Ann. Mat. pura appl., Bologna, (3)2, 297-324; 3, 125-183 (1899); F.~d.~M. 30, 282), soweit sie den hier behandelten Spezialfall betreffen, eingeordnet werden können.