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

А.Н.Шерстнев - Математический анализ

..pdf
Скачиваний:
30
Добавлен:
12.03.2015
Размер:
2.83 Mб
Скачать

INTEGRALOM lEBEGA FUNKCII f I OBOZNA^AETSQ SIMWOLOM

Z f d (ILI

Z f d ;

Z f (x) (dx)).

 

E

E

 

uBEDIMSQ W KORREKTNOSTI DANNOGO OPREDELENIQ:

(A) limZ fn d SU]ESTWUET;

n

(B) PREDEL NE ZAWISIT OT WYBORA POSLEDOWATELXNOSTI fn ;

(W) DLQ PROSTYH FUNKCIJ \TO OPREDELENIE SOGLASUETSQ S OPREDELENIEM P. 1.

pUSTX fn | PROSTYE INTEGRIRUEMYE FUNKCII I fn =) f. w SILU PP. 2 I 3 IMEEM OCENKU

jZ fn d , Z fm d j = jZ (fn , fm )d j kfn , fmkE E;

IZ KOTOROJ SLEDUET SHODIMOSTX POSLEDOWATELXNOSTI INTEGRALOW Z fn d , I (A) USTANOWLENO.

pUSTX gn | E]EODNA POSLEDOWATELXNOSTX PROSTYH INTEGRIRUEMYH FUNKCIJ TAKAQ, ^TO gn =) f. tOGDA

jZ fn d , Z gn d j kfn , gnkE E ! 0 (n ! +1):

 

n Z

 

n

Z

 

 

 

 

 

 

 

 

 

 

 

 

pO\TOMU

lim

fn d

= lim

 

gn d

I

B

)

USTANOWLENO

.

uTWERVDENIE W

 

 

 

 

(

 

 

 

 

 

( )

SLEDUET IZ A

I B

ESLI POLOVITX

fn = f (n 2

N

 

 

 

 

 

 

 

 

): >

 

 

 

( )

( ),

 

 

 

 

 

 

 

sWOJSTWA PP. 2 I 3, USTANOWLENNYE WY[E DLQ PROSTYH FUNKCIJ, OSTA-

@TSQ SPRAWEDLIWYMI W OB]EM SLU^AE (PROWERKA \TOGO, OSU]ESTWLQETSQ S

POMO]X@ PREDELXNOGO PEREHODA (!!)):

 

 

 

 

 

 

 

 

 

5. eSLI FUNKCII f; g

INTEGRIRUEMY,

TO

INTEGRIRUEMY TAKVE

f +g; f ( 2 R), PRI^EM Z

( f +g)d = Z

f d +Z g d . wSQKAQ OGRANI-

^ENNAQ IZMERIMAQ FUNKCIQ f INTEGRIRUEMA, PRI^EM jZ f d j kfkE E.

6. eSLI f; g INTEGRIRUEMY I f g,

TO Z f d Z

g d .

341

uTWERVDENIE DOSTATO^NO DOKAZATX DLQ g(x) 0. |TO TAK, ESLI f 0

| PROSTAQ (!!). w OB]EM SLU^AE POLOVIM

 

 

 

1 k

 

 

k

k + 1

)); n 2 N:

fn =

X

n Ak

; GDE Ak = f,1 ([n;

n

 

k=0

 

 

 

 

 

 

tOGDA 0 f(x) , fn(x)

1

. oTS@DA fn =) f; f , fn | OGRANI^ENY

n

I SOGLASNO P. 5 INTEGRIRUEMY. tAK KAK f INTEGRIRUEMA, IZ RAWENSTWA

fn = (fn ,f )+f SLEDUET INTEGRIRUEMOSTX fn . pO POSTROENI@ fn PROSTYE

I fn

 

0. sLEDOWATELXNO,

 

Z

f d

= lim

fn d

 

0:

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n Z

 

 

 

 

 

 

 

 

 

 

7. fUNKCIQ f NAZYWAETSQ INTEGRIRUEMOJ PO MNOVESTWU A 2 A, ESLI

INTEGRIRUEMA FUNKCIQ f

A ; INTEGRALOM FUNKCII f PO MNOVESTWU A

NAZYWAETSQ ^ISLO

Z

f d

Z

f A d .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8. eSLI FUNKCIQ f INTEGRIRUEMA, TO ONA INTEGRIRUEMA PO KAVDOMU

MNOVESTWU A

2 A.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

eSLI f =

n

n Bn

| PROSTAQ INTEGRIRUEMAQ FUNKCIQ, TO f A =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n BnA

I

n j

P

BnA

 

 

n j

n

Bn < + ,

TO ESTX

f A

|

TAKVE PROSTAQ

 

 

n

 

 

 

 

 

 

 

n

 

 

 

 

j

 

 

 

 

j

 

1

 

 

 

 

 

 

 

 

INTEGRIRUEMAQ FUNKCIQ I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

P

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

(1)

 

 

 

 

 

 

 

Z

(

 

 

 

n Bn )d =

 

n ABn:

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

X

 

 

 

X

 

 

 

 

 

 

 

 

 

w OB]EM SLU^AE, ESLI f INTEGRIRUEMA I fn | POSLEDOWATELXNOSTX PROS- TYH INTEGRIRUEMYH FUNKCIJ, fn =) f, TO fn A =) f A . pO\TOMU f A TAKVE INTEGRIRUEMA. >

sLEDU@]EE UTWERVDENIE NAZYWAETSQ SWOJSTWOM ABSOL@TNOJ NEPRE-

RYWNOSTI INTEGRALA lEBEGA.

9. eSLI A = 0 I f INTEGRIRUEMA, TO Z f d = 0:

A

uTWERVDENIE SLEDUET IZ (1) DLQ PROSTOJ f. oB]IJ SLU^AJ POLU^AETSQ STANDARTNYM PREDELXNYM PEREHODOM (!!). >

 

10. pUSTX f INTEGRIRUEMA I E =

P

Ak. tOGDA

 

 

 

k

 

 

 

X

 

(2)

Z f d =

k

AZk

f d ;

342

P j nj BnAk . tEPERX
k;n

PRI^EM RQD W PRAWOJ ^ASTI SHODITSQ ABSOL@TNO.

 

dLQ PROSTOJ INTEGRIRUEMOJ FUNKCII f =

 

n

 

n Bn :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k jZ f d j =

 

 

 

 

 

P

 

 

 

 

 

k j n n BnAkj k;n j nj BnAk

 

 

PAk

P P

 

P

 

 

 

 

 

 

 

 

 

n

j

n

j k

BnAk = n

 

j

n

Bn

< +

:

 

P

 

P

 

j

 

1

 

 

 

 

P

 

 

 

 

 

 

|TO OZNA^AET ABSOL@TNU@ SHODIMOSTX RQDA W PRAWOJ ^ASTI (2), A TAKVE RQDA

 

 

 

 

 

 

 

X

 

 

 

 

 

 

X X

 

 

 

 

 

 

X X

 

 

 

 

 

X

 

 

 

 

 

 

 

 

Z f d = n

n Bn

=

n

k

n BnAk =

 

k

n n BnAk =

k

AZk

f d :

 

 

eSLI f

| INTEGRIRUEMAQ FUNKCIQ, TO, PO OPREDELENI@ 4, DLQ WSQKOGO

"

 

 

 

>

0

SU]ESTWUET

PROSTAQ

INTEGRIRUEMAQ FUNKCIQ

 

g

TAKAQ, ^TO

kf , gkE < ".

pO DOKAZANNOMU

Z g d =

 

 

 

Z g d ,

PRI^EM RQD

 

 

Z g d

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

k

SHODITSQ ABSOL@TNO. iZ OCENKI

 

 

 

PAk

 

 

 

 

 

 

 

PAk

 

 

 

 

 

 

 

 

XAZk

 

 

 

XAZk

 

 

 

 

 

 

XAZk

 

 

 

 

XAZk

 

 

 

 

 

 

 

 

 

 

 

 

k

j f d j

 

k

j

(f , g)d j + k j

 

g d j " E +

 

k j g d j

 

 

SLEDUET, ^TO RQD W PRAWOJ ^ASTI (2) SHODITSQ ABSOL@TNO. iTAK,

 

 

 

 

 

 

 

 

 

 

Z

 

 

PAZk

 

 

 

Z

 

 

 

 

 

 

PAZk

 

PAZk

 

 

 

 

 

 

 

 

 

 

 

 

 

j

f d ,

k

 

 

 

f d j = j

(f

, g)d +

 

k

g d , k

 

f d j

 

 

 

 

 

 

 

 

 

 

 

 

= jZ (f , g)d +

 

k

Z (g , f )d j 2kf , gkE E < 2" E:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

PAk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

iZ PROIZWOLXNOSTI " POLU^AEM (2).

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

11. eSLI jfj

' I ' INTEGRIRUEMA, TO f INTEGRIRUEMA.

 

 

 

 

 

 

f

 

 

eSLI f I ' PROSTYE, TO SU]ESTWUET NE BOLEE ^EM S^ETNOE

RAZBIENIE

 

 

 

 

g

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

 

 

 

 

 

j

 

j

 

 

2

 

 

 

 

MNOVESTWA

E,

^TO

f =

 

 

n An ; ' =

 

n An ,

PRI^EM

 

 

 

 

n (n

 

 

 

An

 

 

 

 

 

 

P

 

n

 

 

 

 

N

).

tOGDA

 

 

 

 

 

 

 

 

 

< +1,

TOPESTX

f

INTEGRIRUEMA

.

~ITA

-

 

 

 

 

 

n j nj An

n

n An

 

 

 

 

 

 

 

 

 

 

 

 

 

TELX UVE OWLADELP

STANDARTNYMIP

PRIEMAMI

, ^TOBY DOKAZATX UTWERVDENIE

W OB]EM SLU^AE. >

343

12. s L E D S T W I E. fUNKCIQ f INTEGRIRUEMA TTOGDA INTEGRIRUEMA

jfjdOSTATO^NOSTX. SLEDUET IZ P. 11. nEOBHODIMOSTX W SLU^AE PROSTOJ FUNK- CII f SLEDUET NEPOSREDSTWENNO IZ OPREDELENIQ 1. oB]IJ SLU^AJ POLU^A- ETSQ PREDELXNYM PEREHODOM. >

13. z A M E ^ A N I E. uTWERVDENIE P. 12 W ^ASTI DOSTATO^NOSTI NE WERNO DLQ FUNKCIJ, INTEGRIRUEMYH PO rIMANU: FUNKCIQ ' = [0;1]\Q , [0;1]nQ

IZMERIMA, NO, PODOBNO FUNKCII dIRIHLE, NE INTEGRIRUEMA PO rIMANU. mEVDU TEM EE MODULX j'j ( 1) INTEGRIRUEM PO rIMANU.

14.eSLI Z jfj d = 0, TO f (x) = 0 P.W.

pUSTX An = fx 2 E : jf (x)j n1g. iZ NERAWENSTWA

An =AZn 1 d nAZn jfj d = 0

SLEDUET, ^TO An = 0. oTS@DA

f

 

2

 

j

6 g

[

 

X

 

 

 

 

 

 

n

n

 

 

 

 

 

x

 

E

 

f (x) = 0 = ( An)

 

 

An = 0:

>

 

 

 

 

 

 

 

 

 

 

 

1

!n2,

n

u P R A V N E N I Q. 15. pROINTEGRIRUJTE FUNKCI@ f (!) = n=1

 

W USLOWIQH 202.10.

 

 

 

 

 

 

 

P

 

 

16.dOKAVITE SWOJSTWA PP. 5,6,10,11 DLQ INTEGRALOW PO MNOVESTWU

A( E).

17.eSLI f IZMERIMA I A = 0; TO f INTEGRIRUEMA PO MNOVESTWU A I

Z f d = 0.

A

18. eSLI FUNKCII f1; : : : ; fn INTEGRIRUEMY, TO INTEGRIRUEMA f (x) = maxff1 (x); : : : ; fn(x)g (x 2 E).

19. kAKU@ STRUKTURU BUDET IMETX INTEGRAL lEBEGA PO MERE m W USLOWIQH 192.8? oPI[ITE KLASS INTEGRIRUEMYH FUNKCIJ.

20. eSLI f INTEGRIRUEMA, TO

8" > 0 9 > 0 8A 2 A( A < ) jZ f d j < "):

A

344

x208. pREDELXNYJ PEREHOD POD ZNAKOM INTEGRALA

zADA^A O PREDELXNOM PEREHODE POD ZNAKOM INTEGRALA \KWIWALENTNA ZA- DA^E O PO^LENNOM INTEGRIROWANII SHODQ]EGOSQ FUNKCIONALXNOGO RQDA. w PRILOVENIQH TEORII INTEGRALA PODOBNYE ZADA^I IGRA@T PERWOSTEPENNU@ ROLX.

 

1. t E O R E M A [a. lEBEG]. pUSTX fn ! f; jfnj '; ' INTEGRIRUEMA.

tOGDA f INTEGRIRUEMA I Z fn d ! Z f d .

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

j

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

qSNO,

^TO

 

f

 

' I, SOGLASNO 207.11, f INTEGRIRUEMA. pOLOVIM

Ak = ', ([k; +1)); k = 0; 1; 2; : : : . tOGDA E = A0 A1 : : : ;

k Ak = ;,

TAK ^TO

 

 

!

 

!

 

SM

 

 

pUSTX

 

 

 

 

 

T

 

w

 

 

 

Ak

0 (k

+1) ( . 197.13).

 

 

 

" > 0

 

 

 

.

 

SILU 207.20 NAJDETSQ m

2 N TAKOE, ^TO AZm ' d < ". pO TEOREME eGOROWA

SU]ESTWUET PREDSTAWLENIE Amc

= Y + Z, GDE Z <

"

; fn =

f NA MNO-

 

VESTWE

 

 

w ^ASTNOSTI

 

NAJDETSQ

 

TAKOE

 

^TO

 

 

 

m

 

)"

 

 

 

Y .

,

n0

,

kf ,fnkY

< Y

(n n0 ).

 

 

 

 

 

 

 

 

 

 

nAKONEC, PRI n n0:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

jZ fn d , Z f d j = jAZm fn d ,AZm f d + Z fn d , Z f d

 

 

 

 

 

 

 

 

 

 

 

 

+ Z

(fn , f )d j jZ

fn d j + jZ f d j

 

 

 

 

 

 

 

 

 

 

 

 

Y

 

 

Z

 

Am

 

Y

Am

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+ j

fn d j + j f d j

+ jZ (fn , f )d j

 

 

2AZm ' d + 2Z ' d + " < 5": w SILU PROIZWOLXNOSTI " UTWERVDENIE DOKAZANO. >

2. z A M E ^ A N I E. tEOREMA P. 1 OSTAETSQSPRAWEDLIWOJ, ESLI WMESTO POTO^E^NOJ SHODIMOSTI PREDPOLOVITX, ^TO fn ,!P.W. f . dEJSTWITELXNO, W SILU 207.17 ZNA^ENIQ, PRINIMAEMYE FUNKCIEJ NA MNOVESTWE MERY NULX, NE WLIQ@T NA WELI^INU INTEGRALA.

P.W.

3. s L E D S T W I E. eSLI jfnj C (n = 1; 2; : : :) I fn ,! f , TO f

INTEGRIRUEMA I Z fn d ! Z f d .

345

r f,1([r,1;r)) .

 

 

4. t E O R E M A [b. lEWI]. pUSTX f1 f2 : : : ;

fn INTEGRIRUEMY I

Z fn d K (n 2 N). tOGDA

 

 

 

 

 

 

 

P.W.

 

 

 

 

 

 

 

 

 

(1) SU]ESTWUET f TAKAQ, ^TO fn ,! f ,

 

 

 

 

 

 

 

 

 

(2) f INTEGRIRUEMA I

Z fn d ! Z f d .

 

 

 

 

 

 

 

 

 

mOVNO S^ITATX

,

^TO

f1

 

0

(

INA^E PEREJDEM K POSLEDOWATELXNOS

-

 

 

 

 

 

 

 

 

 

 

 

 

fxj fn (x) >

 

 

TI gn = fn , f1 (n

= 1; 2; : : :)). pUSTX Anr

=

rg. tOGDA

A = fx 2 E j fn(x) ! +1g

= r

 

1 n

 

1

Anr . iMEEM

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T S

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fn

1

 

 

 

K

 

 

 

 

 

 

 

Anr = Z d

Z

 

 

 

d

 

Z fn d r :

 

 

 

 

 

 

 

 

 

r

r

 

 

 

 

 

 

 

 

 

Anr

 

 

Anr

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n 1

 

 

 

 

 

 

 

 

n 1

n

 

tAK KAK A1r

 

A2r

 

 

: : : ; A

 

S

Anr , TO A

 

(

S

Anr ) = lim (Anr)

 

 

 

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

. iZ PROIZWOLXNOSTI r OTS@DA A = 0: pO\TOMU FUNKCIQ

 

 

 

 

 

 

 

 

 

 

 

 

lim fn (x); ESLI x

Ac,

 

 

 

 

 

 

 

 

 

 

f (x) = ( 0;

 

 

 

 

 

 

ESLI x

2 A,

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

OTWE^AET TREBOWANI@ (1). oPREDELIM TEPERX FUNKCI@ ' = 1

rP=1

qSNO, ^TO f < ' f + 1. pO\TOMU DLQ PROWERKI INTEGRIRUEMOSTI f DO-

STATO^NO POKAZATX INTEGRIRUEMOSTX ', TO ESTX SHODIMOSTX RQDA P r Br,

r

GDE Br = fx 2 E j '(x) = rg. pOSLEDNEE SLEDUET IZ OGRANI^ENNOSTI ^AST-

NYH SUMM \TOGO RQDA (W SILU OGRANI^ENNOSTI FUNKCII f NA MNOVESTWE

N

P Br PRIMENIMA TEOREMA P. 1):

r=1

N

NZ 'd NZ f d + E

r=1 r Br =

P

P

Br

P

Br

 

 

 

 

 

 

r=1

NZ

r=1

 

 

 

 

n

 

 

 

=

lim

fnd + E

 

K + E:

rP=1 Br

tEPERX UTWERVDENIE (2) SLEDUET IZ TEOREMY P. 1. >

346

 

 

5. s L E D S T W I E. pUSTX

n 0 I

1

 

n d < + . tOGDA RQD

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nP=1 Z

 

 

1

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

P

 

SHODITSQ P

W

.

I EGO MOVNO INTEGRIROWATX PO^LENNO

:

( n

n) d

=

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n d .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P Z|TO PEREFORMULIROWKA P.

4 W TERMINAH RQDA: DOSTATO^NO POLOVITX

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fn

=

k=1

 

k:

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P.W.

 

 

 

Z fn d K.

 

 

 

 

t E O R E M A p

 

fATU

 

pUSTX

fn

 

 

PRI^EM

 

 

6.

 

 

 

 

 

 

 

[ .

 

 

 

 

].

 

 

 

0; fn ,! f ,

 

 

tOGDA f INTEGRIRUEMA I Z

f d K.

 

 

 

 

 

 

 

 

 

 

 

 

 

pOLOVIM

'n (x)

 

 

inf fk

(x); 'n IZMERIMY, POSKOLXKU

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fxj'n(x) < cg = k[nfx j fk (x) < cg; c 2 R;

 

 

 

 

 

 

I INTEGRIRUEMY, POSKOLXKU 0

'n fn. pRI \TOM Z 'n d Z fn d

K; '1

'2

: : : I 'n

P.W.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,! f . tREBUEMOE SLEDUET TEPERX IZ P. 4, PRI-

MENENNOGO K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

('n ): >

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z jfjd < +1. tOGDA f INTEGRIRUEMA I

 

 

7. pUSTX E = n

 

An

I

n

Z

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

PAn

 

 

 

 

 

 

 

 

 

 

 

 

 

f d =

 

n

 

f d .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

PAZn

n = jfj An . mY NAHODIMSQ W USLOWIQH P. 5 I, SLEDOWATELXNO,

 

 

pOLOVIM

 

FUNKCIQ jfj

=

n

 

n

INTEGRIRUEMA. iZ 207.12 SLEDUET INTEGRIRUEMOSTX

f , A ISKOMOE RAWENSTWOP

WYTEKAET IZ 207.10.

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sOPOSTAWLQQ DOKAZANNOE UTWERVDENIE S 207.10, POLU^AEM:

 

 

 

 

 

 

8. pUSTX E =

 

n

An. fUNKCIQ f INTEGRIRUEMA TTOGDA SHODITSQ RQD

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z jfj d .

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

PAn

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u P R A V N E N I Q

pOSTROITX POSLEDOWATELXNOSTX FUNKCIJ

fn 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

9.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

SO SWOJSTWAMI: Z fnd !

0; fn ,! 0; fn NE SHODITSQ K 0 P.W.

 

 

 

 

 

347

 

10. pOKAVITE, ^TO

 

 

jfnj

d

 

 

0

TTOGDA fn

 

 

0:

 

 

 

 

 

 

 

!

,!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z 1 + jfnj

 

 

 

 

 

 

 

 

 

 

 

 

 

x209. zAMENA PEREMENNOJ W INTEGRALE lEBEGA

 

 

 

 

 

 

 

1. bUDEM GOWORITX, ^TO OTOBRAVENIE ' : E

!

E IZMERIMO,

ESLI

1

(X)

2

A WSQKIJ RAZ, KOGDA X

 

2

 

 

 

 

 

 

 

 

 

 

 

',

 

 

A. eSLI | MERA NA -ALGEBRE

A, TO SO WSQKIM OTOBRAVENIEM ' MNOVESTWA E W SEBQ MOVNO SWQZATX

ESTESTWENNYM OBRAZOM NOWU@ MERU

',

OPREDELENNU@ NA A RAWENSTWOM

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

' (X)

 

',1 (X ) (X 2 A).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

ADDITIWNOSTX

 

 

 

SLEDUET

IZ

RAWENSTWA

ESLI

ZAMETITX

 

^TO

-

 

 

 

 

1

 

 

'

 

 

 

 

 

 

 

 

 

 

 

(

 

 

 

 

 

,

 

',

 

(X)T

',

(Y ) = ; WSQKIJ RAZ, KOGDA X T Y = ;):

 

 

 

 

 

 

 

 

 

' (

 

Xn) = (',1(

Xn )) = (

 

',1 (Xn )) =

 

 

(',1(Xn))

 

 

 

 

 

 

n

 

 

 

 

 

 

 

n

 

 

 

n

 

 

 

n

 

 

 

 

 

 

 

 

 

 

P

 

 

=

 

 

'

P

 

 

 

 

 

P

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

(Xn): >

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. pUSTX OTOBRAVENIE ' : E ! E IZMERIMO I f : E ! R | IZMERI-

MAQ FUNKCIQ. tOGDA SPRAWEDLIWO RAWENSTWO

 

 

 

 

 

 

 

 

(1)

 

 

 

 

 

 

 

 

 

 

 

Z f ' d = Z f d ':

 

 

 

 

 

 

 

 

W TOM SMYSLE, ^TO ESLI OPREDELENA ODNA IZ EGO ^ASTEJ, TO OPREDELENA

I DRUGAQ (I ONI RAWNY).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

pUSTX SNA^ALA f

 

=

 

n An | PROSTAQ FUNKCIQ. tOGDA f

 

 

' =

n

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,1

(An)

, I ESLI LEWAQP^ASTX (1) OPREDELENA, TO

 

 

 

 

 

n

 

'

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

f ' d =

 

n

n ',1 (An ) =

 

n

n ' (An) =

 

 

f d '

 

 

 

 

 

 

 

 

 

 

 

 

 

X

 

 

 

 

 

 

 

 

X

 

 

 

 

Z

 

 

 

(PRI \TOM

 

n j nj ' (An) =

n j nj ',1(An) < +1). iZ (2) SLEDUET TAK-

VE, ^TO ESLIP OPREDELENA EGOPPRAWAQ ^ASTX, TO OPREDELENA I LEWAQ (I ONI

RAWNY).

pEREHODIM K OB]EMU SLU^A@. pUSTX f ' INTEGRIRUEMA. pOLOVIM

fn(x) = 8 m n, 1; < ,m;

: n

 

m

 

1

 

 

m

 

 

ESLI

m

n,

1

 

f (x) < n

I f(x) 0,

 

 

 

 

m

 

 

ESLI

 

n,

 

 

f (x) < n

I f(x) < 0.

348

pO POSTROENI@ jfnj jfj, TAK ^TO j(fn ')(x)j j(f ')(x)j(x 2 E ). kROME TOGO, fn =) f , A ZNA^IT, fn ' =) f '. iZ 207.4 I RAWENSTWA (1) DLQ PROSTYH FUNKCIJ NAHODIM

Z

 

 

n

Z

 

 

n

Z

 

Z

 

 

f

 

' d = lim

 

fn

 

' d = lim

 

fn d ' =

 

f d ':

oTS@DA VE SLEDUET, ^TO ESLI f INTEGRIRUEMA PO MERE ', TO f ' INTEG- RIRUEMA PO (I INTEGRALY RAWNY). >

x210. sRAWNENIE INTEGRALOW rIMANA I lEBEGA

1. oGRANI^IMSQ SLU^AEM OTREZKA E = [0; 1]. pUSTX f INTEGRIRUEMA PO rIMANU. tOGDA SOOTWETSTWU@]IJ INTEGRAL MOVNO PREDSTAWITX KAK PREDEL NIVNEJ ILI WERHNEJ SUMMY dARBU:

Z

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

, GDE Sn = 2,n

P

(nk),

(R) f (x) dx = limSn

= lim

 

n

 

 

0

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n

 

 

 

 

k=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

= 2,n

2n

 

 

 

 

; (nk)

= sup

f (x);

 

= inf f (x);

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

 

(nk)

 

 

 

x2 nk

 

 

(nk)

 

x2 nk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nk

= [(k

 

P1)2,n; k2,n );

k = 1; : : : ; 2,n

,

1;

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n2n = [1 , 2,

 

; 1]:

 

 

 

 

 

 

 

 

 

 

 

 

oPREDELIM DWE POSLEDOWATELXNOSTI PROSTYH FUNKCIJ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

2n

 

 

 

 

 

 

 

 

 

 

 

 

 

f =

X

(nk) ; f =

X

;

 

 

 

 

 

 

 

 

 

 

n

 

 

 

nk

n

(nk)

nk

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

k=1

 

 

 

 

 

 

2

 

: : : ;

f1 f2

: : :. eSLI U^ESTX, ^TO f OGRANI^ENA

PRI \TOM f1

f

 

(BUDU^I INTEGRIRUEMOJ PO rIMANU), TO OTS@DA SLEDUET, ^TO SU]ESTWU@T

FUNKCII f I f TAKIE , ^TO fn ! f f; fn ) f f . iZ OPREDELENIQ

207.1 Z

 

 

 

 

 

Z fn d =

S

n

 

 

f

n d = Sn;

(ZDESX | LINEJNAQ MERA lEBEGA). w

 

 

SILU 208.4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

Z0

1

 

n

n Z

 

 

 

 

 

 

 

n

 

 

n

n

n

 

n

 

 

f d =

lim

 

 

f

 

d = lim Sn = (R)

f(x)dx = lim

S

 

= lim

f

 

d

 

 

 

 

 

 

 

= Z f d :

349

 

Z j

 

,

 

j

 

Z

 

 

,

 

 

 

1

 

 

oTS@DA

 

f

 

f

 

d =

 

(f

 

f )d = 0, TO ESTX (SM. 207.14) f = f = f P.W.

NA [0; 1]. tAKIM OBRAZOM, Z f d = Z

 

d = (R)Z0

 

f

f (x) dx. sFORMULIRUEM

POLU^ENNYJ REZULXTAT.

 

 

 

 

 

 

 

 

 

2. eSLI f INTEGRIRUEMA NA OTREZKE PO rIMANU, TO ONA INTEGRIRUEMA PO lEBEGU I SOOTWETSTWU@]IE INTEGRALY SOWPADA@T.

z A M E ^ A N I Q. 3. nEOGRANI^ENNYE FUNKCII WOOB]E NE INTEGRIRUEMY PO rIMANU, NO NEKOTORYE IZ NIH INTEGRIRUEMY PO lEBEGU. nAPRIMER,

x,1=2;

ESLI 0 < x

1,

f(x) = ( 0;

ESLI x = 0,

 

NE INTEGRIRUEMA PO rIMANU. oDNAKO, f INTEGRIRUEMA PO lEBEGU. dEJST-

WITELXNO, POLOVIM fn (x) = x,1=2 ,2 (x) (n = 1; 2; : : :). qSNO, ^TO fn

!

f

 

 

 

 

 

 

 

 

 

 

 

 

 

[n

 

;1]

 

 

I PO P. 2

 

 

 

 

Z fn d = (R)Z0

1

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

fn (x) dx = 2 , n 2:

 

 

oSTAETSQ WOSPOLXZOWATXSQ TEOREMOJ fATU.

 

 

 

 

"!0+

 

1

 

 

 

j

 

 

 

1

 

 

 

 

 

 

Z" j

 

 

 

 

 

 

 

 

 

4. eSLI

lim (R)

 

 

f (x) dx < +

 

 

, TO f INTEGRIRUEMA PO lEBEGU NA

 

 

 

Z

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

[0; 1], PRI^EM

f d

=

 

lim (R)

 

 

f(x) dx (!!).

 

 

 

 

 

 

 

1

"!0+

Z"

 

 

 

 

 

 

 

 

 

 

 

"!0+

 

j

 

 

j

 

 

 

1

 

 

 

 

 

 

Z"

 

 

 

 

 

 

 

 

 

5. eSLI

lim (R)

 

 

f (x) dx = +

 

, TO f NE INTEGRIRUEMA PO lEBEGU,

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

DAVE ESLI

 

lim (R)

f(x)dx SU]ESTWUET.

 

 

 

"!0+

 

Z"

 

 

 

 

 

 

 

 

 

 

 

P.W.

 

 

fpOLOVIM fn = f (1=n;1]

 

 

 

 

 

 

 

 

 

 

(n = 1; 2; : : :). tOGDA jfnj jfj; jfnj ,! jfj. eSLI

DOPUSTITX, ^TO f INTEGRIRUEMA PO lEBEGU, TO W SILU 207.12 Z jfj d <

+1; W ^ASTNOSTI,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(R)Z1=njf (x)j dx =

Z jfnj d Z jfj d ;

 

 

ODNAKO, (R)Z 1jf (x)j dx ! +1 (" ! 0).g

"

350