Professional Documents
Culture Documents
Integralsz
Integralsz
HATROZATLAN INTEGRL
7.1 Definci s alapintegrlok
Definci. Legyen f : I R adott fggvny (I R egy intervallum). A F : I R fggvnyt a f fggvny
primitv fggvnynek nevezzk I-n, ha
F dierencilhat I-n,
F
(x) = F
(x) + c
= F
(x) = f(x).
Fordtva, ha F, G a f fggvny primitv fggvnyei, akkor
(G(x) F(x))
= f(x) f(x) = 0 (x I)
amibl G(x) F(x) = c =konstans, ha x I.
Definci. Egy f fggvny sszes primitv fggvnyeinek halmazt f hatrozatlan integrljnak nevezzk,
s
_
f(x) dx-szel, vagy
_
f -fel jelljk.
Azaz
_
f(x) dx = { F(x) + c : c R, F a f egy primitv fggvnye },
amit egyszeren gy runk, hogy
_
f(x) dx = F(x) + c (c R).
A legfontosabb elemi fggvnyek dierencilsi szablyaibl kapjuk az alapintegrlokat:
_
e
x
dx = e
x
+ c (x R)
_
a
x
dx =
a
x
ln a
+ c (x R, 1 = a > 0)
_
x
dx =
x
+1
+ 1
+ c (x > 0, 1 = R)
_
1
x
dx = ln |x| + c (x > 0 vagy x < 0)
1
2
_
x
n
dx =
x
n+1
n + 1
+ c (x R, n = 0, 1, . . . )
_
sin xdx = cos x + c (x R)
_
cos xdx = sin x + c (x R)
_
1
cos
2
x
dx = tg x + c (k
2
< x < k +
2
, k Z)
_
1
sin
2
x
dx = ctg x + c (k < x < (k + 1), k Z)
_
1
1 x
2
dx = arcsin x + c (|x| < 1)
_
1
1 + x
2
dx = arctg x + c (x R)
Bizonyts. Pldul az utols kplet igazolsa:
(arctg x + c)
=
1
1 + x
2
,
a tbbi hasonlan, dierencilssal igazolhat.
7.2 Integrlsi szablyok
Ha f, g-nek van primitv fggvnye, akkor f + g, cf (c R)-nek is van, s
_
(f + g) =
_
f +
_
g
_
(cf) = c
_
f.
Ez kvetkezik abbl, hogy sszeg tagonknt dierencilhat, s konstans kiemelhet a dierencils jele el.
A szorzat dierencilsi szablybl kapjuk a parcilis integrls szablyt: ha f, g dierencilhatk s
fg
g = fg
_
fg
ugyanis
_
fg
_
fg
= f
g + fg
fg
= f
g.
Az sszetett fggvny dierencilsi szablybl kapjuk a helyettestses integrls szablyt: ha f-nek
van primitv fggvnye I-n, g : J I dierencilhat a J intervallumon, akkor (f g) g
=
__
f
_
g
vagy
_
f (g(x)) g
(x) dx =
_
f(u)du
|u=g(x)
.
3
Ugyanis, ha
_
f(u)du = F(u), akkor a jobboldali fggvny derivltja
__
f(u)du
|u=g(x)
_
= (F(g(x)))
= F
(g(x))g
(x) = f(g(x))g
(x),
s ezt kellett igazolni.
A szably msik alakja: ha f : I R, g : J I dierencilhat a J intervallumon, g
(x) = 0 (x J) s
(f g) g
-nek van primitv fggvnye, akkor f-nek is van primitv fggvnye I-n s
_
f =
_
((f g) g
) g
1
vagy
_
f(x) dx =
_
f(g(u))g
(u) du
|u=g
1
(x)
.
Ugyanis, ha
_
f(g(u))g
(u) du
|u=g
1
(x)
_
=
_
F
_
g
1
(x)
__
= F
_
g
1
(x)
_ _
g
1
(x)
_
= f(x)g
_
g
1
(x)
_
1
g
(g
1
(x))
= f(x),
s ezt kellett igazolni.
f(x) = x
=
g
+1
+ 1
+ c ( = 1)
_
g
g
= ln |g| + c
Utbbi kplet felhasznlsval kapjuk, hogy
_
tg xdx =
_
(cos x)
cos x
dx = ln | cos x| + c
_
ctg xdx =
_
(sin x)
sin x
dx = ln | sinx| + c
Egy msik fontos specilis eset a lineris helyettests: ha f primitv fggvnye F, a = 0, b R akkor
_
f(ax + b) dx =
1
a
_
f(u) du
|u=ax+b
=
1
a
F(ax + b) + c.
Ennek felhasznlsval (vagy dierencilssal) lehet igazolni a kvetkez kpleteket, melyek kiegsztik az
alapintegrlok tblzatt:
_
1
a
2
x
2
dx = arcsin
x
a
+ c (|x| < a)
_
1
x
2
a
2
dx = ln
x +
_
x
2
a
2
x a
x + a
(x) = e
x
, g(x) = P(x) vlasztssal
P(x) sin x parcilisan integrlhat f
(x) =
1
x
gy
_
ln xdx = xln x
_
x
1
x
dx = xln x x + c.
2. Racionlis trtfggvnyek integrlsa.
A kt polinom hnyadosaknt elllthat fggvnyeket racionlis trtfggvnyeknek nevezzk. Ezek mindig
elemien integrlhatk.
Az integrls lpsei:
a) Ha a szmll fokszma nagyobb vagy egyenl a nevez fokszmnl, akkor oszts utn a trt egy polinom
s egy olyan racionlis trt sszege lesz, ahol a szmll fokszma kisebb a nevez fokszmnl. Mivel egy
polinomot knnyen integrlhatunk, gy feltehetjk, hogy
f(x) =
P(x)
Q(x)
ahol P, Q polinomok, s P fokszma kisebb mint Q fokszma.
b) A nevezt szorzatt alaktjuk, ezltal a Q nevez (x a)
k
s (x
2
+ px + q)
l
alak tnyezk szorzataknt
rhat fel, ahol a msodfok kifejezs diszkriminnsa p
2
4q < 0, k, l N.
c) f-et parcilis trtek sszegre bontjuk fel : a nevez (x a)
k
faktornak megfelel parcilis trtek:
A
1
x a
+
A
2
(x a)
2
+ +
A
k
(x a)
k
ahol A
1
, . . . , A
k
alkalmas konstansok.
5
Az (x
2
+ px + q)
l
faktornak megfelel parcilis trtek:
B
1
x + C
1
x
2
+ px + q
+
B
2
x + C
2
(x
2
+ px + q)
2
+ +
B
l
x + C
l
(x
2
+ px + q)
l
ahol B
1
, C
1
, . . . B
l
, C
l
alkalmas konstansok.
Az A
i
, (i = 1, . . . , k), B
j
, C
j
(j = 1, . . . , l) konstansokat az egytthatk sszehasonltsval, vagy alkalmas
rtkek helyettestsvel kapott lineris egyenletrendszerbl hatrozzuk meg.
d) Integrljuk a parcilis trteket:
_
A
i
(x a)
i
dx =
_
_
A
i
(1 i)(x a)
i1
+ c ha i = 1
A
i
ln |x a| + c ha i = 1
A msodik tpus parcilis trtek integrlsa: a
Bx + C
x
2
+ px + q
=
B
2
(2x + p)
x
2
+ px + q
+
C
Bp
2
_
x +
p
2
_
2
+
_
_
q
p
2
4
_
2
felbonts alapjn
_
Bx + C
x
2
+ px + q
=
B
2
ln(x
2
+ px + q) +
C
Bp
2
_
q
p
2
4
arctg
x +
p
2
_
q
p
2
4
+ c.
Ha a nevezben (x
2
+ px + q)
k
(k > 1) szerepel akkor elszr a szmllbl levlasztjuk a lineris tagot (e tag
integrlst az
_
g
k
g
i=1
f(t
i
)(x
i
x
i1
)
sszeget az f fggvny P felosztshoz s t = (t
1
, . . . , t
n
) kzbens rtk rendszerhez tartoz integrlkzelt
sszegnek nevezzk.
s(f, P, t) geometriai jelentse : a feloszts s a kzbens rtkek ltal meghatrozott tglalapok terletnek
(eljeles) sszege, ami annl jobban kzelti a grbe alatti (eljeles) terletet minl nomabb a feloszts.
6
Definci. [a Riemann integrlhatsg s Riemann integrl dencija] Az f : [a, b] R korltos fggvnyt
Riemann integrlhatnak nevezzk [a, b]-n, ha van olyan I R szm, hogy brmely > 0-hoz ltezik olyan
(), hogy
(1) |s(f, P, t) I| < ha P < ()
brmely t = (t
1
, . . . , t
n
) kzbens rtk rendszer mellett teljesl.
Az I szmot az f fggvny [a, b]-n vett Riemann integrljnak nevezzk s
b
_
a
f(x) dx vagy
b
_
a
f-fel jelljk.
Az [a, b]-n Riemann integrlhat fggvnyek osztlyt R[a, b]-vel fogjuk jellni.
(1)-gyel egy (j tpus) hatrrtket deniltunk, gy az integrl dencijt egyszeren
I =
b
_
a
f(x) dx := lim
P0
s(f, P, t) ahol s(f, P, t) =
n
i=1
f(t
i
)(x
i
x
i1
)
alakban is rhatjuk (ahol termszetesen meg kell mondani, hogy f, P, t
i
, t mit jelentenek).
Az
b
_
a
f(x) dx geometriai jelentse: az x = a, x = b, y = 0 egyenesek s az y = f(x) fggvny grfja ltal
meghatrozott skidom eljeles terlete (az x tengely alatti rszt az integrl negatv eljellel szmolja).
Plda. Legyen f(x) = c=konstans ha x [a, b]. Ekkor brmely P feloszts esetn
s(f, P, t) =
n
i=1
c(x
i
x
i1
) = c
n
i=1
(x
i
x
i1
) = c(b a)
gy
b
_
a
c dx = c(b a).
Ttel. [az integrl alaptulajdonsgai] Ha f, g : [a, b] R, f, g R[a, b], akkor brmely c R s brmely
a < d < b mellett
f + g R[a, b] s
b
_
a
(f + g) =
b
_
a
f +
b
_
a
g,
cf R[a, b] s
b
_
a
(cf) = c
b
_
a
f,
f R[a, d], f R[d, b] s
b
_
a
f =
d
_
a
f +
b
_
d
f,
ha f(x) g(x) (x [a, b]) akkor
b
_
a
f
b
_
a
g,
ha m = inf
x[a,b]
f(x), M = sup
x[a,b]
f(x) akkor m(b a)
b
_
a
f M(b a).
A fenti tulajdonsgokat rendre, az integrl (fggvny szerinti) additivitsnak, homogenitsnak, (intervallum
szerinti) additivitsnak, monotonitsnak nevezzk, az utols llts az integrlszmts kzprtkttele melyet
egy msik alakban is megfogalmazunk.
7
Bizonyts. Ha f, g : [a, b] R, f, g R[a, b], P az [a, b] egy felosztsa, t
i
[x
i1
, x
i
], t = (t
1
, . . . , t
n
) akkor
knny ellenrizni, hogy az integrlkzelt sszegekre rvnyesek az
s(f + g, P, t) = s(f, P, t) + s(g, P, t)
s(cf, P, t) = cs(f, P, t) ha c R
s(f, P, t) = s(f
[a,d]
, P
[a,d]
, t
[a,d]
) + s(f
[d,b]
, P
[d,b]
, t
[d,b]
) ha a < d < b, d a P osztpontja
s(f, P, t) s(g, P, t) ha f(x) g(x) (x [a, b])
m(b a) s(f, P, t) M(b a) ha m = inf
x[a,b]
f(x), M = sup
x[a,b]
f(x)
tulajdonsgok, ahol f
[a,d]
, P
[a,d]
, t
[a,d]
az f fggvny, P feloszts, t kzbens rtkrendszer leszktse az [a, d]
intervallumra.
E tulajdonsgokbl P 0 hatrtmenettel addik a ttel lltsa.
Ttel. [az integrlszmts kzprtkttele] Legyen f : [a, b] R Riemann integrlhat [a, b]-n, akkor
m(b a)
b
_
a
f M(b a),
ahol
m = inf
x[a,b]
f(x), M = sup
x[a,b]
f(x).
Ha f folytonos [a, b]-n akkor van olyan [a, b] melyre
(2) f() =
1
b a
b
_
a
f(x) dx.
Bizonyts. Csak a folytonos fggvnyekre vonatkoz lltst kell igazolni. Mivel
m
1
b a
b
_
a
f(x) dx M
s folytonos fggvny felvesz minden (kzbens) rtket [m, M]-ben gy van [a, b] melyre (2) teljesl.
Az integrlhatsg analitikus kritriuma a
Ttel. [Lebesgue-fle integrlhatsgi kritrium] Az f : [a, b] R korltos fggvny akkor s csakis akkor
Riemann integrlhat [a, b]-n, ha f egy Lebesgue szerint nullmrtk halmaztl eltekintve folytonos.
Definci. Egy E R halmazt akkor neveznk Lebesgue szerint nullmrtknek, ha brmely > 0-hoz van
olyan ]a
n
, b
n
[ (n N) intervallumsorozat mely lefedi E-t s melynek sszhosszsga kisebb mint azaz
E
_
n=1
]a
n
, b
n
[ s
n=1
(b
n
a
n
) < .
Bizonyts. Ld. pl. Szkefalvi, Vals fggvnyek s fggvnysorok, Tanknyvkiad, Bp., 1977.
llts.Minden E megszmllhat halmaz (Lebesgue szerint) nullmrtk.
Bizonyts. Ugyanis, ha E = { x
i
R : i = 1, . . . , n } vges halmaz, akkor mindegyik x
i
pontot egy
/n-nl kisebb hosszsg nylt intervallummal lefedve az intervallumok unija lefedi E-t s sszhossza kisebb
mint .
Ha E = { x
i
R : i = N } megszmllhatan vgtelen halmaz, akkor minden i N mellett az x
i
pontot
egy /2
n
-nl kisebb hosszsg nylt intervallummal lefedve az intervallumok unija lefedi E-t s sszhossza
8
kisebb mint
i=1
2
n
=
2
1
1
2
= .
gy Lebesgue ttelbl kvetkezik, hogy egy pontsorozat kivtelvel folytonos fggvny integrlhat.
Lebesgue ttelvel knny igazolni, hogy ha f, g R[a, b] akkor fg, f
2
, |f| R[a, b] s ha van olyan k > 0
hogy |g(x)| k ha x [a, b] akkor f/g R[a, b] is teljesl.
Tovbb fennll a
(3)
b
_
a
f(x) dx
b
_
a
|f(x)| dx
egyenltlensg. Ennek igazolsa: a
|f(x)| f(x) |f(x)|
egyenltlensget integrlva
b
_
a
|f(x)| dx =
b
_
a
(|f(x)| dx
b
_
a
f(x) dx
b
_
a
|f(x)| dx
amibl az abszolt rtk tulajdonsgai miatt (3) kvetkezik.
8.3 Az integrl kiszmtsa, Newton-Leibniz formula
Definci. Legyen f R[a, b], akkor a
T(x) =
_
x
a
f(t) dt (x [a, b])
fggvnyt f terletmr fggvnynek nevezzk.
Ttel. [a terletmr fggvny tulajdonsgai] Ha f R[a, b], s T az f terletmr fggvnye,akkor
(a) T folytonos [a, b]-n,
(b) ha f folytonos x
0
[a, b]-ben, akkor T dierencilhat x
0
-ban, s T
(x
0
) = f(x
0
).
Bizonyts. (a) Elszr kiegsztjk az integrl dencijt. Legyen
a
_
a
f(x) dx := 0,
a
_
b
f(x) dx :=
b
_
a
f(x) dx ha a < b.
Tegyk fel, hogy |f(x)| M (x I) ahol I = [a, b] (vagy b < a esetn) I = [b, a], akkor rvnyes az
_
b
a
f(x) dx
M|b a|
egyenltlensg.
Az egyszersg kedvrt tegyk fel, hogy x > x
0
akkor
|T(x) T(x
0
)| =
_
x
a
f(t) dt
_
x
0
a
f(t) dt
_
x
x
0
f(t) dt
M|x x
0
| < ha |x x
0
| < () = /M
ahol |f(x)| M (x [a, b]), s ez ppen f folytonossgt jelenti.
9
(b) Ismt legyen x > x
0
akkor
T(x) T(x
0
)
x x
0
f(x
0
)
1
x x
0
_
x
x
0
f(t) dt
1
x x
0
_
x
x
0
f(x
0
) dt
1
x x
0
_
x
x
0
(f(t) f(x
0
)) dt
1
x x
0
_
x
x
0
|f(t) f(x
0
)| dt <
1
x x
0
(x x
0
) = ha |x x
0
| < (),
mivel az x
0
-beli folytonossg miatt |f(t) f(x
0
)| < ha t [x
0
, x] s |x x
0
| < ().
gy
T(x) T(x
0
)
x x
0
f(x
0
) ha x x
0
, amibl T
(x
0
) = f(x
0
).
A bizonyts x < x
0
esetn hasonl.
Kvetkezmny. Minden folytonos fggvnynek van primitv fggvnye, ti. a terletmr fggvnye.
Ttel. [Newton-Leibniz formula] Tegyk fel, hogy f : [a, b] R folytonos [a, b]-n, s F : [a, b] R a f egy
primitv fggvnye [a, b]-n, akkor
b
_
a
f(x) dx = F(b) F(a) = [F(x)]
b
a
.
Bizonyts. Lttuk, hogy T(x) =
_
x
a
f(t) dt a f primitv fggvnye, gy F felrhat F(x) = T(x)+c alakban,
ahol c R alkalmas konstans. Mivel f(a) = T(a) + c = c, gy
b
_
a
f(x) dx = T(b) = F(b) c = F(b) F(a).
Megjegyzs. A Newton-Leibniz formula akkor is rvnyes, ha f R[a, b], F : [a, b] R folytonos [a, b]-n,
s F
(x)g(x) dx = [f(x)g(x)]
b
a
b
_
a
f(x)g
(x) dx
ahol [f(x)g(x)]
b
a
= f(b)g(b) f(a)g(a).
Bizonyts. Legyen F(x) =
x
_
a
f
(x) =
0 (x [a, b]), F(a) = 0 gy F(x) = 0 (x [a, b]) specilisan F(b) = F(a) = 0 s ez ppen a bizonytand llts.
(x) dx =
g(b)
_
g(a)
f(u) du.
10
Bizonyts. Legyen F(x) =
x
_
a
f (g(t)) g
(t) dt
g(x)
_
g(a)
f(u) du (x [a, b]), akkor F
f(x) dx := lim
t
b
_
t
f(x) dx
feltve, hogy a jobboldali hatrrtk vges. Ekkor azt mondjuk, hogy az
b
_
_
a
f(x) dx := lim
t
t
_
a
f(x) dx
feltve, hogy a jobboldali hatrrtk vges. Ekkor azt mondjuk, hogy az
_
a
f(x) dx improprius integrl konver-
gens, ellenkez esetben (amikor a jobboldali hatrrtk nem ltezik, vagy ltezik de vgtelen) divergens.
Vgl, ha f :] , [R, s minden s < t, s, t R mellett f R[s, t], akkor tetszleges c R mellett
f(x) dx : =
c
_
f(x) dx +
_
c
f(x) dx
= lim
s
c
_
s
f(x) dx + lim
t
t
_
c
f(x) dx
feltve, hogy mindkt jobboldali hatrrtk vges. Ekkor azt mondjuk, hogy az
_
lim
t0+0
_
x
p+1
p + 1
_
1
t
ha p = 1
lim
t0+0
[ln x]
1
t
ha p = 1
=
_
_
lim
t0+0
_
1
1 p
t
1p
1 p
_
ha p = 1
lim
t0+0
(ln 1 ln t) ha p = 1
=
_
_
1
1 p
ha p < 1
+ ha p 1.
A fenti improprius integrl ezrt akkor s csakis akkor konvergens, ha 0 < p < 1 s ekkor az integrl rtke
1
1p
.
12
p 0 esetn az integrandust x
p
alakba rva lthatjuk, hogy az folytonos [0, 1]-en, gy, ekkor integrlunk
kznsges (nem improprius!) Riemann integrl, rtke ugyanaz mint elbb:
1
1p
.
2. A denicikban trgyalt kt eset egy improprius integrlban is fellphet. Pl. az
_
1
dx
(x + 3)
x 1
improprius integrlt az
_
1
=
2
_
1
+
_
2
felbontst hasznlva az
_
1
dx
(x + 3)
x 1
= lim
t1+0
2
_
t
dx
(x + 3)
x 1
+ lim
t
t
_
2
dx
(x + 3)
x 1
segtsgvel szmolhatjuk ki. Mivel
_
dx
(x + 3)
x 1
= (
x 1 = t helyettestssel, x = t
2
+ 1, dx = 2t dt)
=
_
2t dt
(t
2
+ 4)t
=
_
2 dt
t
2
+ 4
= arctg
t
2
= arctg
x 1
2
+ C,
gy
_
1
dx
(x + 3)
x 1
= lim
t1+0
_
arctg
2 1
2
arctg
t 1
2
_
+ lim
t
_
arctg
t 1
2
arctg
2 1
2
_
=
_
arctg
1
2
arctg 0
_
+
_
2
arctg
1
2
_
=
2
.
8.5 Ketts integrl
Defincik. Legyen D = [a, b] [c, d] egy tglalap, s
P
x
= { x
i
: a = x
0
< x
1
< < x
m
= b },
P
y
= { y
j
: c = y
0
< y
1
< < y
n
= d }
az [a, b], [c, d] intervallumok felosztsai, akkor a
P = P
x
P
y
= { (x
i
, y
j
) : i = 0, 1, . . . , m; j = 0, 1, . . . , n }
pontrendszert a D egy felosztsnak nevezzk, D
ij
= [x
i1
, x
i
] [y
j1
, y
j
] (i = 0, 1, . . . , m; j = 0, 1, . . . , n) a
feloszts tglalapjai
P = max
1im,1jn
_
(x
i
x
i1
)
2
+ (y
j
y
j1
)
2
a feloszts nomsga (a D
ij
tglalapok tli hossznak a maximuma).
Legyen f : D R korltos fggvny a D tglalapon, P a D egy felosztsa, (s
i
, t
j
) D
ij
kzbens pontok,
v = ((s
1
, t
1
), (s
1
.t
2
), . . . , (s
m
, t
n
))
a kzbens pontok rendszere/vektora. Az
s(f, P, v) =
m
i=1
n
j=1
f(s
i
, t
j
)m(D
ij
)
13
sszeget, ahol m(D
ij
) = (x
i
x
i1
)(y
j
y
j1
) a D
ij
tglalap terlete (mrtke), az f fggvny P felosztshoz
s v kzbens pontrendszerhez tartoz integrlkzelt sszegnek nevezzk.
s(f, P, v) geometriai jelentse : a feloszts s a kzbens rtkek ltal meghatrozott hasbok trfogatnak
(eljeles) sszege, ami annl jobban kzelti az f ltal meghatrozott fellet alatti (eljeles) trfogatot, minl
nomabb a feloszts.
Definci. [ketts Riemann integrl dencija] Az f : D R korltos fggvnyt Riemann integrlhatnak
nevezzk a D tglalapon, ha van olyan I R szm, hogy brmely > 0-hoz ltezik olyan (), hogy
(4) |s(f, P, v) I| < ha P < ()
brmely v = ((s
1
, t
1
), (s
1
.t
2
), . . . , (s
m
, t
n
)) kzbens pontrendszer mellett teljesl.
Az I szmot az f fggvny D-n vett Riemann integrljnak nevezzk s
__
D
f(x, y) dxdy vagy
__
D
f-fel
jelljk.
Azt is rhatjuk, hogy
I =
__
D
f(x, y) dxdy := lim
P0
s(f, P, v) ahol s(f, P, v) =
m
i=1
n
j=1
f(s
i
, t
j
)(x
i
x
i1
)(y
j
y
j1
)
s a limesz jelentse (4)-gyel van denilva.
A ketts integrl tulajdonsgai, hasonlak az egyvltozs integrl tulajdonsgaihoz, integrlhat fggvnyek
sszege, konstansszorosa is integrlhat, s az sszeg integrlja a tagok integrljainek sszege, konstans szorz
kiemelhet az integrljel el.
Ttel. [ketts integrl kiszmtsa] Legyen f : D R folytonos a D = [a, b] [c, d] tglalapon, akkor f
integrlhat D-n s
__
D
f(x, y) dxdy =
b
_
a
_
_
d
_
c
f(x, y) dy
_
_
dx
vagy
__
D
f(x, y) dxdy =
d
_
c
_
_
b
_
s
f(x, y) dx
_
_
dy.
Amint a ttelbl leolvashat, a ketts integrl kiszmtsa ismtelt (iterlt) integrlssal trtnik, a sorrend
(az hogy elszr x szerint msodszor y szerint integrlunk, vagy fordtva) nem szmt.
Ha D nem tglalap, hanem pl.
D = { (x, y) : a x b,
1
(x) y
2
(x) }
(rajzoljon brt!) ltal megadott (un. elsfaj normltartomny, melyet az x = a, x = b egyenesek s az
y =
1
(x), y =
2
(x) (x [a, b] grbk hatrolnak, ahol
1
,
2
: [a, b] R adott folytonos fggvnyek, gy,
hogy
1
(x)
2
(x) ha x [a, b]), akkor, vlasszuk c, d-t gy, hogy D [a, b] [c, d] teljesljn. Legyen
f
(x, y) :=
_
_
_
f(x, y) ha (x, y) D
0 ha (x, y) [a, b] [c, d] \ D
ekkor az integrl dencija:
__
D
f(x, y) dxdy :=
__
[a,b][c,d]
f
(x, y) dxdy.
Felhasznlva a a kiszmtsra vonatkoz ttelt f folytonossgt felttelezve kapjuk, hogy
__
D
f(x, y) dxdy =
b
_
a
_
_
d
_
c
f
(x, y) dy
_
_
dx.
14
Mivel
d
_
c
f
(x, y) dy =
1
(x)
_
c
f
(x, y) dy +
2
(x)
_
1
(x)
f
(x, y) dy +
d
_
2
(x)
f
(x, y) dy
s a jobboldali els s harmadik integrl integrandusa zrus, a msodik integrl integrandusa f, ezrt
d
_
c
f
(x, y) dy =
2
(x)
_
1
(x)
f(x, y) dy
s vgl
__
D
f(x, y) dxdy =
b
_
a
_
_
_
2
(x)
_
1
(x)
f(x, y) dy
_
_
_dx.
Hasonan, ha az integrcis tartomny
D = { (x, y) : c y d,
1
(y) x
2
(y) }
(rajzoljon brt!) ltal megadott (un. msodfaj normltartomny, melyet az y = c, y = d egyenesek s az
x =
1
(y), x =
2
(y) (y [c, d] grbk hatrolnak, ahol
1
,
2
: [c, d] R adott folytonos fggvnyek, gy,
hogy
1
(y)
2
(y) ha y [c, d]), akkor, f folytonossgt felttelezve, az integrlt
__
D
f(x, y) dxdy =
d
_
c
_
_
_
2
(y)
_
1
(y)
f(x, y) dx
_
_
_dy
kplet segtsgvel szmolhatjuk ki.
Pldk.
1. Legyen D = [0, 1] [2, 5] akkor
__
D
(x
2
y + 3x) dxdy =
1
_
0
_
_
5
_
2
(x
2
y + 3x) dy
_
_
dx =
1
_
0
_
x
2
y
2
2
+ 3xy
_
y=5
y=2
dx
=
1
_
0
_
21x
2
2
+ 9x
_
dx =
_
21x
3
6
+
9x
2
2
_
1
0
=
21
6
+
9
2
= 8.
Szmtsuk ki most ugyanezt az integrlt a fordtott sorrendben val integrlssal!
__
D
(x
2
y + 3x) dxdy =
5
_
2
_
_
1
_
0
(x
2
y + 3x) dx
_
_
dy =
5
_
2
_
x
3
y
3
+
3x
2
2
_
x=1
x=0
dy
=
5
_
2
_
y
3
+
3
2
_
dy =
_
y
2
6
+
3y
2
_
5
2
=
21
6
+
9
2
= 8.
2. Legyen most
D = { (x, y) : 0 x 1, x
2
y
x }
15
(rajzoljon brt!) s f(x, y) = x
2
y
3
, akkor
__
D
(x
2
y
3
) dxdy =
1
_
0
_
_
_
x
_
x
2
(x
2
y
3
) dy
_
_
_dx =
1
_
0
_
x
2
y
4
4
_
y=
x
y=x
2
dx
=
1
_
0
_
x
4
4
x
10
4
_
dx =
_
x
5
20
x
11
44
_
1
0
=
1
20
1
44
=
6
220
.
Hasonlan denilhatjuk egy f : D R fggvny hrmas integrljt a D = [a, b] [c, d] [e, g] tglatesten,
a
___
D
f(x, y, z) dxdydz := lim
P0
m
i=1
n
j=1
p
k=1
f(s
i
, t
j
, u
k
)m(D
ijk
)
hatrrtkkel, ahol m(D
ijk
) a feloszts D
ijk
tglatestnek trfogata, (s
i
, t
j
, u
k
) D
ijk
kzbens pontok.
A hrmasintegrl tulajdonsgai, kiszmtsa hasonlak a ketts integrlhoz.