Многочлены Якоби

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

Определение

Многочлены Якоби обозначаются \( P_n^{(\alpha, \beta)}(x) \), где \( n \) — степень многочлена (неотрицательное целое число), а \( \alpha \) и \( \beta \) — параметры (действительные числа, обычно \( \alpha > -1 \), \( \beta > -1 \)). Они определяются как ортогональные многочлены на отрезке \([-1, 1]\) с весовой функцией \( w(x) = (1 - x)^\alpha (1 + x)^\beta \).

Существует несколько эквивалентных способов задания многочленов Якоби: через формулу Родрига, рекуррентные соотношения, гипергеометрический ряд или дифференциальное уравнение.

Формула Родрига

Для многочленов Якоби справедлива обобщённая формула Родрига:

\[ P_n^{(\alpha, \beta)}(x) = \frac{(-1)^n}{2^n n!} (1 - x)^{-\alpha} (1 + x)^{-\beta} \frac{d^n}{dx^n} \left[ (1 - x)^{\alpha + n} (1 + x)^{\beta + n} \right]. \]

Эта формула является наиболее компактным аналитическим представлением.

Гипергеометрическое представление

Многочлены Якоби могут быть выражены через гипергеометрическую функцию Гаусса:

\[ P_n^{(\alpha, \beta)}(x) = \frac{(\alpha + 1)_n}{n!} \, {}_2F_1\!\left(-n, n + \alpha + \beta + 1; \alpha + 1; \frac{1 - x}{2}\right), \]

где \( (\cdot)_n \) — символ Похгаммера (растущий факториал). Это представление удобно для аналитических вычислений и обобщений.

Свойства

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

Многочлены Якоби образуют ортогональную систему на отрезке \([-1, 1]\) с весом \( w(x) = (1 - x)^\alpha (1 + x)^\beta \):

\[ \int_{-1}^{1} P_m^{(\alpha, \beta)}(x) P_n^{(\alpha, \beta)}(x) \, (1 - x)^\alpha (1 + x)^\beta \, dx = 0, \quad m \neq n. \]

Норма (квадрат нормы) многочлена \( P_n^{(\alpha, \beta)} \) равна:

\[ \|P_n^{(\alpha, \beta)}\|^2 = \frac{2^{\alpha + \beta + 1} \Gamma(n + \alpha + 1) \Gamma(n + \beta + 1)}{(2n + \alpha + \beta + 1) \, \Gamma(n + 1) \, \Gamma(n + \alpha + \beta + 1)}, \]

где \( \Gamma \) — гамма-функция.

Рекуррентные соотношения

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

\[ 2(n + 1)(n + \alpha + \beta + 1)(2n + \alpha + \beta) P_{n+1}^{(\alpha, \beta)}(x) = \] \[ = (2n + \alpha + \beta + 1) \left[ (2n + \alpha + \beta)(2n + \alpha + \beta + 2) x + \alpha^2 - \beta^2 \right] P_n^{(\alpha, \beta)}(x) - \] \[

• 2(n + \alpha)(n + \beta)(2n + \alpha + \beta + 2) P_{n-1}^{(\alpha, \beta)}(x).

\]

Это соотношение позволяет эффективно вычислять многочлены Якоби высоких степеней.

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

Многочлены Якоби являются решениями дифференциального уравнения второго порядка:

\[ (1 - x^2) y'' + \left[ \beta - \alpha - (\alpha + \beta + 2) x \right] y' + n (n + \alpha + \beta + 1) y = 0, \]

где \( y = P_n^{(\alpha, \beta)}(x) \). Это уравнение относится к типу гипергеометрических.

Симметрия

Многочлены Якоби обладают свойством симметрии относительно замены \( x \to -x \) и перестановки параметров:

\[ P_n^{(\alpha, \beta)}(-x) = (-1)^n P_n^{(\beta, \alpha)}(x). \]

Частные случаи

При определённых значениях параметров \( \alpha \) и \( \beta \) многочлены Якоби сводятся к другим известным ортогональным многочленам:

• Многочлены Лежандра: \( P_n^{(0, 0)}(x) = P_n(x) \).
• Многочлены Чебышёва первого рода: \( T_n(x) = \frac{2^{2n} (n!)^2}{(2n)!} P_n^{(-1/2, -1/2)}(x) \).
• Многочлены Чебышёва второго рода: \( U_n(x) = \frac{2^{2n} (n!)^2}{(2n+1)!} P_n^{(1/2, 1/2)}(x) \).
• Многочлены Гегенбауэра (ультрасферические): \( C_n^{(\lambda)}(x) = \frac{(2\lambda)_n}{(n + \lambda)_n} P_n^{(\lambda - 1/2, \lambda - 1/2)}(x) \).

Применение

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

Многочлены Якоби используются в квадратурных формулах Гаусса — Якоби для приближённого вычисления интегралов вида \( \int_{-1}^{1} f(x) (1 - x)^\alpha (1 + x)^\beta \, dx \). Узлами таких квадратур являются корни многочленов Якоби.

Теория аппроксимации

Благодаря свойству ортогональности, многочлены Якоби служат базисом для разложения функций в ряды (ряды Якоби). Это особенно полезно при аппроксимации функций с особенностями на концах интервала, так как весовая функция может компенсировать эти особенности.

Квантовая механика

В квантовой механике многочлены Якоби возникают при решении уравнения Шрёдингера для потенциалов, связанных с симметрией SO(3) (например, для сферических гармоник и волновых функций водородоподобных атомов в импульсном представлении).

Теория специальных функций

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

История

Многочлены Якоби были введены Карлом Густавом Якобом Якоби в 1827 году в его работе по теории ортогональных функций. Якоби изучал их в контексте решения дифференциальных уравнений и обобщения многочленов Лежандра. Впоследствии они были систематически исследованы в XIX веке такими математиками, как П. Л. Чебышёв, А. А. Марков и Ф. Г. Фробениус. В XX веке многочлены Якоби нашли широкое применение в вычислительной математике и физике.

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

• Многочлены Якоби могут быть обобщены на случай комплексных параметров \( \alpha \) и \( \beta \), хотя условия ортогональности при этом усложняются.
• Существуют дискретные аналоги многочленов Якоби — многочлены Хана, которые используются в комбинаторике и теории кодирования.
• Многочлены Якоби являются одним из немногих семейств ортогональных многочленов, для которых существует явная формула для корней (в общем случае они не выражаются в элементарных функциях).

Источники

• Szegő, G. Orthogonal Polynomials. — American Mathematical Society, 1939.
• Abramowitz, M., Stegun, I. A. Handbook of Mathematical Functions. — Dover, 1964.
• Якоби, К. Г. Я. О некоторых новых свойствах определённых интегралов (1827).
• Никифоров, А. Ф., Уваров, В. Б. Специальные функции математической физики. — М.: Наука, 1984.