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

Иванов Матан

.pdf
Скачиваний:
28
Добавлен:
03.06.2015
Размер:
2.95 Mб
Скачать

'0(x) = fxw((x;t)y=0

+ t)fx (x0fx+(x;1yt;0)y,0получае+ t) ìfx

(x0 + 1t; y0) t:

 

 

x

 

 

 

 

теорему Лагðàнжа о ср днем для ункции

(y) =

 

 

f

(x0 +

 

 

 

 

 

 

Приментакое,ÿÿ÷òî (y + t)

 

 

( ) =

 

 

 

0(y

 

 

+ t) t, ò. å.

 

 

 

 

 

 

 

 

 

 

 

 

+ 1t; y), получаем, что сóùåñтвует

число 2

2 (0; 1), зависящее от t

 

 

 

 

0

w(t) =

 

 

 

0

 

 

 

(x0

 

 

 

 

 

0

 

 

 

2

+ 2t) t2

:2f

 

 

 

 

 

 

 

 

(1)

 

 

 

 

 

y2fx

 

+ 1t; y0

(x; y)

â

 

 

 

В силу непрерывносòè

 

частной

 

 

произвоäíîé

 

 

 

 

 

 

точке

(x ; y ) и условий

 

2

(0

; 1),

 

 

2 (0; 1), получаем

0

 

 

0

 

 

 

 

 

 

 

 

0

 

0

 

 

21f

 

 

 

 

 

 

 

1

2

 

 

0

 

 

 

 

 

 

2

 

 

 

 

 

 

 

2f

 

 

 

 

 

 

 

 

 

 

 

 

 

t!0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x y; x );

 

 

 

 

 

 

 

 

 

 

 

y x

(x

 

+ t; y

 

 

+ t) =

y x

 

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

откуда и из (1) следует, что

 

 

 

 

 

 

 

 

 

 

 

2f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

w(t)

=

 

 

 

 

(x0

; y0):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t!0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y íà x

 

 

замене унêöèè

Поскольку при замене переменныхy íàx y,

 

 

 

 

f(x; y) на ункцию f(y; x), у кция w(t) не изменится,

 

 

ïîìåíÿ-

ется порядок ди åренцироваíèÿ

â

 

смешанной

производной

 

 

2f ,

òî

 

 

 

 

2

 

 

 

lim

 

w(t)

=

 

 

 

2f

 

(x

0

; y

0

):

 

 

 

 

 

 

 

 

 

 

 

 

 

y x

 

 

 

 

 

 

 

 

t!0

 

 

t2

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

x y

(x

 

; y

 

) =

y x

 

 

 

 

 

 

 

 

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

0

0

 

 

 

 

f x( y; y

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

З м ч ни . По аналогии с теоремой 1 мож о доказать, что ес

этой точк частные

производные k-го порядканепрерывнызависят от порядк

 

частные производные k-го порядка ункции f(x

 

; :::; x ) опреде-

дипорядкОпpеренцирования(k л 1)ни ункции f определены в

окрестности

точки

 

x0 è

ëåíû

 

окрестности т чки x

0

2 R

n

 

è

 

 

 

 

 

 

 

 

 

 

 

 

1

 

n

 

 

 

0

, òî â

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точке x

 

 

 

 

 

 

.

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; :::; x

 

)

 

азывается k раз

 

 

 

 

 

 

Функция f(x) = f(x

1

n

 

 

еренцируемой

 

 

 

точке x

0

 

2 R

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, если все част ые пр изводные

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

183

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

åìû â òî÷ê

 

 

 

 

0

. Ди еренциал k-го порядка опреде-

ляетсяди еренцирупо инд кции:

dkf(

 

0) = d(dk 1f)(x0):

 

 

 

 

 

 

 

 

 

 

 

 

При вычислении

ди еренциала выраж ния dk 1f ди ренциалы

независимых переменных

dxi, входящиå в dk 1f, следу

 

считать

постоянными.

Пусть ункция f(x) = f(x

; :::; x

 

 

) являетсÿ k ðàç

Ë ìì 1.

n

ди еренцируемой в точке x

0

2 R

n

. Тогда

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

kf

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

X

 

 

 

 

 

 

 

 

 

(x0) dxik

dxi1 :

 

 

dkf(x0) = i

 

=1

i

 

=1

 

 

xik xi1

 

 

 

 

 

 

 

 

1

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Äîê ò ëüñò î. Â ñèëó теоремы!4 Ÿ 6 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

f

 

 

d2f(x0)=d(df)(x0) = d

 

X

 

(x) dxi

 

 

 

=

X

d

 

 

(x0) dxi:

 

 

 

 

x

 

 

 

 

 

 

 

x

 

 

 

i=1

 

 

i=1

 

 

 

i

 

Испольçóÿ равенства

 

 

 

 

 

 

i

 

 

 

 

 

 

x=x0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

n

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

n

 

 

 

2f

 

 

 

 

 

d

 

 

(x0) =

 

X

 

xj

 

 

 

 

 

 

 

(x0) dxj

=

X

 

 

 

(x0) dxj ;

 

xi

 

 

j=1

 

 

 

 

 

xi

 

j=1

xj

xi

 

 

 

 

 

 

 

 

 

 

 

 

приходим к соотношениÿì

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

n

 

2f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2f

 

 

 

 

 

 

d2f(x0)=

X X

 

 

 

 

 

 

 

 

 

 

 

 

dxi

=

X X

 

 

 

 

 

 

 

 

i=1 j=1

xj

xi (x0) dxj

i1

=1 i2=1

xi2

 

xi1 (x0) dxi2 dxi1 :

ассуждая аналогично, индукцией по k получаем доказываемую

ормулу.

 

 

Ÿ 10.

 

Напом им, что в гл ве 5 было введено понятие линейн го

 

как мнОператорыжества, на кот ром опр деле ы операция сложе

ния элеме тов и операция умноженияди элементеренцированиячисло, удîвлетвпро-

странстваяющие определенным аксиомам.

 

 

184

 

Ïpè

 

p

 

Пусть X R

n

 

открытое

 

множество. Обозначим че

ðåç F

0

 

 

 

ножество ункций f :

X ! R,

 

 

 

 

через F k

, ãäå k 2 N,

множествоX

у кций f : X ! R, ди еренцируемыхXk раз в к

 

 

 

точке x 2 X. Легк

 

проверить, что множества F k

(k = 0; 1; ::) ÿâëÿ-

þòñÿ ë

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пространствами с обычными операциями слоаждойения

óíêöинейнымиум ожения

 

 

 

 

 

 

 

 

 

 

 

на число.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Îïp

 

 

 

 

 

 

.

 

ПустьункцииF G лèíейные пространства. Отобра-

èç F

 

 

G,

 

 

ëнидля любых элеме тов f1

; f2

 

2 F è

 

 

юбых чисел 1

; 2

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, действующим

жение A : F ! G называется лин йíûì îï ð òîðî

 

 

Ïpèì p. ×à

 

 

íàÿ

 

 

 

 

 

 

 

 

 

äíàÿ

 

 

 

 

 

 

 

является

линейным

 

 

 

 

выполняетеся

A( f + f ) =

Af

 

 

+ Af .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

1

 

1

 

 

2

 

2

 

 

 

 

 

 

1

^

1

 

 

 

 

 

 

 

2

^

 

2

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

íîе пространство F k 1.

 

 

 

 

 

 

 

 

 

 

 

 

xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

íî, для любой k раз диоператоер -

 

ì A =

xi

,

действующимпроизволиней

 

 

 

 

го простðàнства FX

ëèí

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ункция (Af)(x) =

xi

(x) является k 1

цируемой ункции f 2 FX

ðàç äè åðåíцируемой,Действитель. . f 2 F k 1. Èç ñâîéñòв производной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

k

 

 

 

 

 

 

^

 

 

 

 

^

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

: 8f1; f2

2 FX ; 8 1; 2

2 R:

следует лèíейность оператора A =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

X

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

( 1f1(x) + 2^f2(x))^= 1

 

 

 

 

f1

(x) + 2

 

f2

(x):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi

xi

 

 

 

 

 

 

Опp л ни . Пусть A1

; :::; An

 

 

 

 

 

 

 

 

 

 

 

 

 

ûå

 

ператоры, действу

ющие из линейного

 

 

 

 

 

 

 

 

 

 

 

 

 

Fлинейв íейное

пространство G,

ный оператор,

 

езу ьпространстваат действия которого на элемент f 2 F опре-

деляется по ормуле

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; :::;

 

 

числа. Через

 

 

 

+ +

 

 

 

 

 

будем обозначать линей

n

 

 

A

1

n

A

n

1

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ +

 

 

^

 

 

f =

 

 

^

 

f + +

 

 

f:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

1

n

A

n

 

 

A

 

n

A

n

 

 

 

 

 

 

 

 

 

n

 

 

 

 

.

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для заданных чисел 1

; :::; n

 

è î êðûтого множеñòâà

X ПpимR рассмотримp

линейный оператор A = 1 x1

+

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

èç F k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x1

 

 

 

 

 

 

 

xn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в F k 1. Поскольку результат применения опе-

действующий. . равен скалярному произведению вектора ` = ( 1; :::; n) 2 Rn

 

 

 

 

 

 

^

 

 

 

 

 

 

 

X

 

 

X

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

FX

 

 

 

 

 

 

 

 

 

 

 

 

 

= 1

 

 

 

 

+ + n

 

,

ратора A к ункции f

 

 

 

равен Af

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

185

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=íà(gradвекторf(-x)f;ункцию`),

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

f

 

 

 

^

 

 

 

 

 

 

 

gradсилуf(xормулы) = x(grad1 x); f(x;)x`)n (=x) f`: (x)(Afполучаем)(x) =

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(Af)(x) = ` (x),

 

. . оператоð A ÿâëяется операторîм взятия про-

изводной по вектору `:

 

 

 

^

 

 

`

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Опp л ни . Пусть F; G; H линейные пðîстранства;

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

операторы. Прои ни м или суп рпо-

 

G, B : G ! H

 

 

 

 

 

 

 

ици й операторовлинейныеA B называется линейный оператор B A : F !

 

 

 

 

 

 

 

 

^

 

 

^

 

 

 

 

 

 

 

 

 

 

 

^

^

 

 

 

 

 

 

^

 

 

^

 

 

 

 

 

! H, определяемый по ормуле^ ^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8f^2 F

xi

(B A)f = B(Af):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пpим p. Пусть Ai =

 

операторы частныõ ïðîизвод

 

õ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^

^

являются

 

 

 

 

 

^

 

 

ервого поðÿдка. Произведениями операторов

 

 

÷àñòíûå

ïроизводные

 

 

 

 

 

порядêîâ.

 

 

 

 

 

 

 

Ai Aj

=

xi xj ,

 

 

 

 

Ai

=

 

Заметèм, чтовысшобщемèõ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

2

 

 

 

 

 

 

 

ìó

 

случае Например,оизведение операторîâ íåêî

 

 

^

^

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

k 2

 

 

= x2

линейíые операто ы, действующие из FX в FX .

 

= Ai Ai

 

 

 

 

 

i

 

^ ^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

^ ^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

), äëÿ

та ивно: A B =6 B A. В Ÿ 9 был приведен пример ункции f(x;

êîòîðîé

x y

f =6

y x

f.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

èìåþ

 

Из теоремы 1 Ÿ 9 следует, что на пространстве

 

 

 

 

 

 

щих непрерûâные смешанные

производные, операторыункций,

 

 

êîì-

мутативны.

 

 

Пусть ункöèÿ f(x) = f(x ; :::; x )

 

 

 

 

ÿ k

ðàç

 

Ë ìì 1.

 

 

 

 

 

ди еренцируемой в точке

0

2 R

n

. Тогда в этой точкявляетс

 

 

 

 

 

 

 

 

 

 

 

dkf =

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dx1 x

1

+ : : : + dxn

x

n

k f!:

 

 

 

 

 

 

 

 

 

 

 

Äîê ò ëüñò î. Èíäукцией по k ïîëó÷àем равенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

dx1

x

1

+ : : : + dxn x

n

k f!

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

kf

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

X

 

 

X

 

x

 

 

 

dxik

dxi1 :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i1

=1

ik=1

 

 

 

 

 

i1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ik186

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ОтсюдаË ììâ

ñèëó2. Пустьлеммыâñå1 Ÿ

частные9 åòïðäîизводныеê

 

k-ãîутвержпорядкаåíèå.óíê-

ции f(x; y) непрерывны в точкследу(x0; y0).азываемоеТогда этой точке

 

 

 

 

 

 

 

k

 

 

 

 

 

k

 

 

i

 

kf

 

 

 

k i

 

i

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

k!

 

 

 

 

 

 

 

d

f =

X

 

 

 

 

 

 

;

 

ãäå

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

Ck

xk i

yi dx

 

 

dy

 

 

 

Ck

= (k i)! i!:

 

 

Äîê ò ëüñò о. В силу теоремы 1 Ÿ 9 смешаннûå ïðîèзводные

порядк

 

k

 

 

 

 

 

 

 

f в точке (x ; y ) не завис

 

 

îò порядка äè å-

ренцированèÿ. Ïîýòîìó â âûðàæ

0

 

 

 

dx

 

 

+ dy

 

 

 

 

 

k f

 

(x0; y0)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

операторы унêöиикомìóтируют,

 

 

 

 

 

 

 

x

 

 

 

 

y

 

 

 

 

 

 

åíèè. . âåäóò ñåáÿò

êак обычные числа.

 

 

 

 

 

 

 

x

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

; y

 

) получаем

Применяя ормулу для бинома Ньютона, в точке (x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

!

 

k

 

i

 

 

kf

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k i

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

dx x + dy y

 

 

 

f =

X

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

Ck xk i yi dx

 

 

 

 

 

dy

 

 

 

Отсюда и из леммы 1 следует доказываемое равенство.

 

 

 

 

 

 

 

 

 

Ÿ 11.

 

 

Формул Т йлор

 

 

 

 

 

 

; :::; x

 

) является m +

Т оp м 1. Пусть ункция f(x) = f(x

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

=

+ 1 раз ди еренцируемой в некоторой Ж-окрестности точки x

 

= (x0

; : : : ; x0 ). Т гда для любой точêè x 2 U

(x0) справедлива ор-

1

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Æ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мула Тейлора с îстаточíûм членом в орме Лагранжа:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ x);

 

 

 

f(x) = f(x0) + k=1 k!dkf(x0) +

(0m + 1)! dm+1f(x0

 

 

ãäå = (x) 2 (0; 1), x = dx = x x .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

точку

x

 

2

Äîê ò ëüñò î. Çà èêñируем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 UÆ(x

 

). Определим ункцию '(t) = fпрои(x +çâîët xьную) оператор

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

x1

 

 

 

 

 

 

0

 

xn ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ + xn

 

 

 

 

 

 

 

 

 

 

 

 

(1)

ãäå x

 

 

= x

 

 

 

 

 

A = x1

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

x0. По теореме о ди еренцировании сложной унк-

öèè

 

 

 

 

 

i

 

 

i

 

 

 

 

 

 

 

 

 

187

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8t 2 (0;f1) 90'0

 

 

) = xf1 (x0 + t x 0 x1 + +

 

 

 

 

+ xn

(x + t x) xn

 

 

^

 

 

 

0+ t x):

 

 

 

 

 

 

 

= (Af)(x

 

 

 

k ðàç, ïî-

Ди еренцируя слож ую уíêöèþ '(t) = f(x

 

+ t x)

ункции одной ïåðеменной

 

'(t), получаем, что существует число 2

 

 

(k)

 

 

 

 

 

 

k

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

лучаем

'

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t) = (A f)(x + x). Применяя ормулу Тейлора для

2 (0; 1) такое, что

 

 

 

 

 

 

 

 

m

 

 

1

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

òî åñòü

'(1) = '(0) + k=1 k! '(k)(0) +

(m + 1)!

'(m+1)

( );

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

X

 

 

 

 

 

 

k

 

 

 

0

 

 

 

 

 

m+1

 

 

 

 

0

 

 

 

f(x) = f(x ) +

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

^

 

 

 

 

 

 

 

 

 

 

 

k=1

 

k!(A f)(x ) +

(m + 1)!

(A

 

 

 

 

f)(x

 

+ x):

 

 

 

 

 

 

 

 

 

Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

силу леммы 1 Ÿ 10 и ормулы (1) получаем доказываемое

равенство.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Îïp ë íè . Ìíîгочлен

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

Pm(dx) = Pm(dx1

 

 

 

 

 

 

 

 

 

 

 

X 1

 

 

 

 

 

0

 

 

; : : : ; dxn) = f(x0) + k=1 k!dkf(x0)

.

 

я мно очл ном Т йлор порядка m унêöии f в точке x

называетсени выше m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

перем нных dx ; : : : ; dx .

 

ñòå-

М огочлен Тейлора P

 

 

(dx ; : : : ; dx

n

) является

многочленомункции f

Ò îp ì

2.

 

Ïó

 

 

 

 

âñå

частные

 

 

äí

 

äî

ÿäê

m

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

относительность существуютпроизвонепрерûвны в некоторой

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

 

 

 

 

1

 

 

 

 

 

 

n

 

 

 

 

 

к естности точки x

0

 

2 R

n

. Тогда справедлива ормула Тейлора с

 

f(x) = P

m

( x) + o(j xjm)

ïðè x = x x0

 

! 0:

(2)

Док т льст о. Поскольку ункция f является m раз ди

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

, òî ñîã

åî

 

еренцируемой в нек торой окр стности точки x

 

ðåìå 1 â ýòîé

окрестности

 

справåдлива ормула Тейлора ласноостаточ-

ным членом в орме Лагранжа:188

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m 1

k1! dkf(x0) + m1

 

dm0 f(x0 + x);

(3)

 

 

 

 

 

 

f(x) = f(x0) + kX=1

 

 

де = (x) 2 (0; 1). Покажеì, ÷òî ïðè x ! x

 

 

 

 

 

 

 

 

 

 

 

 

Согласно лемме 1 Ÿ 9 в достаточно малоé îкрестности точки x0

(4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dmf(x0

+ x) dmf(x0) = o(j xjm):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

n

 

 

 

 

 

 

 

mf

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

mf =

X

 

 

 

 

X

 

 

 

 

 

 

 

 

 

 

 

dxim

dxi1

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xim

xi1

 

 

Òàê êàê jdx j = j x j

 

 

 

j x j

 

 

 

+ : : : + j x

 

j

 

= j xj, òî

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i1

=1

 

 

 

im=1

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

 

 

 

 

i

 

 

jdmf(xe1) dmf(x0)j

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

j jm

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

mf

xi1

 

 

 

 

 

 

 

 

 

 

 

 

mf

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

X

 

 

 

 

 

 

(xe)

 

 

 

 

 

 

 

 

(x0)

 

 

 

 

 

i1

=1

i =1

xim

 

xim

xi1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

mf

 

 

 

 

 

 

 

 

 

 

 

x

 

mf

 

 

 

 

 

 

 

 

 

 

nm

 

 

i1;:::;imax

 

:;ng

 

 

 

 

x

 

 

(xe)

 

 

x

 

 

(x0) :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ëþáûõ i

 

; : : : ; i

 

 

 

22f1;::

: : ; ng ïðè x !

 

0

 

 

 

 

 

 

 

 

im

 

 

 

 

i1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

im

 

 

 

 

 

 

 

i1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку ïðîизводные порядка

m

íåïðерывны и 2 (0; 1), то для

 

 

 

 

 

 

m

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

 

 

 

(x0

 

+ x) x

 

 

 

 

(x0) ! 0

ïðè

 

 

x ! x0

:

im

 

x

i1

 

im

 

 

i1

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

jdmf(x0 + x) dmf(x0)j

 

! 0

 

ïðè

 

x ! x0

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j xj

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вместе с ормулой (3) дает

Отсюда следует ормула (4), к

 

 

 

 

 

 

 

 

(2).З м ч ни . Так же, как и дотораяункции

 

дной переменной, до

íû

 

òî÷ê

 

единствеx справедли

разлоразлож

 

 

èå (2), ãäå P

 

( x) некото

ð

й многочлен

степени не выше mеният оситвключительноперемен ых x =

ê

 

 

 

 

 

 

 

ÿ

 

 

 

 

 

 

 

 

 

ность

 

 

 

 

 

 

æ

 

 

 

 

 

(2). А именно, если все част

казываетсx .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

189

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пр изводные у кции f до порядка m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ( x1

; : : : ; xn), òî Pm( x) ìíîãîчлен Тейлора ункцииепрерывf точ-

 

0

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ëàâà 7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ÿ 1.

 

 

 

 

 

 

ИНТЕ PАЛ ИМАНА

 

 

 

 

 

 

 

Суммы Даpбу

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определим нек

 

 

 

 

 

операции с +1 и 1:

 

 

 

 

 

+1 + (+1) = +1;

 

 

 

 

 

+ ( ) = 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оторые1+ =

 

 

 

;

 

 

 

 

 

 

;

 

 

 

 

 

 

 

åñëè 2 R;

 

 

>

0;

 

 

î

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

 

 

 

1(1) = 1.

 

 

 

 

 

 

 

Напомним, что разбиением отрезк

 

[a; b

называется конечный

набор точек T = fxigI

 

,

 

àêèõ, ÷òî a = x0

 

< x1

 

< : : : < xI = b.

Отрезки [x

 

 

 

; x

 

 

 

i=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

i

1

называюòся отрезками разбиения

T

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Опp л ни . Пусть на [a; b определена ункция f(x) и задано

разбиение T = fxigI

 

отрезка [a; b . Определим

 

 

f(x);

 

 

m

i

=

 

i=0

 

;xi

f(x) ; M

i

=

 

 

 

sup

 

xi

 

 

 

 

 

x2[x

 

=

 

 

X

(x

 

 

 

 

x2[xi

;

 

 

 

 

 

 

 

 

 

 

 

s( ; )

 

 

 

 

 

 

x

i 1

)m

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

i=1;:

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

1)Mi

:

 

 

 

 

 

 

 

 

 

 

 

 

Sinf( ; T) = i=1;:::;I(xi xi

 

 

 

 

 

Сум а s(f; T) называется

 

 

н й суммой

Ä p ó, à S(f; T) ðõí é

суммой Д p у для

ункциè f

 

разбиения T.

 

 

 

 

 

 

 

 

Ë ìì

1.

 

1) Åñëè

 

 

 

 

 

 

 

f

 

ограничена снизу [a; b , то

s(f; T) 2 R для любого разб

 

 

 

 

T. Если ункция f

 

T.

снизу на [a; b , то s(f; T) = 1 для люб го разбие ия

2) Åñëè ó

 

 

 

 

f

ограничена сверху

 

 

 

[a; b , òî S(f; T) 2 R äëÿ

любого разбиеíкцияT. Если ункция f

 

неограниченна сверхунеограничена[a; b ,

то S(f; T) = +1 для любого разбиения T.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

190

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док[a;infb . Еслитf(льстx)f2 ограниченаRо, .следовательно,1) Пусть T ,s=(тоf;fT8x)ig2iI2=0R.f1Если; :::;разбиениеIfg ,! отрезmi =-

äè

Посколькувнутреннего(qi) = (xiнешнегоxi пр1)ямоугольникmступенчатыхi (Qi) =овмножеств(xqi и xQi i 1равны)Mi, тосоответплоща-

 

x2[x

1;xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

снизу

 

некотором отрезкнеограниче[x ; x ,

ственно нижнейплощадиâерхней суммам Даpбу:

 

 

 

 

 

 

 

 

 

 

на снизу то она неогр

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно, m

 

= 1ниченаs(f; T) = 1.

 

j 1

j

В этом состоит геометр

 

 

 

 

смысл сумм Даpбу.

 

 

 

 

 

 

 

Пункт (2) доказыв етс

 

 

аналогично.

 

 

 

 

 

 

 

 

 

 

 

 

 

задана

 

 

 

 

 

 

 

 

j

 

 

 

ункция f:

 

8x 2 [a; b ,! f(x) 0. Ìíî-

íåãî

 

 

 

(q(f; T)) = s(f; T);

 

(Q(f; T)) = S(f; T):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

множеств стремятсяплощадик дному

томунегож пред лу

называетснеотрицательнаякриволинейной трапецией.

 

 

 

 

 

 

Îïp ë íè.

 

Мелкостью разбиения

 

= fx gI

 

 

называется

 

 

 

 

 

 

 

 

 

 

 

геометрический смысл сумм Даpбу. Пусть на [a; b

ö

Å ëè ïðè

 

÷åíèческийразбиений

 

 

 

 

 

 

внутре

 

 

 

è âí ø

 

 

 

 

 

 

 

 

 

G = f(x; y)

 

:

a x b; 0 y f(x)g

 

 

 

Gступенчатых, акжизмельнтегралом ункции f на [a; b .

 

 

 

 

 

 

жестассмотрим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J 2 R, то число J будем называть площадью криволинейной трапе-

 

 

 

f(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Qi

 

 

 

 

 

 

число

 

 

 

 

 

`(

T

) =

 

max (x

i

x

 

 

T):

 

 

i

i=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1;:::;I

 

 

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Опp л ни . Число J

 

 

 

 

я (определенным) интегра-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

s(f; T) =

lim

 

S(f; T) =называетсJ, . .

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

лом имана ункции f на [a; b и обозначается J = R f(x) dx, если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

`(T)!

 

 

 

`(T)!0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

jS(f

T) Jj ":

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8" >

0 9Æ > 0 8T : `(T) Æ ,! js(f; T) Jj "

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

qi

 

 

 

 

 

 

Функция f называется интегри уемой по

 

иману на [a; b , если су

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

смысл интеграла

состоит

 

òîì, ÷òî äëÿ

 

 

 

Для заданного разбиения T = fxigI

 

 

определим прямоугольни-

ществу

интеграл имана ункции f на [a; b .

 

 

 

 

 

 

 

 

 

 

 

цательнойк тогда,еометрическийогда существует площадь криволиней ой трапеции G, а

êè:

 

a = x0

 

 

qi = f(x; y)

 

xi 1

 

 

 

 

 

xi

xI = b

x

случае

ункции f интеграл

R f(x) dx

 

существует тог

òîëü

 

 

 

 

 

 

 

: xi 1

x xi; 0 y mig ;

 

 

 

 

 

 

 

 

интеграл

a f(x) dx равен

площади неотримнож

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Qi

= f(x; y)

 

: xi 1

x xi; 0 y Mig:

 

 

ñòâà G.

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

словие интегриру

 

 

.) Åñëè óíê

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

Л ммсуществования2. (Необх димое

 

 

 

 

 

T

 

i=1

 

i

 

)

=

 

I

 

q

 

называется внутренним,

множество

 

Док т льст о. Если ункция f неогра емостиснизу на [a; b ,

Множество q(f;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Q(f;

) =

 

 

 

 

Q внешним ступенчатыми множествами для кри-

ция f интегрируема на отрезке [a; b , то f

 

 

 

 

 

 

на этом отрез-

 

 

 

 

 

 

 

 

 

 

 

T

 

i=1

 

 

i

 

 

 

 

q(f; T) G Q(f; T).

 

 

 

 

 

 

 

волинейной трапеции G. Заметим, что

 

 

то в силу леммы 1

 

 

 

lim

s(f; T) = 1ограничена, зна ит, не существует

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

êå.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

 

 

 

 

 

 

 

 

 

 

191

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

`(T)!0

 

 

192

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

сверху,неинтегрируемаконечногото пределаакжна s[a;(fнеb; T. Аналог) при `(Tема)но,!.

0,лиследовательно,ункция f

ункция f

 

 

Ç ì ÷ íè.

 

 

Услов

 

нтегрируогранич нности

 

ункции нанеограничена[a; b яв-

ляется

достаточным

óсловием интегрируемости

 

 

 

[a; b . Например,

для ункции

Дирихле

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

 

 

для любого

 

f (x) =

 

 

 

 

 

1;

 

 

 

åñëè x иpрациональное

 

 

s(f ; T)

=

 

0,

 

разбиения

 

T

 

 

имеют

 

место

 

 

 

 

 

 

 

 

 

 

значит, ункция

Дирихле

 

неинтегрируема равенствапо има у.0

 

 

 

 

 

 

 

 

S(f ; T) = b a, следовательно, п

 

 

 

измельчении

 

 

збиений нижняя

и верхняя суммы

 

 

аpбу будут ст

 

емиться к различ ым п делам,

 

 

 

Îïp ë íè . Áó

 

 

 

 

 

 

говор ть, что

 

 

 

 

 

 

 

 

 

T

 

отрезк

 

[a; b

ем разбиения

T,

 

точкидля любой ункции f : [a; b ! R имеютразбиением сто

ÿ ëÿ òñÿ

è ì ëü÷ íè äåì

 

 

 

 

 

 

 

 

 

 

T

отрезкразбиение[a; b , если

 

 

 

 

 

 

T

0

содержит все

 

 

 

 

 

 

 

 

разбиенияT:

 

 

T

T .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

Л мм 3. Если разбиение

T

 

отрезка [a; b является измельч

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неравенства

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

) S(f ; T):

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s(f ; T ) s(f ; T);

 

 

 

 

 

 

S(f ; T

 

 

 

 

 

 

ïî-

 

 

Док т льст о. ассмотрим случай, когда разбиение T

 

лучается из разбиения

 

T

 

= fx

gI

 

 

 

добавлением одной точки x0

2

2 (x

j 1

; x

). Тогда

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i=0

 

 

 

 

 

 

inf

 

 

f (x) +

 

 

 

 

 

 

 

 

 

 

 

j

 

s(f ;

T

0) s(f ;

T

) = (x

j

x0)

 

 

 

 

 

 

 

 

 

 

 

 

 

+ (x0 xj 1)

 

inf

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

(xj

x2[x0;xj

 

 

 

inf

 

 

 

f (x) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x)

 

 

 

 

 

 

 

 

xj 1)

 

 

+

 

 

 

 

 

 

 

 

= (x

x0)

 

 

 

 

inf

 

f (x)

 

 

 

inf

 

 

f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2[xj 1

 

 

 

 

 

 

;xj

 

 

 

 

 

 

 

 

 

x2[

j 1;xj

 

 

x2[xj 1

;xj

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

;x2[x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

 

)

 

 

 

 

0

 

 

 

 

 

 

f (x)

 

 

 

inf

 

 

 

 

f (x) 0;

 

 

 

 

 

 

 

 

(x0 x

j 1

 

 

 

 

inf

;x0

 

 

 

;xj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2[xj 1

 

 

 

 

 

 

 

x2[xj 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

193

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

àê

êàê

 

 

 

inf

 

 

 

f (x)

 

 

 

 

 

 

 

 

 

inf

 

 

 

 

f (x)

 

 

 

 

 

 

inf

 

f (x)

 

 

 

 

inf

 

xf2([x0);x.j

 

 

 

0

 

 

 

 

 

 

x2[xj 1;xj

 

 

 

 

 

 

 

x2[xj 1;x0

 

 

 

 

 

 

x2[xj 1;xj

 

 

 

 

 

 

 

 

) S(f ; T) доказывается аналогично. Если

 

Неравенство S(f ; T

разби ние

T

0

получается из разбиения

T

добавлением нескольких

точек,

то, добавляя на каждом шаге по одной точке,

 

 

 

 

 

 

 

òðå-

буемое

утверждение.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

отрезкполучаем[a; b

è

 

Л мм 4. Для любых двух разбиений

 

T1

T2

 

для любой ункции f : [a; b ! R справедливо неравенство

 

,

 

ÿ

 

Äîê

 

 

 

 

 

 

 

 

 

. s(f ; T1) S(f ; T2):

 

 

 

 

 

=

 

 

 

 

S

 

 

 

åíèå

 

являетсразбиенияизмельчениемточекаждогоразбиениеразбиен й

 

 

 

 

 

 

состо, по

лемме 3 sт(fльст; )

оs(f ;ассмотрим) S(f ;

) S(f ;

 

 

).

 

T1

 

T2

 

 

 

 

щее из точек

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

åíèÿ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Поскольку разби-

 

Поскольку для разбиения T = fxigi=0 справедливы соотношения

 

 

T

 

 

 

 

T1

 

 

 

 

 

 

 

T1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T2

 

 

 

 

T1

 

T2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

T

 

I

 

 

 

 

 

T2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s(f ; T) =

X

(xi

 

xi 1) x2[xinf1;xi f (x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

sup

 

 

 

f (x) = S(f ;

 

);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X(x x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Îïp ë íè

 

 

 

i

 

 

 

i 1

)

x2[xi 1 xi

 

 

T

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

òî s(f ;

 

)

 

 

 

 

 

 

 

 

 

 

 

 

).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T1

 

 

s(fi;=1) S(f ;

T

S(f

;

T2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

 

. Пусть на [

 

b задана ункция f . Определим

 

 

 

 

 

 

 

 

 

 

 

= sup s(f ; T )a;

 

J

 

= inf S(f ; T );

 

 

 

 

 

 

 

 

 

 

где супремум

èí èTóì áåð

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

я по всевозможным разбиениям

отрезка [a; b .

Величины J и J

 

 

называются

соответственно

íè íèì

 

рхним инт рл ми Д p ó.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ции f : [a; b ! R справеливы неравенства

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Л мм 5. Для любого разбиения

T

отрезка [a; b и любой унк-

 

 

 

 

 

 

 

 

 

 

 

 

s(f ;

T

) J

J

 

 

S(f ; ):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

194

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док т льст о. Из леммы 4 для любого разбиения

T2

ïîëó-

÷àåì J

= sup s(f;

 

 

 

 

) S(f;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) =

T1

T2

), следовательно, J inf S(f;

T2

= J . ПоэтомуT1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T2

 

 

 

 

 

Îïp ë íèi 1 i

 

 

 

 

 

 

 

) = J

 

J

 

 

= inf S(f;

 

 

) S(f;

 

):

 

 

 

 

s(f; )

 

 

sup s(f;

T

 

 

 

T

 

 

 

 

 

 

T

 

 

T.

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

T

 

 

 

 

à

 

T

 

 

 

Пусть на [a; b задана ункция f

 

определено

 

= fxigI

 

 

 

отрезка [a; b . Кол

 

 

 

ì

ункции

 

f íà îò-

ðåçкбиение[x ; x называется

00 sup

 

 

 

jf(x )íè f(x )j:

 

 

 

 

 

 

 

 

 

 

 

!i(f) =

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i 0

x ;x 2[xi 1

;xi

 

 

0

 

 

 

 

 

00

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

азность верхней и нижней сумм Даpбу для ункции f и разби-

ения T будем обозначать через

 

f; T):

 

 

T):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(f; T) = S f(; T) s(f

 

! R и для любого

 

Л мм 6. Для любой ункции f :

[a; b

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

разбиения T = fxigi=0 отрезка [a; b справедливо равенство

 

 

 

 

 

 

 

 

 

 

 

(f; T) =

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X(xi xi 1)!i(f):

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док т льст о. Заметим, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

!i(f) =

0

;x

00 sup

 

 

 

(f(x0) f(x00)) =

 

 

 

 

 

 

 

 

 

 

=

 

sup

 

x

2[xi 1;xi

 

sup

 

 

( f(x00)) =

 

 

 

 

 

 

 

 

 

 

 

 

f(x0) +

x00

 

;xi

 

 

 

 

 

 

 

 

 

=

0

 

02[xi 1;xi

 

 

 

 

 

 

2[xi 1

00) = Mi mi;

 

 

 

 

 

ãäå mi

 

sup

 

 

 

 

f(x0) x00

[

 

 

i

 

 

 

 

 

 

 

= x2[xinf1;xi f x),

 

 

Mi = x2[infxsup1;xi f(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2[xi 1

;xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

(f; T) = S(f; T) s(f; T) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

195

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

I

 

(xi xi 1)(Mi

 

 

 

 

I

 

x

1)!i(f):

 

 

 

 

 

 

 

 

 

Xi

mi) = Xi=1(xi

 

 

 

-

 

 

Ò îp ì =1.

 

 

 

 

 

 

 

интегрируемости. Функция f

 

руема на [a; b тогда(Критерийтолько тогда, когда

 

 

lim

 

(f; T) =

интегри0, . .

 

 

 

 

 

 

 

8" > 0 9Æ > 0 8T

: `(T) Æ ,!

` T)!0

 

 

 

 

 

 

 

 

(1)

 

 

 

 

 

 

 

 

(f; T) ":

 

 

 

 

 

Док т льст о. 1) Если ункция f интегрируема на [a; b , то

по определению

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,!

9J 2 R : 8" > 0 9Æ > 0 8T : `(T) Æ ,!

"

:

 

 

 

 

 

 

 

 

 

js(f; T) Jj

"

 

è jS(f; T) Jj

 

 

 

 

 

Поэтому при `(T) Ж

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

(f; T) = S(f; T) s(f; T) jS(f; T) Jj + js(f; T) Jj ";

 

т. е. выполнены условия (1).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2) Пусть выполн

 

 

 

условие (1). Тогда из леммы 1 следует,

 

ункция f

 

 

 

 

 

 

 

åíа, так как иначе либо S(f; T) = +1, либчто

s(f; T) = 1ограничлюбом

случае (f; T) = S(f; T) s(f; T) = +1,

ДаpбуотиворечитJ J акж

 

 

являются Посконечными

 

ислами.

 

 

 

òî äëÿ ëþ-

÷òî ï

збиения

T

словию (1).

 

 

ольку f

 

 

 

 

 

 

 

 

 

 

áîãî

 

суммы

Äàpáó s(f; T)

S(f; T) коне ны. Отсюда

из неравенства s f;

 

 

) J J

 

S(f;

)

следуетограничена,то

интегралы

 

 

Из условия (1)

 

 

 

 

 

 

 

 

 

 

8" > 0 9T

 

: S(f; T) s(f; T) =

 

 

следует, что

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

8" > 0 ,! J

 

= (f; T) ". Отсюда и из леммы 5 получаем

 

 

 

SОпределим(f; T) условия

 

 

 

 

следуетследовательно,что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

S(f;

 

) s(f;

T

) ",

 

 

 

 

 

 

 

 

J

J

 

0. Поскольку

J

 

 

 

 

 

 

T

= J .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J , òî J

 

 

 

 

 

 

 

 

 

= J . Из неравенства s(f;

 

) J

 

 

 

 

 

 

 

 

число J = J

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

è

 

 

 

 

 

 

 

8" > 0 9Æ > 0 8T : `((1)T Æ ,! js(f; T) Jj "

 

 

jS(f; T) Jj ";

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

f(x) dx = J.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ò. å. 9 a

 

 

 

 

 

 

 

 

 

196

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

[a; bОпp. ВыборкойŸ 2. ë Интегральныени,I . Пусть заданойсуммыðàçá åíèþå иманаTT,=называетсяfxigiI=0

íàá ðà

Аналогично,= 12inf[x0;x1

S(If2;[xinfTI )1=;xIsupT i=1(Xf;:::;IT;(xTi ). xi 1)f ( i) = infT

(f ; T; T):

точек

 

= f g соответствующаких, что

2 [x

T

 

; x . Интегральной отрезксумм й

 

 

 

Ò îp ì 1.

 

 

 

 

 

 

 

интеграла через интегральные сум-

( имана) для ункции f ,

разбиения

и выборки T называется

 

 

 

 

 

 

 

 

 

 

 

T

 

i

i=1

 

 

 

 

 

 

i

 

 

 

i 1

i

 

 

 

 

 

 

 

 

`(T)!08" > 0 9Ж >(Определение0 8T : ` T) Ж 8

 

 

 

,! j (f ; T;

 

) Jj ":

(1)

f(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мы имана.) Число J равно

R

f (x) dx тогда и только тогда, когда

 

 

 

 

 

(f ; T; T) =

X

 

 

xi 1)f ( i):

 

 

 

 

 

a

 

 

 

 

 

i=1(xi

 

 

 

 

 

 

 

lim

(f ; T; T) = J, ò. .

 

 

 

 

 

T

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док т льст о. ассмотрим отдельно у

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

T

,! j (f ; T;

T

) Jj "словие:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это условие можно переписать в виде

 

 

) J + ":

 

 

 

 

(2)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

T

,! J " (f ; T;

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Условие

 

8

 

 

 

 

 

 

) J + "

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

,! (f ; T;

T

 

означает, что число J + " яв

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) по выборкам

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ляется некоторой

ерхней гранью значений (f ; T;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. В силу свойств верхних граней это условие эквивалентно нера-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

â

 

 

 

sup (f ; T; T) J + ". Из леммы 1 следует,

что послед ее

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

можно переписать в виде S(f ; T) J + ". Аналогично,

a = x0 1

 

 

 

xi 1

 

 

 

 

 

 

 

i

 

 

 

 

xi

 

 

 

I 1

 

xI = b

нера енствоT

 

 

 

 

 

 

);

 

 

 

 

 

 

 

 

 

 

 

 

услонствуие 8

T

,! J " (f ; T;

) эквивалентно неравенству J "

 

s(f ; T) = inf (f ; T;

 

 

 

 

S(f ; T) = sup (f ; T;

 

);

 

 

 

 

 

 

(2)

 

 

 

 

J " s f ;T) S(f ;T) J + "

 

()

 

Л мм 1. Пусть на [a; b определена ункция f (x) и задано раз-

s(f ; T .

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

 

 

(f ;

) выполняется всегда, то

биение T

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку неравенство s f ;

 

 

 

 

 

= fxigi=0 отрезка [a; b . Тогда

 

 

T

 

 

T

 

 

 

 

 

 

 

 

 

 

 

() js(f ; T) Jj "

 

 

 

 

jS(f ; T) Jj ":

 

ãäå ñóï åìóì

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ин имум берутся по всем выборкам T, соответству-

 

 

 

Следовательно, условие

(1)

эквивалентно у

 

 

 

 

 

 

ющим разбиению T.

X

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8" > 0 9Ж > 0 8T : `(T) Ж ,! js(f ; T) Jj словию" jS(f ; T) Jj ";

Äîê ò ëüñò î

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s(f ; ) =

 

 

(x

 

x

 

 

 

)

 

 

 

 

 

f (

) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

i 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

i=1;:::;I

 

 

 

 

 

 

 

2[x

;x

 

i

 

 

 

 

 

что по определению означает J = a

f (x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

197

 

 

 

 

i

inf1

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

198

 

 

 

 

 

 

 

 

 

 

 

 

Ò îpŸ 3ì. 1Ñ.

îéñò

 

 

определенного

èíò .ð)

Åñëèë

 

 

öèяи f'(иx)g =интегрируемыf(x) + g xна) интегрируемаопр[a; b , а ли ннонанекоторые[a;интегралаоb числа, то óíê-

 

 

 

 

Zb

( f(x(Линейность) + g x)) dx = Zb

f(x) dx + Zb

g(x) dx:

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

Док т льст о. Заметим, что интегральные суммы имана

обладают свойством линейности:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

8 T

 

 

 

 

I

 

 

,! ( f + g; T; T) =

 

 

 

 

8T = f gi=0

= f igi=1

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) + g(

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

X

(x

i

x

 

 

)( f(

)) = (f; T;

T

) + (g; T;

T

):

 

i=1

 

 

 

 

 

 

i 1

 

 

i

 

 

 

 

 

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В силу определения интеграла через интегральные суммы (теорема

1 Ÿ 2) существуют пределы

 

 

 

 

 

 

 

lim

(g;

 

 

;

 

 

) = Zb

g(x) dx;

lim

 

 

(f;

T

;

T

) = Zb

f(x) dx;

 

 

 

 

T

T

`(T)!0

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

`(T)!0

 

 

 

 

a

 

 

 

 

следовательно, существует предел

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

( f + g;

T

;

T

) = Zb f(x) dx + Zb g(x) dx:

 

 

 

 

 

 

`(T)!0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

a

 

 

 

 

 

ждение.

Еще раз пользуясь теоремой 1 Ÿ 2, получаем требуемое

 

 

 

Сл с и . Множество интегрируемых на отр зкутвер[a; b унк

имана ÿ

 

 

 

 

линейя

ейным оператором, действующим

из этого про-

ö é ÿâë

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пр странством, а определ нный интеграл

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

чисел R.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ò îp ì 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неравенств.) Если ункции f и g

интегрируемы на(Интегрирование[a; b 8x 2 [a; b

,! f(x) g(x), òî

a

f(x) dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

 

 

 

R

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

199

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a g(x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

стоДок т льст(fо;.T;Поскольку) g; Tдля; интегральных) 8T 8 ; сумм имеет ме-

 

 

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

T

 

 

 

 

 

T

 

 

 

то, перехнеравенстводя к пределу при `

 

T) ! 0, ïî

пределению интеграла

через интегральные суммы

(теорема

1 Ÿ 2) получаем

 

 

Zb f(x) dx =

lim

 

 

(f;

T

;

T

)

 

lim

 

(g;

T

;

T

) = Zb g(x) dx:

a

 

 

 

`(T)!0

 

 

 

 

 

 

 

`(T)!0

 

 

 

 

 

a

 

Т оp м 3. (Инт грируемость модуля.) Если ункция f(x) ин-

на этом отрезке и справедливо

неравенство

 

 

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

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

 

 

[a; b , то ункция jf(x)j

 

 

 

 

 

 

Zb

f(x) dx

Zb jf(x)j dx:

 

 

 

 

 

(1)

Äîê ò ëüñò î.

 

a

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

ìååò ìå

 

 

В силу нер венства треугольника

бого разбиения

T = fxigI

 

отрезка [a; b колебания ункций f и jfj

 

 

 

 

 

 

0

)j jf(x

00

 

 

 

0

) f(x

00

)j. Поэтому для лю-

то неравенство j jf(x

 

 

)j j jf(x

 

ñвязаны неравенством

 

 

i=0

 

 

 

 

 

 

 

j jf(x0)j jf(x00)j j

 

 

!

(jfj) =

 

 

x0

;x00

sup

 

 

 

 

 

 

i

 

 

0

 

00

 

2[xi 1;xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

;x

sup

 

 

 

 

 

 

jf(x0) f(x00)j = !i f):

 

 

 

 

 

x

 

2[xi 1;xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда, используя критерий интегрируемости (теорема 1 Ÿ 1), по-

лучаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

xi 1)!i(jfj)

 

 

 

I

 

0 (jfj; T) = i=1 xi

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(f; T) ! 0

 

ïðè

 

`(T) ! 0;

 

X(xi xi 1)!i(f) =

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательно, (jfj; T) ! 0 при `(T) ! 0, что, опять по критерию

интегрируемости, означает интегрируемость ункции jfj

íà [a; b .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

200

 

 

 

 

 

 

 

 

 

 

 

Поскольку для интегральныхI

сумм имеет место неравенство

 

 

 

 

 

 

(f; T; T) = Xi=1(xi xi 1) ( i)

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

X(xi xi 1)jf( i)j = (jfj; T; T);

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

неравенство (1).

то, перех дя к пределу при `(T) ! 0,

 

 

 

 

совпадает с

ункцией g, за исключ получаемнием к ечного набора точек

Т оp м 4. Если ункция g

 

 

 

 

ируема на [a; b ,

 

ункция

f kgk=1

 

 

[a; b , то ункция f

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

íà [a; b è

a f(x) dx =

 

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R

 

R

g(x) dx.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ункцию h(x) = g(x) f(x).

Äîê ò ëüñò î.

 

 

 

 

 

 

 

любого

разбиения

 

 

 

= fxассмотримg любой выборки = f g

имеет

Определим число M

=

 

 

fjh( )j; : : : ; jh(

 

 

)jg. Òàê

 

àê h(x) =

Ïîñê ëüêó

 

чение h(max)

 

лично от 0 лишь в K

точках, то для

= 0 8x 2 [a; b n f

; : : : ;

 

 

 

 

 

1

 

 

K

 

 

 

 

 

 

K

g, òî jh(x)j M 8x 2 [a; b .

 

 

место соотношение

1

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

T

 

 

 

i

 

 

 

 

 

 

 

 

 

 

T

 

 

i

 

 

 

 

 

 

I

 

 

 

 

i=0

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

X

 

 

 

 

 

 

 

xi 1) 2K M `(T) ! 0

ïðè

`(T) ! 0:

j (h; T; T)j= i=1 h( i)(xi

Следовательно, ункция h

 

 

 

 

 

 

 

 

 

 

 

b

h(x) dx = 0.

 

 

 

 

 

åìà íà [a; b è R

мость ункции f(x) = g(x) hинтегриру(x) равенство

 

 

 

a

 

 

Îò þäà

 

 

из свойства линейности

 

 

 

 

 

 

 

 

 

 

 

интеграла получаем интегрируе-

 

 

Z

b

 

 

 

 

 

 

 

b

 

 

 

 

 

 

b

 

 

 

Z

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

Z

 

 

 

 

 

g(x) dx:

 

 

 

 

a

 

 

f(x) dx = a

 

g(x) dx a

 

 

h(x) dx = a

 

 

 

 

Л мм 1. Ес и ункция f интегрируема на отрезке [a; b , то f

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

ëюбом отрезке [ ; [a; b .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

201

 

 

 

 

 

 

 

 

 

[богоa; bДок, разбиенияотороет льстнаTотрезко. Пустьа[ [ ; задансовпадаетотрезокетс [ ; åí[a;мbT.T0Дляотр люзкае

ет мелкость, равную мелкости

 

 

 

 

 

 

 

 

 

 

 

T:

 

 

 

 

 

0

)

= `(T).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

`(T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

)разбиениясуществусилу критерия

 

 

 

 

 

 

åìÏî-

кольку 0 (f; T) (f;T

 

 

 

 

 

 

ñò

 

lim

 

(f; T

) = 0, òî

 

 

 

lim (f; T) = 0,ðàçáçíà÷интегриру, ункция f

 

 

 

 

 

 

 

 

 

 

0

Пусть ункция f

 

 

 

 

 

 

 

 

 

 

ема на отрезках [a; b

нтегрирования.)

 

 

 

 

 

 

 

 

 

 

 

 

 

0

)!0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

`(T)!0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

`(T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

óåìà íà [ ; .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

отрезков

 

Ò îp ì 5.

 

(Адд тивность интеграла

 

 

 

 

 

 

 

 

 

 

 

 

è [b; . Тогда f

интегрируема на отрезкинтегрируотносительно[a;

 

 

 

 

 

 

 

 

 

 

 

 

Z f(x) dx =

 

Zb f(x) dx + Z f(x) dx:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Док т льст о. П скольку ункция f интегриру ма на от

резках [a; b и [b; , то f гр ничена на этих

 

 

 

 

 

 

àõ,

следователь-

но, ункция f

ограничена

íà

отрезке [a; , т.отрезк.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

9M 2 R : 8x 2 [a; ,! jf(x)j

 

 

 

 

 

è ïóñ ü b 2

 

Пусть зад но разбиение

T

= fxigI

 

 

отрезка [

 

 

2 [x

 

 

; x . ссмотрим разбиение

 

 

 

 

 

= fx ; x ; M:a;x

 

 

; bg îòрезка

[a; b è разбиение

 

 

 

 

 

= fb; x ; : : : ; x

 

g отрезка [b; .

 

 

 

 

 

 

 

 

 

 

 

j 1 j

 

 

 

 

T2

 

 

 

 

j

 

 

 

 

 

I

 

T1

i

0

 

0 1

 

 

 

 

 

j 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Для верхних сумм Даpбу

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S(f;

 

 

) =

X

(x

i

x

i 1

)

 

 

sup

;xi

f(x);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

x2[xi 1

 

 

 

 

 

 

 

 

 

 

 

S(f;

T1

 

 

 

 

 

i

 

x

i 1

)

 

2[xi 1;xi

f(x) + (b x

j 1

)

x2[xj 1

;b

f(x);

 

 

i=1

 

 

 

 

 

 

) = X(x

 

 

 

 

 

 

 

sup

 

 

 

 

 

 

 

 

sup

 

 

 

 

 

T2

 

 

 

j

 

 

 

 

 

x2[b;xj

 

 

 

 

 

 

 

 

I

 

 

i

 

 

 

i 1

 

x2[xi 1

;xi

 

 

 

 

 

S(f; ) = (x

 

 

b)

 

sup

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

)

 

 

sup

 

f(x)

 

 

 

 

 

 

 

f(x) + X(x x

 

 

 

 

 

 

имеют место соотношения

 

 

 

 

 

)j =

 

 

 

i=j

 

 

 

 

)

 

 

 

sup

 

f(x)

 

jS(f;

 

) S(f;

T1

) S(f;

T2

 

(x

j

x

j 1

 

 

 

 

 

 

 

 

T

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x2[xj 1;xj

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

202