Розв’язання рівняння Беселя. Функції Беселя першого роду
Опції Бесселя в математиці - сім'я функцій, які є канонічними розв'язками диференціального рівняння Бесселя:
- Неможливо розібрати вираз (невідома помилка): x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} + (x^2 - \alpha^2)y = 0,
де Неможливо розібрати вираз (невідома помилка): \alpha
— довільне дійсне число, яке називається порядком.
Найбільш часто використовуються функції Бесселя цілих порядків.
Хоча Неможливо розібрати вираз (невідома помилка): \alpha
и Неможливо розібрати вираз (невідома помилка): (-\alpha) породжують однакові рівняння, зазвичай домовляються про те, щоб їм відповідали різні функції (це робиться, наприклад, для того, щоб функція Бесселя була гладкою по Неможливо розібрати вираз (невідома помилка): \alpha ).
Функції Бесселя вперше були визначені швейцарським математиком Даніелем Бернуллі, а названі на честь Фрідріха Бесселя.
Застосування
Рівняння Бесселя виникає під час знаходження розв'язків рівняння Лапласа та рівняння Гельмгольца в циліндричних та сферичних координатах. Тому функції Бесселя застосовуються при розв'язаніі багатьох задач про поширення хвиль, статичних потенціалах і т. п., наприклад:
- теплопровідність в циліндричних об'єктах;
- Форми коливання тонкої круглої мембрани
- Швидкість частинок в циліндрі, заповненому рідиною і який обертається навколо своєї осі.
Функції Бесселя застосовуються і в рішенні інших задач, наприклад, при обробці сигналів.
Визначення
Оскільки наведене рівняння є рівнянням другого порядку, у нього має бути два лінійно незалежних рішення. Проте залежно від обставин вибираються різні визначення цих рішень. Нижче наведені деякі з них.
Опції Бесселя першого роду
Функціями Бесселя першого роду, які позначаються Неможливо розібрати вираз (невідома помилка): J_\alpha(x) , є розв'язки, скінченні в точці Неможливо розібрати вираз (невідома помилка): x=0
при цілих або невід'ємних Неможливо розібрати вираз (невідома помилка): \alpha
. Вибір конкретної функції і її нормалізації визначаються її властивостями. Можна визначити ці функції за допомогою розкладу в ряд Тейлора в околі нуля (або в більш загальний степеневий ряд при нецілих Неможливо розібрати вираз (невідома помилка): \alpha ):
- Неможливо розібрати вираз (невідома помилка): J_\alpha(x) = \sum_{m=0}^\infty \frac{(-1)^m}{m!\, \Gamma(m+\alpha+1)} {\left({\frac{x}{2}}\right)}^{2m+\alpha}
Тут Неможливо розібрати вираз (невідома помилка): \Gamma(z)
- Це гамма-функція Ейлера, узагальнення факторіала на нецілі значення. Графік функції Бесселя схожий на синусоїду, коливання якої затухають пропорційно Неможливо розібрати вираз (невідома помилка): \frac{1}{\sqrt{x}}
, хоча насправді нулі функції розташовані не періодично.
