A note on an extension of Bernstein's theorem. (Q2596700)

Es bezeichne \[ L(u) \equiv u^{(n)} + P_2(x) u^{(n-2)} + \cdots + P_n(x) u + \lambda u = 0, \tag{1} \] \[ W_j(u) \equiv \alpha_j u^{(\varkappa_j)}(0) + \beta_j u^{(\varkappa_j)}(1) + \sum_{i=0}^{\varkappa_j - 1}\left(\alpha_{ij} u^{(i)}(0) + \beta_{ij} u^{(i)}(1)\right) = 0 \tag{2} \] \[ (j = 1, 2, \dots, n), \] wo die \(\varkappa_j\) ganze Zahlen derart sind, daß \(n -1 \geqq \varkappa_1 \geqq \varkappa_2 \geqq \cdots \geqq \varkappa_n\) ist und keine drei \(\varkappa_j\) gleich sind. Ferner setze man \[ S_N(x) = \sum_{i=1}^N a_i u_i(x), \] wobei die \(a_i\) willkürliche Konstanten, die \(u_i(x)\) die zu den \(N\) ersten Eigenwerten \(\lambda_1, \lambda_2, \dots, \lambda_N\) von (1) bei den Nebenbedingungen (2) gehörigen Eigenfunktionen bedeuten. In Amer. J. Math. 59 (1937), 295-305 (F. d. M. \(63_{\text{I}}\), 433) zeigte Verf., daß es eine Konstante \(Q\) so gibt, daß, wenn \(|S_N(x)| \leqq L\) für \(0 \leqq x \leqq 1\) ist, \(|S_N^\prime(x)| \leqq QNL\) für \(\delta \leqq x \leqq 1 -\delta\) ausfällt. Unter \(Q(a^\prime, b^\prime)\) werde für \(0 \leqq a^\prime \leqq b^\prime \leqq 1\) die beste Konstante \(0 \leqq Q(a^\prime, b^\prime) \leqq \infty\) verstanden, für die \[ |S_N^\prime(x)| \leqq Q(a^\prime,b^\prime) \,NL \] ist. Unter Verwendung seiner a. a. O. gegebenen Sätze und der von \textit{Stone} (Trans. Amer. math. Soc. 28 (1926), 695-761; F. d. M. 53, 419 (JFM 53.0419.*)) zeigt Verf. folgendes: Betrachtet man neben dem System (1) und (2) das weitere \[ \overline L(u) \equiv u^{(n)} + \overline P_2(x) u^{(n-2)} + \cdots + \overline P_n(x) u + \lambda u = 0, \] \[ \overline W_j(u) \equiv \overline \alpha_j u^{(\overline \varkappa_j)}(0) + \overline \beta_j u^{(\overline \varkappa_j )}(1) + \sum_{i=0}^{\varkappa_j - 1}\left(\overline \alpha_{ij} u^{(i)}(0) + \overline \beta_{ij} u^{(i)}(1)\right) = 0 \quad (j = 1, 2, \dots, n), \] wobei \(\alpha_j = \overline \alpha_j\), \(\beta_j = \overline \beta_j\), \(\varkappa_j = \overline \varkappa_j\) \ \((j = 1, 2, \dots, n)\) ist, so gibt es eine Konstante \(K\) derart, daß \[ |Q(a^\prime, b^\prime) - \overline Q(a^\prime, b^\prime)| \leqq K \;\;\text{ für } \;0 \leqq a^\prime \leqq b^\prime \leqq 1 \] wird, wobei \(\overline Q\) für das zweite System die entsprechende Bedeutung hat, wie \(Q\) für das erste. Diese Tatsache wird dazu benutzt, das System (1), (2) mit dem einfachen: \[ \begin{matrix} \l \\ u^{(n)} + \lambda u = 0, \\ u^{(n-j)}(0) - u^{(n-j)}(1) = 0 \qquad (j = 1, 2, \dots, n) \end{matrix} \] zu vergleichen. Daraus werden notwendige und hinreichende Bedingungen erschlossen dafür, daß das zu (1), (2) gehörige \(S_N(x)\) das Bernsteinsche Theorem erfüllt.