matan_bogdanskyj
.pdfa1 g(x) dx çáiãà¹òüñÿ ) a1 f(x) dx çáiãà¹òüñÿ . |
|||||||
+ |
|
|
|
|
+ |
|
|
R |
|
Скористу¹мось |
R |
|
Êîøi i íåðiâíiñòþ: |
||
|
Доведення. |
x2 |
|
|
критерi¹м |
|
|
|
|
|
x2 |
|
|
||
|
|
|
|
|
|
|
|
|
|
Z |
f(t) dt |
6 |
Z |
g(t) dt |
|
|
|
x1 |
x1 |
(обмiркуйте!): |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Твердження 17 (друга теорема порiвняння). Нехай 0 |
6 f(x) 6 g(x); |
|||||||||||||||||
|
|
|
|
|
|
) |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
x |
) =: |
O g |
|
x |
|
x |
|
|
(тобто iснують C > 0 i R > a, для яких при |
||||||||||
( |
|
|
( |
|
|
|
|
! +)1. Òîäi |
+1 |
g(x) dx |
çáiæíèé |
+1 |
f(x) dx |
|
||||||
x > R |
jf(x)j 6 Cjg(x)j |
a |
|
) |
a |
|
||||||||||||||
çáiæíèé . |
|
|
|
|
|
|
|
|
|
R |
|
|
|
|
R |
|
|
|||
|
|
Доведення. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
|||
|
|
|
Z |
|
g(x) dx çáiæíèé |
) |
Z |
Cg(x) dx çáiæíèé ) |
|
|||||||||||
|
|
|
a |
|
|
+1 |
|
|
|
|
|
|
R |
+1 |
|
|
|
|
||
|
|
|
) |
|
Z |
|
f(x) dx çáiæíèé |
) |
Z |
f(x) dx çáiæíèé |
: |
|
||||||||
|
|
|
|
R |
|
|
|
|
|
|
|
a |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вправа 25. Сформулюйте та доведiть аналоги теорем про властивостi |
визначеного iнтеграла, зокрема лiнiйнiсть, iнтегрування частинами, замiну
змiнно¨ в невласному iнтегралi. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Приклади. |
1 |
|
|
|
+1 |
|
dx |
|
|
|
|
|
|
|
|
||||||
|
|
|
I = R0 |
+ px + x3 треба дослiджувати як суму |
|||||||||||||||||
|
|
|
1) Iнтеграл |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
iнтегралiв I1 = R0 |
|
dx |
|
1 |
dx |
1 |
|
I 1öå |
|||||||||||||
px + x3 òà I2 = |
R1 |
px + x3 . Çáiæíiñòü |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
iнтеграла |
|
|
|
. |
||||
одночасна збiжнiсть |
обох iнтегралiв I1 òà I2. Ïðè x ! 0+0: |
p |
|
|
|
p |
|
||||||||||||||
x + x3 |
|
x |
|||||||||||||||||||
|
|||||||||||||||||||||
Тому iнтеграл I1 |
за другою теоремою порiвняння збiга¹ться одночасно з |
51
|
|
|
|
|
|
1 |
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
||||||||||
iнтегралом R0 |
p |
|
|
. À ïðè x ! |
+1:+ |
p |
|
|
|
|
|
|
|
|
. Посила¹мось на вже |
||||||||||||||||||||||||||||||||||||||
x3=2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
x |
x + x3 |
||||||||||||||||||||||||||||||||||||||||||||||||||||
вiдому ранiше збiжнiсть iнтеграла |
|
1 dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
Вiдповiдь: iнтеграл I çáiæíèéR1(i абсолютно, оскiльки f(x) > 0). |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x3=2 та твердження 17. |
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
2) Iнтеграл I = |
|
cos x |
|
dx дослiдимо на збiжнiсть при довiльних |
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
cos x |
|
|
|
R1 |
1 x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
||||||||
òíî çáiæíèé |
ïðè > 1. |
Iнтегру¹мо частинами: |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
R. Îñêiëüêè |
|
x |
|
6 x ; то за твердженням 16 вихiдний iнтеграл абсолю- |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
A |
x |
dx = |
x |
|
1 |
|
+ |
A |
x +1 dx: |
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
|
|
Z |
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
cos x |
|
|
|
|
|
sin x |
|
A |
|
|
|
|
|
|
|
1 |
|
sin x |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sin x |
A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
. Iсну¹ границя i другого доданка при |
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A!+1 x |
||||||||||||||||||||||||||||||||||||
|
|
Ïðè > 0 iñíó¹ |
lim |
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
A |
|
|
+ |
|
збiжнiсть iнтеграла |
|
sin x |
|
|
|
|
|
. Òîæ ïðè |
> 0 |
âèõiäíèé ií- |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||
! |
1 |
|
|
|
|
|
+1 dx |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
x |
|
|
|
|
|
|
|
|
|
2 |
x |
|
1 |
|
|
cos 2x |
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
З iншого боку,R |
cos x |
|
> |
cos |
|
= |
|
+ |
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
теграл збiга¹ться. |
+ |
1 cos 2x |
|
|
|
|
|
x |
|
|
x |
|
|
|
|
2x |
|
2x . Îñêiëü- |
|||||||||||||||||||||||||||||||||||
êè ïðè |
|
|
|
|
|
|
: |
|
|
|
|
|
çáiãà¹òüñÿ |
(доведення аналогiчне збiжностi |
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
2+1 sin x R1 |
|
|
|
|
|
dx |
|
|
+1 dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
|
|
(0; 1] |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
iнтеграла |
|
|
|
|
|
|
|
|
|
dx), а iнтеграл |
R1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
cos x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
+ R1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
ðîçáiæíèé, òî ðîçáiæíèì ¹ é |
||||||||||||||||||||||||||||
|
|
|
|
|
11 |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
iнтеграл |
|
|
|
dx, тобто при 2 (0; 1] вихiдний iнтеграл I умовно |
|||||||||||||||||||||||||||||||||||||||||||||||||
x |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
çáiæíèé. |
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
Перевiримо, що при 6 0 вихiдний iнтеграл розбiжний. |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
Нехай < 0. |
|
|
|
+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
R |
cos x dx. Розбiжнiсть перевiрте самостiйно. |
|
||||||||||||||||||||||||||||||||||||||||||||
|
|
Ïðè = 0: I = |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Òîäi |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
+2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
2 |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
2 |
+ 2 n |
|
|
|
|
!1! 1 |
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
cos x |
dx > |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(перевiрте!): |
|
|||||||||||||||||||
|
|
|
|
2 +2n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
52
Звiдси виходить, що не викону¹ться умова критерiя Кошi збiжностi невласного iнтеграла (обмiркувати!).
Вiдповiдь: Вихiдний iнтеграл I ïðè > 1 абсолютно збiга¹ться; при
2 (0; 1] умовно збiжний; при 6 0 ðîçáiæíèé.
Теорема 23 (iнтегральна ознака збiжностi числового ряду ). Нехай фун-
êöiÿ f(x) |
визначена на [1; +1), монотонно не зроста¹ i невiд'¹мна. Не- |
|
õàé f(x) |
iнтегровна на кожному вiдрiзку [1; a] [1; +1). Тодi iнтеграл |
|
+1 |
|
+1 |
R |
|
P |
f(x) dx i ðÿä |
f(n) збiгаються або розбiгаються одночасно. |
|
1 |
|
n=1 |
Доведення. Нехай збiга¹ться iнтеграл. Тодi iсну¹ C, для якого при всiх
x
x: R1 |
f(t) dt 6 C. Òîäi |
k |
n |
|
|
|
|
|
n |
n |
|
|
|
||
|
Z |
f(t) dt = Z |
|
|
|
||
|
k=2 f(k) 6 k=2 |
f(t) dt 6 C |
(обмiркуйте!); |
||||
|
X |
Xk 1 |
1 |
|
|
|
|
i ряд збiга¹ться за критерi¹м збiжностi ряду з невiд'¹мними членами. |
|||||||
|
|
|
|
|
|
x |
|
Зворотне твердження. Оскiльки функцiя F (x) = R1 |
f(t) dt монотонно не- |
||||||
спадна, то достатньо довести лише ¨¨ обмеженiсть |
òîäi iñíó¹ lim F (x) = |
||||||
+ |
1 |
|
|
|
|
|
x!+1 |
|
|
|
|
|
|
R
=f(t) dt . Покладемо n = [x]. Òîäi
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
k+1 |
n |
+1 |
|
|
|
|
|
|
|
Z |
|
|
|
|
|||
F (x) 6 F (n + 1) = k=1 |
f(t) dt 6 k=1 f(k) 6 k=1 f(k): |
|
|
|||||||
|
|
|
X k |
X |
X |
|
|
|
|
|
|
+1 |
1 |
|
|
|
|
+1 1 |
|
||
|
|
|
|
|
|
|||||
Приклад. Ðÿä |
|
|
|
R1 |
|
|
dx i çà |
|||
|
p збiга¹ться одночасно з iнтегралом |
|
p |
|||||||
доведеним ранiше, критерiй збiжностi ряду: p > 1. |
|
|
|
|
||||||
|
P |
|
|
|
|
|
x |
|
|
|
|
n=1 n |
|
|
|
|
|
|
Теорема 24 (ознака Абеля-Дiрiхле збiжностi невласного iнтеграла ). Нехай функцi¨ f, g визначенi на [a; +1) та iнтегровнi на будь-якому вiдрiзку
53
[a; b] [a; +1). Для збiжностi невласного iнтеграла |
a |
f(x)g(x) dx доста- |
|||||||||||||||||||||
тньо, щоб виконувалась одна з двох умов: |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1) iнтеграл |
Ra |
f(x) dx збiжний i функцiя g монотонна та обмежена |
||||||||||||||||||||
íà [a; + |
); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 |
|
|
|
|
x |
f(t) dt обмежена на [a; +1) i функцiя g(x) ìîíî- |
|||||||||||||||||
|
2) функцiя F (x) = a |
||||||||||||||||||||||
тонно пряму¹ до нуля |
ïðè |
x |
|
+ |
. |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
! 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доведення. теореми проведемо лише для випадку неперервно¨ функцi¨ |
||||||||||||||||||||||
f та неперервно диференцiйовно¨ функцi¨ g. |
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
||
|
|
|
|
Z |
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(t)g(t) dt = g(t)F (t) |
|
a Z |
|
|
F (t)g0(t) dt: |
(23) |
|||||||||||||
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
g(t); g0(t) ì๠ñòàëié çíàê. |
||||||
|
Якщо викону¹ться умова 1), то iсну¹ |
|
|||||||||||||||||||||
|
|
|
|
|
|
|
. Îñêiëüêè |
|
|
t!+1 |
|
|
|
|
|
|
|||||||
Òîäi iñíó¹ |
lim |
g(t)F (t) |
|
|
|
|
F (x) обмежена, та припускаючи для |
||||||||||||||||
|
|
t!+1 |
|
|
|
|
|
+1 |
|
|
|
|
|
, що завершу¹ доведення. |
|||||||||
визначеностi: g0(x) > 0, матимемо: |
F (x)g0 |
(x) |
|
6 Cg0(x), звiдки виходить |
|||||||||||||||||||
абсолютна збiжнiсть iнтеграла |
F (t)g0(t) dt |
|
|
|
|
|
|
|
|||||||||||||||
|
У випадку умови 2), першийRaдоданок право¨ частини рiвностi (23) пря- |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
+1 |
|
0 |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
Ra |
|
|
|
|
|
|
|
|
|
|
|
||||
му¹ до 0, а збiжнiсть iнтеграла |
F (t)g |
(t) dt обгрунтову¹ться аналогiчно. |
|||||||||||||||||||||
|
|
|
|
|
+1 cos x |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|||
|
Приклад. I = |
R1 |
|
|
dx. Беремо f(x) = cos x; g(x) = |
|
. Òîäi ïðè |
> |
|||||||||||||||
|
x |
|
x |
||||||||||||||||||||
|
|
|
|
|
|
|
> 0 викону¹ться друга умова в теоремi 24, що доводить збiжнiсть iнтеграла. Але цим методом дослiдити iнтеграл на абсолютну-умовну збiжнiсть не вда¹ться.
I на кiнець цього параграфа розглянемо корисне для застосувань поняття збiжностi невласного iнтеграла в сенсi головного значення .
Означення 29. 1) Нехай f : R ! R i f iнтегровна на кожному вiдрiзку
+1
R
[a; b] R. Домовимось казати, що iнтеграл f(x) dx збiжний в сенсi голов-
1
54
ного значення, якщо iсну¹ скiнченна границя
|
|
|
|
|
|
|
+1 |
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
V.P. Z |
f(x) dx |
:= R!+1 Z |
f(x) dx: |
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|||||||
|
|
|
|
|
|
|
1 |
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
_ |
|
|
|
|
|
|
2) Нехай f визначена в проколеному околi Va = (b; c) n fag точки a 2 R |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
_ |
|
|
|
|
|
|
|
|
i iнтегровна на кожному [x; y] Va. Аналогiчно: |
|
1 |
|
|
|
||||||||||||||
|
V.P. Z |
|
|
|
:= "!0+0 |
0Z |
|
+ Z |
|
( ) |
|
|
|
||||||
|
|
c |
|
|
|
|
|
|
|
a " |
|
c |
|
|
|
|
|
|
|
|
|
|
f(x) dx |
|
lim |
@ b |
|
f(x) dx |
|
f x dx |
A |
iнтеграл |
|||||||
|
|
b |
|
|
|
|
|
|
|
|
a+" |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
(çáiæíèé) в сенсi головного значення: |
|
|
|
|
|
|
||||||||||||
Приклади. |
1) V.P.1 |
+1 |
|
|
|
|
R |
|
|
|
|
|
|
|
|||||
x dx = |
lim |
x dx = 0; |
|
|
|
|
|||||||||||||
2) |
1 |
x = |
|
R1 |
" |
x |
R!+1 RR |
|
|
|
|
|
|
|
|||||
1 |
"!0+0 |
|
" |
x + |
1 |
|
= 0. |
|
|
|
|
|
|
|
|||||
|
R |
dx |
|
lim |
|
R |
dx |
R |
|
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вправа 26. Довести, що зi збiжностi невласних iнтегралiв в звичай-
ному сенсi виходить ¨х збiжнiсть в сенсi головного значення i при цьому |
||
|
+1 |
+1 |
V.P. |
R |
R |
f(x) dx = |
f(x) dx (i аналогiчний факт ма¹ мiсце для невласних |
|
|
1 |
1 |
iнтегралiв другого роду).
55
Ðîçäië 2. Кратнi iнтеграли.
1. Iнтеграл на абстрактнiй множинi. Теорема про замiну змiнно¨ .
Нехай (X; A) довiльний вимiрний простiр (A алгебра пiдмножин множини X); : A ! R мiра. Так само, як i в роздiлi 1, запроваджу¹ться поняття просто¨ функцi¨: f проста функцiя, якщо вона прийма¹ лише скiнченну кiлькiсть значень f(1); : : : ; f(m) i кожне з цих значень во- на прийма¹ на вимiрнiй множинi Ak 2 A. При цьому iнтеграл вiд просто¨ функцi¨ f визначено за формулою:
Zm
X
f d = f(k) (Ak):
Xk=1
Âлiнiйному просторi L(X) обмежених функцiй на X запроваджу¹ться
норма за правилом: kfk = sup jf(x)j. Рiвномiрна збiжнiсть послiдовностей
x2X
обмежених функцiй на X спiвпада¹ зi збiжнiстю за нормою в L(X).
Множина D = D(X) функцiй, що можуть бути представленi як гра-
ницi рiвномiрно збiжних послiдовностей простих функцiй, утворю¹ в L(X)
лiнiйний простiр (i, навiть пiдалгебру в алгебрi L(X)). Iнтеграл коретно
визначено на функцiях f 2 D формулою: |
f d = nlim |
fn d , äå ffng |
|||
|
X |
!1X |
|
f |
. |
послiдовнiсть простих функцiй, що |
ðiâíîìiðíî çáiãà¹òüñÿ äî |
||||
R |
R |
|
|
Вправа 1. Сформулювати i довести аналоги теорем 1, 4-11 та тверджень 3-7 роздiлу 1 для довiльного простору з мiрою (X; A; ).
При цьому аналогом теореми 11 роздiлу 1 ¹ наступна теорема.
|
Теорема 1. |
Нехай E A така сiм'я вимiрних множин, що будь-яка |
|||||||||||
|
|
|
|||||||||||
A 2 A може бути розкладена в диз'юнктне об'¹днання множин з E (A = |
|||||||||||||
äëÿ |
W |
W A |
WE задовольняють систему нерiвностей: |
||||||||||
= A1 |
A2 |
: : : |
Am; Ak |
2 E). Нехай заряд ! : |
A ! R та функцiя f 2 D |
||||||||
кожного |
|
2 |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
A |
|
(A) |
6 |
!(A) |
6 |
A |
|
(A): |
|
|
|
|
|
inf f |
|
|
|
sup f |
|
56
Тодi для кожного A 2 A ì๠ìiñöå ðiâíiñòü:
!(A) = Z |
f d |
f = |
d! |
ùiëüíiñòü ! вiдносно : |
|||
d |
|||||||
|
|
|
|
|
|||
A |
|
|
|
|
Доведення. Повнiстю аналогiчне доведенню теореми 11 роздiлу 1. В x3 нам знадобиться наступна лема.
Ëåìà 1. Нехай (X; A; ) простiр з мiрою; A0 така сiм'я пiдмножин â A, ùî äëÿ áóäü-ÿêèõ " > 0 òà A 2 A iснують множини B; C 2 A0, äëÿ ÿêèõ B A C òà (C n B) < "; f 2 D(X); f > 0; ! iíøà ìiðà íà A i äëÿ âñiõ A 2 A0 викону¹ться рiвнiсть:
|
|
|
|
|
!(A) = Z |
f d : |
|
|
|
(1) |
|
|
|
|
|
|
A |
|
|
|
|
|
|
|
Тодi рiвнiсть (1) викону¹ться для всiх A 2 A. |
|
|
|
|
||||||
|
Доведення. Нехай |
|
f |
sup f(x) = M. Беремо A |
|
A, " > 0 òà |
|||||
|
|
|
k |
|
k = X |
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|||
множини B; C 2 A0, äëÿ ÿêèõ (C n B) < "; B A C. Òîäi |
|
||||||||||
|
!(A) Z f d 6 !(C) Z f d = |
Z |
f d 6 M" ; |
|
|||||||
|
|
A |
|
|
B |
|
CnB |
|
|
|
|
|
!(A) Z f d > !(B) Z f d = Z |
f d > M": |
|||||||||
|
|
A |
|
|
C |
|
CnB |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Посилання на довiльнiсть " > 0 завершу¹ доведення.
Нехай F : X ! Y вза¹мно однозначне вiдображення множини X íà Y .
ßêùî AX алгебра пiдмножин в X, то сiм'я множин AY = fF (A) j A 2 2 AXg ¹ алгеброю в Y (перевiрте!). Тобто (A 2 AX) , (F (A) 2 AY ). ßêùî
: AY |
! R |
|
|
|
|
(перевiрте властивостi мiри |
|
мiра на вимiрному просторi |
(Y; AY ), то вона iндуку¹ мiру |
||||
F |
|
f |
(Y; AY ) â |
|
|
|
F íà (X; AX) за правилом: F (A) = F (A) |
|
|||||
äëÿ |
). Функцiя ¹ простою на |
|
òîìó é òiëüêè â òîìó ðàçi, ÿêùî |
складена функцiя f F ¹ простою на (X; AX) (також перевiрте).
57
Теорема 2. Нехай F : X ! Y вза¹мно однозначне вiдображення X íà Y ; алгебри множин AX òà AY пов'язанi спiввiдношенням: (A 2 AX) , , (F (A) 2 AY ). Тодi, для будь-яко¨ функцi¨ f 2 D(Y ) òà A 2 AY , функцiя f F 2 D(X) i при цьому викону¹ться рiвнiсть:
|
Z1 |
(f F ) d F = Z |
f d : |
|
|
|
(2) |
||||
|
F (A) |
|
|
A |
|
|
|
|
|
|
|
ßêùî æ # ìiðà íà (X; AX), äëÿ ÿêî¨ iñíó¹ ùiëüíiñòü g = |
d F |
2 D(X), |
|||||||||
|
|||||||||||
d# |
|||||||||||
то для кожного A 2 AY |
викону¹ться рiвнiсть: |
|
|
|
|
|
|
|
|||
Z |
f d = |
Z |
(f F ) |
d F |
d#: |
|
|
(3) |
|||
|
|
|
|||||||||
d# |
|
|
|||||||||
A |
|
|
F 1(A) |
|
|
|
|
|
|
|
|
Доведення. Спочатку доводимо рiвнiсть (2). ¨ достатньо довести для |
|||||||||||
A = Y . Äiéñíî, ÿêùî jA iндикатор множини A |
2 |
AY , òî jF 1(A) |
= jA |
|
F . |
||||||
Òîìó |
|
|
|
|
|
|
|
|
|
R R
f d = (f jA) d i
AY
|
Z1 |
(f F ) d F = Z (f jA) F d F : |
|
|
|||
|
F (A) |
|
X |
|
|
|
|
|
m |
|
|
|
|
|
|
Нехай f = |
f(k)jAk проста функцiя на Y . Òîäi f F проста на X |
||||||
i при цьому: |
kP |
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
m |
|
|
m |
Z |
|
Z (f F ) d F = k=1 f(k) F |
|
F 1(Ak) = k=1 f(k) (Ak) = |
f d : |
||||
X |
|
X |
|
X |
Y |
|
ßêùî f довiльна функцiя з D(Y ) i послiдовнiсть простих функцiй fn
|
|
Y |
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
òàêà ùî, fn f, òî fn |
|
F |
f |
|
|
F (обмiркувати!) i |
|
|
Z |
||||||||||||
Z ( |
f |
|
F |
) |
d |
F = n!1 Z |
( |
|
n |
F |
) |
d |
F |
n!1 Z |
n |
= |
|||||
|
|
|
|
lim |
|
f |
|
|
|
|
= lim |
f d |
|
f d : |
|||||||
X |
|
|
|
|
|
|
|
|
X |
|
|
|
|
|
|
|
|
Y |
|
|
Y |
58
Рiвнiсть (3) ¹ наслiдком (2) та наступно¨ леми.
Ëåìà 2. Нехай !; # мiри на вимiрному просторi (X; A) i ! ì๠ùiëü-
íiñòü g = d!d# 2 D(X) вiдносно мiри #. Тодi для кожно¨ функцi¨ f 2 D(X) i довiльного A 2 A викону¹ться рiвнiсть:
Z |
Z |
|
f d! = |
(f g) d#: |
(4) |
AA
Доведення. Так само, як i при доведення теореми 2, рiвнiсть (4) достатньо довести лише для A = X (перевiрте!).
|
|
|
|
|
|
|
m |
|
|
|
ßêùî f проста функцiя: f = |
f(k)jAk , òî |
|
|
|||||||
|
|
|
|
|
|
|
kP |
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
f d! = |
m |
f(k)!(Ak) = |
m |
f(k) |
g d# = |
m |
f(k)jAk g! d# = |
fg d#: |
||
Z |
k=1 |
|
|
|
k=1 |
Z |
Z |
k=1 |
|
Z |
X |
X |
|
2 |
|
X |
Ak |
X |
X |
|
X |
|
|
|
|
|
|
|
|
X |
|
|
Äëÿ äîâiëüíî¨ f |
|
D(X) |
беремо послiдовнiсть простих fn f. Òîäi |
fn g f g (перевiрте!) i граничним переходом одержу¹мо:
X
Z |
n!1 Z |
n |
= n!1 Z |
f |
n |
g d# = |
Z |
|
g d#: |
|
f d! = lim |
f d! |
lim |
|
f |
|
|||
X |
X |
|
X |
|
|
|
X |
|
|
2. Подвiйний iнтеграл. Зведення до повторного iнтеграла .
Нехай X (обмежена) квадровна множина в R2. Через ïî- знача¹мо алгебру квадровних пiдмножин в X. Ця алгебра була побудована в x6 роздiлу 1 (теорема 1.15). За мiру на (X; A) беремо площу (познача¹м
подвiйним iнтегралом i познача¹ться: |
Rf(x; y) dx dy. |
2 D(X) назива¹ться |
¨¨ через s або, iнодi, через ). Iнтеграл |
f ds äëÿ f |
X
RR
X
59
Теорема 3. Нехай f рiвномiрно неперервна функцiя на X (ÿêùî X
замкнена, то достатньо вимоги неперервностi f). Òîäi f iнтегровна на
|
|
. |
(X; A) f 2 D(X) |
|
|
Доведення. |
У випадку замкненостi скориста¹мось теоремою Кантора. |
Äëÿ " > 0 iñíó¹ òàêå > 0, ùî (k~x ~yk < ) ) (jf(~x) f(~y)j < ").
Прямими, паралельними осям координат розiб'¹мо X на маленькi дiлянки
m
W
(дiаметр кожно¨ < ): X = Ak i â êîæíié äiëÿíöi Ak фiксу¹мо точку
k=1
g |
= sup f(~x) |
g(~x) |
|
" (перевiрте!). |
|
m |
|
|
P |
||||
~xk (k |
= 1; : : : ; m). Тодi проста функцiя |
g = |
f(~xk)jAk òàêà, ùî |
|||
k |
j |
|
j 6 |
|
|
k=1 |
|
Посилання на довiльнiсть |
kf
" > 0
|
|
|
~x2X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
завершу¹ доведення (чому?). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
Наступний результат доводиться цiлком аналогiчно до твердження 1.11. |
|
||||||||||||||||||||||||||
d( m) = |
max diam Xi;m |
|
|
~xk;m |
|
Xk;m òà |
|
|
|
|
W |
|
|
W |
W |
|
|
|||||||||||
|
Розглядаються вiдмiченi розбиття m |
: X = X1;m X2;m |
: : : |
Xn(m);m; |
||||||||||||||||||||||||
|
|
|
|
16i6n(m)f |
|
|
|
g |
; |
|
2 |
|
|
|
|
вiдповiднi iнтегральнi суми: |
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
n(m) |
f |
|
|
|
|
|
|
|
|
|
|
|
X |
|
|
m |
|
|
|
|
|
|
||
Sm(f) = |
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
f(~xk;m)s(Xk;m). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
k=1 |
|
рiвномiрно неперервна на |
|
i |
f |
|
g |
ïîñëiäîâíiñòü |
||||||||||||||||
Теорема 4. Нехай |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
RR |
|
|
|
|
||
|
Доведення. проведiть самостiйно! |
|
|
|
|
|
|
|
!1 |
|
|
|
|
|
||||||||||||||
розбиттiв, для яких d( m) |
! |
0, m |
! 1 |
. Òîäi Sm(f) |
! |
|
f(x; y) dx dy. |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
. |
Нагада¹мо (x1:6): цим символом познача¹ться будь-яка |
|
|
A |
|||||||||||||||||||||||||
|
|
|
||||||||||||||||||||||||||
|
Прикладом квадровно¨ множини ¹ криволiнiйна трапецiя |
T [a; b]; f; g |
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
множина |
|
, äëÿ |
|||
яко¨ викону¹ться спiввiдношення: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
j |
a < x < b; g(x) < y < f(x) |
|
(x; y) a 6 x 6 b; g(x) 6 y 6 f(x) : |
||||||||||||||||||||||||
(x; y) |
|
|
|
A |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
j |
|
|
|
|
|
|
|
|
Òóò f; g 2 C[a; b]; f(x) > g(x) â êîæíié òî÷öi x 2 [a; b].
Якщо множина A R2 розклада¹ться в диз'юнктне об'¹днання скiнченно¨ кiлькостi криволiнiйних трапецiй вказаного вище виду, то така множина теж квадровна. Покладемо далi в цьому параграфi: X ¹ саме такою множи-
60