Материал: Методичка 1

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам
x→+∞
g(x)

A

R

g(x) dx (теорема 6.5 ) и теоремы 2.13 о пределе монотонной функ-

a

ции следует существование предела lim F (A), что по определению 7.1

A→+∞

+∞

означает сходимость интеграла R f(x) dx.

a

+∞

Если интеграл R f(x) dx расходится, то, предположив сходимость

a

+∞

интеграла R g(x) dx придем к противоречию с доказанным ранее.

a

Теорема 7.8 (предельный признак сравнения). Пусть функции f и g кусочно-непрерывны на [ a, +∞) и пусть x [ a, +∞) имеют место

неравенства f(x) > 0, g(x) > 0. Если существует конечный lim f(x) 6=

x→+∞

+∞

R

6= 0, то f(x) dx сходится тогда и только тогда, когда сходится

a

+∞

R

g(x) dx (интегралы сходятся или расходятся одновременно ).

a

Доказательство. Обозначим k = lim fg((xx)). ßñíî, ÷òî k > 0. Возьмем ε > 0 таким, чтобы k − ε > 0. По определению предела b [ a, +∞)

такое, что x > b выполняется неравенство k − ε <

f(x)

 

< k + ε, откуда

g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

 

(k

ε)g(x)

< f(x) < (k + ε)g(x). Пусть сходится

Ra

 

f(x) dx, тогда по

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

теореме 7.2

сходится и Rb

f(x)

dx. Из полученного выше неравенства, по

 

+∞

 

 

 

 

 

 

 

 

 

 

теореме 7.7 , следует сходимость

(k

ε)g(x) dx. Далее, по теореме 7.1

 

 

 

+

 

 

 

 

Rb

 

 

+

сходится Rb

g(x) dx, и, снова по+теореме 7.2 сходится

 

Ra

g(x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

Обратно, пусть сходится Ra

g(x)+dx, тогда по теореме 7.2 сходится

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Rb

 

 

 

по теореме 7.1 сходится

 

 

 

 

Отсюда по теореме

g(x) dx, è +

 

 

 

Rb (k + ε)g(x)+dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7.7 сходится

Rb

f(x) dx и по теореме 7.2 сходится

Ra

f(x) dx.

 

 

 

 

70

Замечание 7.4. Теоремы 7.7 и 7.8 с соответствующими переформу-

a

лировками справедливы и для несобственного интеграла R f(x) dx, à òåî-

−∞

+∞

рема 7.7 и для несобственного интеграла R f(x) dx.

−∞

Для несобственных интегралов на конечном промежутке справедливы аналогичные теоремы, которые доказываются так же, как теоремы 7.7 , 7.8 .

Теорема 7.9 (признак сравнения). Пусть функции f и g кусочнонепрерывны на [ a, b) и x [ a, b) имеет место неравенство 0 ≤ f(x) ≤ ≤ g(x), тогда:

 

b

 

b

 

 

1)

если сходится Ra

gb(x) dx, то сходится Ra

f(xb) dx;

2)

если расходится

Ra

f(x) dx, то расходится Ra

g(x) dx.

Теорема 7.10 (предельный признак сравнения). Пусть функции f и g кусочно-непрерывны на [ a, b) и пусть x [ a, b) имеют место

неравенства f x

> 0, g(x) > 0. Если существует конечный

lim

 

f(x)

=

 

 

 

0 g(x)

 

 

( )

x

b

6

 

b

 

 

b

 

(

R

 

)

 

 

R

 

 

 

6= 0, òî a

f(x) dx сходится тогда и только тогда, когда сходится

a

g(x) dx

интегралы сходятся или расходятся одновременно .

Замечание 7.5. Теоремы 7.9 и 7.10 с соответствующими переформулировками справедливы для несобственного интеграла по (a, b ] è [ a, b ]\

\{c}, а теорема 7.9 и для несобственного интеграла по (a, b).

7.4. Функции erf(x), Si(x), Ci(x)

Âматематике и приложениях часто используются функции, заданные

ñпомощью интегралов с переменным верхним или нижним пределом. Рассмотрим некоторые из них, исследуем их поведение и построим графики.

1. Интеграл вероятностей erf : R → R определяется формулой

 

x

e−t

dt.

erf(x) = √π Z0

2

 

2

 

Из теоремы 6.7 следует, что функция erf непрерывна всюду. В силу определения 6.5 , x = 0 есть корень функции erf. Функция erf нечетная:

71

действительно, если сделать замену t = −s, то получим

erf(−x) =

 

π

 

−x

 

 

 

 

 

 

 

 

x

 

ds = −erf(x).

 

 

 

Z0 e−t

 

dt = −√π Z0

e−s

 

 

 

 

2

 

 

 

 

 

 

2

 

 

2

 

 

 

2

 

 

 

 

 

0

 

 

 

 

 

2

 

e−x

2

 

 

 

 

 

 

 

 

 

 

 

По теореме 6.8

erf (x) =

 

 

 

> 0, следовательно, функция возрастает.

 

π

 

00

 

 

4

xe−x

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Òàê êàê erf (x) = −√

 

 

 

> 0, òî x = 0 точка перегиба и на (−∞, 0)

π

 

 

функция выпукла вниз, а на (0. + ∞) выпукла вверх.

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+∞

 

 

 

 

 

 

Òàê êàê e−x ≤ e−x äëÿ x [1, +∞) è

0

e−x dx = 1 сходится, то по

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

сравнения

(теоре-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

признаку

 

 

y .

 

 

 

 

 

 

 

 

 

 

 

 

 

ìà

7.7 ) сходится

+∞e−x2 dx è

 

1 . . . . . . . . . .

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Функция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

erf(x)

конечен.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

. 1

0

 

 

 

 

 

.

 

 

 

 

 

 

 

 

x→+∞

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

erf нечетная, следовательно

......

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim erf(x) =

 

lim

erf(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. . . . . . . . . .

 

1

 

 

 

 

 

 

 

 

 

 

 

 

x→+∞

 

x→−∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Можно показать, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ðèñ. 7.1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xlim

erf(x) = ±1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

→±∞

 

 

 

График функции y = erf(x) изображен на рис. 7.1.

Функция erf называется интегралом вероятностей или, иногда, интег-

ралом ошибок. Существуют подробные таблицы ее значений [ 9 ]. В теории

 

 

 

 

 

 

 

1

x

 

 

вероятностей чаще используется функция

Φ(x) =

R

e−t2

/2 dt, ÿñíî,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

−∞

 

 

÷òî Φ(−x) = 1 − Φ(x) è Φ(x) =

erf(x/

 

2) + 1

.

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2. Интегральный синус Si : R → R определяется формулой

 

 

x

 

t

dt.

 

 

 

 

 

Si(x) = Z0

 

 

 

 

 

 

 

 

sin(t)

 

 

 

 

 

Заметим, что функция f(t) под интегралом непрерывна, если доопределить

ее и точке 0 òàê: f(0) = lim sin(t) = 1.

x→0 t

Функция Si непрерывна всюду по теореме 6.7 . Точка x = 0 корень

72

функции в силу определения 6.5 . Если сделать замену t = −s, то получим

−x

t

x

−s

x

s

 

Z0

Z0

Z0

 

Si( x) =

 

sin(t)

dt =

 

sin(−s)

ds =

 

sin(s)

ds =

 

Si(x),

 

 

 

 

 

 

 

следовательно, функция Si нечетная. Согласно теореме 6.8

0

sin(x)

0

 

 

 

 

Si (x) =

 

 

è Si (x) = 0 x = πk, k Z \ {0}.

x

Очевидно,

 

 

 

 

 

(−1)k

 

Si 00 (x) =

x cos(x) − sin(x)

 

Si 00 (πk) =

,

 

 

 

x2

 

πk

 

следовательно, в точках πk, где k > 0 и четные, и k < 0 и нечетные, функция Si имеет минимумы; в точках πk, где k > 0 и нечетные, и k < 0 и четные, функция Si имеет максимумы. Точками перегиба функции Si

являются корни уравнения tg(x) = x.

В примере 8.1 будет доказано, что существует

x→+∞

+∞

t

= 2

 

Z0

 

lim Si(x) =

 

sin(t)

dt

 

π

.

 

 

 

График функции Si изображен на рис. 7.2.

y .

π

 

 

 

 

 

. . . . . . . . . . . . . .. . . . .

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

.

.

0

 

 

 

.

.

 

.

 

 

 

 

............

 

 

 

−3π

−2π

−π

 

 

 

 

 

π

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

π

 

 

 

 

 

 

 

 

 

. . .. . . . . . . . . . . . . . . .

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

Ðèñ. 7.2

 

 

 

 

 

 

 

 

 

 

3. Интегральный косинус Ci : (0, +∞) → R определяется формулой

 

 

 

 

 

 

 

+∞

t

 

dt.

 

 

 

 

 

 

 

Ci(x) = − Zx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

cos(t)

 

 

 

 

 

Проинтегрировав по частям, получаем

+∞

 

t

A

t

=

Zx

 

= A→+∞ Zx

 

 

 

 

 

 

 

 

 

 

cos(t)

dt

lim

 

cos(t)

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

73

= A→+∞

t

x

+ Z

t2

 

= −

 

x

 

+ Z

t2

 

 

 

sin(t)

A

A sin(t)

 

 

sin(x)

+∞sin(t)

 

lim

 

 

 

x

 

 

dt

 

 

 

 

 

 

x

 

 

dt. Учитывая оцен-

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

1

 

 

 

 

êó | sin(t)| ≤ 1 и сходимость интеграла

 

 

dt при x > 0 видим, что для

 

t2

x

+∞

Z

x > 0 интеграл cos(t) dt сходится. t

x

Согласно теореме 6.8

 

 

0

 

cos(x)

0

 

 

 

0 x = −

π

+ πk, k N.

 

 

 

Ci (x) =

 

 

è Ci (x) =

 

 

 

 

x

2

 

 

Очевидно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ci

00 (x) =

x sin(x) + cos(x)

 

Ci 00

(

π

+ πk) =

(−1)k

, k

N

,

 

x2

 

 

2

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

+ πk

 

 

 

следовательно, в точках π2 + 2πk, ãäå k ≥ 0, функция Ci имеет максимумы;

π

 

 

 

в точках 2 + 2πk, ãäå k > 0, функция Ci имеет минимумы. Точками

перегиба функции Ci являются корни уравнения ctg(x) = −x.

Можно показать, что lim Ci(x) = 0 è

lim Ci(x) =

−∞

.

x→+∞

x→0+0

 

Более подробную информацию о функциях Si(x) и Ci(x) можно найти в справочнике [ 9 ].

8. ИНТЕГРАЛЫ ЗАВИСЯЩИЕ ОТ ПАРАМЕТРА

В 8 и 9 произвольный промежуток будем обозначать ha, bi (см. заме- чание 6.2).

8.1. Определение. Свойства

Рассмотрим функцию f(x, t), зависящую от параметра x hc, d) f :

ha, bi → R (a, b, c, d R). Пусть x hc, di функция f

интегрируема на

ha, bi по переменной t.

 

вается интегралом, зависящим от параметра x.

b

Ra

Определение 8.1. Функция I : hc, di → R I(x) =

f(x, t) dt íàçû-

74