§ 2. Ортогональность сферических функций
Покажем, что построенные в предыдущем параграфе сферические функции ортогональны на поверхности 2 любого шара с центром в начале координат, т. е. интеграл от произведения двух различных функций (19) по поверхности
равен нулю. Начнем со сферических функций разных порядков. Пусть
две такие функции. Функции
гармоничны в любой ограниченной окрестности начала координат. Действительно, они регулярны в любой конечной области, а согласно формуле (5) (при
) удовлетворяют уравнению
Лапласа. Поэтому в силу формулы Грина (7) гл. XIX:
В данном случае дифференцирование по нормали к 2 совпадает с дифференцированием по
Поэтому
а так как
то
Переходя к сферическим функциям (19) одного порядка, заметим, что интеграл по поверхности 2 можно представить в виде повторного интеграла, содержащего интегрирование по
в пределах от
до
Но в функции (19) одного порядка угол
входит посредством множителей
образующих в промежутке
ортогональную систему. Поэтому интеграл в пределах от
до
от произведения любой пары из них равен нулю. Следовательно, равен нулю и интеграл по
.
Укажем без вывода интегралы от квадратов сферических функций:
где
радиус шаровой поверхности
.
Установим, наконец, интегральные формулы, содержащие произвольную сферическую функцию и полином Лежандра.
Пусть
, как и выше, шаровая поверхность с центром в начале координат,
точка внутри
. Применив к гармонической функции
формулу (44) гл. XIX, получим
где
- расстояние между точкой х и переменной точкой
на
. В рассматриваемом случае:
где у — переменный угол между радиусами-векторами точек х и Разложим функцию
в равномерно сходящийся ряд:
и заметим, что на
:
В силу этих соотношений:
Подставив это выражение в формулу Грина, получим:
Интегрируя почленно равномерно сходящийся ряд в правой части этого соотношения, придем к ряду
коэффициенты которого
не зависят ни от
ни от
поскольку отношение остается инвариантным при изменении
Сравнив коэффициенты при одинаковых степенях отношений в ряде (21) и приняв во внимание формулу (22), придем к формулам: