Курсовая работа: Уравнение и функция Бесселя
откуда видно, что если и
являются разными нулями функции
, то
. (23`)
Этим доказано, что при система функций
на интервале является ортогональной относительно веса
.
Переходя к пределу при в соотношении
и используя правило Лопиталя, получим при всяком
, (24)
следовательно, если является нулем функции
, то
. (24`)
Таким образом, при каждом всякой непрерывной функции
на
, удовлетворяющей требованию
,
поставлен в соответствие ряд Фурье-Бесселя
, (25)
коэффициенты которого определяются формулами
. (25`)
Можно доказать, что система функций на
, ортогональная относительно веса
, замкнутая. В частности, если ряд Фурье-Бесселя (25) равномерно сходится к порождающей его непрерывной функции
.
Можно показать, что если и
непрерывная на
и кусочно-гладкая на
функция, то ряд Фурье-Бесселя этой функции сходится к ней при
.
6. Асимптотическое представление бесселевых функций с целым индексом для больших значений аргумента
Пусть - положительная функция и
- какая-нибудь (вообще комплекснозначная) функция, определенные для достаточно больших значений
. Запись
при
означает, что найдутся такие числа и M, что при
имеем
.
Подобная запись употребляется и в других аналогичных случаях. Например, если - положительная функция и
- какая-нибудь функция, определенные для достаточно малых положительных значений
, то запись
при
означает, что найдутся такие числа и
, что
на
.
Вспомогательная лемма
Если дважды непрерывно дифференцируема на
, то для функции
имеет место асимптотическое представление