.
– 0–
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
1
1. Egyv´altoz´os f¨ uggv´enyek hat´arozatlan integr´alja
PAP MARGIT
1.1 A primit´ıv f¨ uggv´eny fogalma Tekints¨ uk az I (I ⊆ R) intervallumon ´ertelmezett f : I → R f¨ uggv´enyt . Ebben a paragrafusban a k¨ovetkez˝o k´erd´esekre keress¨ uk a v´alaszt: A) Milyen felt´etelek mellett van olyan F : I → R f¨ uggv´eny, amelynek a deriv´altja az I intervallumon az el˝ore adott f f¨ uggv´eny? B) Hogyan hat´arozhat´o meg egy ilyen tulajdons´ag´ u F f¨ uggv´eny, ha ismerj¨ uk az f -et? Ezzel kapcsolatos az al´abbi fogalom.
Defin´ıci´ o. Legyen f : I → R. Az F : I → R f¨uggv´enyt az f primit´ıv f¨ uggv´ eny´ enek vagy antideriv´ altj´ anak nevezz¨ uk, ha 1) F deriv´alhat´o az I intervallumon (F ∈ D(I)) ´es 2) F 0 (x) = f (x) (∀x ∈ I). Nyilv´anval´ o, hogy ha F az f -nek primit´ıv f¨ uggv´enye ´es c b´armely az I intervallumon ´ertelmezett konstans f¨ uggv´eny, akkor (F + c)0 = F 0 = f alapj´an F + c is primit´ıv f¨ uggv´enye f -nek. Megford´ıtva, ha F1 ´es F2 a f f¨ uggv´eny primit´ıv f¨ uggv´enye az I intervallumon, akkor (F1 − F2 )0 = F10 − F20 = f − f = 0 figyelembev´etel´evel azt kapjuk, hogy F1 − F2 ´alland´o. K¨ovetkez´esk´eppen f primitiv f¨ uggv´enyeinek ¨osszess´ege valamely F primit´ıv f¨ uggv´eny´eb˝ol kiindulva {F + c : c ∈ R} alakban adhat´o meg.
2
1.1 A primit´ıv f¨ uggv´eny fogalma
Defin´ıci´ o. Legyen f : I → R olyan f¨uggv´eny, amelynek van primit´ıv f¨ uggv´enye. Az f f¨ uggv´eny primit´ıv f¨ uggv´enyeinek halmaz´at az f f¨ uggv´eny hat´arozatlan integr´alj´anak nevezz¨ uk, ´es az Z Z f (x)dx vagy f szimb´olummal jel¨olj¨ uk. R Az szimb´olum az integr´al jel. Az integr´al jel alatt szerepl˝o f f¨ uggv´enyt integrandusnak is nevezz¨ uk. Ha ismert a f egy F primit´ıv f¨ uggv´enye, akkor a f hat´arozatlan integr´alja: Z f (x)dx = {F (x) + c, c ∈ R}. A gyakorlatban a hat´arozatlan integr´al fel´ır´ asakor a halmaz jel¨ol´es´ere haszn´alt kapcsos z´ar´ojelek ki´ır´as´at´ol el szoktak tekinteni. Adott f¨ uggv´eny primit´ıv f¨ uggv´enyeinek a megkeres´es´et integr´al´asnak nevezz¨ uk. Az al´abbiakban n´eh´any gyakran el˝ofordul´o f¨ uggv´eny primit´ıv f¨ uggv´eny´et adjuk meg.
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
3
I. Alapintegr´alok
f :I→R ssz. integrandus
F : I → R, (c ∈ R) a f primit´ıv f¨ uggv´enye (F 0 (x) = f (x), ∀x ∈ I) 1 f (x) = 1 F (x) = x + c xn+1 +c 2 f (x) = xn , n ∈ N F (x) = n+1 α+1 x +c 3 f (x) = xα , α ∈ R \ {−1} F (x) = α+1 1 1 4 f (x) = n , n ∈ N \ {0} F (x) = − +c x (n − 1) · xn−1 √ 1 5 f (x) = √ F (x) = 2 x + c x 6 f (x) = ex F (x) = ex + c ax 7 f (x) = ax , a > 0, a 6= 1 F (x) = +c ln a 1 8 f (x) = F (x) = ln |x| + c x 9 f (x) = sin x F (x) = − cos x + c 10 f (x) = cos x F (x) = sin x + c 1 2 11 f (x) = = 1 + tg x F (x) = tg x + c cos2 x 1 = 1 + ctg 2 x F (x) = −ctg x + c sin2 x ¯ ¯ ¯x − a¯ 1 1 ¯ ¯+c 13 f (x) = 2 , a 6= 0 F (x) = ln x − a2 2a ¯ x + a ¯ 12 f (x) =
14 f (x) = 15 f (x) = 16 f (x) = 17 f (x) =
1 , a 6= 0 x2 + a2 1 √ , a 6= 0 2 a − x2 1 √ , a 6= 0 x2 + a2 1 √ , a 6= 0 2 x − a2
I az ´ert.tart. r´eszintervalluma I⊆R I ⊆ R, I ⊆ (0; +∞) I ⊆ R \ {0} I ⊆ (0; ∞) I⊆R I⊆R I ⊆ R \ {0} I⊆R I⊆R I ⊆ R\ n o π (2k + 1) | k ∈ Z 2 I ⊆ R\ {kπ | k ∈ Z} I ⊆ R\
{−a; a} 1 x F (x) = arctg + c I⊆R a a x F (x) = arcsin + c I ⊆ (−|a|, |a|) a √ F (x) = ln(x + x2 + a2 ) + c I ⊆ R √ F (x) = ln |x + x2 − a2 | + c I ⊆
ex + e−x ex − e−x 18 f (x) = cosh x = F (x) = sinh x = 2 2 ex − e−x ex − e−x 19 f (x) = sinh x = F (x) = cosh x = 2 2
(−∞, −a) ∪ (x, +∞) I=R I=R
4
1.2 M˝ uveletek primit´ıv f¨ uggv´enyekkel
A t´abl´ azatban felt¨ untetett F primit´ıv f¨ uggv´enyeket, ha deriv´aljuk visszakapjuk a megfelel˝o f -et. P´eld´aul az f (x) = sin x f¨ uggv´eny primit´ıv f¨ uggv´enye F (x) = − cos x. Val´oban, ha kisz´am´ıtjuk az F deriv´altj´at, akkor a k¨ovetkez˝ot kapjuk: F 0 (x) = (− cos x)0 = −(− sin x) = sin x. Teh´at
R
sin xdx = − cos x + c, (c ∈ R).
1. T´etel B´armely intervallumon folytonos f¨uggv´enynek van primit´ıv f¨ uggv´enye.
1.2 M˝ uveletek primit´ıv f¨ uggv´enyekkel A differenci´al´asi szab´alyok felhaszn´al´as´aval egyszer˝ uen igazolhat´ok az al´abbi, hat´arozatlan integr´alok meghat´aroz´as´ara vonatkoz´o m˝ uveleti szab´alyok:
2. T´etel. Ha az f, g : I → R f¨uggv´enyeknek van primit´ıv f¨uggv´enye ´es λ val´os sz´am, akkor az f + g ´es λf f¨ uggv´enyeknek is van primit´ıv f¨ uggv´enye ´es Z Z Z (f (x) + g(x))dx = f (x)dx + g(x)dx, Z Z λf (x)dx = λ f (x)dx. R R ´ s. Legyen f (x)dx = F (x) + c1 , (c1 ∈ R) ´es g(x)dx = G(x) + c2 , (c2 ∈ R), Bizony´ıta akkor az F ´es G deriv´alhat´ok I-n ´es F0 = f
G0 = g.
Innen k¨ovetkezik, hogy F + G ´es λF deriv´alhat´ok I-n ´es (F + G)0 = F 0 + G0 = f + g (λF )0 = λF 0 = λf. uggv´enye f + g-nek, ´es λF primit´ uggv´enye λf -nek. Teh´at Rvagyis F + G primit´ıv f¨ R ıv f¨ R (f (x) + g(x))dx = {F (x) + G(x) + c, (c ∈ R)}, azaz (f (x) + g(x))dx = f (x)dx + R g(x)dx ´ e s R R λf (x)dx = {λF (x) + c, c ∈ R} = λ f (x)dx. ¤
1.3 Gyakorlatok Hat´arozzuk meg a k¨ovetkez˝o f¨ uggv´enyek primit´ıv f¨ uggv´eny´et (az f ´ertelmez´esi tartom´anya az a legb˝ovebb R-beli halmaz, amelyen a kijel¨olt m˝ uveleteknek ´ertelme van):
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
1 1) f (x) = √ x 3) f (x) = x +
2) f (x) = x2 + 2x + 3 1 x
5) f (x) = x3 (x2 − 1) 7) f (x) =
5
(x + 2)3 √ x
9) f (x) = a sin x + b cos x 1 1 11) f (x) = √ + √ 3 x x2 1 13) f (x) = √ 4 − x2 1 15) f (x) = √ 4 + x2 1 17) f (x) = √ 2 x +9 1 19) f (x) = 25 + x2 1 21) f (x) = 25 − x2 1 23) f (x) = 2 sin x · cos2 x
√ 4) f (x) = x x x3 + 3x2 − 2x + 4 x qp √ 8) f (x) = x
6) f (x) =
2 10) f (x) = ex + x3 + 2x − + 3 x √ √ 3 4 12) f (x) = x x + 2x x 1 1 − 9x2 1 √ 1 + 4x2 1 √ 9x2 + 4 1 25 + 4x2 1 25 − 4x2 1 1 + cos 2x
14) f (x) = √ 16) f (x) = 18) f (x) = 20) f (x) = 22) f (x) = 24) f (x) =
1.4. Integr´al´asi elj´ar´asok. Az alapintegr´alok ´es a hat´arozatlan integr´alokra vonatkoz´o m˝ uveleti szab´alyok mellett a hat´arozatlan integr´alok kisz´am´ıt´asakor m´eg k´et m´asik integr´al´asi szab´alyt szoktunk alkalmazni. Ezek az u ´.n. parci´alis integr´al´as szab´alyai ´es az integr´al´as helyettes´ıt´essel.
1.4.1. Parci´alis integr´al´as szab´alya. A szorzatf¨ uggv´eny deriv´al´asi szab´aly´ab´ol k¨ovetkezik a
3. T´etel (Parci´alis integr´al´as szab´alya.) Legyen f, g k´et deriv´alhat´o f¨ uggv´eny az I intervallumon (f, g ∈ D(I)). Ha az f 0 g f¨ uggv´enynek van primit´ıv f¨ uggv´enye, akkor g 0 f -nek is van primit´ıv f¨ uggv´enye, ´es Z Z f g 0 = f g − f 0 g.
´ s. Mivel f, g deriv´alhat´ok, ´es (f g)0 = f 0 g + f g 0 , ez´ert f g 0 = (f g)0 − f 0 g. Teh´at Bizony´ıta 0 az f g f¨ uggv´eny fel´ırhat´o k´et olyan f¨ uggv´eny k¨ ul¨onbs´egek´ent, amelyeknek van primit´ıv
6
1.4. Integr´al´asi elj´ar´asok.
f¨ uggv´enye, k¨ovetkez´esk´eppen f g 0 -nek is van primit´ıv f¨ uggv´enye, ´es Z Z Z Z f g 0 = (f g)0 − f 0 g = f g − f 0 g. ¤ Ezzel a t´etellel az f g 0 f¨ uggv´eny primit´ıv f¨ uggv´eny´enek a meghat´aroz´as´at az f 0 g primit´ uggv´eny´enek a meghat´ uk vissza. Ez a m´odszer akkor hat´ekony, R ıv f¨ R aroz´as´ara vezett¨ ha f 0 g egyszer˝ ubb mint f g 0 . Az al´abbiakban bemutatunk n´eh´any fontos esetet, amikor a primit´ıv f¨ uggv´eny meghat´arozhat´o parci´alis integr´al´assal. 1. T´ıpus Z P (x)eax dx, a 6= 0, ahol P (x) egy polinom. Ebben az esetben az f (x) = P (x), g 0 (x) = eax szereposzt´assal c´elravezet˝o a parci´alis integr´al´as. A k¨ovetkez˝oR feladattal szeml´eltetj¨ uk az elj´ar´ast. 1a) Hat´arozzuk meg az xex dx hat´arozatlan integr´alt. Az f (x) = x, g 0 (x) = ex (x ∈ R) v´alaszt´as eset´en f 0 = 1, g(x) = ex , ´es ´ıgy: Z Z Z Z x 0 0 x xe dx = f g = f g − f g = xe − ex dx = xex − ex + c, (c ∈ R). Ha az integrandusban az ex mellett szerepl˝o polinom n-ed fok´ u, akkor a parci´alis integr´al´ ast egym´asut´an n-szer alkalmazva jutunk eredm´enyhez. 1b) P´eld´aul: Z Z Z Z 2 x 2 x 0 2 x 2 0 x 2 x x e dx = x (e ) dx = x e − (x ) e dx = x e − 2 x(ex )0 dx = Z = x2 ex − 2(xex − (x)0 ex dx = x2 ex − 2xex + 2ex + c, c ∈ R. 2. T´ıpus
Z P (x) ln xdx, ahol P(x) egy polinom.
Ebben az esetben az g 0 (x) = P (x), f (x) = ln x szereposzt´assal c´elravezet˝o a parci´alis integr´al´as. R 2a) Hat´arozzuk meg az xn ln xdx hat´arozatlan integr´alt. Legyen f (x) = ln x, g 0 (x) = xn (x > 0) ´es tegy¨ uk fel, hogy n 6= −1. Ekkor g(x) = R n xn+1 x dx = , x > 0 ´es parci´alis integr´al´assal a k¨ovetkez˝ot kapjuk: n+1 Z Z Z Z n+1 xn+1 1 x n 0 0 x ln xdx = f g = f g − f g = ln x − dx = n+1 n+1x Z xn+1 xn+1 xn+1 xn = ln x − dx = ln x − + c, (c ∈ R). n+1 n+1 n+1 (n + 1)2 Ha n = −1, akkor g(x) = ln x, x > 0, ebben az esetben Z Z ln x ln x 2 dx = ln x − dx. x x
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
A fenti ¨osszef¨ ugg´es a keresett Z
2b) Hat´arozzuk meg az f 0 (x) = 1/x.
R
R
ln x x dx
7
f¨ uggv´enyre egy egyenlet. Ezt megoldva
ln x 1 dx = ln2 x + c, (c ∈ R). x 2
ln xdx-et. Legyen g 0 (x) = 1, f (x) = ln x, x > 0. Ekkor g(x) = x,
Z
Z 1 ln xdx = x ln x −
3. T´ıpus
1 x dx = x ln x − x + c, (c ∈ R). x
Z
Z e
ax
eax cos bxdx.
sin bxdx vagy
A fenti integr´ alok eset´eben ha a szorzat b´armely tagj´at jel¨olj¨ uk f -el a m´asikat meg g 0 -tal az elj´ar´as c´elravezet˝o lesz. A k¨ovetkez˝o feladattal Rszeml´eltetj¨ uk az elj´ar´ast. Hat´arozzuk meg az ex sin xdx hat´arozatlan integr´alt. Legyen f (x) = sin x, g 0 (x) = ex , x ∈ R. Ekkor f 0 (x) = cos x, g(x) = ex . Z
Z ex sin xdx = ex sin x −
ex cos xdx.
R Az ex cos xdx meghat´aroz´asa ´erdek´eben, alkalmazzuk m´eg egyszer a parci´alis integr´al´as szab´aly´at az f1 (x) = cos x, g 0 (x) = ex szereposzt´assal. Ekkor f1 (x) = − sin x, g(x) = ex tov´abb´a Z Z ex sin xdx = ex sin x − ex cos xdx = Z = ex sin x − [ex cos x − (− sin x)ex dx] = Z = ex sin x − ex cos x − sin xex dx. Teh´at:
Z
Z x
x
x
e sin xdx = e sin x − e cos x − Ahonnan:
Z ex sin xdx =
sin xex dx
1 x (e sin x − ex cos x) + c, c ∈ R. 2
1.4.2 Feladatok Parci´alis integr´al´assal hat´arozzuk meg az al´abbi integr´alokat: R R 1) x2 ln x dx 2) ln2 x dx R R 3) x3 ln2 x dx 4) x2 ex dx
8
5) 7) 9)
1.4. Integr´al´asi elj´ar´asok. R R R
11) 13) 15) 17)
R 6) (x2 − 2x)chx dx R 8) sin2 x dx R 10) cos2 x dx R 12) xn eαx dx R 14) eαx cos βx dx R 16) arcsin x dx R 18) x arccos x dx
(x3 − 2x2 + 1)ex dx x2 cos x dx sinn x dx R cosn x dx R x e sin 2x dx R x e (sin x − cos x) dx R x arctg x dx
1.4.3 Integr´al´as helyettes´ıt´essel A k¨ozvetett f¨ uggv´eny deriv´al´ asi szab´aly´ab´ ol ad´odik a k¨ovetkez˝o t´etel.
4. T´etel. (Integr´al´as helyettes´ıt´essel) Legyenek I ´es J intervallumok ´es tekints¨ uk az ϕ:I→J f :J →R f¨ uggv´enyeket, amelyek a k¨ovetkez˝o tulajdons´agokkal rendelkeznek: a) ϕ deriv´alhat´o az I intervallumon, b) legyen F a f primit´ıv f¨ uggv´enye, ekkor az (f ◦ ϕ)ϕ0 f¨ uggv´enynek az F ◦ ϕ f¨ uggv´eny primit´ıv f¨ uggv´enye, k¨ovetkez´esk´eppen Z (f ◦ ϕ)ϕ0 = F ◦ ϕ + c, (c ∈ R).
Ugyanezen ¨osszef¨ ugg´est m´as jel¨ol´esm´oddal fel´ırva Z (f (ϕ(t))) · ϕ0 (t) = F (ϕ(t)) + c, (c ∈ R, t ∈ I). ´ s. Mivel f -nek az F primit´ıv f¨ Bizony´ıta uggv´enye a J intervallumon ez´ert F deriv´alhat´o ´es F 0 (x) = f (x), ∀x ∈ J. Figyelembe v´eve, hogy a ϕ deriv´alhat´o I-n, ez´ert F ◦ ϕ is deriv´alhat´o I-n ´es a f¨ uggv´enyek kompozici´oj´ara vonatkoz´o deriv´al´asi szab´aly alapj´an (F ◦ ϕ)0 (t) = F 0 (ϕ(t)) · ϕ0 (t) = f (ϕ(t)) · ϕ0 (t), ∀t ∈ I. R Teh´at az F ◦ ϕ f¨ uggv´eny az (f ◦ ϕ)ϕ0 primit´ıv f¨ uggv´enye, azaz (f ◦ ϕ)ϕ0 = F ◦ ϕ + c, (c ∈ R). ¤ A k¨ovetkez˝okben n´eh´any p´eld´an kereszt¨ ul bemutatjuk a helyettes´ıt˝o m´odszer alkalmaz´as´at.
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
9
1.4.4 P´eld´ak 1) Hat´arozzuk meg az
Z (at + b)n dt,
a 6= 0, n 6= −1.
integr´alt. Legyen ϕ(t) := at + b, f (x) = xn . Ekkor ϕ0 (t) = a ´es az integr´aljel alatti kifejez´es fel´ırhat´o Z Z 1 n (at + b) dt = f (ϕ(t))ϕ0 (t)dt a alakban. Mivel az f (x) = xn f¨ uggv´enynek F (x) =
xn+1 primit´ıv f¨ uggv´enye, ez´ert az n+1
el˝obbi t´etel alapj´an Z 1 (at + b)n+1 (at + b)n dt = F (ϕ(t)) + c = · + c, (c ∈ R). a n+1 2) Hat´arozzuk meg
Z tg t dt
³ π π´ t∈ − , 2 2
integr´al.
sin t alakot ´ırva, legyen cos t = ϕ(t), ekkor ϕ0 (t) = − sin t ´es legyen f (x) = cos t 1/x. Teh´at az integr´aljel alatti kifejez´es fel´ırhat´o Z Z 0 Z sin t ϕ (t) dt = − dt = − f (ϕ(t))ϕ0 (t)dt cos t ϕ(t) A tg t =
alakban. Mivel az f f¨ uggv´enynek a F (x) = ln |x| egy primit´ıv f¨ uggv´enye, ez´ert Z tg t dt = −F (ϕ(t)) + c = − ln | cos t| + c, (c ∈ R). 3) Hat´arozzuk meg
Z
1 dt t ∈ (0, π). sin t
integr lt. 1. M´ odszer. Az´ert, hogy az integr´al alatti kifejez´est f (ϕ(t))ϕ0 (t) alak´ u f¨ uggv´enyk´ent ´ırjuk fel, a k¨ovetkez˝o ´atalak´ıt´ast v´egezz¨ uk 1 sin t sin t = = . 2 sin t 1 − cos2 t sin t 1 , amelynek a F (x) = Jel¨olj¨ uk ϕ := cos t, ϕ0 (t) = − sin t, legyen f = 1 − x2 ¯ ¯ ¯ ¯ 1 x − 1¯ − ln ¯¯ egy primit´ıv f¨ uggv´enye. Ekkor 2 x + 1¯ Z
Z ϕ0 (t) dt = − f (ϕ(t))ϕ0 (t) = 1 − ϕ2 (t) ¯ ¯ 1 ¯¯ cos x − 1 ¯¯ = −F (ϕ(t)) + c = ln ¯ + c, (c ∈ R). 2 cos x + 1 ¯
1 dt = − sin t
Z
10
1.4. Integr´al´asi elj´ar´asok.
2. M´ odszer A k¨ovetkez˝o ´atalak´ıt´asokat is v´egezhett¨ uk volna 1 = sin t
1 (tg (t/2))0 = . 2tg (t/2) tg (t/2) 1 + tg 2 (t/2)
t 1 Ha ϕ(t) = tg , f (x) = jel¨ol´es haszn´aljuk, akkor F (x) = ln |x|, ´es a helyettes´ıt´esi 2 x m´odszer alapj´an ¯ ¯ Z ¯ t¯ 1 ¯ dt = ln ¯tg ¯¯ + c, (c ∈ R). sin t 2
Megjegyz´es A k¨ ul¨ onb¨ oz˝ o m´ odszerek alkamaz´ asa sor´ an kapott eredm´ enyek l´ atsz´ olag k¨ ul¨ onb¨ oz˝ oek, azonban megfelel˝ o ´ atalak´ıt´ asokkal ki lehet mutatni, hogy a kapott eredm´ enyek egym´ ast´ ol legfeljebb egy konstansban t´ ernek el.
4) Hat´arozzuk meg
Z p 1 + tg2 t dt,
t ∈ (−π/2, π/2),
integr´alt. A k¨ovetkez˝o ´atalakt´ast c´elszer˝ u v´egezni: Z p Z 1 + tg2 t 2 p 1 + tg t dt = dt. 1 + tg2 t ³ π π´ 1 → R, ϕ(t) = tg t, ϕ0 (t) = 1 + tg 2 t, f : R → R, f (x) = √ Legyen ϕ : − , . 2 2 √ 1 + x2 uggv´enye ´es Ekkor F (x) = ln(x + 1 + x2 ) az f primit´ıv f¨ Z q
Z ϕ0 (t) p dt = f (ϕ(t))ϕ0 (t)dt = 1 + ϕ2 (t) ³ ´ p = F (ϕ(t)) + c = ln tg t + 1 + tg2 t + c, (c ∈ R). Z
1 + tg 2 tdt =
Az 4. T´etel n´eh´any speci´alis eset´et a f konkr´et megv´alaszt´as´aval a paragrafus v´eg´en t´abl´azatban foglaljuk ¨ossze.
P´eld´ak Sz´am´ıtsuk ki a k¨ovetkez˝o f¨ uggv´enyek primit´ıv f¨ uggv´enyeit: 1)
Z
e2x dx. 1 + ex
e2x folytonos f¨ uggv´eny. Legyen ex = t, innen x = ln t. 1 + ex Legyen ϕ : (0, +∞) → R, ϕ(t) = ln t. Ez a f¨ uggv´eny bijekt´ıv, az inverz f¨ uggv´enye Az f : R → R, f (x) =
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
11
1 ϕ−1 : R → (0, ∞) t = ϕ−1 (x) = ex , deriv´alhat´o: ϕ0 (t) = , t ∈ (0, ∞) ´es deriv´altj´anak t nincs gy¨oke. Megkeress¨ uk az t2 1 t · = f (ϕ(t)) · ϕ0 (t) = 1+t t 1+t f¨ uggv´eny egy primit´ıv f¨ uggv´eny´et, amelyet H-val jel¨ol¨ unk: Z Z Z Z t t + 1 1 f (ϕ(t)) · ϕ0 (t)dt = dt = dt − dt = 1+t t+1 t+1 = t − ln(1 + t) + c = H(t), c ∈ R. Innen a 6. T´etel alapj´an Z e2x dx = H ◦ ϕ−1 (x) = ex − ln(1 + ex ) + c, c ∈ R. 1 + ex 1 R¨oviden: ex = t ⇒ x = ln t, dx = dt, teh´at t Z Z e2x 1 t2 dx = · dt = t − ln(1 + t) + c x 1+e 1+t t = ex − ln(1 + ex ) + x + c, c ∈ R. 2)
3)
Z
1 dx, x > 0. x(1 + ln2 x) R¨oviden: t = ln x ⇒ x = et , dx = et dt. Z Z Z 1 1 1 t dx = · e dt = dt = 2 t 2 e (1 + t ) 1 + t2 x(1 + ln x) = arctg t + c = arctg(ln x) + c, c ∈ R.
R√
a2 − x2 , ³ x ∈ (−a,´a), a pozit´ıv. π π Legyen ϕ : − , → (−a, a) ϕ(t) = a sin t, a > 0, ϕ bijekt´ıv, deriv´alhat´o ´es ³2 π2 π ´ x ϕ0 (t) 6= 0, ∀t ∈ − , ; ϕ−1 (x) = arcsin ; 2 2 pa g(t) = ϕ(ϕ(t))ϕ0 (t)dt = a2 − a2 sin2 t · a cos t = Z
Z g(t)dt =
= a2 cos2 t, Z Z 1 + cos 2t 0 2 2 2 f (ϕ(t))ϕ (t)dt = a cos t dt = a dt = 2
a2 (t + sin t cos t) + c = G(x), c ∈ R 2 Ã ! r R x x a2 x2 −1 arcsin + · 1 − 2 + c, c ∈ R. f (x)dx = G(ϕ (x)) = 2 a a a a R¨oviden: x = a sin t ⇒ t = arcsin , dx = a cos t dt x Z p Z p Z a2 − x2 dx = a2 − a2 sin2 t · a cos t dt = a2 cos2 t dt = Z 1 + cos 2t a2 = a2 = (t + sin t cos t) + c = 2 2 Ã ! r 2 x2 a x x 1 − 2 + c, c ∈ R. = arcsin + 2 a a a =
12
1.4. Integr´al´asi elj´ar´asok.
Hat´ arozatlan integr´ alok t´ abl´ azata ϕ : I → R folytonosan deriv´alhat´o f¨ uggv´eny, c ∈ R
(1)
(2)
(3)
(4)
(5)
(6) (7) (8) (9)
(10)
(11) (12) (13)
(14)
(15)
R
R
R
ϕn (x)ϕ0 (x)dx =
ϕn+1 (x) + c, n+1
n∈N
ϕa (x)ϕ0 (x)dx =
ϕa+1 (x) + c, a+1
a ∈ R \ {−1}, ϕ(I) ⊂ (0, ∞)
aϕ(x) ϕ0 (x)dx =
aϕ(x) + c, ln a
R ϕ0 (x) dx = ln |ϕ(x)| + c, ϕ(x) R
R R R
a ∈ R∗+ \ {1}. ϕ(x) 6= 0, ∀x ∈ I
¯ ¯ ¯ ϕ(x) − a ¯ ϕ0 (x) 1 ¯ ¯ +, dx = ln ϕ2 (x) − a2 2a ¯ ϕ(x) + a ¯ 1 ϕ(x) ϕ0 (x) dx = arctg + C, 2 2 ϕ (x) + a a a
ϕ0 (x) cos ϕ(x)dx = sin ϕ(x) + c n
ϕ0 (x) dx = tg ϕ(x) + c, cos2 ϕ(x)
R
ϕ0 (x) dx = − ctg ϕ(x) + c, sin2 ϕ(x)
R R
R
R
a 6= 0
ϕ0 (x) sin ϕ(x)dx = − cos ϕ(x) + c
R
R
ϕ(x) 6= ±a, ∀x ∈ I, a 6= 0
ϕ(x) ∈ /
ϕ0 (x) ctg(ϕ(x))dx = ln | sin ϕ(x)| + c,
p
p
ϕ0 (x) ϕ2 (x) + a2 ϕ0 (x) ϕ2 (x)
−
a2
ϕ0 (x) a2 − ϕ2 (x)
dx = ln[ϕ(x) +
dx = ln |ϕ(x) +
dx = arcsin
∀x ∈ I
ϕ(x) ∈ / {kπ | k ∈ Z}, ∀x ∈ I
ϕ0 (x) tg(ϕ(x))dx = − ln | cos ϕ(x)| + c,
p
o π ¯¯ (2k + 1) ¯ k ∈ Z , 2
n ϕ(x) ∈ /
ϕ(x) ∈ / {kπ | k ∈ Z},
p
ϕ2 (x) + a2 ] + c,
p
ϕ2 (x) − a2 | + c,
ϕ(x) + c, a
o π ¯¯ (2k + 1) ¯ k ∈ Z , 2 ∀x ∈ I
a 6= 0 ϕ(I) ⊂ (−∞, −a) vagy ϕ(I) ⊂ (a, ∞), a > 0
a > 0, ϕ(I) ⊂ (−a, a)
∀x ∈ I
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
13
1.4.5 Gyakorlatok A helyettes´ıt´esi m´odszert alkalmazva hat´arozzuk meg a k¨ovetkez˝o f¨ uggv´enyek primit´ıv f¨ uggv´enyeit: R R 1) cos(3t − 1)dt 2) 2t2 (t3 + 1)5 dt R
x2 dx 4 + x3 R sin x 5) dx 1 + cos2 x R 1 + tg 2 x 7) dx tg x R dx 9) x ln x R 11. 2x sin(1 + x2 )dx R 13. sin3 x cos2 dx 3)
R sin x + cos x sin x − cos x R sin 2x 17. dx sin2 x + 4 R x 19. √ dx 1 − x4 15.
R
8x3 + 6x dx + 3x2 + 5 R 1 6) cos x R 3 8) x2 ex dx 4)
2x4
R ln x dx x R 12. sin x cos2 xdx R 14. sin3 xdx
10)
16. 18.
R R
(tg x + tg 3 x)dx √
sin 2x dx 1 − cos4 x
14
1.4. Integr´al´asi elj´ar´asok.
1.4.6. A racion´alis f¨ uggv´enyek integr´al´asa 1. Elemi t¨ ortf¨ uggv´ enyek Defin´ıci´ o. Elemi t¨ortf¨ uggv´enynek nevezz¨ uk az 1. f (x) := an xn +an−1 xn−1 +· · ·+a1 x+ a0 , x ∈ R; A (n ∈ N+ ), x 6= a; 2. f (x) := (x − a)n Ax + B 3. f (x) := n ∈ N+ , (b2 − 4ac < 0), x ∈ R 2 (ax + bx + c)n alak´ u f¨ uggv´enyeket.
T´etel. B´armely racion´alis f¨uggv´eny felbonthat´o v´eges sz´am´u elemi t¨ortf¨ uggv´eny ¨osszeg´ere, vagyis, ha f : I → R, f (x) :=
P (x) Q(x)
(Q(x) 6= 0, ∀x ∈ I)
racion´alis f¨ uggv´eny, ahol P ´es Q relat´ıv pr´ım polinomok, ´es Q val´os egy¨ utthat´os irreducibilis t´enyez˝okre bont´asa Q(x) =(x − a1 )α1 . . . (x − am )αm (x2 + p1 x + q1 )β1 . . . (x2 + pn x + qn )βn (x2 + pi x + qi = 0-nak nincs val´os gy¨oke, i = 1, n), akkor f (x) = L(x) +
+
n X
m X i=1
"
# (i) (i) (i) A2 Aαi A1 + + + ··· + (x − ai )αi (x − ai )αi −1 x − ai
(j) (j) B 1 x + C1 (x2 + pj x + qj )βj j=1 (i)
(j)
(j) (j) (j) (j) Bβj x + Cβj B2 x + C2 + 2 + ··· + 2 (x + pj x + qj )βj −1 x + pj x + qj
(j)
(L polinom, Ak , Bh , Ch , pj , qj ∈ R, p2j − 4qj < 0). A k¨ovetkez˝oben n´eh´any p´eld´an kereszt˝ol bemutatjuk, hogy hogyan v´egezz¨ uk el a gyakorlatban a racion´alis t¨ortf´ uggv´eny elemi t¨ortekre bont´as´at. Bontsuk elemi t¨ortf¨ uggv´enyek ¨osszeg´ere az f : I → R racion´alis f¨ uggv´enyeket: 7x + 4 1) f (x) := 3 . x + x2 − 8x − 12 Megold´ as. Ha a sz´aml´al´o foksz´ama kisebb mint a nevez˝o foksz´ama, akkor L(x) = 0. El˝osz¨or a nevez˝ ot val´os egy¨ utthat´os irreducibilis t´enyez˝ok szorzat´ara bontjuk. x3 + x2 − 8x − 12 = (x + 2)2 (x − 3), ´ıgy
A B C 7x + 4 = + + . (x + 2)2 (x − 3) (x + 2)2 x+2 x−3
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
15
Az A, B, C val´os ´alland´okat a hat´arozatlan egy¨ utthat´ok m´odszer´evel sz´am´ıtjuk ki: 7x + 4 A(x − 3) + B(x + 2)(x − 3) + C(x + 2)2 = ; (x + 2)2 (x − 3) (x + 2)2 (x − 3) 7x + 4 (B + C)x2 + (A − B + 4C)x + (−3A − 6B + 4C) = , (x + 2)2 (x − 3) (x + 2)2 (x − 3) ahonnan a
B+C =0
A − B + 4C = 7 −3A − 6B + 4C = 4 egyenletrendszert kapjuk, melynek megold´asa: A = 2, B = −1, C = 1. Teh´at f (x) = 2) f (x) := Megold´ as.
2 1 1 + . − 2 (x + 2) x+2 x−3
x4 − 14x3 + 29x2 − 26x + 9 . (x2 − x + 1)2 (3x − 2)
x4 − 14x3 + 29x2 − 26x + 9 Ax + B Cx + D E = 2 + 2 + . 2 2 2 (x − x + 1) (3x − 2) (x − x + 1) x − x + 1 3x − 2 A hat´arozatlan egy¨ utthat´ok m´odszer´evel azt kapjuk, hogy A = 2, B = 0, C = 0, D = −4, E = 1, teh´at 2x 4 1 f (x) = 2 − 2 + . 2 (x − x + 1) x − x + 1 3x − 2 2x4 + 6x3 + 9x2 + 1 . (x + 1)3 Megold´ as. Ha a sz´aml´al´o foksz´ama nagyobb mint a nevez˝o foksz´ama, akkor el˝osz¨or elosztjuk a sz´aml´al´ot a nevez˝ovel. A marad´ekos oszt´as t´etele alapj´an P (x) = L(x) · Q(x) + P1 (x), ahol gr P1 < gr Q. Ekkor
3) f (x) :=
f (x) =
L(x) · Q(x) + P1 (x) P1 (x) = L(x) + . Q(x) Q(x)
P1 (x) t¨ort sz´aml´al´oj´anak foksz´ama kisebb mint a nevez˝o foksz´ama, Q(x) ez´ert a felbont´as az el˝oz˝o p´eld´akhoz hasonl´oan t¨ort´enik. A sz´aml´al´ot a nevez˝ovel osztva, azt kapjuk: A fenti kifejez´esben a
f (x) = 2x + A
3x2 − 2x + 1 . (x + 1)3
3x2 − 2x + 1 elemi t¨ortekre bont´asa: (x + 1)3 A B C 3x2 − 2x + 1 = + + . (x + 1)3 (x + 1)3 (x + 1)2 x+1
16
1.4. Integr´al´asi elj´ar´asok.
A hat´arozatlan egy¨ utthat´ok m´odszer´evel sz´amolva A = 6, B = −8, C = 3, teh´at 6 8 3 f (x) = 2x + + + . 3 2 (x + 1) (x + 1) x+1 2. Az elemi t¨ ortf¨ uggv´ enyek integr´ al´ asa I. Az f : I → R, x → an xn + an−1 xn−1 + · · · + a1 x + a0 polinomf¨ uggv´enyt tagonk´ent integr´aljuk. P´ elda Z (3x4 − 7x2 + x + 2)dx = 3 II. Az f : I → R, x → integr´al´ asa:
x3 x2 3 7 1 x5 −7 + + 2x + c = x5 − x3 + − x2 + 2x + c, c ∈ R. 5 3 2 5 3 2
A (n ∈ N∗ , I ⊂ (−∞, a) vagy I ⊂ (a, +∞)) f¨ uggv´eny (x − a)n
R
A dx = A ln |x − a| + c, c ∈ R. x−a R A A 1 b) Ha n ≥ 2, akkor dx = − · + c, c ∈ R. (x − a)n n − 1 (x − a)n−1 a) Ha n = 1, akkor
Megjegyz´es Ha f (x) =
A A 1 p (m 6= 0) alak´ u, akkor f (x) = n · , ahol = −a. Teh´ at az f (x) = (mx + p)n m (x − a)n m
A racion´ alis f¨ uggv´ eny integr´ al´ asa visszavezethet˝ o az el˝ obbi esetre. (mx + p)n
P´ eld´ ak: Sz´am´ıtsuk ki a k¨ovetkez˝o f¨ uggv´enyek hat´arozatlan integr´alj´at: 1 1) f (x) := , x ∈ (3, +∞). (x − 3)4 Megold´ as. Legyen ϕ(x) = x − 3, ϕ0 (x) = 1. Z Z 1 −3 1 1 f (x)dx = ϕ−4 (x)ϕ0 (x)dx = ϕ (x) + c = − · + c, c ∈ R. −3 3 (x − 3)3 µ ¶ 7 5 2) f (x) := , x ∈ −∞, − . (2x + 5)3 2 Megold´ as. Legyen ϕ(x) = 2x + 5, ϕ0 (x) = 2. Z Z 7 7 1 −2 7 1 f (x)dx = ϕ−3 (x)ϕ0 (x)dx = · ϕ (x) + c = − · + c, c ∈ R. 2 2 −2 4 (2x + 5)2 Ax + B , (n ∈ N∗ , ∆ = b2 − 4ac < 0) f¨ uggv´eny + bx + c)n " # µ ¶2 b ∆ integr´al´ asakor el˝osz¨or az ax2 + bx + c = a x + − 2 ´atalak´ıt´ast v´egezz¨ uk 2a 4a
III. Az f : I → R, f (x) =
(ax2
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
17
b el. A t = x + v´altoz´ocser´evel az al´abbi t´ıpus´ u integr´alokra vezetj¨ uk vissza a 2a f¨ uggv´eny integr´al´as´at: R R x 1 a) dx b) dx 2 2 x +a x2 + a2 R R x 1 c) dx d) dx, n = 6 1. (x2 + a2 )n (x2 + a2 )n Az a) integr´ al az alapintegr´al szerint: Z
1 x 1 dx = arctg + c, c ∈ R. x2 + a2 a a
A b) ´es c) integr´alokat helyettes´ıt´essel sz´am´ıtjuk ki. Legyen ϕ(x) = x2 + a2 , ekkor ϕ0 (x) = 2x, Z
Z
x 1 dx = x2 + a2 2
x 1 dx = (x2 + a2 )n 2
Z
ϕ0 (x) 1 dx = ln(x2 + a2 ) + c, c ∈ R. ϕ(x) 2
Z ϕ0 (x) · ϕ−n (x)dx = −
1 1 · + c, (n 6= 1). 2(n − 1) (x2 + a2 )n−1
A d) t´ıpus´ u integr´alt egy rekurzi´os ¨osszef¨ ugg´es seg´ıts´eg´evel hat´arozzuk meg. A rekurzi´os ¨osszef¨ ugg´eshez parci´alis integr´al´assal jutunk. Z In =
1 1 dx = 2 2 2 n (x + a ) a
Z
a2 1 dx = 2 2 2 n (x + a ) a
1 1 In−1 − 2 a2 2a
Z
Z
x2 + a2 − x2 dx = (x2 + a2 )n
2x2 dx . + a2 )n
(x2
A parci´alis integr´al´as alapj´an ez ut´obbi integr´al a k¨ovetkez˝o alakra hozhat´o (f (x) = x, g 0 (x) = 2x/(x2 + a2 )n jel¨ol´essel) Z
Z 2x2 dx x 1 dx = − = 2 2 n 2 2 n−1 2 (x + a ) (1 − n)(x + a ) 1−n (x + a2 )n−1 x In−1 = − , (1 − n)(x2 + a2 )n−1 1−n
k¨ovetkez´esk´eppen In =
x 2(n −
1)a2 (x2
+
a2 )n−1
+
2n − 1 In−1 , n = 2, 3, . . . . 2(n − 1)a2
Mivel I1 -et m´ar kisz´am´ıtottunk, a fenti rekurzi´o seg´ıts´eg´evel In kisz´amolhat´o b´armely n = 2, 3, . . . ´ert´ek´ere. R Ax + B A Jn = dx, (n > 1, ∆ = b2 − 4ac < 0) integr´al kisz´am´ıt´asa visszaveze(ax2 + bx + c)n thet˝o az In -re a k¨ovetkez˝o ´atalak´ıt´asokkal: A Jn = 2a
Z
2Ba Z 2ax + b + 2Ba − b A A A dx = dx = (ax2 + bx + c)n 2a (ax2 + bx + c)n 2ax +
18
1.4. Integr´al´asi elj´ar´asok.
A 2a
Z
bA (ax2 + bx + c)0 dx + (B − ) 2 n (ax + bx + c) 2a
Az ut´obbi integr´alban az y = x +
Z
dx . b −∆ an [(x + )2 + 2 ]n 2a 4a
b v´atoz´ocser´et elv´egezve az 2a
A bA b + (B − )In (x + ) 2 n−1 2a(1 − n)(ax + bx + c) 2a 2a
Jn = eredm´enyre jutunk. P´ eld´ ak:
Sz´am´ıtsuk ki a k¨ovetkez˝o f¨ uggv´enyek hat´arozatlan integr´alj´at: 1 , x ∈ R. 1. f (x) := 2 (x + 1)3 Megold´ as. Felhaszn´aljuk a 3. b) pontban fel´ırt rekurzi´os ¨osszef¨ ugg´est: R 1 I1 = dx = arctg x + c, c ∈ R; x2 + 1 µ ¶ µ ¶ R 1 1 x 1 x I2 = dx = + I = + arctg x + c, c ∈ R; 1 2 (x2 + 1)2 2 · x2 + 1 ¸2 x + 1 R 1 x 1 I3 = dx = + 3I2 = 2 + 1)3 2 + 1)2 (x 4 (x · µ ¶¸ 1 x 3 x = + + arctg x + c, c ∈ R. 4 (x2 + 1)2 2 x2 + 1 Teh´at Z 1 x 3 x 3 f (x)dx = I3 = · 2 + · 2 + arctg x + c, c ∈ R. 2 4 (x + 1) 8 x +1 8 2. f (x) =
x2
1 , x ∈ R. + 3x + 4
Megold´ as. A nevez˝o diszkrimin´ansa 4 = 9 − 16 = −7, teh´at
R
1 f (x) = µ ¶2 3 7 x+ + 2 4
3 elv´egezve a t = x + , dt = dx helyettes´ıt´est az f f¨ uggv´eny integr´alj´at a k¨ovetkez˝o 2 integr´alra vezetj¨ uk vissza: Z
√ √ 1 2 7 2 7t à √ ! dt = arctg + c, c ∈ R 7 7 7 2 t + 2
teh´at µ ¶ 3 √ √ Z 2 7 x+ 2 7 2 7 7(2x + 3) 2 f (x)dx = arctg +c= arctg + c, c ∈ R. 7 7 7 7 √
3. f (x) :=
√
3x − 5 , x ∈ R. + 6x + 5
2x2
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
19
Megold´ as. A nevez˝o diszkrimin´ansa: 4 = 36 − 40 = −4, a nevez˝o deriv´altja: (2x2 + 6x + 0 5) = 4x + 6. µ ¶ 5 Z Z 4 x− +6−6 3 3 dx = f (x)dx = 4 2x2 + 6x + 5 Z Z 3 4x + 6 19 1 = dx − dx. 4 2x2 + 6x + 5 2 2x2 + 6x + 5 Z 0 Z ϕ (x) 4x + 6 dx = = ln |ϕ(x)| + c = ln(2x2 + 6x + 5) + c, c ∈ R. I1 = 2 2x + 6x + 5 ϕ(x) ϕ(x) = 2x2 + 6x + 5, ϕ0 (x) = 4x + 6. Z Z 1 1 1 = I2 = µ ¶2 µ ¶2 dx = 2x2 + 6x + 5 2 3 1 x+ + 2 2 µ ¶ 1 3 = · 2 arctg 2 x + + c = arctg(2x + 3) + c, c ∈ R. 2 2 Teh´at Z f (x)dx =
19 3 19 3 I1 − I2 = ln(2x2 + 6x + 5) − arctg(2x + 3) + c, c ∈ R. 4 2 4 2
1.4.7 Trigonometrikus f¨ uggv´enyek racion´alis kifejez´eseinek integr´al´asa 1. Egyszer˝ ubb t´ıpusok 1. a) sin2n+1 x cosk x alak´ u kifejez´esek integr´al´asakor a k¨ovetkez˝o ´atalak´ıt´asokat v´egezz¨ uk: sin2n+1 x cosk x = sin x sin2n x cosk x = sin x(1 − cos2 x)n cosk x. A hatv´anyoz´as ´es a szorz´as m˝ uveleteket elv´egezve, az f (x) = cos x, f 0 (x) = − sin x jel¨ol´est haszn´alva, az ¨osszeg minden egyes tagja λf n (x)f 0 (x) t´ıpus´ u lesz, teh´at az integr´al´ as tagonk´ent elv´egezhet˝o lesz. P´ eld´ ak: 1. a)-hoz R R R 5 1. R sin xdx = R sin x sin4 xdx = R sin x(1 − cos2 x)2 dx = 4 sin xdx −R2 sin x cos2 xdx + R 0 sin x4cos xdx = 0 2 − cos x + 2 f (x)f (x)dx − f (x)f (x)dx = 1 2 1 2 − cos x + f 3 (x) − f 5 (x) + c = cos x + cos3 x − cos5 x + c, c ∈ R. 3 5 3 5 R R R R 2. sin3 x cos xdx = sin x sin2 x cos xdx = sin x(1 − cos2 x) cos xdx = sin x cos R R R 1 1 xdx − sin x cos3 xdx = − f 0 (x)f (x)dx + f 0 (x)f 3 (x)dx = − f 2 (x) + f 4 (x) + c = 2 4 1 1 − cos2 x + cos4 x + c, c ∈ R. 2 4
20
1.4. Integr´al´asi elj´ar´asok.
1. b) cos2n+1 x sink x alak´ u kifejez´esek integr´al´asakor a k¨ovetkez˝o ´atalak´ıt´ast v´egezz¨ uk cos2n+1 x sink x = cos x cos2n x sink x = cos x(1 − sin2 x)n sink x. A kijel¨olt m˝ uveleteket elv´egezve, az f (x) = sin x, f 0 (x) = cos x jel¨ol´est haszn´alva, az ¨osszeg minden egyes tagja λf n (x)f 0 (x) t´ıpus´ u lesz, teh´at az integr´al´as tagonk´ent elv´egezhet˝o lesz. P´ eld´ ak 1. b)-hez: R R R 2 3 2 1. cos R xdx = Rcos x cos 2xdx = cos x(1 − sin x)dx = = cos xdx − cos x sin xdx 1 = sin x − sin3 x + c, c ∈ R. 3 R R R 2 5 2. cos x sin xdx = cos x cos4 x sin2 xdxR = cos x(1 − sin2 x)2 sin2 xdx = R R = cos x sin2 xdx − 2 cos x sin4 xdx + cos x sin6 xdx = 1 2 1 = sin3 x − sin5 x + sin7 x + c, c ∈ R. 3 5 7 1. c) Ha az integrandusban a szinusz ´es a coszinusz is p´aros hatv´anyon szerepelnek, azaz sin2n x cos2m x kifejez´est akarjuk integr´alni, akkor a k´etszeres sz¨ogf¨ uggv´enyeire tanult azonoss´agokat haszn´aljuk az integrandus ´atalak´ıt´as´ara, azaz az 1 sin 2x 2 1 − cos 2x sin2 x = 2 1 + cos 2x cos2 x = . 2
sin x cos x =
¨osszef¨ ugg´ R eseket. Az sin2n x cos2m xdx integr´alban elv´egezve a fenti ¨osszef¨ ugg´esek alapj´an az ´atalak´ıt´asokat az 1.a) vagy 1.b) t´ıpus´ u integr´alok kisz´am´ıt´asa lesz a feladat. P´ eld´ ak 1. c)-hez: R R 1 − cos 2x 1 1 1R 1 cos 2xdx = x − sin 2x + c, c ∈ R. 1. sin2 xdx = dx = x − 2 2 4 ¶2 ¶ µ µ2 R 1 1 R R 1 + cos 2x 2 1 1 4 dx = + cos 2x + cos2 2x dx = x + 2. cos xdx = 2 4 2 4 4 1 1 R 1 + cos 4x 1 1 1 1 sin 2x + dx = x + sin 2x + x + sin 4x + c, c ∈ R. 4 4 2 4 4 8 32 2 R R R sin 2x 2 3. sin2 x cos4 xdx = (sin x cos x) cos2 xdx = cos2 xdx = 4 1 R 1 R 1 − cos 4x 1 + cos 2x = dx = (1 + cos 2x − cos 4x − cos 2x cos 4x) dx = 4µ 2 2 16 ¶ R cos 6x + cos 2x 1 1 1 x + sin 2x − sin 4x − dx = 16 µ 2 4 2 ¶ 1 1 1 1 1 x + sin 2x − sin 4x − sin 6x + sin 2x + c, c ∈ R. 16 2 4 12 4 R A fenti p´eld´aban tal´alkoztunk az cos ax cos bxdx t´ıpus´ u integr´allal ´es l´attuk, hogy kisz´am´ıt´asakor a koszinuszok szorzat´at kifejezt¨ uk koszinuszok ¨osszeg´evel. Az elj´ar´as ´altal´aban is alkalmazhat´o. Az Z Z Z cos ax cos bxdx, cos ax sin bxdx, sin ax sin bxdx
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
21
integr´alokat u ´gy sz´am´ıtjuk ki, hogy el˝osz¨or az integrandus alatti kifejez´eseket ´atalak´ıtjuk a k¨ovetkez˝o trigonometrikus azonoss´agok seg´ıts´eg´evel 1 (cos(a + b)x + cos(a − b)x) 2 1 sin ax sin bx = − (cos(a + b)x − cos(a − b)x) 2 1 cos ax sin bx = (sin(a + b)x − sin(a − b)x), 2
cos ax cos bx =
majd tagonk´ent elv´egezz¨ uk az integr´al´ast. R 2. Az R(sin x, cos x, tgx, ctgx) (ahol R egy racion´alis kifejez´es) alak´ u integr´alok kisz´am´ıt´ askor mindig c´elravezet˝o a x 2 t = tg , dx = dt, 2 1 + t2 1 − t2 ctgt = 2t
sin x =
2t , 1 + t2
cos x =
1 − t2 , 1 + t2
tgt =
2t , 1 − t2
helyettes´ıt´es. P´ eld´ ak:
³ π´ R 1 + cos x dx x ∈ 0, integr´alt. 1 − sin x 2 Elv´egezve a fent le´ırt v´altoz´o cser´et a k¨ovetkez˝ot kapjuk:
1. Sz´am´ıtsuk ki az
Z
2 Z 1+ 1−t Z 2 1 + cos x 2 2 2 1 + t dx = dt = dt. 2t 1 + t2 1 − sin x (1 − t)2 1 + t2 1− 1 + t2
Az integrandus t-ben racion´alis t¨ortf¨ uggv´eny, amit parci´alis t¨ortekre bontunk. 2 2 A B Ct + D = + + 2 ; 2 2 2 (1 − t) 1 + t (t − 1) (t − 1) t +1 4 = A(t2 + 1) + B(t − 1)(t2 + 1) + (Ct + D)(t − 1)2 ; 4 = (B + C)t3 + (A − B − 2C + D)t2 + (B + C − 2D)t + (A − B + D). Az egy¨ utthat´ok egyenl˝os´eg´eb˝ol a k¨ovetkez˝ o egyenletrendszert kapjuk: B+C =0 A − B − 2C + D = 0 B + C − 2D = 0 A − B + D = 4, amelynek megold´asa A = C = 2, B = −2, D = 0. Behelyettes´ıtve az egy¨ utthat´okat Z
2 2 dt = (1 − t)2 1 + t2
2 − − 2 ln |t − 1| + t−1
Z
Z µ
2 2 2t − + (t − 1)2 (t − 1) t2 + 1
¶ dt =
2 (1 + t2 )0 dt = − − 2 ln |t − 1| + ln(1 + t2 ) + c, c ∈ R. (1 + t2 ) t−1
22
1.4.8. Irracion´alis f¨ uggv´enyek integr´alja
R 1 + cos x 2 x x dx = − x − 2 ln |tg − 1| + ln(1 + tg 2 ) + c, c ∈ R. 1 − sin x 2 2 tg − 1 2 ³ ´ R sin x π π 2. Sz´am´ıtsuk ki az I(x) = dx, x ∈ − , . sin x + cos x 4 2 Hasonl´oan mint az el˝oz˝o feladat eset´en, elv´egezve a v´altoz´ocser´et a Z tdt −4 2 (t + 1)(t2 − 2t − 1) Teh´at
integr´alhoz jutunk, amely elemi t¨ortekre bont´assal egyszer˝ uen kisz´am´ıthatunk. Azonban fel szeretn´enk h´ıvni a figyelmet arra, hogy ezt az integr´alt m´eg k´et m´asik elj´ar´assal is meg lehet hat´arozni. Ha az integrandus alatti racion´alis kifejez´ere teljes¨ ul az R(sin x, cos x) = 1 R(− sin x, − cos x) egyenl˝ os´ eg, akkor a t = tgx, dx = helyettes´ıt´ es egyszer˝ ubb 1 + t2 x racion´alis integr´aland´o f¨ uggv´enyhez vezet, mint a t = tg helyettes´ıt´es. Az el˝oz˝o feladat 2 megold´asa ezzel a helyettes´ıt´essel a k¨ovetkez˝ o lesz: Z Z Z sin x tgx t I(x) = dx = dx = dt = sin x + cos x tgx + 1 (t + 1)(t2 + 1) ¶ µ ¶ Z µ 1 1 t+1 1 1 − + 2 dt = − ln |t + 1| + ln |t2 + 1| + arctgt + c = 2 t+1 t +1 2 2 µ ¶ 1 1 2 − ln |tgx + 1| + ln |tg x + 1| + x + c. 2 2 R cos x Egy harmadik megold´asi elj´ar´as a k¨ovetkez˝o: Tekints¨ uk a J(x) = dx sin x + cos x integr´alt. Vegy¨ uk ´eszre, hogy R sin x + cos x dx = x + c I(x) + J(x) = sin x + cos x R sin x − cos x R (sin x + cos x)0 I(x) − J(x) = dx = − dx = ln | sin x + cos x| + c. sin x + cos x sin x + cos x 1 ul¨onb¨oznek Innen I(x) = (ln | sin x + cos x|) + x) + c, c ∈ R. Az eredm´enyek l´atsz´olag k¨ 2 egym´ast´ol, de azonos ´atalak´ıt´asokat v´egezve igazolhat´ok, hogy legfeljebb egy konstansban k¨ ul¨onb¨oznek. (Ennek ellen˝orz´es´et az olvas´ora b´ızzuk.)
1.4.8. Irracion´alis f¨ uggv´enyek integr´alja Az irracion´alis f¨ uggv´enyek ´altal´aban csak akkor integr´alhat´ok elemien, ha fel´ırhat´ok megfelel˝oen v´alasztott u ´j v´altoz´onak racion´alis f¨ uggv´enyek´ent. A k¨ovetkez˝okben n´eh´any ilyen esetet t´argyalunk. ! Ã r R ax + b dx, n ≥ 2 term´ eszetes sz´ am, R racion´ alis k´ etv´ altoz´ os 1. Az R x, n cx + d val´ os f¨ uggv´ eny. Ekkor a ax + b = tn , cx + d
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
23
v´altoz´o cser´evel a t v´altoz´oban racion´alis integr´alhoz jutunk. Azaz tekintj¨ uk az dtn − b x = ϕ(t) = a − ctn helyettes´ıt´est az R f¨ uggv´eny ´ertelmez´esi tartom´any´anak egy I intervallum´ab´ol. Ekkor a ϕ : I → I deriv´altja folytonos, ϕ, ϕ0 racion´alis f¨ uggv´enyek, teh´at R(ϕ(t), t)ϕ0 (t) racion´alis f¨ uggv´enyt ´ertelmez ´es hat´arozatlan integr´alja l´etezik ´es a tanult elj´ar´asokkal kisz´am´ıthat´ o. P´ eld´ ak: Sz´am´ıtsuk ki a k¨ovetkez˝o hat´arozatlan integr´alokat: 1.
Z
√ (x + 2) 3 x + 1dx.
Jel¨olj¨ uk t=
√ 3
x + 1, ekkor x = ϕ(t) = t3 − 1,
ϕ : R → R,
ϕ0 (t) = 3t2 .
Alkalmazva a fenti helyettes´ıt´est a k¨ovetkez˝ ot kapjuk: Z Z √ 3 3 (x + 2) 3 x + 1dx = (t3 + 1)3t3 dt = t7 + t4 + c = 7 4 √ 3 √ 3 = ( 3 x + 1)7 + ( 3 x + 1)4 + c, c ∈ R. 7 4 2.
Z
1 x
r
1−x dx x ∈ (−1, 1). 1+x
Jel¨olj¨ uk r t=
1−x , 1+x
x = ϕ(t) =
1 − t2 1 + t2
ϕ : (0, +∞) → (−1, 1),
ϕ0 (t) =
−4t . + 1)2
(t2
A fenti helyettes´ıt´es alkalmaz´as´ aval a k¨ovetkez˝ot kapjuk: r Z Z 2 Z 1 1−x t +1 −4t −t2 dx = t dt = 4 dt = x 1+x 1 − t2 (t2 + 1)2 (1 − t2 )(1 + t2 ) µ ¶ µ ¶ Z Z 1 1 1 1 =4 1− dt = 4 arctg t + 2 + dt = 1 − t2 1 + t2 1 − t2 1 + t2 ¯r ¯ ¯ ¯ 1−x r ¯ ¯ ¯ ¯ − 1 ¯t − 1¯ ¯ ¯ ¯ + c = 6 arctg 1 − x + ln ¯ r 1 + x ¯ + c, c ∈ R. = 6 arctg t + ln ¯¯ ¯ ¯ ¯ t+1 1+x ¯ 1−x ¯ + 1¯ ¯ 1+x √ 2. Az R(x, a2 − x2 ), x ∈ (−a, a), a > 0, alak´ u integr´ alok, ahol R k´ etv´ altoz´ os val´ os racion´ alis f¨ uggv´ eny. √ Ha az integrandus f¨ uggetlen v´altoz´onak, az x valamint a2 − x2 -nek racion´alis f¨ uggv´enye, akkor az x = a sin t, a > 0, t ∈ (−π/2, π/2), q p a2 − x2 = a2 (1 − sin2 t) = a cos t
dx = a cos tdt,
24
1.4.8. Irracion´alis f¨ uggv´enyek integr´alja
helyettes´ıt´essel trigonometrikus integr´all´a alak´ıthat´o. P´ elda: Sz´am´ıtsuk ki a k¨ovetkez˝o hat´arozatlan integr´alt: 1.
Z x2
p
4 − x2 dx, x ∈ (−2, 2).
Az x = 2 sin t,
t ∈ (−π/2, π/2),
dx = 2 cos t,
helyettes´ıt´est alkalmazva a k¨ovetkez˝ot kapjuk: Z
Z Z p p x2 4 − x2 dx = 4 sin2 t 4 − 4 sin2 t2 cos tdt = 16 sin2 t cos2 tdt = Z Z 1 = 4 sin2 2tdt = 2 (1 − cos 4t)dt = 2t − sin 4t + c = 2 ¶ µ 2 √ x x 4 − x2 1 − x 2 = 2 arcsin − + c, c ∈ R. 2 2
√ 3. Az R(x, a2 + x2 ) alak´ u integr´ alok, ahol R k´ etv´ altoz´ os val´ os racion´ alis f¨ uggv´ eny. √ Ha az integrandus f¨ uggetlen v´altoz´onak, az x, valamint a2 + x2 -nek a racion´alis f¨ uggv´enye, akkor az x = a sinh t,
t ∈ R,
q p a2 + x2 = a2 (1 + sinh2 t) = a cosh t
dx = a cosh tdt,
helyettes´ıt´essel a gy¨okt´enyez˝o kik¨ usz¨ob¨olhet˝o. P´ eld´ ak: Alkalmazva az el˝oz˝o helyettes´ıt´est, sz´am´ıtsuk ki a k¨ovetkez˝o integr´alokat: 1.
Z x2
p
1 + x2 dx
Az x = sinh t, helyettes´ıt´essel
t ∈ R,
dx = cosh tdt,
Z 2
x
p
q 1+
x2
=
(1 + sinh2 t) = cosh t
Z
p
1+
x2 dx
=
sinh2 t cosh2 tdt
integr´alhoz jutunk. Mivel sinh2 t = (cosh 2t − 1)/2, cosh2 t = (cosh 2t + 1)/2, ez´ert Z Z Z p 1 1 x2 1 + x2 dx = (cosh 2t − 1)(cosh 2t + 1)dt = (cosh2 2t − 1)dt = 4 4 Z 1 cosh 4t + 1 t sinh 4t t t dt − = + − + c, c ∈ R. 4 2 4 32 8 4
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
25
Mivel xp= sinh t ´es sinh 4t = 2 sinh 2t cosh 2t = 4 sinh t cosh t(sinh2 t + cosh2 t) = √ 4 sinh t 1 + sinh2 t(sinh2 t + 1 + sinh2 t) = 4x 1 + x2 (1 + 2x2 ), ez´ert Z x2
p 1 p 1 1 + x2 dx = x 1 + x2 (1 + 2x2 ) − arsinh x + c, c ∈ R. 8 8
2.
Z √
x3 dx. 4 + 25x2
El˝osz¨or a nevez˝ob˝ol kiemel¨ unk 5-¨ot a nevez˝ob˝ol: Z √
x3 1 dx = 5 4 + 25x2
Z
x3 sµ ¶ dx. 2 2 + x2 5
2 Ha x = sinh t, akkor a gy¨ok alatti mennyis´eg 5 2 cosh tdt, 5 Z
8 625
x3 1 √ dx = 2 5 4 + 25x Z
Z
sµ ¶ 2 2 2 + x2 = cosh t ´es dx = 5 5
8 Z sinh3 t 2 8 125 cosh tdt = sinh3 tdt = 2 5 625 cosh t 5
8 sinh t(cosh t − 1)dt = 625
Z
2
8 sinh t cosh tdt − 625 2
Z sinh tdt =
và sµ ¶ !3 u µ ¶2 2 4 8 8 1u 2 2 3 t − cosh t − cosh t + c = + x2 + x2 + c, c ∈ R. 1875 625 3 5 25 5 √ 4. Az R(x, x2 − a2 ) alak´ u integr´ alok, ahol R k´ etv´ altoz´ os val´ os racion´ alis f¨ uggv´ eny. √ Ha az integrandus a f¨ uggetlen v´altoz´onak, x-nek, valamint x2 − a2 -nek a racion´alis f¨ uggv´enye, akkor az x = a cosh t, t ∈ [0, ∞), dx = a sinh tdt,
p
q x2 − a2 =
helyettes´ıt´essel a gy¨okt´enyez˝o kik¨ usz¨ob¨olhet˝o. P´ eld´ ak: 1.
Z p
(x2 − 1)3 dx,
x ≥ 1.
a2 (cosh2 t − 1) = a sinh t
26
1.4.8. Irracion´alis f¨ uggv´enyek integr´alja
Jel¨olj¨ uk x = cosh t,
t ≥ 1, akkor dx = sinh tdt,
√
x2 − 1 = sinh t ´es
¶2 Z p Z Z Z µ cosh 2t − 1 (x2 − 1)3 dx = sinh3 t sinh tdt = sinh4 tdt = dt = 2 Z Z Z 1 1 1 1 cosh 4t + 1 1 1 = cosh2 2tdt − cosh 2tdt + t = dt − sinh 2t + t = 4 2 4 4 2 4 4 1 1 3 1 p 2 1 p 2 2 = sinh 4t − sinh 2t + t + c = x x − 1(2x − 1) − x x − 1+ 32 4 8 8 2 3 + arcosh x + c, c ∈ R. 8 √ R 5. Tekints¨ uk az R(x, ax2 + bx + c)dx, integr´ alt ahol R k´ etv´ altoz´ os val´ os racion´ alis f¨ uggv´ eny. Az R ´ertelmez´esi tartom´anya f¨ ugg a m´asodfok´ u trinom el˝ojel´et˝ol ´es az R f¨ uggv´eny nevez˝oj´et˝ol. Az integr´alt mindig az ´ertelmez´esi tartom´any egy I ⊂√ R intervallum´an vessz¨ uk. Ha az integrandus a f¨ uggetlen v´altoz´onak, x-nek, valamint ax2 + bx + c-nek a racion´alis f¨ uggv´enye, akkor a param´eterek term´eszet´et˝ol f¨ ugg˝oen a k¨ovetkez˝o m´odon alak´ıtjuk ´at az irracion´alis kifejez´est: I. M´ odszer. √ √ I. a) Ha a > 0, akkor a-t, ha a < 0, akkor −a-t emel¨ unk ki a gy¨ okjel el´ e. I. b) Legyen a > 0, akkor a kiemel´es elv´egz´ese ut´an a gy¨ok alatti mennyis´eget fel´ırjuk k´et n´egyzet ¨osszegek´ent vagy k¨ ul¨onbs´egek´ent (azaz a m´asodfok´ u kifejez´est kanonikus alakra hozzuk): sµ r ¶2 µ ¶ p √ √ b c b c b2 2 2 ax + bx + c = a x + x + = a x+ + − . a a 2a a 4a2 Jel¨olj¨ uk ∆ = b2 − 4ac-vel a m´asodfok´ u kifejez´es diszkrimin´ans´at ´es v´egezz¨ uk el az y =x+
b , 2a
dx = dy
v´atoz´ocser´et, ´ıgy az Z R(x,
! r b √ ∆ 2 + bx + c)dx = R y − , a y − 2 dy = 2a 4a à r ! Z ∆ = R1 y, y 2 − 2 dy, 4a Z
p
ax2
Ã
ahol R1 szint´en egy k´etv´altoz´os racion´alis kifejez´es. Ha a ∆ > 0, akkor az ut´obbi integr´alt a 3.-ban t´argyaltak alapj´an az √ √ ∆ ∆ cosh t, t ∈ [0, ∞), dy = sinh tdt, y= 2a 2a v´altoz´o csere alkalmaz´as´aval sz´am´ıtjuk ki. Ha a ∆ < 0 akkor 2.-ban t´argyaltak alapj´an az √ √ −∆ −∆ sinh t, t ∈ R, dx = cosh tdt x= 2a 2a
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
27
v´altoz´ocser´evel vezetj¨ uk √ vissza racion´alis t¨ort integr´alj´ahoz. I. c) Ha az a < 0, akkor −a-t emel¨ unk ki az integr´al jel al´ol ´es kanonikus alakra hozzuk a gy¨ok alatti m´asodfok´ u kifejez´est: p
s µ ¶2 √ b c b b2 c ax2 + bx + c = −a −x2 − x − = −a − x + + 2− = a a 2a 4a a s µ ¶2 √ b ∆ = −a − x + + 2. 2a 4a √
r
Ha a ∆ < 0, akkor a gy¨ok alatti mennyis´eg x b´armely ´ert´ek´ere negat´ıv, teh´at az integrandus a val´os sz´amok halmaz´an nem ´ertelmezett ´es ´ıgy a feladat nem oldhat´o meg. Ha a ∆ > 0, akkor el˝osz¨or az y =x+
b , 2a
dx = dy
v´atoz´ocser´evel Z
³ R x,
! Ã r Z ´ √ b ∆ ax2 + bx + c dx = R y − , −a −y 2 + 2 dy = 2a 4a ! Ã r Z ∆ = R2 y, −y 2 + 2 dy, 4a
p
majd az 1. alapj´an az √
∆ y= sin t, 2|a|
√ t ∈ (−π/2, π/2),
dy =
∆ cos tdt 2|a|
v´altoz´ocser´evel vezetj¨ uk vissza racion´alis t¨ort integr´alj´ara. II. M´ odszer. Az Euler f´ ele helyettes´ıt´ esek. II.a) Ha az a > 0 akkor az p
ax2 + bx + c =
√
ax + t,
x=
t2 − c √ = ϕ(t), −2 at + b
ϕ:I→I
dx = ϕ0 (t)dt
v´altoz´ocser´et v´egezz¨ uk el. Mivel ϕ0 folytonos, ϕ ´es ϕ0 racion´alis f¨ uggv´enyek ez´ert a v´atoz´ocsere alkalmaz´asa sor´an Z Z p √ R(x, ax2 + bx + c)dx = R(ϕ(t), aϕ(t) + t)ϕ0 (t)dt. Ez ut´obbi integr´alban az integrandus t-nek racion´alis f¨ uggv´enye, teh´at kisz´am´ıthat´o. P´ elda: Az el˝obbi m´odszer alkalmaz´as´aval sz´am´ıtsuk ki a k¨ovetkez˝o integr´alt: Z x+
√
dx , x2 + x + 1
x ∈ (0, +∞).
28
1.4.8. Irracion´alis f¨ uggv´enyek integr´alja √
x2 + x + 1 = x + t. Az egyenl˝os´eg mindk´et t2 − 1 oldal´at n´egyzetre emelj¨ uk, majd kifejezz¨ uk x-et ´es azt kapjuk, hogy x = = ϕ(t), 1 − 2t 2 2(t − t − 1) ϕ : (−∞, 1) → (0, +∞) tov´abb´a ϕ0 (t) = . Elv´egezve a helyettes´ıt´est a (1 − 2t)2 k¨ovetkez˝ot kapjuk: A k¨ovetkez˝ o helyettes´ıt´est v´egezz¨ uk:
Z
Z 1 2(t − t2 − 2) 2(t − t2 − 2) dt = dt = 2 2 (1 − 2t) (t − 2)(1 − 2t) t −1 x+ +t 2 1 − 2t Z Z Z 3t + 2 8 1 7 1 = (1 − )dt = t + dt + dt = (t − 2)(1 − 2t) 3 t−2 3 1 − 2t ¯ p 8 7 8 ¯¯p ¯ = t + ln |t − 2| − ln |1 − 2t| + c = x2 + x + 1 − x + ln ¯ x2 + x + 1 − x − 2¯ − 3 6 3 ¯ p 7 ¯¯ ¯ − ln ¯1 − 2( x2 + x + 1 − x)¯ + c, c ∈ R. 6
Z
√
dx = x2 + x + 1
II.b) Ha a c > 0 akkor alkalmazhatjuk a k¨ovetkez˝o helyettes´ıt´est. p
ax2 + bx + c =
√
c + tx.
Mindk´et oldal n´egyzetre emel´ese ut´an a szabadtagok kiesnek, majd ha mindk´et oldalt elosztjuk x-szel ´es kifejezz¨ uk x-et a k¨ovetkez˝ot kapjuk: x=
√ b − 2 ct = ϕ(t), t2 − a
dx = ϕ0 (t)dt.
Elv´egezve az el˝obb bemutatottak alapj´an a helyettes´ıt´est ism´et racion´alis t¨ortf¨ uggv´eny integr´alj´ahoz jutunk. P´ elda: Alkalmazva az el˝obb bemutatott elj´ar´ast sz´am´ıtsuk ki: Z √ Jel¨olj¨ uk
√
x2
x dx, + 3x + 1
x > 0.
x2 + 3x + 1 = 1 + tx-el. Az ut´obbi egyenl˝os´egb˝ol kifejezve x-et
x=
3 − 2t = ϕ(t), t2 − 1
dx =
2t2 − 6t + 2 dt (t2 − 1)2
kapjuk. Elv´egezve a v´altoz´ocser´et a k¨ovetkez˝ot kapjuk: Z √
x dx = 2 x + 3x + 1
Z
3 − 2t t2 − 1
µ ¶−1 2 Z 3 − 2t 2t − 6t + 2 3 − 2t 1+t 2 dt = −2 dt t −1 (t2 − 1)2 (t2 − 1)2
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
29
Z
Z 2t 1 dt − 6 dt = (t2 − 1)2 (t − 1)2 (t + 1)2 ¶ Z Z µ 6 1 (t2 − 1)0 1 1 1 = dt − − + + dt = (t2 − 1)2 4 (t − 1)2 (t − 1) (t + 1) (t + 1)2 µ ¶ 1 3 1 1 = 2 − − − ln |t − 1| + ln |t + 1| − +c= t −1 2 t−1 t+1
2
3 1 − √ − 2 + 3x + 1 − 1 2 x x2 + 3x + 1 − 1 −1 −1 x x ¯√ ¯√ ¯ ¯ ¯ x2 + 3x + 1 − 1 ¯ x2 + 3x + 1 − 1 ¯ ¯ ¯ ¯ ¯ ¯ − ln ¯ − 1¯ + ln ¯ + 1¯ − ¯ ¯ ¯ ¯ x x = Ã√
1
!2
−
1 + c, c ∈ R. x2 + 3x + 1 − 1 +1 x II.c) Ha az ax2 + bx + c = 0 m´ asodfok´ u egyenletnek az x1 , x2 val´ os gy¨ okei, akkor az u ´j ismeretlent a k¨ovetkez˝ok´eppen is bevezethetj¨ uk: p ax2 + bx + c = t(x − x1 ). −√
Az x-et ism´et k¨onnyen ki tudjuk fejezni a t seg´ıts´eg´evel. Figyelembe v´eve, hogy az x1 , x2 gy¨ok¨ok ez´ert ax2 + bx + c = a(x − x1 )(x − x2 ), n´egyzetre emelve a fenti egyenl˝os´eget a k¨ovetkez˝ot kapjuk: a(x − x1 )(x − x2 ) = t2 (x − x1 )2 , ahonnan
ax2 − t2 x1 = ϕ(t). a − t2 Elv´egezve az x = ϕ(t) helyettes´ıt´est az eredeti integr´alt racion´alis t¨ort integr´alj´ara vezetj¨ uk vissza. x=
P´ elda. Alkalmazva az el˝obb bemutatott elj´ar´ast sz´am´ıtsuk ki: Z 1 √ dx, x > 2. x + x2 − 3x + 2 Az x2 − 3x + 2 = 0 egyenlet gy¨okei az x1 = 1, x2 = 2. Jel¨olj¨ uk p x2 − 3x + 2 = t(x − 1). Innen (x − 1)(x − 2) = t2 (x − 1)2 , egyszer˝ us´ıtve (x − 1)-gyel (x − 1 6= 0 mivel x > 2) t2 − 2 2t azt kapjuk, hogy x = 2 , dx = 2 dt. Elv´egezve a v´atoz´ocser´et a k¨ovetkez˝ot t −1 (t − 1)2 kapjuk: Z Z 2t 1 1 √ µ 2 ¶ 2 dx = dt = 2 2 (t − 1)2 t −2 t −2 x + x − 3x + 2 +t 2 −1 t2 − 1 t −1 Z Z 2t t2 − 1 t = dt = 2 dt. (t2 − t − 2) (t2 − 1)2 (t + 1)2 (t − 2)(t − 1)
¨ 1.5. Osszefoglal´ o feladatok
30
A fenti racion´alis t¨ort integr´al´as´ahoz el˝osz¨or a t¨ortet elemi t¨ortekre bontjuk (t +
1)2 (t
t A B C D = + + + . 2 − 2)(t − 1) (t + 1) t+1 t−2 t−1
Az egy¨ utthat´ok egyenl˝ov´e t´etel´eb˝ol azt kapjuk, hogy
ahonnan A =
B+C +D =0 A + 2B + C + 4D = 0 A − B − C + 3D = 1 −2A − 2B − C + 2D = 0,
−11 12 1 3 ,B = ,C = ,D = . 5 10 10 10
Z
1 −A dx = + B ln |t + 1| + C ln |t − 2| + D ln |t − 1| + c = t +1 x+ − 3x + 2 ¯ ¯r ¯ ¯r ¯ ¯r ¯ ¯ x−2 ¯ ¯ x−2 ¯ ¯ x−2 −A ¯ ¯ ¯ ¯ ¯ ¯ =r + 1¯ + C ln ¯ − 2¯ + D ln ¯ − 1¯ + c, + B ln ¯ ¯ ¯ x−1 ¯ ¯ x−1 ¯ ¯ x−1 x−2 +1 x−1 c ∈ R. √
x2
¨ 1.5. Osszefoglal´ o feladatok Hat´arozzuk meg, hogy melyik halmazon l´etezik primit´ıv f¨ uggv´enye az al´abbi f¨ uggv´enyeknek, ´es hat´arozzuk meg a primit´ıv f¨ uggv´enyeiket! I. 1) 3) 5) 7) 9)
f (x) = x ln(x2 + 1) f (x) = (x3 + x + 1)e−x f (x) = x3 sin 3x f (x) = e2x cos2 x f (x) = x2 sinh x
11) f (x) = x arctg x cos2 x 13) f (x) = ex 15) f (x) = earccos x 17. f (x) = ln(x +
√
1 + x2 )
x3 1−x 1 3) f (x) = 2 x − 3x + 2
II. 1) f (x) =
2) f (x) = (x2 + x + 3)e2x 4) f (x) = x cos 2x 6) f (x) = e−x sin 2x 8) f (x) = sin(ln x) 10) f (x) = arccos(4x + 1) √ 12) f (x) = arctg 2x − 1 x−1 14) f (x) = x ln x+1 arcsin x √ x 16) f (x) = e · 1 − x2 1 18) f (x) = x ln x x −1 x5 4) f (x) = 3 x − 4x 2) f (x) =
x4
1. Egyv´altoz´ os f¨ uggv´enyek hat´arozatlan integr´alja
1 x3 − 1 2x2 7) f (x) = 4 x +1 x 9) f (x) = 2 2x + 3x + 1 1 11) f (x) = 2 x(x + 1)2 5) f (x) =
1 cos 2x 3) f (x) = sin2 x
III. 1) f (x) =
1 (x + 1)2 x 2x3 − 4x2 + x − 5 8) f (x) = (x − 1)(x2 + 4)2 x2 − 1 10) f (x) = 2 x +1 x7 + 1 12) f (x) = 2 x (x − 1)3 6) f (x) =
sin3 x cos x 4) f (x) = cos4 x 2) f (x) =
5) f (x) = sin3 2x
6) f (x) = sin2 2x cos3 2x
7) f (x) = sin3 x cos x 1 9) f (x) = sin x cos x 1 11) f (x) = 3 + tg x 1 13) f (x) = √ tg x sin 2x 15) f (x) = 1 + sin2 x
8) f (x) = sin4 x cos2 x 1 10) f (x) = 2 sin x − cos x + 5 1 − sin x 12) f (x) = 1 + cos x sin2 x cos x 14) f (x) = sin x + cos x 1 16) f (x) = 4 cos x sin2 x
ex 1 + e2x r x e −1 3) f (x) = ex + 1
e3x ex + 1 ex 4) f (x) = √ x e −1 √ x e +1 6) f (x) = e2x 2 2 8) sh x ch x 1 10) f (x) = sh x ch x √ 2) f (x) = x 3 x + 2 r x+1 4) f (x) = x−1 r x+1 6) f (x) = 3 2x − 1 x 8) f (x) = √ 4 − x2 x3 10) f (x) = √ 4 − x2 √ 2 12) f (x) = x 1 + x2 √ 14) f (x) = x3 x2 − 1
IV. 1) f (x) =
1 + e−x + 2 7) f (x) = sh3 x
5) f (x) =
ex
9) f (x) = ch4 x √ V. 1) f (x) = (x + 3) 2x + 1 x+2 3) f (x) = √ x+7 r x+2 5) f (x) = x x−2 √ 7) f (x) = x 1 − x2 √ 9) f (x) = x2 1 − x2 p 11) f (x) = (x + 3) (1 − x2 )3 13) f (x) = √
x2 x2 + 9
2) f (x) =
31
¨ 1.5. Osszefoglal´ o feladatok
32
1 √ x + x2 − 9 1 √ 17) f (x) = 2 1 + x + 2x + 2 1 √ 19) f (x) = x + x2 − x + 1 1+x 21) f (x) = √ −x2 + 4x + 5 15) f (x) =
x √ 1 + 4 + x2 1 √ 18) f (x) = (1 + x) 1 + x − x2 1 20) f (x) = 2 x − 3x + 2 16) f (x) =
2. Hat´arozott integr´al
33
2. Hat´arozott integr´al
2.1. G¨orb´ek ´altal hat´arolt s´ıkidomok ter¨ ulete Archim´edesz m´odszere a parabola alatti ter¨ ulet kisz´am´ıt´as´ara Feladat. Hat´ arozzuk meg az f (x) = x2 f¨ uggv´eny grafikus k´epe, az Ox tengely az x = 0, x = 1 egyenesek ´altal hat´arolt s´ıkidom ter¨ ulet´et. A ter¨ ulet meghat´aroz´asa ´erdek´eben osszuk fel a [0, 1] intervallumot n egyenl˝o r´eszre. A kapott oszt´opontok halmaz´at jel¨olj¨ uk τ -val: τ = {x0 = 0, x1 =
1 k n , . . . , xk = , . . . , xn = = 1}. n n n
3
4
PSfrag replacements O x y y = f (x) = x2 1 n 2 n
···
k−1 n k n
···
1
1
n−1 n2 = nn
(2.1 ´abra) A megadott oszt´opontokhoz tartoz´o ,,f grafikonj´aba be´ırt t´eglalapok” ter¨ ulet´enek
34
2.1. G¨orb´ek ´altal hat´arolt s´ıkidomok ter¨ ulete ...
¨osszege: sn (f, τ ) =
n−1 X k=1
n−1 n−1 1 k 2 X k2 1 X 2 k = .( ) = = n n n3 n3 k=1
k=1
1 (n − 1)n(2n − 1) (n − 1)(2n − 1) 1 = 3 = = n 6 6n2 6
µ ¶µ ¶ 1 1 1− 2− , n n
n¨ovekszik az oszt´opontok n sz´am´anak n¨ovel´es´evel. Az f grafikonja ,,k¨or´e ´ırt t´eglalapok” ter¨ ulet´enek ¨osszege: Sn (f, τ ) =
µ ¶2 X n n n X 1 X 2 k k2 1 · = = k = n n n3 n3
k=1
k=1
k=1
(n + 1)(2n + 1) 1 n(n + 1)(2n + 1) 1 = 3 = = 2 n 6 6n 6
µ ¶µ ¶ 1 1 1+ 2+ , n n
cs¨okken az oszt´opontok n sz´am´anak n¨ovel´es´evel. Ha nagyon sok oszt´opontot tekint¨ unk, akkor a ,,be´ırt” ´es ,,k¨or´e ´ırt t´eglalapok” ter¨ ulet´enek ¨osszege nagyon j´ol megk¨ozel´ıti (hi´annyal, illetve t¨obblettel) a kisz´am´ıtand´o ter¨ uletet. Vagyis a felvetett probl´em´ara v´alaszt kapunk, ha kisz´am´ıtjuk az sn vagy az Sn kifejez´eseinek a hat´ar´ert´ek´et mid˝on az n tart a v´egtelenbe. (n − 1)(2n − 1) = lim Sn (f, τ ) = n→∞ 6n2 1 (n + 1)(2n + 1) = = lim n→∞ 6n2 3
T = lim sn (f, τ ) = lim n→∞
n→∞
1. K´ erd´ es. Lehet-e a m´odszert ´altal´anos´ıtani b´armely f¨ uggv´enyre? Bizonyos f¨ uggv´enyoszt´alyok eset´en elm´eletben j´o a m´odszer, de gyakorlatban nem mindig siker¨ ul a sn ´es a Sn ¨osszegeket olyan (z´art) alakra hozni amely lehet˝ov´e teszi a hat´ar´ert´ek¨ uk n 1 P k kisz´am´ıt´as´at. P´eld´aul az f (x) = sinx, x ∈ [0, 1] eset´en Sn = sin fels¨o k¨ozel´ıt¨o n n k=1 ¨osszeg hat´ar´ert´ek´enek meghat´aroz´asa nem egyszer˝ u. x3 ´ f¨ uggv´eny primit´ıv f¨ uggv´enye Eszrev´ etel. A f (x) = x2 f¨ uggv´enynek a F = 3 (F 0 (x) = f (x) ∀x ∈ [0, 1]). Vegy¨ uk ´eszre azt az ´erdekes t´enyt, hogy F (1) − F (0) = 1/3 = T. Ennek alapj´an felmer¨ ul az a sejt´es, hogy a primit´ıv f¨ uggv´eny ,,megv´altoz´asa” megadja a g¨orbe alatti s´ıkr´esz ter¨ ulet´et bizonyos f¨ uggv´enyoszt´alyok eset´en. 2. K´ erd´ es. Milyen f¨ uggv´enyoszt´alyok eset´en igaz az, hogy a primit´ıv f¨ uggv´eny ,,megv´altoz´asa” megadja a g¨orbe alatti s´ıkr´esz ter¨ ulet´et ? A k¨ovetkez¨okben a fent megfogalmazott k´erd´esekre adjuk meg a v´alaszt. Megmutatjuk, hogy az f : [a, b] → R korl´atos f¨ uggv´enyek eset´en a bemutatott elj´ar´as ´altal´anos´ıt´asa a hat´arozott integr´al defin´ıci´oj´ahoz vezet. Az ´altal´anos´ıt´as ´erdek´eben az [a, b] intervallumot n nem felt´etlen¨ ul egyenl¨o r´eszre osztjuk. Az ´ıgy kapott oszt´opontok seg´ıts´eg´evel vezetj¨ uk be az [a, b] intervallum feloszt´as´anak fogalm´at. Az adott feloszt´ashoz tartoz´o ,,be´ırt” ´es ,,k¨or¨ ul´ırt” t´eglalapok ter¨ uleteinek ¨osszeg´evel defini´aljuk az sn ´es Sn als´o ill. fels¨o k¨ozel´ıt¨o ¨osszegeket. Megmutatjuk, hogy ha az f korl´atos az [a, b]n akkor a b´armely lehets´eges m´odon fel´ırt als´o k¨ozel´ıt¨o ¨osszegek halmaz´anak van
2. Hat´arozott integr´al
35
v´eges szupr´emuma ´es az ¨osszes lehets´eges m´odon fel´ırt fels¨o k¨ozel´ıt¨o ¨osszegek halmaz´anak van v´eges infimuma. Az olyan f¨ uggv´enyeket, amelyekre igaz az, hogy az als´o k¨ozel´ıt¨o ¨osszegek szupr´emuma egyenl¨o a fels¨o k¨ozel´ıt¨o ¨osszegek infimum´aval, az [a, b]-n hat´arozott integr´allal rendelkez¨o f¨ uggv´enyeknek, vagy egyszer˝ ubben [a, b]-n integr´alhat´o f¨ uggv´enyeknek fogjuk nevezni. A k´es¨obbiekben a m´asodik k´erd´esre is fogunk v´alaszolni. Nevezetesen, megmutatjuk, hogy azokra a f¨ uggv´enyekre, amelyek egyid¨oben integr´alhat´ok az [a, b]-n ´es van primit´ıv f¨ uggv´eny¨ uk igaz az, hogy az [a, b]-n vett hat´arozott integr´aljuk ´eppen a primit´ıv f¨ uggv´eny¨ uk [a, b]-n vett megv´altoz´as´aval lesz egyenl¨o. Ezt a nagyon fontos eredm´enyt a Newton-Leibniz t´etelnek nevezz¨ uk ´es a gyakorlatban ezt haszn´aljuk, ha valah´anyszor ki akarunk sz´am´ıtani egy hat´arozott integr´alt. S most t´erj¨ unk r´a a hat´arozott integr´al prec´ız defin´ıci´oj´ ara.
2.2 A hat´arozott integr´al fogalma 1. Defin´ıci´ o Legyen I = [a, b] egy z´art, v´eges intervallum. Az I intervallum a ´es b v´egpontjait tartalmaz´o v´eges r´eszhalmazait az I intervallum feloszt´ asainak nevezz¨ uk, amelyet ´altal´aban τ = {a = x0 < x1 < . . . xn−1 < xn = b} alakban ´ırunk. Az I feloszt´asainak halmaz´at F(I)-vel jel¨olj¨ uk. Ny´ılv´anval´o, hogy b´armely k´et τ1 , τ2 ∈ F(I) feloszt´asra τ1 ∪ τ2 ∈ F(I), τ1 ∩ τ2 ∈ F(I).
2. Defin´ıci´ o Legyen f : I → R egy korl´atos f¨ uggv´eny ´es τ := {x0 , x1 , . . . xn } ∈ F(I) az I intervallum egy feloszt´asa. Jel¨olj¨ uk mi = inf{f (x) : xi−1 ≤ x ≤ xi } Mi = sup{f (x) : xi−1 ≤ x ≤ xi } Az S(f, τ ) :=
n X (xi − xi−1 )Mi , i=1
ill. az s(f, τ ) :=
n X
(xi − xi−1 )mi ,
i=1
sz´ amot az f -nek a τ feloszt´ ashoz tartoz´ o fels˝ o, ill. als´ o k¨ ozel´ıt˝ o osszeg´ ¨ enek nevezz¨ uk.
36
2.2 A hat´arozott integr´al fogalma
3
PSfrag replacements 4 O x y y = f (x) a = x0 x1 x2 ··· xk−1 xk · · 2· xn−1 xn = b
1
(2.2 ´abra) Az f f¨ uggv´eny korl´atoss´ag´ab´ol k¨ovetkezik, hogy mi , Mi , (i = 1, n) v´eges sz´amok. K¨ovetkez´esk´eppen a S(f, τ ) ´es a s(f, τ ) is v´eges sz´amok Ha f (x) > 0, x ∈ I, akkor S(f, τ ) az ,,f grafikonja k¨or´e ´ırt” {(x, y) ∈ R2 : xi−1 ≤ x ≤ xi , 0 ≤ y ≤ Mi } t´eglalapok ter¨ ulet´enek ¨osszeg´et jelenti. A s(f, τ ) az ,,f grafikonj´aba be´ırt” {(x, y) ∈ R2 : xi−1 ≤ x ≤ xi , 0 ≤ y ≤ mi } t´eglalapok ter¨ ulet´enek ¨osszeg´evel egyenl˝o. Ha az f f¨ uggv´eny negat´ıv ´ert´eket is felvesz, akkor az mi ´es Mi sz´amok k¨oz¨ott lesznek negat´ıv sz´amok is. Ebben az esetben az s(f, τ ) ´es S(f, τ ) a be´ırt ´es k¨or¨ ul´ırt t´eglalapok egyes´ıt´es´evel ad´od´o halmaz el˝ ojeles ter¨ ulet´ enek nevezz¨ uk. Nyilv´anval´ o, hogy mi = inf{f (x) : xi−1 ≤ x ≤ xi } ≤ sup{f (x) : xi−1 ≤ x ≤ xi } = Mi (i = 1, 2, . . . n), k¨ovetkez´esk´eppen b´armely τ feloszt´as eset´en: (1)
s(f, τ ) :=
n X
(xi − xi−1 )mi ≤
i=1
n X
(xi − xi−1 )Mi =: S(f, τ ).
i=1
Azaz b´armely τ feloszt´ashoz tartoz´o als´o k¨ozel´ıt¨o ¨osszeg kisebb vagy egyenl¨o mint a τ feloszt´as´ahoz tartoz´o fels¨o k¨ozel´ıt¨o ¨osszeg.
1. T´etel. a) Ha τ1 , τ2 ∈ F(I) ´es τ1 ⊂ τ2 , akkor s(f, τ1 ) ≤ s(f, τ2 ),
S(f, τ1 ) ≥ S(f, τ2 ),
b) B´armely k´et τ1 , τ2 ∈ F(I) feloszt´asra s(f, τ1 ) ≤ S(f, τ2 ).
2. Hat´arozott integr´al
37
Ha τ1 ⊂ τ2 , akkor a τ2 t¨obb oszt´opontot tartalmaz. Ilyenkor azt mondjuk, hogy a τ2 feloszt´as a τ1 feloszt´as finom´ıt´asa. A t´etelt els¨o r´esz´et u ´gy is megfogalmazhatjuk, hogy a feloszt´ as finom´ıt´ as´ aval az als´ o k¨ ozel´ıt¨ o¨ osszegek nem cs¨ okkenek, a fels¨ o k¨ ozel´ıt¨ o¨ osszegek pedig nem n¨ onek, a m´ asodik r´ esz´ et pedig u ´ gy, hogy b´ armely als´ o k¨ ozel´ıt¨ o¨ osszeg kisebb vagy egyenl¨ o, mint b´ armely fels¨ o k¨ ozel´ıt¨ o¨ osszeg. ´ s. Az a) ´all´ıt´as igazol´as´ahoz tegy¨ Bizony´ıta uk fel el¨osz¨or, hogy τ2 csak eggyel t¨obb pontot tartalmaz mint τ1 , azaz legyen τ2 := τ1 ∪ {x0 }, ahol τ1 = {a = x0 < x1 < · · · < xi−1 < xi < . . . xn−1 < xn = b} ´es xi−1 < x0 < xi . Ekkor s(f, τ1 )-b˝ol az s(f, τ2 ) u ´gy ad´odik hogy az mi (xi − xi−1 ) tag helyett az m0 (x0 − xi−1 ) + m00 (xi − x0 ) ¨osszeget ´ırjuk,ahol m0 := inf {f (x) : xi−1 ≤ x ≤ x0 } ´es m00 = inf {f (x) : x0 ≤ x ≤ xi }. Mivel m0 , m00 ≥ inf {f (x) : xi−1 ≤ x ≤ xi } = mi , ez´ert mi (xi − xi−1 ) = mi (x0 − xi−1 ) + mi (xi − x0 ) ≤ m0 (x0 − xi−1 ) + m00 (xi − x0 ) s ´ıgy val´oban s(f, τ1 ) ≤ s(f, τ2 ). Felhaszn´alva a M 0 := sup{f (x) : xi−1 ≤ x ≤ x0 },
M 00 = sup{f (x) : x0 ≤ x ≤ xi } ≤ Mi
egyenl˝otlens´eget hasonl´oan ad´odik, hogy S(f, τ1 ) ≥ S(f, τ2 ). Az ´altal´anos esetben τ1 -hez τ2 -nek egy-egy (τ1 -ben nem szerepl˝o) pontj´at v´eve v´eges sok l´ep´esben megkapjuk a τ2 feloszt´ast. Mivel a most igazoltak alapj´an minden egyes l´ep´esben s(f, τ1 ) nem cs¨okken, S(f, τ2 ) pedig nem n˝o, ez´ert val´oban fenn´allnak a bizony´ıtand´o s(f, τ1 ) ≤ S(f, τ2 ), S(f, τ1 ) ≥ S(f, τ2 ) egyenl˝otlens´egek. A b) ´all´ıt´ ast felhaszn´alva a most igazolt ´all´ıt´ast ´es az (1) egyenl˝otlens´eget, a k¨ovetkez˝ok´eppen bizony´ıthat´o: (2)
s(f, τ1 ) ≤ s(f, τ1 ∪ τ2 ) ≤ S(f, τ1 ∪ τ2 ) ≤ S(f, τ2 )
A (2) egyenl˝ otlens´eg alapj´an nyilv´anval´o, hogy b´ armely korl´ atos f : I → R f¨ uggv´ enyre a {s(f, τ ) : τ ∈ F(I)} sz´ amhalmaz fel¨ ulr˝ ol, a {S(f, τ ) : τ ∈ F(I)} sz´ amhalmaz pedig alulr´ ol korl´ atos, teh´ at a sup{s(f, τ ), τ ∈ F (I)} ´ es inf{S(f, τ ), τ ∈ F(I)} l´ eteznek ´ es v´ egesek.
38
2.2 A hat´arozott integr´al fogalma
3. Defin´ıci´ o. Az I∗ (f ) := sup{s(f, τ ) : τ ∈ F(I)} sz´amot az f (Darboux f´ ele) als´ o integr´ alj´ anak, az I ∗ (f ) := inf{S(f, τ ) : τ ∈ F(I)} sz´amot az f Darboux-f´ ele fels˝ o integr´ alj´ anak nevezz¨ uk. Azt mondjuk, hogy az f : I → R korl´atos f¨ uggv´eny (Riemann)integr´ alhat´ o (l´etezik az [a, b]-n a hat´arozott integr´alja), ha I∗ (f ) = I ∗ (f ). A k¨oz¨os I∗ (f ) = I ∗ (f ) sz´amot az f f¨ uggv´eny Riemannintegr´ alj´ anak (r¨oviden integr´alj´anak) nevezz¨ uk, ´es az al´abbi szimb´olumok valamelyik´evel jel¨olj¨ uk: Z
Z
b
b
f,
I(f ),
f (x)dx.
a
a
Az [a, b] intervallumon Riemann-integr´alhat´o f¨ uggv´enyek halmaz´at R[a, b]-vel jel¨olj¨ uk. A fenti ´ertelmez´esb˝ol a (2)-es alapj´an k¨ovetkezik, hogy: I∗ (f ) ≤ I ∗ (f ). Figyelembe v´eve a S(f, τ ) ´es s(f, τ ) geometriai jelent´es´et k´ezenfekv˝o az all´abbi:
4. Defin´ıci´ o. Azt mondjuk, hogy az F : [a, b] → R+ f¨ uggv´eny eset´en a H := {(x, y) ∈ R2 : a ≤ x ≤ b, 0 ≤ y ≤ f (x)} halmaznak ( az f : [a, b] → R f¨ uggv´eny grafikonja alatti tartom´anynak vagy szubgrafikonj´anak) van ter¨ ulete, ha f integr´alhat´o ´es akkor az Rb f sz´ a mot a H halmaz ter¨ u let´ e nek nevezz¨ uk: a Z
b
T (H) :=
f (x)dx. a
Az f : [a, b] → R− f¨ uggv´eny eset´en a K := {(x, y) ∈ R2 : a ≤ x ≤ b,
f (x) ≤ y ≤ 0}
halmaznak akkor van ter¨ ulete, ha f integr´alhat´o ´es Z
b
T (K) := −
f (x)dx. a
A k¨ovetkez¨ okben kisz´am´ıtjuk a defin´ıci´o alapj´an n´eh´any egyszer˝ u f¨ uggv´eny [a, b]-n vett hat´arozott integr´alj´at, ha l´etezik.
2. Hat´arozott integr´al
39
3 4
PSfrag replacements 8 O x y y = f (x) H 2 a b Rb T (H) = a f (x)dx
5
1
(2.3 ´abra)
2.3. M˝ uveletek integr´alhat´o f¨ uggv´enyekkel K´et f¨ uggv´eny ¨osszeg´enek ´es egy f¨ uggv´eny sz´amszoros´anak integr´alhat´os´ag´ara vonatkozik az al´abbi t´etel.
4. T´etel.
Tegy¨ uk fel, hogy az f, g : [a, b] → R, f¨ uggv´enyek integr´alhat´ok ´es legyen λ ∈ R. Ekkor f + g ´es λf is integr´alhat´o ´es Z
Z
b
(f + g) = a
Z
b
a
Z
b
f+
g, a
Z
b
b
(λf ) = λ a
f. a
6. T´etel. (Intervallum szerinti additivit´as.) Legyen a < b < c ´es f : [a, c] → R egy korl´atos f¨ uggv´eny. Az f f¨ uggv´eny akkor ´es csak akkor integr´ alhat´o, [a, c]-n ha f -nek az f1 := f |[a,b] , f2 := f |[b,c] lesz˝ uk´ıt´esei integr´ alhat´ok ´es Z c Z b Z c f= f+ f. a
A t´etel bizony´ıt´as´at l´asd [1]-ben.
a
b
40
2.3. M˝ uveletek integr´alhat´o f¨ uggv´enyekkel
3
4 PSfrag replacements O x y y = f (x) 8 9 a b c Rb T1 = a f (x)dx 1 2 Rc T2 = b f (x)dx Rc Rb Rc T = T1 + T2 ⇔ a f (x)dx = a f (x)dx + b f (x)dx
(2.6 ´abra)
A tov´abbiakban az [a, c] intervallumon integr´ alhat´ o f¨ uggv´ enyek halmaz´ at jel¨ olj¨ uk R[a, c]-vel, az f ∈ R[a, c] f¨ uggv´eny valamely [α, β] ⊂ [a, c] intervallumra Rβ vonatkoz´ o f[α,β] lesz˝ uk´ıt´es´enek integr´alja legyen az α f . Rb Rb Az a f jel¨ol´es haszn´alat´an´al eddig feltett¨ uk, hogy a < b. Az a f szimbolumnak a = b ´es a > b eset´en is c´elszer˝ u ´ertelmet tulajdon´ıtani. Erre vonatkozik az al´abbi
8. Defin´ıci´ o. Legyen
Ra a
f := 0 ´es, ha f ∈ R[b, a]
Rb
f := −
a
Ra b
f, a > b.
7. T´etel. Legyen a < b ´es f, g ∈ R[a, b]. Ha f (x) ≤ g(x), x ∈ [a, b], akkor
Z
Z
b
f≤ a
b
g. a
Mivel tetsz˝oleges f ∈ R[a, b] f¨ uggv´enyre −|f (x)| ≤ f (x) ≤ |f (x)|, ez´ert a most bizony´ıtott egyenl˝otlens´eg alapj´an kapjuk, hogy Z −
Z
b
|f (x)|dx ≤ a
Z
b
b
f (x)dx ≤ a
|f (x)|dx, a
ha a < b. Innen ad´odik az al´abbi
K¨ ovetkezm´eny. Tetsz˝oleges f ∈ R[a, b] f¨uggv´enyre (a < b eset´en) ¯Z ¯ ¯ b ¯ Z b ¯ ¯ f¯ ≤ |f |. ¯ ¯ a ¯ a
2. Hat´arozott integr´al
41
3
4
PSfrag replacements O x 9 y 10 y = f (x) a b c M2 f (ξ) m Rb T = a f (x)dx = f (ξ)(b − a), Rb m(b − a) ≤ a f (x)dx ≤ M (b − a)
8
1
(2.7 ´abra)
1. K¨ovetkezm´eny Legyen f ∈ C[a, b] ´es m = min{f (x) : x ∈ [a, b]}, M = max{f (x) : x ∈ [a, b]} ´es a < b, akkor Rb a) m(b − a) ≤ f (x)dx ≤ (b − a)M , a
b) valamint l´etezik olyan ξ ∈ [a, b] u ´gy, hogy Zb f (x)dx = f (ξ) · (b − a) a
2.4. Integr´alhat´o f¨ uggv´enyek 9. T´etel Ha f : [a, b] → R folytonos f¨uggv´eny, akkor integr´alhat´o. 10. T´etel. Ha f : [a, b] → R monoton, akkor integr´alhat´o.
2.5. Newton-Leibniz-formula Az el˝oz˝o paragrafusban bemutatott k´et p´elda j´ol mutatja, hogy k¨ozvetlen¨ ul a defin´ıci´o
42
2.5. Newton-Leibniz-formula
alapj´an az integr´al kisz´am´ıt´asa a legegyszer˝ ubb f¨ uggv´enyek eset´en is hosszadalmas ´es bonyolult feladat. Az al´abbi t´etel alapj´an, ismerve az integr´alhat´o f¨ uggv´eny egy primit´ıv f¨ uggv´eny´et, az integr´al egyszer˝ uen meghat´arozhat´o.
T´etel 12. (Newton-Leibniz-formula): Ha az f [a, b] → R f¨uggv´eny integr´ alhat´o ´es f -nek l´etezik F primit´ıv f¨ uggv´enye, akkor Z
b
f = F (b) − F (a). a
´ s. Bizony´ıta Legyen τ = {x0 , x1 , . . . , xn } az [a, b] intervallum egy feloszt´asa. Lagrange-f´ele k¨oz´ep´ert´ekt´etel szerint van olyan ξi ∈ (xi−1 , xi ) pont, hogy
A
F (xi ) − F (xi−1 ) = F 0 (ξi )(xi − xi−1 ) = f (ξi )(xi − xi−1 ) (i = 1, 2, . . . , n). Innen az F (b) − F (a) sz´amra a k¨ovetkez˝ot kapjuk: F (b) − F (a) =
n X
(F (xi ) − F (xi−1 )) =
i=1
n X
f (ξi )(xi − xi−1 ).
i=1
Mivel inf{f (x) : x ∈ [xi−1 , xi ]} ≤ f (ξi ) ≤ sup{f (x) : x ∈ [xi−1 , xi ]}, ez´ert s(f, τ ) ≤ F (b) − F (a) ≤ S(f, τ ). Felhaszn´alva ez ut´obbi egyenl˝otlens´eget, ´es azt a t´enyt, hogy f integr´alhat´o [a, b]-n I(f ) = sup{s(f, τ ) : τ ∈ F[a, b]} ≤ F (b) − F (a) ≤ inf{S(f, τ ) : τ ∈ F[a, b]} = I(f ) Rb azaz val´oban a f = F (b) − F (a). Ezzel az ´all´ıt´asunkat igazoltuk. A tov´abbiakban t¨obbsz¨or haszn´alni fogjuk a
¥
[F (x)]ba := F (b) − F (a) jel¨ol´est. A Newton-Leibniz-f´ele formul´ab´ol egyszer˝ uen k¨ovetkezik a hat´arozott integr´alra vonatkoz´o u ´n. parci´alis integr´al´ asi szab´aly.
2. K¨ovetkezm´eny:(Parci´alis integr´al´as) Ha az f : [a, b] → R, g : [a, b] → R f¨ uggv´enyek differenci´alhat´ok ´es f 0 , g 0 ∈ R[a, b], akkor Z
b
(6)
Z f g 0 = f (b)g(b) − f (a)g(a) −
b
f 0 g.
a
a
´ s. Mivel (f g)0 = f 0 g + f g 0 ´es a felt´etelek alapj´an f 0 g + f g 0 ∈ R[a, b], ez´ert az Bizony´ıta f g f¨ uggv´enyre alkalmazhat´o a Newton-Leibniz-f´ele formula, k¨ovetkez´esk´eppen Z f (b)g(b) − f (a)g(a) = a
b
Z
b
(f g)0 = a
Z
b
(f 0 g + f g 0 ) = a
Z f 0g + a
b
f g0 .
2. Hat´arozott integr´al
43
Innen azonnal ad´odik a (6) egyenl˝os´eg. ¥ Az el˝oz˝o t´etel alapj´an egyszer˝ uen ad´odik a hat´arozott integr´alra vonatkoz´o u ´n. helyettes´ıt´ esi t´ etel:
14. T´etel. (Helyettes´ıt´esi t´etel) Legyen f ∈ C[a, b] ´es ϕ : [α, β] → [a, b] egy folytonosan differenci´alhat´o f¨ uggv´eny. Ekkor Z
Z
ϕ(β)
β
f= ϕ(α)
(f ◦ ϕ)ϕ0
α
´ s. Mivel f , (f ◦ ϕ)ϕ0 folytonos f¨ Bizony´ıta uggv´enyek, a 13. T´etel alapj´an az Z t Z x F (x) := f (y)dy, x ∈ (a, b) G(t) := ((f ◦ ϕ)(y))ϕ0 (y)dy t ∈ [α, β] ϕ(α)
α
utas´ıt´assal ´ertelmezett f¨ uggv´enyek differenci´alhat´ok ´es F 0 = f,
(7)
G0 = (f ◦ ϕ)ϕ0 .
Megmutatjuk,hogy F (ϕ(t)) = G(t)∀t ∈ [α, β], ahonnan t = β eset´en a bizony´ıtand´o ´all´ıt´ast kapjuk. A k¨ozvetett f¨ uggv´eny differenci´al´asi szab´aly´at felhaszn´alva a (7) alapj´an nyilv´anval´o, hogy (F ◦ ϕ)0 = (F 0 ◦ ϕ)ϕ0 = (f ◦ ϕ)ϕ0 = G0 K¨ovetkez´esk´eppen F ◦ ϕ − G ´alland´o. Mivel az F ´es G ´ertelmez´ese szerint Z ϕ(α) Z α F (ϕ(α)) = f =0= (f ◦ ϕ)ϕ0 = G(α), ϕ(α)
α
ez´ert val´oban F ◦ ϕ − G = 0. A helyettes´ıt´esi t´etelb˝ol k¨ovetkezik a k¨ovetkez˝o k´et ´all´ıt´as.
1. K¨ovetkezm´eny:
Legyen f : [−a, a] → R p´aros, integr´alhat´o f¨ uggv´eny az [−a, a] intervallumon. Ekkor Z
Z
a
f (x)dx = 2 −a
a
f (x)dx. 0
3 4
PSfrag replacements O x y f (−x) = f (x) : , ∀x ∈ [a, a] −a 1 2 6 a R0 Ra Ra Ra f (x)dx = f (x)dx ⇒ f (x)dx = 2 f (x)dx −a 0 −a 0
¥
44
2.5. Newton-Leibniz-formula
(2.9 ´abra) R0 ´ s. Az −a Bizony´ıta f (x)dx integr´alt az x = ϕ(t) = −t, t ∈ [−a, 0] v´altoz´ocser´evel alak´ıtjuk ´at. Figyelembe v´eve, hogy f (−t) = f (t), majd az integr´al´asi hat´arok felcser´el´es´evel kapjuk, hogy Z 0 Z 0 Z a Z a f (x)dx = f (−t)(−1)dt = f (t)dt = f (x)dx. −a
a
0
0
Felhaszn´alva az integr´al intervallum szerinti additivit´as´at Z a Z 0 Z a Z f (x)dx = f (x)dx + f (x)dx = 2 −a
−a
0
a
f (x)dx. 0
¥
2. K¨ovetkezm´eny: Legyen f : [−a, a] → R p´aratlan integr´alhat´o f¨ uggv´eny az [−a, a] intervallumon, akkor Z
a
f (x)dx = 0. −a
y
int1
T2 −a a x PSfrag replacements x y −a int2 a −T1 T1 Z
T1
0
−T1 =
f (x)dx Z−aa
T1 =
f (x)dx 0
(2.10 ´abra) R0 ´ s. Az −a Bizony´ıta f (x)dx integr´alt az x = ϕ(t) = −t, t ∈ [−a, 0] v´altoz´ocser´evel alak´ıtjuk ´at, figyelembe v´eve, hogy f (−t) = −f (t), majd az integr´al´asi hat´arok
2. Hat´arozott integr´al
45
felcser´el´es´evel kapjuk, hogy Z
Z
0
Z
0
f (x)dx =
f (−t)(−1)dt = −
−a
a
Z
a
a
f (t)dt = − 0
f (x)dx. 0
Felhaszn´alva az integr´al intervallum szerinti additivit´as´at Z
Z
a
Z
0
f (x)dx = −a
Z
a
f (x)dx +
f (x)dx = −
−a
Z
a
a
f (x)dx +
0
0
f (x)dx = 0. 0
¥
2.6. Megoldott feledatok 2.6.1. Egyszer˝ u feladatok a Newton–Leibniz formula alkalmaz´as´ara Sz´am´ıtsuk ki a k¨ovetkez˝o hat´arozott integr´alokat: 1. · 3 ¸5 Z 5 x 53 13 124 2 x dx = = − = 3 3 3 3 1 1 2.
Z
27 8
3.
1 √ dx = 3 x Z
1
0
Z
27
·
− 13
x 8
2 2 dx = x3 3
¸27 = 8
2 10 [9 − 4] = . 3 3
1 2 1 dx = [ln |x − 3|]0 = ln 2 − ln 3 = ln . x−3 3
4. Z
π 3
Z
π 3
tgxdx =
π 4
π 4
√
sin x dx = cos x
Z
π 3 π 4
π −(cos x)0 dx = − [ln | cos x|] π3 = 4 cos x
√ 2 1 − ln = ln 2. 2 2
= ln
2.6.2. Parci´alis integr´al´assal kisz´am´ıthat´ o hat´arozott integr´alok Ha f, g : [a, b] → R differenci´alhat´ok ´es f 0 , g 0 ∈ R[a, b] akkor Z
b
Z
b
0
f g = f (b)g(b) − f (a)g(a) − a
a
f 0 g.
46
2.6.3. Hat´arozott integr´al kisz´am´ıt´asa helyettes´ıt´essel
1. Z
Z
2
Z
2
x
x 0
xe dx =
x(e ) dx =
0
0
2 [xex ]0
2
− 0
2
ex dx = 2e2 − [ex ]0 = 2e2 − e2 + 1 = e2 − 1
2. Z
e
Z
e
3
x ln xdx = 1
1 4
µ
x4 4
¶0
·
x4 ln xdx = ln x 4
¸e
Z
e
− 1
1
· 4 ¸e x4 1 e4 x dx = − = 4 x 4 16 1
e e4 1 3e4 1 = − + = + 4 16 16 16 16 3.
Z
1
|arctgx|dx −1
Mivel az integr´aljel alatt abszol´ ut´ert´ek van, ez´ert el˝osz¨or felbontjuk az abszol´ ut ´ert´eket. Felhaszn´alva az integr´al intervallum szerinti additiv´ıt´as´at a k¨ovetkez˝ot kapjuk: Z
Z
1
Z
0
|arctgx|dx = −1
Z
|arctgx|dx + −1
0
=−
|arctgx|dx = 0
Z
1
(x)0 arctgxdx +
−1
1
(x)0 arctgxdx =
0
Z 1 1 1 1 dx + [xarctgx]0 − x dx = = + x 2 1 + x 1 + x2 0 −1 Z Z 1 0 (1 + x2 )0 1 1 (1 + x2 )0 = −arctg(−1) + dx + arctg1 − dx = 2 −1 1 + x2 2 0 1 + x2 · ¸0 · ¸1 π 1 1 π 2 2 = + ln(1 + x ) − ln(1 + x ) = − ln 2 2 2 2 2 −1 0 Z
0 − [xarctgx]−1
0
4.
Z
π
x2 cos xdx
−π
Mivel az integrandus p´aros f¨ uggv´eny ´es a [−π, π]-n integr´alunk, ez´ert Z
π
−π
Z
Z π x2 cos xdx = 2 x2 (sin x)0 dx = 0 0 Z π Z π = 2[x2 sin x]π0 − 4 x sin xdx = 4 x(cos x)0 dx = 0 0 Z π cos x = −4π − 4[sin x]π0 = −4π = 4[x cos x]π0 − 4
x2 cos xdx = 2
π
0
5.
Z
π
x4 sin xdx
−π
Mivel az integrandus p´aratlan f¨ uggv´eny ´es a [−π, π]-n integr´alunk, ez´ert an´elk¨ ul, hogy a parci´alis integr´al´ast egym´as ut´an n´egyszer alkalmazn´ank, a 2. k¨ovetkezm´eny alapj´an k¨ovetkezik, hogy az integr´al ´ert´eke 0.
2. Hat´arozott integr´al
47
2.6.3. Hat´arozott integr´al kisz´am´ıt´asa helyettes´ıt´essel Amikor a hat´arozatlan integr´ alban nem az alapintegr´alok valamelyike szerepel az egyik leghat´ekonyabb m´odszer az integr´al kisz´am´ıt´ as´ara az integr´al´as helyettes´ıt´essel. Gyakran a bonyolult integrandust Z β f (ϕ(t))ϕ0 (t)dt α
alakban lehet fel´ırni. Ha az f ´es ϕ eleget tesz a T´etel 14 felt´eteleinek, akkor a fenti integr´al: Z ϕ(β) f (x)dx. ϕ(α)
Form´alisan: jel¨olj¨ uk x = ϕ(t)-vel, dx = ϕ0 (t)dt, az u ´j hat´arok pedig ϕ(α) ´es ϕ(β) lesznek. Megtehetj¨ uk azt is, hogy a hat´arok figyelembev´etele n´elk¨ ul helyettes´ıt´essel kisz´am´ıtjuk az integrandus hat´arozatlan integr´alj´at, majd az eredm´enyt visszaalak´ıtjuk az eredeti v´altoz´o f¨ uggv´eny´ev´e ´es az eredeti hat´arokat helyettes´ıtj¨ uk be. Azonban ez ut´obbi elj´ar´as hosszadalmasabb. P´ eld´ ak: R e2 1. Sz´am´ıtsuk ki az e
1 dt integr´alt. t ln t Tekints¨ uk a ϕ(t) = ln t, ϕ : [e, e2 ] → [1, 2], folytonosan differenci´alhat´o f¨ uggv´enyt. 1 ´ Kisz´am´ıtva a deriv´altj´at ϕ0 (t) = . Eszrevessz¨ uk, hogy az integr´aljel alatti kifejez´es t 1 ϕ0 (t) · alakba ´ırhat´o. ϕ(t) ¸ · 1 1 , 1 , f (x) = akkor, az integr´aljel alatti kifejez´es az Ha tekintj¨ uk az f : [1, 2] → 2 x 1 0 0 f (t) · = ϕ (t)f (ϕ(t)) alakra hozhat´o. ϕ(t) Mivel az f folytonos, ϕ folytonosan differenci´alhat´o, teh´at, ez´ert Z
e2 e
1 dt = t ln t
Z
e2
ϕ(e2 )
ϕ (t)f (ϕ(t))dt = Z
e
1
f (x)dx = ϕ(e)
2
= R
Z 0
1 dx = [ln x]21 = ln 2. x
sin 2t dt. 1 + sin2 t h πi Tekints¨ uk a ϕ(t) = 1 + sin2 t, ϕ : 0, → [1, 2], ϕ0 (t) = 2 sin t cos t = sin 2t. Igy az 2 integr´aljel alatti kifejez´est a k¨ovetkez˝o alakban ´ırhatjuk
2. Sz´am´ıtsuk ki
π 2
0
ϕ0 (t) sin 2t ϕ = = ϕ0 (t) · . 2 ϕ(t) ϕ(t) 1 + sin t Legyen f (x) =
1 , x ∈ [1, 2]. x
48
3.1. S´ıkidomok ter¨ ulete
Mivel a ϕ ´es f f¨ uggv´enyek eleget tesznek a 14-es T´etel k¨ovetelm´enyeinek, ez´ert Z π2 Z π2 Z π2 sin 2t 1 0 ϕ (t) ϕ0 (t)f (ϕ(t))dt = dt = dt = ϕ(t) 1 + sin2 t 0 0 0 Z ϕ( π2 ) Z 2 1 = f (x)dx = dx = [ln x]21 = ln 2. x f (0) 1 R4p √ 5. Sz´am´ıtsuk ki 1 1 + xdx. p √ Legyen f (x) = 1 + x, x ∈ [1, 4] ´es tekints¨ uk a ϕ1 : [1, 2] → [1, 4], ϕ1 (t) = t2 , folytonosan differenci´alhat´o f¨ uggv´enyt. Ekkor Z 4q Z ϕ1 (2) Z 2 √ 1 + xdx = f (x)dx = f (ϕ1 (t))ϕ01 (t)dt = 1
Z =
ϕ1 (1) 2√
1
1 + t · 2tdt.
1
Ez ut´obbi integr´al kisz´am´ıt´asa egyszer˝ ubb, ha az 1 + t = u, ϕ2 : [2, 3] → [1, 2], ϕ2 (u) = u − 1 = t, ϕ02 (u) = 1 helyettes´ıt´est alkalmazzuk Z ϕ2 (3) Z 3 Z 2 √ √ √ 1 + t · 2tdt = 1 + t · 2tdt = u · 2(u − 1)du = ϕ2 (2)
1
·
=2
2 5 2 3 u2 − u2 5 3
2
¸3 = 2
√ 8 √ (6 3 − 2). 15
Nagyon sok esetben csak form´alisan ´ırjuk le a v´altoz´ocsere l´ep´eseit, p´eld´aul az el˝oz˝o integr´al eset´ √ eben ez ´ıgy n´ezne ki: – Jel¨olj¨ uk x = t, ha x ∈ [1, 4] akkor t ∈ [1, 2], x = t2 , akkor dx = 2t · dt, ´ıgy Z 2 Z 4q √ √ 1 + xdx = 1 + t · 2tdt. 1
1
– Jel¨olj¨ uk 1 + t = u, ha t ∈ [1, 2] akkor u ∈ [2, 3], t = u − 1, dt = du Z 2 Z 3 √ √ 1 + t · 2tdt = u · 2(u − 1)du. 1
2
A k´et egym´asut´ani v´altoz´o cser´et egy l´ep´esben is elv´egezhett¨ uk volna az y = helyettes´ıt´essel. Ennek elv´egz´es´et az olvas´ ora b´ızzuk.
3. Az integr´alsz´am´ıt´as alkalmaz´asai
3.1. S´ıkidomok ter¨ ulete
p
1+
√
x
3. Az integr´alsz´am´ıt´as alkalmaz´ asai
49
Az integr´al defin´ıci´oj´aban szerepl˝o fogalmak bevezet´ese sor´an kit´ert¨ unk ezek geometriai jelent´es´ere. Az f : [a, b] → R+ integr´ alhat´ o f¨ uggv´ eny ,,grafikonja alatti tartom´anya” (szubgrafikonja), a H := {(x, y) ∈ R2 : a ≤ x ≤ b, 0 ≤ y ≤ f (x)} ⊂ R2 halmaz, amelynek a ter¨ ulet´et a
Z
b
T (H) :=
f a
integr´allal ´ertelmezt¨ uk. 3 4
PSfrag replacements 8 O x y y = f (x) H 2 a b Rb T (H) = a f (x)dx
5
1
(3.1 ´abra)
Megjegyz´esek 1. Ha az f (x) nem pozit´ıv az [a, b]-intervallumon b´ armely pontj´ aban, akkor a grafikus k´ ep az x = a, x=b´ es az Ox ´ altal hat´ arolt s´ıkr´ esz ter¨ ulete (l´ asd az ´ abra)
3 4
PSfrag replacements O 2x y y = f (x) a b Rb T (H) = a |f (x)| dx
5 1
(3.2 ´ abra) Z
b
T (H) :=
|f (x)|dx. a
50
3.4. G¨orbe ´ıvhossza.
2. Ha f, g ∈ R[a, b] k´ et olyan f¨ uggv´ eny, amelyek teljes´ıtik az f (x) ≤ g(x), ∀x ∈ [a, b] felt´ etelt, akkor az U := {(x, y) ∈ R2 : a ≤ x ≤ b, f (x) ≤ y ≤ g(x)} halmaz (az f ´ es g k¨ oz¨ otti s´ıkr´ esz) ter¨ ulet´ et az al´ abbi utas´ıt´ assal ´ ertelmezz¨ uk Z b Z b Z b g− f. (g − f ) = T (U ) := a
a
a
3 4 5
8
1
PSfrag replacements O x y y = g(x) y = f (x) 2a b U Rb T (U ) = a (g(x) − f (x)) dx
(3.3 ´ abra)
3.4. G¨orbe ´ıvhossza. T´etel. Legyen Γ egy f : [α, β] → R folytonosan differenci´alhat´o f¨ uggv´eny grafikonja. Ekkor a Γ grafikusk´ep ´ıvhossza: Z
β
`(Γ) =
p 1 + (f 0 (t))2 dt
α
P´ eld´ ak: 1. Sz´am´ıtsuk ki az r sugar´ u k¨or hossz´at! √ Az r sugar´ u, orig´o k¨ozpont´ u k¨or egyenlete: x2 +y 2 = r2 , innen y = f (x) = ± r2 − x2 , ` Rrp x ∈ [0; r] az els¨o negyedben l´ev¨o negyed k¨or, melynek hossza: = 0 1 + [f 0 (x)]2 dx, 4 −x 0 √ ahol f (x) = , ´ıgy r 2 − x2 s s Z r Z r Z r x2 r2 dx √ `=4 1+ 2 dx = 4 dx = 4r dx = 2 2 2 2 r −x r −x r − x2 0 0 0 h π x ir = 4r[arcsin 1 − arcsin 0] = 4r · = 2πr. = 4r arcsin r 0 2
3. Az integr´alsz´am´ıt´as alkalmaz´ asai
51
Teh´at az r sugar´ u k¨or ker¨ ulet´enek hossza ` = 2πr.
3.6. Forg´astest t´erfogata. Legyen f : [a, b] → R folytonos f¨ uggv´ eny ´es tegy¨ uk fel, hogy f (x) ≥ 0, x ∈ [a, b]. 3
PSfrag replacements 2 O x y a = x0 x1 xi−1 xi xn = b
1
(3.18 ´abra) Az f grafikonja Ox tengely k¨or¨ uli forgat´as´aval ad´od´o H := {(x, y, z) ∈ R3 : a ≤ x ≤ b, y 2 + z 2 ≤ f 2 (x)} forg´astest t´erfogat´anak defin´ıci´oj´ahoz tekints¨ uk az [a, b] egy τ := {x0 , x1 , . . . , xn } feloszt´as´at ´es vezess¨ uk be az Mi := max{f (x) : xi−1 ≤ x ≤ xi }
mi := min{f (x) : xi−1 ≤ x ≤ xi }
Hi = {(x, y, z) ∈ R3 : xi−1 ≤ x ≤ xi , y 2 + z 2 ≤ Mi2 } hi = {(x, y, z) ∈ R3 : xi−1 ≤ x ≤ xi , y 2 + z 2 ≤ m2i } jel¨ol´eseket. Ekkor a Hi ´es hi hengerek egyes´ıt´es´eb˝ol ad´od´o halmazokra fenn´all ∪ni=1 Hi ⊃ H ⊃ ∪ni=1 hi , ´es a sz´oban forg´o hengerek t´erfogat´anak ¨osszege a πf 2 f¨ uggv´eny τ feloszt´ashoz tartoz´o fels¨o iletve als¨o k¨ozel´ıt¨o ¨osszege, azaz: n X i=1
πMi2 (xi − xi−1 ) = S(πf 2 , τ ),
n X i=1
πm2i (xi − xi−1 ) = s(πf 2 , τ ).
52
3.6. Forg´astest t´erfogata.
Rb Mivel πf 2 ∈ C[a, b] ez´ert az a πf 2 az egyetlen olyan sz´am, amely minden τ ∈ F [a, b] eset´en a s(πf 2 , τ ) ´es S(πf 2 , τ ) k¨oz´e esik. Ezek alapj´an k´ezenfekv˝o a k¨ovetkez˝o definici´o
6. Defin´ıci´ o Legyen f : [a, b] → R folytonos f¨ uggv´eny ´es tegy¨ uk fel, hogy f (x) ≥ 0, x ∈ [a, b]. Az f grafikonja Ox tengely k¨or¨ uli forgat´as´aval ad´od´o H := {(x, y, z) ∈ R3 : a ≤ x ≤ b, y 2 + z 2 ≤ f 2 (x)} forg´astest t´erfogata definici´o szerint Z
b
V (H) := π
f 2.
a
A k´eplet ´erv´enyes akkor is, amikor f az [a, b]-n negat´ıv ´ert´ekeket is felvesz. P´ eld´ ak: 1. Hat´arozzuk meg az R sugar´ u g¨omb t´erfogat´at. 3
4
1
2 PSfrag replacements O x y √ y = R2 − x2 R −R R −R
(3.19 ´abra) √ Az f (x) := R2 − x2 (−R ≤ x ≤ R) f¨ uggv´eny grafikonj´anak Ox tengely k¨or¨ uli forgat´as´aval megkapjuk a (0, 0, 0) k¨oz´eppont´ u R sugar´ u g¨omb¨ot. E g¨omb t´erfogata: Z
R
π −R
(R2 − x2 )dx = π[R2 x − x3 /3]R −R =
4R3 π . 3
3. Az integr´alsz´am´ıt´as alkalmaz´ asai
53
y2 x2 + = 1 egyenlet˝ u ellipszis x tengely k¨or¨ uli forgat´as´ab´ol a2 b2 sz´armaz´ o forg´astest (FORG´aS-ELLIPSZOID) t´erfogat´at. 3
2. Hat´arozzuk meg az
1
PSfrag replacements O2 x y a −a −b b
(3.20 ´abra) V =π
Ra −a
f 2 (x)dx, ahol f (x) = y =
b√ 2 a − x2 . a
· ¸a b2 2 πb2 2 x3 2 V =π (a − x )dx = 2 a x − = 2 a 3 −a −a a µ ¶ a3 a3 4π 2 πb2 + a3 − = ab . = 2 a3 − a 3 3 3 Z
a
¨ 3.8. Osszefoglal´ o feladatok
54
¨ 3.8. Osszefoglal´ o feladatok I. Sz´am´ıtsuk ki a k¨ovetkez˝o hat´arozott integr´alokat: 1.
Rπ
sin3 xdx
Rπ
cos4 xdx
4.
−π
Rπ
5.
x3 cos xdx
6.
R1 −1
11.
R3 2
13.
Re
R1 √
8.
17.
0
1 dx ex + ex
10.
x+1 dx 2 9x + 6x + 2
12.
√
1 dx 5 + 4x − x2
ln R 2√
ex − 1dx
0
2
x ln(1 + x)dx
14.
3π 4
R
ln(1 + ctg x)dx
π 4
16.
ex max{1, x2 }dx
18.
0
19.
R4 1
R1 3x + 1 √ dx x2 + 1 0 R2
4 − x2 dx
R3 √ x x2 + 3dx
0
15.
x sin2 xdx
0
R1 x + 1 √ dx 1 + x2 0
9.
Rπ 0
−π
7.
sin5 xdx
−π
0
3.
Rπ
2.
R1 −1
R1 x + 1 √ dx 4 − x2 0 R2
µ min x,
0
½ f (x)dx, ahol f (x) =
x + xex √ x2 + 4
, ha x ≤ 0 , ha x > 0
2 1 + x2
¶ dx
4. Improprius integr´al
55
4.Improprius integr´al Az integr´ alhat´os´ag k´erd´es´et eddig csak v´ eges intervallumon ´ertelmezett korl´ atos f¨ uggv´enyekkel kapcsolatban vetett¨ uk vizsg´altuk. A gyakorlati alkalmaz´asokban azonban el˝ofordul, hogy olyan f¨ uggv´enyek integr´alj´ara van sz¨ uks´eg, amelyek a sz´oban forg´o intervallumon nem korl´atosak, vagy az integr´al´asi intervallum hossza v´egtelen (pl. az elektromos potenci´al ´ertelmez´es´en´el). Ez indokolja az improprius integr´ alok bevezet´es´et.
4.1. Improprius integr´al konvergenci´aja A hat´ arozott integr´ al kiterjeszt´ ese v´ egtelen hossz´ us´ ag´ u intervallumokra.
1. Defin´ıci´ o Az improprius integr´ alok els˝ o t´ıpus´ anak defin´ıci´ oja. Legyen f : [a, +∞) → R olyan f¨ uggv´eny, amely integr´alhat´o b´armely [a, x], x > a intervallumon. Azt mondjuk, hogy az Z
+∞
f (t)dt a
Rx imroprius integr´ al konvergens, ha az F (x) := f (t)dt a f¨ uggv´enynek a +∞-ben v´ e ges hat´ a r´ e rt´ e ke van, azaz l´ e tezik az L = Rx limx→+∞ a f (t)dt hat´ar´ert´ek ´es v´eges. Ebben az estben defin´ıci´o szerint Z +∞ Z x f (t)d := lim f (t)dr = L. x→+∞
a
a
2. Definici´o. Ha az f : (−∞, b] → R olyan f¨ uggv´eny, amely integr´alhat´o b´armely [x, b], x < b intervallumon. Azt mondjuk, hogy az Z
b
f (t)dt −∞
¨ 3.8. Osszefoglal´ o feladatok
56
Rb imroprius integr´ al konvergens, ha a G(x) := f (t)dt x f¨ uggv´enynek l´etezik a −∞-ben v´eges hat´ar´ert´eke, azaz l´etezik az Rb L = limx→−∞ x f (t)dt hat´ar´ert´ek ´es v´eges. Ebben az estben defin´ıci´o szerint Z Z b
b
f (t)d := lim
f (t)dt = L.
x→−∞
−∞
x
3. Defin´ıci´ o. Ha az f f¨ uggv´eny minden v´eges [x, y] intervallumon integr´alhat´o ´es l´etezik az Z y L= lim f (t)dt x→−∞,y→+∞
x
´es v´eges, akkor Z
Z
+∞
f (t)dt := −∞
y
lim
x→−∞,y→+∞
f (t)dt = L. x
A hat´ arozott integr´ al kiterjeszt´ ese v´ eges hossz´ us´ ag´ u intervallumon ´ ertelmezett nemkorl´ atos f¨ uggv´ enyekre.
4. Defin´ıci´ o Az improprius integr´ al m´ asodik t´ıpus´ anak defin´ıci´ oja. Legyen az f : (a, b] → R nem korl´atos f¨ uggv´eny az a pont k¨ornyezet´eben. Tegy¨ uk fel, hogy b´armely x ∈ (a, b] eset´en f integr´ alhat´o a [x, b] intervallumon. Azt mondjuk, hogy az Z
b
f (t)dt a
Rb improprius integr´ al konvergens, ha az G(x) := x f (t)dt f¨ uggv´enynek a a pontban van v´eges jobboldali hat´ar´ert´eke, azaz l´etezik Rb az L = limx→a+ x f (t)dt hat´ar´ert´ek ´es v´eges. Ekkor defin´ıci´o szerint Z
Z
b
b
f (x) := lim a
x→a+
f (t)dt = L. x
5. Defin´ıci´ o Ha az f : [a, b) → R olyan f¨ uggv´eny, amely nem korl´atos a b pont k¨ornyezet´eben,R de integr´alhat´o b´armely [a, x], x ∈ [a, b) intervallumon, x ´es a F (x) := a f (t)dt f¨ uggv´enynek a b pontban van v´eges baloldali Rx hat´ar´ert´eke azaz l´etezik az L = limx→b− a f (t)dt hat´ar´ert´ek ´es v´eges, akkor az
4. Improprius integr´al
57
Z
b
f (t)dt a
improprius integr´ al konvergens, ´es Z
Z
b
x
f (t)dt := lim
f (t)dt = L.
x→b−
a
a
Ha az el˝oz˝ o defin´ıci´okban L nem l´ etezik, vagy v´ egtelen, akkor az improprius integr´ al divergens.
6. Defin´ıci´ o Ha az f f¨ ugv´eny az (a, b) intervallum egyik v´egpontj´anak k¨ornyezet´eben sem korl´atos, de minden olyan [x, y] intervallumon integr´ alhat´o, amelyre a < x < y < b, tov´abb´a l´etezik a Z
y
lim
x→a,y→b
f (t)dt x
hat´ar´ert´ek, akkor Z
Z
b
f (t)dt = a
y
lim
x→a,y→b
f (t)dt. x
Ha az f f¨ uggv´eny az [a, b] intervallum belsej´ebe es˝o c pontban nem ´ertelmezett ´es a c pont k¨ornyezet´eben nem korl´atos, akkor az integr´al addit´ıv tulajdons´ag´anak ´erv´enyben tart´as´aval az [a, b] intervallumon vett improprius integr´al ´ertelmez´ese visszavezethet˝o az Rc Rb [a, c) ´es (c, b] intervallumokon vett improprius integr´alokra. Ha az a f (t)dt ´es c f (t)dt Rb improprius integr´alok egyid˝oben konvergensek, akkor a f (t)dt is konvergens ´es Z b Z c Z b f (t)dt = f (t)dt + f (t)dt. a
a
c
P´ eld´ ak: Sz´am´ıtsuk ki a k¨ovetkez˝o improprius integr´alokat: 1. +∞ Z e−t sin tdt. 0
sin t + cos t −t e . Az f (t) = e−t sin t f¨ uggv´eny primit´ıv f¨ uggv´enye az F (t) = − 2 A defin´ıci´o alapj´an Z +∞ Z x −t e sin tdt = lim e−t sin tdt = lim [F (x) − F (0)] = x→+∞ 0 x→+∞ 0 · ¸ sin x + cos x −x 1 1 = lim − e + = , x→+∞ 2 2 2
¨ 3.8. Osszefoglal´ o feladatok
58
mivel a 2.
sin x + cos x korl´atos ´es lim e−x = 0. x→+∞ 2 +∞ Z
Z
1 1 sin dt = lim x→+∞ t2 t
− 2 π
2 π
· = lim
x→+∞
3.
x
µ ¶0 1 1 sin dt = t t
1 cos t
¸x 2 π
·
¸ 1 π = cos − cos = 1. x 2
Z∞ sin tdt = lim [− cos x]x0 = lim [− cos x + 1]. x→∞
x→+∞
0
Mivel a cos x f¨ uggv´enynek a +∞-ben nincs hat´ar´ert´eke, ez´ert az improprius integr´al divergens. 4.
Z
0
√ −1
Z
dt = lim 1 − t2 x→−1
0
√ x
x>−1
dt dt = lim [arcsin t]0x = 2 1−t x→−1 x>−1
π = lim [− arcsin x + arcsin 0] = + . 2 x→−1 x>−1
5.
Z
1
√ −1
Z 1 dt dt √ + = 2 1−t 1 − t2 −1 0 Z y Z 0 dt dt √ √ + lim = = lim 2 1 − t 1 − t2 y→1 0 x→−1 x
dt = 1 − t2
Z
0
√
x>−1
y<1
= lim x→−1 x>−1
6.
Z
∞ −1
= lim x→0 x<0
Z 0
1
y→1 y<1
0
x→0 x<0
7.
+ lim [arcsin t]y0 = π.
Z ∞ dt dt √ √ + = 3 3 t t −1 0 Z Z x 1 = lim t− 3 dt + lim
dt √ = 3 t
Z
[arcsin t]0+x
y→0 y>0
−1
·
3 2 t3 2
¸x
arcsin t √ dt = lim 1 − t2 x→1 x<1
+ lim −1
Z
1
t− 3 dt =
y
·
3 2 t3 2
¸z y
3 = − + ∞ = ∞. 2
(arcsin t)0 arcsin tdt =
0
·
= lim x→1 x<1
x
y→0 z→∞
∞
1 (arcsin t)2 2
¸x = 0
¸ π2 1 1 2 2 = lim (arcsin x) − (arcsin 0) = . 2 8 x→1 2 x<1
·
4. Improprius integr´al
8.
Z
59
Z
1
1
ln tdt = lim
x→0+
0
(t)0 ln tdt =
x
· Z = lim [t ln t]1x − x→0+
¸
1
1dt = lim [−x ln x − 1 + x]. x→0+
x
A lim x ln x kisz´am´ıt´as´ara a L’Hospital szab´alyt alkalmazzuk: x→0+ 3
1 (ln x)0 ln x x = lim µ ¶0 = lim = lim (−x) = 0. lim x ln x = lim 1 x→0+ x→0+ x→0+ x→0+ 1 x→0+ 1 − 2 x x x Teh´at a fenti improprius integr´al ´ert´eke −1. 9. Milyen α ∈ R sz´amra konvergens az Z
+∞
tα dt
1
improprius integr´al? Mivel
Z
x
( α
t dt = 1
xα+1 −1 α+1
α 6= −1
ln x
α = −1,
ez´ert innen ny´ılv´anval´o, hogy α < −1 eset´en l´etezik az Z x 1 L = lim tα dt = − x→+∞ 1 α+1 hat´ar´ert´ek ´es v´eges. R +∞ Ha α ≥ −1, akkor L = +∞, teh´at 1 xα dx divergens. 10. Legyen a < b < +∞, α ∈ R+ ´es vizsg´aljuk az Z a
b
dt (b − t)α
improprius integr´al konvergenci´aj´at. 1 Ha α > 0, akkor az t → (b−t) uggv´eny nem korl´atos. Mivel α f¨ Z a
x
−1 ((b − x)−α+1 − (b − a)−α+1 ) dt 1−α = (b − t)α − ln(b − x) + ln(b − a)
α 6= 1 α = 1,
ez´ert innen azt kapjuk, hogy Z lim
x→b−0
a
x
(b − a)−α+1 dt = 1−α (b − t)α +∞
0 < α < 1, α ≥ 1.
Ezzel bel´attuk, hogy a tekintett improprius integr´al a 0 < α < 1 esetben konvergens, α > 1 esetben pedig divergens.
¨ 3.8. Osszefoglal´ o feladatok
60
11. Vizsg´aljuk az Mivel
R +∞ 0
eαt dt improprius integr´al konvergenci´aj´at. Z x eαx − 1 eαt dt = α 0
´es eαx − 1 lim = x→+∞ α
(
1 α < 0, α +∞ α ≥ 0, −
ez´ert a tekintett improprius integr´al az α < 0 esetben konvergens ´es α ≥ 0 esetben divergens. 12. Vizsg´aljuk az Z +∞ 1 dt 2+1 t −∞ improprius integr´al konvergenci´aj´at. A defin´ıci´o alapj´an Z
+∞ −∞
t2
1 dt = lim [arctgt]ba = lim [arctgb − arctga] = +1 a→−∞ a→−∞ b→+∞
b→+∞
= π/2 − (−π/2) = π.
¨ 4.5. Osszefoglal´ o feladatok Sz´am´ıtsuk ki a k¨ovetkez˝o improprius integr´alokat: I.
R0
1.
−∞ +∞ R
3.
1 dt 2 t +4
2.
cos 2tdt
4.
2 π
+∞ R 0 +∞ R
7.
−∞
9.
+∞ R 2
11.
R0
1 1 cos dt 2 t t
et cos tdt
−∞
0
5.
+∞ R
6.
1 dt 2 4t + 4t + 1
8.
dt t ln2 t
10.
+∞ R 2
R0
t dt 2 t +1
t3
dt +1
−∞
R∞
t2 dt (t3 + 1)2 2
te−t dt
−∞ +∞ R arctg 0
12.
t2
t dt +1
(t2
dt − 1)2
+∞ R 2
4. Improprius integr´al
13.
R∞ 0
II. 1.
R0
√
t t5
R0 −2
5.
R2 1 1
7.
R2 0
9.
0
−1
t2
dt √ + 3 t4 + 1
dt 4 − t2
2.
R1 dt √ 5 t −1
√
dt t+2
4.
R0 arccos t √ dt 1 − t2 −1 π
1 dt t ln t
6.
dt t ln2 t
8.
R3
+∞ R
14.
√
−2
3.
+1
dt
61
dt (t − 1)2
R2
tg tdt
0
R1
10.
0
R1 0
dt t ln2 t dt t3 − 5t2