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

Цилиндрическими функциями называются решения линейного дифференциального уравнения второго порядка

,ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВа (1)

где тАУ комплексное переменное,

ВатАУ параметр, который может принимать любые вещественные или комплексные значения.

Термин Влцилиндрические функцииВ» обязан своим происхождением тому обстоятельству, что уравнение (1) встречается при рассмотрении краевых задач теории потенциала для цилиндрической области.

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

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

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

1) электромагнитные волны в цилиндрическом волноводе;

2) теплопроводность в цилиндрических объектах;

3) формы колебания тонкой круглой мембраны;

4) скорость частиц в цилиндре, заполненном жидкостью и вращающемся вокруг своей оси.

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

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

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

Задачи:

1) Изучить уравнение Бесселя и модифицированное уравнение Бесселя.

2) Рассмотреть основные свойства функций Бесселя, асимптотические представления.

3) Решить дифференциальное уравнение с использованием функции Бесселя.

1 Функции Бесселя с целым положительным значком

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

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

Покажем, что одним из решений уравнения

0, 1, 2, тАж,ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.1)

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

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.2)

При помощи признака Даламбера легко убедиться, что рассматриваемый ряд сходится на всей плоскости комплексного переменного и, следовательно, представляет целую функцию от .

Если обозначить левую часть уравнения (1.1) через Ваи ввести сокращенную запись коэффициентов ряда (1.2), положив

то в результате подстановки получим

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

Простейшими функциями рассматриваемого класса являются функции Бесселя порядка нуль и единица:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.3)

Покажем, что функции Бесселя других порядков могут быть выражены через эти две функции. Для доказательства предположим, что а тАФ целое положительное число, умножим ряд (1.2) на Ваи продифференцируем по . Мы получим тогда

ВаВаВа ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВа (1.4)

Аналогичным образом, умножая ряд на Ванаходим

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.5)

Выполнив дифференцирование в равенствах (1.4 тАУ 1.1) и разделив на множитель , приходим к формулам:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.6)

откуда непосредственно следует:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.7)

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.8)

Полученные формулы известны под названием рекуррентных соотношений для функций Бесселя.

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

Второе соотношение позволяет представить производные от функций Бесселя через функции Бесселя. Для Ваэто соотношение должно быть заменено формулой

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.9)

непосредственно вытекающей из определения данных функций.

Функции Бесселя первого рода Вапросто связаны с коэффициентами разложения функции Вав ряд Лорана [1]):

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.10)

Коэффициенты этого разложения могут быть вычислены путем перемножения степенных рядов:

и объединения членов, содержащих одинаковые степени . Выполнив это, получим:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.11)

откуда следует, что рассматриваемое разложение может быть записано в виде

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.12)

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

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

(1.13)

где

Ва( тАУ постоянная Эйлера) и, в случае , первую из сумм надлежит положить равной нулю.

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

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (1.14)

где Ваи ВатАУ произвольные постоянные,

2 Функции Бесселя с произвольным значком

бессель цилиндрическая функция

Функции Бесселя, рассмотренные в пункте 1, составляют частный случай цилиндрических функций более общего вида, известных под названием функций Бесселя первого рода с произвольным значком . Чтобы определить эти функции, рассмотрим ряд

где ВатАУ комплексное переменное, принадлежащее плоскости с разрезом

ВатАУ параметр, который может принимать любые вещественные или комплексные значения.

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

Действительно, начиная с достаточного большого , отношение модулей последующего члена ряда к предыдущему, равное величине

не будет превосходить некоторой правильной положительной дроби , не зависящей от Ваи . Отсюда, согласно известному признаку сходимости, следует, что рассматриваемый ряд сходится равномерно в указанной области [4].

Так как члены ряда представляют собой регулярные функции в плоскости с разрезом Васумма ряда определяет некоторую функцию комплексного переменного , регулярную в рассматриваемой разрезанной плоскости. Эта функция называется функцией Бесселя первого рода с индексом Ваи обозначается символом . Таким образом,

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВа (2.1)

Нетрудно показать, что определенная таким образом функция есть частное решение уравнения

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (2.2)

Действительно, обозначая левую часть этого уравнения Ваи полагая , мы находим, так же как в пункте 1,

где ВатАУ коэффициенты ряда (2.1),

откуда следует, что

Так как при фиксированном , принадлежащем плоскости с разрезом Вачлены ряда (2.1) представляют собой целые функции переменного , то из равномерной сходимости по отношению к этому переменному вытекает, что функция Бесселя первого рода, рассматриваемая как функция своего значка, есть целая функция . При целом Ваи ряд (2.1) переходит в ряд (1.2), поэтому функции, определенные в настоящем параграфе, являются обобщением функций Бесселя с целым положительным значком, изученных в пункте 2. При Варавном целому отрицательному числу , первые Вачленов ряда (2.1) обращаются в нуль, и рассматриваемая формула может быть записана в виде

откуда следует

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (2.3)

Таким образом, функции Бесселя с отрицательным целым значком отличаются от соответствующих функций с положительным значком только постоянным множителем.

Полученное соотношение вместе с формулами (1.10 тАУ 1.11) показывает, что разложение (1.12) может быть записано в виде

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (2.4)

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

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (2.5)

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (2.6)

ВаВаВаВаВаВаВаВа (2.7)

представляющие собой обобщение соответствующих формул пункта 2. Доказательство формул (2.5 тАУ 2.6) повторяет рассуждения этого параграфа и поэтому не приводится. Формулы (2.7) получаются путем повторного применения равенств (2.6).

3 Общее представление цилиндрических функций. Функции Бесселя второго рода

По определению цилиндрическая функция есть произвольное решение дифференциального уравнения второго порядка

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.1)

поэтому общее ее выражение содержится в форме

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.2)

где Ваи ВатАУ какие-либо линейно независимые решения рассматриваемого уравнения, Ваи ВатАУ постоянные, являющиеся, вообще говоря, произвольными функциями параметра . Легко получить общее выражение цилиндрической функции для случая, когда Ваотлично от целого числа. Действительно, выбрав , где ВатАУ функция Бесселя, определенная в пункте 2, мы можем взять в качестве Вафункцию , которая также является решением уравнения (3.1), так как последнее не меняется при замене Вана .

Если Ване равно целому числу, асимптотическое поведение рассматриваемых решений при Вабудет

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.3)

поэтому эти решения линейно независимы между собой и искомое выражение для цилиндрической функции может быть дано в виде

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.4)

Если ВатАУ целое число, то, в силу соотношения (2.3), построенные частные решения линейно зависимы между собой и найденное выражение (3.4) не является общим интегралом уравнения Бесселя (3.1). Чтобы получить представление произвольной цилиндрической функции, пригодное при любых значениях параметра , введем в рассмотрение функцию Бесселя второго рода , которую для произвольных , принадлежащих плоскости с разрезом , определим при помощи равенства

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.5)

При Варавном целому числу правая часть рассматриваемого выражения приобретает неопределенный вид (2.3), и мы условимся понимать под значением функции в этом случае предел

Так как по доказанному числитель и знаменатель в (3.5) суть целые функции , рассматриваемый предел существует, и может быть вычислен по правилу Лопиталя, применение которого дает

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.7)

Из определения функции Васледует, что эта функция регулярна в плоскости с разрезом , а при фиксированном Вапредставляет собой целую функцию параметра . Докажем теперь, что Ваудовлетворяет уравнению (3.1), следовательно, является цилиндрической функцией. При , отличном от целого числа, требуемый результат непосредственно вытекает из формулы (3.4), поэтому достаточно провести доказательство только для случая

Проще всего воспользоваться для этого принципом аналитического продолжения. Так как ВатАУ целая функция , то из равенства Васледует

Решения Ваи Валинейно независимы между собой. Для Ваэтот результат является следствием линейной независимости решений Ваи . Линейная независимость для Вавытекает из сопоставления поведения рассматриваемых функций при Ва[формулы (3.3) и (3.4)]. Таким образом, общее выражение цилиндрической функции, пригодное при любых значениях , будет

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.8)

Функции Бесселя второго рода удовлетворяют тем же рекуррентным соотношениям, что и функции первого рода, именно:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.9)

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

Отметим еще формулу

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.10)

являющуюся следствием (3.7) и позволяющую свести вычисление функций с отрицательным целым значком к вычислению функций, индекс которых положителен.

При помощи замены переменных в уравнении (3.1) легко получить ряд других дифференциальных уравнений, общий интеграл которых может быть выражен через цилиндрические функции. Наиболее интересные для приложений уравнения этого типа являются различными частными случаями дифференциальных уравнений

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.11)

общие интегралы которых соответственно будут:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (3.12)

где Ваобозначает произвольную цилиндрическую функцию.

4 Разложение в ряд функции Бесселя второго рода с целым значком

Для того чтобы получить разложение в ряд функции , достаточно воспользоваться формулой (3.7) и вычислить производные по значку , исходя из разложения (2.1), причем, ввиду соотношения (3.10), можно ограничиться рассмотрением случая целых положительных

Так как ряд (2.1), по доказанному, сходится равномерно по отношению к , мы можем дифференцировать его почленно и получим тогда [2]

где ВатАУ логарифмическая производная гамма-функции.

Аналогично имеем

При Ваи Вапоэтому первые Вачленов ряда принимают неопределенный вид. Воспользовавшись известными формулами теории гамма-функции

;

получим для таких

поэтому

где введен новый значок суммирования

Из формулы (3.7) следует, что искомое разложение функции Бесселя второго рода с целым положительным значком имеет вид

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (4.1)

где в случае Вапервую сумму надлежит положить равной нулю.

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

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (4.2)

где ВатАУ постоянная Эйлера,

Принимая во внимание равенство (1.2), мы можем представить разложение (4.1) в несколько другом виде, именно:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (4.3)

Из (4.1) вытекает, что при Васправедливы асимптотические формулы

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (4.4)

показывающие, что Вакогда

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

К цилиндрическим функциям относятся также функции Бесселя третьего рода или функции Ханкеля Ваи , которые для произвольного Ваи , принадлежащего плоскости с разрезом вдоль полуоси , определяются при помощи формул

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВа (5.1)

где ВатАУ функции Бесселя первого и второго рода.

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

Из определения функций Ханкеля следует, что эти функции представляют собой регулярные функции Вав плоскости с разрезом Ваи целые функции . Очевидно, что рассматриваемые функции линейно независимы между собой и по отношению к , так что общий интеграл уравнения Бесселя (3.1) может быть, наряду с (3.8), представлен в одной из следующих форм:

(5.2)

где ВатАУ произвольные постоянные.

Являясь линейными комбинациями функций Ваи , функции Ханкеля удовлетворяют тем же рекуррентным соотношениям, что и эти функции, например,

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (5.3)

и т.д.

Если с помощью (3.5) исключить из (5.1) функцию Бесселя второго рода, то получим

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (5.4)

откуда вытекают важные соотношения:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (5.5)

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

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

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.1)

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.2)

и при целом

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.3)

Повторяя рассуждения пункта 2, получаем, что Ваи Вапредставляют собой регулярные функции Вав плоскости с разрезом Ваи целые функции .

Рассматриваемые функции просто связаны с функциями Бесселя от аргумента .

Действительно, предположим, что . Тогда Ваи из (2.1) следует

откуда

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.4)

для всех

Аналогично из формулы (5.4) получаем для таких же

откуда

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.5)

Для значений Вафункции Ваи Вамогут быть выражены через функции Бесселя от аргумента . Мы имеем

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.6)

для всех .

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

Из выведенных формул непосредственно следует, что рассматриваемые функции представляют собой линейно независимые решения дифференциального уравнения

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.7)

которое отличается от уравнения Бесселя только знаком одного члена и переходит в него при подстановке .

Уравнение (6.7) часто встречается в математической физике. Общий интеграл этого уравнения при произвольном Ваможет быть записан в виде

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.8)

Функции Ваи Ваудовлетворяют простым рекуррентным соотношениям:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.9)

и т.д.

Рекуррентные формулы, содержащие функции , доказываются подстановкой в них ряда (6.1). Соответствующие формулы для функций Вапри , отличном от целого числа, проверяются путем подстановки в них выражения (6.2) и использования формул первой группы. Справедливость последних соотношений при целом Васледует из непрерывности рассматриваемых функций по отношению к значку.

Укажем еще две полезные формулы:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.10)

первая из которых вытекает из (6.1), если принять во внимание, что при Вапервые Вачленов разложения обращаются в нуль, в то время как вторая является прямым следствием определения функции Макдональда (6.2).

Разложение функции Вапри Ваможет быть получено из (6.3) методом пункта 5. Приведем окончательный результат вычисления:

Ва(6.11)

Здесь тАУ логарифмическая производная гамма-функции, значения которой могут быть найдены по формулам (4.2). Для случая Вапервую из сумм надлежит считать равной нулю.

Из (6.11) вытекает, что асимптотическое поведение функции Вапри Ваопределяется формулами

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (6.12)

поэтому

7 Цилиндрические функции с индексом, равным половине нечетного целого числа

Специальный класс цилиндрических функций образуют цилиндрические функции с индексом, равным половине нечетного целого числа. В рассматриваемом случае цилиндрические функции могут быть выражены через элементарные функции. Чтобы показать это, найдем предварительно значения функций , для чего положим в (2.1) Ваи воспользуемся для преобразования рядов формулой удвоения гамма-функции

Мы получим тогда

ВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВа (7.1)

и аналогично

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (7.2)

Возможность выразить функцию Бесселя первого рода с любым полуцелым значком через элементарные функции следует теперь из рекуррентной формулы (2.5)

пользуясь которой можно последовательно получить:

и т. д.

Общее выражение для Вачерез элементарные функции получается из формул (2.7). Например, если положить во второй из них Ваи воспользоваться результатом (7.1), то находим:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (7.3)

Соответствующие формулы для функций Бесселя второго и третьего рода могут быть выведены из найденных соотношений, если воспользоваться выражениями этих функций через функции Бесселя первого рода (3.5 и 5.4). Например, мы имеем:

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (7.4)

и т. д.

В заключение укажем на формулы:

ВаВаВаВаВаВаВаВа ВаВаВаВаВаВаВаВа (7.5)

вытекающие из определений рассматриваемых функций (6.1 тАУ 6.2).

Формулы для других полуцелых значений индекса получаются из этих формул с помощью рекуррентных соотношений (6.9). Лиувиллем доказано, что случай полуцелого индекса является единственным, когда цилиндрические функции приводятся к элементарным.

8 Асимптотические представления цилиндрических функций для больших значений аргумента

Цилиндрические функции обладают простыми асимптотическими представлениями, удобными для аппроксимации этих функций при больших по модулю значениях Ваи фиксированном значении индекса Ва[5]. Главные члены этих формул можно получить, исходя из дифференциальных уравнений, которым удовлетворяют рассматриваемые функции.

Из цилиндрических функций наиболее простые асимптотические представления имеют функции третьего рода.

Чтобы получить асимптотическое представление функции , воспользуемся равенством

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (8.1)

и преобразуем его с помощью подстановки . Тогда получим

ВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВаВа (8.2)

Заменяя множитель Вабиноминальным разложением с остаточным членом

и интегрируя почленно, находим

ВаВаВаВаВаВаВаВаВаВаВа (8.3)

где

Предположим, что Ва( тАУ произвольное малое положительное число) и будем временно считать, что Вавыбрано так, что ВаОценка остаточного члена по модулю тогда дает

при фиксированном

Таким образом, для больших

ВаВаВаВаВаВаВаВаВаВаВа (8.4)

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

мы снова приходим к прежнему результату.

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

Наконец

Вместе с этим смотрят:

РЖнварiантнi пiдпростори. Власнi вектори i власнi значення лiнiйного оператора

РЖнтерполювання функцiй

Автокорреляционная функция. Примеры расчётов

Актуальные проблемы квантовой механики

Алгебра и алгебраические системы