§ 8.

Эйлеровы интегралы

Литература:
1. Фихтенгольц Г.М. Курс дифференциального и
интегрального исчисления. Том 2.
2. Зорич В.А. Математический анализ. Часть 2,
изд., М., 1977.
 Гамма-функция

Интегральное представление гамма-функции (x)

определяется равенством
 x 1  t
( x)   t e dt , x  0. (1)
0
Интеграл (1) сходится при x  0 .
 Пример

Вычислить:

а) (1);
 1
б)  .
 2
 Формула приведения
Имеет место формула приведения
( x  1)  x( x) . (2)
При
(n  1)  n(n)  n(n  1)(n  1) 
 ...  n  (n  1)  ...  2  1  n!,
(1)  0! 1.
 Формула приведения
Применяя повторно формулу (2), получим:
( x  n)  ( x  n  1)( x  n  2)...( x  1) x( x) .
1
Отсюда при x  имеем
2
 1  1  3 3 1 1
 n     n     n    ...      
 2  2  2 2 2 2
(4)
1  3  ...  (2n  1)  (2n  1)
 
n
2
 Пример
Вычислить:

7
 
 2
 Формула дополнения
Справедлива формула дополнения

( x)(1  x)  .
sin x
 Бета-функция
Бета-функция B ( x, y ) определяется несобственным
интегралом
1 x 1 y 1
B ( x, y )  t
 (1  t ) dt , x  0, y  0, (5)
0
зависящим от двух параметров x и y .
 Свойства бета-функции

1) B ( x, y ) – симметричная функция, т.е

B ( x, y )  B ( y , x ) .
 Свойства бета-функции

Гамма– и бета-функции связаны соотношением

 ( x ) ( y )
B ( x, y )  . (6)
( x  y )
 Эйлеровы интегралы

Бета– и гамма-функции называются интегралами Эй-

лера первого и второго рода соответственно.
 § 9. Уравнение и функции
Бесселя
y ' ' p ( x) y ' q( x) y  0 (1)
Пусть коэффициенты p (x) и q (x) уравнения (1) яв-
ляются аналитическими функциями на интервале
| x  x0 | a , т.е. разлагаются в степенные ряды
 k  k
p ( x)   pk ( x  x0 ) , q ( x )   qk ( x  x0 ) ,
k 0 k 0
сходящиеся при | x  x0 | a .
 Решение диф. Уравнения (1) в
виде степенного ряда
y ' ' p ( x) y ' q( x) y  0 (1)
 k  k
p( x)   pk ( x  x0 ) , q ( x)   qk ( x  x0 ) .
k 0 k 0
Теорема 1. Если p (x) и q (x) – аналитические при
| x  x0 | a , то всякое решение y  y (x ) уравнения (1)
является аналитическим при | x  x0 | a , т.е. разлагает-
 k
ся в степенной ряд y ( x )   c k ( x  x0 ) , сходящийся
k 0
при | x  x0 | a .
 Обобщенный степенной ряд

В случае, если x0 – особая точка для коэффициентов

уравнения (1) (т.е. функции p (x) и q (x ) нельзя пред-
ставить в виде сходящихся степенных рядов в окрест-
ности x0), то решения в виде степенного ряда может
не существовать. Однако может существовать реше-
ние в виде обобщенного степенного ряда
  k
y ( x)  ( x  x0 )  c k ( x  x0 ) ,
k 0
где  , c0 , c1 , c 2 , c3 ,..., (c0  0) подлежат определению
 Решение диф. уравнения в виде
обощенного степенного ряда
y ' ' p( x) y ' q ( x) y  0 (1)
Теорема 2. Если коэффициенты уравнения (1)
представимы в окрестности особой точки x0 в виде:
 k 
 p k ( x  x0 )  q k ( x  x0 ) k
p( x)  k  0 , q( x)  k  0 , (2)
x  x0 x  x0
где p02  q02  q12  0, и ряды в числителях сходятся
в некоторой области | x  x0 | a , то уравнение (1)
имеет хотя бы одно решение в виде обобщенного
 
степенного ряда: y ( x)  ( x  x0 )  c k ( x  x0 ) k ,
k 0
причем входящий в это решение степенной ряд схо-
дится по крайней мере в той же области | x  x0 | a ,
что и ряды в (2).
 Уравнение Бесселя
Рассмотрим уравнение
2 2 2
x y ' ' x y ' ( x  v ) y  0 (3)
или
2 2
1 v  x
y ' ' y ' y  0, (4)
x 2
x
называемое уравнением Бесселя v -го порядка.
 Уравнение Бесселя
Решения уравнения Бесселя (3) называются функ-
циями Бесселя.
Значения параметра v и - v порождают одинако-
вые уравнения. Однако обычно договариваются о
том, чтобы им соответствовали разные функции
Бесселя (это делается, например, для того, чтобы
функция Бесселя была гладкой по v ).
 Решение уравнения Бесселя
Точка x  0 является особой точкой для уравнения
(4). Поэтому решение уравнения (4) будем искать в
виде обобщенного степенного ряда
p  k  k p
yx  ak x   ak x , a 0  0. (5)
k 0 k 0
 Решение уравнения Бесселя
1
Положим a0  , где  ( ) – гамма – функ-
2 v (v  1)
ция. Подставляя найденные коэффициенты в ряд (5),
найдем представление решения в виде ряда (помним
о том, что нечетные коэффициенты равны нулю, а
p  v ):
 (1) k
y  x 2k  v 
k 0 2k  v
k!2 (v  k  1) . (6)
k 2k v
 (1)  x
     J v ( x).
k 0 k!(v  k  1)  2 
 Решение уравнения Бесселя
1
Если же p  v и a0  , то аналогич-
2  v (v  1)
ным образом получаем решение:
k 2k  v
 (1)  x
J  v ( x)     . (7)
k  0 k!(k  v  1)  2 
Функции (6) и (7) называются функциями Бесселя
первого рода порядков соответственно v и -v .
 Решение уравнения Бесселя
v
Если v - целое число, то J  v ( x)  (1) J v ( x)
Если же v не является целым числом, то функции
J v (x) и J  v (x) являются линейно независимыми.
Если v не является целым числом, то решение
уравнения (4) (уравнения (3) ) имеет вид
y  C1 J v ( x )  C 2 J  v ( x )
 Решение уравнения Бесселя
В случае, когда v является целым числом, общее
решение уравнения (4) (уравнения (3)) может быть
записано в виде
y  C1 J v ( x)  C 2Yv ( x) , (8)
где
J  ( x) cos   J  ( x)
Y ( x)  lim , (9)
  sin 
причем  – нецелое число.
Функция Y (x) называется функцией Бесселя вто-
рого рода. Иногда функции Y (x) называют функ-
циями Неймана и обозначают N n (x) .
 Пример
y'  1 
Пример. Решить уравнение y ' '  1   y  0.
x  9x 2 
 Диф. уравнения, сводящиеся к
уравнению
2 Бесселя
 2
d y 1 dy  2  
Тип 1. Уравнение   k  y  0 сво-
dx 2 x dx  x 2 
дится к уравнению (4) с помощью замены kx  z .

2
d y a dy
Тип 2. Уравнение   by  0можно свести к
2 x dx
dx

типу 1 заменой y  x u .

d2y a dy  2  2 
Тип3. Уравнение   bx  y  0 сво-
dx 2 x dx  x 2 
2
дится к уравнению (4) с помощью замены x  t .
 Пример

 
2
2 d y dy
Решить уравнение x  x  4 x 4  2 y  0.
2 dx
dx
Графики функций Бесселя
первого рода
Графики функций Бесселя
второго рода
 Корни бесселевых функций
Корнями бесселевых функций J v (x ) называются
все точки x, при которых J v (x ) =0.
 Свойства корней
1. Все корни бесселевых функций, кроме x=0, яв-
ляются простыми (т.е. если J v ( x0 )  0, x0  0, то
'
J ( x0 )  0 ).
2. Все корни бесселевых функций – действитель-
ные числа.
3. Корни бесселевых функций J v (x ) и J v1 ( x ) вза-
имно разделены, т.е. между двумя последователь-
ными корнями функции J v (x ) находится ровно один
корень функции J v1 ( x ) , и наоборот, между двумя
корнями функции J v1 ( x ) находится ровно один ко-
рень функции J v (x ) .
 Асимптотические формулы
Для функций Бесселя известны асимптотические
формулы. При малых аргументах (0  x    1) и
неотрицательных  они выглядят так:

1  x
J v ( x)   
 (  1)  2 
2   x 
  ln 2    ,  0;

Y ( x)   , (10)

 ( )  2  ,  0,
   x 
где γ — постоянная Эйлера — Маскерони
(0.5772…), а Γ — гамма-функция Эйлера.
 Асимптотические формулы

Для больших аргументов ( x   2  1 / 4 ) формулы

выглядят так:
2    
J v ( x)  cos  x   
x  2 4
(11)
2    
Yv ( x )  sin  x   
x  2 4
 Реккурентные соотношения
Имеют место следующие реккурентные соотношения:
J 1 ( x )  J 1 ( x)  2 J' ( x)
2 (12)
J 1 ( x )  J 1 ( x)  J ( x)
x
 Пример
Найти функции Бесселя J 1 / 2 ( x), J1 / 2 ( x), J 3 / 2 ( x).