Многочлены Чебышёва

Материал из Википедии — свободной энциклопедии

Многочле́ны Чебышёва — две последовательности многочленов $\{ T_n(x)\}_{n=0}^{\infty}$ и $\{ U_n(x)\}_{n=0}^{\infty}$ , названные в честь их первооткрывателя Пафнутия Львовича Чебышёва.

T₁, T₂, T₃, T₄, T₅

Многочлен Чебышёва первого рода $T n (x)$ характеризуется как многочлен степени $n$ со старшим коэффициентом $2 n - 1$ , который меньше всего отклоняется от нуля на интервале $[ - 1,1]$ .

U₁, U₂, U₃, U₄, U₅

Многочлен Чебышёва второго рода $U n (x)$ характеризуется как многочлен степени $n$ со старшим коэффициентом $2 n$ , интеграл от абсолютной величины которого по интервалу $[ - 1,1]$ принимает наименьшее возможное значение.

[править] Рекурсивное определение

Многочлены Чебышёва первого рода $T n (x)$ могут быть определены с помощью рекуррентного соотношения:

$T_0(x) = 1 \,$

$T_1(x) = x \,$

$T_{n+1}(x) = 2xT_n(x) - T_{n-1}(x). \,$

Многочлены Чебышёва второго рода $U n (x)$ могут быть определены с помощью рекуррентного соотношения:

$U_0(x) = 1 \,$

$U_1(x) = 2x \,$

$U_{n+1}(x) = 2xU_n(x) - U_{n-1}(x). \,$

[править] Явные формулы

Многочлены Чебышёва являются решениями уравнения Пелля:

T n (x) 2 - (x 2 - 1) U n - 1 (x) 2 = 1

в кольце многочленов с вещественными коэффициентами и удовлетворяют тождеству:

$T_n(x) + U_{n-1}(x)\sqrt{x^2-1} = (x + \sqrt{x^2-1})^n.$

Из последнего тождества также следуют явные формулы:

$T_n(x)=\frac{(x+\sqrt{x^2-1})^n+(x-\sqrt{x^2-1})^n}{2} = \sum_{k=0}^{\lfloor n/2\rfloor} \binom{n}{2k} (x^2-1)^k x^{n-2k};$

$U_n(x)=\frac{(x+\sqrt{x^2-1})^{n+1}-(x-\sqrt{x^2-1})^{n+1}}{2\sqrt{x^2-1}} = \sum_{k=0}^{\lfloor n/2\rfloor} \binom{n+1}{2k+1} (x^2-1)^k x^{n-2k}.$

[править] Тригонометрическое определение

Многочлены Чебышёва первого рода $T n (x)$ могут быть также определены с помощью равенства:

$T_n(\cos(\theta))=\cos(n\theta). \,$

или, что почти эквивалентно,

T n (z) = cos(n arccos z)

Многочлены Чебышёва второго рода $U n (x)$ могут быть также определены с помощью равенства:

$U_n(\cos(\theta)) = \frac{\sin((n+1)\theta)}{\sin\theta}.$

[править] Примеры

Несколько первых многочленов Чебышёва первого рода

$T_0(x) = 1 \,$

$T_1(x) = x \,$

$T_2(x) = 2x^2 - 1 \,$

$T_3(x) = 4x^3 - 3x \,$

$T_4(x) = 8x^4 - 8x^2 + 1 \,$

$T_5(x) = 16x^5 - 20x^3 + 5x \,$

$T_6(x) = 32x^6 - 48x^4 + 18x^2 - 1 \,$

$T_7(x) = 64x^7 - 112x^5 + 56x^3 - 7x \,$

Несколько первых многочленов Чебышёва второго рода

$U_0(x) = 1 \,$

$U_1(x) = 2x \,$

$U_2(x) = 4x^2 - 1 \,$

$U_3(x) = 8x^3 - 4x \,$

$U_4(x) = 16x^4 - 12x^2 + 1 \,$

$U_5(x) = 32x^5 - 32x^3 + 6x \,$

$U_6(x) = 64x^6 - 80x^4 + 24x^2 - 1 \,$

[править] Свойства

Многочлены Чебышёва обладают следующими свойствами:

Ортогональность по отношению к соответствующим скалярному произведению (с весом $\frac1\sqrt{1-x^2}$ для многочленов первого рода и $\sqrt{1-x^2}$ для многочленов второго рода).
Среди всех многочленов, значения которых на отрезке [ − 1,1] не превосходят по модулю 1, многочлен Чебышёва имеет:
- наибольший старший коэффициент
- наибольшее значение в любой точке $a \geq 1$
Нули полинома Чебышёва являются оптимальными узлами в различных интерполяционных схемах.

[править] Обобщения

Вопрос о многочленах минимальной нормы с фиксированными коэффициентами при двух старших степенях был рассмотрен позднее Золотарёвым, найденные им полиномы носят название многочлены Золотарёва.

[править] См. также

многочлены Фабера

[править] Ссылки

Васильев Н., Зелевинский А., Многочлены Чебышёва и рекуррентные соотношения, Квант, № 1, 1982.

Многочлены Чебышёва

Материал из Википедии — свободной энциклопедии

Содержание

[править] Рекурсивное определение

[править] Явные формулы

[править] Тригонометрическое определение

[править] Примеры

[править] Свойства

[править] Обобщения

[править] См. также

[править] Ссылки

Просмотры

Личные инструменты

Навигация

Поиск

Участие

Инструменты

На других языках