Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Математический анализ II Учебное Пособие

.pdf
Скачиваний:
87
Добавлен:
14.04.2015
Размер:
7.4 Mб
Скачать

В частности

+∞e αx sinm x dx

= arctg m .

0

x

α

Положим здесь α = 0, m =1, тогда получим часто встречающийся интеграл Дирихле

+∞

sinx dx =

π .

0

x

2

§8. Гамма функция

(Интеграл Эйлера 2го рода)

1. Определение гамма-функции.

Неэлементарная трансцендентная функция, определяемая для положительных x равенством

Γ(x ) = +∞e t t x 1dt

(1)

0

 

называется гамма-функцией или интегралом Эйлера 2-го рода. Эта функ-

ция относится к числу так называемых специальных функций, с помощью которых выражаются решения многих задач математической физики, статистки и пр.. Γ(x ) имеет две особые точки t = 0 и t = +∞ . Представим инте-

грал (1) в виде суммы двух интегралов

Γ(x ) = 1 t x 1e tdt + +∞t x 1e tdt

0 1

Оба интеграла сходятся равномерно по параметру x на любом конечном

отрезке

[a ,b] ]0, +∞[ . Действительно,

пусть

0 <a <1 и

b >1. Тогда

0 t x 1e t

t α1

при 0 t

1 и 1 e α1dt =α1 ,

и, следовательно интеграл

 

 

 

0

 

 

 

1 t x 1e tdt

сходится равномерно на [a ,b].

 

 

 

0

 

 

 

 

 

 

Аналогично

0 t x 1e t

t b 1e t при

t 1,

+∞t b 1e tdt

сходится, а

 

 

 

 

 

1

 

+∞t x 1e tdt сходится равномерно на [a ,b].

1

44

Кроме того, оба интеграла непрерывны по параметру x на произвольном отрезке [a ,b] ]0, +∞[ , а поэтому функция Γ(x ) непрерывна x > 0 .

Значит при x > 0 функция Γ(x ) непрерывно дифференцируема, причём

Γ′(x ) = 1 t x 1e t lntdt + +∞t x 1e t lntdt = +∞t x 1e t lntdt

0 1 0

Применяя метод математической индукции можно доказать, что Γ(x )

имеет производную nго проядка при x > 0 , причём

Γ(n ) (x ) = +∞t x 1e t (lnt )n dt ,

0

в частности

Γ′′(x ) = +∞t x 1e t (lnt )2dt .

0

Замечание. Сделаем подстановку t =u 2 в интеграле (1), тогда получим

Γ(x ) = +∞e t t x 1dt = 2+∞e u 2u 2x 1du .

0

0

Заменяя здесь переменную интегрирования u на t , получим выражение для гамма-функции в виде

Γ(x ) = 2+∞e t 2t 2x 1dt .

0

2.Свойства гамма-функции

1.Γ(x +1) =x Γ(x )

Попробуем взять по частям интеграл, представляющий Γ(x +1)

+∞

 

 

 

 

u =t x

du =x t x 1dt

 

 

 

 

+∞

+∞

 

 

 

Γ(x +1) = e

t

t

x

dt =

= −e

t

t

x

+x e

t

t

x 1

 

 

dv =e tdt v = −e t

 

 

0

 

dt

0

 

 

 

 

 

 

 

 

0

 

 

,

=x +∞e t t x 1dt =x Γ(x )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т.е. Γ(x +1) =x Γ(x ) .

Получили формулу приведения для гамма-функции.

45

2. Γ(n +1) =n !

Вычислим значения Γ(1), Γ(2), Γ(3),... Имеем

+∞

 

+∞

 

Γ(1) = e tdt = −e t

 

=1, т.е. Γ(1) =1.

 

 

0

0

 

 

 

Γ(2) = Γ(1 +1) =1Γ(1), Γ(3) = Γ(2 +1) = 2Γ(2),

Γ(4) = 3Γ(3) = 3 2 Γ(2) = 3 2 1 Γ(1) = 3! , т.е.

Γ(n +1) =n !

В частности Γ(1) = Γ(0 +1) = 0! => Γ(1) = 0!, следовательно 0! =1. 3. В соответствии с формулой приведения для гамма-функции имеем

Γ(x ) = (x 1)Γ(x 1) = (x 1)(x 2)Γ(x 2) = (x 1)(x 2)...(x k )Γ(x k )

Т.к. функция Γ(x ) определена для любого положительного x , то с помощью гамма-функции Γ(x ) можно распространить понятие факториала на

любое положительное число r функций

(r 1)! = Γ(r ) .

4. Если x =n + p , где 0 < p <1, то будет

Γ(n + p ) = (n + p 1) (n + p 2) pΓ(p ) ,

т.е. вычисление гамма-функции от любого аргумента можно свести к вычислению её от аргумента, заключённого между 0 и 1.

3. Исследование гамма-функции.

Ранее мы установили, что гамма-функция Γ(x ) непрерывна и дифференцируема сколько угодно раз для x > 0 , кроме того Γ(1) = Γ(2) , следователь-

но в силу теоремы Ролля

c ]1, 2[ такая, что Γ′(c ) = 0 .

можно показать, что c =1.4616 и в этой точке гамма-функция имеет минимум, причём Γmin = 0.8856 . Учитывая, что Γ(x ) = Γ(xx+1) , нетрудно заме-

тить, что lim Γ(x ) = +∞.

x →+0

46

Принимая во внимание проведённое исследование, нетрудно нарисовать график гамма-функции для x > 0 (рис 1).

y

3

2

0,88561

1 1, 46 2

3

4 x

рис 1

Пользуясь формулами приведения, гамма-функцию доопределяют и для отрицательных x . Окончательно график Γ(x ) имеет вид (рис 1).

Γ(x )

4

3

2

1

x

5

4 3

2

1

0

1

2

3

4

5

1

2

3

4

5

рис 2

47

Как и многие специальные функции, гамма-функция табулирована. Ввиду того, что значения гамма-функция для x <1 и для x > 2 могут быть вы-

числены с помощью формул Γ(x ) =

Γ(x +1)

, Γ(x ) = (x 1)Γ(x 1) , в таблице

 

 

 

 

 

 

 

x

 

 

 

приводятся значения Γ(x ) для x [1, 2]. (рис 2).

 

 

 

 

 

 

Гамма-функция

 

 

 

 

 

 

 

 

 

 

 

 

x

Γ(x )

x

Γ(x )

x

 

Γ(x )

x

Γ(x )

1,00

1,00000

1,25

0,90640

1,50

 

0,88623

1,75

0,91906

01

0,99433

26

0,90440

51

 

0,88659

76

0,92137

02

0,98884

27

0,90250

52

 

0,88704

77

0,92376

03

0,98355

28

0,90072

53

 

0,88757

78

0,92623

04

0,97844

29

0,89904

54

 

0,88818

79

0,92877

1,05

0,97350

1,30

0,89747

1,55

 

0,88887

1,80

0,93138

06

0,96874

31

0,89600

56

 

0,88964

81

0,93408

07

0,96415

32

0,89464

57

 

0,89049

82

0,93685

08

0,95973

33

0,89338

58

 

0,89142

83

0,93969

09

0,95546

34

0,89222

59

 

0,89243

84

0,94261

1,10

0,95135

1,35

0,89115

1,60

 

0,89352

1,85

0,94561

11

0,94740

36

0,89018

61

 

0,89468

86

0,94869

12

0,94359

37

0,88931

62

 

0,89592

87

0,95184

13

0,93993

38

0,88854

63

 

0,89724

88

0,95507

14

0,93642

39

0,88785

64

 

0,89864

89

0,95838

1,15

0,93304

1,40

0,88726

1,65

 

0,90012

1,90

0,96177

16

0,92980

41

0,88676

66

 

0,90167

91

0,96523

17

0,92670

42

0,88636

67

 

0,90330

92

0,96877

18

0,92373

43

0,88604

68

 

0,90500

93

0,97240

19

0,92089

44

0,88581

69

 

0,90678

94

0,97610

1,20

0,91817

1,45

0,88566

1,70

 

0,90864

1,95

0,97988

21

0,91558

46

0,88560

71

 

0,91057

96

0,98374

22

0,91311

47

0,88563

72

 

0,91258

97

0,98768

23

0,91075

48

0,88575

73

 

0,91467

98

0,99171

24

0,90852

49

0,88595

74

 

0,91683

99

0,99581

1,25

0,90640

1,50

0,88623

1,75

 

0,91906

2,00

1,00000

48

Пример. Вычислить интеграл I = +∞

dt

 

t e

t

0

 

Решение. Запишем данный интеграл так:

 

 

+∞

dt

 

 

+∞

 

 

 

1

 

+∞

1

 

 

 

 

 

 

I =

 

 

= e t t

2dt = e t t 2

1dt

 

 

 

 

t e

t

 

 

 

 

0

 

 

0

 

 

 

 

0

 

 

 

 

 

Нетрудно видеть, что данный интеграл

I = Γ 1

.

 

 

 

 

В силу формул приведения

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Γ

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

.

 

 

 

 

 

 

 

 

 

 

 

Γ

2

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

2

 

 

 

 

1

 

 

 

 

 

=

0.88623

 

 

 

1.73 .

Находим в таблице значение Γ

 

, следовательно Γ

2

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

Ответ: +∞

dt

1.73

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

t e

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

§9. Бета-функция

(интеграл Эйлера первого рода)

1. Определение бета-функции

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

B (p ,q ) = 1 x p 1(1 x )q 1dx

(p ,q > 0)

(1)

0

 

 

Для p <1 и q <1 интеграл является несобственным как на верхнем, так и на нижнем пределах интегрирования. Можно доказать однако, что эти интегралы сходятся.

2.Свойства бета-функции

1.B (p ,q ) =B (q ,p ) (симметрия)

Действительно, сделаем замену переменных в интеграле

B (p ,q ) = 1 x p 1(1 x )q 1dx , положив 1 x =t , dx = −dt .

0

49

Получим

B (p ,q ) = −0 (1 t )p 1t q 1dt = 0 t q 1(1 t )p 1dt =B (q ,p ) ,

1

 

 

1

 

 

 

 

т.е. B (p ,q ) =B (q ,p ) .

 

 

 

 

 

 

2. Докажем, что для бета-функции справедливы формулы приведения

 

B (p ,q ) =

(q 1)B (p ,q 1)

 

 

 

 

 

 

 

p

+q 1

 

 

 

 

 

 

 

(2)

 

(p 1)B (p

1,q )

 

B (p ,q ) =

 

 

 

 

 

 

 

p +q 1

 

 

 

 

 

 

 

 

 

 

Для доказательства решим интеграл (1) по частям:

B (p ,q ) = 1 x p 1 (1 x )q 1d x = u =t x

du =x t x 1dt =

0

 

 

 

 

dv =e tdt v = −e t

= (1 x )q 1 1 x p

 

0 + q 1

1

 

 

x p (1 x )q 2 d x

 

 

 

 

 

1

 

 

 

 

 

p

 

 

 

p

 

 

0

 

 

 

 

 

Преобразуем подынтегральное выражение во втором интеграле так: x p (1 x )q 2 =x p 1(1 x )q 2[1 (1 x )] =

=x p 1(1 x )q 2 x p 1(1 x )q 1

таким образом выражение для B (p ,q ) :

B (p ,q ) =

q 1

1

p 1

q 2

1

p 1

q 1

 

=

p

x

 

(1 x )

dx x

 

(1 x )

dx

 

0

 

 

0

 

 

 

 

 

= q p1[B (p ,q 1) B (p ,q )].

Откуда следует:

pB(p,q) =(q 1)B(p,q 1) (q 1)B(p,q) =>(p +q 1)B(p,q) =(q 1)B(p,q 1) =>

B(p,q) =(q 1)B(p,q 1) . p +q 1

В силу симметрии бета-функции имеем аналогичную формулу приведения:

B (p ,q ) = (p 1)B (p 1,q ) . p +q 1

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

3. Между гамма-функцией и бета-функцией имеет место соотшение

B (p ,q ) = Γ(p )Γ(q ) .

Γ(p +q )

50

В формуле приведения (2) положим q =n , n , тогда будет

B (p ,n ) =

n 1

 

B (p ,n 1) =

(n 1)(n 2)...1

B (p ,1)

p +n 1

(p +n 1)(p +n 2)...(p +1)

 

 

 

Вычислим

1

p 1

x p

 

1

1

 

 

 

B (p ,1) = x

dx =

 

 

=

 

, тогда будет

p

 

p

0

 

 

0

 

 

 

 

 

 

B (p ,n ) =

Если p =m , то тогда

B (m

(n 1)(n 2)...1

(p +1)(p + 2)...(p +n 1)

,n ) = (n 1)!(m 1)! . (m +n 1)!

Напомним, что для рассмотренной выше гамма-функции мы получили такие соотношения

Γ(n ) = (n 1)!, Γ(m ) = (m 1)!, Γ(m +n ) = (m +n 1)!

Следовательно имеем:

B (m ,n ) = Γ(m )Γ(n ) .

Γ(m +n )

Обобщим эту формулу на произвольные значения аргументов (p ,q > 0) :

B (p ,q ) = Γ(p )Γ(q ) .

Γ(p +q )

4. Интеграл Пуассона

Пример 1. Вычислить

Решение.

1

;

1

 

=

1

1

1

1

1

B

2

2

 

0

x 2

 

(1 x )2

dx

 

 

 

 

 

 

 

 

 

1

;

1

 

 

 

 

 

 

 

 

 

 

 

 

B

2

2

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1

 

 

dx

= 1

dx

 

= 1

 

dx

 

 

 

 

=

 

x (1 x )

x x

2

1

 

 

1

2

0

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

4

x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= 21

dx

 

=

 

u = 2x 1,

 

= 1

du

 

= arcsinu

 

11 = arcsin1 arcsin(1) =π

 

 

 

 

 

 

 

 

 

2

 

2

 

 

 

du = 2xdx

 

 

0

1 (2x 1)

 

 

 

 

1 1 u

 

 

 

 

Итак B 1 ; 1 =π2 2

51

С другой стороны

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

Γ

 

Γ

2

 

 

 

1

 

 

 

 

2

 

 

2

 

B

;

 

 

=

 

 

 

 

 

 

 

= Γ

 

 

=π ,

 

 

1

 

 

1

 

 

2 2

 

Γ

+

 

 

 

2

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

2

 

 

2

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Γ

 

=

π .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

Рекомендуем сравнить с результатами примера, рассмотренного на стр 48.

Пример 2. Рассмотрим интеграл I = +∞e x 2dx .

0

Сделаем замену переменной:

x = t , dx =

1

 

. Тогда наш интеграл I

2

 

 

так выражается через гамма-функцию:

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

+∞

1

+∞

1

1

+∞

1

 

 

 

Γ

 

π

 

I = e x 2dx =

e tt

2dt =

e t t 2

1dt =

2

 

=

.

2

2

2

 

2

0

0

 

0

 

 

 

 

 

 

 

Мы получили часто встречающийся в теории вероятностей интеграл, который называется интегралом Пуассона:

+∞e x 2dx =

π

(интеграл Пуассона).

2

0

 

52

ГЛАВА 3. ДВОЙНОЙ И ТРОЙНОЙ ИНТЕГРАЛЫ

§1. Двойной интеграл

Прежде чем дать определение двойного интеграла, сделаем несколько предварительных замечаний и определений.

Определение 1. Кривая K называется простой кривой, если она распадается на конечное число частей, каждая из которых имеет уравнение вида y = f (x ) или x =ϕ(y ) , при чём функции f (x ) и ϕ(y )

непрерывны на некотором промежутке [a ,b] или соответственно [p ,q ] .

В том случае, если кривая K - простая, замкнутая, самонепересекающаяся кривая, лежащая в плоскости xO y , то множество всех точек плоскости разбивается единственным образом на два связных множества. Мы будем в дальнейшем рассматривать области, ограниченные кривой K . Точки, лежащие на контуре K , мы будем считать принадлежащими области D , которую ограничивает этот контур, т.е. будем рассматривать замкнутую об-

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

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

y

D

 

y

 

D 2

 

 

 

 

 

 

 

 

 

D1

 

 

 

 

 

 

D3

 

0

x

0

 

 

x

 

 

 

 

рис 1

 

 

 

рис 2

 

y

 

y

 

 

 

 

 

D

N

 

D

 

 

 

 

 

 

 

 

 

 

 

 

 

0 M

x

0

 

 

 

R

 

рис 3

 

 

 

рис 4

x

 

 

 

 

 

Естественно, что к числу таких областей мы будем относить и области, которые можно разбить на конечное число областей указанного выше типа (рис. 2). Рассмотрим простую область D (рис. 3), ограниченную кривой K , и обозначим через r (M ,N ) - множество расстояний между точками M и

N , лежащими на кривой K . Наибольшее из расстояний между точками M

53