Материал: Дифференциальное и интегральное исчисления. учебное пособие. Ряжских В.И., Ряжских А.В

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

19.5. Интегрируемость непрерывных и монотонных функций

Теорема. Функция, определенная и непрерывная на некотором отрезке, интегрируема на нем.

□ Пусть f x , x a,b непрерывна, тогда она ограничена. Возьмем

0, тогда 0,

 

 

что a,b и a,b , удовлетворяющих

 

 

 

, выполняется неравенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f f

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

i k

 

 

 

 

 

 

 

 

b a

 

 

 

 

 

 

f x ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть

i

,

 

 

 

причем

 

; x x x

 

; m inf

 

 

 

 

 

 

 

 

 

i 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

i

 

i 1

 

i

xi 1 ,xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x ,

 

 

 

 

 

f x непрерывна, то

 

 

 

 

 

 

Mi

sup f

i 1, k. Т.к.

 

 

 

 

 

 

 

xi 1 ,xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i xi 1, xi

и i xi 1, xi ,

 

 

 

 

 

что f

m ;

 

 

f

M

i

, причем

 

 

i

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

i

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

i

 

 

 

 

 

 

 

 

f i f i

 

f i f i

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

На основании этого запишем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

0 S s

 

M

i

m

x

f

f

 

 

x

 

 

 

x ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

i

 

 

 

 

 

i

 

 

 

 

 

 

 

i

 

i

b

 

i

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a i 1

 

 

т.е. lim S s 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

■

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема. Функция, определенная и монотонная на отрезке a,b ,

интегрируема на этом отрезке.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

□ Пусть для определенности

f x возрастает монотонно, т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f a f x f b ,

 

 

a x b,

 

 

 

 

 

т.е.

f x ограниченная. Для : x i ii 0k

имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

mi f xi 1 , Mi

f xi , i

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,k

 

 

 

 

 

71

поэтому S

 

f s f

 

k

M

i

m

x

 

 

k f x

f x

x

 

 

 

 

 

 

 

 

 

i

i

 

 

 

i

i 1

 

i

 

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

i 1

 

 

 

 

 

 

k

 

f x

f b f

a

 

 

 

 

 

 

 

 

 

 

f x

 

 

(т.к. в сумме уничтожаются

 

 

i

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

 

 

f b и

f a

 

 

 

 

 

 

 

 

 

 

все слагаемые, кроме

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim S

f s f

0.

 

 

 

 

■

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

20. СВОЙСТВА ИНТЕГРИРУЕМЫХ ФУНКЦИЙ

20.1. Свойства определенного интеграла

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1.

dx b a.

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

□

xi

b a.

 

 

 

 

 

 

 

 

 

■

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

2. Если

f x интегрируема

на a,b ,

то

f x

интегрируема на

*

 

*

 

 

a,b .

 

 

 

 

 

 

 

 

 

 

a

,b

 

 

 

 

 

 

 

 

 

 

 

□ Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x ;

 

f x ,

 

 

 

 

 

 

m*

 

inf

M * sup

x* x* x*

,

i 1, k*.

 

 

i

 

x*i 1 ,x*i

 

i

 

 

i

i

i 1

 

 

 

 

 

 

 

 

 

x*

,x*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 1

i

 

 

 

 

 

 

 

 

Запишем

*

 

*

 

k*

i

i

i

k

 

i

i

 

i

 

 

 

 

 

 

 

0 S

s

 

 

M * m* x*

 

M

 

m

x

S

s

 

 

 

 

i 1

 

 

 

i 1

 

 

 

 

 

 

 

lim S

* s *

0.

 

 

 

 

 

 

 

 

 

 

* 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f x интегрируема на a,c и

3. Пусть a c b. Если

интегрируема на a,b ,причем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

c

 

 

b

 

 

 

 

 

 

 

 

 

f x dx f x

dx f x dx.

 

 

 

 

 

 

 

a

 

a

 

 

c

 

 

 

 

■

c,b , то она

72

□ Пусть a,b ;

1

a,c ; 2

c,b , причем 1 ,

 

2 , тогда

0 S s

S 1

S 2

s 1

s 2 S 1 s 1 S 2

s 2

 

 

или,

 

переходя

к пределу при

0

 

0,

0 , получим lim

S

s

0.

■

 

 

 

 

 

 

 

 

1

2

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

f x

 

g x

 

 

 

 

 

 

 

 

 

 

a,b ,

 

4. Если

функции

и

интегрируемы

 

на

то

f x g x интегрируема и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

f

x g x dx b f

x dx b g x dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

a

 

 

 

a

 

 

 

 

 

 

 

 

 

 

f g

 

k

 

g

x

k

f

 

x

k

g

 

 

 

 

□

 

 

f

 

 

 

x

 

 

 

 

 

i

 

i

 

i

i

 

i

 

 

i

 

 

i

 

 

 

 

 

 

i 1

 

 

 

 

 

i 1

 

 

 

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f g ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim f

g lim

f lim g , но

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

f

g b f

0

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

lim

 

 

f b

f x dx,

0

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

5. Если f x интегрируема

на

x g x dx,

 

 

 

 

 

 

 

 

lim

 

g

b

g x dx.

■

0

 

 

 

 

 

 

 

 

a

 

 

a,b

 

 

 

и

c const, то

c f x

интегрируема и

 

 

 

 

b

 

 

b

 

 

 

 

 

 

c f

x dx c f x dx.

 

 

 

 

 

a

 

 

a

 

 

 

k

 

 

k

 

 

 

 

 

□ c f c f

i xi

c f i xi

c f

 

 

i 1

 

 

i 1

 

 

 

 

b c f x dx lim

 

c f lim c

 

f c b

f x dx.

■

 

0

 

 

0

 

 

 

 

 

a

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

6. Если f x и g x интегрируемы на a,b , то

f x g x

интегрируема.

(Без доказательства)

73

7. Если f x и g x интегрируемы на a,b и x a,b f x g x , то

 

 

b

 

 

b

 

 

 

 

 

f x dx g x dx.

 

 

 

 

 

a

 

 

a

 

 

 

 

 

(Без доказательства)

 

 

8. Если

f x интегрируема на a,b , то

 

 

 

 

a

b

a

 

 

 

f x dx 0,

f x dx f x dx.

 

a

a

b

 

 

 

 

(Без доказательства)

 

 

9. Если

f x интегрируема на a,b , то

 

f x

 

интегрируема и

 

 

 

 

b

 

b

 

 

 

 

 

 

 

 

 

 

 

f x dx

 

 

f x

 

dx,

a b.

 

 

 

 

 

 

a

 

a

 

 

 

 

 

(Без доказательства)

 

 

Замечание. Доказательство

приведенных свойств изложено

в [1].

20.2. Теорема о среднем значении для определенного интеграла

Теорема. Пусть:

 

1) f x и g x интегрируемы на a,b ;

2) m f x M ,

x a,b ;

3) g x не меняет знака на a,b , тогда , что

m M и

 

b

b

 

 

 

 

f x g x dx g x dx.

 

 

a

a

 

 

 

 

□ Умножим неравенство m f x M

на g x :

 

при g x 0

mg x f x g x

M g x ;

 

при g x 0

mg x f x g x

M g x .

 

74

Проинтегрируем полученные неравенства:

b

 

b

 

 

b

 

m g

x dx f x g x dx M g x dx;

 

a

 

a

 

 

a

 

b

 

b

 

 

b

 

m g x dx f x g x dx M g x dx.

 

a

 

a

 

 

a

 

b

 

 

 

 

 

 

При g x dx 0

доказательство .

 

a

 

 

 

 

 

 

 

 

b

 

 

 

 

Рассмотрим случай g x

dx 0 :

 

 

 

 

a

 

 

 

 

b

 

 

 

 

b

 

если g x 0, то g x dx 0; если g x 0, то g x dx 0.

 

a

 

 

 

 

a

 

 

 

 

 

 

 

b

 

Производя деление неравенств на g x dx, получим

в обоих

 

 

 

 

 

 

a

 

случаях

 

 

 

 

 

 

 

 

 

b

x g x dx

 

 

 

 

 

f

 

 

 

 

m

a

 

 

M ,

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

g x dx

 

 

 

 

 

 

a

 

 

 

b

 

 

 

 

 

 

 

f x g x dx

 

 

тогда, полагая

a

 

 

 

.

 

■

 

b

 

 

 

 

 

 

 

 

 

 

g x dx

 

 

 

 

 

 

a

 

 

 

 

Следствие (Интегральная теорема о среднем). При дополни-

тельном предположении непрерывности

f x

a,b , что

b

b

 

f x g x dx f g x dx,

a

a

 

в частности при g x 1

 

 

b

 

 

f x dx f b a .

 

a

75

Источник: https://studfile.net/preview/16568692/