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, ÿñíî, |
||||||||
|
|
|||||||||||
|
|
|||||||||||
|
|
√ |
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
√2π −∞ |
|
|
|||
÷òî Φ(−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π |
−π |
|
|
|
|
|
π |
|
2π |
3π |
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