Sur la théorie riemannienne de certains systèmes orthogonaux. II. (Q565579)

In Fortsetzung der Untersuchungen des ersten Teiles dieser Abhandlung und mit den Bezeichnungen des diesbezüglichen Referates (1930; F. d. M. \(56_{\text{II}}\), 945) handeldt es sich jetzt um Entwicklungen nach \textit{Bessel}schen Funktionen und \textit{Jacobi}schen Polynomen. Wir nennen hier für die ersteren die Hauptergebnisse. Behandelt werden die \textit{Bessel}schen Reihen \[ a_0C_0(x)+\sum \limits _{k=1}^{\infty }a_kJ_{\nu }(\lambda _kx) \] und ihre konjugierten Reihen \[ \sum \limits _{k=1}^{\infty }a_kY_{\nu }(\lambda _kx),\quad Y_{\nu }(x)=\frac {J_{\nu }(x)\cos \nu \pi -J_{\nu }(x)}{\sin \nu \pi }. \] Hier ist \(J_{\nu }(x)\) die \textit{Bessel}sche Funktion erster Art von der Ordnung \(\nu \), und \(\lambda _1<\lambda _2<\cdots \) sind die positiven Nullstellen von \[ zJ_{\nu }'(z)+HJ_{\nu }(z) \qquad (H=\text{const}) \] \(C_0(x)\) ist so bestimmt, daß\ das System \(\sqrt xC_0(x), \sqrt xJ_{\nu }(x)\) in \((0, 1)\) orthogonal und vollständig wird. Für \(H+\nu >0\) ist übrigens \(C_0(x)\equiv 0\). Endlich wird die Voraussetzung \(a_k=o(\sqrt k)\) gemacht, die der üblichen Voraussetzung \(a_k=o(1)\) bei tigonometrischen Reihen entspricht. Es wird nun wieder bewiesen, daß\ für \(\nu \geqq -\dfrac 12\) die drei Eindeutigkeitsmengen \(U_M,U_{M}',U_{M}''\) für trigonometrische Reihen die gleiche Eigenschaft für die \textit{Bessel}schen Reihen haben. Im Falle \(-\frac 12 >\nu >-1\) maß\ man aber \(a_k=o(k^{\nu +1})\) voraussetzen. Für die konjugierte Reihe wird u. a. gezeigt: Ist \(0<\alpha <\beta <1\) und die \textit{Bessel}sche Reihe in \((\alpha,\beta )\) gegen 0 konvergiert, so konvergiert die konjugierte Reihe gleichmäßig in jedem Intervall \((\alpha +\varepsilon,\beta -\varepsilon ),\varepsilon >0\). Der schluß\ der Arbeit beschäftigt sich mit den Äquikonvergenzfragen bei Entwicklungen nach dem (im Referat zu I genannten) Eigenfunktionen \(v_n(z)\). Dabei wird der folgende bemerkenswerte Satz benutzt: Konvergieren zwei trigonometrische Reihen mit Koeffizienten \(O(\dfrac {1}{n})\) bzw. \(o(\dfrac {1}{n})\) gegen die Summen \(s\) bzw. \(\sigma \), so konvergiert ihr formelles Produkt gegen \(s\cdot \sigma \).