Функция Бесселя

В математике функциями Бесселя называется семейство функций, являющихся каноническими решениями дифференциального уравнения Бесселя:

x^2 \frac{d^2 y}{dx^2} + x \frac{dy}{dx} + (x^2 - \alpha^2)y = 0,

где α — произвольное действительное число, называемое порядком. Наиболее часто используемые функции Бесселя — функции целых порядков.

Хотя α и −α порождают одинаковые уравнения, обычно договариваются о том, чтобы им соответствовали разные функции (это делается, например, для того, чтобы функция Бесселя была гладкой по α).

Функции Бесселя впервые были определены швейцарским математиком Даниилом Бернулли, а названы в честь Фридриха Бесселя.

Содержание

Применения

Уравнение Бесселя возникает во время нахождения решений уравнения Лапласа и уравнения Гельмгольца в цилиндрических и сферических координатах. Поэтому функции Бесселя применяются при решении многих задач о распространении волн, статических потенциалах и т. п., например:

Функции Бесселя применяются и в решении других задач, например, при обработке сигналов.

Определения

Поскольку приведённое уравнение является уравнением второго порядка, у него должно быть два линейно независимых решения. Однако в зависимости от обстоятельств выбираются разные определения этих решений. Ниже приведены некоторые из них.

Функции Бесселя первого рода

Функциями Бесселя первого рода, обозначаемыми Jα(x), являются решения, конечные в точке x = 0 при целых или неотрицательных α. Выбор конкретной функции и её нормализации определяются её свойствами. Можно определить эти функции с помощью разложения в ряд Тейлора около нуля (или в более общий степенной ряд при нецелых α):

J_\alpha(x) = \sum_{m=0}^\infty \frac{(-1)^m}{m! \Gamma(m+\alpha+1)} {\left({\frac{x}{2}}\right)}^{2m+\alpha}

Здесь Γ(z) — это гамма-функция Эйлера, обобщение факториала на нецелые значения. График функции Бесселя похож на синусоиду, колебания которой затухают пропорционально \frac{1}{\sqrt{x}}, хотя на самом деле нули функции не являются периодичными.

Ниже приведены графики Jα(x) для α = 0,1,2:

Если α не является целым числом, функции Jα(x) и J − α(x) линейно независимы и, следовательно, являются решениями уравнения. Но если α целое, то верно следующее соотношение:

J_{-\alpha}(x) = (-1)^{\alpha} J_{\alpha}(x)\,

Оно означает, что в этом случае функции линейно зависимы. Тогда вторым решением уравнения станет функция Бесселя второго рода (см. ниже).

Интегралы Бесселя

Можно дать другое определение функции Бесселя для целых значений α, используя интегральное уравнение:

J_\alpha (x) = \frac{1}{2 \pi} \int_{0}^{2 \pi} \cos (\alpha \tau - x \sin \tau) d\tau.

Этот подход использовал Бессель, изучив с его помощью некоторые свойства функций. Возможно и другое интегральное представление:

J_\alpha (x) = \frac{1}{2 \pi} \int_{-\pi}^{\pi} e^{i(\alpha \tau - x \sin \tau)} d\tau

Выражение через гипергеометрический ряд

Функции Бесселя могут быть выражены через гипергеометрический ряд:

J_\alpha(z)=\frac{(z/2)^\alpha}{\Gamma(\alpha+1)} \;_0F_1 (\alpha+1; -z^2/4).

Функции Бесселя второго рода

Функции Бесселя второго рода — наиболее часто используемые виды функций Бесселя. Ими являются решения Yα(x) уравнения Бесселя, бесконечные в точке x = 0.

Yα(x) также иногда называют функцией Ньюмана (Неймана) и обозначают как Nα(x). Эта функция связана с Jα(x) следующим соотношением:

Y_\alpha(x) = \frac{J_\alpha(x) \cos(\alpha\pi) - J_{-\alpha}(x)}{\sin(\alpha\pi)},

где в случае целого α берётся предел.

Jα(x) и Yα(x) — голоморфные функции по x на комплексной плоскости.

Ниже приведён график Yα(x) для α = 0,1,2:


Асимптотика

Для функций Бесселя известны асимптотические формулы. При маленьких аргументах (0 < x \ll \sqrt{\alpha + 1}) и неотрицательных α они выглядят так:

J_\alpha(x) \rightarrow \frac{1}{\Gamma(\alpha+1)} \left( \frac{x}{2} \right) ^\alpha
Y_\alpha(x) \rightarrow \left\{ \begin{matrix} \frac{2}{\pi} \left[ \ln (x/2) + \gamma \right] & \mbox{if } \alpha=0 \\ \\ -\frac{\Gamma(\alpha)}{\pi} \left( \frac{2}{x} \right) ^\alpha & \mbox{if } \alpha > 0 \end{matrix} \right.,

где γ — постоянная Эйлера — Маскерони (0.5772...), а Γ — гамма-функция Эйлера. Для больших аргументов (x \gg |\alpha^2 - 1/4|) формулы выглядят так:

J_\alpha(x) \rightarrow \sqrt{\frac{2}{\pi x}} \cos \left( x-\frac{\alpha\pi}{2} - \frac{\pi}{4} \right)
Y_\alpha(x) \rightarrow \sqrt{\frac{2}{\pi x}} \sin \left( x-\frac{\alpha\pi}{2} - \frac{\pi}{4} \right).
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home