s2_matan_kol_shpore_html_pdf
.pdf#13. Невласні інтеграли 2-го роду: збіжність у випадку додатної підінтегральної функції. 2 теорема порівняння.
(c)Горбаченко В.А. Конспект Моторной. Оригинал Карпович Вита
f (x) |
0, |
|
|
g(x) 0 |
xє[a,b] |
|
|
|
lim |
f (x) |
k |
(0 k |
) |
|
|
|
|
|
|
|
|
|
||||
g(x) |
|
|
|
|||||
x b 0 |
|
|
|
|
|
|
||
b(вкружочку) |
|
|
|
b(вкружочку) |
|
|
||
1) |
g(x)dx |
|
|
f (x)dx |
0 k |
|
||
|
a |
|
|
|
a |
|
|
|
b(вкружочку) |
|
|
|
b(вкружочку) |
|
|
||
2) |
g(x)dx |
розбіж ний |
f (x)dx |
розбіж ний |
0 k |
|||
|
a |
|
|
|
a |
|
|
#14. Збіжність |
b |
1 |
|
b |
1 |
|
|
dx, |
|
dx. |
|||
a |
(x a) |
a |
(b x) |
|||
|
|
|
|
|
||
|
|
|
|
|
|
|
(c)Горбаченко В.А. Конспект Моторной. Оригинал Карпович Вита
b |
dx |
|
b |
|
dx |
b |
dx |
|
|
|
|
x |
a |
|
a 1 |
|
b |
|
|||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
lim |
|
lim |
|
|
lim |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
a (x a) |
(x a) |
(x a) |
|
|
a 1 |
|
|
|
|||||||||||||||||||
|
a |
a |
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
lim |
1 |
|
1 |
|
1 |
const, a |
1 |
|
0 |
|
|
|
|
|
|
a |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
1 a b a a 1 |
|
|
|
|
a 1 |
|
, a 1 0 |
|
|
|
|
|
|
|
|
|
||||||||||
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
lim |
|
|
dx |
|
lim ln( x |
|
a) |
|
b |
lim ln | b |
a | |
ln | |
a | ln | | |
тире |
|||||||||||||
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||
|
0 |
|
x a |
0 |
|
|
|
|
|
a |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
dx |
|
|
|
a |
(x |
a)a |
|
|
|
b |
|
dx |
|
|
|
a |
(b |
x)a |
|
|
f є[a,b)
b
f (x)dx
зб. a 1 розб a 1 зб. a 1 розб a 1
b h |
b |
f (x)dx f (x)dx
a |
a |
b h |
hє[0,b a]
#15.Невласні інтеграли 2-го роду: збіжність у випадку підінтегральної функції довільного знаку. Критерій Коші. Абсолютна збіжність. Теорема.
(c)Горбаченко В.А. Конспект Моторной. Оригинал Карпович Вита
Критерії Коші. |
b(вкружочку) |
b h |
f (x)dx |
lim |
|
|
|
h 0 |
|
a |
a |
f (x)dx для збіжності такого інтеграла
необхідно і достатньо |
0 |
( |
) 0 |
h` |
є[0,b a] |
|||||||
|
|
|
|
|
|
|
|
|
|
|
h`` |
|
0 |
h` |
|
|
|
b h'' |
b |
h' |
|
|
b h'' |
|
|
|
|
|
|
|
|
|
||||||
|
Ф(h'') Ф(h') |
|
f (x)dx |
|
f (x)dx |
|
|
f (x)dx |
|
|
||
|
|
|
|
|
|
|
||||||
0 |
h`` |
|
|
|
|
|
|
|
||||
|
|
|
0 |
0 |
|
|
|
b h' |
|
|
||
|
|
|
|
|
|
|
|
|
|
Теорема.f(x), xє[a,b)
b |
b |
f (x)dx f (x)dx
a |
a |
b(вкружочку)
Озн. f (x)dx
a
називається абсолютно збіжним, якщо збігається
інтеграл від модуля функції b f (x)dx
a
#16. |
Ознака Абеля |
|
|
|
|
Нехай |
функції a, |
f |
g |
такі, що f (t)dt |
- |
R , a, |
R |
a
збігається, а функція g - монотонна й обмежена, то
f (t)g(t)dt - збігається.
a
Доведення. За другою теоремою про середнє внаслідок монотонності функції g можемо записати рівність x2 , x2 a
x2 |
x2 |
I (x1 , x2 ) |
f (x)g(x)dx g(x1 ) f (x)dx g(x2 ) f (x)dx . Якщо записати критерій |
x1 |
x1 |
x 2
Коші збіжності інтегралу f (t)dt , то 0 A 0 x1 , x2 A
a |
x1 |
а тому I (x1 , x2 ) 2M .
Теорема доведена.
f (x)dx ,
Ознака Діріхле
#17.
Нехай функції |
|
f |
, |
|
g |
такі, що |
A |
- |
a, |
R |
a, |
R |
f (t)dt |
||||
|
|
|
|
|
|
|
a |
|
обмежений, а |
функція g |
- |
монотонно |
прямує до |
нуля, |
то |
f (t)g(t)dt - збігається.
a
Доведення. За другою теоремою про середнє внаслідок монотонності
функції g можемо записати рівність |
x2 , x2 |
a |
|
||||
|
|
|
x2 |
|
x2 |
|
|
|
I (x1 , x2 ) |
f (x)g(x)dx |
g(x1 ) f (x)dx |
g(x2 ) f (x)dx . Якщо записати критерій Коші |
|||
|
|
|
x1 |
x1 |
|
|
|
збіжності |
функції g |
до нуля, то |
0 |
A 0 x1 , x2 A g(x) |
, а тому |
||
|
I (x1 , x2 ) |
|
2M . |
|
|
|
|
|
|
|
|
|
|
Теорема доведена.
#19: Інтегрування частинами(а) та заміна змінних(б) у невласних інтегралах
А) Нехай функції f , g ) , диференційовані в кожній точці області визначення та їх похідні неперервні скрізь, за виключенням множини точок
лебегової міри нуль, і крім того існує lim f (x)g(x) A R . За цих умов із збіжності
x
одного з інтегралів f (t)g (t)dt , f (t)g(t)dt слідує збіжність іншого і при цьому
a |
a |
виконується рівність |
|
f (t)g (t)dt A f (a)g(a) |
f (t)g(t)dt , яку називають формулою інтегрування |
a |
a |
частинами для невласного інтегралу першого роду.
Доведення. Все слідує з аналогічної формули для інтегралу Рімана (власного)
|
|
|
|
|
t |
x |
|
|
|
|
|
|
x |
|
|
|
|
x |
|
|
|
|
|
інтегралу: |
f (t)g (t)dt |
f (t)g(t) |
|
f |
(t)g(t)dt |
. Далі |
граничний |
перехід |
при |
||
|
a |
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
t |
a |
|
|
|
|
|
x |
. |
|
|
|
|
|
|
|
|
|
|
Б) Нехай функція f C[a, |
) , функція |
g |
R диференційована, зростаюча, а |
||||||||
, |
|||||||||||
її похідна g |
неперервна в кожній точці Dg , за виключенням множини лебегової |
||||||||||
міри |
нуль, |
а також |
g( |
) a , Eg |
[a, ) . |
Якщо |
f (t)dt - |
збігається, |
то |
||
|
|
|
|
|
|
|
|
|
a |
|
|
( f g)(t)g (t)dt і при цьому виконується рівність:
f (t)dt ( f g)(t)g (t)dt , яку називають формулою заміни змінної в
a
невласному інтегралі першого роду.
Доведення. Ця теорема також є наслідком аналогічної властивості для інтегралу
Рімана. |
[a, x] [a, ) |
[ |
, y]: Eg[ |
, y] [a, x], де g( y) |
x (внаслідок неперервності |
та монотонності функції g ) |
|
|
|||
x |
y |
|
|
|
|
f (t)dt |
( f g)(t)g (t)dt |
, |
ну а |
далі граничний |
перехід при одночасному |
a
прямуванні x, y до нескінченносты
#20: Головне значення розбіжного інтегралу
Нехай c [a, b] |
f |
|
|
|
[a, b] \ {c}, |
R , функція [a, b] \ {c} R інтегрована [ , |
] |
||||
та інтеграл b |
f (x)dx розбігається, але існує lim |
c |
f (x)dx |
b |
f (x)dx I R |
a |
|
0 |
a |
c |
|
|
|
|
, то цю границю називають головним значенням у розумінні
b
Коші розбіжного інтеграла і позначають v. p. f (x)dx .
a
#21: Власні інтеграли, залежні від параметра(а). Теорема про неперервність(б) . Наслідки(в)
А) Нехай E |
|
I |
J , де I |
|
a, b , |
J |
c, d , |
f : E |
R інтегрована за Ріманом |
||||||||||||||||||
|
|
J на сегменті I |
функція. Тоді на інтервалі J |
визначимо функцію F : |
|||||||||||||||||||||||
|
|
b |
|
|
dx яку ми назвемо інтегралом Рімана, залежним від |
||||||||||||||||||||||
|
F |
f |
x, |
|
|||||||||||||||||||||||
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
параметра |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Б) Якщо функція f |
неперервна на E , то F |
C J . |
|
|
|
|
|
||||||||||||||||||||
Доведення. Нехай |
0 |
J |
- довільна точка цього проміжку, розглянемо |
||||||||||||||||||||||||
звуження |
|
|
де E |
|
J . |
З |
того, що E - |
компакт |
f - |
рівномірно |
|||||||||||||||||
f |
E , |
I |
|||||||||||||||||||||||||
неперервна на E . Тому |
|
|
|
|
|
|
|
f (x, 0 |
h) |
f (x, |
|
|
|||||||||||||||
|
0 |
0 |
h : |
h |
|
0 ) |
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
(b a) , |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
F( 0 |
h) |
F( 0 ) |
|
|
|
f (x, 0 |
h) |
f (x, 0 ) dx |
|
|
f (x, 0 |
h) |
f (x, 0 ) |
dx |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
||
що й доводить неперервність F в точці 0 внаслідок довільності з |
|||||||||||||||||||||||||||
цього й слідує, що F |
C(J ) . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В) В умовах попередньої теореми має місце рівність:
b |
b |
|
b |
lim f (x, )dx |
lim |
f (x, ) dx |
f (x, 0 )dx . |
0 a |
a |
0 |
a |
#22. Диференціювання власного інтеграла, залежного від параметра (всі випадки).
Теорема 3. (Диференційованість ІЗП)
Якщо функція f має на E неперервну часткову похідну |
f |
F (з(1)) |
|
|
, то функція |
||
|
диференційована на J і її похідна обчислюється таким чином:
|
|
|
|
|
|
|
F |
b |
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
x, |
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(4) |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
(формула Лейбниця) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
Доведення. За |
теоремою 1 |
g : |
|
|
|
|
x, |
dx є неперервною |
функцією |
на J , |
треба довести |
|||||||||||||||||||
|
|
|
a |
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
диференційованість F та рівність F |
|
g , це означає, що треба довести співвідношення: |
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
F |
h |
|
|
F |
|
|
|
g |
|
h |
|
o h |
|
|
|
|
|
|
|
|
(5) |
|
|
|
|
|
||||
|
|
|
Зафіксуємо довільне |
|
|
|
|
J , |
і як в теоремі 1 |
виберемо сегмент J |
J , який містить |
і позначимо |
|||||||||||||||||||||
|
E I J |
. З |
рівномірної |
неперервності |
|
|
f |
на |
E |
ми маємо, що |
0 |
0 : |
h : |
|
h |
|
|||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
f |
x, |
h |
|
|
f |
x, |
|
|
|
|
|
|
h |
|
|
|
J . |
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Застосовуючи теорему про середнє, будемо мати, якщо h :
f x, |
|
h |
f x, |
|
f |
x, |
|
h |
|
|
|
|
|
f |
x, |
|
|
h |
|
f |
|
x, |
|
h |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
f |
x, |
|
|
f |
x, |
|
|
h |
|
|
|
|
|
|
h |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
h . Остаточно маємо: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, |
|
|
так |
як |
|
|
|
середня |
точка |
між |
і |
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
b |
|
|
a |
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
F |
h F |
|
g h |
|
|
|
a |
|
f x, |
|
|
h |
|
f x, |
|
|
|
x, |
h dx |
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
b |
|
f |
x, |
h |
|
f x, |
|
|
|
|
|
f |
x, h |
|
dx |
|
h |
|
,звідки і слідує рівність (5). |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
Теорема доведена. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 4. (Диференційованість складної функції ІЗП)
Якщо в умовах теореми 2 f неперервна на E разом із своєю похідною |
f |
|
|
, а функції |
|
|