Esistenza di infiniti autovalori per le equazioni differenziali ordinarie lineari omogenee a coefficienti costanti. (Q573302): Difference between revisions

In Verallgemeinerung seiner früheren Ergebnisse (1929; JFM 55.0255.*) beweist Verf. folgenden Satz: Gegeben die Differentialgleichung \[ y^{(n)} + p_1y^{(n-1)} + \lambda p_2y^{(n-2)} + \lambda p_3y^{(n-3)} + \dots + \lambda p_{n-1}y^{(1)} + \lambda p_ny = 0 \tag{1} \] mit konstanten Koeffizienten \(p_1,\ldots, p_n\), \(p_2\not = 0\), \(p_n\neq 0\), ferner die Zahlen \[ a_1 < a_2 < a_3\ldots < a_n. \] Die Differentialgleichung \[ p_2y^{(n-2)} + p_3y^{(n-3)} + \dots + p_ny = 0 \] besitze keine nicht identisch verschwindende Lösung, die an den Stellen \(a_2, a_3,\dots, a_{n-1}\) verschwindet. Außerdem habe die Gleichung \[ p_2\alpha^{(n-2)} + p_3\alpha^{(n-3)} + \dots + p_{n-1}\alpha + p_n = 0 \] keine mehrfache Lösung in \(\alpha\). Dann gibt es unendlich viele positive Werte des Parameters \(\lambda\), zu denen eine nicht identisch verschwindende Lösung \(y(x)\) von (1) existiert, für welche \[ y(a_1) = y(a_2) = \dots =y(a_{n-1}) = y(a_n) = 0 \] gilt. Der Beweis beruht darauf, daß die allgemeine Lösung von (1) die Form \[ \begin{aligned} y(x,\lambda ) = &c_1e^{\gamma_1x}\cos\gamma_2x + d_1e^{\gamma_1x}\sin\gamma_2x \\ &+ \sum_{l=2}^se^{\gamma_{2l-1}x}\{ c_l\cos\gamma_{2l}x + d_l\sin\gamma_{2l}x\} + \sum_{l=1}^r b_l e^{\beta_lx} \end{aligned} \tag{2} \] hat, wo die Konstanten \(c_l, d_l, b_l, \gamma_l\) von \(\lambda\) abhängen. Es kommt also darauf an zu zeigen, daß die Determinante des Gleichungssystems, das aus (2) entsteht, wenn man \(x\) die Werte \(a_1,\ldots,a_n\) an erteilt und \(y(a_rx) = 0\) setzt, unendlich oft in \(\lambda\) verschwindet. Sie kann durch Entwickeln nach den zwei ersten Zeilen in die Gestalt gebracht werden: \[ \Delta(\lambda ) = \sum_{r>s}^{1\ldots n}P_{rs}(\lambda ) \sin (a_r-a_s)\gamma_2(\lambda ). \] Es wird weiter gezeigt, daß \(\lim_{\lambda\to\infty} P_{rs}(\lambda ) = P_{rs}\) existiert, und daß \(\gamma_2(\lambda )\to\infty\) für \(\lambda\to\infty\) gilt. Der Beweis folgt dann daraus, daß jede Funktion der Form \[ F(t) = \sum P_{rs}\sin d_{rs}t \] bei gegen \(\infty\) wachsendem \(t\) immer wieder eine feste positive Zahl überschreitet und eine feste negative Zahl unterschreitet. Der Satz läßt sich auf folgende allgemeinere Gleichung erweitern: \[ y^{(n)} + p_1y^{(n-1)} + f_2(\lambda )y^{(n-2)} + f_3(\lambda )y^{(n-3)} + \dots + f_{n-1}(\lambda )y' + f_n(\lambda )y = 0, \] wenn \(f_\nu (\lambda )\) gewisse charakteristische Eigenschaften von \(p_\nu\lambda\) besitzt.