Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

s2_matan_kol_shpore_html_pdf

.pdf
Скачиваний:
16
Добавлен:
19.03.2015
Размер:
7.12 Mб
Скачать

#13. Невласні інтеграли 2-го роду: збіжність у випадку додатної підінтегральної функції. 2 теорема порівняння.

(c)Горбаченко В.А. Конспект Моторной. Оригинал Карпович Вита

f (x)

0,

 

 

g(x) 0

[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

[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 .

 

 

 

 

 

 

 

 

 

 

Теорема доведена.

C[a,

#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

 

, а функції

 

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]