Unter orthogonalen Polynomen versteht man in der Mathematik eine unendliche Folge von Polynomen
,
die orthogonal bezüglich eines
-Skalarproduktes sind.
Sei
ein Borel-Maß auf
und betrachte man den Hilbertraum
der bezüglich
quadratintegrierbaren Funktionen mit dem Skalarprodukt
.
Weiter sei
für alle
. Das ist zum Beispiel der Fall, wenn das Maß einen kompakten Träger besitzt. Insbesondere ist das Maß endlich und man kann ohne Beschränkung der Allgemeinheit
fordern.
Im einfachsten Fall ist das Maß durch eine nicht-negative Gewichtsfunktion
gegeben:
.
Eine Folge von Polynomen
,
, heißt Folge orthogonaler Polynome, falls
Grad
hat und verschiedene Polynome paarweise orthogonal sind:
![{\displaystyle \langle P_{m},P_{n}\rangle =0,\qquad m\neq n.}](//wikimedia.org/api/rest_v1/media/math/render/svg/d410df222842cb5fdf10349cf90fd8c12cb52a29)
Ist das Maß gegeben, so können die zugehörigen Polynome eindeutig mit Hilfe des Gram-Schmidt'schen Orthogonalisierungsverfahrens aus den Monomen
,
, konstruiert werden. Dafür genügt es offensichtlich, die Momente
![{\displaystyle m_{n}=\int _{\mathbb {R} }x^{n}d\mu (x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/0ff9fa5180726823e796a609715e8a5a3037f6e2)
zu kennen. Die Umkehrung ist als Stieltjes'sches Momentenproblem bekannt.
Es sind verschiedene Möglichkeiten der Normierung in Verwendung. Um diese zu beschreiben, führen wir folgende Konstanten ein:
![{\displaystyle h_{n}=\langle P_{n},P_{n}\rangle =\int _{\mathbb {R} }P_{n}(x)^{2}d\mu (x),\qquad {\tilde {h}}_{n}=\langle P_{n}(x),x\,P_{n}(x)\rangle =\int _{\mathbb {R} }x\,P_{n}(x)^{2}d\mu (x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/789d74af9029e5f4b5129218869f1a7975b5fa68)
und
.
Dann bezeichnet man die Polynome als orthonormal, falls
, und als monisch, falls
.
Orthogonale Polynome erfüllen eine dreistufige Rekursionsrelation
![{\displaystyle P_{n+1}(x)=(A_{n}x+B_{n})P_{n}(x)-C_{n}P_{n-1}(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/de5049edaf42ae12dc9fd3c50e328f006aa914d9)
(wobei
im Fall
zu setzen ist) mit
![{\displaystyle A_{n}={\frac {k_{n+1}}{k_{n}}},\quad B_{n}=\left({\frac {{\tilde {k}}_{n+1}}{k_{n+1}}}-{\frac {{\tilde {k}}_{n}}{k_{n}}}\right)A_{n}=-{\frac {{\tilde {h}}_{n}}{h_{n}}}A_{n},\quad C_{n}={\frac {A_{n}{\tilde {\tilde {k}}}_{n}+B_{n}{\tilde {k}}_{n}-{\tilde {\tilde {k}}}_{n+1}}{k_{n-1}}}={\frac {A_{n}}{A_{n-1}}}{\frac {h_{n}}{h_{n-1}}},}](//wikimedia.org/api/rest_v1/media/math/render/svg/d9efd6ec5d78ea576c0477c8311da0f94214e956)
und den Konstanten
aus dem vorherigen Abschnitt.
Die Rekursionsrelation kann auch äquivalent in der Form
![{\displaystyle a_{n}P_{n+1}(x)+b_{n}P_{n}(x)+c_{n}P_{n-1}(x)=x\,P_{n}(x)}](//wikimedia.org/api/rest_v1/media/math/render/svg/a3875418bee93bbb3a97d1ed5ce8e60215a4b6df)
mit
![{\displaystyle a_{n}={\frac {k_{n}}{k_{n+1}}},\quad b_{n}={\frac {{\tilde {k}}_{n}}{k_{n}}}-{\frac {{\tilde {k}}_{n+1}}{k_{n+1}}}={\frac {{\tilde {h}}_{n}}{h_{n}}},\quad c_{n}={\frac {{\tilde {\tilde {k}}}_{n}-a_{n}{\tilde {\tilde {k}}}_{n+1}-b_{n}{\tilde {k}}_{n}}{k_{n-1}}}=a_{n-1}{\frac {h_{n}}{h_{n-1}}},}](//wikimedia.org/api/rest_v1/media/math/render/svg/fc9bc4395161753a41be31d2194a463c4505d9a1)
geschrieben werden.
Speziell im Fall von orthonormalen Polynomen,
, erhält man eine symmetrische Rekursionsrelation
und die orthonormalen Polynome erfüllen genau die verallgemeinerte Eigenvektorgleichung des zugehörigen Jacobi-Operators. Das Maß
ist das Spektralmaß des Jacobi-Operators zum ersten Basisvektor
.
Es gilt
![{\displaystyle \sum _{m=0}^{n}{\frac {P_{m}(x)P_{m}(y)}{h_{m}}}={\frac {k_{n}}{h_{n}k_{n+1}}}{\frac {P_{n+1}(x)P_{n}(y)-P_{n}(x)P_{n+1}(y)}{x-y}}}](//wikimedia.org/api/rest_v1/media/math/render/svg/1964da65c04e29118210a0d148562d8a5015e8fe)
und im Fall
erhält man durch Grenzwertbildung
![{\displaystyle \sum _{m=0}^{n}{\frac {P_{m}(x)^{2}}{h_{m}}}={\frac {k_{n}}{h_{n}k_{n+1}}}{\left(P_{n+1}'(x)P_{n}(x)-P_{n}'(x)P_{n+1}(x)\right)}.}](//wikimedia.org/api/rest_v1/media/math/render/svg/b50050136add5476837c8dcd2a100409080dd4b9)
Orthogonale Polynome auf dem Einheitskreis
Eine Verallgemeinerung der reellen orthogonalen Polynome sind die orthogonalen Polynome auf Kurven in der komplexen Ebene. In der Regel betrachtet man orthogonale Polynome auf dem Einheitskreis und ein Maß auf einer Teilmenge von
.
Diskrete orthogonale Polynome
Multivariable orthogonale Polynome
Multivariable oder multivariate orthogonale Polynome sind orthogonale Polynome in mehreren Variablen
. Ein Beispiel hierfür sind die Macdonald-Polynome.
Mehrfach orthogonale Polynome
Quantenpolynome
Die
-orthogonalen Polynome oder Quantenpolynome sind
-Analoga der orthogonalen Polynome.
Sobolevsche orthogonale Polynome
Dies sind orthogonale Polynome bezüglich ein sobolevschen inneren Produktes, das heißt ein inneres Produkt mit Ableitungen. Die Polynome verlieren dadurch im Allgemeinen einige attraktive Eigenschaften der klassischen orthogonalen Polynome.
- Milton Abramowitz und Irene A. Stegun (Herausg.), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, New York, Dover (1965), ISBN 978-0486612720 (Kapitel 22)
- Gábor Szegő, Orthogonal Polynomials, Colloquium Publications - American Mathematical Society, 1939. ISBN 0-8218-1023-5.
- Theodore S. Chihara, An Introduction to Orthogonal Polynomials, Gordon and Breach, 1978. ISBN 978-0677041506.