Note on certain orthogonal polynomials. (Q2580203)

Verf. gibt Erweiterungen eines bekannten Satzes über Systeme orthogonaler Polynome von einer reellen Veränderlichen (vgl. \textit{G. Szegö}, Orthogonal polynomials, Amer. math. Soc. Coll. Publ. 23 (New York 1939; F. d. M. 65, 278), S. 39) auf Systeme längs einer algebraischen Kurve orthogonaler Polynome von zwei reellen Veränderlichen: 1) Zunächst werden, dem Fall des Kreises entsprechend, orthogonale trigonometrische Summen betrachtet. Mit den zum Gewicht \(\varrho(x)\geqq 0\) orthonormalen trigonometrischen Summen \(U_0(x)\), \(U_1(x)\), \(V_1(x)\), \dots, wobei \(U_k(x)\), \(V_k(x)\) von der Ordnung \(k\) seien und in \(U_k(x)\) das Glied mit \(\sin kx\) verschwinde, in \(V_k(x)\) dagegen nicht, werde der Kern \[ K_n(x,s)=U_0(x)U_0(s)+\sum_{k=1}^n[U_k(x)U_k(s)+V_k(x)V_k(s)] \] gebildet. Verschwindet dann \(\varrho(x)\) in einem Intervall \((\alpha,\beta)\) identisch und sind \(x_1\), \(x_2\) zwei beliebige Stellen aus demselben, so gilt für jede trigonometrische Summe \(\tau_{n-1}(x)\) höchstens \((n-1)\)-ter Ordnung \[ \begin{gathered} \int\limits_{-\pi}^{+\pi}\varrho(s)K_n(x,s)\sin \tfrac 12 (s-x_1)\sin \tfrac 12(s-x_2)\tau_{n-1}(s)\,ds \\ =\sin \tfrac 12(x-x_1)\sin \tfrac 12(x-x_2)\tau_{n-1}(x). \end{gathered} \] \(K_n(x_1,s)\) und \(K_n(x_2,s)\) sind daher zwei -übrigens linear unabhängige -- trigonometrische Summen \(n\)-ter Ordnung in \(s\), die bzgl. des Gewichtes \[ \sin \tfrac 12(s-x_1)\sin\tfrac 12(s-x_2)\varrho(s) \] zu jeder trigonometrischen Summe \(\tau_{n-1}(s)\) höchstens \((n-1)\)-ter Ordnung orthogonal sind. Durch Grenzübergang \(x_2\to x_1\) findet man, daß \(K_n(x_1,s)\) und \(\dfrac \partial{\partial x} K_n(x,s)|_{x=x_1}\) dieselbe Eigenschaft bzgl. des Gewichts \(\sin^2\frac 12(s-x_1)\varrho(s)\) haben. 2) Als Beispiel für den Fall orthogonaler Polynome auf einer algebraischen Kurve höherer Ordnung werden Polynome auf einer Kurve \(C\) dritter Ordnung behandelt. Es sei \(\varrho(x,y)\geqq 0\) eine Gewichtsfunktion, die längs \(C\) bis auf einen oder mehrere Bogen von endlicher Gesamtlänge verschwindet. Für ein längs \(C\) bzgl. \(\varrho(x,y)\) orthonormales System von Polynomen \(p_{01}(x,y)\), \(p_{11}(x,y)\), \(p_{13}(x,y)\) und \(p_{n1}(x,y)\), \(p_{n2}(x,y)\), \(p_{n3}(x,y)\) für \(n\geqq 2\), wobei \(p_{nj}(x,y)\) vom Grade \(n\) sei, werde der Kern \[ K_n(x,y,u,v)=\sum_{k\leqq n} \sum_j p_{kj}(x,y)p_{kj}(u,v) \] gebildet. Ist dann \(ax+by+c=0\) eine die Kurve in den drei verschiedenen Punkten \((x_1,y_1)\), \((x_2,y_2)\), \((x_3,y_3)\) schneidende Gerade, für die alle Teile von \(C\) mit \(\varrho(x,y)\neq 0\) auf derselben Seite liegen (so daß für alle diese Kurventeile \(ax+by+c\) dasselbe Vorzeichen aufweist), so gilt mit jedem Polynom \(\pi_{n-1}(x,y)\) von höchstens \((n-1)\)-tem Grade \[ \int\limits_c \varrho(u,v)K_n(x,y,u,v)(au+bv+c) \pi_{n-1}(u,v)ds=(ax+by+c)\pi_{n-1}(x,y) \] für \((x,y)\) auf \(C\). Danach sind \(K_n(x_\nu,y_\nu,u,v)\), \((\nu=1\), 2, 3), drei -- übrigens linear unabhängige -- Polynome in \(u\), \(v\), die bzgl. des Gewichts \((au+bv+c)\varrho(u,v)\) zu jedem Polynom \(\pi_{n-1}(u,v)\) höchstens \((n-1)\)-ten Grades längs \(C\) orthogonal sind. -- Es wird noch gezeigt, wie die Resultate zu modifizieren sind, wenn die Gerade die Kurve \(C\) berührt oder in einem Doppelpunkt trifft. Zum Schluß bemerkt Verf., wie sich die Verhältnisse für den Fall nicht algebraischer Kurven gestalten.