A theorem on series of orthogonal functions with an application to \textit{Sturm-Liouville} series. (Q1471235): Difference between revisions

\(u_n(x)(n=1,2,3,\dots)\) und \(\overline u(x)(n=1,2,3,\dots)\) seien zwei normierte Orthogonalsysteme stetiger Funktionen für das Intervall (0,1). Das erste System sei vollständig. Wenn die Reihe \[ H(x,y)=\sum(u_n(x)-\overline u_n(x))u_n(y) \] konvergiert und \(| H(x,y)| <1\) ist, wenn ferner für jede stetige Funktion \(f(x)\) die Reihe \[ \sum u_n(y)\int_0^1 f(x)(u_n(x)-\overline u_n(x))dx \] gleichmäßig konvergiert gegen \(\int_0^1 f(x)H(x,y)dx\), so ist das zweite Orthogonalsystem \(\overline u_n(x)\) ebenfalls vollständig. Mit Hilfe dieses Satzes und der asymptotischen Entwicklung der \textit{Sturm-Liouville}schen Funktionen wird bewiesen, daß\ letztere ein vollständiges Orthogonalsystem bilden.