Professional Documents
Culture Documents
Prirodnomatemati
cki fakultet
DIPLOMSKI RAD
Nesvojstveni integral
Mentor:
Dr Mirjana Pavlovic
Kandidat:
Marta Milosevic 47/00
KRAGUJEVAC, 2011.
Sadr
zaj
1. Nesvojstveni jednostruki integral
1.1. Definicija, primeri i osobine . . . . . . . .
1.2. Kriterijumi za konvergenciju . . . . . . .
1.3. Nesvojstveni integral sa vise singulariteta
1.4. Glavna vrednost integrala . . . . . . . . .
.
.
.
.
3
3
7
11
12
2. Nesvojstveni vi
sestruki integral
2.1. Nesvojstveni integral nenegativnih funkcija . . . . . . . . . . . . . . . . .
2.2. Nesvojstveni integral funkcija promenljivog znaka . . . . . . . . . . . . . .
14
14
17
20
20
24
24
26
28
33
33
34
Literatura
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
37
Rb
a podintegralna funkcija f (x) definisana i ogranicena na konacnom intervalu [a, b]. Ukoliko jedan od ovih uslova nije ispunjen, definicija odredenog integrala gubi smisao, jer
integralne sume neogranicenih funkcija nemaju konacan limes, a beskonacne intervale ne
mozemo podeliti na n konacnih intervala. Da bismo obuhvatili ovakve slucajeve (kod
kojih granice integracije nisu konacne ili podintegralna funkcija nije konacna), uvodimo
pojam nesvojstvenog integrala.
f (x)dx
b0
a
Cesto
se simbol
Rb
ukoliko lim
b0 a
Rb
f (x)dx ko-
Rb
Rb
f (x)dx.
Rb
R1
Najpre, za 6= 1 odredimo
Z1
dx
,
x
dx
1 1
1
1
(1 1 )
=
=
1
x
1 x
1
1
,
1
< 1,
+, > 1.
Dalje je
Z1
lim
0+
dx
= lim ( ln ) = +.
0+
x
R1
0
dx
x
f (x)dx,
+
a
Cesto
se simbol
+
R
lim
+ a
Rb
f (x)dx.
Neka je 6= 1. Tada je
Z+
dx
= lim
x +
Kako je lim
+
R
dx
,
x
R.
dx
1
= lim
( 1 1) =
+ 1
x
1
,
1
> 1,
+, < 1.
+ 1
dx
x
+
R
1
divergira za 6 1.N
4
dx
x
konvergira za > 1, a
neogranicena na intervalu [a, b), ili b = +. Drugim recima, ako je funkcija f definisana na konacnom ili beskonacnom intervalu [a, b) i integrabilna na svakom segmentu
Rb
[a, ] [a, b) onda nesvojstveni integral f (x)dx konvergira ako postoji konacan
a
lim
b a
b0 a
+ a
lim
b a
f (x)dx
f (x)dx.
Rb
f (x)dx i
Rb
Tada:
1 Ako ti integrali konvergiraju, vazi jednakost
Zb
Zb
(f (x) + g(x))dx =
Zb
Rb
g(x)dx, za , R.
f (x)dx +
a
Rb
a
f (x)dx =
Rc
f (x)dx +
Rb
Rb
f (x)dx.
Rb
Zb
Rb
(f g 0 )(x)dx
b Z b
(f g )(x)dx = (f g)(x) (f 0 g)(x)dx,
0
b
gde (f g)(x) znaci lim f (x)g(x) f (a)g(a).
a
f (x)dx i vazi
xb
Z
(f (x) + g(x))dx =
f (x)dx +
a
g(x)dx
a
Zc
f (x)dx =
f (x)dx +
a
f (x)dx
c
3 Iz jednakosti
Z
Z
(f g 0 )(x)dx = (f g)(x) (f 0 g)(x)dx
a
sledi
Z
lim
(f 0 g)(x)dx.
Kako lim (f g)() postoji, to postoji i lim (f g 0 )(x)dx ako i samo ako postoji
b
b a
lim (f 0 g)(x)dx.
b a
Primer 3. 1 Integral
+
R
Z+
Z0
Z+
|x|
x
e dx =
e dx +
ex dx
Z+
dx
=
x
Z1
dx
+
x
Z+
dx
.
x
Z1
1
dx
=
1 x2
Z0
1
dx
+
1 x2
Z1
dx
= + = .N
2
2
1 x2
Zc
f (x)dx =
Zb
f (x)dx +
f (x)dx,
c
Rx
Rb
f (x)dx konve-
rgira ako i samo ako postoji konacan lim (x). To je ispunjeno ako i samo ako je ispunjen
xb
Kosijev uslov
( > 0)(0 )(1 , 2 )(0 < 1 < 2 < b |(2 ) (1 )| < ).
No,
Z2
(2 ) (1 ) =
f (x)dx.
1
Rb
Rb
f (x)dx
konvergira.
Rb
Dokaz. Neka je proizvoljan pozitivan broj. Kako integral g(x)dx konvergira, to
a
R2
postoji 0 , tako da za 0 < 1 < 2 < b vazi g(x)dx < . Iz pretpostavke stava sledi
1
Z 2
Z2
Z2
f (x)dx 6 |f (x)| dx 6 g(x)dx < .
1
Rb
Rb
|f (x)| dx.
a
1
Rb
x
x
a
2 Integral
+
R
1
+
R
1
dx
x2
cos x
dx
x2
x
6
konvergira. Ovo sledi iz nejednakosti cos
x2
1
x2
i cinjenice da
konvergira. N
Pitanje apsolutne konvergencije svodi se na pitanje konvergencije nesvojstvenih integrala nenegativnih funkcija. Sledi nekoliko kriterijuma za konvergenciju integrala takvih
funkcija.
Stav 3. Za konvergenciju nesvojstvenog integrala
Rb
a 6 < b.
f (x)dx
a
Zb
(2)
g(x)dx
a
nesvojstveni integrali sa singularitetom b. Tada iz konvergencije integrala (2) sledi konvergencija integrala (1), a iz divergencije integrala (1) sledi divergencija integrala (2).
Dokaz. Oznacimo () =
f (x)dx, () =
konvergencija integrala (1), a iz divergencije integrala (2), pri c > 0, sledi divergencija
integrala (1). Specijalno, ako je 0 < c < +, onda integrali (1) i (2) konvergiraju,
odnosno divergiraju, istovremeno.
(x)
= c,
Dokaz. Neka integral (2) konvergira i pri tome je 0 6 c < +. Kako je lim fg(x)
xb
f (x)
< c + ,
g(x)
za 0 < x < b
Odavde je
f (x) < (c + )g(x),
pa iz konvergencije integrala
Rb
0 < x < b,
konvergencija integrala
Rb
Rb
(c + )g(x)dx) sledi i
f (x)dx.
Neka integral (2) divergira i pri tom je 0 < c 6 +. Tada divergira i integral (1). Naime,
pretpostavimo da integral (1) konvergira. Iz pretpostavke sledi
g(x)
1
= ,
xb f (x)
c
lim
06
1
< +.
c
Prema gore dokazanom, zbog konvergencije integrala (1), konvergirao bi i integral (2),
sto je kontradikcija.
+
R
ex dx konvergira, jer je ex
6 ex , za
1 6 x < +, a integral
+
R
e dx konvergira.
+
R
1
Kako je lim
x+
1+x2
1
x2
= 1, a integral
+
R
1
dx
x2
dx
.
x 1+x2
+
R
Z+
Integral
+
R
cos x
dx
x2
sin x
dx
x
h cos x i +
sin x
dx =
x
x
2
Z+
cos x
dx =
x2
Z+
cos x
dx
x2
dx.
x dx >
x
2
x
2
x
Integral
+
R
cos 2x
dx
x
dx
x
cos 2x
dx
x
+
R
sin x
dx).
x
Dakle,
+
R
sin x dx
x
divergira. N
Za nesvojstveni integral koji konvergira, ali ne konvergira apsolutno, cesto se kaze da
konvergira uslovno. Jedan kriterijum za ispitivanje (ne apsolutne) konvergencije je:
Teorema 2. (Abel - Dirihle2 ) Neka su funkcije f i g definisane na [a, b) i integrabilne
na svakom segmentu [a, ] [a, b). Za konvergenciju nesvojstvenog integrala
Zb
f (x)g(x)dx
a
Rb
f (x)dx konvergira;
10
tako da je |g(x)| < 2M
za x > 0 . Prema drugoj teoremi3 o srednjoj vrednosti integrala
za 0 < 1 < 2 < b postoji (1 , 2 ) tako da vazi jednakost
Z2
Z
f (x)g(x)dx = g(1 )
Z2
f (x)dx + g(2 )
f (x)dx.
Odavde je
Z 2
f (x)g(x)dx < |g(1 )| M + |g(2 )| M < .
1
+
R
0
sin ax
dx,
1+xn
1
1+xn
nacin:
Zb
Zc
f (x)dx =
Zb
f (x)dx +
f (x)dx
c
gde a < c < b i on po definiciji konvergira ako konvergiraju oba integrala sa desne strane.
Prema Stavu 1.2 njegova konvergencija ne zavisi od tacke c (a, b).
U slucaju da je podintegralna funkcija neogranicena u okolini jedne od unutrasnjih
tacaka segmenta [a, b], stavljamo
Zb
Zc
f (x)dx =
Zb
f (x)dx +
f (x)dx
c
3
Teorema: Neka je f neprekidna, a g monotona i glatka funkcija na segmentu [a, b]. Tada postoji
[a, b], tako da vazi
Zb
Z
Zb
f (x)g(x)dx = g(a) f (x)dx + g(b) f (x)dx.
a
11
Zb
f (x)dx i
lim
1 0+
lim
2 0+
c+2
f (x)dx
c
Z
Zb
lim f (x)dx +
f (x)dx
0+
c+
Rb
i to oznacavamo sa
Zb
v.p.
f (x)dx.
a
Slicno ako funkcija nije ogranicena samo u tackama a i b, onda se, ukoliko postoji
granicna vrednost
Zb
lim
f (x)dx,
0+
a+
definise
Zb
v.p.
Zb
f (x)dx = lim
f (x)dx.
Ako integral
Rb
0+
a+
Rb
a
f (x)dx,
Primer 9. 1 Integral
R1
1
ne postoji kao Rimanov integral jer x1 +, kada x 0.
dx
x
dx
+
x
Z1
1
1
1
dx
= (log |x|) + (log |x|) = log
x
2
2
1
2 Odredimo
Z+
I = v.p.
x2
dx
.
3x + 2
0
2
Z2
I1 = v.p.
Z3
dx
,
x2 3x + 2
I2 = v.p.
dx
,
x2 3x + 2
3
2
Z+
I3 = v.p.
x2
dx
.
3x + 2
Sada imamo
I1 = lim
0+
3 !
x 2 1
x 22
1
1+
log
+ log
log 2 = log .
= lim log
0+
x1 0
x 1 1+
1
2
Slicno,
I2 = lim
0+
!
x 2 2
x 2 3
1+
1
log
+ log
= lim log
log 2 = log .
0+
x1 3
x 1 2+
1
2
2
Najzad,
x 2 +
x 2
log 1 = log 2,
I3 = log
= lim log
x+
x1 3
x 1
2
pa je I = log 2. N
13
2. Nesvojstveni vi
sestruki integral
Kao i u slucaju funkcija jedne promenljive, i ovde je cilj da prosirimo pojam Rimanovog integrala kako u slucaju kada je oblast integracije neogranicena, tako i u slucaju
neogranicenih funkcija. Oba slucaja posmatracemo istovremeno.
Najpre cemo dati pojam monotonog pokrivaca neke oblasti u prostoru Rn .
Definicija 4. Neka je D Rn data oblast. Familija D = {Dk |k = 1, 2, ...} otvorenih
skupova monotono pokriva oblast D ako su ispunjeni uslovi
+
S k
D = D;
1
k=1
2 Dk Dk+1 za k = 1, 2, ....
Familiju D cemo nazivati monotonim pokrivacem.
Definicija 5. Neka je realna funkcija f (x) definisana na oblasti D Rn i integrabilna na svakom merljivom podskupu skupa D. Posmatrajmo sve monotone pokrivace
D = {Dk |k = 1, 2, ...} koji imaju svojstvo da je svaki Dk merljiv skup. Ako za svaku
familiju D postoji
Z
lim
f (x)dx
k+
Dk
Cesto
se simbol
pa se kaze da taj nesvojstveni integral konvergira, odnosno divergira, ako gore pomenuti
limes postoji (kao konacan), odnosno ne postoji ili je beskonacan.
D = {Dk |k = 1, 2,R ...} koja monotono pokriva oblast D i gde su Dk merljivi skupovi,
+
niz (ak )k=1
, ak = f (x)dx, bude ogranicen.
Dk
14
Dokaz. Ako
D
k
k+1 i f (x) > 0, x D sledi
Pretpostavimo
R
R da je niz (ak )k ogranicen. Kako iz D D
f (x)dx 6
f (x)dx, to je taj niz rastuci, pa postoji konacan lim ak = I.
Dk
k+
Dk+1
Uocimo neku drugu familiju {E k |k = 1, 2, ...} koja monotono pokriva oblast D i oznacimo
Z
bk = f (x)dx.
Ek
ex
2 y 2
dxdy
R2
Zk
d
rer dr = (1 ek ).
Ocigledno lim ak = .
k+
Ek
ex
2 y 2
Zk
dxdy =
Ek
Zk
sledi
ex dx
Zk
= lim
k+
ey dy =
Zk
+
2
Z
2
2
ex dx = ex dx
15
ex dx
i zatim
Z+
2
ex dx =
!
Dokaz. Za monotoni pokrivac {Dk |k = 1, 2, ...} skupa D, niz
R
Dk
rgira. Kako je
Z
g(x)dx
konvek
Z
f (x)dx 6
Dk
g(x)dx,
Dk
!
to je niz
f (x)dx
Dk
f (x)dx divergira,
R
Stav 6. Ako je f (x) > 0, x D Rn , f (x)dx konvergira i E D ima monoton
D
R
pokrivac, onda i f (x)dx konvergira i vazi nejednakost
E
Z
f (x)dx 6
E
f (x)dx.
D
16
Dk
|f (x)| + f (x)
,
2
f (x) =
|f (x)| f (x)
,
2
f (x) =
x D,
0, za f (x) > 0
,
f (x), za f (x) < 0
x D.
Sledece nejednakosti
0 6 f+ (x) 6 |f (x)|,
(3)
0 6 f (x) 6 |f (x)|,
x D,
kao i jednakosti
(4)
x D,
ocigledne
su.
R
R
Ako f (x)dx apsolutno konvergira, tj. ako |f (x)|dx konvergira, onda prema (3) i
D
D
R
R
Teoremi 4 konvergiraju f+ (x)dx i f (x)dx. Na osnovu jednakosti (4) lako se vidi da
D
D
R
konvergira i f (x)dx.
D
R
R
Obratno, neka konvergira f (x)dx. Pretpostavimo suprotno, da |f (x)|dx divergira.
D
17
Dk
Dk
Z
|f (x)|dx =
Ek
Z
f+ (x)dx +
Ek
f (x)dx.
Ek
Od dva integrala na desnoj strani poslednje jednakosti, jedan je veci ili jednak drugom.
Odredenosti radi, pretpostavimo da je
Z
Z
f+ (x)dx > f (x)dx.
Ek
Ek
Z
|f (x)|dx + k.
f+ (x)dx >
Ek
Dk
Dk
Oznacimo sa P k =
(7)
Pk
Dk
Z
f (x)dx >
Dk
|f (x)|dx
Dk
sabiranjem sledi
Z
f (x)dx > k.
Qk
18
Po konstrukciji je
Qk
nejednakosti sledi da je
0
R
|k N
19
I(y) =
f (x, y)dx
a
Z
F (, y) =
f (x, y)dx.
a
+
R
1
dx
xy
dx
1
1
=
6 0 ( +)
y
y1
x
(y 1)
20
1
dx
=
+ (y 1 + 0)
y
x
(y 1) y1
+
R dx
pa se za dato > 0 ne moze izabrati 0 (1, +), tako da nejednakost
< vazi
xy
za > 0 , istovremeno za sve y Y2 . N
Opsti Kosijev princip konvergencije daje sledeci neophodan i dovoljan uslov ravnomerne
konvergencije nesvojstvenog parametarskog integrala.
Teorema 6. Integral (8) ravnomerno konvergira po y Y R ako i samo ako za svako
> 0 postoji
0 [a, b) takvo da za sve 1 , 2 za koje je 0 < 1 < 2 < b i za svako
R2
y Y vazi f (x, y)dx < .
1
Posledica 3. Ako je podintegralna funkcija f integrala (8) neprekidna na [a, b) [c, d]
i taj integral konvergira za y (c, d), ali divergira za y = c (odnosno y = d), onda on
neravnomerno konvergira na (c, d).
Dokaz. Pretpostavimo da integral (8) divergira, na primer, za y = c. Tada postoji
> 0, tako
da se za svako 0 [a, b) mogu se naci 1 , 2 (0 , b) za koje je
R2
R2
>
.
Integral
f
(x,
c)dx
f (x, y)dx je (svojstveni) parametarski integral koji je
1
1
neprekidna funkcija od y (c, d) (na osnovu stava5 koji daje dovoljan uslov neprekidnosti
Znaci, za vrednosti y dovoljno bliske c, vazice i nejednakost
funkcije (8)).
R2
f (x, c)dx > . Dakle, nisu ispunjeni uslovi prethodne teoreme za ravnomernu ko1
nvergenciju integrala (8) na (c, d).
Primetimo da na osnovu ove posledice neposredno dobijamo zakljucak o neravnome+
R dx
na (1, +).
rnoj konvergenciji integrala
xy
1
Stav: Neka je P pravougaonik [a, b] [c, d] i neka je f (x, y) neprekidna funkcija na P . Tada je I(y)
neprekidna funkcija na [c, d].
6
K. Weierstrass (1815 1897), nemacki matematicar
21
Rb
R2
Z2
Z 2
Z2
f (x, y)dx 6 |f (x, y)| dx 6 (x)dx < ,
1
+
R
0
xy
6
ispunjeno cos
1+x2
2 Integral
R1
1
,
1+x2
cos xy
dx
1+x2
+
R
0
dx
1+x2
konvergira.
R1
Vajerstrasovim kriterijumom ne moze se dokazati ravnomerna konvergencija neapsolutno konvergentnog integrala. U takvim slucajevima koristimo sledeci stav:
Stav 8. (Abel - Dirihleov kriterijum) Neka su funkcije f (x, y) i g(x, y) definisane
za x [a, b) i y Y R i neka su za svako y Y integrabilne po x na svakom segmentu
[a, ] [a, b). Za ravnomernu konvergenciju nesvojstvenog integrala
Zb
(9)
Z
f (x, y)g(x, y)dx = g(1 , y)
Z2
f (x, y)dx + g(2 , y)
f (x, y)dx
za neko [1 , 2 ]. Na osnovu pretpostavke (D1) integrali na desnoj strani ove jednakosti mogu se po apsolutnoj vrednosti ograniciti nekom konstantom k (uniformno po
y Y ). Iz pretpostavke (D2) sledi da se moze naci 0 [a, b) tako da ako je 1 , 2 > 0
+
R
integral
+
R
primer, integral
Z+
sin x xy
e dx
x
za neko c > 0, taj integral konvergira ravnomerno. Zaista, kako 0 nije singularitet tog
integrala, mozemo posmatrati samo njegovo ponasanje kad x +. No, tada tvrdenje
lako sledi iz Dirihleovog kriterijuma.
Medutim, ovaj integral nije ravnomerno konvergentan na R. Zaista, za > 0 vazi
+
+
Z
Z
Z+
sin
xy
sin
x
sin x
sup
dx = sup
dx >
dx > 0.N
x
x
x
yR
>0
23
3.2.1. Grani
cna vrednost i neprekidnost
Teorema 7. Neka je funkcija f (x, y), za svako y iz neke okoline V tacke y0 R, integrabilna po x [a, ] za svako za koje je a < < b. Ako:
1 za svako takvo vazi f (x, y) (x) (y y0 ) na [a, ]
Rb
2 nesvojstveni integral f (x, y)dx ravnomerno konvergira na V ,
a
tada
Rb
Zb
(10)
lim
Zb
f (x, y)dx =
yy0
Dokaz. Oznacimo F (, y) =
sledi da je
F (, y)
Rb
lim F (, y)
yy0
R
a
R
(x)dx.
b a
je lim
Rb
yy0 a
(x)dx =
Rb
(x)dx i jednak
f (x, y)dx.
Stav: Ako je funkcija f (x, y) integrabilna po x na segmentu [a, b] za svako y iz neke okoline V tacke
y0 R i ako f (x, y) (x) (y y0 ) po x [a, b], onda je
Zb
lim I(y) =
yy0
Zb
lim f (x, y) dx = (x)dx
yy0
a
.
8
tada postoje lim f (x) i lim bt i vazi lim f (x) = lim bt , tj.
xa
tt0
xa
tt0
xa tt0
tt0 xa
24
Provera uslova navedene teoreme nekad se moze izvesti koriscenjem Dinijevog9 kriterijuma.
Posledica 4. Neka je, za svako y < y0 (y > y0 ) iz neke okoline V tacke y0 , f (x, y)
nenegativna i neprekidna funkcija od x [a, b) koja, kad y rastuci (opadajuci) tezi y0 ,
Rb
rastuci (po y) tezi funkciji (x), neprekidnoj na [a, b). Ako integral (x)dx konvergira,
a
+
P
n=1
neka je njegov zbir f (x) na [a, b) neprekidna i integabilna funkcija. Tada se taj red moze
integrisati clan-po-clan na [a, b), tj. vazi
Zb
a
+
X
!
an (x) dx =
n=1
+ Z
X
an (x)dx.
n=1 a
Neposredna posledica Teoreme 7 je i sledeca teorema o neprekidnosti funkcije definisane nesvojstvenim parametarskim integralom.
Teorema 8. Neka je funkcija f neprekidna na [a, b)[c, d] i neka je (nesvojstveni) integral
Rb
I(y) = f (x, y)dx ravnomerno konvergentan po y [c, d]. Tada je I(y) neprekidna
a
ln(1 x)
dx,
x
Stav: neka je K R kompaktan (dakle, zatvoren i ogranicen) skup i neka je (an (x))nN monoton
(po n) niz funkcija neprekidnih na K. Ako an (x) a(x) (n +) na K i ako je a : K R neprekidna
funkcija, tada an a (n +) na K.
25
Z
+
+
X
X
1
1
ln(1 x)
2
n1
dx =
x dx =
=
x
n
n2
6
n=1
n=1
0
sin x xy
e dx
x
ravnomerno konvergentan po y [0, +). Kako je njegova podintegralna funkcija (dodefinisana jedinicom za x = 0) neprekidna na [0, +) [0, d] za sve d > 0, to na osnovu
Teoreme 8 zakljucujemo da je i funkcija I(y) neprekidna na [0, d] dakle i na [0, +).
Specijalno, vazi
Z+
Z+
sin x xy
sin x
lim I(y) = lim
e dx =
dx.N
y0
y0
x
x
0
3 integral
Rb
a
f
(x, y)dx
y
(11)
Zb
f
(x, y)dx.
y
a
10
Zb
I (y) =
f
(x, y)dx.
y
26
Dokaz. Oznacimo
Z
F (, y) =
f (x, y)dx
a
f
(x, y)dx.
y
Na osnovu 3 vazi
F
(, y)
y
Zb
f
(x, y)dx ( b) na [c, d].
y
sin yx
dx,
x
y R.
parametarski integral
Z+
I(y) =
sin yx x
e dx,
x
y > 0.
y 2 + 2
0
11
27
+
R
ex dx
koji ne zavisi od y.
y
Iz I 0 (y) = y2 +
2 dobijamo I(y) = arctg + c. Zamenom y = 0 dobijamo c = I(0) = 0, pa
je
y
I(y) = arctg ,
(12)
> 0.
Z+
sin yx x
e dx =
x
sin yx
dx = D(y),
x
sgny,
2
y R. N
Zd
I(y)dy =
Zb
dy
Zb
f (x, y)dx =
Zd
dx
f (x, y)dy.
c
Zd
(14)
dy
c
Z
f (x, y)dx =
Zd
dx
f (x, y)dy.
c
12
Stav: Neka je funkcija f : P R neprekidna na pravougaoniku P = [a, b] [c, d]. Tada je funkcija
Rb
I : [c, d] R definisana integralom I(y) = f (x, y)dx integrabilna i vazi
a
Zd
Zd
I(y)dy =
Zb
dy
Zb
f (x, y)dx =
dx
a
28
Zd
f (x, y)dy.
c
Rb
f (x, y)dx,
Rb
a
dx
Rd
f (x, y)dy.
Kada je potrebno promeniti poredak dva nesvojstvena integrala, uslovi koji to obezbeduju se dalje komplikuju. Dokazacemo samo jedno tvrdenje koje se odnosi na slucaj
nenegativne podintegralne funkcije.
Teorema 11. Neka je funkcija f : [a, b) [c, d) R neprekidna i nenegativna i neka
oba (nesvojstvena) integrala
Zb
(15)
I(y) =
Zd
f (x, y)dx,
J(x) =
f (x, y)dy
c
definisu neprekidne funkcije (od y [c, d), odnosno od x [a, b) ). Tada vazi jednakost
Zd
(16)
Zb
Zb
dy
c
f (x, y)dx =
a
Zd
dx
f (x, y)dy
c
Zd
dx
Zd
f (x, y)dy =
dy
f (x, y)dx.
Zd
Zb
Zd
dy
c
f (x, y)dx 6
c
f (x, y)dx.
dy
a
13
Zb
f (x)dx = lim
ft (x)dx.
tt0
29
Iz poslednje dve relacije sledi da i integral na desnoj strani relacije (16) konvergira i da
vazi
Zb
Zd
Zd Zb
dx f (x, y)dy 6 dy f (x, y)dx.
a
Zb
|f (x, y)| dx,
dy
c
Zb
Zd
|f (x, y)| dy
dx
b
f (bx) f (ax)
dx = [f (+) f (0)] ln .
x
a
Zaista, neka je, na primer, a < b. Nije ogranicenje opstosti ako pretpostavimo da je f 0
+
R 0
rastuca i pozitivna funkcija. Integral
f (yx)dx ravnomerno konvergira po y [a, b],
0
+
R
0
f (+)f (0)
).
b
Zato se na integral
Rb
dy
+
R
dobija
[f (+) f (0)] ln ab =
Zb
f (+) f (0)
dy =
y
a
Z+
Zb
dx
0
f 0 (yx)dy =
Zb
a
+
Z
Z+
dy
f 0 (yx)dx =
0
f (bx) f (ax)
dx.
x
ebx eax
b
dx = ln ,
x
a
Z+
arctgbx arctgax
b
dx = ln .
x
2 a
30
sin yx
dx = ,
x
2
y>0
Zb
Z+
Z+ Zb
sin yx
sin yx
dy = dy
dx = (b a)
dx
x
x
2
cos ax cos bx
dx =
x2
y 2 x2
:
(x2 +y 2 )2
Z+ Z+
Z+ Z+
dx
f (x, y)dy
dy
f (x, y)dx = 6= =
4
4
1
Z+
f (x, y)dy
Z+
cos x2 dx
Z+
sin t
dt
t
+
R
0
Z+
2
etu du,
0
14
31
eu du =
p
2
pa je
Z+
Z+
Z+
1
2
2
sin tdt
etu du.
sin x dx =
Z+
sin t t
1
e dt =
Z+
Z+
2
t
e sin tdt
etu du.
0
t tu2
Sada su uslovi Teoreme 12 ispunjeni, jer je e e
sin t 6 et za sve t > 0, u > 0, a
+
R t
integral
e dt konvergira. Tako dobijamo:
0
1
I() =
Z+ Z+
Z+
1
du
2
e(+u )t sin tdt =
du
.
1 + ( + u2 )2
Kako integral I() ravnomerno konvergira po > 0 (na primer, na osnovu Dirihleovog kriterijuma), a dobijeni integral ravnomerno konvergira po > 0 (na osnovu Vajerstrasovog kriterijuma), to prelaskom na limes kad 0+ dobijamo
r
Z+
Z+
1
1
du
2
=
sin x dx = lim I() =
0+
1 + u4
2 2
+
R
32
(18)
nazivamo gama funkcijom ili Ojlerovim integralom prvog reda (kao sto je to predlozio
Lezandr15 ).
Ovaj integral ima singularitete x = + i (ako je < 1) x = 0. Kada je x = +, jasno je
da integral konvergira za svako R. Medutim, kada x 0+, vazi x1 ex x1 , pa
zakljucujemo da integral (18) konvergira ako i samo ako je > 0. Dakle, domen funkcije
je (0, +).
Navedimo neke njene najvaznije osobine.
1 Za svako > 0 vazi
(19)
( + 1) = ().
Specijalno, za = n N dobijamo
(20)
s obzirom da je (1) =
+
R
15
(n 1)!
.
( + 1) ( + n 1)
33
(21)
,
sin
0 < < 1.
()
2 2 e+ 12 ,
> 0,
B(, ) =
x1 (1 x)1 dx
t
1+t
1
B( 1, ).
+1
B,
Z+
B(, ) =
t1
dt.
(1 + t)+
B(, ) =
()()
( + )
34
za > 0, > 0.
(24)
0
+
Z
0
+
Z
x1 ex dx
x y 1 exy dy
(u drugom integralu uveli smo smenu z = xy). Da bismo mogli da promenimo redosled
integrala, proverimo da li su ispunjeni uslovi Teoreme 11. Funkcija
f (x, y) = x+1 y 1 e(1+y)x
je neprekidna i nenegativna na [0, +) [0, +). Integrali
Z+
f (x, y)dx =
y 1
( + ),
(1 + y)+
Z+
f (x, y)dy = x1 ex ()
0
definisu neprekidne funkcije od y [0, +), odnosno x [0, +), a iz (24) sledi da
+
+
R
R
postoji uzastopni integral
dx
f (x, y)dy. Dakle, vazi
0
Z+ Z+
Z+
()() =
dy
f (x, y)dx = ( + )
0
y 1
dy =
(1 + y)+
= ( + )B(, ),
za > 1, > 1. Da bismo dokazali da formula vazi za sve , > 0, dovoljno je da
primenimo formulu (19), kao i formule
B(, ) =
1
B( 1, )
+1
B(, ) =
1
B(, 1).
+1
Kao posledicu formule (23), mogu se navesti jos neka svojstva funkcije B iz odgovarajucih svojstava funkcije . Na primer, iz osobine (20) dobija se
B(m, n) =
(m 1)!(n 1)!
,
(m + n 1)!
a iz osobine (21),
B(, 1 ) =
Specijalno, B
1 1
,
2 2
,
sin
= .
35
m, n N,
0 < < 1.
R2
0
1
sin x cos xdx =
2
Z1
t
1
2
(1 t)
1
2
dt =
1
= B
2
+1 +1
,
2
2
36
+1
1 +1
2
2
.
=
2 +
+
1
2
Literatura
[1] Blagota Lucic, Matematika, Ekonomski fakultet, Sarajevo, 2005.
[2] Darko Milinkovic, Matematicka analiza I - skripta, Beograd, 2010.
- . Tosic, Elementi matematicke analize II, Naucna
[3] Dobrivoje Mihailovic, Dobrilo D
knjiga, Beograd, 1979.
[4] Dusan Adnadevic, Zoran Kadelburg, Matematicka analiza I, Nauka, Beograd, 1995.
[5] Dusan Adnadevic, Zoran Kadelburg, Matematicka analiza II, Zavod za udzbenike i
nastavna sredstva, Beograd, 1991.
D
- ordevic, Matematicka analiza I, Elektronski
[6] Gradimir V. Milovanovic, Radosav Z.
fakultet, Nis, 2005.
[7] Milosav Marjanovic, Matematicka analiza I, Naucna knjiga, Beograd, 1979.
[8] Radoslav Dimitrijevic, Analiza realnih funkcija vise promenljivih, Nis, 2010.
[9] Stojan N. Radenovic, Matematicka analiza I, Beograd i Kragujevac, 2000.
37