Дифференциальное уравнение Бесселя

Линейное обыкновенное дифференциальное уравнение второго порядка вида называется уравнением Бесселя. Число v называется порядком уравнения Бесселя.

Данное дифференциальное уравнение было названо в честь немецкого математика и астронома Фридриха Вильгельма Бесселя, который подробно исследовал его и показал (в 1824 году), что решения уравнения выражаются через специальный класс функций, получивших название цилиндрических функций или функций Бесселя.

Конкретное представление общего решения зависит от числа v. Далее мы отдельно рассмотрим два случая:

• Порядок v является нецелым числом;
• Порядок v является целым числом.

Полагая, что число v является нецелым и положительным, общее решение уравнения Бесселя можно записать в виде где C₁, C₂ − произвольные постоянные, а J_v(x), J_−v(x) − функции Бесселя первого рода.

Функцию Бесселя первого рода можно представить в виде ряда, члены которого выражаются через так называемую гамма-функцию: Гамма-функция является расширением факториальной функции с множества целых на множество действительных чисел. В частности, она обладает следующими свойствами: Аналогичным образом записываются функции Бесселя первого рода отрицательного порядка (с индексом −v). Здесь мы предполагаем, что v > 0. Функции Бесселя вычисляются в большинстве математических пакетов. Для примера вид функций Бесселя первого рода порядка от v = 0 до v = 4 показан на рисунке 1. Эти функции можно вычислить также и в MS Excel. Если порядок v дифференциального уравнения Бесселя является целым, то функции Бесселя первого рода J_v(x) и J_−v(x) становятся зависимыми друг от друга. В этом случае общее решение уравнения будет описываться другой формулой: где Y_v(x) − функция Бесселя второго рода. Иногда это семейство функций называют также функциями Неймана или функциями Вебера.

Функцию Бесселя второго рода Y_v(x) можно выразить через функции Бесселя первого рода J_v(x) и J_−v(x): Графики функций Y_v(x) для нескольких первых порядков v представлены выше на рисунке 2.

Примечание: В действительности общее решение дифференциального уравнения Бесселя можно выразить через функции Бесселя первого и второго рода также и для случая нецелого порядка v. 1. Еще одним хорошо известным уравнением данного класса является модифицированное уравнение Бесселя, которое получается из регулярного уравнения Бесселя заменой x на −ix. Это уравнение имеет вид: Решение данного уравнения выражается через так называемые модифицированые функции Бесселя первого и второго рода: где I_v(x) и K_v(x) обозначают модифицированные функции Бесселя, соответственно, первого и второго рода.

2. Дифференциальное уравнение Эйри, известное в астрономии и физике, записывается в виде: Его также можно свести к уравнению Бесселя. Решение уравнения Эйри выражается через функции Бесселя дробного порядка :
3. Дифференциальное уравнение вида отличается от уравнения Бесселя лишь множителем a² перед x² и имеет общее решение в следующем виде:
4. Похожее дифференциальное уравнение также сводится к уравнению Бесселя с помощью подстановки Здесь параметр n² обозначает В результате, общее решение данного дифференциального уравнения определяется формулой
Специальные функции Бесселя широко используются в решении задач математической физики, например, при исследовании

• распространения волн;
• теплопроводности;
• колебаний мембран

в случаях, когда объекты имеют цилиндрическую или сферическую симметрию.

   Пример 1

Решить дифференциальное уравнение  x²y'' + xy' + (3x² − 2)y = 0. Данное уравнение имеет порядок √2 и отличается от стандартного уравнения Бесселя лишь множителем 3 перед x². Поэтому общее решение уравнения описывается формулой где C₁, C₂ − постоянные, а J_√2(√3x) и Y_√2(√3x) − функции Бесселя, соответственно, 1 и 2 рода.

   Пример 2

Решить уравнение . Это уравнение отличается от модифицированного уравнения Бесселя множителем 4 перед x². Порядок уравнения равен v = 1/√2. Общее решение выражается через модифицированные функции Бесселя следующим образом: где C₁ и C₂ − произвольные постоянные.

   Пример 3

Найти общее решение дифференциального уравнения  x²y'' + 2xy' + (x² − 1)y = 0. Применим следующую подстановку: Подставим эти выражения в исходное уравнение: Видно, что Таким образом, общее решение для функции z(x) можно записать в виде Тогда общее решение для исходной функции y(x) определяется выражением где C₁ и C₂ − произвольные постоянные.