МА_Метода
.pdfA
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
Рассмотрим теперь условия, при которых можно осуществить предельный переход по параметру.
Теорема 8.1. Пусть x0 hc, di и пусть существует интегрируемая
◦
на ha, bi функция ϕ такая, что для любого x Kε(x0) ∩ hc, di |f(x, t)| ≤
≤ |
ϕ(t). Предположим также, что для любых t |
h |
a, b |
i x |
|
x0 |
|
|||||
|
|
lim f(x, t) = g(t). |
||||||||||
|
|
|
|
|
|
|
|
b |
→ |
|
|
|
|
|
h |
|
i |
x→x0 |
|
|
( |
) |
|
||
Тогда функция g интегрируема на |
a, b |
|
|
Ra |
dt. |
|||||||
|
|
è lim I(x) = |
g t |
|
Без доказательства. Доказательство теоремы см. в [ 7 ] (т. 7.2).
Следствие 8.1. Пусть x0 hc, di) и пусть существует интегри-
◦
руемая на ha, bi функция ϕ такая, что для любых x Kε(x0) ∩ hc, di
|f(x, t)| ≤ ϕ(t). Предположим также, |
что для любого t ha, bi |
lim f(x, t) = g(t). Тогда функция I непрерывна в точке x0, ò. å. |
|
x→x0 |
|
b |
b |
Z |
Z |
I(x0) = lim f(x, t) dt = |
f(t, x0) dt. |
x→x0 |
|
a |
a |
Доказательство следует из теоремы 8.1 , если взять g(t) = f(t, x0).
Следствие 8.2. Пусть a, b конечные числа и x hc, di f непрерывна и ограничена на ha, bi, тогда I непрерывна на hc, di.
Следует из следствия 8.1 , так как |f(x, t)| ≤ C < +∞ è ϕ(t) = C интегрируема на ha, bi.
Приведем условия, при которых интеграл, зависящий от параметра, будет дифференцируемой функцией.
Теорема 8.2 (правило0 |
Лейбница). Пусть для любого x hc, di |
|
и t ha, bi существует fx(x, t) и существует интегрируемая на ha, bi |
||
|
◦ |
0 |
функция ϕ такая, что для любых x Kε(x0) ∩ hc, di |fx(x, t)| ≤ ϕ(t). |
||
b |
|
|
Тогда существует I 0 (x0) = Ra |
fx0 (x0, t) dt. |
|
Доказательство теоремы см. в [ 7 ] (т. 7.4). |
+∞e−xt |
|
|
Пример 8.1. Рассмотрим интеграл I(x) = |
sin(t) |
dt, x > 0. |
|
|
|||
Покажем, что x0 > 0 можно осуществить |
R |
t |
|
|
0 |
|
предельный переход под знаком |
интеграла. |
|
75
◦
Òàê êàê x0 > 0 ε > 0 такое, что x0 − ε > 0. Тогда x Kε(x0)
|
|
|
sin(t) |
|
|
|
|||
Функция |
|
e−xt |
|
t |
|
|
|
≤ e−(x0−ε)t = ϕ(t). |
|
|
интегрируема |
íà |
|
|
|
|
. |
||
|
ϕ(t) |
|
|
|
(0, + ) |
|
|||
|
|
|
|
|
|
|
|
∞ |
|
Следовательно, по теореме 8.1 можно осуществить предельный пере- |
|||||||||
|
|
|
|
|
|
|
|
|
◦ |
ход под знаком интеграла. В частности, если x0 = +∞ (Kε(x0) = (ε, +∞)),
òî lim |
e−xt |
sin(t) |
= 0 è |
lim I(x) = 0. |
|
t |
|||||
x→+∞ |
|
|
x→+∞ |
||
Рассмотрим теперь вопрос об дифференцируемости интеграла I(x) ïî |
параметру x: òàê êàê f(x, t) = e−xt |
sin(t) |
, òî fx0 (x, t) = −e−xt sin(t). Åñëè |
|||||||||||||||
t |
|||||||||||||||||
x |
0 |
> 0, òî |
|
x |
◦ |
(x |
) |
f |
0 |
(x, t) |
| ≤ |
e−xt |
≤ |
e−(x0−ε)t = ϕ(t). Функция ϕ(t) |
|||
|
|
|
Kε |
0 |
|
| |
x |
|
|
|
0 |
(x) = |
|||||
интегрируема на (0, +∞). Следовательно, по теореме 8.2 , при x > 0 I |
|
||||||||||||||||
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= − e−xt sin(t) dt. Применяя два раза интегрирование по частям, полу- |
||||||||||||||||||
÷àåì R0 |
|
|
|
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
||
|
|
|
I 0 (x) = −1 + x2 |
Z0 |
e−xt sin(t) dt = −1 − x2I 0 (x). |
|||||||||||||
Значит, I |
0 (x) = |
−1 |
|
I(x) = |
− |
arctg(x) + C. Окончательно, используя, |
||||||||||||
1 + x2 |
è |
|||||||||||||||||
|
|
|
|
|
|
|
π |
|
|
|
π |
|
|
|||||
÷òî lim |
I |
x |
) = 0 |
, получаем, что C = |
è I |
x |
) = |
− |
arctg(x). |
|||||||||
|
2 |
|||||||||||||||||
x→+∞ |
( |
|
|
|
|
|
|
2 |
( |
|
|
Посмотрим теперь, можно ли осуществить предельный переход при
x → 0. Для этого представим интеграл в виде суммы двух интегралов:
1
Z
I(x) = e−xt sin(t) t
0
+∞
Z
dt + e−xt sin(t) dt = I1(x) + I2(x). t
1
Первый интеграл имеет конечные пределы интегрирования, функция f(x, t) ïðè t (0, 1] è x [0, +∞) непрерывна и ограничена (|f(x, t)| ≤
≤ |
|
|
|
x→0 1 |
|
1 |
t |
|
|
|
|
|
|
|
|
|
Z0 |
|
|
|
|
||||
|
1). Тогда по следствию 8.2 |
lim I |
(x) = |
|
|
sin(t) |
dt. |
|
|
|||
|
|
|
|
|
|
|||||||
|
Рассмотрим второй интеграл. Интегрируем по частям (следствие 6.3 ), |
|
||||||||||
при этом обозначим v = |
e |
− |
xt sin(t) dt = |
|
−e−xt |
(cos(t) + x sin(t)) è u = |
1 |
, |
||||
|
1 + x2 |
t |
||||||||||
|
R |
|
|
|
|
|
|
|
76
в результате получим
A |
e−xt |
t |
|
dt = − |
|
− |
|
t(1 + x2) |
|
|
|
|
1 |
|
A |
|
|
− |
|
t2(1 + x2) |
dt = |
|||||||||
Z |
|
|
|
|
|
|
|
− Z |
|
|
|
|||||||||||||||||||
1 |
|
sin(t) |
|
|
|
e |
|
xt(cos(t) + x sin(t)) |
|
A |
|
1 |
|
e |
xt(cos(t) + x sin(t)) |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
e− |
xA |
(cos(A) + x sin(A)) |
|
x |
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
= − |
|
|
e− (cos(1) + x sin(1)) |
− |
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
A(1 + x2) |
|
|
|
|
|
(1 + x2) |
|
|
|
||||||||||||||
|
|
|
|
−1 + x2 |
|
A |
− |
t2 |
dt − 1 + x2 |
A |
|
t2 |
dt. |
|
|
|
||||||||||||||
|
|
|
|
Z1 |
Z1 |
|
|
− |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
e |
xt cos(t) |
|
|
|
|
|
x |
|
|
|
e |
|
xt sin(t) |
|
|
|
|
|
Òàê êàê |
|
− |
t2 |
≤ t2 , |
|
− |
t2 |
|
|
≤ t2 |
x ≥ 0 (1/t2 интегриру- |
|||||||||||||||||
åìà íà [1, + |
e |
|
xt cos(t) |
|
|
1 |
|
|
e |
|
|
xt sin(t) |
|
|
1 |
|
|
x |
|
|
0 интегралы |
|||||||
), пример |
7.1), то по теореме |
7.7 |
|
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
≥ |
|
|||||
|
|
|
|
+∞e |
− |
xt cos(t) |
|
|
+∞e |
− |
xt sin(t) |
|
||||||||||||||||
|
|
|
|
Z1 |
|
|
|
|
|
|
dt è |
Z1 |
|
|
|
|
|
|
|
dt |
||||||||
|
|
|
|
|
|
|
t2 |
|
|
|
|
|
|
|
t2 |
|
|
|
сходятся абсолютно.
+ |
e−x x sin(1) |
− |
1 |
|
(1 + x2) |
|
1 + x2 |
Следовательно, |
+∞ |
|
|
t |
|
dt |
= |
(1 + x2) + |
|||||||
Z1 |
e−xt |
|
|
||||||||||||
|
|
|
|
|
|
|
|
sin(t) |
|
|
e−x cos(1) |
||||
+∞e |
− |
xt cos(t) |
|
x |
|
+∞e |
− |
xt sin(t) |
|
||||||
Z |
|
|
dt− |
|
Z |
|
|
|
|
|
dt. Â ñèëó ïðè- |
||||
|
|
t2 |
1 + x2 |
|
|
|
|
t2 |
|
1 |
+∞e |
|
1 |
|
|
|
+∞e |
|
|
|
||
|
− |
xt cos(t) |
|
|
− |
xt sin(t) |
|
|||||
веденных ранее оценок, в интегралах |
Z1 |
|
|
|
dt |
è |
Z1 |
|
|
dt |
||
|
|
t2 |
|
|
t2 |
|||||||
можно переходить к пределу под знаком интеграла при |
x → 0. Следова- |
|
|
x→0 |
2 |
|
|
|
|
|
|
− |
+∞ |
t2 |
|||
|
|
|
|
|
|
|
|
Z1 |
|||||||
тельно, |
lim I |
(x) |
|
= |
cos 1 |
|
|
cos(t) |
dt |
||||||
|
|
|
|||||||||||||
+∞ |
t |
|
dt |
|
= |
+∞ |
|
dt. Таким |
образом, |
||||||
+ Z1 |
|
|
Z1 |
|
t |
|
|||||||||
|
sin(t) |
|
|
|
sin(t) |
|
|
|
|
|
|||||
+∞ |
|
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
t |
dt. |
|
|
|
|
|
||||
+ Z |
|
dt = Z |
|
|
|
|
|
|
|
||||||
|
sin(t) |
|
|
sin(t) |
|
|
|
|
|
|
|
+∞ cos(t)
= cos 1 + + t 1
x→0 |
= Z0 |
1 |
t |
+ |
|
lim I(x) |
|
|
sin(t) |
dt |
|
|
|
|
|
1 |
0 |
77
С другой стороны, lim I(x) = lim |
π |
− |
arctg(x) |
= |
π |
. Итак, получи- |
||||||||||||||
|
|
|
|
|||||||||||||||||
+∞ |
t |
= 2 |
x→0 |
|
x→0 |
2 |
|
|
• |
2 |
|
|
|
|
|
|||||
ëè, ÷òî Z1 |
|
x→+∞ Si( ) = |
2 |
|
|
|
|
|
|
|
|
|||||||||
|
sin(t) |
dt |
|
π |
, ò. å. |
lim |
x |
|
|
|
π |
(ñì. 7.4). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
8.2. Гамма-функция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
называется гамма-функцией. |
: (0, +∞) → R, |
(x) = |
+∞ x |
1 t |
dt |
|||||||||||||||
R0 |
t |
− e− |
||||||||||||||||||
Определение 8.2. Функция |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Интеграл, определяющий гамма-функцию, несобственный по бесконечному промежутку, кроме того, при x < 1 подынтегральная функция
терпит разрыв при t = 0.
Теорема 8.3. Гамма-функция определена и непрерывна для любых x (0, +∞).
Доказательство. Разобьем интеграл на сумму двух интегралов:
1 |
+∞ |
ZZ
(x) = tx−1e−t dt + tx−1e−t dt = 1(x) + 2(x).
0 1
Рассмотрим сначала 1. Для любого x0 > 0 существует ε > 0 такое,
÷òî x |
0 − |
ε > 0. Тогда |
|
t |
|
(0, 1] è |
|
|
x |
◦ |
(x |
) выполнено tx−1e−t |
| ≤ |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Kε |
0 |
|
|
|
|
|
| |
|
|
||||||||||||
≤ |
|
1 |
. Функция ϕ(t) = |
1 |
|
|
|
интегрируема на (0, 1] (пример 7.2). |
|||||||||||||||||||||||||||
t1−x0+ε |
|
t1−x0+ε |
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
tx0−1e−t dt |
|||||
Следовательно, по теореме 7.9 для любого x0 |
> 0 интеграл |
||||||||||||||||||||||||||||||||||
сходится и по следствию 8.1 функция 1 |
непрерывна |
|
x0 > 0.R0 |
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Рассмотрим теперь 2. Из формулы Тейлора с остаточным членом в |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
tn |
|
|
|
|
ec |
|
|
|
||||||||
форме Лагранжа для et: et |
= 1 + |
|
|
|
+ · · · + |
|
+ |
|
|
|
tn+1, |
c |
(0, t) |
||||||||||||||||||||||
1! |
n! |
(n + 1)! |
|||||||||||||||||||||||||||||||||
следует, что при t ≥ 0, |
et |
|
≥ |
tn |
n N. Подберем n так, чтобы n > |
||||||||||||||||||||||||||||||
|
|
, |
|||||||||||||||||||||||||||||||||
|
n! |
||||||||||||||||||||||||||||||||||
> x + 1. Тогда, так как t ≥ |
1, et ≥ |
tx+1 |
è e−t |
≤ |
n! |
|
|
|
|
|
|
|
t ≥ 1 |
||||||||||||||||||||||
|
n! |
tx+1 |
. Значит, при |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|
|
|
|
|
|
|
n! |
|
|
|
|||||||
справедливо неравенство tx−1e−t ≤ |
|
. Функция ϕ(t) = |
|
интегрируема |
|||||||||||||||||||||||||||||||
t2 |
t2 |
||||||||||||||||||||||||||||||||||
íà [1, +∞) (пример 7.1). Следовательно, по теореме 7.7 для любого |
x > 0 |
||||||||||||||||||||||||||||||||||
|
|
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
интеграл |
R1 |
tx−1e−t dt сходится и по следствию 8.1 функция 2 непрерывна |
78
x > 0. И окончательно имеем, что функция определена и непрерывна
x (0, +∞).
Предложение 8.1. Гамма-функция дифференцируема x (0, +∞)
|
+∞ |
|
è 0 (x) = |
R0 |
tx−1e−t ln t dt. |
Доказательство. Òàê êàê f(x, t) = tx−1e−t, òî fx0 (x, t) = tx−1e−t ln t. Дальнейшие рассуждения аналогичны рассуждениям, проведенным в до-
казательстве теоремы 8.3 . Для любого x0 > 0 существует ε > 0 такое, что
|
◦ |
|
|
|
0 |
|
ln t |
|
x0 − ε > 0. Ïðè t (0, 1] è x Kε(x0) имеем |fx |
(x, t)| ≤ − |
|
= ϕ1(t). |
|||||
t1−x0+ε |
||||||||
Ïðè t |
[1, +∞) имеем |fx0 (x, t)| ≤ |
n! |
ln t |
= ϕ2(t). Для доказательства |
||||
t2 |
|
дифференцируемости функций 1 è 2 надо показать, что функции ϕ1 è
ϕ2 интегрируемы на соответствующих промежутках. Применяем для этого интегрирование по частям. Тогда
1 |
|
|
1 |
|
|
|
|
|
tx0−ε ln t |
1 |
|
|
|
1 |
|
|
|
1 |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Z |
ϕ1(t) dt = − Z |
tx0−ε−1 ln t dt = − |
|
|
|
|
|
0 + |
|
|
|
|
Z |
tx0−ε−1 dt = |
|||||||||||||
|
x0 |
− |
ε |
x0 |
− |
ε |
|||||||||||||||||||||
0 |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
||||||
|
|
1 |
|
|
|
|
tx0−ε |
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
||||
|
|
|
|
− |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
x0 |
− |
ε t→0+0 |
|
(x0 |
− |
ε)2 |
|
|
|
|
(x0 |
− |
ε)2 |
|
|
(x0 |
− |
ε)2 |
||||||||
= |
|
|
lim (tx0 |
|
ε ln t) + |
|
|
= 0 + |
|
|
|
|
|
|
= |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(при вычислении предела использовали правило Лопиталя).
+∞ |
+∞ln t |
|
ln t |
+∞ |
+∞dt |
|
||||||||||
Z |
ϕ2(t) dt = Z |
|
|
dt = − |
|
|
1 |
+ Z |
|
|
= |
|||||
t2 |
t |
t2 |
||||||||||||||
1 |
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
ln t |
|
1 |
+ |
∞ |
|
|
|
|
|
|
|
|
||
|
|
|
1 |
|
|
|
|
|
|
|
|
|||||
= − t→+∞ t |
− t |
|
|
|
|
|
|
|
|
|
||||||
|
lim |
|
|
|
|
|
= 0 + 1 = 1. |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(опять при вычислении предела использовали правило Лопиталя). Следовательно, по теореме 8.2 для любого x > 0 функции 1 è 2 дифференци-
|
+∞ |
|
|
руемы и 0 (x) = |
R0 |
tx−1e−t ln t dt. |
|
|
|||
|
Предложение 8.2. Имеют место следующие утверждения :
1) |
x (0, +∞) (x + 1) = x (x); |
2) (1) = 1; |
||||||||
3) |
|
n |
n |
n |
!; |
4) |
lim |
(x) = + |
∞ |
. |
|
N ( + 1) = |
|
x 0+0 |
|
|
|||||
|
|
|
|
|
|
|
→ |
|
|
|
79