Ортогональні поліноми

Ортогональні поліноми або ортогональні многочлени — послідовність поліномів n-го порядку $f_{n}(x)$, заданих на відрізку [a, b], що задовольняє умовам

$\int _{a}^{b}w(x)f_{n}(x)f_{m}(x)dx=0$

для будь-яких $n\neq m$.

Функція $w(x)$ називається ваговою функцією. Разом із межами відрізка вона визначає сукупність ортогональних многочленів із точністю до сталих множників. Вибір конкретної форми цих множників називається стандартизацією. Для визначення, на цій сторінці вводиться позначення:

$\int _{a}^{b}w(x)f_{n}(x)f_{n}{x}dx=h_{n}$.

Кожен із многочленів має вигляд:

$f_{n}(x)=k_{n}x^{n}+k_{n}^{\prime }x^{n-1}+\ldots$, де $n=0,1,2,\ldots$.

Диференціальне рівняння

Ортогональні поліноми задовольняють диференціальному рівнянню:

$g_{2}(x)f_{n}^{\prime \prime }(x)+g_{1}(x)f_{n}^{\prime }(x)+a_{n}f_{n}=0$,

де $g_{2}(x)$ та $g_{1}(x)$ не залежать від n, а $a_{n}$ - стала, яка залежить лише від n.

Рекурентна формула

$f_{n+1}=(a_{n}+xb_{n})f_{n}-c_{n}f_{n-1}\,$,

де

$b_{n}={\frac {k_{n+1}}{k_{n}}},\qquad a_{n}=b_{n}\left({\frac {k_{n+1}^{\prime }}{k_{n+1}}}-{\frac {k_{n}^{\prime }}{k_{n}}}\right),\qquad c_{n}={\frac {k_{n+1}k_{n-1}h_{n}}{k_{n}^{2}h_{n-1}}}$.

Формула Родріга

$f_{n}={\frac {1}{e_{n}w(x)}}{\frac {d^{n}}{dx^{n}}}(w(x)(g(x))^{n})$,

де $g(x)$ — певний поліном.

Література

• Бейтмен Г., Эрдейи А., Высшие трансцендентные функции, т. 2 - Функции Бесселя, функции параболического цилиндра, ортогональные многочлены, пер. с англ., 2 изд., М., 1974
• Геронимус Я. Л., Теория ортогональных многочленов, М.-Д., 1950
• Сеге Г., Ортогональные многочлены, пер. с англ., Москва, 1962