Über orthogonale Polynome, die zu einer gegebenen Kurve der komplexen Ebene gehören. (Q1461970)

In der vorliegenden Arbeit wird eine von Faber behandelte Frage -- zu einem beliebigen Bereich Polynome zu finden, nach denen jede, in dem Bereich reguläre Funktion entwickelbar ist -- auf eine neue Weise gelöst. Verf. geht von einer rektifizierbaren Jordankurve \(C\) aus und definiert ein System von Polynomen \(P_n(x)\) (\(n= 0, 1, 2,\dots\)) durch die Orthogonalitätsbedingungen \[ \frac 1l\int\limits_CP_m(x)\overline{P_n(x)}\,d\sigma= \varepsilon_{mn}\quad (m, n = 0, 1, 2, \ldots), \] wo \(l\) die Länge und \(d\sigma\) das Bogenelement von \(C\) bezeichnet. Die \(P_n(x)\) sind, wenn man noch ihren höchsten Koeffizienten positiv festlegt, eindeutig bestimmt. Für den Einheitskreis \(|x|=1\) ist z. B. \(P_n(x) = x^n\). In dem Grenzfall, wo \(C\) in das Intervall \(-1,1\) ausartet, ergeben sich die Legendreschen Polynome. Im I. Kapitel werden allgemeine Eigenschaften der Polynome \(P_n(x)\) behandelt, namentlich Maximum-Minimum-Eigenschaften, Sätze über Nullstellen, usw. Auch der Satz, daß jede im Innern und auf \(C\) reguläre Funktion nach den \(P_n(x)\) entwickelbar ist, wobei die Koeffizienten sich auf die Fouriersche Weise ergeben, wird hier bewiesen. Von den Sätzen über die Nullstellen sei nur der folgende erwähnt: Die Nullstellen von \(P_n(x)\) liegen im kleinsten konvexen Bereich, der die Kurve \(C\) enthält. Im Mittelpunkt des II. Kapitels steht folgendes Theorem: Es sei \(\gamma(x)\) diejenige -- bis auf einen konstanten Faktor vom Betrage 1 eindeutig bestimmte -- Funktion, welche das Innere von \(C\) auf das Innere des Einheitskreises schlicht abbildet, für welche ferner \(\gamma(a) = 0\) gilt; \(a\) ist ein gegebener innerer Punkt von \(C\). Dann hat man \[ \gamma(x)=\varepsilon \frac{2\pi}l \frac 1{K(a,a)}\int\limits_a^x (K(a,\xi))^2\,d\xi, \] wobei \[ K(a,x) = \sum_{n=0}^\infty \overline{P_n(a)}P_n(x). \] Die letzte Reihe konvergiert gleichmäßig in jedem ganz im Innern von \(C\) gelegenen Bereiche. Das III. Kapitel handelt von den Beziehungen der Polynome \(P_n(x)\) zu der schlichten Abbildung des Äußeren von \(C\), wobei namentlich die folgende, außerhalb von \(C\) geltende asymptotische Formel bewiesen wird: \[ P_n(x) =\sqrt{\frac l{2\pi}}\sqrt{\psi'(x)}(\psi(x))^n(1+\varepsilon_n); \] hierbei ist \(\lim\limits_{n\to \infty}\varepsilon_n=0\) und \[ \psi(x) = cx + c_0 + \frac{c_1}x+\frac{c_2}{x^2}+ \cdots \quad (c>0) \] bezeichnet diejenige Funktion, welche das Äußere von \(C\) auf das Äußere des Einheitskreises derart abbildet, daß der unendlich ferne Punkt und die Richtung in demselben invariant bleiben. Hieraus folgt z. B. \[ \psi(x)=\lim_{n\to \infty}\frac{P_{n+1}(x)}{P_n(x)}, \] eine Grenzwertformel, die man auch zur angenäherten Berechnung der Abbildungsfunktion \(\psi(x)\) verwenden kann, da die \(P_n(x)\) durch Quadraturen bestimmbar sind (wenn nämlich \(C\) in der Form \(x = x(\sigma)\) gegeben ist, wo \(\sigma\) die von einem festen Punkt auf \(C\) gerechnete Bogenlänge bezeichnet). Auf Grund dieser Resultate gelingt es leicht, den Konvergenzbereich der Entwicklung einer innerhalb und auf \(C\) regulären analytischen Funktion nach den Polynomen \(P_n(x)\) anzugeben. Ein Satz über die Häufungsstellen der Wurzeln von \(P_n(x)\) (\(n=1, 2, 3,\ldots\)), sowie eine Interpolationsaufgabe, bei der als Interpolationsstellen diese Wurzeln verwendet werden, beschließt die Arbeit. (IV 5.)