Иванов Матан
.pdf'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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|