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

Шаблон:Ортогональные многочлены 2 Шаблон:Ортогональные многочлены 2 Многочле́ны Чебышёва — две последовательности ортогональных многочленов $T_{n} (x)$ и $U_{n} (x), n = {0, 1, \dots},$ названные в честь Пафнутия Львовича Чебышёва:

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

Файл:Многочлены Чебышёва U.gif

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

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

Файл:Многочлены Чебышёва Т.gif

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

Многочлены Чебышёва играют важную роль в теории приближений, поскольку корни многочленов Чебышёва первого рода используются в качестве узлов в интерполяции алгебраическими многочленами.

Определения

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

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

T_{0} (x) = 1

T_{1} (x) = x

T_{n + 1} (x) = 2 x T_{n} (x) - T_{n - 1} (x) .

Из него также следует, что многочлены могут быть определены в явном виде через определитель трёхдиагональной матрицы размера $k \times k$ :

T_{k} (x) = \det [\begin{matrix} x & 1 & 0 & \dots & 0 \\ 1 & 2 x & 1 & \dots & 0 \\ 0 & 1 & 2 x & ⋱ & ⋮ \\ ⋮ & ⋮ & ⋱ & ⋱ & 1 \\ 0 & 0 & \dots & 1 & 2 x \end{matrix}]

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

U_{0} (x) = 1

U_{1} (x) = 2 x

U_{n + 1} (x) = 2 x U_{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}^{⌊ n / 2 ⌋} (\binom{n}{2 k}) (x^{2} - 1)^{k} x^{n - 2 k};

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}^{⌊ n / 2 ⌋} (\binom{n + 1}{2 k + 1}) (x^{2} - 1)^{k} x^{n - 2 k} .

Скалярное произведение

⟨ T_{n} (x), T_{m} (x) ⟩ = \int_{- 1}^{1} \frac{T_{n} (x) T_{m} (x)}{\sqrt{1 - x^{2}}} d x = {\begin{matrix} 0, & m \neq n \\ π, & m = n = 0 \\ π / 2, & m = n \end{matrix}

Соотношения

$U_{n + m} (x) = U_{n} (x) U_{m} (x) - U_{n - 1} (x) U_{m - 1} (x)$

$m = n + 1, U_{2 n + 1} (x) = 2 U_{n} (x) [x U_{n} (x) - U_{n - 1} (x)]$

$m = n, U_{2 n} (x) = [U_{n} (x) + U_{n - 1} (x)] \cdot [U_{n} (x) - U_{n - 1} (x)] .$

$U_{n + 1} (x) \cdot U_{n - 1} (x) = [U_{n} (x) + 1] \cdot [U_{n} (x) - 1] .$

$T_{n + 1} (x) = x U_{n} (x) - U_{n - 1} (x) .$

$T_{n + 1} (x)^{'} = (n + 1) U_{n} (x) .$

$T_{n \cdot m} (x) = T_{n} (T_{m} (x)) = T_{m} (T_{n} (x))$

то есть многочлены Чебышёва первого рода, с правилом умножения $T_{n \cdot m} (x) = T_{n} (x) \times T_{m} (x) \overset{d e f}{=} T_{n} (T_{m} (x)) = T_{m} (T_{n} (x))$ , образуют полугруппу, изоморфную мультипликативной полугруппе целых неотрицательных чисел.

Тригонометрическое определение

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

T_{n} (\cos θ) = \cos (n θ)

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

T_{n} (z) = \cos (n \arccos (z)) .

Такое определение также даёт альтернативный способ выразить многочлен в явном виде через формулу Эйлера $e^{i θ} = \cos θ + i \sin θ$ . Если возвести обе части в степень $k$ , получится

\cos k θ + i \sin k θ = e^{i k θ} = (e^{i θ})^{k} = (\cos θ + i \sin θ)^{k} .

Раскрывая скобки в выражении справа, можно сгруппировать действительную часть выражения, чтоб выразить $\cos k θ$ через $\cos θ$ . При этом стоит иметь в виду, что $i^{2 j} = (- 1)^{j}$ и $\sin^{2 j} θ = (1 - \cos^{2} θ)^{j}$ , из чего следует, что

\begin{matrix} \cos k θ & = Re (\cos θ + i \sin θ)^{k} \\ = Re \sum_{j = 0}^{k} (\binom{k}{j}) i^{j} \sin^{j} θ \cos^{k - j} θ \\ = \sum_{j = 0}^{⌊ k / 2 ⌋} (\binom{k}{2 j}) (\cos^{2} θ - 1)^{j} \cos^{k - 2 j} θ . \end{matrix}

Отсюда следует явная формула

T_{k} (x) = \sum_{j = 0}^{⌊ k / 2 ⌋} (\binom{k}{2 j}) (x^{2} - 1)^{j} x^{k - 2 j} .

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

U_{n} (\cos θ) = \frac{\sin ((n + 1) θ)}{\sin θ} .

Примеры

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

T_{0} (x) = 1

T_{1} (x) = x

T_{2} (x) = 2 x^{2} - 1

T_{3} (x) = 4 x^{3} - 3 x

T_{4} (x) = 8 x^{4} - 8 x^{2} + 1

T_{5} (x) = 16 x^{5} - 20 x^{3} + 5 x

T_{6} (x) = 32 x^{6} - 48 x^{4} + 18 x^{2} - 1

T_{7} (x) = 64 x^{7} - 112 x^{5} + 56 x^{3} - 7 x

T_{8} (x) = 128 x^{8} - 256 x^{6} + 160 x^{4} - 32 x^{2} + 1

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

U_{0} (x) = 1

U_{1} (x) = 2 x

U_{2} (x) = 4 x^{2} - 1

U_{3} (x) = 8 x^{3} - 4 x

U_{4} (x) = 16 x^{4} - 12 x^{2} + 1

U_{5} (x) = 32 x^{5} - 32 x^{3} + 6 x

U_{6} (x) = 64 x^{6} - 80 x^{4} + 24 x^{2} - 1

U_{7} (x) = 128 x^{7} - 192 x^{5} + 80 x^{3} - 8 x

Свойства

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

Многочлены чётных степеней являются чётными функциями, нечётных — нечётными функциями.
Сумма коэффициентов многочленов Чебышёва первого рода $T_{k} (x)$ равняется 1, а коэффициентов многочленов второго рода $U_{k} (x)$ равняется $k + 1$ .
Ортогональность по отношению к соответствующим скалярному произведению (с весом $1 / \sqrt{1 - x^{2}}$ для многочленов первого рода и $\sqrt{1 - x^{2}}$ для многочленов второго рода).
Среди всех многочленов, значения которых на отрезке [−1,1] не превосходят по модулю 1, многочлен Чебышёва имеет:
- наибольший старший коэффициент,
- наибольшее значение в любой точке за пределами $[- 1, 1]$ ,
- если $n \equiv k (\mod 2)$ , то $| a_{k - 1} | + | a_{k} | ⩽ | t_{k} |$ , где $t_{k}$ — коэффициент многочлена Чебышёва первого рода, $a_{k}$ — коэффициент любого из рассматриваемых многочленов.
Нули многочленов Чебышёва являются оптимальными узлами в различных интерполяционных схемах. Например, в методе дискретных особенностей, который часто используется при исследовании интегральных уравнений в электродинамике и аэродинамике.
На концах и середине отрезка выполняются следующие соотношения:
$\begin{matrix} T_{n} (1) & = 1, & T_{n} (- 1) & = (- 1)^{n}, & T_{2 n} (0) & = (- 1)^{n}, & T_{2 n + 1} (0) & = 0, \\ U_{n} (1) & = n + 1, & U_{n} (- 1) & = (- 1)^{n} \cdot (n + 1), & U_{2 n} (0) & = (- 1)^{n}, & U_{2 n + 1} (0) & = 0 . \end{matrix}$
Многочлен Чебышёва первого рода степени N является частным случаем фигур Лиссажу при соотношении частот, равном N и амплитуде обоих сигналов, равной 1.
Многочлены Чебышёва первого и второго рода соответствуют паре последовательностей Люка ${\tilde{V}}_{n} (P, Q)$ и ${\tilde{U}}_{n} (P, Q)$ с параметрами $(P, Q) = (2 x, 1)$ :
${\tilde{V}}_{n} (2 x, 1) = 2 \cdot T_{n} (x),$

${\tilde{U}}_{n} (2 x, 1) = U_{n - 1} (x) .$
Многочлен Чебышёва первого рода степени $n$ имеет наибольшую длину дуги на отрезке $[- 1, 1]$ в классе всех многочленов степени не выше $n$ таких, что максимум их модуля на этом отрезке не превышает $1$ и не равных тождественно константе^[1]

Применения

Теория приближений

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

l : X_{i} \to [- 1, 1],

где $l$ — линейное отображение, $X_{i}$ — область определения точек.

Аппроксимация непрерывно заданных функций получается в результате отбрасывания членов ряда Чебышёва, величина которых меньше желаемой погрешности результата. Аппроксимирующая функция также может быть записана в виде многочлена от $x$ . В отличие от приближений, получаемых при использовании других степенных рядов, данное приближение минимизирует количество слагаемых, необходимых для аппроксимации функции многочленом с заданной точностью. С этим связано также и то свойство, что приближение на основе ряда Чебышёва оказывается довольно близко к наилучшему равномерному приближению (среди многочленов той же степени), но проще находится.

Примером отображения $l$ , отображающего заданный интервал в область ортогональности многочленов,

l : [x_{min}, x_{max}] \to [- 1, 1],

может быть функция

l (x) = \frac{2 x - (x_{max} + x_{min})}{x_{max} - x_{min}} .

Расчёт антенных решёток

Многочлены Чебышёва применяются для расчёта антенной решётки. Мощность излучения каждой антенны рассчитывается при помощи многочленов Чебышёва. Это позволяет управлять формой диаграммы направленности, а точнее соотношением амплитуды основного и боковых лепестков.

Применение в теории фильтрации

Полиномы Чебышёва также используются при теоретическом построении фильтров. В общую формулу для амплитудно-частотной характеристики

$| H_{n} (j ω) | = \frac{1}{\sqrt{1 + f_{n}^{2} (\frac{ω}{ω_{0}})}}$

в качестве $f (x)$ подставляют выражение вида $ε T_{n} (x)$ или ${(ε T_{n} (x))}^{- 1}$ , где $ε$ — показатель пульсаций, получая соответственно АЧХ фильтров Чебышева I или II рода порядка $n$ .

Вариации и обобщения

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

Примечания

Шаблон:Примечания

Литература

Шаблон:Навигация

Шаблон:Вс Шаблон:Ортогональные многочлены Шаблон:ВП-порталы

↑ Бакан А. Об одном экстремальном свойстве многочленов Чебышева // Математика сегодня. Научный сборник / Под ред. проф. А. Я. Дороговцева. — Киев: Вища школа, 1982. — С. 167—172.

[1] Бакан А. Об одном экстремальном свойстве многочленов Чебышева // Математика сегодня. Научный сборник / Под ред. проф. А. Я. Дороговцева. — Киев: Вища школа, 1982. — С. 167—172.

[1]