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

Ортогональні поліноми або ортогональні многочлени — послідовність поліномів 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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.