Sur les conditions pour qu'un système de polynômes orthogonaux avec un poids soit fermé. (Q2580205)

Es sei \(D\) ein schlichtes, einfach zusammenhängendes Gebiet der komplexen \(z\)-Ebene. Eine positive Funktion \(h(z)\) heißt ein zu \(D\) gehöriges Gewicht, wenn sie auf jedem abgeschlossenen Teil von \(D\) eine positive untere Grenze besitzt und \(\iint\limits_Dh(z)\,d\sigma\) endlich ist. Bezüglich eines Gewichts \(h(z)\) heißt das System aller Polynome \(P(z)\) in \(D\) abgeschlossen, wenn für jede in \(D\) analytische Funktion \(f(z)\) mit endlichem \(\iint\limits_D h(z)|f(z)|^2\,d\sigma\) die für die Gesamtheit aller Polynome \(P(z)\) genommene untere Grenze von \(\iint\limits_Dh(z)|f(z)-P(z)|^2\,d\sigma\) verschwindet. Die Note bringt (teils mit Beweisskizze) die folgenden Beiträge zur Frage der Abgeschlossenheit des Polynomsystems: 1) Man weiß, daß für \(h(z)\equiv 1\) das System der Polynome \(P(z)\) nicht in jedem einfach zusammenhängenden Gebiet abgeschlossen ist. Es läßt sich jedoch zeigen, daß man zu jedem einfach zusammenhängenden Gebiet \(D\) ein Gewicht \(h(z)\) angeben kann, bezüglich dessen das System der Polynome \(P(z)\) in \(D\) abgeschlossen ist. 2) Es läßt sich nicht zu beliebig vorgegebenem Gebiet \(D\) ein im ganzen Gebiet mit positiver unterer Grenze versehenes Gewicht \(h(z)\) konstruieren, bezüglich dessen das System der Polynome \(P(z)\) abgeschlossen ist. Über die Größenordnung der Abnahme des Gewichts \(h(z)\) bei Annäherung an den Rand von \(D\), die allgemein für die Abgeschlossenheit des Polynomsystems notwendig ist, geben die folgenden Sätze Aufschluß: a) Ist das Gewicht \(h(z)\) so beschaffen, daß im Einheitskreis \(|\zeta|<1\) das Polynomsystem bezüglich des Gewichts \(h[\varphi(\zeta)]\) -- wo \(z=\varphi(\zeta)\) die Abbildung des Gebiets \(D\) auf \(|\zeta|<1\) realisiert -abgeschlossen ist, und daß \[ \varliminf_{d\to 0}\frac{\ln\ln\ln\dfrac 1{h(z)}}{\ln \dfrac 1d}>2 \] gilt, wo \(d\) den Abstand des Punkts \(z\) von dem Rand von \(D\) bedeutet, so ist das System der Polynome in \(D\) bezüglich \(h(z)\) abgeschlossen. b) Es existiert ein einfach zusammenhängendes Gebiet \(D\) derart, daß für jedes der Bedingung \[ \varlimsup_{d\to 0}\frac{\ln\ln\ln\dfrac 1{h(z)}}{\ln \dfrac 1d}<2 \] genügende Gewicht \(h(z)\) das Polynomsystem in \(D\) bezüglich \(h(z)\) nicht abgeschlossen ist.