Представление в виде полинома

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

(6.96)

выражаем через полином. Используем бином Ньютона

1. Получаем

,

.

Подстановка в (6.96) дает первую полиномиальную форму

. (6.98)

Следовательно, n – порядок полинома.

2. Преобразуем

,

используем бином Ньютона

тогда

,

.

Из

(6.96)

находим

.

Замена дает вторую полиномиальную форму

. (6.99)

Из (6.99) находим значения полинома на краях области определения

, . (6.100)

Полиномы низших порядков

Из

, (6.96)

(6.98)

находим

,

,

,

,

.

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

Используем производящую функцию

, (6.101)

. (6.102)

1. Дифференцируем (6.101) по x, получаем

.

Подставляем (6.102)

,

приравниваем коэффициенты при

,

получаем

. (6.103)

2. Дифференцируем (6.101) по t

.

Подставляем (6.102)

.

Коэффициенты при t ⁿ

,

получаем

. (6.104)

Дифференцируем (6.104)

.

4. Исключаем из последнего соотношения и (6.103)

. (6.105)

5. Аналогично исключаем

. (6.106)

6. В (6.106) заменяем

.

Исключаем с помощью (6.105)

, (6.107)

Складываем (6.106) и (6.105)

. (6.110)

Разложение функции по полиномам Лежандра

Если определена при , тогда

. (6.113)

Умножает (6.113) на , результат интегрируем по интервалу и учитываем

. (6.112)

После замены получаем коэффициент

.

Подставляем

, (6.96)

и интегрируем по частям n раз

. (6.114)

Соотношение Лежандра

, (П.6.4)

где ; q – угол между векторами r и r₀. Используется в теории электромагнитного поля.

Доказательство:

Учитываем

.

Замена , дает

.

Сравниваем с производящей функцией полиномов Лежандра

, (6.101)

. (6.102)

Находим

.

Замена и дает

, (П.6.4)

При заменяем в (П.6.4)

. (П.6.4а).

Разложение потенциала диполя по мультиполям

Потенциал в СГС поля диполя в точке A

.

При разложение

, (П.6.6)

где – мультиполя,

Доказательство:

Из рисунка

, ,

тогда

, .

Используем

, (П.6.4)

.

Вычитаем друг из друга последние выражения. Четные слагаемые сокращаются, нечетные слагаемые удваиваются, и получаем (П.6.6).

При главный вклад вносит первое слагаемое, тогда

, (П.6.7)

где ; – дипольный момент.

Присоединенные функции Лежандра

, ; ;

Входят в состав сферических функций, описывающих угловую зависимость состояния объекта в сферической системе координат , и являющихся собственными функциями оператора момента импульса. Число n связано с модулем момента импульса, m – с его проекцией на ось z. Проекция вектора не может быть больше его модуля, поэтому , для проекции возможны положительные и отрицательные значения.

Уравнение с аргументом x

(6.115)

При получаем уравнение Лежандра

, (6.93)

тогда

.

Уравнение с угловым аргументом

Учитываем

,

заменяем

, , ,

для выполняется

. (6.116)

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

1. Первая форма для

(6.117)

При четном – полином,

при нечетном – функция,

при

.

Учитывая

, (6.96)

из (6.117) находим связь с полиномом Лежандра

. (6.118)

2. Вторая форма для

. (6.119)

3. Третья форма для . Используем

, (6.117)

заменяем

,

сравниваем с (6.119) и получаем соотношение между функциями с положительным и отрицательным m

, . (6.120)

Низшие порядки

Используем

, (6.117)

, (6.119)

находим выражения для функций низших порядков:

;

, , ;

, , ;

, ;

;

свойство четности и частные выражения:

;

при ,

;

.

Выражение в виде ряда

Используем

, (6.118)

. (6.98)

Учитываем

,

получаем

. (6.121)

Ортонормированность

Одинаковые верхние индексы

. (6.123)

Одинаковые нижние индексы

. (6.124)

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

1. Дифференцируем раз

, (6.110)

находим

,

умножаем результат на , сравниваем с (6.118)

и получаем

. (6.125)

2. Дифференцируем m раз

, (6.104)

находим

,

из формулы Лейбница

,

тогда получаем

.

Результат умножаем на , используем

, (6.118)

находим

. (6.126)

3. Исключаем из (6.125) и (6.126). Получаем соотношение с одинаковыми верхними индексами

. (6.127)

4. Дифференцируем

, (6.117)

находим

умножаем результат на и сравниваем с

. (6.118)

В результате

. (6.128)

Дифференцируем

, (6.119)

находим

,

умножаем результат на и сравниваем с (6.119). Учитывая

,

,

получаем

. (6.130)

6. Вычитаем (6.128) из (6.130)

. (6.132)

Складываем (6.128) и (6.130)

. (6.133)

8. Дифференцируем раз

, (6.105)

получаем

.

По формуле Лейбница

,

тогда

.

Результат умножаем на и сравниваем с

, (6.118)

находим

. (6.134)

9. Умножаем на выражение

, (6.132)

получаем

. (6.132а)

Умножаем на (6.134), тогда

. (6.134а)

Вычитаем (6.134а) из (6.132а) и находим

. (6.135)

10. Исключаем из (6.135) и из выражения

, (6.127)

получаем

. (6.136)

11. Исключаем из (6.133), (6.134) и учитываем (6.135). Получаем соотношение с одинаковыми верхними индексами

. (6.137)

12. Из (6.137) и (6.127) исключаем и находим

. (6.140)