Курсовая работа: Уравнение и функция Бесселя
,
найдем, что система коэффициентов этого ряда будет искомой системой .
Формулы для коэффициентов ряда Лорана позволяют выразить функции рассматриваемой системы через производящую функцию. Применяя эти формулы и преобразовывая затем интеграл вдоль единичной окружности в простой интеграл, получим:
. (17)
Производящая функция системы бесселевых функций с целыми индексами
Покажем, что для системы бесселевых функций первого рода с целыми индексами (…) производящая функция есть:
.
Имеем:
, ,
откуда после почленного перемножения этих равенств найдем:
(так как в предпоследней внутренней сумме и были связаны зависимостью , то мы могли положить , получив суммирование по одному индексу ). В последней внутренней сумме суммирование производится по всем целым , для которых , следовательно, при это будет ; при это будет . Таким образом, во всех случаях внутренняя сумма есть в силу формул (5`) и (5```). Итак,
, (18)
но это и доказывает, что есть производящая функция для системы .
Выведем некоторые следствия из формулы (18). Полагая в ней , получим:
,
откуда после разделения действительной и мнимой части (учитывая, что )
(18`)
(18``)
Заменяя в (18`) и (18``) на , найдем:
, (18```)
. (18````)
Интегральное представление Jn (x)
Так как, по доказанному, при имеем , то по формуле (17) получаем (используя в преобразованиях формулы Эйлера):
где принято во внимание, что есть четная функция от есть нечетная функция от . Итак, доказано, что для любого целого числа
. (19)
Формула (19) дает представление бесселевых функций с целым индексом в виде определенного интеграла, зависящего от параметра . Эта формула называется интегральным представлением Бесселя для , правая часть формулы называется интегралом Бесселя. В частности, при найдем:
. (19`)
5. Ряды Фурье-Бесселя