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

Многочлены Чебышёва — это две последовательности ортогональных многочленов, тесно связанные с тригонометрическими функциями и обладающие свойствами наилучшего приближения. Названы в честь русского математика Пафнутия Львовича Чебышёва. Различают многочлены Чебышёва первого рода (обозначаются \(T_n(x)\)) и второго рода (обозначаются \(U_n(x)\)). Они широко применяются в численном анализе, теории приближений, обработке сигналов и других областях математики и инженерии.

Определение и основные формулы

Многочлены первого рода (\(T_n(x)\))

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

\[ T_0(x) = 1,\quad T_1(x) = x,\quad T_{n+1}(x) = 2x T_n(x) - T_{n-1}(x),\quad n \ge 1. \]

Также существует тригонометрическое определение для \(x \in [-1, 1]\):

\[ T_n(x) = \cos(n \arccos x). \]

Для \(|x| > 1\) используется гиперболическая форма:

\[ T_n(x) = \cosh(n \operatorname{arcosh} x). \]

Первые несколько многочленов первого рода:

• \(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\)

Многочлены второго рода (\(U_n(x)\))

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

\[ U_0(x) = 1,\quad U_1(x) = 2x,\quad U_{n+1}(x) = 2x U_n(x) - U_{n-1}(x),\quad n \ge 1. \]

Тригонометрическое определение для \(x \in [-1, 1]\):

\[ U_n(x) = \frac{\sin((n+1) \arccos x)}{\sin(\arccos x)} = \frac{\sin((n+1) \theta)}{\sin \theta},\quad x = \cos \theta. \]

Первые несколько многочленов второго рода:

• \(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\)

Свойства

Ортогональность

Многочлены Чебышёва образуют ортогональные системы на отрезке \([-1, 1]\) с различными весовыми функциями.

Для первого рода: \[ \int_{-1}^{1} \frac{T_m(x) T_n(x)}{\sqrt{1 - x^2}} \, dx = \begin{cases} 0, & m \ne n, \\ \pi, & m = n = 0, \\ \pi/2, & m = n \ne 0. \end{cases} \]

Для второго рода: \[ \int_{-1}^{1} U_m(x) U_n(x) \sqrt{1 - x^2} \, dx = \begin{cases} 0, & m \ne n, \\ \pi/2, & m = n. \end{cases} \]

Корни и экстремумы

Корни (нули) многочлена \(T_n(x)\) находятся в точках: \[ x_k = \cos\left(\frac{2k - 1}{2n} \pi\right),\quad k = 1, 2, \dots, n. \]

Точки экстремума \(T_n(x)\) на отрезке \([-1, 1]\): \[ x_k = \cos\left(\frac{k\pi}{n}\right),\quad k = 0, 1, \dots, n, \] при этом значения в этих точках равны \(\pm 1\).

Корни многочлена \(U_n(x)\): \[ x_k = \cos\left(\frac{k\pi}{n+1}\right),\quad k = 1, 2, \dots, n. \]

Свойство наилучшего приближения

Среди всех многочленов степени \(n\) со старшим коэффициентом 1 многочлен \(2^{1-n} T_n(x)\) имеет наименьшую максимальную норму на отрезке \([-1, 1]\). Это свойство делает многочлены Чебышёва первого рода оптимальными для задач равномерного приближения функций (минимаксное приближение). Конкретно, для любого многочлена \(P_n(x)\) степени \(n\) со старшим коэффициентом 1 выполняется: \[ \max_{x \in [-1, 1]} |2^{1-n} T_n(x)| \le \max_{x \in [-1, 1]} |P_n(x)|. \]

Чебышёвские узлы

Набор корней многочлена \(T_n(x)\) (или \(U_n(x)\)) часто используется как узлы интерполяции. Интерполяция по чебышёвским узлам минимизирует эффект Рунге — явление роста погрешности на краях отрезка при интерполяции многочленами высокой степени по равноотстоящим узлам.

Производящие функции

Для многочленов первого рода: \[ \frac{1 - tx}{1 - 2tx + t^2} = \sum_{n=0}^{\infty} T_n(x) t^n,\quad |t| < 1. \]

Для многочленов второго рода: \[ \frac{1}{1 - 2tx + t^2} = \sum_{n=0}^{\infty} U_n(x) t^n,\quad |t| < 1. \]

Дифференциальное уравнение

Многочлены Чебышёва первого рода являются решениями дифференциального уравнения: \[ (1 - x^2) y'' - x y' + n^2 y = 0. \]

Для второго рода: \[ (1 - x^2) y'' - 3x y' + n(n+2) y = 0. \]

История

Многочлены, впоследствии названные именем Чебышёва, были впервые систематически изучены Пафнутием Львовичем Чебышёвым в 1850-х годах в контексте его работ по теории механизмов и теории приближений. Чебышёв исследовал задачу о наилучшем приближении функций многочленами, что привело его к открытию этих многочленов. В 1854 году он опубликовал работу «Теория механизмов, известных под названием параллелограммов», где использовал многочлены для анализа шарнирных механизмов. Позднее, в 1859 году, в мемуаре «О функциях, наименее уклоняющихся от нуля», Чебышёв дал строгое обоснование свойств этих многочленов.

Независимо от Чебышёва, многочлены были известны ранее в работах других математиков. В частности, в 1805 году французский математик Жозеф Луи Лагранж рассматривал их в связи с тригонометрическими тождествами. Однако именно Чебышёв установил их фундаментальную роль в теории приближений и дал полное описание их свойств.

Применение

Численный анализ

Многочлены Чебышёва широко используются в численных методах:

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

Обработка сигналов

В цифровой обработке сигналов многочлены Чебышёва применяются при проектировании фильтров:

• Фильтры Чебышёва — аналоговые или цифровые фильтры, имеющие равноволновую характеристику в полосе пропускания (фильтры Чебышёва первого рода) или в полосе задерживания (фильтры Чебышёва второго рода). Они обеспечивают более крутой спад амплитудно-частотной характеристики по сравнению с фильтрами Баттерворта, но за счёт пульсаций (ряби) в одной из полос.

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

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

Другие области

• Квадратурные формулы — чебышёвские узлы используются в квадратурных формулах Гаусса-Чебышёва для численного интегрирования с весом.
• Теория вероятностей — многочлены Чебышёва возникают в задачах, связанных с ортогональными разложениями случайных процессов.
• Механика — в анализе шарнирных механизмов (например, в механизме Чебышёва для преобразования вращательного движения в прямолинейное).

Связь с другими многочленами

Многочлены Чебышёва являются частным случаем многочленов Якоби \(P_n^{(\alpha, \beta)}(x)\) при \(\alpha = \beta = -1/2\) (для первого рода) и \(\alpha = \beta = 1/2\) (для второго рода). Они также связаны с многочленами Лежандра, Эрмита и Лагерра через различные преобразования и предельные переходы.

Интересные факты

• Многочлены Чебышёва обладают свойством минимальной максимальной нормы среди всех многочленов данной степени с фиксированным старшим коэффициентом. Это свойство часто формулируется как «многочлены Чебышёва наименее уклоняются от нуля».
• Тригонометрическая форма \(T_n(\cos \theta) = \cos(n\theta)\) позволяет легко выводить формулы для кратных углов, например, \(\cos 2\theta = 2\cos^2\theta - 1\) соответствует \(T_2(x) = 2x^2 - 1\).
• В теории чисел многочлены Чебышёва используются для построения последовательностей, связанных с рекуррентными соотношениями, например, в алгоритме быстрого возведения матриц в степень.
• В российской математической школе многочлены Чебышёва традиционно изучаются в курсах теории функций и численных методов, а также входят в программу олимпиад по математике.