7.6. ФУНКЦИИ ЛЕЖАНДРА
7.6.1. Введение.
Мы уже встречали (пп. 6.3.8 и 6.3.11) следующие дифференциальные уравнения:
Заменой переменных 
эти уравнения сводятся к виду
или, в более общей форме,
где постоянные 
могут быть отличны от целого числа. При 
дифференциальное уравнение (98) сведется к
Это дифференциальное уравнение Лежандра. Его решения называются функциями Лежандра (сферическими функциями Лежандра). Решения более общего уравнения (98) называются присоединенными функциями Лежандра (присоединенными сферическими функциями). Рассмотрим сначала сферические функции Лежандра.
Замечание. Если решение уравнения (98), то функции 
также являются его решениями. Если 
решение (99), то 
также его решение. Это замечание позволяет уменьшить диапазон изменения параметров.
7.6.2. Разложения в степенные ряды.
Попробуем найти решение уравнения (99) в виде обобщенного степенного ряда по возрастающим степеням переменной 
Подставим этот ряд в (99) и приравняем нулю коэффициенты при различных степенях z. Так как А неотрицательно, то наименьший показатель степени z равен 
Имеем
Пусть 
Тогда коэффициенты 
становятся произвольными и
Отсюда
Перепишем разложения (101) и (102), используя обозначения для гипергеометрических рядов (см. пример п. 6.2.10). Тогда общее решение уравнения (99) примет вид
Отношение двух последовательных членов каждого из рядов (101) и (102) равно
Выражение, связывающее 
с показывает, что отношение 
при
бесконечно возрастающем X стремится к единице. Значит, ряды (101) и (102) сходятся в интервале 
и дают в нем решения уравнения (99). Этот интервал особенно важен, так как часто переменная z представляет косинус полюсного углового расстояния между точками в сферических координатах:
Вернемся к соотношениям (100). Они удовлетворяются также при 
произвольно) и 
произвольно). Легко заметить, что эти условия приводят к разложениям, полученным выше.
Попробуем теперь представить решение дифференциального уравнения (99) с помощью разложения в ряд по убывающим степеням переменной. Подставим для этого в (99) ряд
и приравняем нулю коэффициенты при различных степенях z. Учитывая, что наивысший показатель степени z равен 
получаем
Возьмем 
и произвольное 
Получаем ряд
Возьмем 
и произвольное 
Получаем ряд
Ряды (103) и (104) определяют частные решения (99), сходящиеся при 
