Очікує на перевірку

Функції Бесселя

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Функції Бесселя
Зображення
Названо на честь Фрідріх Вільгельм Бессель
Головний предмет твору Bessel functiond і Bessel function of the second kindd
Першовідкривач або винахідник Даніель Бернуллі і Фрідріх Вільгельм Бессель
Розв'язує лінійне диференціальне рівняння
Підтримується Вікіпроєктом Вікіпедія:Проєкт:Математика
Розв'язок для second order linear differential equationd і Bessel differential equationd
CMNS: Функції Бесселя у Вікісховищі
Даніель Бернуллі
Фрідріх Бессель

Функції Бесселя в математиці — сімейство функцій, що є канонічними розв'язками диференціального рівняння Бесселя:

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

Хоча  і породжують однакові рівняння, зазвичай домовляються про те, щоб їм відповідали різні функції (це робиться, наприклад, для того, щоб функція Бесселя була гладкою по ).

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

Застосування

[ред. | ред. код]

Рівняння Бесселя виникає під час знаходження розв'язків рівняння Лапласа і рівняння Гельмгольца в циліндричних і сферичних координатах. Тому функції Бесселя застосовуються при розв'язуванні багатьох задач про поширення хвиль, статичні потенціали тощо, наприклад:

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

Визначення

[ред. | ред. код]

Оскільки наведене рівняння є рівнянням другого порядку, у нього повинно бути два лінійно незалежних розв'язки. Проте залежно від обставин вибираються різні визначення цих розв'язків. Нижче наведені деякі з них.

Функції Бесселя першого роду

[ред. | ред. код]

Функціями Бесселя першого роду, що позначаються , є розв'язки, скінченні в точці при цілих або невід'ємних . Вибір конкретної функції та її нормалізації визначаються її властивостями. Можна визначити ці функції за допомогою розкладання в ряд Тейлора біля нуля (або в загальніший степеневий ряд при нецілих ):

Тут є гамма-функція Ейлера, узагальнення факторіалу на нецілі значення. Графік функції Бесселя схожий на синусоїду, коливання якої згасають пропорційно , хоча насправді нулі функції розташовані не періодично.

Нижче наведені графіки для :

Графік функції Бесселя першого роду J
Графік функції Бесселя першого роду J

Якщо не є цілим числом, функції і лінійно незалежні і, отже, є розв'язками рівняння. Але якщо ціле, то правильне таке співвідношення:

Воно означає, що на разі функції лінійно залежні. Тоді другим розв'язком рівняння стане функція Бесселя другого роду (дивись нижче).

Інтеграли Бесселя

[ред. | ред. код]

Можна надати інше визначення функції Бесселя для цілих значень , використовуючи інтегральне зображення:

Цей підхід використовував Бессель, дослідивши за його допомогою деякі властивості функцій. Можливе і інше інтегральне зображення:

Функції Бесселя другого роду

[ред. | ред. код]

Функції Бесселя другого роду — розв'язки рівняння Бесселя, нескінченні в точці .

також іноді називають функцією Неймана, і позначають як . Ця функція пов'язана з таким співвідношенням:

де у разі цілого береться границя по , обчислювана, наприклад, за допомогою правила Лопіталя.

Нижче приведені графіки для :

Графік функції Бесселя другого роду Y
Графік функції Бесселя другого роду Y

Властивості

[ред. | ред. код]

Асимптотика

[ред. | ред. код]

Для функцій Бесселя відомі асимптотичні формули. При малих аргументах і невід'ємних вони виглядають так:

де стала Ейлера — Маскероні , а гамма-функція Ейлера. Для великих аргументів формули виглядають так

Гіпергеометричний ряд

[ред. | ред. код]

Функції Бесселя можуть бути виражені через гіпергеометричну функцію:

Таким чином, при цілих n функція Бесселя однозначна аналітична, а при нецілих — багатозначна аналітична.

Функції Бесселя як коефіцієнти рядів

[ред. | ред. код]

Існує представлення для функцій Бесселя першого роду і цілого порядку через коефіцієнти ряду Лорана функції певного вигляду, а саме


Твірна функція для функції Бесселя

[ред. | ред. код]

де визначена у області

Розклад у ряд Лорана та коефіцієнти можна знайти

В якості контура навколо точки обирається окружність одиничного радіусу у площині де Таким чином,

та


Див. також

[ред. | ред. код]

Література

[ред. | ред. код]