# Orthogonale polynomen

In de wiskunde is een stelsel orthogonale polynomen een rij polynomen van toenemende graad die onderling orthogonaal zijn met betrekking tot een of ander inproduct. Veel gebruikte en bekende stelsls zijn de hermite-polynomen, de laguerre-polynomen, de legendre-polynomen, de jacobi-polynomen en de chebyshev-polynomen. Orthogonale polynomen treden op als oplossingen van speciale differentiaalvergelijkingen en vinden toepassing in numerieke benaderingen van integralen.

## Definitie

Een stelsel polynomen $P_{0},P_{1},\ldots ,P_{n},\ldots$, waarin $P_{n}$ een polynoom van de graad $n$ is, heet orthogonaal op het interval $[a,b]$ met betrekking tot de gewichtsfunctie $w(x)$, als voor $n\neq m$ geldt:
    $\int _{a}^{b}w(x)P_{n}(x)P_{m}(x)\,\mathrm {d} x=0$
Als de polynomen genormeerd zijn, d.w.z.
    $\|P\|^{2}=\int _{a}^{b}w(x)(P_{n}(x))^{2}\mathrm {d} x=1$
dan heet het stelsel orthonormaal:
    $\int _{a}^{b}w(x)P_{n}(x)P_{m}(x)\,\mathrm {d} x=\delta _{nm}$
met $\delta _{nm}$ de kroneckerdelta, dus 1 als $n=m$ en 0 $n\neq m$.

## Constructie

Een stelsel orthogonale polynomen kan geconstrueerd worden door orthogonalisering van de rij eenvormen $1,x,x^{2},\ldots ,x^{n},\ldots$ met behulp van de Gram-Schmidtmethode.
De coëfficiënten van de polynoom $P_{n+1}$ uit een orthogonaal stelsel volgen, op een schaalfactor na, ook uit de eis dat $P_{n+1}$ orthogonaal moet zijn met de voorgaande polynomen $P_{0},P_{1},\ldots ,P_{n}$.

## Voorbeeld

Een orthogonaal stelsel voor het interval $[-1,1]$ en gewichtsfunctie $w(x)=1$ wordt bepaald door:
    $P_{0}(x)=1$
    $P_{1}(x)=x+a=x$, want
       $\int _{-1}^{1}P_{0}(x)P_{1}(x)\,\mathrm {d} x=\int _{-1}^{1}(x+a)\,\mathrm {d} x=2a=0$, dus $a=0$
    $P_{2}(x)=x^{2}+bx+a=x^{2}-{\tfrac {1}{3}}$, want
       $\int _{-1}^{1}P_{0}(x)P_{2}(x)\,\mathrm {d} x=\int _{-1}^{1}(x^{2}+bx+a)\,\mathrm {d} x={\tfrac {2}{3}}+2a=0$, dus $a=-{\tfrac {1}{3}}$.
       $\int _{-1}^{1}P_{1}(x)P_{2}(x)\,\mathrm {d} x=\int _{-1}^{1}x(x^{2}+bx+a)\,\mathrm {d} x={\tfrac {2}{3}}b=0$, dus $b=0$.
Enzovoort; steeds is 1 als coëfficiënt van de hoogste macht gekozen.
De berekeningen kunnen sterk vereenvoudigd worden door de constatering dat
* vanwege de orthogonaliteit met $P_{0}(x)=1$, voor alle overige polynomen geldt:
       $\int _{-1}^{1}P_{n}(x)\,\mathrm {d} x=0$
* vanwege de orthogonaliteit met $P_{0}(x)=1$ en $P_{1}(x)=x$, alle polynomen slecht uit alleen even machten of alleen oneven machten van $x$ bestaan.
Zo krijgt men:
    $P_{3}(x)=x^{3}+ax=x^{3}-{\tfrac {3}{5}}x$, want
       $\int _{-1}^{1}P_{1}(x)P_{3}(x)\,\mathrm {d} x=\int _{-1}^{1}(x^{4}+ax^{2})\,\mathrm {d} x={\tfrac {2}{5}}+{\tfrac {2}{3}}a=0$, dus $a=-{\tfrac {3}{5}}$.
Met de Gram-Schmidtmethode, met het inproduct
    $\langle P_{i},P_{j}\rangle =\int _{-1}^{1}P_{i}(x)P_{j}(x)\,\mathrm {d} x$
krijgt men:
    $P_{0}(x)=1$
    $P_{1}(x)=x$, want $\langle P_{0},x\rangle =0$
    $P_{2}(x)=x^{2}-{\frac {\langle P_{0},x^{2}\rangle }{\langle P_{0},P_{0}\rangle }}P_{0}(x)=x^{2}-{\frac {\tfrac {2}{3}}{2}}\cdot 1=x^{2}-{\tfrac {1}{3}}$
    $P_{3}(x)=x^{3}-{\frac {\langle 1,x^{3}\rangle }{2}}\cdot 1-{\frac {\langle x,x^{3}\rangle }{\tfrac {2}{3}}}x-{\frac {\langle x^{2}-{\tfrac {1}{3}},x^{3}\rangle }{\langle x^{2}-{\tfrac {1}{3}},x^{2}-{\tfrac {1}{3}}\rangle }}(x^{2}-{\tfrac {1}{3}})=x^{3}-{\tfrac {3}{5}}x$,
       want $\langle x,x^{3}\rangle ={\tfrac {2}{5}}$,$\quad \langle 1,x^{3}\rangle =0\quad$ en $\quad \langle x^{2}-{\tfrac {1}{3}},x^{3}\rangle =0$

## Voorbeelden van orthogonale stelsels

    Tabel Integratiegrenzen gewichtsfunctie polynomen $a$ $b$ $w(x)$ $R_{n}(x)$ $-1$ $1$ $1$ legendre-polynoom $a$ $b$ $(x-a)^{p}(b-x)^{q}$ jacobi-polynoom $-1$ $1$ ${\frac {1}{\sqrt {1-x^{2}}}}$ chebyshev-polynoom eerste soort $-1$ $1$ ${\sqrt {1-x^{2}}}$ chebyshev-polynoom tweede soort $-\infty$ $\infty$ $\exp(-x^{2})$ hermite-polynoom $0$ $\infty$ $\exp(-x)$ laguerre-polynoom $0$ $\infty$ $x^{p}\exp(-x)$ geassocieerd laguerre-polynoom
De coëfficiënten van de polynomen en van hun afgeleiden zijn evenals hun nulpunten in een tabel te vinden.