- •Министерство образования и науки российской федерации
- •Часть 1. Гамма-, бета- и пси-функции
- •390005, Рязань, ул. Гагарина, 59/1.
- •Предисловие
- •§ 1. Гамма-функция Эйлера (Эйлеров интеграл 2 рода)
- •Определение и простейшие свойства гамма-функции в комплексной области
- •Рассмотрим замкнутую область(см. Рис. 1.1).
- •Дальнейшие свойства гамма-функции
- •Примеры
- •Примеры на применение формулы
- •Другое интегральное представление гамма-функции и следствия из него
- •§ 2. Бета-функция Эйлера (Эйлеров интеграл 1 рода)
- •2.1. Определение и связь с гамма-функцией
- •2.2. Свойства бета–функции
- •2.3. Некоторые обозначения и символы
- •§ 3. Гамма-функция в вещественной области
- •Функциональная характеристика гамма-функции
- •3.2. График функции
- •3.3. График функции
- •4.2. Функция прии ее график
- •4.3. Дальнейшие свойства пси-функции
- •4.4. Вычисление преобразования Лапласа некоторых элементарных функций
- •4.4.1. Преобразование Лапласа функции
- •4.4.2. Преобразование Лапласа функции
Примеры
Приведем далее несколько примеров на применение полученных формул при вычислении интегралов.
Пример 1.1

![]()
,
причем последний
интеграл, а с ним и исходный, сходятся
при
![]()
Пример 1.2.

.
Пример 1.3.
.
Пример 1.4.
=




Примеры на применение формулы

Пример 1.5.
![]()

Пример 1.6.
.
Пример 1.7.

.
Пример 1.8

.
Пример 1.9.

![]()
Интеграл сходится,
если

Пример 1.10.
.
Решение. Рассмотрим интеграл
.
Вычислим




причем интеграл
сходится тогда и только тогда, когда
![]()
Таким образом, при
![]()

![]()
Пример 1.11.
,
причем величина
найдена в предыдущем примере. Следовательно,


![]()
.
Пример 1.12.
.


причем все интегралы
сходятся
.
Таким образом, при
![]()
;

.
Пример 1.13.
.
Решение.
![]()
.
Отсюда
![]()
Но
,
т.е. при![]()
.
При
отсюда получается любопытный интеграл

.
Пример 1.14.
где
(см. пример 1.9). Отсюда
![]()
![]()
Пример 1.15.
Докажем, что при
![]()
![]()
При
сделаем замену переменной
;
![]()
![]()
причем интеграл
сходится
.
При
проходит та же замена переменной
,
но теперь пределы интегрирования меняются местами:
![]()
![]()
причем для сходимости
интегралов по-прежнему должно выполняться
условие
.
Пример 1.16.
.
Обозначим
![]()
,
причем для сходимости
интегралов должно выполняться условие
.
При этих значениях
a


Пример 1.17.
Рассмотрим интеграл
.
Этот интеграл сходится, так как в
окрестности нуля
а интеграл
сходится.
Сделаем в
замену переменной![]()
![]()
![]()
![]()
![]()

Таким образом,
![]()
Пример 1.18. Раабе рассмотрел интеграл
![]()
Так как
![]()
то
![]()
Так как
сохраняет непрерывность при
то
.
С другой стороны,
![]()
![]()
и
.
Пример 1.19. Рассмотрим интеграл
![]()
Сделаем в нем
замену переменной
![]()
![]()
![]()
![]()

![]()



.
Последний интеграл вычислим «по частям»:
.
Тем самым
.
Другое интегральное представление гамма-функции и следствия из него
1.4.1.
Докажем, что при
имеет место формула
(1.7)
Д
оказательство.
Рассмотрим
замкнутый контур
,
изображенный на рис. 1.7. Так как при
фиксированном
функция
- аналитическая, то согласно теореме
Коши
.
С другой стороны,
![]()
(1.8)
.
Оценим подынтегральную функцию в (8) по модулю:
.
Пусть
![]()
фиксировано. Тогда при![]()
,
если
.
Следовательно, согласно лемме Жордана
при
.
Далее,
при
,
если
.
Остается рассмотреть интеграл
.
Сделаем в нем замену переменной
,
.
Получим:
![]()
![]()
![]()
.
Устремляя
в (8)
и
,
получаем при
![]()
,
ч.т.д.
1.4.2.
Докажем что при
![]()
![]()
,
(1.9)
![]()
. (1.10)
Доказательство.
Взяв в формуле
(7)
и отделяя вещественную и мнимую части,
получаем:
Формулы
(9) и (10) вытекают отсюда с помощью
аналитического продолжения.
Интегралы более общего вида

(1.11)
и

(1.12)
вытекают
из (3) и (4) соответственно при
с помощью замены переменной
и аналитического продолжения.
1.4.3. Докажем, что
(1.13)
и
(1.14)
Решение. Имеем:
.
Далее
выполним в формуле (7)
замену переменной
;
![]()
![]()
.
В
частности, при
![]()
,
откуда, отделяя вещественную и мнимую части, получаем интегралы (13) и (14).
1.4.4.
Докажем, что при
![]()

Решение.
Первым делом выполним в интеграле
замену
переменной
.
Получим:
.
Этот
интеграл сходится в нуле при
;
сходится
на бесконечности при
.
Тем
самым при
![]()
.
Далее
воспользуемся формулой (7)
.
Взяв
здесь
,
при
получаем


.
При
![]()
.
