Связанные полиномы Лежандра

В математике соответствующие полиномы Лежандра являются каноническими решениями общего уравнения Лежандра.

$$\left(1-x^{2}\right){\frac {d^{2}}{dx^{2}}}P_{\ell }^{m}(x)-2x{\frac {d}{dx}}P_{\ell }^{m}(x)+\left[\ell (\ell +1)-{\frac {m^{2}}{1-x^{2}}}\right]P_{\ell }^{m}(x)=0,$$

или эквивалентно

$${\frac {d}{dx}}\left[\left(1-x^{2}\right){\frac {d}{dx}}P_{\ell }^{m}(x)\right]+\left[\ell (\ell +1)-{\frac {m^{2}}{1-x^{2}}}\right]P_{\ell }^{m}(x)=0,$$

где индексы ℓ и m (которые являются целыми числами) называются степенью и порядком соответствующего полинома Лежандра соответственно. Это уравнение имеет ненулевые решения, которые не являются сингулярными на [−1, 1] только в том случае, если ℓ и m являются целыми числами с 0 ≤ m ≤ ℓ или с тривиально эквивалентными отрицательными значениями. Если, кроме того , m четно, функция является полиномом . Когда m равно нулю и ℓ целое число, эти функции идентичны полиномам Лежандра . В общем, когда ℓ и m являются целыми числами, регулярные решения иногда называют «ассоциированными полиномами Лежандра», даже если они не являются полиномами, когда m нечетно. Полностью общий класс функций с произвольными вещественными или комплексными значениями ℓ и m — это функции Лежандра . В этом случае параметры обычно обозначаются греческими буквами.

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

Определение неотрицательных целочисленных параметров ℓ и m

Эти функции обозначаются $P_{\ell }^{m}(x)$, где верхний индекс указывает порядок, а не степень P . Их наиболее простое определение заключается в терминахпроизводных обычных полиномов Лежандра ( m ≥ 0)

$$P_{\ell }^{m}(x)=(-1)^{m}(1-x^{2})^{m/2}{\frac {d^{m}}{dx^{m}}}\left(P_{\ell }(x)\right),$$

( −1 ) ^м Фактор в этой формуле известен как фаза Кондона – Шортли . Некоторые авторы опускают его. То, что функции, описываемые этим уравнением, удовлетворяют общему дифференциальному уравнению Лежандра с указанными значениями параметров ℓ и m, следует путем дифференцирования в m раз уравнения Лежандра для P _ℓ :

$$\left(1-x^{2}\right){\frac {d^{2}}{dx^{2}}}P_{\ell }(x)-2x{\frac {d}{dx}}P_{\ell }(x)+\ell (\ell +1)P_{\ell }(x)=0.$$

Более того, поскольку по Родригеса формуле

$$P_{\ell }(x)={\frac {1}{2^{\ell }\,\ell !}}\ {\frac {d^{\ell }}{dx^{\ell }}}\left[(x^{2}-1)^{\ell }\right],$$

П ​ ^м
_ℓ можно выразить в виде

$$P_{\ell }^{m}(x)={\frac {(-1)^{m}}{2^{\ell }\ell !}}(1-x^{2})^{m/2}\ {\frac {d^{\ell +m}}{dx^{\ell +m}}}(x^{2}-1)^{\ell }.$$

Это уравнение позволяет расширить диапазон m до: − ℓ ≤ m ≤ ℓ . Определения P _ℓ ^{± m} , полученные в результате замены ± m , пропорциональны. Действительно, приравняем коэффициенты при равных степенях в левой и правой частях

$${\frac {d^{\ell -m}}{dx^{\ell -m}}}(x^{2}-1)^{\ell }=c_{lm}(1-x^{2})^{m}{\frac {d^{\ell +m}}{dx^{\ell +m}}}(x^{2}-1)^{\ell },$$

то отсюда следует, что константа пропорциональности равна

$$c_{lm}=(-1)^{m}{\frac {(\ell -m)!}{(\ell +m)!}},$$

так что

$$P_{\ell }^{-m}(x)=(-1)^{m}{\frac {(\ell -m)!}{(\ell +m)!}}P_{\ell }^{m}(x).$$

Альтернативные обозначения

В литературе также используются следующие альтернативные обозначения:

$$P_{\ell m}(x)=(-1)^{m}P_{\ell }^{m}(x)$$

Закрытая форма

Связанный полином Лежандра также можно записать как:

$$P_{l}^{m}(x)=(-1)^{m}\cdot 2^{l}\cdot (1-x^{2})^{m/2}\cdot \sum _{k=m}^{l}{\frac {k!}{(k-m)!}}\cdot x^{k-m}\cdot {\binom {l}{k}}{\binom {\frac {l+k-1}{2}}{l}}$$

с простыми мономами и обобщенной формой биномиального коэффициента .

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

Соответствующие полиномы Лежандра вообще не являются взаимно ортогональными. Например, $P_{1}^{1}$ не ортогонально $P_{2}^{2}$. Однако некоторые подмножества ортогональны. Полагая 0 ≤ m ≤ ℓ , они удовлетворяют условию ортогональности при фиксированном m :

$$\int _{-1}^{1}P_{k}^{m}P_{\ell }^{m}dx={\frac {2(\ell +m)!}{(2\ell +1)(\ell -m)!}}\ \delta _{k,\ell }$$

Где δk _{ℓ , .} — дельта Кронекера

Кроме того, они удовлетворяют условию ортогональности при фиксированном ℓ :

$$\int _{-1}^{1}{\frac {P_{\ell }^{m}P_{\ell }^{n}}{1-x^{2}}}dx={\begin{cases}0&{\text{if }}m\neq n\\{\frac {(\ell +m)!}{m(\ell -m)!}}&{\text{if }}m=n\neq 0\\\infty &{\text{if }}m=n=0\end{cases}}$$

Отрицательный м и/или отрицательный ℓ

Дифференциальное уравнение, очевидно, инвариантно относительно изменения знака m .

Выше было показано, что функции для отрицательных m пропорциональны функциям для положительных m :

$$P_{\ell }^{-m}=(-1)^{m}{\frac {(\ell -m)!}{(\ell +m)!}}P_{\ell }^{m}$$

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

$${\text{If}}\quad |m|>\ell \,\quad {\text{then}}\quad P_{\ell }^{m}=0.\,$$

Дифференциальное уравнение также инвариантно при изменении от ℓ к − ℓ − 1 , а функции для отрицательных ℓ определяются формулой

$$P_{-\ell }^{m}=P_{\ell -1}^{m},\ (\ell =1,\,2,\,\dots ).$$

Паритет

Из их определения можно убедиться, что ассоциированные функции Лежандра либо четные, либо нечетные в соответствии с

$$P_{\ell }^{m}(-x)=(-1)^{\ell -m}P_{\ell }^{m}(x)$$

Первые несколько связанных функций Лежандра

Соответствующие функции Лежандра для m = 0

Соответствующие функции Лежандра для m = 1

Соответствующие функции Лежандра для m = 2

Первые несколько связанных функций Лежандра, в том числе для отрицательных значений m , таковы:

$$P_{0}^{0}(x)=1$$

$${\begin{aligned}P_{1}^{-1}(x)&=-{\tfrac {1}{2}}P_{1}^{1}(x)\\P_{1}^{0}(x)&=x\\P_{1}^{1}(x)&=-(1-x^{2})^{1/2}\end{aligned}}$$

$${\begin{aligned}P_{2}^{-2}(x)&={\tfrac {1}{24}}P_{2}^{2}(x)\\P_{2}^{-1}(x)&=-{\tfrac {1}{6}}P_{2}^{1}(x)\\P_{2}^{0}(x)&={\tfrac {1}{2}}(3x^{2}-1)\\P_{2}^{1}(x)&=-3x(1-x^{2})^{1/2}\\P_{2}^{2}(x)&=3(1-x^{2})\end{aligned}}$$

$${\begin{aligned}P_{3}^{-3}(x)&=-{\tfrac {1}{720}}P_{3}^{3}(x)\\P_{3}^{-2}(x)&={\tfrac {1}{120}}P_{3}^{2}(x)\\P_{3}^{-1}(x)&=-{\tfrac {1}{12}}P_{3}^{1}(x)\\P_{3}^{0}(x)&={\tfrac {1}{2}}(5x^{3}-3x)\\P_{3}^{1}(x)&={\tfrac {3}{2}}(1-5x^{2})(1-x^{2})^{1/2}\\P_{3}^{2}(x)&=15x(1-x^{2})\\P_{3}^{3}(x)&=-15(1-x^{2})^{3/2}\end{aligned}}$$

$${\begin{aligned}P_{4}^{-4}(x)&={\tfrac {1}{40320}}P_{4}^{4}(x)\\P_{4}^{-3}(x)&=-{\tfrac {1}{5040}}P_{4}^{3}(x)\\P_{4}^{-2}(x)&={\tfrac {1}{360}}P_{4}^{2}(x)\\P_{4}^{-1}(x)&=-{\tfrac {1}{20}}P_{4}^{1}(x)\\P_{4}^{0}(x)&={\tfrac {1}{8}}(35x^{4}-30x^{2}+3)\\P_{4}^{1}(x)&=-{\tfrac {5}{2}}(7x^{3}-3x)(1-x^{2})^{1/2}\\P_{4}^{2}(x)&={\tfrac {15}{2}}(7x^{2}-1)(1-x^{2})\\P_{4}^{3}(x)&=-105x(1-x^{2})^{3/2}\\P_{4}^{4}(x)&=105(1-x^{2})^{2}\end{aligned}}$$

Формула повторения

Эти функции имеют ряд свойств повторения:

$$(\ell -m-1)(\ell -m)P_{\ell }^{m}(x)=-P_{\ell }^{m+2}(x)+P_{\ell -2}^{m+2}(x)+(\ell +m)(\ell +m-1)P_{\ell -2}^{m}(x)$$

$$(\ell -m+1)P_{\ell +1}^{m}(x)=(2\ell +1)xP_{\ell }^{m}(x)-(\ell +m)P_{\ell -1}^{m}(x)$$

$$2mxP_{\ell }^{m}(x)=-{\sqrt {1-x^{2}}}\left[P_{\ell }^{m+1}(x)+(\ell +m)(\ell -m+1)P_{\ell }^{m-1}(x)\right]$$

$${\frac {1}{\sqrt {1-x^{2}}}}P_{\ell }^{m}(x)={\frac {-1}{2m}}\left[P_{\ell -1}^{m+1}(x)+(\ell +m-1)(\ell +m)P_{\ell -1}^{m-1}(x)\right]$$

$${\frac {1}{\sqrt {1-x^{2}}}}P_{\ell }^{m}(x)={\frac {-1}{2m}}\left[P_{\ell +1}^{m+1}(x)+(\ell -m+1)(\ell -m+2)P_{\ell +1}^{m-1}(x)\right]$$

$${\sqrt {1-x^{2}}}P_{\ell }^{m}(x)={\frac {1}{2\ell +1}}\left[(\ell -m+1)(\ell -m+2)P_{\ell +1}^{m-1}(x)-(\ell +m-1)(\ell +m)P_{\ell -1}^{m-1}(x)\right]$$

$${\sqrt {1-x^{2}}}P_{\ell }^{m}(x)={\frac {-1}{2\ell +1}}\left[P_{\ell +1}^{m+1}(x)-P_{\ell -1}^{m+1}(x)\right]$$

$${\sqrt {1-x^{2}}}P_{\ell }^{m+1}(x)=(\ell -m)xP_{\ell }^{m}(x)-(\ell +m)P_{\ell -1}^{m}(x)$$

$${\sqrt {1-x^{2}}}P_{\ell }^{m+1}(x)=(\ell -m+1)P_{\ell +1}^{m}(x)-(\ell +m+1)xP_{\ell }^{m}(x)$$

$${\sqrt {1-x^{2}}}{\frac {d}{dx}}{P_{\ell }^{m}}(x)={\frac {1}{2}}\left[(\ell +m)(\ell -m+1)P_{\ell }^{m-1}(x)-P_{\ell }^{m+1}(x)\right]$$

$$(1-x^{2}){\frac {d}{dx}}{P_{\ell }^{m}}(x)={\frac {1}{2\ell +1}}\left[(\ell +1)(\ell +m)P_{\ell -1}^{m}(x)-\ell (\ell -m+1)P_{\ell +1}^{m}(x)\right]$$

$$(x^{2}-1){\frac {d}{dx}}{P_{\ell }^{m}}(x)={\ell }xP_{\ell }^{m}(x)-(\ell +m)P_{\ell -1}^{m}(x)$$

$$(x^{2}-1){\frac {d}{dx}}{P_{\ell }^{m}}(x)=-(\ell +1)xP_{\ell }^{m}(x)+(\ell -m+1)P_{\ell +1}^{m}(x)$$

$$(x^{2}-1){\frac {d}{dx}}{P_{\ell }^{m}}(x)={\sqrt {1-x^{2}}}P_{\ell }^{m+1}(x)+mxP_{\ell }^{m}(x)$$

$$(x^{2}-1){\frac {d}{dx}}{P_{\ell }^{m}}(x)=-(\ell +m)(\ell -m+1){\sqrt {1-x^{2}}}P_{\ell }^{m-1}(x)-mxP_{\ell }^{m}(x)$$

Полезные тождества (начальные значения для первой рекурсии):

$$P_{\ell +1}^{\ell +1}(x)=-(2\ell +1){\sqrt {1-x^{2}}}P_{\ell }^{\ell }(x)$$

$$P_{\ell }^{\ell }(x)=(-1)^{\ell }(2\ell -1)!!(1-x^{2})^{(\ell /2)}$$

$$P_{\ell +1}^{\ell }(x)=x(2\ell +1)P_{\ell }^{\ell }(x)$$

с !! двойной факториал .

Формула Гаунта

Интеграл по произведению трех связанных полиномов Лежандра (с совпадением порядков, как показано ниже) является необходимым ингредиентом при преобразовании произведений полиномов Лежандра в ряд, линейный по полиномам Лежандра. Например, это оказывается необходимым при атомных вычислениях многообразия Хартри–Фока матричные элементы кулоновского оператора , где необходимы . Для этого у нас есть формула Гонта

$${\begin{aligned}{\frac {1}{2}}\int _{-1}^{1}P_{l}^{u}(x)P_{m}^{v}(x)P_{n}^{w}(x)dx={}&{}(-1)^{s-m-w}{\frac {(m+v)!(n+w)!(2s-2n)!s!}{(m-v)!(s-l)!(s-m)!(s-n)!(2s+1)!}}\\&{}\times \ \sum _{t=p}^{q}(-1)^{t}{\frac {(l+u+t)!(m+n-u-t)!}{t!(l-u-t)!(m-n+u+t)!(n-w-t)!}}\end{aligned}}$$

Эту формулу следует использовать при следующих допущениях:

1. степени являются неотрицательными целыми числами $l,m,n\geq 0$
2. все три порядка являются неотрицательными целыми числами $u,v,w\geq 0$
3. $u$ является крупнейшим из трёх порядков
4. заказы суммируются $u=v+w$
5. степени подчиняются $m\geq n$

Остальные величины, входящие в формулу, определяются как

$$2s=l+m+n$$

$$p=\max(0,\,n-m-u)$$

$$q=\min(m+n-u,\,l-u,\,n-w)$$

Интеграл равен нулю, если

1. сумма степеней четна, так что $s$ целое число
2. условие треугольника выполнено $m+n\geq l\geq m-n$

Донг и Лемус (2002) обобщил вывод этой формулы на интегралы по произведению произвольного числа ассоциированных полиномов Лежандра.

Обобщение с помощью гипергеометрических функций

Основная статья: функция Лежандра

Эти функции на самом деле могут быть определены для общих комплексных параметров и аргументов:

$$P_{\lambda }^{\mu }(z)={\frac {1}{\Gamma (1-\mu )}}\left[{\frac {1+z}{1-z}}\right]^{\mu /2}\,_{2}F_{1}(-\lambda ,\lambda +1;1-\mu ;{\frac {1-z}{2}})$$

где $\Gamma$ и функция гамма - $_{2}F_{1}$ это гипергеометрическая функция

$$\,_{2}F_{1}(\alpha ,\beta ;\gamma ;z)={\frac {\Gamma (\gamma )}{\Gamma (\alpha )\Gamma (\beta )}}\sum _{n=0}^{\infty }{\frac {\Gamma (n+\alpha )\Gamma (n+\beta )}{\Gamma (n+\gamma )\ n!}}z^{n},$$

они называются функциями Лежандра В более общем смысле . Они удовлетворяют тому же дифференциальному уравнению, что и раньше:

$$(1-z^{2})\,y''-2zy'+\left(\lambda [\lambda +1]-{\frac {\mu ^{2}}{1-z^{2}}}\right)\,y=0.\,$$

Поскольку это дифференциальное уравнение второго порядка, оно имеет второе решение: $Q_{\lambda }^{\mu }(z)$, определяемый как:

$$Q_{\lambda }^{\mu }(z)={\frac {{\sqrt {\pi }}\ \Gamma (\lambda +\mu +1)}{2^{\lambda +1}\Gamma (\lambda +3/2)}}{\frac {1}{z^{\lambda +\mu +1}}}(1-z^{2})^{\mu /2}\,_{2}F_{1}\left({\frac {\lambda +\mu +1}{2}},{\frac {\lambda +\mu +2}{2}};\lambda +{\frac {3}{2}};{\frac {1}{z^{2}}}\right)$$

$P_{\lambda }^{\mu }(z)$ и $Q_{\lambda }^{\mu }(z)$ оба подчиняются различным рекуррентным формулам, приведенным ранее.

Репараметризация в терминах углов

Эти функции наиболее полезны, когда аргумент перепараметризуется в терминах углов, позволяя $x=\cos \theta$:

$$P_{\ell }^{m}(\cos \theta )=(-1)^{m}(\sin \theta )^{m}\ {\frac {d^{m}}{d(\cos \theta )^{m}}}\left(P_{\ell }(\cos \theta )\right)$$

Используя соотношение $(1-x^{2})^{1/2}=\sin \theta$, приведенный выше список дает первые несколько полиномов, параметризованных следующим образом:

$${\begin{aligned}P_{0}^{0}(\cos \theta )&=1\\[8pt]P_{1}^{0}(\cos \theta )&=\cos \theta \\[8pt]P_{1}^{1}(\cos \theta )&=-\sin \theta \\[8pt]P_{2}^{0}(\cos \theta )&={\tfrac {1}{2}}(3\cos ^{2}\theta -1)\\[8pt]P_{2}^{1}(\cos \theta )&=-3\cos \theta \sin \theta \\[8pt]P_{2}^{2}(\cos \theta )&=3\sin ^{2}\theta \\[8pt]P_{3}^{0}(\cos \theta )&={\tfrac {1}{2}}(5\cos ^{3}\theta -3\cos \theta )\\[8pt]P_{3}^{1}(\cos \theta )&=-{\tfrac {3}{2}}(5\cos ^{2}\theta -1)\sin \theta \\[8pt]P_{3}^{2}(\cos \theta )&=15\cos \theta \sin ^{2}\theta \\[8pt]P_{3}^{3}(\cos \theta )&=-15\sin ^{3}\theta \\[8pt]P_{4}^{0}(\cos \theta )&={\tfrac {1}{8}}(35\cos ^{4}\theta -30\cos ^{2}\theta +3)\\[8pt]P_{4}^{1}(\cos \theta )&=-{\tfrac {5}{2}}(7\cos ^{3}\theta -3\cos \theta )\sin \theta \\[8pt]P_{4}^{2}(\cos \theta )&={\tfrac {15}{2}}(7\cos ^{2}\theta -1)\sin ^{2}\theta \\[8pt]P_{4}^{3}(\cos \theta )&=-105\cos \theta \sin ^{3}\theta \\[8pt]P_{4}^{4}(\cos \theta )&=105\sin ^{4}\theta \end{aligned}}$$

Приведенные выше соотношения ортогональности в этой формулировке принимают вид:для фиксированного м , $P_{\ell }^{m}(\cos \theta )$ ортогональны, параметризованы θ по $[0,\pi ]$, с весом $\sin \theta$:

$$\int _{0}^{\pi }P_{k}^{m}(\cos \theta )P_{\ell }^{m}(\cos \theta )\,\sin \theta \,d\theta ={\frac {2(\ell +m)!}{(2\ell +1)(\ell -m)!}}\ \delta _{k,\ell }$$

Кроме того, для фиксированного ℓ :

$$\int _{0}^{\pi }P_{\ell }^{m}(\cos \theta )P_{\ell }^{n}(\cos \theta )\csc \theta \,d\theta ={\begin{cases}0&{\text{if }}m\neq n\\{\frac {(\ell +m)!}{m(\ell -m)!}}&{\text{if }}m=n\neq 0\\\infty &{\text{if }}m=n=0\end{cases}}$$

С точки зрения θ, $P_{\ell }^{m}(\cos \theta )$ являются решениями

$${\frac {d^{2}y}{d\theta ^{2}}}+\cot \theta {\frac {dy}{d\theta }}+\left[\lambda -{\frac {m^{2}}{\sin ^{2}\theta }}\right]\,y=0\,$$

Точнее, если задано целое число m $\geq$0, приведенное выше уравнение имеетневырожденные решения только тогда, когда $\lambda =\ell (\ell +1)\,$ за ℓ целое число ≥ m , и эти решения пропорциональны $P_{\ell }^{m}(\cos \theta )$.

в физике:

Основная статья: Сферические гармоники

Во многих случаях в физике связанные полиномы Лежандра в терминах углов встречаются там, где сферическая симметрия задействована . Угол широты в сферических координатах равенугол $\theta$ использовано выше. Угол долготы, $\phi$, появляется в повышающем коэффициенте. Вместе они образуют набор функций, называемых сферическими гармониками . Эти функции выражают симметрию двухсферы под действием группы Ли SO(3).

Полезность этих функций заключается в том, что они играют центральную роль в решении уравнения $\nabla ^{2}\psi +\lambda \psi =0$ на поверхности сферы. В сферических координатах θ (широта) и φ (долгота) лапласиан равен

$$\nabla ^{2}\psi ={\frac {\partial ^{2}\psi }{\partial \theta ^{2}}}+\cot \theta {\frac {\partial \psi }{\partial \theta }}+\csc ^{2}\theta {\frac {\partial ^{2}\psi }{\partial \phi ^{2}}}.$$

Когда уравнение в частных производных

$${\frac {\partial ^{2}\psi }{\partial \theta ^{2}}}+\cot \theta {\frac {\partial \psi }{\partial \theta }}+\csc ^{2}\theta {\frac {\partial ^{2}\psi }{\partial \phi ^{2}}}+\lambda \psi =0$$

решается методом разделения переменных , получается зависящая от φ часть $\sin(m\phi )$ или $\cos(m\phi )$ для целого числа m≥0 и уравнение для зависящей от θ части

$${\frac {d^{2}y}{d\theta ^{2}}}+\cot \theta {\frac {dy}{d\theta }}+\left[\lambda -{\frac {m^{2}}{\sin ^{2}\theta }}\right]\,y=0\,$$

для которых есть решения $P_{\ell }^{m}(\cos \theta )$ с $\ell {\geq }m$и $\lambda =\ell (\ell +1)$.

Следовательно, уравнение

$$\nabla ^{2}\psi +\lambda \psi =0$$

имеет невырожденные разделенные решения только тогда, когда $\lambda =\ell (\ell +1)$,и эти решения пропорциональны

$$P_{\ell }^{m}(\cos \theta )\ \cos(m\phi )\ \ \ \ 0\leq m\leq \ell$$

и

$$P_{\ell }^{m}(\cos \theta )\ \sin(m\phi )\ \ \ \ 0<m\leq \ell .$$

Для каждого выбора ℓ существует 2ℓ + 1 функциядля различных значений m и выбора синуса и косинуса.Все они ортогональны как по ℓ, так и по m при интегрировании поповерхность сферы.

Решения обычно записываются в виде комплексных экспонент :

$$Y_{\ell ,m}(\theta ,\phi )={\sqrt {\frac {(2\ell +1)(\ell -m)!}{4\pi (\ell +m)!}}}\ P_{\ell }^{m}(\cos \theta )\ e^{im\phi }\qquad -\ell \leq m\leq \ell .$$

Функции $Y_{\ell ,m}(\theta ,\phi )$ – сферические гармоники , а величина в квадратном корне – нормирующий коэффициент.Вспоминая связь между соответствующими функциями Лежандра положительных и отрицательных m , легко показать, что сферические гармоники удовлетворяют тождеству

$$Y_{\ell ,m}^{*}(\theta ,\phi )=(-1)^{m}Y_{\ell ,-m}(\theta ,\phi ).$$

Сферические гармонические функции образуют полный ортонормированный набор функций в смысле рядов Фурье . Работники в области геодезии, геомагнетизма и спектрального анализа используют другую фазу и коэффициент нормализации, чем указано здесь (см. Сферические гармоники ).

При решении трехмерного сферически-симметричного уравнения в частных производных методом разделения переменных в сферических координатах та часть, которая остается после удаления радиальной части, обычно равнаформы

$$\nabla ^{2}\psi (\theta ,\phi )+\lambda \psi (\theta ,\phi )=0,$$

и, следовательно, решения представляют собой сферические гармоники.

Обобщения

Полиномы Лежандра тесно связаны с гипергеометрическими рядами . В виде сферических гармоник они выражают симметрию двухсферы под действием группы Ли SO(3). Помимо SO(3), существует много других групп Ли, и существуют аналогичные обобщения полиномов Лежандра для выражения симметрии полупростых групп Ли и римановых симметрических пространств . Грубо говоря, можно определить лапласиан на симметричных пространствах; собственные функции лапласиана можно рассматривать как обобщение сферических гармоник на другие условия.

См. также

• Угловой момент
• Гауссова квадратура
• Полиномы Лежандра
• Сферические гармоники
• Преобразование Уиппла функций Лежандра
• Полиномы Лагерра
• Полиномы Эрмита

Примечания и ссылки

• Арфкен, Великобритания; Вебер, HJ (2001), Математические методы для физиков , Academic Press, ISBN  978-0-12-059825-0 ; Раздел 12.5. (Используется другое соглашение о знаках.)
• Белоусов С.Л. (1962), Таблицы нормированных ассоциированных полиномов Лежандра , Математические таблицы, вып. 18, Пергамон Пресс .
• Кондон, ЕС; Шортли, GH (1970), Теория атомных спектров , Кембридж, Англия: Издательство Кембриджского университета, OCLC   5388084 ; Глава 3.
• Курант, Ричард ; Гильберт, Дэвид (1953), Методы математической физики, Том 1 , Нью-Йорк: Interscience Publishischer, Inc.
• Данстер, Т.М. (2010), «Лежандр и родственные функции» , в Олвере, Фрэнке У.Дж .; Лозье, Дэниел М.; Буасверт, Рональд Ф.; Кларк, Чарльз В. (ред.), Справочник NIST по математическим функциям , издательство Кембриджского университета, ISBN  978-0-521-19225-5 , МР   2723248 .
• Эдмондс, А.Р. (1957), Угловой момент в квантовой механике , Princeton University Press, ISBN  978-0-691-07912-7 ; Глава 2.
• Хильдебранд, FB (1976), Расширенное исчисление для приложений , Прентис Холл, ISBN  978-0-13-011189-0 .
• Коорнвиндер, Том Х.; Вонг, Родерик СК; Кукук, Рулоф; Свартау, Рене Ф. (2010), «Ортогональные полиномы» , в Олвере, Фрэнке В.Дж .; Лозье, Дэниел М.; Буасверт, Рональд Ф.; Кларк, Чарльз В. (ред.), Справочник NIST по математическим функциям , издательство Кембриджского университета, ISBN  978-0-521-19225-5 , МР   2723248 .
• Шах, С.Р. (1973) Новые тождества для связанных по Лежандру функций целого порядка и степени , Журнал Общества промышленной и прикладной математики по математическому анализу, 1976, Vol. 7, № 1: стр. 59–69.

Внешние ссылки

• Связанные полиномы Лежандра в MathWorld
• Полиномы Лежандра в MathWorld
• Лежандр и связанные функции в DLMF