Théorème de fermeture pour les polynomes de Tchébychef (Čebyšev)-Laguerre. (Q1462463)

Der Verf. stützt sich auf eine Ungleichheit, die zu der Ungleichheit in der Arbeit über die Polynome von Laplace-Hermite-Tschebyscheff ganz analog ist, und beweist das Theorem der Geschlossenheit für die Polynome, die der charakteristischen Funktion \(p(x)=c(x-a)^\beta e^{-\alpha(x-\alpha)}\), \(\beta> - 1\), \(\alpha > 0\) entsprechen. Das Theorem wird zuerst für eine Funktion \(f(x)\) bewiesen, die den Bedingungen: \(|f(x+\delta)-f(x)|< \varepsilon(\delta)\), \(|f((x +\delta)^2)-f(x^2)|<\varepsilon(\delta)\) genügt, und dann, stufenweise, für eine integrierbare Funktion verallgemeinert. Am Ende spricht der Verf. den Satz aus: Jede Folge von Tschebyscheffschen Polynomen \(\varphi_k(x)\), für die \(\int\limits_a^b p(x)\varphi_k(x)P_{k-1}(x)\,dx=0\), \(P_{k-1}(x)\) ein willkürliches Polynom vom Grade \(k-1\), \(\int\limits_a^b p(x)\varphi_k^2(x)\,dx=1\), \(a\), \(b\) willkürlich, \(p(x)\geq 0\) gilt und die Integrale \(\int\limits_a^b p(x)x^k\,dx\) einen Sinn haben, ist abgeschlossen, wenn die Funktion \(p(x)\) der folgenden Bedingung genügt: es existiert eine positive mit \(n\) unendlich groß werdende Funktion \(\omega(n)\), für welche gleichzeitig gilt: \[ \lim \frac {\omega_n}n=0,\quad \lim\frac 1{(\omega(n))^{2n}} \int\limits_{4\omega^2(n)}^\infty p(x)x^n\,dx=0,\quad n\to \infty. \]