ЧЕБЫШЕ́ВА МНОГОЧЛЕ́НЫ
-
Рубрика: Математика
-
-
Скопировать библиографическую ссылку:
Книжная версия:
Электронная версия:
ЧЕБЫШЕ́ВА МНОГОЧЛЕ́НЫ, система ортогональных многочленов на отрезке –1⩽x⩽1, открытая П. Л. Чебышевым (1854).
Ч. м. первого рода определяются формулойTn(x)=cos(narccosx)=2nn!(2n)!√1−x2dndxn((1−x2)n−1/2),в частности,T0=1,T1=x,T2=2x2−1. Они ортогональны с весом 1√1−x2 на отрезке −1⩽x⩽1, т. е. имеют место формулы 0,\qquad m≠n,\\ \int_{-1}^{1}\frac{T_m(x)T_n(x)}{\sqrt{1-x^2}}dx=\frac{π}{2}\qquad m=n\geqslant 1,\\ π,\qquad m=n=0. Ч. м. первого рода \frac{1}{2^{n-1}}T_n(x) наименее отклоняется от нуля. Это означает, что среди всех многочленов степени n со старшим коэф. 1 именно максимум модуля \max\left| \frac{1}{2^{n-1}}T_n(x) \right| на отрезке -1 ⩽ x ⩽ 1 имеет наименьшее значение, причём этот максимум равен \frac{1}{2^{n-1}}. Ч. м. y=T_n(x) удовлетворяют дифференциальному уравнению (1-x^2)y''-xy'+n^2y=0 и для них справедлива рекуррентная формула T_{n+1}(x)=2xT_n(x)-T_{n–1}(x),\,n ⩾ 1.
Ч. м. второго рода U_n(x) ортогональны на отрезке –1 ⩽ x ⩽ 1 с весом \sqrt{1-x^2}, т. е.\int_{-1}^{1}U_m(x)U_n(x)\sqrt{1-x^2}dx=0,\,m\neq n,\\\int_{-1}^{1}U_m(x)U_n(x)\sqrt{1-x^2}dx=\frac{π}{2},\,m=n.Они определяются формулойU_n(x)=\frac{\sin((n+1)\text{arccos}\,x}{\sqrt{1-x^2}}=\\=\frac{2^n(n+1)!}{(2n+1)!}\frac{1}{\sqrt{1-x^2}}\frac{d^n}{dx^n}((1-x^2)^{n+1/2}.
В частности,U_0(x)=1,\,U_1(x)=2x,\,U_2(x)=4x^2-1.Дифференциальное уравнение и рекуррентная формула для Ч. м. второго рода имеют вид (1-x^2)y''-3xy'+n(n+1)y=0,\\ U_{n+1}(x)=2xU_n(x)-U_{n–1}(x),\,n ⩾ 1. Ч. м. первого и второго рода связаны соотношениемU_n(x)=\frac{1}{n+1}\frac{dT_{n+1}(x)}{dx}
Эрмита многочлены часто называют многочленами Чебышева – Эрмита.