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

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

$\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 ℓ$ : ^[1] $\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 до: $- ℓ \leq m \leq ℓ$ . Определения $P ℓ \pm m$ , полученные в результате замены $\pm 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).$

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

В литературе также используются следующие альтернативные обозначения: ^[2] $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 , таковы:

$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)$

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

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

Интеграл по произведению трех связанных полиномов Лежандра (с совпадением порядков, как показано ниже) является необходимым ингредиентом при преобразовании произведений полиномов Лежандра в ряд, линейный по полиномам Лежандра. Например, это оказывается необходимым при атомных вычислениях многообразия Хартри–Фока матричные элементы кулоновского оператора , где необходимы . Для этого у нас есть формула Гонта ^[3] ${\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}}$ Эту формулу следует использовать при следующих допущениях:

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

Остальные величины, входящие в формулу, определяются как $2s=l+m+n$ $p=\max(0,\,n-m-u)$ $q=\min(m+n-u,\,l-u,\,n-w)$

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

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

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

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

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

$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 , легко показать, что сферические гармоники удовлетворяют тождеству ^[5]

$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), существует много других групп Ли, и существуют аналогичные обобщения полиномов Лежандра для выражения симметрии полупростых групп Ли и римановых симметрических пространств . Грубо говоря, можно определить лапласиан на симметричных пространствах; собственные функции лапласиана можно рассматривать как обобщение сферических гармоник на другие условия.

См. также

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

^ Курант и Гильберт 1953 , V, §10.
^ Абрамовиц, Милтон ; Стегун, Ирен Энн , ред. (1983) [июнь 1964 г.]. «Глава 8» . Справочник по математическим функциям с формулами, графиками и математическими таблицами . Серия «Прикладная математика». Том. 55 (Девятое переиздание с дополнительными исправлениями десятого оригинального издания с исправлениями (декабрь 1972 г.); первое изд.). Вашингтон, округ Колумбия; Нью-Йорк: Министерство торговли США, Национальное бюро стандартов; Дуврские публикации. п. 332. ИСБН 978-0-486-61272-0 . LCCN 64-60036 . МР 0167642 . LCCN 65-12253 .
^ Из книги Джона К. Слейтера «Квантовая теория атомной структуры» , McGraw-Hill (Нью-Йорк, 1960), том I, стр. 309, где цитируется оригинальная работа Дж. А. Гонта, «Философские труды Лондонского королевского общества» , A228:151 ( 1929)
^ Донг Ш., Лемус Р., (2002), «Интеграл перекрытия трех связанных полиномов Лежандра» , Appl. Математика. Летт. 15, 541–546.
^ Это тождество также можно показать, связав сферические гармоники с D-матрицами Вигнера и используя свойство обращения времени последних. Тогда связь между ассоциированными функциями Лежандра от ± m можно доказать на основе тождества комплексного сопряжения сферических гармоник.

Арфкен, Великобритания; Вебер, 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.

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

[1] Курант и Гильберт 1953 , V, §10.

[2] Абрамовиц, Милтон ; Стегун, Ирен Энн , ред. (1983) [июнь 1964 г.]. «Глава 8» . Справочник по математическим функциям с формулами, графиками и математическими таблицами . Серия «Прикладная математика». Том. 55 (Девятое переиздание с дополнительными исправлениями десятого оригинального издания с исправлениями (декабрь 1972 г.); первое изд.). Вашингтон, округ Колумбия; Нью-Йорк: Министерство торговли США, Национальное бюро стандартов; Дуврские публикации. п. 332. ИСБН 978-0-486-61272-0 . LCCN 64-60036 . МР 0167642 . LCCN 65-12253 .

[3] Из книги Джона К. Слейтера «Квантовая теория атомной структуры» , McGraw-Hill (Нью-Йорк, 1960), том I, стр. 309, где цитируется оригинальная работа Дж. А. Гонта, «Философские труды Лондонского королевского общества» , A228:151 ( 1929)

[4] Донг Ш., Лемус Р., (2002), «Интеграл перекрытия трех связанных полиномов Лежандра» , Appl. Математика. Летт. 15, 541–546.

[5] Это тождество также можно показать, связав сферические гармоники с D-матрицами Вигнера и используя свойство обращения времени последних. Тогда связь между ассоциированными функциями Лежандра от ± m можно доказать на основе тождества комплексного сопряжения сферических гармоник.

[1]

[2]

[3]

[4]

[5]

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