Курсовая работа: Беселеві функції
Цим доведено, що при система функцій
на інтервалі є ортогональної щодо ваги
.
Переходячи до межі при в співвідношенні
і використовуючи правило Лопиталя, одержимо при всякому
, (24)
отже, якщо є нулем функції
, те
. (24`)
Таким чином, при кожному всякій безперервній функції
на
, що задовольняє вимозі
,
поставлений у відповідність ряд Фур'є-Беселя
, (25)
коефіцієнти якого визначаються формулами
. (25`)
Можна довести, що система функцій на
, ортогональна щодо ваги
, замкнута. Зокрема, якщо ряд Фур'є-Беселя (25) рівномірно сходиться до його безперервної функції, що
породжує.
Можна показати, що якщо й
безперервна на
й функція, то ряд Фур'є-Беселя цієї функції сходиться до неї при
.
6. Асимптотичне подання Беселевих функцій із цілим індексом для більших значень аргументу
Нехай – позитивна функція й
– яка-небудь функція для досить більших значень
. Запис
при
означає, що найдуться такі числа й M, що при
маємо
.
Подібний запис уживається й в інших аналогічних випадках. Наприклад, якщо – позитивна функція й
– яка-небудь функція, визначені для досить малих позитивних значень
, то запис
при
означає, що найдуться такі числа й
, що
на
.
Допоміжна лема
Якщо двічі безупинно диференцюєма на
, то для функції
має місце асимптотичне подання
при
.