Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Analzis
Szerzok:
Gspr Csaba
Lektor:
Tartalomjegyzk
1. Bevezets
6
6
14
16
22
26
3. Komplex szmok
3.1. A komplex szmok bevezetse . . . . . . .
3.2. A komplex szmok algebrai alakja . . . . .
3.3. A komplex szmok trigonometrikus alakja
3.4. Hatvnyozs s gykvons . . . . . . . . .
3.5. Algebrai egyenletek . . . . . . . . . . . . . .
3.6. Feladatok . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
32
32
34
39
42
45
48
4. Vals szmsorozatok
4.1. Sorozatok konvergencija, alapveto ttelek
4.2. Korltos sorozatok, monoton sorozatok . .
4.3. Cauchy-sorozatok . . . . . . . . . . . . . . .
4.4. Specilis hatrrtkek . . . . . . . . . . . . .
4.5. Konvergenciasebessgek sszehasonltsa .
4.6. Feladatok . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
54
54
61
64
65
68
69
73
73
75
82
84
87
5. Vgtelen sorok
5.1. Vgtelen sorok, konvergencijuk . . . . . . . . . .
5.2. Konvergenciakritriumok . . . . . . . . . . . . . .
5.3. Sorok Cauchy-szorzata . . . . . . . . . . . . . . . .
5.4. Az exponencilis sor s az exponencilis fggvny
5.5. Feladatok . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
92
. 92
. 93
. 95
. 102
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
122
122
127
131
136
138
145
147
150
8. Taylor-sorok
8.1. Taylor-polinomok . . . . . . . . . . . . . . . .
8.2. Taylor- s Maclaurin-sorok, konvergencijuk
8.3. Nhny fggvny Maclaurin-sora . . . . . .
8.4. A komplex exponencilis fggvny... . . . . .
8.5. Feladatok . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
166
166
169
171
175
176
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
181
181
183
193
220
220
226
233
238
243
250
200
205
209
213
Analzis
Tartalom | Trgymutat
Bevezets
/5 .
1. Bevezets
A jegyzet a Szchenyi Istvn Egyetem mrnki BSC-szakos hallgati szmra kszlt, az analzis trgy bevezeto fejezeteit tartalmazza.
Felttelezzk a szoksos kzpiskolai matematika ismerett, de arra
nem ptnk: minden lnyeges fogalmat definilunk, s az lltsok, ttelek
tlnyom tbbsgt be is bizonytjuk. Kivtelt csak a nagyon egyszeru
hasznlatt.
Krjk a tisztelt Olvaskat, hogy vlemnyket, megjegyzseiket,
szrevteleiket kldjk el a
gasparcs@sze.hu
e-mail cmre.
Eredmnyes felhasznlst kvn a szerzo:
Dr. Gspr Csaba
Ksznetnyilvnts: A szerzo szeretn ksznett kifejezni Szili Lszlnak,
az Etvs Lornd Tudomnyegyetem docensnek a jegyzet igen gondos
lektorlsrt s rtkes megjegyzseirt.
Tartalom | Trgymutat
/5 .
Analzis
Tartalom | Trgymutat
/6 .
Analzis
Tartalom | Trgymutat
Halmazelmleti alapok
/7 .
Rszhalmaz:
Azt mondjuk, hogy az A halmaz rsze (vagy rszhalmaza) a B halmaznak,
ha A minden eleme egyttal B-nek is eleme. Jele: A B.
Hatvnyhalmaz:
Az A halmaz hatvnyhalmaznak azt a 2A (ms jellssel: P (A)) halmazt
nevezzk, melynek elemei A rszhalmazai.
Rviden: 2A := {B : B A}. A fenti megllapods rtelmben 2A
mindig teljesl.
A jellst az indokolja, hogy mint azt ksobb megmutatjuk ha A
vges, spedig n elembol ll, akkor 2A elemeinek szma pp 2n .
2.1. Plda: Legyen A := {1,2,3} (hromelemu halmaz). Akkor
2A = {,{1},{2},{2},{1,2},{1,3},{2,3},{1,2,3}}
(nyolcelemu halmaz).
Tartalom | Trgymutat
/7 .
Halmazelmleti alapok
/8 .
Analzis
Tartalom | Trgymutat
/8 .
Analzis
Tartalom | Trgymutat
Halmazelmleti alapok
/9 .
Diszjunkt halmazok:
Kt halmazt diszjunktnak neveznk, ha metszetk az res halmaz, azaz
nincs kzs elemk.
Megllapods. A tovbbiakban tbbnyire olyan halmazokkal fogunk
foglalkozni, melyek egy adott, rgztett X, n. alaphalmaz rszhalmazai.
Legyen A X , akkor az X\A halmazt az A halmaznak X-re vonatkoz
komplementumnak (vagy komplementer halmaznak) nevezzk, s A-sal
jelljk.
Az albbiakban sszefoglaljuk a fentebb definilt halmazmuveletek
re vonatkoz legfontosabb sszefggseket. Ezek a defincikbl knnyen
addnak, gy a bizonytsokat elhagyjuk.
Legyen X egy adott alaphalmaz, A,B,C X tetszolegesek.
2.2. llts: . Az uni
kommutatv: A B = B A,
asszociatv: (A B) C = A (B C) ,
a metszetre nzve disztributv: (A B) C = (A C) (B C) .
A metszet
kommutatv: A B = B A ,
asszociatv: (A B) C = A (B C) ,
az unira nzve disztributv: (A B) C = (A C) (B C) .
Tartalom | Trgymutat
/9 .
Halmazelmleti alapok
/ 10 .
Analzis
Tartalom | Trgymutat
Aj := A1 A2 ... An ,
j=1
ill.
n
\
Aj := A1 A2 ... An .
j=1
ki):
2.4. llts: . Legyenek A1 ,A2 ,...,An X tetszoleges rszhalmazai az X
alaphalmaznak. Akkor
n
[
Aj =
j=1
n
\
j=1
n
\
Aj ,
j=1
Aj =
n
[
Aj .
j=1
Descartes-szorzat:
Legyenek A, B tetszoleges halmazok. Az A s B halmazok Descartesszorzatnak az
A B := {(x,y) : x A, y B}
halmazt nevezzk. Ennek elemei rendezett prok, melyek elso eleme A-bl,
msodik eleme B-bol val.
Tartalom | Trgymutat
/ 10 .
Analzis
Tartalom | Trgymutat
Halmazelmleti alapok
/ 11 .
/ 11 .
Analzis
Tartalom | Trgymutat
Halmazelmleti alapok
/ 12 .
Tartalom | Trgymutat
/ 12 .
Halmazelmleti alapok
/ 13 .
Analzis
Tartalom | Trgymutat
sszetett fggvny:
Ha f : A B, g : B C olyan fggvnyek, hogy Rf Dg , akkor a g
s f fggvnyek kompozcijnak azt a g f : A C fggvnyt nevezzk,
mely egy tetszoleges x Df elemhez a g(f (x)) C elemet rendeli, azaz
(g f )(x) := g(f (x)) .
A kompozcit szoks mg sszetett fggvnynek is nevezni. Ugyangy
definiljuk kettonl tbb fggvny kompozcijt is (tbbszrsen sszetett fggvnyek).
Nyilvn Rf 1 = Df , tovbb (f 1 )
= f.
kiterjeszts:
Legyen f : A B egy tetszoleges fggvny, C s D kt tetszoleges halmaz,
melyre C Df D A. Az f fggvny C-re val leszuktsn
(vagy
megszortsn) azt az f |C szimblummal jellt fggvnyt rtjk, melynek
rtelmezsi tartomnya C, s minden x C-re f |C (x) = f (x) . Azt mondjuk tovbb, hogy a g : D B fggvny kiterjesztse f -nek, ha f leszuktse
/ 13 .
Analzis
Tartalom | Trgymutat
Halmazok szmossga
/ 14 .
leszuktve
Nyilvnval, hogy kt vges halmaz pontosan akkor egyenlo szmossg, ha elemeik szma egyenlo, tovbb egy vges halmaz sohasem lehet
ekvivalens sajt valdi rszvel. Vgtelen halmazok esetn ez utbbi mr
nem igaz. Meglepo mdon, egy vgtelen halmaz ekvivalens lehet sajt
valdi rszvel. Pldul a pozitv egsz szmok {1,2,3,4,...} halmaza ekvivalens a pozitv pros szmok {2,4,6,8,...} halmazval, az ekvivalencit
ltesto lekpezs pedig pl. az f : N N, f (x) := 2x fggvny.
Vegyk szre, hogy a szmossg fogalmt magt nem definiltuk, csak
az egyenlo szmossg fogalmt.
Tartalom | Trgymutat
/ 14 .
Analzis
Tartalom | Trgymutat
Halmazok szmossga
/ 15 .
Megszmllhatsg:
Az N-nel egyenlo szmossg halmazokat (melyek az elozo llts rtelmben egymssal is ekvivalensek) megszmllhatan vgtelen halmazoknak
nevezzk. A vges s a megszmllhatan vgtelen halmazokat kzs
nven megszmllhat halmazoknak is nevezzk.
A megszmllhat halmazokat mg sorozatba rendezheto halmazoknak
is nevezzk. Az elnevezs oka szemlletesen vilgos: ha A megszmllhat, f pedig N-et (ill. vges esetben egy vges {1,2,3,...,n} halmazt)
A-ra kpezo klcsnsen egyrtelmu
lekpezs, akkor nyilvn A eloll
A = {f (1),f (2),f (3),...} vges vagy vgtelen sorozat alakban.
A kvetkezo kt llts a megszmllhat halmazok alapveto tulajdonsgait rja le:
2.6. llts: . Ha A megszmllhat, akkor minden B A rszhalmaz is
megszmllhat.
Bizonyts. Ha A vges, vagy A vgtelen de B vges halmaz, akkor az llts
nyilvnval. Tegyk fel teht, hogy A s B mindketten vgtelen halmazok.
Legyen A = {f (1),f (2),f (3),...} sorozatba rendezett. Mivel B A, ezrt B-t az
A-bl bizonyos elemek elhagysval kapjuk, gy B = {f (n1 ),f (n2 ),f (n3 ),...}
alak. Ekkor a g : N B, g(k) := nk lekpezs knnyen lthatan ekvivalencit
ltest N s B kzt.
Tartalom | Trgymutat
/ 15 .
Teljes indukci. Nevezetes azonossgok s egyenlotlensgek
Tartalom | Trgymutat
/ 16 .
Analzis
Tartalom | Trgymutat
/ 16 .
Teljes indukci. Nevezetes azonossgok s egyenlotlensgek
Tartalom | Trgymutat
/ 17 .
Analzis
Ezzel az llts minden n n0 -ra igazolva lesz. Valban, n0 -ra igaz (1.
lps), ezrt (n0 + 1)-re is igaz (a 2. lps alapjn): de akkor mr (n0 + 2)-re
is igaz (ismt a 2. lps alapjn), s gy tovbb.
A mdszerben a termszetes szmoknak az az alapveto tulajdonsga
van elrejtve, mely szerint, ha egy A N rszhalmaz olyan tulajdonsg, hogy 1 A , s minden n A esetn (n + 1) A is igaz, akkor
szksgkpp A = N. Ez a tulajdonsg Peano-axima nven ismert. Nem
minden vgtelen halmaz rendelkezik ezzel a tulajdonsggal, gy pl. R
sem. Kvetkezskpp a teljes indukcis bizonyts (a fenti formban)
nem alkalmas pl. R minden elemre vonatkoz lltsok igazolsra.
A kvetkezokben pldkat mutatunk ilyen jellegu lltsokra.
2.6. Plda: Minden n N-re 1 + 2 + 3 + ... + n =
n(n+1)
.
2
Bizonyts. Az llts n = 1-re nyilvn igaz. Tegyk fel, hogy n-re igaz, s vizsgljuk
az lltst (n + 1)-re. Ekkor, az indukcis feltevst hasznlva 1 + 2 + 3 + ... + n +
(n + 1) = n(n+1)
+ (n + 1) = (n+1)(n+2)
, teht az llts (n + 1)-re is igaz. Ezzel az
2
2
lltst teljes egszben igazoltuk.
n(n+1)(2n+1)
.
6
Binomilis egytthat:
Jellje n N esetn n! (n faktorilis) az 1 2 3 ... n szorzatot. Definiljuk
0!-t
1-nek, azaz 0! := 1. Ezek utn tetszoleges 0 k n egszre legyen
n
n!
k := k!(nk)! .
A fenti szmokat binomilis egytthatknak nevezzk (a szimblum
olvassa:
n alatt k). Kzvetlen szmolssal ellenorizheto, hogy:
n
(a) 0 = nn = 1,
,
(b) nk = n(n1)...(nk+1)
k!
n
(c) nk = nk
,
n
(d) nk + k+1
= n+1
k+1 .
Tartalom | Trgymutat
/ 17 .
Teljes indukci. Nevezetes azonossgok s egyenlotlensgek
Tartalom | Trgymutat
/ 18 .
Analzis
Az llts (d) pontjnak ismtelt felhasznlsval lthat, hogy a binomilis egytthatk egy olyan hromszg alak (vgtelen) tblzatba
rendezhetok, ahol minden elem a felette levo kt elem sszege:
1
0
0
0
1
1
2
2
2
0 1 2
3
3
3
3
0 1 2 3
4
4
4
4
4
0
........................,
azaz:
1
1 1
1 2 1
1 3 3 1
1 4 6 4 1
........................
(Pascal-hromszg). Ezek felhasznlsval, a teljes indukci mdszervel
knnyen igazolhat a kvetkezo fontos llts:
2.1. Ttel: (binomilis ttel). Tetszoleges a,b R s n N esetn:
n
(a + b) =
n
X
k=0
n nk k
a
b .
k
Tartalom | Trgymutat
/ 18 .
Teljes indukci. Nevezetes azonossgok s egyenlotlensgek
Tartalom | Trgymutat
/ 19 .
Analzis
Az llts egyszeruen
igazolhat kombinatorikus ton is. A bal oldal
ui. egy n-tnyezos szorzat, mindegyik tnyezo (a + b). Elvgezve a
szorzst (minden tagot szorozva minden taggal), csoportostsuk a szorzatokat a nvekvo hatvnyai szerint. Akkor az ank bk alak szorzatok
szma azzal a szmmal egyenlo, ahnyflekpp n klnbzo elembol k
klnbzo elemet a sorrend figyelembevtele nlkl ki tudunk vlasz
tani (ismtls nlkli kombinci). Ez pedig, mint ismert, pp az nk
binomilis egytthat. Ez lesz teht a jobb oldalon ank bk egytthatja.
n
k
!
n
=2
n
X
k=0
(1)
n
k
= 0.
/ 19 .
Teljes indukci. Nevezetes azonossgok s egyenlotlensgek
Tartalom | Trgymutat
/ 20 .
Analzis
y
y n
) xn (1 + n ) = xn + nxn1 y.
x
x
a1 a2 ...an
a1 + a2 + ... + an
.
n
an+1 Sn
.
n+1
Sn
Alkalmazzuk a Bernoulli-egyenlotlesget x := Sn , y := an+1
mellett (n + 1)-re.
n+1
n
Ez megteheto, mert a rendezettsg miatt an+1 Sn = an+1 a1 +a2 +...+a
0.
n
Tartalom | Trgymutat
/ 20 .
Teljes indukci. Nevezetes azonossgok s egyenlotlensgek
Tartalom | Trgymutat
/ 21 .
Analzis
2.4. Kvetkezmny: (mrtani-harmonikus kzepekre vonatkoz egyenlotlensg). Legyenek a1 ,a2 ,...,an > 0 tetszoleges pozitv szmok (n N).
Akkor rvnyes a kvetkezo becsls:
1
a1
1
a2
n
+ ... +
1
an
a1 a2 ...an .
!2
ak bk
k=1
n
X
k=1
a2k
n
X
b2k
k=1
Bizonyts. AP
rvidsg kedvrtP
legyenenek az a, b nemnegatv szmok olyanok,
n
n
2
2
2
hogy a2 :=
k=1 ak s b :=
k=1 bk . Ha a vagy b brmelyike zrus, akkor
az llts a trivilis 0 = 0 egyenlosgre egyszerusdik.
(ak tbk )2 =
n
X
k=1
n
X
ak bk + t2 b2 0.
k=1
a2 2
a2
aX
ak bk + 2 b2 0.
b
b
k=1
Tartalom | Trgymutat
/ 21 .
Analzis
Tartalom | Trgymutat
Pn
Ezt rendezve a k=1 ak bk ab egyenlotlensget kapjuk, ami pp a bizonytand
lltssal ekvivalens.
/ 22 .
Analzis
Tartalom | Trgymutat
Tartalom | Trgymutat
/ 23 .
Analzis
Tartalom | Trgymutat
Korltos halmazok:
Azt mondjuk, hogy az A R szmhalmaz fellrol korltos, ha van olyan
C R szm, hogy minden x A-ra teljesl, hogy x C. Ekkor az
ilyen C szmokat az A halmaz felso korltjainak nevezzk. Hasonlan, ha
van olyan c R szm, hogy minden x A-ra x c teljesl, akkor az
A halmazt alulrl korltosnak nevezzk, az ilyen tulajdonsg c szmokat
pedig az A halmaz als korltjainak hvjuk. Ha egy halmaz fellrol is s
alulrl is korltos, akkor rviden csak korltosnak nevezzk. Ekkor a halmaz
lefedheto egy vges hosszsg intervallummal.
A vals szmokat alapvetoen jellemzi a kvetkezo ttel, melyet bizonyts nlkl mondunk ki (a ttel egybknt a Cantor-aximn alapul):
2.4. Ttel: . Minden nemres fellrol korltos A halmaznak van legkisebb
felso korltja. Ezt az A halmaz szuprmumnak nevezzk, s sup A-val
jelljk. Hasonlan, minden nemres alulrl korltos A halmaznak van
legnagyobb als korltja. Ezt az A halmaz infimumnak nevezzk, s inf Aval jelljk.
A szuprmum s infimum esetleg maguk is a szbanforg halmazhoz
tartoznak, de ez nem szksgszeru.
Pl. a (0,1] flig nylt intervallum infimuma 0 (ami nem tartozik hozz e halmazhoz), szuprmuma pedig 1 (ami
hozztartozik a halmazhoz). A szuprmum s az infimum a maximum ill.
minimum fogalmnak bizonyos irny ltalnostsai abban az rtelemben,
hogy ha egy halmaznak van legkisebb (legnagyobb) eleme, akkor ez egyttal a szbanforg halmaz infimuma (szuprmuma) is. mde mg minimlis
(maximlis) elem nem felttlen ltezik a (0,1) nylt intervallumnak pl. sem
minimlis, sem maximlis eleme nincs , addig a fenti ttel rtelmben infimum (szuprmum) mindig ltezik, amennyiban a halmaz alulrl (fellrol)
korltos. Knnyu
ltni azt is, hogy a ttel rvnyt veszti, ha R helyett
pldul Q-beli halmazokat vizsglunk. gy pl. az {x Q : 0 < x2 < 2}
halmaz korltos, de Q-ban nincs legkisebb felso korltja. Ilyen rtelemben
ez a ttel is a vals szmok hzagmentessgeknt interpretlhat.
Elnevezs. Ha az A R szmhalmaz nem korltos fellrol (alulrl),
akkor azt mondjuk, hogy sup A = + (inf A = ).
A hatvnyhalmaz pldjn mr lttuk, hogy nem mindegyik vgtelen
halmaz megszmllhat. Most erre konkrt pldt is adunk. Bebizonytjuk,
hogy R nem megszmllhat.
Tartalom | Trgymutat
/ 24 .
Analzis
Tartalom | Trgymutat
(0,1) is az
volna). Indirekt, tegyk fel, hogy a (0,1) halmaz megszmllhat, ezrt sorozatba
rendezheto: (0,1) = {a1 ,a2 ,a3 ,...}. rjuk fel mindegyik ak -t vgtelen tizedestrt
alakban:
a1 = 0.x11 x12 x13 ...,
a2 = 0.x21 x22 x23 ...,
a3 = 0.x31 x32 x33 ...,
........,
ahol teht xkj jelli az ak szm j-edik tizedesjegyt (az egyrtelmusg
f : (0,1) R,
x 7 tg x
1
2
Tartalom | Trgymutat
/ 25 .
Feladatok
/ 26 .
Analzis
Tartalom | Trgymutat
2.5. Feladatok
1. Mivel egyenlo 2 ? s 22 ? s 22
Aj =
j=1
n
\
j=1
n
\
Aj
j=1
Aj =
n
[
Aj .
j=1
Tartalom | Trgymutat
/ 26 .
Feladatok
/ 27 .
Analzis
Tartalom | Trgymutat
12.
A szoksos teljes indukcis mdszerrel megmutathat, hogy
2 + 4 + 6 + ... + 2n = n(n + 1) + 1 (n N). Valban, ha ez az egyenlosg
valamely n-re igaz, akkor (n + 1)-re:
2 + 4 + 6 + ... + 2n + (2n + 2) = n(n + 1) + 1 + 2n + 2 = (n + 1)(n + 2) + 1.
Ugyanakkor a bal oldal mindig pros, a jobb oldal viszont pratlan, ami
nem lehetsges! Hol a hiba a gondolatmenetben?
13. A Hotel Aleph Null forgajtaja kivgdik: vendg be, s lihegve
szl:
- Hny szobjuk van?
- Ht van egypr. Egszen pontosan, megszmllhatan vgtelen.
- Ember! Azt krdem, hny res szobjuk van?
- Vagy gy! Jelenleg egyetlenegy.
- Az baj, mert nekem ketto kellene. Egy nekem, egy az anysomnak.
- Nem problma, uram! Mindent meg lehet oldani!
s meg is tette. Szlt a 2. szobban levo vendgnek, hogy kltzzn t a 3. szobba, a 3. szobban levo vendget tirnytotta a 4. szobba,
s gy tovbb. gy a 2. szoba felszabadult. Ide, s az eredetileg is res 1.
szobba elhelyezte az j vendgeket.
De ht eredetileg csak egy res szoba volt! Hol van itt az ellentmonds?
Tartalom | Trgymutat
/ 27 .
Feladatok
/ 28 .
Analzis
Tartalom | Trgymutat
Megoldsok
1. 2 = {}, 22 = {,{}}, 22
= {,{},{{}},{,{}}} .
vonatkoz azonossgokat:
A \ (A \ B) = A A B = A (A B) = (A A) (A B) = A B,
s hasonlan:
B \ (B \ A) = B B A = B (B A) = (B B) (B A) = B A.
/ 28 .
Analzis
Tartalom | Trgymutat
Feladatok
/ 29 .
3 + 1 + 4y
3 1 + 4y
s x =
,
x=
2
2
melyek szimmetrikus helyzetuek
/ 29 .
Feladatok
/ 30 .
Analzis
Tartalom | Trgymutat
klcsnsen egyrtelmu,
de leszuktve
akr a [ 23 , + ), akr a (, 32 ]
flegyenesekre, a leszuktett
fggvny mr klcsnsen
egyrtelmu.
Az
3+ 1+4y
1
, az utbbi esetben
inverz formulja az elobbi esetben f (y) =
2
f 1 (y) =
3 1+4y
.
2
9.
2 + 4 + 6 + ... + 2n = 2 (1 + 2 + 3 + ... + n) = 2
n(n + 1)
= n(n + 1).
2
2n(2n + 1)
n(n + 1) = n2 .
2
1 2n + 3 1
n+1
=
.
2
2n + 3
2n + 3
1
=
(2n + 1)(2n + 3)
1
1
1
2n + 1 1
++
=
n+
2(2n + 1)
(2n + 1)(2n + 3)
2n + 1
2n + 3
2n2 + 3n + 1
(2n + 1)(n + 1)
n+1
=
=
.
(2n + 1)(2n + 3)
(2n + 1)(2n + 3)
2n + 3
Tartalom | Trgymutat
/ 30 .
Analzis
Tartalom | Trgymutat
Feladatok
/ 31 .
12. A hiba ott van, hogy az llts mr n = 1-re sem igaz, amit nem
ellenoriztnk! Egybknt a lert okfejts hibtlan: ha az llts valamely n-re
igaz lenne, akkor (n + 1)-re is igaz lenne. mde az llts semmilyen n-re
nem igaz.
13. Nincs ellentmonds! A feladat a vgtelen halmazoknak egy
szokatlan tulajdonsgrl szl, hogy a vgtelen halmazok ekvivalensek
lehetnek sajt valdi rszhalmazukkal. Az ellentmonds ltszatt a feladat
(egybknt abszurd) szvegezse adja, ami egyfajta megmaradsi ttelt
sugall a vals let tapasztalatai alapjn. Ilyenfajta megmaradsi ttelek
azonban vgtelen halmazokra nem vonatkoznak.
Tartalom | Trgymutat
/ 31 .
Komplex szmok
/ 32 .
Analzis
Tartalom | Trgymutat
3. Komplex szmok
3.1. A komplex szmok bevezetse
Trtnetileg a szmfogalom bovtst az egyenletek megoldhatsgnak
problematikja szlte.
Legyenek a,b N adottak, akkor az
x+a=b
egyenlet N-ben nem mindig oldhat meg (csak akkor, ha a < b). Ha
azonban N-et kibovtjk Z-v, az sszeadst pedig alkalmasan kiterjesztjk
a bovebb Z halmazra, akkor a fenti egyenlet mr mindig megoldhat Z-ben,
akkor is, ha a,b Z (nemcsak akkor, ha a,b N).
Legyenek most a,b Z adottak, a 6= 0, akkor az
ax = b
egyenlet Z-ben nem mindig oldhat meg (csak akkor, ha a osztja b-nek).
Ha azonban bevezetjk a Z-nl bovebb Q szmhalmazt, s arra a szorzst
alkalmasan kiterjesztjk, akkor a fenti egyenlet mr mindig megoldhat
Q-ban, akkor is, ha a,b Q (nemcsak akkor, ha a,b Z ).
A vals szmok bevezetse nem illik szorosan ebbe a smba. Bizonyos
algebrai (akr magasabb fok), racionlis egytthats egyenletek megoldsaknt ui. nem llthat elo az sszes vals szm. gy csak az n. algebrai
szmok llthatk elo, melyek szmossga egybknt csak megszmllhat
(gy teht a legtbb vals szm nem llthat elo racionlis egytthats
egyenlet megoldsaknt. Megemltjk, hogy a is ilyen nem-algebrai, n.
transzcendens szm). Msrszt pedig, ismeretes, hogy vannak olyan algebrai
egyenletek, melyek nem oldhatk meg R-ben. gy pl. mr az egyszeru
x2 + 1 = 0
egyenletnek sincs R-beli megoldsa. Mindazonltal, ppen ezek a problmk indtottk el a prblkozsokat a vals szmok tovbbi bovtse
irnyba, melynek eredmnye a komplex szmok halmaza. Elorebocstjuk,
hogy a komplex szmok krben mr minden algebrai egyenlet (komplex
egytthats is!) megoldhat.
A trgyals azonban fggetlen lesz a szmfogalom-bovts, ill. az egyenletek megoldhatsgnak fentebb vzolt krdskrtol.
Tartalom | Trgymutat
/ 32 .
Analzis
Tartalom | Trgymutat
2
a kvetkezokpp. Ha (a,b),(c,d) R , R tetszolegesek, akkor legyen:
(a,b) + (c,d) := (a + c,b + d) (sszeads),
(a,b) (c,d) := (ac bd,ad + bc) (szorzs),
(a,b) := (a,b) (skalrral val szorzs).
3.1. llts: . A fenti muveletekre
ha (a,b) 6= (0,0),
[(a,b)+(c,d)] = (a,b)+(c,d) (a skalrral val szorzs disztributv
az sszeadsra nzve),
( + ) (a,b) = (a,b) + (a,b) (a skalrral val szorzs disztributv
a skalr-sszeadsra nzve is).
Bizonyts. Az lltsok egy rsze trivilis (a vals szmok megfelelo muveleti
Tartalom | Trgymutat
/ 33 .
Analzis
Tartalom | Trgymutat
Komplex szmsk:
Elnevezs. Az R2 halmazt a fenti muveletekkel
nem vezetnek ki az ilyen alak szmok halmazbl, s itt megegyeznek a vals szmok kzt bevezetett szoksos muveletekkel.
rtelmezzk.
Az (a,0) alak szmok teht azonosthatk a vals szmokkal. A zrus szerept
a (0,0), az 1 szerept az (1,0) szmpr jtssza.
Jells. Ha (a,b) C tetszoleges, akkor nyilvn (a,b) = a (1,0) + b (0,1).
Mr lttuk, hogy (1,0) a szorzs egysgeleme C-ben; jellje i a (0,1)
komplex szmot, akkor az (a,b) komplex szm rviden
a + bi
alakba rhat. Ez a komplex szm algebrai alakja.
A tovbbiakban a komplex szmokat sokszor egyetlen betuvel
jelljk.
Elnevezs. i-t kpzetes (imaginrius) egysgnek, a bi alak szmokat
(b R) tiszta kpzetes szmoknak nevezzk.
A komplex szmok az R2 skon egy derkszgu koordintarendszerben
brzolhatk.
Vals rsz, kpzetes rsz:
Legyen z := a + bi C tetszoleges. Az a R szmot a z komplex szm
vals rsznek, a b R szmot pedig a z komplex szm kpzetes rsznek
nevezzk. A vals, ill. kpzetes rszt Re z-vel, ill. Im z-vel jelljk.
Tartalom | Trgymutat
/ 34 .
Analzis
Tartalom | Trgymutat
/ 35 .
Analzis
Tartalom | Trgymutat
azonossgok.
Ezekutn komplex szmok alatt ilyen kttag algebrai kifejezseket rtnk. A konstrukci egyenrtku
a feljebb vzolt, szmprokat hasznl
megkzeltssel.
3.1. Kvetkezmny: . i3 = i, i4 = 1, i5 = i,..., i4k = 1, i4k+1 = i,
i4k+2 = 1, i4k+3 = i, teht az i-hatvnyok periodikusan vltakoznak az
1,i, 1 s a i szmok kztt.
Konjuglt:
A z = a + bi C komplex szm komplex konjugltjnak a z = a bi C
komplex szmot nevezzk.
A konjugls mint a komplex sk geometriai transzformcija, knnyen
lthatan nem ms, mint a vals tengelyre val tkrzs. A kvetkezo
hrom llts a konjuglt alapveto tulajdonsgait foglalja ssze. Trivilis
szmolsokkal igazolhatk, ezrt a bizonytsokat elhagyjuk.
3.2. llts: . Tetszoleges z C komplex szm esetn Re z =
Im z = zz
2i .
Tartalom | Trgymutat
z+z
2
/ 36 .
Analzis
Tartalom | Trgymutat
z1
z2
z1
z2
Abszolt rtk:
/ 37 .
Analzis
Tartalom | Trgymutat
3.1. Plda:
1 + 2i 4 + 3i
1 + 2i
2 + 11i
2
11
=
=
= + i.
4 3i
4 3i 4 + 3i
16 + 9
25 25
/ 38 .
Analzis
Tartalom | Trgymutat
y = r sin ,
msrszt pedig
y
,
x
teht ugyanazon pont derkszgu s polrkoordinti klcsnsen kifejezhetok egymssal.
r=
Tartalom | Trgymutat
x2 + y 2 ,
tg =
/ 39 .
Analzis
Tartalom | Trgymutat
Tartalom | Trgymutat
/ 40 .
Analzis
Tartalom | Trgymutat
ia = a cos
+ i sin
.
2
2
alakot
eredmnyez:
3.1. Ttel: (Moivre). Ha z1 = r1 (cos 1 + i sin 1 ), z2 = r2 (cos 2 + i sin 2 )
tetszoleges komplex szmok, akkor szorzatuk:
z1 z2 = r1 r2 (cos(1 + 2 ) + i sin(1 + 2 )).
Bizonyts. Elemi trigonometrikus addcis ttelek alkalmazsval kapjuk, hogy
z1 z2 = r1 r2 (cos 1 + i sin 1 )(cos 2 + i sin 2 ) =
= r1 r2 (cos 1 cos 2 sin 1 sin 2 + i sin 1 cos 2 + i cos 2 sin 1 =
= r1 r2 (cos(1 + 2 ) + i sin(1 + 2 )).
/ 41 .
Hatvnyozs s gykvons
/ 42 .
Analzis
Tartalom | Trgymutat
kzepu,
/2 szgu,
pozitv irny elforgatsnak felel meg. Hasonlan, a
(1)-gyel val szorzs egy orig kzepu,
szgu
elforgatst jelent, ami
ekvivalens az origra val tkrzssel.
3.2. Kvetkezmny: . Ha z1 = r1 (cos 1 + i sin 1 ) s z2 = r2 (cos 2 +
i sin 2 ) tetszoleges komplex szmok (z2 6= 0), akkor kettojk hnyadosa:
z1
r1
= (cos(1 2 ) + i sin(1 2 )).
z2
r2
Specilisan, ha z = r(cos + i sin ) 6= 0 tetszoleges, akkor
1
1
= (cos i sin ).
z
r
2
2
+i
2
2
Tartalom | Trgymutat
/ 42 .
Hatvnyozs s gykvons
/ 43 .
Analzis
Tartalom | Trgymutat
Az elozo Kvetkezmnybol trigonometrikus azonossgok sora vezetheto le azltal, hogy az n-edik hatvny mg a binomilis ttel alapjn is
kiszmthat. Pl. legyen a z komplex szm z = cos + i sin alak (ekkor
abszolt rtke 1!), akkor egyrszt a binomilis ttelbol:
z 3 = cos3 + 3i cos2 sin 3 cos sin2 i sin3 ,
msrszt az elozo Kvetkezmnybol:
z 3 = cos 3 + i sin 3,
ahonnan a vals s kpzetes rszek sszehasonltsval az albbi sszefggseket nyerjk:
cos 3 = cos3 3 cos sin2 ,
r cos
+ 2k
+ 2k
+ i sin
n
n
(k = 0,1,...,n 1).
A fenti wk szmokat a z komplex szm n-edik gykeinek nevezzk. Ezek elhelyezkedse a komplex szmskon szemlletes: egy
orig kzepu,
n r sugar, szablyos n-szg cscsaira illeszkednek.
Tartalom | Trgymutat
/ 43 .
Hatvnyozs s gykvons
/ 44 .
Analzis
Tartalom | Trgymutat
cos
3
2
+ 2k
+ i sin
4
3
2
+ 2k
4
(k = 0,1,2,3), azaz:
cos
3
7
7
11
11
15
15
3
+ i sin
, cos
+ i sin
, cos
+ i sin
, cos
+ i sin
.
8
8
8
8
8
8
8
8
2k
2k
+ i sin
n
n
(k = 0,1,...,n 1)
/ 44 .
Analzis
Tartalom | Trgymutat
Algebrai egyenletek
/ 45 .
Tartalom | Trgymutat
/ 45 .
Algebrai egyenletek
/ 46 .
Analzis
Tartalom | Trgymutat
=a
b
z+
2a
b
2a
z=
2
2
b +
= a z2 + 2
b2
c
2+
4a
a
b2 4ac
,
4a2
b
c
z+
2a
a
= 0,
azaz
b2 4ac
.
2a
Megolds. z = 2+ 4410
. A (36) szm komplex ngyzetgykei: 6i s (6i), gy a
2
kt megolds: z1 = 1 + 3i, s z2 = 1 3i.
gy a kt megolds: z1 = 23 12 i, s z2 = 23 21 i.
Tartalom | Trgymutat
3 s 3,
/ 46 .
Algebrai egyenletek
/ 47 .
Analzis
Tartalom | Trgymutat
z=
b +
b+ b2 4ac
, innen pedig
2a
b2 4ac
.
2a
1
z3
= 2.
Megolds. Szorozva z 3 -nal, kapjuk, hogy z 6 + 2z 3 + 1 = 0. Ez z 3 -ra nzve msodfok egyenlet, melynek egyetlen megoldsa z 3 = 1. Innen z rtkeit komplex
kbgykvonssal kapjuk. ttrve trigonometrikus alakra: 1 = cos + i sin ,
innen 3 klnbzo megoldst kapunk:
z1 = cos
z2 = cos
z3 = cos
+ i sin ,
3
3
+ 2
+ 2
+ i sin
= cos + i sin = 1,
3
3
+ 4
5
5
1
+ 4
3
+ i sin
= cos
+ i sin
= i
.
3
3
3
3
2
2
Tartalom | Trgymutat
/ 47 .
Feladatok
/ 48 .
Analzis
Tartalom | Trgymutat
3.6. Feladatok
1. Szmtsuk ki az
1 + i + i2 + i3 + ... + i2006
1 i + i2 i3 + ... + i2006
kifejezs rtkt.
2. Vgezzk el az albbi osztsokat: (a)
2+5i
14i ,
(b)
5+4i
2+6i .
3.
Hatrozzuk
meg az
albbi komplex szmok trigonometrikus
alakjt: (a) 1 + i 3,
(b) 3 i,
(c) 2 + 2i.
4. A Moivre-ttel szerint
cos + i sin
6
3
cos + i sin
3
6
= cos
+ i sin
2
2
!
1
3
3
3
3
3
1
2
2
=
+i
+i
(1 + i) =
(1 + 2i + i ) = i
2
2
2
2
4
4
2
addik. A jobb oldal ugyanakkor i. Hol a hiba a gondolatmenetben?
5. Legyen z := cos 3 + i sin 3 . Szmtsuk ki az
sszeget.
6. Szmtsuk ki az (a)
kt.
18
2 3
3+3i
s a (b)
3
2
1
z2
6
12 i
1
z
+ 1 + z + z2
hatvnyok rt-
Szmt-
1999
/ 48 .
Feladatok
/ 49 .
Analzis
Tartalom | Trgymutat
Tartalom | Trgymutat
1
z2
/ 49 .
Feladatok
/ 50 .
Analzis
Tartalom | Trgymutat
Megoldsok
1. Figyelembe vve az i-hatvnyokra vonatkoz sszefggseket:
1 + i + i2 + i3 = i4 + i5 + i6 + i7 = ... = 0
s
1 i + i2 i3 = i4 i5 + i6 i7 = ... = 0.
A szmll s a nevezo tagjait teht ngyesvel csoportosthatjuk. Egy-egy
ngyes csoport sszege 0, innen
1 + i + i2 + i3 + ... + i2006
i2004 + i2005 + i2006
1+i1
=
=
= 1.
1 i + i2 i3 + ... + i2006
i2004 i2005 + i2004
1i1
2. (a)
(b)
2 + 5i 1 + 4i
18 + 13i
18
13
2 + 5i
=
=
= +i .
1 4i
1 4i 1 + 4i
1 + 16
17
17
5 + 4i
5 + 4i 2 6i
34 22i
17
11
=
=
=
i .
2 + 6i
2 + 6i 2 6i
4 + 36
20
20
3. (a)
(b)
(c)
1 + i 3 = 2 cos + i sin
.
3
3
11
11
3 i = 2 cos
+ i sin
.
6
6
3
3
2 + 2i = 2 2 cos
+ i sin
.
4
4
Tartalom | Trgymutat
/ 50 .
Feladatok
/ 51 .
Analzis
Tartalom | Trgymutat
6. (a)
2 3
2
2(1 i 3)
=
=
3 + 3i
1+i 3
(1 + i 3)(1 i 3)
2(1 i 3)
1
5
5
3
=
= i
= cos
+ i sin .
1+3
2
2
3
3
Innen
(b)
3
2
!18
2 3
18 5
18 5
= cos
+ i sin
= 1.
3
3
3 + 3i
11
21 i = cos 11
6 + i sin 6 , innen
!6
3 1
i
2
2
7. 1 i =
= cos 11 + i sin 11 = 1.
7
2 cos 7
4 + i sin 4 , innen
z0 =
z1 =
z2 =
z3 =
7
7
+ i sin
2 cos
,
16
16
7
2 cos
+
16
2
7 2
2 cos
+
16
2
7 3
2 cos
+
16
2
7
+ i sin
+
16
2
= iz0 ,
7 2
+ i sin
+
16
2
7 3
+ i sin
+
16
2
= z0 ,
= iz0 .
Kvetkezskpp z0 + z1 + z2 + z3 = 0.
Megjegyezzk, hogy ehhez a gykk konkrt kiszmtsa nem kellett,
csak a z1 = iz0 , z2 = z0 , z3 = iz0 sszefggsek felismerse!
8. Azon komplex szmok, melyek 3-ik hatvnya i, az i szm komplex
5
9
9
kbgykei, azaz a cos 6 + i sin 6 , cos 5
6 + i sin 6 , cos 6 + i sin 6 szmok.
Ezek 5-ik hatvnyai:
5
5
cos
+ i sin ,
6
6
25
25
+ i sin
= cos + i sin ,
cos
6
6
6
6
Tartalom | Trgymutat
/ 51 .
Feladatok
/ 52 .
Analzis
Tartalom | Trgymutat
s
cos
45
3
3
45
+ i sin
= cos
+ i sin .
6
6
6
6
9. Az egyenlet megoldsa nlkl: mivel az egyenlet vals egytthats, a diszkriminns pedig negatv, a kt komplex gyk egyms
1999
= 1.
3
10. Az egyenlet ekvivalens az albbival: z 6 = i = cos 3
2 + i sin 2 . Innen
z = cos
3 + 4k
3 + 4k
+ i sin
12
12
(k = 0,1,2,3,4,5)
z =
ezrt
1 + 24
=
2
3 = 3(cos 2 + i sin 2)
2 = 2(cos + i sin )
2
2
3
3 cos
+ i sin
,
3
3
4
4
3
,
z2 = 3 cos
+ i sin
3
3
6
6
3
3
z3 = 3 cos
+ i sin
= 3,
3
3
3
,
z4 = 2 cos + i sin
3
3
3
3
3
3
z5 = 2 cos
+ i sin
= 2,
3
3
5
5
3
z6 = 2 cos
+ i sin
.
3
3
z1 =
z =
2+
48
2 2i
=
=
4
4
Tartalom | Trgymutat
2
2
2
2
cos 4 + i sin 4
3
cos 3
4 + i sin 4
/ 52 .
Feladatok
/ 53 .
Analzis
Tartalom | Trgymutat
ezrt
z1 =
s
cos + i sin
,
2
8
8
5
5
2
cos
+ i sin
,
z2 =
2
8
8
s
2
3
3
z3 =
cos
+ i sin
,
2
8
8
s
7
2
7
cos
+ i sin
.
z4 =
2
8
8
Tartalom | Trgymutat
/ 53 .
Vals szmsorozatok
/ 54 .
Analzis
Tartalom | Trgymutat
4. Vals szmsorozatok
Legyen X egyelore tetszoleges halmaz.
Sorozat:
Egy f : N X fggvnyt, melyre Df = N, X-beli sorozatnak neveznk.
Specilisan, ha X = R (vagy X = C), akkor vals (ill. komplex)
szmsorozatrl beszlnk.
A kialakult szoks szerint az f (1),f (2),f (3),... fggvnyrtkekre inkbb az f1 ,f2 ,f3 ,... jellsekkel hivatkozunk, s a fggvny argumentumt
(az 1,2,3 stb. szmokat) a sorozat indexnek nevezzk. Az, hogy f egy
X-beli sorozat, szoks (kiss kvetkezetlenl) az (fn ) X szimblummal
jellni. Magt az f sorozatot (ami teht egy fggvny) pedig szoks szerint
az (fn ) szimblummal jelljk, ahol fn a sorozat n-edik tagja.
Rszsorozat:
Ha (fn ) X egy X-beli sorozat, 1 < n1 < n2 < n3 < ... pedig termszetes
szmokbl ll szigoran nvekvo sorozat, akkor az fn1 ,fn2 ,fn3 ,... (rviden:
az (fnk ) X) sorozatot az eredeti (fn ) X sorozat egy rszsorozatnak
nevezzk.
Nyilvn minden sorozat rszsorozata nmagnak.
A fejezet tovbbi rszben vals szmsorozatokrl lesz sz. Mr itt megjegyezzk, hogy a legtbb fogalom s ttel nehzsg nlkl ltalnosthat
komplex szmsorozatok esetre is.
Sorozatokat legtbbszr explicit formulval adunk meg, pl. xn := n1
(n = 1,2,...). Szoksos mg az n. rekurzv megads is, amikor a sorozat
egy tagjt nem az indexvel, hanem a megelozo indexu tagok segtsgvel
definiljuk, pl.
x1 := A,
xn+1 := (1 + p)xn
(n = 1,2,...),
ahol p adott vals szm. (Ez a plda egy A nagysg toke vi p kamatlb
melletti venknti nvekedst rja le.) A rekurzv mdon megadott sorozat
sok esetben trhat explicit sorozatt. Az elozo pldban:
xn = A (1 + p)n1
(n = 1,2,...).
Tartalom | Trgymutat
/ 54 .
Analzis
Tartalom | Trgymutat
Konvergencia:
Azt mondjuk, hogy az (xn ) R szmsorozat konvergens, spedig az x R
szmhoz tart, ha minden > 0 szmhoz van olyan N N n. kszbindex, hogy minden n N indexre |xn x| < teljesl. Ezt a tnyt gy
jelljk: xn x vagy lim xn = x . Az x szmot a sorozat hatrrtknek,
vagy limesznek nevezzk. A nem konvergens sorozatokat divergensnek is
nevezzk.
Ha (xn )-et egy bonyolultabb kifejezs definilja, s nem nyilvnval, hogy
mi a sorozat indexe, akkor szoks mg az xn x (n +) vagy a
limn+ xn = x jellsek hasznlata.
Szemlletesen: a sorozat "nagy indexu"
tagjai tetszoleges pontossggal
megkzeltik az x szmot.
A defincibl nyilvnval, hogy sem a konvergencia tnye, sem a
hatrrtk nem vltozik, ha a sorozat vges sok tagjt megvltoztatjuk.
A ksobiekben, a kialakult gyakorlat szerint az (xn ) R sorozat jellsre mindig az (xn ) szimblumot hasznljuk, s nem x-et (egyb
fggvnyek jellstol eltroen). Nem fog teht flrertst okozni, ha az
(xn ) sorozat hatrrtkt esetenknt x-szel jelljk.
Nem hivatalos hasznlatra bevezetjk a kvetkezo elnevezst ill. szhasznlatot. Azt mondjuk, hogy valamely tulajdonsg egy sorozat
majdnem minden tagjra teljesl, ha az illeto tulajdonsg csak vges sok
indexre nem teljesl, azaz, ha valamely indextol kezdve az sszes tovbbi indexre teljesl. Ezzel a szhasznlattal: egy (xn ) R szmsorozat
konvergens, s xn x, ha brmely (brmilyen kicsi) > 0 szm esetn
a sorozat majdnem minden tagja -nl kzelebb esik x-hez.
Nyilvnval, hogy konvergens sorozat minden rszsorozata is konvergens,
s az eredeti sorozat hatrrtkhez tart.
A definci nem tartalmazza a hatrrtk egyrtelmusgt,
azonban ltni
fogjuk, hogy (a szemllettel sszhangban) konvergens sorozatoknak
csak egy hatrrtkk van.
A zrushoz tart sorozatokat rviden zrussorozatoknak nevezzk.
Tartalom | Trgymutat
/ 55 .
Analzis
Tartalom | Trgymutat
A gyakorlatban hatrrtkekek szmtsakor jl felhasznlhat a konvergencia defincijnak albbi tfogalmazsa (a bizonytst az Olvasra
hagyjuk).
4.1. llts: . Tetszoleges (xn ) R sorozatra xn x pontosan akkor, ha
|xn x| 0.
Most egy, a konvergencinl jval egyszerubb,
de fontos s knnyebben
ellenorizheto fogalmat vezetnk be:
Korltos sorozat:
Azt mondjuk, hogy az (xn ) R sorozat korltos, ha az abszolt rtkekbol
kpezett {|xn | : n N} szmhalmaz fellrol korltos R-ben, azaz, ha
van oly C 0 szm, hogy |xn | C teljesl minden n N indexre. Az
(xn ) R sorozat fellrol (alulrl) korltos, ha a sorozat tagjaibl kpezett
{xn : n N} szmhalmaz fellrol (alulrl) korltos R-ben.
A korltossg a konvergencinl gyengbb fogalom, amint azt a kvetkezo
llts is mutatja.
4.2. llts: . Minden (xn ) R konvergens sorozat korltos is.
Bizonyts. Legyen xn x. Akkor specilisan az := 1 szmhoz is van oly N N
kszbindex, hogy minden n N esetn |xn x| < 1, azaz vges sok kivtellel a
sorozat tagjai 1-nl kzelebb vannak x-hez, teht lefedhetok az (x 1,x + 1) vges
hosszsg intervallummal. A kivteles tagok szintn lefedhetok egy alkalmas
vges hosszsg intervallummal, ezrt ez a sorozat sszes tagjra is igaz, azaz a
sorozat korltos.
4.2. Plda: Az xn :=
tart.
1
n
Tartalom | Trgymutat
/ 56 .
Analzis
Tartalom | Trgymutat
4.3. Plda: Az xn :=
tart.
1
n
Tartalom | Trgymutat
/ 57 .
Analzis
Tartalom | Trgymutat
xy
x+y
xy
=
=x
= x < xn ,
2
2
2
Tartalom | Trgymutat
/ 58 .
Analzis
Tartalom | Trgymutat
4.5. llts: (rendor elv). Ha (xn ),(yn ),(zn ) R olyan sorozatok, hogy
minden n indexre xn yn zn , tovbb (xn )-nek s (zn )-nek kzs
hatrrtke van: lim xn = lim zn = x, akkor az (yn ) sorozat szksgkpp
konvergens s hatrrtke ugyanez a kzs rtk: lim yn = x.
Bizonyts. A felttel miatt xn x yn x zn x. Ha most yn x 0
teljesl, akkor |yn x| |zn x| ; ha pedig yn x < 0, akkor |yn x| |xn x|.
Mindenkpp igaz teht, hogy: |yn x| |xn x| + |zn x|. Legyen most
> 0 tetszoleges. Ekkor lteznek N1 N s N2 N kszbindexek gy, hogy
|xn x| < 2 minden n N1 -re, s |xn z| < 2 minden n N2 -re. Jellje N a
kt kszbindex kzl a nagyobbikat, akkor minden n N -re xn x < 2 s
xn z < 2 , innen |yn x| |xn x| + |zn x| < , azaz yn x.
felcserlheto:
4.6. llts: . Tegyk fel, hogy (xn ),(yn ) R konvergens sorozatok, xn
x, yn y, s legyen c R tetszoleges szm. Akkor:
(a) (xn + yn ) is konvergens s xn + yn x + y,
(b) (xn yn ) is konvergens s xn yn x y,
(c) (c xn ) is konvergens s c xn cx,
(d) (xn yn ) is konvergens s xn yn xy,
(e) xynn is konvergens s xynn xy (feltve, hogy y 6= 0).
Bizonyts. Pldakppen (d)-t igazoljuk, a tbbit az Olvasra bzzuk.
|xn yn xy| = |xn yn xn y + xn y xy| |xn | |yn y| + |y| |xn x|.
mde (xn ) konvergens lvn, korltos is, gy alkalmas C 0 konstans mellett
|xn yn xy| C (|yn y| + |xn x|) . Kvetkezskpp a jobb oldal zrushoz tart,
innen pedig xn yn xy.
Tartalom | Trgymutat
/ 59 .
Analzis
Tartalom | Trgymutat
3 + n 5n2
2 10n + 2n2
(n N).
2
n
n
mert
1
n
0 s
1
n2
0.
xn := n + 2 n (n N).
n+2+ n
n+2n
2
xn = ( n + 2 n)
=
=
.
n+2+ n
n+2+ n
n+2+ n
Innen
1
2
2
= 0,
n+ n
n
n+2+ n
ahonnan xn 0 kvetkezik.
|xn | =
4.9. Plda: Szmtsuk ki az albbi rekurzv mdon megadott sorozat hatrrtkt (ha az ltezik):
3
x1 := 0 s xn+1 := xn 4
5
(n N).
/ 60 .
Analzis
Tartalom | Trgymutat
n
n
3
3
(x1 + 10) = 11
0,
= ... =
5
5
amivel igazoltuk, hogy a sorozat valban konvergens, s jra megkaptuk, hogy a
hatrrtk (10)-zel egyenlo.
1
|I0 | 0,
2k
Tartalom | Trgymutat
/ 61 .
Analzis
Tartalom | Trgymutat
2 + xn
(n = 1,2,...)
rekurzv sorozatot. Ennek tagjai: 0, 2, 2 + 2, 2 + 2 + 2,..., ahonnan vilgos, hogy a sorozat monoton nvo. Kiszmtva az elso nhny
tagot, sejtheto, hogy xn 2 teljesl minden n-re. Ez valban gy is van,
ezt teljes indukcival igazoljuk. Az llts n = 1-re nyilvn igaz. Tegyk
fel, hogyvalamely n 1 indexre igaz, s vizsgljuk az lltst (n + 1)-re:
xn+1 = 2 + xn 2 + 2 = 2, teht llts (n + 1)-re is igaz, ennlfogva valamennyi n indexre igaz. A sorozat teht monoton nvo s fellrol
korltos, gy konvergens is. A rekurzv sorozat hatrrtkt ezek utn
knnyen kiszmthatjuk: jellje x := lim xn , akkor a rekurzv defincibl
x2n+1 := 2 + xn addik. A baloldal x2 -hez, a jobboldal (2 + x)-hez tart, gy
az x hatrrtk megoldsa az x2 = 2 + x msodfok egyenletnek, azaz
x = 2 (az egyenlet msik gyke negatv, ami nem jhet szmtsba, lvn a
sorozat tagjai pozitvak).
A gyakorlatban sokszor elofordul a divergens sorozatok egy specilis osztlya, melyre ezrt kln elnevezst vezetnk be:
Tartalom | Trgymutat
/ 62 .
Analzis
Tartalom | Trgymutat
1
xn
reciprok sorozat
Bizonyts. Csak az xn + esetet igazoljuk, a msik eset hasonlan bizonythat. Legyen > 0 tetszoleges, akkor az 1/ szmhoz van oly N
N kszbindex,
1
1
hogy minden n N -re xn > . Innen minden n N -re xn = x1n < , teht
1
xn
0.
Tartalom | Trgymutat
/ 63 .
Analzis
Tartalom | Trgymutat
Cauchy-sorozatok
/ 64 .
4.3. Cauchy-sorozatok
A konvergencia defincijnak gyakorlati alkalmazst sokszor nehzz
teszi, hogy a definci tartalmazza magt a hatrrtket is. Ha egy sorozatrl csak azt szeretnnk eldnteni, hogy konvergens-e, a definci alkalmazshoz meg kell sejteni a hatrrtket is, ami nem mindig egyszeru.
+ = ,
2 2
/ 64 .
Analzis
Tartalom | Trgymutat
Specilis hatrrtkek
/ 65 .
Meglepo mdon az llts megfordthat, teht a Cauchy-tulajdonsg ekvivalens a konvergencival. Ez azonban mr egyltaln nem nyilvnval.
4.3. Ttel: . Minden Cauchy-sorozat konvergens.
Bizonyts. Legyen (xn ) R Cauchy-sorozat, akkor korltos is, gy (a Bolzano
Weierstrass-ttel miatt) kivlaszthat belole konvergens (xnk ) rszsorozat.
Jellje x := lim xnk . Megmutatjuk, hogy az eredeti (xn ) sorozat is x-hez tart.
Legyen > 0 tetszoleges, akkor /2-hz van oly N kszbindex, hogy minden
n,m N -re |xn xm | < /2 (mert (xn ) Cauchy-sorozat), tovbb van oly M
kszbindex is, hogy minden k M -re |xnk x| < /2 (mert xnk x ). Jellje L
e kt kszbindex kzl a nagyobbikat. Mivel nyilvn nk k, azrt
|xn x| = |xn xnk + xnk x| |xn xnk | + |xnk x|
+ = .
2 2
Br a bizonyts technikja az elozoknl nem nehezebb, a ttel lltsa sokkal mlyebb: a bizonytsbl kiderl, hogy a ttel a Bolzano
Weierstrass-ttelen mlik, az pedig, mint mr lttuk, a Cantor-aximn.
Mindegyik ttel teht a vals szmokat alapvetoen jellemzo hzagmentessg folyomnya.
a 1 (n +).
a = n a = 1 + n a 1 1 + n( n a 1)
a1
a1
n
Tartalom | Trgymutat
/ 65 .
Specilis hatrrtkek
/ 66 .
Analzis
Tartalom | Trgymutat
4.15. Plda: xn :=
n 1 (n +).
4.16. Plda: xn :=
n! + (n +).
xn+1
xn
n+1
=
(n + 1)!
(n!)
n+1
n
n+1
=
=
(n!)1/n
n+1 n+1
n+1
...
1
2
n
(n + 1)n
n!
1/n
=
1/n
1,
= (nn )1/2n = n +.
Az (xn ) sorozat teht monoton nvo, s van a (+)-hez tart rszsorozata, gy
maga is a (+)-hez tart.
4.17. Plda: Az xn := 1 +
1
n
n
(n N) sorozat konvergens.
n
n
n
!n+1
1 + 1 + n1 + 1 + n1 + ... + 1 + n1
=
n+1
Tartalom | Trgymutat
/ 66 .
Specilis hatrrtkek
/ 67 .
Analzis
Tartalom | Trgymutat
=
1+n+1
n+1
n+1
=
1+
1
n+1
n+1
= xn+1 .
2 2
n
n
n
4
1
2
1
2
+ 1+
1
n
=4
!n+2
+ 1 + n1 + ... + 1 + n1
=
n+2
1+n+1
n+2
n+1
= 4.
A
o paradoxon. Mivel (xn ) csupa
fentisorozattal kapcsolatos a kvetkez
1
1 + n tnyezok szorzata, azt gondolhatnnk, hogy xn 1, hiszen mindegyik tnyezo nyilvnvalan 1-hez tart. A hiba a gondolatmenetben ott van,
hogy rosszul alkalmaztuk a hatrrtkekre vonatkoz alapsszefggseket.
Ezekbol ui. csak az kvetkezik, hogy tetszoleges, de rgztett szm sorozat
szorzatnak hatrrtke megegyezik a hatrrtkek szorzatval. Jelen
esetben pedig a tnyezok szma is n fggvnye.
4.18. Plda: Az xn := 1
1
n
n
(n N) sorozat konvergens.
=
1
e
1
1
1
n+1
n+1 =
n+1
n
n+1
=
1
1+
n
n
1
1+
e,
n
mr kvetkezik.
Tartalom | Trgymutat
/ 67 .
Konvergenciasebessgek sszehasonltsa
/ 68 .
Analzis
Tartalom | Trgymutat
n
n
n
nk
=
=
,
an
an
bn
(1 + (b 1))n
ahol b := a1/2k < 1. A trt nevezojt a Bernoulli-egyenlotlensggel cskkethhetjk,
innen:
!2k
2k
1
n
n
n
0.
= 1
an
1 + n(b 1)
n + (b 1)
an
n! .
1/n
(mert n n! +). Legyen := 12 . Mivel az (xn ) sorozat konvergens, ehhez van
oly N kszbindex, hogy az ezt meghalad n indexekre:
0 < x1/n
<
n
innen pedig 0 < xn <
1
2n
Tartalom | Trgymutat
1
,
2
0, azaz valban, xn 0.
/ 68 .
Feladatok
/ 69 .
Analzis
Tartalom | Trgymutat
4.6. Feladatok
1. Igazoljuk, hogy az x0 := 0, xn+1 := x2n
mdon definilt sorozat monoton fogy.
1
4
(n = 0,1,2,...) rekurzv
n2
(n N).
n
(n N).
n2 + 2n n3 + 3n2
2
n+3
n 2
(c)
(n = 1,2,...),
an :=
2n2 + 2
2n+2 2
(n = 1,2,...),
an :=
n3 + 4n
n5 4n
(n = 1,2,...),
(d)
(e)
an :=
(1 + 2n2 )3
(1 + 3n3 )2
(n = 1,2,...).
an+1 := 1000 +
an
1001
(n = 0,1,2,...)
/ 69 .
Feladatok
/ 70 .
Analzis
Tartalom | Trgymutat
(b)
1
1
an
2
an
a1 := 2,
an+1 :=
(n = 1,2,...).
n
Tartalom | Trgymutat
/ 70 .
Feladatok
/ 71 .
Analzis
Tartalom | Trgymutat
Megoldsok
1. Ugyanis
xn+1 xn =
x2n
2. Felhasznljuk, hogy 1 +
indexre 1 +
1
n
n
1
n
1
1
xn = xn +
4
2
n
2
< 0.
2. Innen
1
1+
n
n2
s ezrt
1
1+
n
2n +,
n2
+.
n
3. Felhasznljuk, hogy 1 + n1
e, mghozz monoton nvo mdon.
Ezrt
s
2
1 n
1 n
n
1 1+ 2
=
1+ 2
n e 1.
n
n
Kvetkezskpp a kzrefogott 1 +
4. (a)
an =
1
n2
1+
n
1
n
2+
1
n
3+
1
n
123
1
(n + 1)(2n + 1)(3n + 1)
=
= .
1
1
1
(4n + 1)(5n + 1)(6n + 1)
4
6
20
4+ n 5+ n 6+ n
(b)
an =
=
n2 + 2n n3 + 3n2
2
=
n+3
n 2
4
4 11
4n3 11n2 4n
n n2
=
4.
n3 + 3n2 2n 6
1 + n3 n22 n63
(c)
an =
1
1
2
n
2n2 + 2
1
4 2 +2
4 + 2n
.
=
=
2
n+2
n
2
2
42 2
16
4 2n
Tartalom | Trgymutat
/ 71 .
Feladatok
/ 72 .
Analzis
Tartalom | Trgymutat
(d)
an =
n3 + 4n
=
n 5 4n
n3
4n
n5
4n
+1
1
1.
(e) .
an =
1
n6
+
1
n6
6
n4
6
n3
12
n2
+8
8
.
9
+9
5. Mindenekelott kiszmtjuk, hogy ha a sorozat egyltaln konvergens, akkor mi lehet a hatrrtke. Jellje a := lim an , akkor a rekurzv defincibl:
a
a = 1000 + 1001
, azaz a = 1001.
Most megmutatjuk, hogy a sorozat valban konvergens (egyttal jra
megmutatva, hogy (1001)-hez tart):
an + 1001 = 1 +
an1
1
=
(an1 + 1001).
1001
1001
1
1
(an2 + 1001) = ... =
(a0 + 1001) =
10012
1001n
=
1001
0.
1001n
Tartalom | Trgymutat
/ 72 .
Vgtelen sorok
/ 73 .
Analzis
Tartalom | Trgymutat
5. Vgtelen sorok
Ebben a rszben specilis sorozatokrl lesz sz, amelyek azonban szmos
terleten annyira fontosak, hogy a sorozatok ltalnos elmlettol elklntve trgyaljuk. Elljrban kiemeljk, hogy a sorok bevezetse vgtelen
tagszm sszeg pontos definilst jelenti. Ltni fogjuk, hogy a vges
sszegek jl ismert tulajdonsgai itt mr nem mindig igazak.
A trgyalst a vals szmok krben vgezzk, de megemltjk, hogy
komplex tag sorok bevezetse is nehzsg nlkl, a valshoz hasonlan
trtnhet.
n
P
(n N)
k=1
ak
k=1
ak
k=1
ak =
k=1
ak = ).
k=1
k=1
Tartalom | Trgymutat
/ 73 .
Analzis
Tartalom | Trgymutat
q k = 1 + q + q 2 + q 3 + ...
k=0
1
1q .
Bizonyts.
Sn = 1 + q + q 2 + q 3 + ... + q n .
Ez a soktag sszeg zrt alakra hozhat, mert
(1 q)Sn = 1 + q + q 2 + q 3 + ... + q n (q + q 2 + q 3 + ... + q n + q n+1 ) = 1 q n+1 ,
ahonnan
Sn =
1 q n+1
1
qn
1
=
q
.
1q
1q
1q
1q
k=1 1
= 1+1+1+...
1
1
1
1
=
+
+
+ ...
k(k + 1)
12 23 34
k=1
sor konvergens, sszege 1.
Bizonyts.
1
1
1
1
+
+
+ ... +
=
12 23 34
n(n + 1)
1 1
1 1
1 1
1
1
=
+ ... +
=
1 2
2 3
3 4
n n+1
Sn =
=1
Tartalom | Trgymutat
1
1.
n+1
/ 74 .
Konvergenciakritriumok
/ 75 .
Analzis
Tartalom | Trgymutat
5.3. Plda: A
X
1
k2
k=1
1
1
1
+
+
+ ...
12 22 32
1 2
2 3
3 4
n1 n
n
Sn =
5.2. Konvergenciakritriumok
Sorozatokra a Cauchy-tulajdonsg ekvivalens a konvergencival. Ennek a
tnynek specilisan egy sor rszletsszegeire val tfogalmazsa azonnal
egy konvergenciakritriumot eredmnyez a sorokra vonatkozan.
5.1. llts: (Cauchy-kritrium sorokra). A
k=1
X
1
k=1
k=n
1 1 1
+ + + ...
1 2 3
/ 75 .
Konvergenciakritriumok
/ 76 .
Analzis
Tartalom | Trgymutat
k=1
ak sor
k=1
biztosan divergens.
A fenti kvetkezmny megfordtsa nem igaz. Abbl, hogy an 0, mg
nem kvetkezik a
k=1
/ 76 .
Konvergenciakritriumok
/ 77 .
Analzis
Tartalom | Trgymutat
5.5. Plda: Az 1
1
2
1
3
1
4
k=1
k=1
eredeti
P
k=1
k=1
ak
bk .
k=1
P
Mivel
bk konvergens, azrt -hoz van oly N N kszbindex, hogy minden
k=1
m n N indexekre
m
P
k=n
teht az eredeti
k=n
k=n
k=1
X
X
X
X
bk
bk ,
ak
|ak |
|Sn | =
k=1
k=1
k=1
k=1
k=1
bk ,
k=1
Tartalom | Trgymutat
/ 77 .
Konvergenciakritriumok
/ 78 .
Analzis
Tartalom | Trgymutat
X
X
ak
bk .
k=1
k=1
X
1
k=1
1
1
1
+ + + ...
1
2
3
P
k=1
1
k2
maga is konvergens.
Abszolt konvergencia:
Az
k=1
bol kpzett
k=1
k=1
k=1
ak sor is konvergens.
k=1
/ 78 .
Konvergenciakritriumok
/ 79 .
Analzis
Tartalom | Trgymutat
k=0
k=0
abszolt konvergens.
k=0
p
n
qk
k=0
5.7. Plda: A
X
k
k=0
3k
/ 79 .
Konvergenciakritriumok
/ 80 .
Analzis
Tartalom | Trgymutat
n
|an | =
n
.
3
n
p
2n
2
n
|an |
= ,
3
3
amibol szintn kvetkezik a sor abszolt konvergencija.
(ill. az
q
n
|an |
q
1
1 + lim n |an | < 1
2
k=0
an+1
sorozat
konvergens,
s
lim
(a) Ha az an+1
an
an < 1, akkor a sor abszolt
konvergens,
p kvetkezskpp konvergens is.
p
(b) Ha az n |an | sorozat konvergens, s lim n |an | < 1, akkor a sor abszolt
konvergens, kvetkezskpp konvergens is.
Ha valamelyik szban forg hatrrtk pp 1-gyel egyenlo, akkor a konvergencia azzal a kritriummal nem dntheto el. Pl. a harmonikus sor
Tartalom | Trgymutat
/ 80 .
Konvergenciakritriumok
/ 81 .
Analzis
Tartalom | Trgymutat
n
s a hiperharmonikus sor esetn an+1
|an | is egyarnt 1-hez tartaan is s
nak, ugyanakkor a harmonikus sor divergens, mg a hiperharmonikus sor
konvergens.
Gyakori hiba a hnyadosalkalmazsakor, hogy csak
s gykkritrium
p
an+1
n
azt ellenorizzk, hogy an < 1 ill. |an | < 1 teljesl-e, s ha igen, ebbol
|an | szm egy 1-nl kisebb pozitv konstans alatt kell, hogy maradjon, mghozz n-tol fggetlenl. A fenti
gondolatmenet hibjt ismt jl pldzza
an+1
n
, ami mindig kisebb 1-nl, de a sor
a harmonikus sor, ahol an = n+1
hogy az an+1
an hnyados ez alatt maradna minden n indexre.
Tovbbi pldk.
5.8. Plda: Legyen |x| < 1 tetszoleges vals szm. Akkor a
nxn sor
k=0
abszolt konvergens.
Bizonyts. A hnyadoskritriummal
an+1 (n + 1)|x|n+1
n+1
= |x|
|x| < 1.
an =
n
n|x|
n
A gykkritriumot is hasznlhatnnk, mivel
p
n
|an | = |x| n n |x| < 1.
Mindkt esetben a kritrium teljesl, amibol az abszolt konvergencia kvetkezik.
k=1
k=1
P
bk
k=1
= +, akkor az eredeti
k=1
Bizonyts. Ha
a
k=1
bk -nak, gy
k=1
k=1
Tartalom | Trgymutat
/ 81 .
Sorok Cauchy-szorzata
/ 82 .
Analzis
Tartalom | Trgymutat
k=1
p
n
k=1
Az utbbi hrom lltsban a divergencia tnye (a konvergenciakritriumokhoz hasonlan) akkor is igaz marad, ha a tett felttelek nem mindegyik
n indexre teljeslnek, hanem csak valamely N kszbindexet meghalad
indexekre.
ak s a
k=0
k=0
ck vgtelen
k=0
k
X
j=0
k=0
ak xk s a Q(x) :=
k=0
ak ,
k=0
Tartalom | Trgymutat
/ 82 .
Sorok Cauchy-szorzata
/ 83 .
Analzis
Tartalom | Trgymutat
Q(1) =
bk , s P (1)Q(1) =
k=0
ck , azaz
k=0
ak
bk
k=0
k=0
ck ,
k=0
k=0
akkor, amikor vgtelen sok ak ,bk egytthat klnbzik 0-tl (mr lttuk, hogy vgtelen tag sszeg esetn nem
felttlen
az
teljesl
sszeg asszociativitsa). Vrhat teht, hogy a fenti
ak
k=0
bk
k=0
k=0
ak s a
k=1
k=1
k=1
X
k=0
ak
bk
k=0
ck .
k=0
5.9. Plda: Legyen |x| < 1 tetszoleges vals szm. Mutassuk meg, hogy a
k=0
P
sor nem ms, mint az abszolt konvergens
xk mrtani sor nmagval kpezett
k=0
1
Cauchy-szorzata. Mivel e mrtani sor sszege 1x
, azrt
!
2
X
X
1
k
k
.
(k + 1)x =
x
=
(1 x)2
k=0
Tartalom | Trgymutat
k=0
/ 83 .
Analzis
X
xk
k=0
k!
=1+
x
x2 x3
+
+
+ ...
1!
2!
3!
5.6. llts: . Az
k
P
x
k! exponencilis sor minden x R esetn abszolt
k=0
konvergens.
Bizonyts. A hnyadoskritrium alapjn:
n+1
an+1
n!
|x|
= |x|
an (n + 1)! |x|n = n + 1 0,
teht a sor valban abszolt konvergens. (Megjegyezzk, hogy a gykkritriumot
is alkalmazhattuk volna.)
P
1
k! = e.
k=0
1
1
1
Bizonyts. Tekintsk a rszletsszegeket: Sn := 1+ 1!
+ 2!
+ 3!
.... Mr tudjuk, hogy
(Sn ) konvergens, jellje S := lim Sn . Megmutatjuk, hogy e S, s ugyanakkor
e S, innen e = S kvetkezik, amivel az llts igazolva lesz.
A binomilis ttelt hasznlva:
n
1
1+
=
n
= 1+
n(n 1)(n 2) 1
n(n 1)... 2 1 1
n 1 n(n 1) 1
+
2+
3 + ... +
n
1! n
2
n
3!
n
n!
n
1+
n2 1
n3 1
nn 1
n 1
+
2+
3 + ... +
=
1! n
2! n
3! n
n! nn
1
1
1
1
= 1 + + + + ... + .
1! 2! 3!
n!
Tartalom | Trgymutat
/ 84 .
Analzis
n
=1+
n(n 1)...(n m + 1) 1
n 1 n(n 1) 1 n(n 1)(n 2) 1
+
2+
3 +...+
m =
1! n
2
n
3!
n
m!
n
1
1
2
1
m1
1 n
1 n 1 n
1 n ... 1 n
1
=1+ +
+
+ ... +
.
1!
2!
3!
m!
Az n + hatrtmenetet vve kapjuk, hogy
= 1+
e1+
1
1
1
1
+ + + ... +
1! 2! 3!
m!
Most megmutatjuk, hogy az exponencilis sor, mint x fggvnye, teljesti hatvnyozs azonossgait.
5.8. llts: . Tetszoleges x,y R szmokra teljesl, hogy:
exp(x + y) = exp(x) exp(y).
Bizonyts. Elg azt igazolni, hogy az exp(x) s az exp(y) sorok Cauchy-szorzata
pp exp(x + y).
Jellje c0 ,c1 ,c2 ,... a Cauchy-szorzat tagjait, akkor a binomilis ttelt alkalmazva:
x0 y k
x1
y k1
x2
y k2
xk y 0
+ ... +
=
0! k!
1! (k 1)!
2! (k 2)!
k! 0!
1
k!
k!
k! k
k
k1
2 k2
=
y +
xy
+
x y
+ ... +
x
=
k!
1!(k 1)!
2!(k 2)!
k!0!
1
k
k 2 k2
k k
1
yk +
xy k1 +
x y
+ ... +
x
= (x + y)k ,
=
k!
1
2
k
k!
ck =
Tartalom | Trgymutat
/ 85 .
Analzis
1
en
minden n N-re.
exp
q
p
q
= exp
p
= exp
q
p
p
+ ... +
q
q
p
q
p
q
... exp
= exp(p) = ep .
Ltjuk teht, hogy az exp fggvny megegyezik az e alap exponencilis fggvnnyel (legalbbis a racionlis szmok halmazn). Ezrt a
ksobbiekben az exp(x) jells helyett a szoksos ex jellst fogjuk hasznlni.
Ezt a rszt az exponencilis fggvnyre vonatkoz kt fontos egyenlotlensggel zrjuk:
5.9. llts: .
(a) Tetszoleges x R esetn ex 1 + x.
(b) Tetszoleges x R, 0 x 1 esetn ex 1 + 2x.
Bizonyts. (a) Legyen eloszr x 0, akkor
ex = 1 +
x
x2
x3
+
+
+ ... 1 + x,
1!
2!
3!
Tartalom | Trgymutat
/ 86 .
Analzis
Tartalom | Trgymutat
Feladatok
/ 87 .
y2 +
y 3 + ... 1,
2! 1!
3! 2!
mert minden elhagyott tag 0-nl nem nagyobb. Innen pedig ex (1 + x) 1, azaz
ex 1 + x kvetkezik.
(b)
x2
x3
1
1
x
2
x
+
+ ... 1 + x + x
+ + ...
e =1+ +
1!
2!
3!
2! 3!
1
1
1
1 + x + x2
+ 2 + 3 + ... 1 + 2x.
2 2
2
Itt felhasznltuk azt, hogy az 12 + 212 + 213 + ... vgtelen mrtani sor sszege 1,
valamint azt, hogy 0 x 1 esetn x2 x.
5.5. Feladatok
1. A legjabb kutatsok alkalmval rbukkantak egy eleddig ismeretlen
egyiptomi piramis romjaira. A piramis lpcsozetes volt, sok emelettel, de
hogy pontosan hny emeletes volt, azt nem tudni. Fennmaradt viszont egy
tredkes ptszeti lers, miszerint ...az elso emelet hossza s szlessge
legyen 288 knyk, magassga 40 knyk... Minden emelet legyen arnyosan kisebb, mint a megelozo... a harmadik emelet szlessge teht mr csak
200 knyk.... Hny knyk lehetett legfeljebb a piramis teljes magassga?
2. Konvergensek-e a kvetkezo sorok?
Tartalom | Trgymutat
/ 87 .
Feladatok
/ 88 .
Analzis
Tartalom | Trgymutat
(a)
1
k
sin
,
2
1+k
2
k=1
(b)
k3
k=1
(c)
k1
,
+ 2k + 1
X
k2 + k3 + k4
k=1
(d)
X
k=1
(e)
2k + 3k + 4k
k
k
+ 2
,
2
k 1 k +1
X
k=1
(f )
X
k=1
(g)
1
1+
k
k 2
1
1
k
k 2
X
k1 k
k=1
(h)
X
1
,
k
k=1 2
(i)
1
1
1
1
+ 2 + 2 + 2 + ... .
2
1
3
5
7
ak sor?
k=1
3
k
P
P
k
3
sor?
Konvergens-e
a
sor?
k
k3
3
k=1
k=1
5. Konvergens-e a
X
sin k
2
k=1
Tartalom | Trgymutat
2k
/ 88 .
Analzis
Tartalom | Trgymutat
Feladatok
/ 89 .
Tartalom | Trgymutat
/ 89 .
Feladatok
/ 90 .
Analzis
Tartalom | Trgymutat
Megoldsok
1. A tredkbol kiderl, hogy az emeletek adatai azonos q kvciensu
mrtani sorozatot alkotnak. A kvciens rtke a szlessgadatokbl
10
szmthat: q 2 = 200
288 , innen q = 12 . Az egyes emeletek magassgai innen
P
qk
40, 40q, 40q 2 , 40q 3 ,... knyk. A teljes magassg teht legfeljebb a
k=0
2.
40
1 10
12
= 240 knyk.
P
1
konvergens hiperharmonik2
k=1
P
1
k=1
k2
konvergens hiperharmonikus
P
3k4
konvergens sor majorlja.
4k
Ez
k=1
3k n
1
1
n
= 3 ( n n)4 .
n
4
4
4
= 4
4 =
2
2
4
k
4
k 1 k +1
k 1
k 1
k3
k 2
Ezrt a
P
4
sor konvergens majorns sor, teht az eredeti sor konvergens.
k3
k=1
1+
1
n
n2
1.
Tartalom | Trgymutat
/ 90 .
Feladatok
/ 91 .
Analzis
Tartalom | Trgymutat
(f ) A gykkritriumot alkalmazva:
s
n
1
n
n2
= 1
1
n
n
1
< 1,
e
gy a sor konvergens.
(g) A sor tagjai:
1 n
1
n1 n
= 1
,
n
n
e
teht nem alkotnak zrussorozatot, gy a sor nem konvergens.
2
2
k(k 1)
k2
k2
2
4
,
k2
P
4
sor majorlja. Ezrt az
k2
k=1
1
12
1
22
1
32
1
42
+ ... konvergens
3. Nem konvergens, mert a rekurzv defincibl azonnal kvetkezik, hogy a sorozat hatrrtke 0 nem lehet, azaz a sor tagjai nem alkotnak
zrussorozatatot.
q
3
P
( n n)3
n n3
k
sor
konvergens,
ui.
a
gykkritrium
alapjn
=
13 .
n
3
3
3k
k=1
k
P
3
4. A
A
k=1
k3
zrussorozatatot, ui.
3k
k3
+.
X
sin k
1
1
1
1
2
= 1 3 + 5 7 + ... =
k
2
2
2
2
2
k=1
1
1
1
1
1
1
3
1
2
1 + 4 + 8 + ... 1 + 4 + 8 + ... =
1 = 5.
2
2
2
8
2
2
8 1 16
Tartalom | Trgymutat
/ 91 .
Analzis
Tartalom | Trgymutat
/ 92 .
Analzis
Tartalom | Trgymutat
Hatrrtk s folytonossg
/ 93 .
Tartalom | Trgymutat
/ 93 .
Analzis
Tartalom | Trgymutat
Hatrrtk s folytonossg
/ 94 .
6.4. Plda: Az f : R R, f (x) := x folytonos R-en. Hatrrtke (+)ben (+), ()-ben pedig ().
Tartalom | Trgymutat
/ 94 .
Analzis
Tartalom | Trgymutat
sgn(x) :=
1,
ha x > 0
0, ha x = 0
1, ha x < 0
6.7. Plda: Az f : R R
(
f (x) :=
1,
0,
ha x racionlis
ha x irracionlis
Dirichlet-fggvny sehol sem folytonos s sehol sincs sem bal oldali sem
jobb oldali hatrrtke.
Tartalom | Trgymutat
/ 95 .
Analzis
Tartalom | Trgymutat
f (x) :=
sin x1 ,
0,
ha x 6= 0
ha x = 0
1
+ 2n
2
+ 2n 1,
6.10. Plda: Az f : R R
(
f (x) :=
x sin x1 ,
0,
ha x 6= 0
ha x = 0
/ 96 .
Analzis
Tartalom | Trgymutat
A 6.4. Plda s a 6.2. llts azonnali kvetkezmnye, hogy minden polinom folytonos fggvny R-en. Ltni kell azonban, hogy ezekbol az lltsokbl nem kvetkezik pl. a gykfggvny, a szinuszfggvny, exponencilis
fggvny stb. folytonossga sem. A kvetkezo kt llts a gyakorlatban
nagyon jl hasznlhat elgsges felttelt ad a folytonossgra.
6.4. llts: . Legyen I egy intervallum s f : I R egy fggvny. Ha van
olyan C 0 szm, hogy minden x1 ,x2 I esetn
|f (x1 ) f (x2 )| C |x1 x2 |
teljesl, akkor f folytonos I minden pontjban.
Bizonyts. Ekkor tetszoleges (xn ) I, xn x I esetn:
|f (xn ) f (x)| C |xn x| 0, azaz f (xn ) f (x).
Tartalom | Trgymutat
/ 97 .
Analzis
Tartalom | Trgymutat
1
1
|f (x1 ) f (x2 )| = |y1 y2 |,
c
c
6.11. Plda: Az R+ R+ , x 7
mon.
( x1 x2 )( x1 + x2 )
x2 |
1
= |x1
| x1 x2 | =
|x1 x2 |,
x1 + x2
x1 + x2
2 a
teht a gykfggvny [a,b]-n kielgti a Lipschitz-felttelt az
2 a
Lipschitz-
Megjegyezzk, hogy a gykfggvny a 0-ban is folytonos, de ez a fentiekbol nem kvetkezik. A 0-ban val folytonossg igazolst feladatknt
tuzzk
ki.
6.12. Plda: Az R R, x 7 sin x fggvny folytonos.
Bizonyts. Legyenek x1 ,x2 R tetszolegesek. Az ismert trigonometrikus addcis
ttelek alapjn:
x1 + x2
x1 x2
| sin x1 sin x2 | = 2 cos
sin
2
2
Tartalom | Trgymutat
/ 98 .
Analzis
Tartalom | Trgymutat
x1 x2
2 sin
|x1 x2 |,
2
ahol felhasznltuk a nemnegatv szgekre vonatkoz ismert sin sszefggst. A szinuszfggvny teht kielgti a Lipschitz-felttelt a C = 1 Lipschitzllandval, gy folytonos is (ld. a 6.4. lltst).
1
n
x = e n log x
x gykfggvny
(x (0, + ))
Tartalom | Trgymutat
/ 99 .
Analzis
Tartalom | Trgymutat
6.2. Ttel: (Bolzano). Legyen f folytonos a korltos s zrt [a,b] intervallumon. Tegyk fel, hogy f (a) s f (b) klnbzo elojeluek.
Tartalom | Trgymutat
/ 100 .
Analzis
Tartalom | Trgymutat
A ttel lltsa ismt nagyon szemlletes. Azt fejezi ki, hogy ha egy folytonos fggvny grafikonja egy intervallum bal vgpontjn az 1. tengely
alatt, a jobb vgpontjn pedig felette van, akkor a kt vgpont kztt legalbb egyszer metszi az 1. tengelyt. Ez a ttel is a mr tbbszr emltett,
a vals szmok hzagmentessgt kifejezo ttelek kz sorolhat.
6.1. Kvetkezmny: . Legyen f folytonos a korltos s zrt [a,b] intervallumon. Akkor az f fggvny minden, az f (a) s f (b) szmok kz eso
rtket legalbb egyszer felvesz [a,b]-n.
Bizonyts. Legyen y tetszoleges rtk az f (a) s f (b) szmok kztt. Az llts az
elozo ttelbol addik, azt a konstanssal eltolt f y fggvnyre alkalmazva.
a+b
2 .
Tartalom | Trgymutat
/ 101 .
Analzis
Tartalom | Trgymutat
Tartalom | Trgymutat
/ 102 .
Analzis
Tartalom | Trgymutat
xn+1 := f (xn )
(n = 0,1,2,...)
qn
|x1 x0 |,
1q
Tartalom | Trgymutat
/ 103 .
Analzis
Tartalom | Trgymutat
1
2
cos x egyenletet!
xn+1 :=
sin x
= 1.
x0 x
lim
sin xn
1
xn
(n N).
Tartalom | Trgymutat
/ 104 .
Analzis
Tartalom | Trgymutat
6.19. Plda:
lim
x0
1
1 cos x
= .
2
x
2
Megolds.
1 cos x
1 cos x 1 + cos x
1 cos2 x
=
= 2
=
2
2
x
x
1 + cos x
x (1 + cos x)
sin x
x
2
1
1
,
1 + cos x
2
6.20. Plda:
ex 1
= 1.
x0
x
lim
Megolds:
1 + 1 +
ex 1
=
x
x
1!
+ x2! +
x
x3
3!
+ ...
1
x
x2
+ +
+ ....
1! 2!
3!
1
=
+
+
+
...
2!
x
3!
4!
2!
3!
4!
Ezrt, ha xn 0, akkor
x
e n 1
xn 1 e |xn | 0,
azaz
exn 1
xn
1.
6.21. Plda:
(a)
log(1 + x)
=1
x0
x
lim
(b)
lim
x0
log(1 x)
= 1
x
/ 105 .
Analzis
Tartalom | Trgymutat
6.22. Plda:
lim
x0
1+x1
1
= .
x
2
Megolds.
1+x1
1+x1
1+x+1
1+x1
1
1
=
=
=
,
x
x
2
1+x+1
x( 1 + x + 1)
1+x+1
ha x 0.
Tartalom | Trgymutat
/ 106 .
Elemi fggvnyek
/ 107 .
Analzis
Tartalom | Trgymutat
f (x) := xn
(n N).
Tartalom | Trgymutat
/ 107 .
Elemi fggvnyek
/ 108 .
Analzis
Tartalom | Trgymutat
Trigonometrikus fggvnyek
x 7 sin x,
x 7 cos x,
x 7 tg x,
x 7 ctg x
/ 108 .
Analzis
Tartalom | Trgymutat
Elemi fggvnyek
/ 109 .
klcsnsen egyrtelmu,
ezrt itt invertlhat. Az inverz fggvnyt az arccos
szimblummal jelljk. rtelmezsi tartomnya a [1,1] intervallum, rtkkszlete a [0,] intervallum.
A tangensfggvny ugyancsak klcsnsen egyrtelmu
a 2 , 2 intervallumra leszuktve.
A leszuktett
Tartalom | Trgymutat
/ 109 .
Elemi fggvnyek
/ 110 .
Analzis
Tartalom | Trgymutat
Az exponencilis- s a logaritmusfggvny
Az e alap exponencilis-, ill. logaritmusfggvnyt az
x 7 ex
x 7 log x
Tartalom | Trgymutat
(x R),
(x R+ )
/ 110 .
Elemi fggvnyek
/ 111 .
Analzis
Tartalom | Trgymutat
log x
log a
(x > 0).
Hiperbolikus fggvnyek
Az exponencilis fggvnyek segtsgvel tbb j, a gyakorlat szmra is fontos fggvnyt definilunk. Az albbi fggvnyeket hiperbolikus
fggvnyeknek nevezzk.
Ezek meglepo hasonlsgokat mutatnak
a trigonometrikus fggvnyekkel (jllehet, a grafikonjaik nagyon
klnbzoek).
Tartalom | Trgymutat
/ 111 .
Elemi fggvnyek
/ 112 .
Analzis
Tartalom | Trgymutat
Hiperbolikus fggvnyek:
Tetszoleges x R mellett jellje
sh x :=
ex ex
2
ex + ex
2
x
e ex
th x := x
e + ex
ch x :=
(hiperbolikus szinusz),
(hiperbolikus koszinusz),
(hiperbolikus tangens).
Tartalom | Trgymutat
/ 112 .
Analzis
Tartalom | Trgymutat
Elemi fggvnyek
/ 113 .
Tartalom | Trgymutat
/ 113 .
Feladatok
/ 114 .
Analzis
Tartalom | Trgymutat
6.7. Feladatok
1. Igazoljuk, hogy az f : R R,
(
f (x) :=
x lekpezs a 0
1
.
1+x2
2
formulval rtelmezett fggvny5. Az f : R R, f (x) := 3x
nek kt fixpontja is van, az 1 s a 2 szmok. Nem mond-e ez ellent a
Banach-fixpontttelnek? Mihez konvergl a fixpont-itercis sorozat?
Ha
x2 4x + 4
,
x2 x2 5x + 6
lim
(b)
x2 7x + 9
,
x+
3x2 + 5
lim
Tartalom | Trgymutat
/ 114 .
Feladatok
/ 115 .
Analzis
Tartalom | Trgymutat
(c)
x3 1
,
x1 x 1
lim
(d)
lim
x2
11x + 3 4x + 17
,
x2 5x + 6
(e)
lim
sin x
1
x2
2
(f )
lim
x0
(g)
lim
x0
(h)
sh x
,
x
ch x 1
,
x2
tg 4x
,
x0 sin 5x
lim
(i)
lim
x 4
(j)
log tg x
,
1 ctg x
x3 (x 8)
,
x0 sin 2x 2 sin x
lim
(k)
lim (1 + xy)1/x
x+0
Tartalom | Trgymutat
Feladatok
/ 116 .
Analzis
Tartalom | Trgymutat
(l)
1 1 x2
lim
,
x0
sin2 x
(m)
log
lim
x0
Tartalom | Trgymutat
1x
1+x2
+ log
x2
1+x
1+x2
/ 116 .
Feladatok
/ 117 .
Analzis
Tartalom | Trgymutat
Megoldsok
1. x 6= 0 esetn f nyilvn folytonos x-ben, mert folytonos fggvnyekbol llthat ssze (az alapmuveletek
s a kompozci segtsgvel).
Elg teht csak a 0-beli folytonossgot igazolni. Legyen xn 0 tetszoleges
sorozat, akkor |f (xn )| |xn | 0, azaz f (xn ) 0, teht a fggvny
valban folytonos 0-ban is.
1
x = e 2 log x minden x > 0 esetn. Legyen xn > 0, xn 0
2.
1
1
1+x2
1 cos2 y
sin2 y
=
.
cos2 y
cos2 y
addik, ezrt
1
.
1 + x2
x
y
sin
2
2
cos
x
y
cos .
2
2
Innen:
sin
x
2
cos
x
y
cos
2
2
sin
y
2
x
y
cos
,
2
2
cos
azaz
x
x
y
x
x
y
y
x
cos + sin cos sin cos + sin cos
2
2
2
2
2
2
2
2
Az addcis ttelek alkalmazsval innen
sin
1
2x 1
2y
x y
sin
+ sin
sin
+
,
2
2
2
2
2 2
Tartalom | Trgymutat
/ 117 .
Feladatok
/ 118 .
Analzis
Tartalom | Trgymutat
|f (x)f (y)| =
2
2
|3 y 3 + x|
2
=
|xy|
= 2
3 x 3 y
(3 x)(3 y)
(3 x)(3 y)
8
|x y|,
9
Lipschitz-konstanssal, azaz
teht f kielgti a Lipschitz-felttelt 89 rtku
3
f kontrakci a [0, 2 ] zrt intervallumban, ezrt itt pontosan egy fixpontja
2
van (az 1 szm), s brmely x0 [0, 32 ] kezdortk esetn az xn+1 := 3x
n
(n N) itercis sorozatra xn 1 teljesl.
A msik fixpont (a 2 szm) krnyezetben f nem kontrakci (mutassuk
meg!). Ennek ltezse teht nem mond ellent a Banach-fixpontttelnek.
6. Ha f (x) := 41 ex + 1, akkor az egyenlet ekvivalens az x = f (x)
egyenlettel. Az f fggvny monoton fogy, s az [1,2] zrt intervallumot
1
nmagba kpezi (valban, f (1) = 4e
+ 1 [1,2], s f (2) = 4e12 + 1 [1,2]).
Megmutatjuk, hogy f itt kontrakci. Legyenek x,y [1,2] tetszolegesek,
felteheto, hogy x a nagyobb. Akkor
1
ex
ex
1
|f (x) f (y)| = |ex ey | =
|1 exy |
|x y| |x y|
4
4
4
4
teht f valban kontrakci. gy az egyenletnek 1 s 2 kzt pontosan egy
gyke van, s ez fixpont-itercival meghatrozhat, pl.
x1 := 0,
1
xn+1 := exn + 1.
4
Tartalom | Trgymutat
/ 118 .
Feladatok
/ 119 .
Analzis
Tartalom | Trgymutat
(b)
1 x7 + x92
x2 7x + 9
1
=
lim
= .
5
2
x+
x+
3x + 5
3
3 + x2
lim
(c)
x3 1
(x 1)(x2 + x + 1)
= lim
= lim (x2 + x + 1) = 3.
x1 x 1
x1
x1
x1
lim
(d)
11x + 3 4x + 17
=
lim
x2
x2 5x + 6
11x + 3 4x + 17
11x + 3 + 4x + 17
=
= lim
x2
x2 5x + 6
11x + 3 + 4x + 17
1
11x + 3 4x 17
x2
(x 3)(x 2)
11x + 3 + 4x + 17
= lim
= lim
x2
7(x 2)
7
1
= .
(x 3)(x 2)
10
11x + 3 + 4x + 17
sin x
x2
2
= lim
y0
sin( y)
1
(y)2
2
= lim
y0
sin y
1
2 2y+y 2
2
sin y
2 sin y
2
=
lim
= lim
2
y0 2y y
y0 2 y
y
.
2
sh x
ex ex
e2x 1
= lim
= lim ex
= 1,
x0
x0
x0 x
2x
2x
lim
Tartalom | Trgymutat
/ 119 .
Feladatok
/ 120 .
Analzis
Tartalom | Trgymutat
=
lim
=
x0
x0
x2
x2
ch x + 1 x0 x2 (ch x + 1)
lim
sh2 x
1
= ,
2
x0 x (ch x + 1)
2
= lim
tg 4x
sin 4x
1
lim
= lim
x0 sin 5x
x0 cos 4x sin 5x
= lim
x0
1
sin 4x
5x
4
cos 4x
4x
sin 5x 5
4
= ,
5
esetn y 1):
log tg x
log y
log(1 + (y 1))
= lim y
lim
= lim
.
y1 1 1
y1
y1
x 4 1 ctg x
y
= 1,
x3 (x 8)
x3
lim
= lim
(x 8)
x0 sin 2x 2 sin x
x0 2 sin x cos x 2 sin x
= lim
x0
1
x
x2
(x 8)
2 sin x cos x 1
= 8,
Tartalom | Trgymutat
/ 120 .
Feladatok
/ 121 .
Analzis
Tartalom | Trgymutat
(k) Bevezetve a w :=
mert y pozitv!)
1
xy
x+0
(l)
1 wy
) = ey .
w
1 1 x2 1 + 1 x2
=
lim
x0
sin2 x
1 + 1 x2
1 1 + x2
x2
1
=
lim
= lim
x0 sin2 x 1 + 1 x2
x0 (sin2 x) (1 + 1 x2 )
1
= .
2
1x
1+x2
+ log
x2
x0
1+x
1+x2
1 log
= lim
x0 2
1x 1+x
1+x2
1+x2
2
x
1x2
1 log 1+x2
1 log(1 x2 ) log(1 + x2 )
=
lim
= 1.
= lim
x0 2
x0 2
x2
x2
Itt felhasznltuk a 6.21. Plda eredmnyt.
Tartalom | Trgymutat
/ 121 .
Analzis
7.1. A differencilhnyados
Legyen f : R R egy fggvny, x Df olyan pont, hogy nemcsak x0
maga, hanem annak egy egsz (x0 ,x0 + ) alak krnyezete is a Df
rtelmezsi tartomnyba esik.
Differencilhnyados:
Az f fggvny differencilhat (vagy derivlhat) az x0 pontban, ha az
f 0 (x0 ) := lim
xx0
f (x) f (x0 )
x x0
/ 122 .
A differencilhnyados
/ 123 .
Analzis
Tartalom | Trgymutat
Derivltfggvny:
Legyen f : R R differencilhat fggvny. Az f 0 : R R, x 7 f 0 (x)
fggvnyt az f fggvny derivltfggvnynek vagy rviden derivltjnak
df
szimblummal is jelljk.)
nevezzk. (Az f 0 fggvnyt nha a dx
A klnbsgi hnyados a fggvny relatv megvltozst mutatja az [x0 ,x]
intervallumban. Ennek megfeleloen, a differencilhnyados a fggvny x0 beli loklis relatv megvltozst mri (msszval a vltozs sebessgt).
Geometriailag nagyon szemlletes fogalmakrl van sz. A klnbsgi
hnyados az f fggvny grafikonjnak (x0 ,f (x0 )) s (x,f (x)) pontjai ltal
meghatrozott szelo irnytangense. x x0 esetn a szelok hatrhelyzete
az x0 -beli rinto lesz, ily mdon az f 0 (x0 ) differencilhnyados a grafikon
(x0 ,f (x0 )) pontjhoz hzott rinto irnytangense. Magnak az rintonek
az egyenlete teht
y = f 0 (x0 )(x x0 ) + f (x0 )
(valban, ez az egyenes illeszkedik az (x0 ,f (x0 )) pontra, s meredeksge
f 0 (x0 )).
7.1. bra. tg =
f (x)f (x0 )
xx0
tg = f 0 (x0 )
Tartalom | Trgymutat
/ 123 .
A differencilhnyados
/ 124 .
Analzis
Tartalom | Trgymutat
f 0 (x0 ) = lim
ami magyarzza a hagyomnyos
akkor
df
dx
f (x0 + h) f (x0 )
.
h
Konkrt fggvnyek esetn a derivlt kiszmtsa akr ezzel, akr a
definciban szereplo formulval trtnhet.
f 0 (x0 ) = lim
h0
Tartalom | Trgymutat
f (x+x)f (x)
f (x)
lim
x
x0
x
/ 124 .
A differencilhnyados
/ 125 .
Analzis
Tartalom | Trgymutat
Az elozo pldbl sejtheto, hogy bonyolultabb formulval adott fggvnyek derivltjnak kiszmtsa bonyolult hatrrtkek meghatrozshoz vezet. Olyan jellegu ttelekre van teht szksgnk, melyek a derivlt
kiszmtst (amennyire csak lehetsges) leegyszerustik.
Tartalom | Trgymutat
/ 125 .
Analzis
Tartalom | Trgymutat
A differencilhnyados
/ 126 .
A differencilhat fggvnyeket sokszor rviden sima fggvnyeknek nevezzk, arra utalva, hogy a fggvnynek ekkor sem szakadsai, sem
trspontjai nincsenek.
A kvetkezo llts pedig a derivlt egyik legfontosabb alkalmazst
alapozza meg.
7.2. Ttel: . Ha az f : R R fggvny derivlhat egy x0 pontban s ott
loklis szlsortke van, akkor szksgkpp f 0 (x0 ) = 0.
Bizonyts. Tegyk fel, hogy f -nek x0 -ban pl. loklis maximuma van (a bizonyts
a minimum esetben hasonlan vgezheto el). Legyen xn x0 tetszoleges olyan
sorozat, melyre xn > x0 minden n index esetn. Ekkor f (xn ) f (x0 ) miatt
f (xn )f (x0 )
0, gy a hatrrtkre is teljesl, hogy f 0 (x0 ) 0. Ha pedig xn x0
xn x0
tetszoleges olyan sorozat, melyre xn < x0 minden n index esetn, akkor most
(x0 )
f (xn ) f (x0 ) miatt f (xxnn)f
0, ahonnan f 0 (x0 ) 0. E kt egyenlotlensgbol
x0
f 0 (x0 ) = 0 addik, ahogy lltottuk.
/ 126 .
A derivlt kiszmtsa
/ 127 .
Analzis
Tartalom | Trgymutat
loklis maximuma van; ugyanakkor a 0-ban vett jobb oldali s az 1-ben vett
bal oldali derivlt (s az sszes tbbi pontban vett kznsges derivlt
is) a defincibl azonnal kvetkezoen 1-gyel egyenlo.
2. A 7.2. Ttel nem fordthat meg! Abbl, hogy egy fggvny derivltja
valahol 0, nem kvetkezik, hogy ott a fggvnynek szlsortke is van.
Ellenpldaknt tekintsk az x 7 x3 lekpezst. A kvetkezo szakaszban
megmutatjuk, hogy ennek derivltja x-ben 3x2 , gy a 0-ban a derivlt
eltunik.
f
g
f
g
(x0 ) =
f (x) f (x0 )
g(x) g(x0 )
g(x) + f (x0 )
.
x x0
x x0
Tartalom | Trgymutat
/ 127 .
A derivlt kiszmtsa
/ 128 .
Analzis
Tartalom | Trgymutat
A jobb oldal elso tagja x x0 esetn g folytonossga miatt (7.1. Ttel) f 0 (x0 )g(x0 )hoz, mg a msodik tag definci szerint f (x0 )g 0 (x0 )-hoz tart, ami az lltst igazolja.
(d) Hasonl talaktsi trkkt alkalmazunk:
f (x)
g(x)
f (x0 )
g(x0 )
x x0
=
1
f (x)g(x0 ) f (x0 )g(x)
=
g(x)g(x0 )
x x0
1
f (x)g(x0 ) f (x0 )g(x0 ) + f (x0 )g(x0 ) f (x0 )g(x)
=
g(x)g(x0 )
x x0
f (x) f (x0 )
g(x) g(x0 )
1
g(x0 )
f (x0 )
.
=
g(x)g(x0 )
x x0
x x0
A jobb oldalon a nevezo x x0 esetn g folytonossga miatt (7.1. Ttel) (g(x0 ))2 hez, a zrjeles kifejezs elso tagja f 0 (x0 )g(x0 )-hoz, a msodik pedig f (x0 )g 0 (x0 )hoz tart. Innen az llts mr kvetkezik.
1
f
(x0 ) =
f 0 (x0 )
.
(f (x0 ))2
/ 128 .
A derivlt kiszmtsa
/ 129 .
Analzis
Tartalom | Trgymutat
7.4. Ttel: (sszetett fggvny differencilsa). Ha az f : R R fggvny differencilhat az x0 R pontban, a g : R R fggvny pedig
differencilhat az f (x0 ) pontban, akkor a g f sszetett fggvny is
differencilhat x0 -ban, s
(g f )0 (x0 ) = g 0 (f (x0 )) f 0 (x0 ).
Bizonyts. Legyen xn x0 egy tetszoleges sorozat. Tegyk fel eloszr, hogy
f (xn ) 6= f (x0 ) semmilyen indexre. Ekkor:
g(f (xn )) g(f (x0 )) f (xn ) f (x0 )
g(f (xn )) g(f (x0 ))
=
,
xn x0
f (xn ) f (x0 )
xn x0
ahonnan a jobb oldal hatrrtke nyilvn g 0 (f (x0 )) f 0 (x0 ).
Az llts igaz marad akkor is, ha vges sok indexre f (xn ) = f (x0 ) (a fenti
kifejezs rtelmes marad minden, elg nagy indexre, gy a hatrrtk vltozatlan marad). Ha pedig vgtelen sok indexre teljesl, hogy f (xn ) = f (x0 ), akkor
szksgkpp f 0 (x0 ) = 0 (vajon mirt?!), tovbb ezen indexekre
g(f (xn )) g(f (x0 ))
= 0,
xn x0
a fennmarad indexekre pedig
g(f (xn )) g(f (x0 ))
g 0 (f (x0 )) f 0 (x0 ) = 0,
xn x0
teht a klnbsgi hnyados minden esetben a g 0 (f (x0 )) f 0 (x0 ) szmhoz tart.
Mivel a fggvnykompozci sorn a klso g fggvnyt gy is felfoghatjuk, hogy az valjban f -tol (pontosabban az f (x) fggvnyrtkektol)
fgg, a 7.4. Ttel lltsa az albbi alakba is rhat:
dg df
dg
=
.
dx
df dx
Ezen forma alapjn a 7.4. Ttelt lncszablynak is nevezik. Hasonl llts
igaz tbbszrsen sszetett fggvnyekre is. Pl., ha u(x) = h(g(f (x))),
akkor
u0 (x0 ) = h0 (g(f (x0 ))) g 0 (f (x0 )) f 0 (x0 ),
vagy rviden
dh dg df
dh
=
.
dx
dg df dx
Tartalom | Trgymutat
/ 129 .
A derivlt kiszmtsa
/ 130 .
Analzis
Tartalom | Trgymutat
1
f 0 (x0 )
1
f (x)f (x0 )
xx0
1
f 0 (x0 ) -hoz
1
f 0 (f 1 (y0 ))
alakban is rhat.
Ha az f lekpezst, pongyoln fogalmazva, egy x 7 f lekpezsnek
fogjuk fel (ami teht az x-rtkekhez f -rtkeket rendel), akkor az inverz
lekpezs egy f 7 x tpus lekpezs. Ebben a felfogsban az inverz
o szemlletes
fggvny derivltja dx
df , a 7.5. Ttel lltsa pedig a kvetkez
(br nem egszen korrekt, mindenesetre knnyen megjegyezheto)
dx
1
= df
df
dx
alakba rhat.
Tartalom | Trgymutat
/ 130 .
Analzis
Tartalom | Trgymutat
Tartalom | Trgymutat
(x R).
/ 131 .
Analzis
Tartalom | Trgymutat
Bizonyts. Valban,
a(x+h)ax
h
(x2 ) = 2x
(x R).
Bizonyts. A szorzat derivlsra vonatkoz 7.3. (c) Ttel s az elozo llts szerint
(x2 )0 = (x x)0 = 1 x + x 1 = 2x.
(x R),
(x R),
(x R).
(x R).
(ha h 0).
(x R),
Tartalom | Trgymutat
/ 132 .
Analzis
Tartalom | Trgymutat
(log x)0 =
(x > 0).
1
1
1
= log x = .
g 0 (g 1 (x))
e
x
= 0 nevezetes hatrrtket.
(loga x)0 =
(x > 0),
(loga x) =
log x
log a .
log x
log a
1
.
x log a
(x > 0),
Tartalom | Trgymutat
/ 133 .
Analzis
Tartalom | Trgymutat
Specilisan =
1
2
1
( x)0 =
2 x
(x > 0).
(c)
(tg x)0 =
1
cos2 x
(x R),
1
(x R \ { (k + ) : k Z}),
2
(d)
(arctg x)0 =
1
1 + x2
(x R).
Bizonyts.
(a) Felrva a klnbsgi hnyadost:
sin(x + h) sin x
sin x cos h + cos x sin h sin x
=
=
h
h
= sin x
cos h 1
sin h
h + cos x
cos x,
2
h
h
x
ha h 0. Itt felhasznltuk a limx0 sinx x = 1 s a limx0 1cos
= 12 nevezetes
x2
hatrrtkeket.
A (b) llts hasonlkpp igazolhat, de felhasznlhatjuk a cos x = sin 2 x
azonossgot is:
0
x
= cos
x (1) = sin x.
(cos x)0 = sin
2
2
ahol alkalmaztuk az sszetett fggvny derivlsrl szl 7.4. Ttelt.
A (c) llts (a)-bl s (b)-bol a hnyados derivlsrl szl 7.3. Ttel alkalmazs-
Tartalom | Trgymutat
/ 134 .
Analzis
Tartalom | Trgymutat
val addik:
(tg x) =
sin x
cos x
0
=
1
g 0 (g 1 (x))
= cos2 arctg x.
sin z
Jellje most a rvidsg kedvrt z := arctg x, akkor x = tg z = cos
z . Innen
2
2
sin z
1cos z
1
2
2
x = cos2 z = cos2 z = cos2 x 1, ahonnan cos z kifejezheto x fggvnyben:
1
cos2 (arctg x) = cos2 z = 1+x
2 , ahogy lltottuk.
(ch x)0 = sh x.
(ch x) =
ex + ex
2
0
=
ex + ex (1)
e2 ex
=
= sh x.
2
2
A fenti formulk alapjn s a derivlsi ttelek felhasznlsval lnyegben minden, a gyakorlatban elofordul fggvny derivltjt mr ki tudjuk
szmtani, mg az olyan szokatlan s/vagy bonyolult fggvnyekt is,
amelyeket az albbi pldk illusztrlnak.
7.5. Plda: Legyen f : R+ R, f (x) := xx . Szmtsuk ki f derivltjt.
Megolds. Definci szerint xx = exlog x , innen az sszetett fggvny derivlsrl
szl 7.4. Ttel szerint f differencilhat, s
1
0
xlog x
= xx (log x + 1).
f (x) = e
1 log x + x
x
Tartalom | Trgymutat
/ 135 .
Analzis
Tartalom | Trgymutat
(ax+b)
(a leheto legbovebb tartomnyon
7.6. Plda: Legyen f (x) := x(cx+d)
r
rtelmezve). Szmtsuk ki f derivltjt.
,
f (x)
x ax + b cx + d
ahonnan f 0 (x) mr kifejezheto:
f 0 (x) =
xp (ax + b)q
(cx + d)r
p
aq
cr
+
x ax + b cx + d
.
Tartalom | Trgymutat
/ 136 .
Analzis
Tartalom | Trgymutat
y 3/2 + (1 + x)
3 1/2 0
y
y = 0.
2
Ebbol y 0 kifejezheto:
2
1
y0 =
y.
3 1+x
y helyre akr a korbban kapott kifejezst is berhatjuk:
2
1
2
y0 =
32/3 (1 + x)2/3 = 32/3 (1 + x)5/3 ,
3 1+x
3
egyezsben az elozo eredmnnyel.
/ 137 .
Analzis
4
12
= 31 .
/ 138 .
Analzis
ezrt f 0 x) =
f (b)f (a)
,
ba
A Lagrange-kzprtkttel szemlletes jelentse hasonl a Rolle ttelhez. Azt fejezi ki, hogy az f fggvny grafikonjnak [a,b] intervallumra
vonatkoz szeloje nmagval prhuzamosan elmozgathat oly mdon,
hogy az elmozgatott egyenes rinti a grafikont valamilyen kzbenso helyen. Ms megfogalmazsban: az [a,b] intervallumra vonatkoz klnbsgi
hnyados pontosan egyenlo a fggvny valamely kzblso helyen vett
differencilhnyadosval.
Tartalom | Trgymutat
/ 139 .
Analzis
f (b) f (a) 0
g (x),
g(b) g(a)
f 0 (x)
f (b) f (a)
=
,
g 0 (x)
g(b) g(a)
ahogy lltottuk.
A kvetkezokben a fenti kzprtkttelek nhny kzvetlen alkalmazst mutatjuk be. Elso pldnk elott emlkeztetnk arra, hogy a konstans
fggvny derivltja azonosan 0 (7.2. Plda). Most mr meg tudjuk mutatni,
hogy ennek megfordtsa is igaz.
7.13. llts: . Ha az f fggvny derivltja azonosan 0 az (a,b) intervallumon, akkor f szksgkpp azonosan konstans (a,b)-n.
Bizonyts. Legyen x (a,b) tetszoleges. Alkalmazzuk a Lagrange-kzprtkttelt
(a)
az [a,x] intervallumra. Eszerint alkalmas t (a,x)-re f 0 (t) = f (x)f
teljesl.
xa
0
mde f (t) = 0, ezrt f (x) = f (a). Teht f valban azonosan konstans (a,b)-n
(mindentt az f (a) rtket veszi fel).
/ 140 .
Analzis
rtelmben ltezik, ld. a 6.1. Ttelt). Ekkor nyilvn q < 1. Legyenek x1 ,x2 [a,b]
tetszoleges pontok. Az [x1 ,x2 ] intervallumra a Lagrange-kzprtkttelt
felhasznlva kapjuk, hogy van olyan x (x1 ,x2 ) pont, hogy
|f (x1 ) f (x2 )| = |f 0 (x)| |x1 x2 | q |x1 x2 |,
azaz f valban kontrakci [a,b]-n.
/ 141 .
Analzis
f (x) :=
x2 sin2 x1 ,
0,
ha x R \ {0}
ha x = 0.
f (x)
g(x)
hatrrtk is ltezik, s
lim
xx0
f 0 (x)
f (x)
= lim 0
.
g(x) xx0 g (x)
/ 142 .
Analzis
(x)
hatrA mdszer a gyakorlatban akkor hasznlhat, ha az j limxx0 fg0 (x)
rtk kiszmtsa egyszerubb,
1
1+x
1
1+x2
= 1,
mivel a szmll s nevezo derivltjai a 0-ban folytonos fggvnyek, gy hnyadosuk hatrrtke egyszeruen
a helyettestsi rtkk hnyadosa (ez rtelmezve van,
mert a nevezo 0-ban vett derivltja 0-tl klnbzik).
lim
lim
.
x0 2sh xch x
x0 2ch x
x0 sh x
x0
sh2 x
A jobb oldali elso hatrrtk a kifejezs helyettestsi rtke, azaz 21 . A msodik
hatrrtkre pedig ismt alkalmazhat a LHospital-szably, ahonnan
lim
x0
cos x 1
1
cos x
1
= lim
= .
2
x0
2
ch
x
2
sh x
Tartalom | Trgymutat
/ 143 .
Analzis
A LHospital-szably egy jl hasznlhat, mechanikus eszkz bizonyos hatrrtkek kiszmtsra. Hasznlatnak veszlye ppen ebben van.
Elofordulhat ugyanis, hogy ha az add egyszerustsi
lehetosgeket nem
hasznljuk ki, akkor a LHospital-szably az eredetinl bonyolultabb szmolsokhoz vezet. Ilyen egyszerustsi
Tartalom | Trgymutat
/ 144 .
Magasabbrendu derivltak s szlsortkfeladatok
Tartalom | Trgymutat
/ 145 .
Analzis
de
f 00 (x0 ) 6= 0.
Az eddigiek alapjn az egyvltozs vals fggvnyek loklis szlsortkhelyeinek meghatrozsa az albbi algoritmussal trtnhet. Legyen
az f fggvny folytonos az [a,b] intervallumon, s ktszer folytonosan
differencilhat az (a,b) intervallumon.
1. lps: Kiszmtjuk f derivltfggvnyt.
2. lps: Meghatrozzuk a derivltfggvny zrushelyeit. Ezek a
lehetsges szlsortkhelyek (az n. stacionrius pontok).
Tartalom | Trgymutat
/ 145 .
Magasabbrendu derivltak s szlsortkfeladatok
Tartalom | Trgymutat
/ 146 .
Analzis
jl. Az algoritmus nem alkalmas sem olyan loklis szlsortkek megkeressre, ahol a fggvny nem differencilhat, sem pedig az
abszolt szlsortkhelyek megkeressre, ha azok az rtelmezsi tartomny
valamelyik vgpontjban helyezkednek el.
Az algoritmust ezrt nha clszeru kiegszteni az albbi lpssel:
4. lps: Kiszmtjuk az f (a) s f (b) fggvnyrtkeket, s elleno rizzk, hogy ezek szlsortkhelyek-e, azaz az itt felvett valamelyik fggvnyrtk kisebb-e az elozoekben meghatrozott loklis minimumrtkek legkisebbiknl is, ill. nagyobb-e a a loklis maximumrtkek legnagyobbiknl is.
Ez a lps rtelemszeruen
elmarad, ha pl. f egy nylt intervallumon
vagy az egsz R-en rtelmezett, vagy ha a szlsortkfeladat tartalmbl
elore tudjuk, hogy az rtelmezsi tartomny hatrn nem lehet szlsortk,
ill. annak nincs gyakorlati jelentse.
7.11. Plda: Hol vannak loklis szlsortkhelyei az f : R R, f (x) :=
x3 3x2 9x + 11 fggvnynek?
Megolds. A fggvny nyilvn (akrhnyszor) derivlhat, derivltja: f 0 (x) =
3x2 6x 9. Ennek zrushelyei: x1 = 3, x2 = 1. Loklis szlsortk teht
csak ezekben a pontokban lehet. A msodrendu
derivlt: f 00 (x) = 6x 6, innen f 00 (x1 ) > 0, s f 00 (x2 ) < 0. Ezrt az x1 = 3 helyen a fggvnynek loklis
minimuma, az x2 = 1 helyen pedig loklis maximuma van (ld. az brt).
Tartalom | Trgymutat
/ 146 .
Analzis
26400
00
derivlt L (x) = x3 . Ez a loklis minimumhely egyttal abszolt minimumhely
is, mert az rtelmezsi tartomny (azaz a (0, + ) intervallum) bal vgpontjban
limx+0 L(x) = +, s ugyanakkor limx+ L(x) = + is teljesl. Az optimlis
alak telek oldalhosszsgai teht 80 s 40 m; a hosszabbik oldal halad a part
mentn.
Tartalom | Trgymutat
/ 147 .
Analzis
Tekintsk teht az
f (x) = 0
egyenletet. Ha f -et egy bonyolult kplet definilja, akkor ennek egzakt
megoldsra ltalban nincs lehetosg. Kzelto megoldsa azonban sokszor lehetsges. Egy ilyen kzelto megoldsi mdszer a Newton-mdszer,
amely (eltroen az algebrai egyenletek megoldkpleteitol) a megoldst
nem vges szm muvelet
Tartalom | Trgymutat
/ 148 .
Analzis
f (xn )
f 0 (xn )
(n = 1,2,3,...).
Az gy definilt sorozatra xn A teljesl (bizonytsuk ezt be!). A konvergencia nagyon gyors, az rtkes jegyek szma minden itercis
lpsben
hasznlja fel.
Konkrtan, legyen pl. A := 2. Kiindulva az x1 := 2 kezdeti kzeltsbol, az itercis sorozat elso nhny tagja (4 tizedesjegy pontossggal):
2,0000; 1,5000; 1,4166; 1,4142; 1,4142;
... , s mr a 3. iterlt is 4 tizedesjegy
xn+1 := xn
m
A. Kiindulva egy tetszoleges x1 > 0 kezdeti kzeltsbol (pl. x1 := A), a
Tartalom | Trgymutat
/ 149 .
Feladatok
/ 150 .
Analzis
Tartalom | Trgymutat
Newton-mdszer az
xm A
1
:= xn n m1 = 1
m
mxn
1
A
(n = 1,2,...).
m xm1
n
xn+1
7.8. Feladatok
1. Derivljuk az albbi fggvnyeket:
(a)
f (x) :=
(b)
sin x2
,
cos2 x
2
e 1+x
f (x) := e
(c)
f (x) := (1 + (ax)y )1/y ,
(ahol y > 0 adott paramter),
(d)
f (x) := arctg 1 + ex ,
(e)
f (x) := log(sin2 x3 ),
(f )
x2 + (f (x))3 = x f (x) + 1,
az x = 0 helyen (implicit fggvny).
2. Mi az albbi kifejezsek hatrrtke x 0 esetn?
(a)
log 1 + x2
,
sin2 x
(b)
log(1 + x4 )
,
log(1 x4 )
(c)
Tartalom | Trgymutat
sin3 x
,
x sin x
/ 150 .
Feladatok
/ 151 .
Analzis
Tartalom | Trgymutat
(d)
(e)
1 + 2x 1 5x
,
sin x
2
e2x e3x
.
x2
/ 151 .
Analzis
Tartalom | Trgymutat
Feladatok
/ 152 .
kijelentette: Bob? Az egy kr. Mr sajnlom, hogy nem rgtam ki, amikor
analzisbol vizsgzott nlam."
Kinek volt igaza s mirt?
5. Csingacsguk delavr fonk nosl, ezrt j strat (egyenes krkp) kell ksztenie. sszegyujt
10 m2 -nyi anyagot, s konzultl a
delavrok nagy varzsljval, hogyan kell ebbol a leheto legnagyobb trfogat strat csinlni. Miutn sikeresen elkszl, nneplyes storavatra
hvja legjobb bartjt, Slyomszemet. Slyomszem 183 cm magas. Ki tud-e
egyenesedni a storban?
6.
Hrom vadnyugati vroska, Gunville, Deathtown s Cowboy
City (a tovbbiakban G, D, C) sszefognak, s kzs erovel kzs kocsmt
akarnak nyitni a prrin, valahol a hrom vroska ltal meghatrozott
hromszg belsejben. A kocsmhoz mindegyik vrosbl utat is ptenek.
Hol legyen az iv, hogy a beruhzs sszkltsge minimlis legyen?
Tvolsgok: G s D kzt 10 mrfld, G s C valamint D s C kzt egyarnt
20 mrfld.
(Az utak ptsi kltsge egyenesen arnyos a hosszukkal.)
7. Micimack mzesbdnje elveszett. Rbert Gida szerez 4 dm2 nyi bdoglemezt, s nekill, hogy ebbol j bdnt (hengert fenkkel,
fedolap nlkl) ksztsen. De aztn j nagy legyen! - kri Micimack.
Nyugodt lehetsz - vlaszolja Rbert Gida - a leheto legnagyobbat fogom
megcsinlni. Literes lesz vajon? krdi Micimack mohn.
Mit vlaszolhatott Rbert Gida, s mirt?
(A kiszabsi vesztesgtol eltekintnk: feltesszk, hogy Rbert Gida olyan
apr darabokbl rakta ssze a bdnt, hogy nincs hulladk.)
8. Furk Ferk kft-jvel j vllalkozsba kezd: konzervdobozokat
gyrt. Fl literes (zrhat henger alak) konzervdobozok hatalmas
mennyisgt kell leszlltania. De mgis, mekkork legyenek? - krdi a
muszaki
Tartalom | Trgymutat
/ 152 .
Analzis
Tartalom | Trgymutat
Feladatok
/ 153 .
Tartalom | Trgymutat
/ 153 .
Feladatok
/ 154 .
Analzis
Tartalom | Trgymutat
Megoldsok
1. (a)
f 0 (x) =
(b)
0
2
e 1+x
f (x) = e
1+x2
2x.
(c)
f 0 (x) =
1y
1
1
1
(1 + (ax)y ) y y(ax)y1 a = ay (1 + (ax)y ) y xy1 .
y
(d)
f 0 (x) =
(e)
f 0 (x) =
1
ex
.
2 (2 + ex ) 1 + ex
(f )
2x + 3f (x)2 f 0 (x) = f (x) + x f 0 (x),
innen f 0 (x) =
f (x) 2x
.
3f (x)2 x
log
x0
Tartalom | Trgymutat
1 + x2
= lim
x0
sin2 x
1
1+x2
2x
2 1+x2
2 sin x cos x
=
/ 154 .
Feladatok
/ 155 .
Analzis
Tartalom | Trgymutat
x
1
1
1
lim
= .
2
x0
2
sin x (1 + x ) cos x
2
4x3
1+x4
4x3
1x4
= 1.
sin2 x
lim 3 cos x lim
.
x0
x0 1 cos x
1 + 2x 1 5x
1 + 2x 1 + 5x
lim
=
= lim
x0
x0 (sin x) ( 1 + 2x + 1 5x)
sin x
= 7 lim
x0
x
1
7
lim
= .
sin x x0 1 + 2x + 1 5x
2
e2x e3x
4xe2x 6xe3x
=
lim
= 1.
lim
x0
x0
x2
2x
3.(a)
E(f + g)(x) =
=
(b)
f (x) + g(x)
x
(f 0 (x) + g 0 (x)) =
f (x) + g(x)
x
(f 0 (x)g(x) + f (x)g 0 (x)) =
f (x)g(x)
x
x
=
f 0 (x) +
g 0 (x) = Ef (x) + Eg(x).
f (x)
g(x)
E(f g)(x) =
Tartalom | Trgymutat
/ 155 .
Feladatok
/ 156 .
Analzis
Tartalom | Trgymutat
4. Clever professzornak volt igaza. Az ellenpldban ui. a LHospitalszably nem alkalmazhat (a nevezo nem zrus az x = 0 helyen; ettol az
aprsgtl eltekintve minden rszletszmts helyes). Feladatunk erre a
sajnos gyakran elkvetett hibra hvja fel a figyelmet.
5. Legyen r a stor alapkrnek sugara, a a kp
alkotja s m a
a2 r2 . A stor
magassga. Akkor Pitagorsz ttele miatt m =
palstja egy a sugar krcikk tertheto ki, vhossza megegyezik a stor
alapkrnek kerletvel (2r), gy a palst felszne F = 12 a 2r (= 10 m2 ),
F
ahonnan a = r
. gy a stor trfogata kifejezheto pusztn r fggvnyben:
1
V (r) = r2
3
F2
r2 =
r2 2
3
F 2 r2
r6 ,
2
q
4
F2
.
3 2
2F 2
2F 2
F2
4
30r
=
30
< 0.
1
2
2
3 2
F2
2
3
q
a2 r12
4
m=
1.92 m. Vagyis Slyomszem nyugodtan kiegyenesedhet a
storban (igaz, csak kzptjkon).
Tartalom | Trgymutat
/ 156 .
Analzis
Tartalom | Trgymutat
Feladatok
/ 157 .
6. A GDC hromszg egyenlo szr. Elemi geometriai megfontolsokkal addik, hogy a keresett tulajdonsg pont (melynek a hromszg
cscsaitl mrt tvolsgsszege minimlis) csakis a hromszg szimmetriatengelyn lehet. (Ha ui. nem ott lenne, akkor a szimmetriatengelyen
tallhat lenne olyan pont, amelyre vonatkoz tvolsgsszeg hatrozottan
kisebb: vajon hol?) Tekintsnk teht a szimmetriatengelyen egy tetszoleges
pontot, jellje x ennek tvolsgt a GD oldaltl. Akkor,
Pitagorsz ttelt
hasznlva, a pont tvolsga
a
G
s
D
pontoktl
egyarnt
25 + x2 mrfld,
Tartalom | Trgymutat
/ 157 .
Feladatok
/ 158 .
Analzis
Tartalom | Trgymutat
F r r3
F r2
=
,
2r
2
F
ortk csak ott
). Loklis szls
F 3r2
= 0 . Pozitv zrushely
=
2
F
egyetlenegy van: r1 = 3
0.65 dm. Itt V -nek valban maximuma
6r
00
1
van, mert V (r1 ) = 2 < 0. A maximlis trfogat ezrt Vmax = V (r1 ) =
F r1 r13
2
Tartalom | Trgymutat
/ 158 .
Feladatok
/ 159 .
Analzis
Tartalom | Trgymutat
V
2V
= 2r2 +
,
r2
r
s ezt kell minimalizlni (r > 0). Loklis szlsortk csak ott lehet, ahol a
derivlt zrus, azaz F 0 (r) = 4r 2V
= 0, innen a zrushelyre egyetlen
r2
q
V
rtk addik: r1 = 3 2
dm. Itt F -nek valban loklis minimuma van, mert
4V
00
F (r1 ) = 4 + r3 > 0. A loklis minimum egyttal abszolt minimum is,
1
mert az F fggvny hatrrtke mind a 0-ban, mind a (+)-ben (+). A
minimlis felsznhez tartoz magassg:
V
m= 2 =
r1
s
3
4 2 V
=
V2
s
3
4V
= 2r1 .
Tartalom | Trgymutat
/ 159 .
Feladatok
/ 160 .
Analzis
Tartalom | Trgymutat
2V
V
= 2r2 +
,
2
r
r
s ezt kell minimalizlni (r > 0). Loklis szlsortk csak ott lehet, ahol a
derivlt zrus, azaz F 0 (r) = 4r 2V
= 0, innen a zrushelyre egyetlen
r2
q
V
0,54 m. Itt F -nek valban loklis minimuma
rtk addik: r1 = 3 2
van, mert F 00 (r1 ) = 4 + 4V
> 0. A loklis minimum egyttal abszolt
r13
minimum is, mert az F fggvny hatrrtke mind a 0-ban, mind a
(+)-ben (+). A minimlis felsznu tartly tmroje teht 2r1 1.08 m,
magassga pedig m = rV2 1.08 m (pontosan egyezik az tmrovel).
1
/ 160 .
Feladatok
/ 161 .
Analzis
Tartalom | Trgymutat
x2 =
3
.
6
3
6 , s
1
2
3
6 ,
3
6 .
1
2
1
2
3
,
6
3
6 ,
y2 = +
z1 =
z2 =
Vilgos, hogy a 2-es indexu
rtkek
nem jhetnek szmtsba.
Ha van teht loklis maximum, akkor az csakis
3
1
az x = x1 = 2 + 6 rtk mellett lehet. Itt pedig valban loklis maximum
3
3
1
1
legnagyobb trfogat doboz mretei teht: 2 + 6 79 cm, 2 6
21 cm, s
3
6
Tartalom | Trgymutat
R2
x 2
2
/ 161 .
Feladatok
/ 162 .
Analzis
Tartalom | Trgymutat
T (x) = 2x
R2
2
x
4R2 x2 x4
2
x1
2R2
R 2
R
2
= =
14 cm
R2
= R
2
4
2
2
(pontosan feleakkora, mint a hosszabbik oldal). A feladat egybknt
differencilszmts nlkl, elemi geometriai eszkzkkel is megoldhat
(hogyan?)
/ 162 .
Feladatok
/ 163 .
Analzis
Tartalom | Trgymutat
4V
,
x
s ezt kell minimalizlni (r > 0). Loklis szlsortk csak ott lehet, ahol
= 0, innen a zrushelyre egyetlen
a derivlt, zrus, azaz F 0 (x) = 2x 4V
x2
Tartalom | Trgymutat
/ 163 .
Feladatok
/ 164 .
Analzis
Tartalom | Trgymutat
13. Jellje r a flkr sugart, akkor a tglalap ehhez illeszkedo oldalnak hossza 2r. Legyen a msik oldal hossza a, akkor az ablak fellete:
F
F = 2ar + 12 r2 (= 3 m2 ). Innen a kifejezheto: a = 2r
r
4 . gy az ablak
kerlete felrhat csak az r sugr fggvnyben:
K(r) = 2a + 2r + r =
r
F
r
F
+ 2r + 2 =
+
+ 2r,
r
2
r
2
s ezt kell minimalizlni (r > 0 ). Loklis szlsortk csak ott lehet, ahol
a derivlt zrus, azaz K 0 (r) = rF2 + 2 + 2 = 0. Pozitv zrushelye a
q
F
derivltfggvnynek csak egy van: r1 =
Tartalom | Trgymutat
/ 164 .
Feladatok
/ 165 .
Analzis
Tartalom | Trgymutat
4002
> 0.
(x21 + 4002 )3/2
x1 helyen. Optimlis esetben teht x21 + 4002 461.9 mter kbelt kell
vz alatt, 1000 x1 769.1 mtert pedig szrazfldn lefektetni.
Megjegyezzk, hogy az optimlis C pont helyzete fggetlen B helyzettol mindaddig, amg B az A ponttl vzszintesen mrve, x1 -nl tvolabb van.
Ellenkezo esetben a kltsgfggvny x-nek monoton fogy fggvnye, a
szlsortkhely az rtelmezsi tartomny hatrn lesz, gy nem kaphat
meg a mutatott differencilszmtsi eszkzkkel. Egybknt ekkor az
optimlis stratgia az, hogy a kbelt teljes egszben a vzen keresztl
fektetjk.
Megjegyezzk mg, hogy a megolds sorn hallgatlagosan feltettk,
hogy a Styx vize sekly, azaz a vzen t fektetett kbel hossza pp az AC
szakasz hosszval egyenlo. Valjban a kbel hossza ennl tbb. Ha ezt
is figyelembe akarjuk venni, a feladat sokkal nehezebb vlik (ltalnos
medergeometria esetn eddigi eszkzeinkkel nem megoldhat).
Tartalom | Trgymutat
/ 165 .
Analzis
Tartalom | Trgymutat
Taylor-sorok
/ 166 .
8. Taylor-sorok
Szmos elmleti s gyakorlati feladat esetben elofordul igny, hogy bizonyos bonyolult formulval megadott fggvnyeket egyszerubbekkel
8.1. Taylor-polinomok
Taylor-polinom:
Legyen a R egy rgztett pont s f az a pont egy krnyezetben rtelmezett elg sima vals fggvny, azaz legyen f : [a ,a + ] R n-szer
folytonosan differencilhat. A
Tn (f,x) := f (a) +
1 0
1
1
f (a)(x a) + f 00 (a)(x a)2 + ... + f (n) (a)(x a)n
1!
1!
n!
Tartalom | Trgymutat
/ 166 .
Taylor-polinomok
/ 167 .
Analzis
Tartalom | Trgymutat
derivlttal bezrlag:
f (k) (a) = Tn(k) (f,a)
(k = 0,1,...,n).
3
n
2 00
f (a)(x a) + f 000 (a)(x a)2 + ... + f (n) (a)(x a)n1 =
2!
3!
n!
1 00
1
1
f (a)(x a) + f 000 (a)(x a)2 + ... +
f (n) (a)(x a)n1 ,
1!
2!
(n 1)!
3
(n 1) (n)
2 000
f (a)(xa)+ f IV (a)(xa)2 +...+
f (a)(xa)n2 =
2!
3!
(n 1)!
1 000
1
1
f (a)(x a) + f IV (a)(x a)2 + ... +
f (n) (a)(x a)n2 ,
1!
2!
(n 2)!
innen pedig Tn00 (f,a) = f 00 (a), s gy tovbb. Az eljrs az n-edik derivlt kisz(n)
mtsig folytathat: Tn (f,a) = f (n) (a) . Tn -nek minden, n-nl magasabb rendu
derivltja azonosan 0.
Tartalom | Trgymutat
/ 167 .
Taylor-polinomok
/ 168 .
Analzis
Tartalom | Trgymutat
Specilis esetek:
(a) Az f fggvny 0-adfok Taylor-polinomja:
T0 (f,x) = f (a).
(b) Az f fggvny elsofok Taylor-polinomja:
T1 (f,x) = f (a) + f 0 (a)(x a).
Most megmutatjuk, hogy a Taylor-polinom bizonyos rtelemben valban jl kzelti az eredeti f fggvnyt (nemcsak az a pontban):
8.1. Ttel: (kifejtsi ttel). Ha az f fggvny (n + 1)-szer folytonosan differencilhat az [a ,a + ] intervallumon, akkor minden x [a ,a + ]
ponthoz van oly az a s az x szmok kztt, hogy
f (x) = Tn (f,x) +
1
f (n+1) ()(x a)n+1 .
(n + 1)!
f (x) Tn (f,x)
.
(x a)n+1
f (x) Tn (f,x)
(x a)n+1 = 0,
(x a)n+1
azaz g(a) = g(x). A Rolle-ttel miatt van oly x1 (a,x), hogy g 0 (x1 ) = 0. Derivlva
g-t:
g 0 (t) = f 0 (t) Tn0 (f,t) (n + 1)(t a)n .
Tartalom | Trgymutat
/ 168 .
Analzis
Tartalom | Trgymutat
Innen g 0 (a) = 0 (ismt az elozo llts miatt). Mivel pedig g 0 (x1 ) = 0, ismt a Rollettel miatt van oly x2 (a,x1 ) , hogy g 00 (x2 ) = 0, s gy tovbb. Egszen (n + 1)-ig
mehetnk: van teht olyan xn+1 (a,xn ), hogy g (n+1) (xn+1 ) = 0. Ugyanakkor g
defincijbl ezt a derivltat kzvetlenl is kiszmthatjuk:
0 = g (n+1) (xn+1 ) = f (n+1) (xn+1 ) (n + 1)!
(n+1)
(xn+1 )
, amit defincijval sszehasonltInnen -ra azt kapjuk, hogy = f n+1)!
va:
f (n+1) (xn+1 )
f (x) Tn (f,x)
=
=
,
n + 1)!
(x a)n+1
ahonnan
f (x) = Tn (f,x) +
1
f (n+1) (xn+1 )(x a)n+1 ,
(n + 1)!
Lagrange-fle maradktag:
1
f (n+1) ()(x a)n+1 tagot Lagrange-fle maradkA fenti formulban az (n+1)!
tagnak nevezzk, s Rn+1 (f,x)-szel jelljk.
Tartalom | Trgymutat
/ 169 .
Analzis
Tartalom | Trgymutat
8.1. Kvetkezmny: . Legyen f akrhnyszor differencilhat (ms szhasznlattal: vgtelen sokszor differencilhat) az [a ,a + ] intervallumon. Ha valamely x [a ,a + ] mellett Rn (f,x) 0, akkor
f (x) = limn+ Tn (f,x), azaz, ms felrsban:
f (x) =
X
f (k) (a)
k=0
k!
(x a)k =
1
1
1 0
f (a)(x a) + f 00 (a)(x a)2 + f 000 (a)(x a)3 + ....
1!
2!
3!
= f (a) +
X
f (k) (0)
k=0
k!
(x a)k = f (0) +
1 0
1
1
f (0)x + f 00 (0)x2 + f 000 (0)x3 + ....
1!
2!
3!
Tartalom | Trgymutat
/ 170 .
Analzis
Tartalom | Trgymutat
1
1x
s a := 0. Akkor
|f (n) (x)| =
n!
,
|1 x|n+1
innen |f (n) (0)| = n!, azaz a derivltak abszolt rtke faktorilis sebessggel
no, ami nagyon gyors nvekeds.
8.4. Plda: Legyen
(
f (x) :=
e1/x
0
(x 6= 0)
(x = 0).
1
1
1
x + x2 + x3 + ...,
1!
2!
3!
1
1
1 3
x + x5 x7 + ....
3!
5!
7!
Megolds. f 0 (x) = cos x, f 00 (x) = sin x, f 000 (x) = cos x s gy tovbb. Innen
minden pros n-re f (n) (0) = 0 s minden pratlan n-re f (n) (0) az 1 s (1) szmok
Tartalom | Trgymutat
/ 171 .
Analzis
Tartalom | Trgymutat
|x|n
n!
0,
Az albbi brn illusztrciknt bemutatjuk, hogyan kzelti a szinuszfggvnyt a 0 krl az tdfok, ill. a 11-edfok Taylor-polinomja.
1 2
1
1
x + x4 x6 + ....
2!
4!
6!
Megolds f 0 (x) = sin x, f 00 (x) = cos x, f 000 (x) = sin x s gy tovbb. Innen
minden pratlan n-re f (n) (0) = 0, s minden pros n-re f (n) (0) az 1 s (1) szmok
n
valamelyike. A Lagrange-maradktag minden x R esetn: |Rn (f,x)| |x|
n! 0,
ha n +.
Tartalom | Trgymutat
/ 172 .
Analzis
Tartalom | Trgymutat
1
1
1 3
x + x5 + x7 + ...,
3!
5!
7!
1 2
1
1
x + x4 + x6 + ...,
2!
4!
6!
1
1x .
1
= 1 + x + x2 + x3 + ...,
1x
vagyis a Maclaurin-sor a mr ismert vgtelen mrtani sor.
Megolds.
f 0 (x) =
1
,
(1 x)2
f 00 (x) =
12
,
(1 x)3
f 000 (x) =
123
,...,
(1 x)4
n!
(n)
(0) = n!.
s gy tovbb, tetszoleges n N esetn f (n) (x) = (1x)
n+1 , ahonnan f
Innen a Maclaurin-sor fenti alakja mr kvetkezik. Ismeretes, hogy a sor minden
1
|x| < 1 szm esetn konvergens s sszege 1x
.
1
1+x .
1
= 1 x + x2 x3 + x4 ....
1+x
Megolds. Az elozo pldbl kvetkezik, x helyre (x)-et rva.
Tartalom | Trgymutat
/ 173 .
Analzis
Tartalom | Trgymutat
1
.
1+x2
1
= 1 x2 + x4 x6 + x8 ....
1 + x2
Megolds. Az elozo pldbl kvetkezik, x helyre x2 -et rva.
8.13. Plda: Legyen f (x) := log(1 + x). Ekkor minden x R, |x| < 1 esetn
1
1
1
log(1 + x) = x x2 + x3 x4 + ....
2
3
4
Megolds. A fggvny derivltja
1
1+x ,
(n1)!
(1)n1 (1+x)
n.
1
1+x
fgg-
Innen
1
1
1
1
log(1 + x) = 0 + x x2 + x3 x4 + ....
1
2
3
4
( 1) 2 ( 1)( 2) 3
x+
x +
x + ....
1!
2!
3!
1
1
1 + x = 1 + x x2 + ...,
2
8
1
1
3
= 1 x + x2 + .....
2
8
1+x
Megolds.
f 0 (x) = (1 + x)1 ,
f 00 (x) = ( 1)(1 + x)2 ,
f 000 (x) = ( 1)( 2)(1 + x)3 ,
s gy tovbb. Innen
f (0) = 1, f 0 (0) = , f 00 (0) = ( 1), f 000 (0) = ( 1)( 2),...,
ahonnan a Maclaurin-sor alakja mr addik. Azt, hogy a sor minden |x| < 1 esetn
konvergens, s sszege (1 + x) , nem bizonytjuk.
Tartalom | Trgymutat
/ 174 .
Analzis
Tartalom | Trgymutat
X
zk
k=1
k!
=1+
z
z2 z3
+
+
+ ....
1!
2!
3!
it
e =
t2 t4
t
t3 t5
1 + + ... + i
+ ...
2! 3!
1! 3! 5!
= cos t + i sin t
Tartalom | Trgymutat
/ 175 .
Feladatok
/ 176 .
Analzis
Tartalom | Trgymutat
i = e 2 i,
i2 = 1 = ei ,
i3 = i = e
3
i
2
i4 = 1 = e2i ,
....
Megjegyezzk, hogy a szorzs s az oszts, klnsen pedig a hatvnyozs s a gykvons az exponencilis alakkal felhasznlva a hatvnyozs azonossgait mg a trigonometrikus alak hasznlatnl is egyszerubb.
8.5. Feladatok
1. Az x sin x fggvny Maclaurin-sora:
sin x = x
1 3
1
1
x + x5 x7 + ....
3!
5!
7!
1
1
1
sin x = x1/2 x3/2 + x5/2 x7/2 + ...00 .
3!
5!
7!
Igaz-e ez az llts vagy sem, s mirt?
2. Igazoljuk, hogy |x| < 1-re a
1 + 2x 3x2 + 4x3 5x4 + ...
1
sor konvergens, s sszege (1+x)
2.
ismero kalkultorunk. Adjunk algoritmust a log 2 szm kzelto kiszmtsra! (Ha kell, hasznljuk
az e = 2,71828... rtket, de a feladat enlkl is megoldhat!)
4. Van egy csak 4 alapmuveletes
(tetszoleges pontossggal)?
Tartalom | Trgymutat
/ 176 .
Feladatok
/ 177 .
Analzis
Tartalom | Trgymutat
2
,
3x
1 + x2
,
1 x2
(c)
(d)
x log(2 + x2 ),
(e)
x log
(f )
1+x
,
1x
2
x e1+x + e1x ,
(g)
x log
(1 + x)2
,
1 x2
x log
ex + 2
.
2ex + 1
(h)
Tartalom | Trgymutat
/ 177 .
Feladatok
/ 178 .
Analzis
Tartalom | Trgymutat
Megoldsok
1. Nem igaz. A szban forg fggvny ui. a 0-ban nem differencilhat. Ugyanakkor igaz, hogy
1
1
1
sin x = x1/2 x3/2 + x5/2 x7/2 + ...
3!
5!
7!
(x R),
1
2. Az f : R R, f (x) := (1+x)
2 fggvnyt fejtsk Maclaurin-sorba.
Nyilvn:
f 0 (x) =
innen
2
23
234
, f 00 (x) =
, f 000 (x) =
,...
3
4
(1 + x)
(1 + x)
(1 + x)5
s gy tovbb. Ezrt a
1 + 2x 3x2 + 4x3 5x4 + ...
1
sor az x 7 (1+x)
2 fggvny Maclaurin-sora. A 8.14. Plda lltsbl
kvetkezik, hogy a sor minden |x| < 1 szm esetn konvergens, s sszege
1
(1+x)
2.
3.
1
1
log 2 = log = log 1
2
2
1
1
1
1
+
+
+
+ ....
1
2
3
12
22
32
4 24
Ms megolds:
log 2 = log e
2
e
2
e (e 2)
e2
= 1+log
= 1+log 1
e
e
e
= 1+log
e2 1
1
e
2
e2
e
2
1
3
e2
e
3
1
4
e2
e
4
....
4.
log 2,01 = log(2 + 0,01) = log 2 + log(1 + 0,005) =
Tartalom | Trgymutat
/ 178 .
Feladatok
/ 179 .
Analzis
Tartalom | Trgymutat
1
1
0,0052 + 0,0053 ...
2
3
Mr az elso kt tag sszege 4 tizedesjegy pontossggal adja a kvnt
eredmnyt: log 2,01 0,6981.
= log 2 + 0,005
5.
log 101 = log(100 + 1) = log 100 + log(1 + 0.01) =
= log 100 + 1 0.01 +
1
1
0.012 0.013 + ...
2
3
6. (a)
2
ex = 1 +
1
1
1
1
(x2 ) + (x2 )2 + (x2 )3 + (x2 )4 + ... =
1!
2!
3!
4!
=1
1
1
1
1 2
x + x4 x6 + x8 ...
1!
2!
3!
4!
(b)
2
2
1
=
3x
3 1
=
(c)
x
3
2
x x2 x3
= 1 + + 2 + 3 + ...
3
3
3
3
2
2
2
2
+ 2 x + 3 x2 + 4 x3 + ...
3 3
3
3
1 + x2
1 x2 + 2x2
1
=
= 1 + 2x2
=
2
2
1x
1x
1 x2
= 1 + 2x2 (1 + x2 + x4 + x6 + ...) = 1 + 2x2 + 2x4 + 2x6 + 2x8 + ...
(d)
x2
log(2 + x ) = log 2 + log 1 +
2
2
x2
= log 2 + 1 +
2
= log 2 +
1
x2
1+
2
2
!2
x2
1
+ 1+
3
2
!3
+ ...
1
1
1
1
x2
x4 +
x6
x8 + ...
2
2
3
12
22
32
4 24
Tartalom | Trgymutat
/ 179 .
Feladatok
/ 180 .
Analzis
Tartalom | Trgymutat
(e)
1+x
= log(1 + x) log(1 x) =
1x
1
1
1
1
1
1
= x x2 + x3 x4 + ... x x2 x3 x4 ...
2
3
4
2
3
4
2
2
= 2x + x3 + x5 + ...
3
5
log
(f )
e1+x + e1x = e ex + e ex =
1 4
1 5
1 2
1 4
1 5
1 2
= e 1 + x + x + x + ... + e 1 x + x x + ... =
1!
2!
3!
1!
2!
3!
2e
2e
= 2e + x4 + x8 + ...
2!
4!
(g)
log
(1 + x)2
(1 + x)2
1+x
=
log
= log
= log(1 + x) log(1 x) =
2
1x
(1 + x)(1 x)
1x
1
1
1
= x x2 + x3 x4 + ...
2
3
4
2
= 2x + x3 +
3
1
1
1
x x2 x3 x4 ...
2
3
4
2 5
x + ...
5
(h)
1 + 2ex
ex + 2
= log ex x
log x
2e + 1
2e + 1
= log ex = x,
Tartalom | Trgymutat
/ 180 .
Analzis
Tartalom | Trgymutat
/ 181 .
A primitv fggvny
/ 182 .
Analzis
Tartalom | Trgymutat
f (x)
( 6= 1)
1
x
1
x
ex
ax
(a > 0, a 6= 1)
sin x
cos x
1
1+x2
1
1x2
sh x
ch x
rtelmezsi tartomny
(0, + )
(0, + )
(,0)
(, + )
(, + )
(, + )
(, + )
(, + )
(1,1)
(, + )
(, + )
f (x) dx
1 +1
x
log x
log(x)
ex
1
x
log a a
cos x
sin x
arctg x
arcsin x
ch x
sh x
/ 182 .
Analzis
intervallumon rtelmezzk.
f 0 (x)
dx = log |f (x)| + C =
f (x)
log f (x) + C ,
ha f (x) > 0
log(f (x)) + C , ha f (x) < 0
(f (x))n f 0 (x) dx =
(f (x))n+1
+ C.
n+1
f (ax + b) dx =
1
F (ax + b) + C
a
(ax + b I)
Tartalom | Trgymutat
/ 183 .
Analzis
9.1. Plda:
(a) A 2 , 2 intervallumon
Z
tg x dx =
sin x
dx =
cos x
(cos x)0
dx = log | cos x| + C.
cos x
sin3 x dx =
sin x (1 cos2 x) dx =
= cos x +
sin x dx
sin x cos2 x dx =
cos3 x
+ C.
3
(c) A 25 , + intervallumon
Z
5x + 2 dx =
1
5
1 2
5 5x + 2 dx = (5x + 2)3/2 + C.
5 3
uv 0 = uv
u0 v.
Bizonyts. A szorzatfggvny derivlsra vonatkoz (uv)0 = u0 v + uv 0 sszefggsbol uv 0 = (uv)0 u0 v. Mindkt oldalt integrlva, az llts addik.
A parcilis integrls nem kzvetlenl az uv 0 fggvny primitv fggvnyt szolgltatja, hanem a problmt visszavezeti egy msik primitv fggvny
(nevezetesen u0 v primitv fggvnynek) kiszmtsra. Termszetesen a
Tartalom | Trgymutat
/ 184 .
Analzis
hatrozhat meg.
Az, hogy az integrandust hogyan bontjuk fel uv 0 szorzatra, nem mindig lthat s nem is mindig egyrtelmu,
ehhez bizonyos gyakorlatra van
szksg. A mdszert nha egyms utn tbbszr is kell alkalmazni, ill.
kombinlni ms integrlsi mdszerekkel. Jellegzetes alkalmazsi lehetosgeket az albbi pldkon keresztl mutatunk be.
9.2. Plda:
x sin x dx =?
x2 e3x dx =?
1 3x
3e .
A jobb oldalon ismt parcilisan integrlunk u(x) := x, v 0 (x) := e3x szereposztssal. Ekkor u0 (x) = 1, v(x) = 13 e3x , ahonnan
Z
Z
1
2 1 3x 1
1
2
2
x2 e3x dx = x2 e3x
xe
e3x dx = x2 e3x xe3x + e3x + C.
3
3 3
3
3
9
27
Tartalom | Trgymutat
/ 185 .
Analzis
log x dx =?
Integrls helyettestssel
9.7. llts: . Legyenek I,J R intervallumok. Legyen az f : J R
fggvny egy primitv fggvnye az F : J R fggvny. Ha g : I J
egy differencilhat fggvny, akkor az (f g)g 0 fggvnynek van primitv
fggvnye, s
Z
f (g(x))g 0 (x) dx = F (g(x))
f (g(x))g (x) dx =
Tartalom | Trgymutat
/ 186 .
Analzis
9.5. Plda:
xex dx =?
Sokszor clszerubb
f (x) dx =
Tartalom | Trgymutat
/ 187 .
Analzis
9.6. Plda:
Tekintsk ismt az xex dx integrlt. Legyent := x2 , innen
xex dx =
1
1
t et dt =
2
2 t
1
et dt = et + C.
2
Vgl vissza kell trni a rgi vltozhoz, azaz a jobb oldali kifejezst a
t = g 1 (x) = x2 helyen vesszk, innen:
Z
1
2
2
xex dx = ex + C.
2
R x
e dx =?
Megolds.
Helyettestsnk: legyen t := x, akkor x = t2 , s dx = 2t dt. Innen
R t
R x
e dx = 2 e t dt. A jobb oldalon parcilisan integrlunk az u(t) := t, v 0 (t) :=
t
e szereposztssal. Innen u0 (t) = 1, v(t) = et , ezrt
Z
Z
e x dx = 2 t et et dt = 2tet 2et + C = 2 x e x 2e x + C.
Tartalom | Trgymutat
/ 188 .
Analzis
1
dx
x+a
1
dx = log |x + a| + C.
x+a
9.9. Plda:
Z
1
1
dx =
2x + 6
2
1
1
dx = log |x + 3| + C
x+3
2
Tartalom | Trgymutat
/ 189 .
Analzis
x2
x+a
dx
+ px + q
1
c2
Z
x+ p2
c
Alkalmazzuk a t :=
Z
x+ p2
c
dx.
2
+1
x+
1
1
1
dx = arctg t + C = arctg
2
x + px + q
c
c
c
ahol teht c2 := q
p
2
+ C,
p2
4 .
x2
1
dx
+ 4x + 13
/ 190 .
Analzis
Alkalmazzuk a t := x+2
3 helyettestst. Innen dx = 3 dt, s
Z
Z
x+2
1
1
1
1
1
dx
=
dt
=
arctg
t
+
C
=
arctg
+ C.
x2 + 4x + 13
3
t2 + 1
3
3
3
1
dx =
2
x + px + q
1
1
p 2 dx =
(x + 2 )
x+
p
2
+ C.
1
dx
x2 + 4x + 4
p2
4
1
dx =
2
x + px + q
1
dx,
(x x1 )(x x2 )
1
1
,
x x1 x x2
1
1
dx =
2
x + px + q
x1 x2
Z
Tartalom | Trgymutat
1
dx =
x x2
x x1
1
+ C.
log
x1 x2
x x2
1
dx
x x1
/ 191 .
Analzis
1
dx
x2 + 4x 5
Tartalom | Trgymutat
/ 192 .
A Riemann-integrl
/ 193 .
Analzis
Tartalom | Trgymutat
teht
Z
1
1
dx =
x2 + 4x 5
6
1
1
dx +
x+5
6
x 1
1
1
+C
dx = log
x1
6
x + 5
minden olyan intervallumon, amely sem az 1, sem a (5) szmot nem tartalmazza.
9.3. A Riemann-integrl
Ebben a szakaszban a primitv fggvny megkeressnek egy ltalnos
mdszert ptjk fel. Az elv, nagy vonalakban, az albbi lesz. Legyen
f : [a,b] R folytonos s (egyelore) nemnegatv fggvny, s jellje T (x)
az f fggvny grafikonja alatti terletet az a s valamely x [a,b] hely kzt.
Akkor tetszoleges a x0 < x b mellett a T (x) T (x0 ) klnbsg nyilvn
/ 193 .
A Riemann-integrl
/ 194 .
Analzis
Tartalom | Trgymutat
S (f ) :=
N
X
fkmin hk
k=1
S+ (f ) :=
N
X
fkmax hk
k=1
szmot rtjk, ahol fkmin ill. fkmax jelli az f fggvnynek az [xk1 ,xk ]
rszintervallumon felvett minimlis ill. maximlis rtkt (feltve, hogy
ezen rtkek lteznek).
Ha pl. az f fggvny folytonos az [a,b] intervallumon, akkor a definciban szereplo fkmin , fkmax Weierstrass ttele rtelmben mindig lteznek,
Tartalom | Trgymutat
/ 194 .
A Riemann-integrl
/ 195 .
Analzis
Tartalom | Trgymutat
(N )
S (f ) S+ (f ).
Als, felso integrl:
(N )
(N )
Az S (f ) := sup S (f ) (ill. az S+ (f ) := inf S+ (f )) szmot az f fggvny als integrljnak (ill. felso integrljnak) nevezzk, ahol az infimum s
szuprmum az [a,b] intervallum sszes felbontsra vonatkozik.
Nyilvnval, hogy minden f fggvny s minden felbonts esetn
(N )
(N )
S (f ) S (f ) S+ (f ) S+ (f ).
Riemann-integrl:
Azt mondjuk, hogy az f : [a,b] R fggvny Riemann-integrlhat, vagy
rviden: integrlhat, ha az als s felso integrlja megegyezik. Ekkor ezt a
kzs rtket f -nek az [a,b] intervallumon vett Riemann-integrljnak (vagy
R
R
hatrozott integrljnak) nevezzk, s az ab f vagy az ab f (x)dx szimblummal jelljk.
A primitv fggvnyhez hasonl elnevezs s jells indokoltsgt a
kvetkezo szakaszban fogjuk ltni. Kiderl, hogy a teljesen klnbzo szrmaztats ellenre a Riemann-integrl s a primitv fggvny igen szoros
kapcsolatban llnak egymssal.
Tartalom | Trgymutat
/ 195 .
A Riemann-integrl
/ 196 .
Analzis
Tartalom | Trgymutat
S (f )
Z b
a
(N )
f S+ (f ),
N
X
f (k ) hk
k=1
/ 196 .
A Riemann-integrl
/ 197 .
Analzis
Tartalom | Trgymutat
f (k ) hk
Z b
k=1
f,
a
ha N = max hk 0.
1kN
N
X
(N )
f (k ) hk S+ (f ).
k=1
/ 197 .
A Riemann-integrl
/ 198 .
Analzis
Tartalom | Trgymutat
0 S+
(N )
N
X
(fkmax fkmin ) hk
k=1
=C
N
X
C|xk xk1 | hk =
k=1
h2k C max hk
k=1
N
X
1kN
N
X
hk = C N (b a).
k=1
Megjegyezzk, hogy a fenti llts bizonytsa egyttal egy hibabecslst is szolgltat a Riemann-sszegekre nzve. Valban, mivel mind a
Riemann-integrl, mind pedig egy tetszoleges Riemann-sszeg az als s
felso integrlkzelto sszegek kz esnek, azrt
Z
N
b
X
(N )
(N )
f (x)dx
f (k ) hk S+ S C N (b a),
a
k=1
Tartalom | Trgymutat
/ 198 .
A Riemann-integrl
/ 199 .
Analzis
Tartalom | Trgymutat
Megjegyezzk mg, hogy az integrlfogalom sokkal tgabb fggvnyosztlyra is kiterjesztheto. gy pl. elegendo a szakaszonknti folytonossg, teht az integrandusnak (vges sok pontban) ugrsa is lehet, az
integrl pedig az egyes rszintervallumokon vett integrlok sszegvel
egyezik. Igazolhat tovbb, hogy ha az integrandus rtkt vges sok pontban tetszolegesen megvltoztatjuk, ez sem az integrlhatsgot, sem pedig
az integrl rtkt nem befolysolja. Az integrlfogalom kiterjesztsnek
rszleteivel azonban (a ksobb trgyaland improprius integrl kivtelvel)
e jegyzet keretein bell nem foglalkozhatunk.
A kvetkezo ttelben sszefoglaljuk a Riemann-integrl alaptulajdonsgait. Mindegyik llts egyszeruen
belthat a Riemann-sszegekre val
ttrssel a hatrrtkekre vonatkoz sszefggseket alkalmazva, gy a
bizonytsokat elhagyjuk.
9.2. Ttel: . Legyenek f,g : [a,b] R Riemann-integrlhat fggvnyek.
Akkor
R
R
R
(a) ab (f + g) = ab f + ab g,
R
R
R
(b) ab (f g) = ab f ab g,
R
R
(c) ab (c f ) = c ab f tetszoleges c R esetn,
R
R
(d) ha f g teljesl [a,b]-n, akkor ab f ab g,
R
R
R
(e) ab f = a f + b f .
Definci szerint legyen mindig aa f := 0 (a szemllettel teljes sszR
R
hangban), tovbb, ha b < a, akkor jellje ab f := ba f . Ezekkel a
megllapodsokkal az elozo Ttel (e) lltsa akkor is teljesl, ha az
szm nem felttlen esik bele az [a,b] intervallumba (feltve, hogy f az itt
elofordul, az [a,b] intervallumnl bovebb [,b] ill. [a,] intervallumon
integrlhat.
R
Tartalom | Trgymutat
/ 199 .
Z b
1
ba
f (x)dx.
a
Bizonyts. Jellje m := minaxb f (x), s M := maxaxb f (x) (e szmok Weierstrass ttele rtelmben jl definiltak). Knnyen lthat, hogy
Rb
m(b a) a f (x)dx M (b a), azaz
m
1
ba
f (x)dx M.
a
Bolzano ttele miatt teht ltezik olyan [a,b] hely, ahol az f fggvny a
Rb
1
ba a f (x)dx rtket veszi fel.
1 Rb
T (x) :=
f
a
/ 200 .
Tartalom | Trgymutat
/ 201 .
9.4. Ttel: (NewtonLeibniz-ttel). Legyen f : [a,b] R folytonos fggvny, s legyen F ennek egy tetszoleges primitv fggvnye. Akkor
Z b
Rx
Bizonyts. Vezessk be ismt a T integrlfggvnyt: T (x) := a f . Az elozo
Kvetkezmny rtelmben T primitv fggvnye f -nek, gy az F primitv
fggvnytol csak egy konstansban klnbzhet: F = T + C alkalmas C R
szmra. Innen pedig
Z
Z
f (x)dx
Z
f (x)dx =
f (x)dx,
a
f (x)dx =
a
[F ]ba
b
Z
f (x)dx
,
a
Tartalom | Trgymutat
/ 202 .
1
2 1
1
2 3/2
x
x3 = = .
x dx
x2 =
3
3
3
3
3
0
0
0
0
9.6. bra. Az x 7 x2 s az x 7
A primitv fggvnyek meghatrozsra a mr trgyalt integrlsi mdszereket hasznlhatjuk. Kln megemltendo azonban a helyettestses integrls esete, mely hatrozott (Riemann-) integrlok kiszmtsra valamivel
egyszerubben
Tartalom | Trgymutat
/ 203 .
g(b)
Az llts a 9.7. llts azonnali kvetkezmnye. Klnbsg van azonban a gyakorlati alkalmazsban. Bevezetve a t := g(x) helyettestst, derivlssal a formlis dt = g 0 (x)dx egyenlosg addik. Az lltst ebben a
formalizmusban gy interpretljuk, hogy ha az eredeti x vltoz befutja az
[a,b] intervallumot, akkor az j t vltoz nyilvn a [g(a),g(b)] intervallumot
futja be, innen
Z b
f (g(x))g 0 (x) dx =
Z g(b)
g(a)
g(b)
f (t) dt = [F ]g(a) .
Az integrandusban teht g(x)-et kicserljk t-re, g 0 (x)dx-et dt-re, az integrlsi hatrokat pedig g(a)-ra ill. g(b)-re, gy egy j integrlt kapunk,
melyet feltehetoen mr knnyebb kiszmtani. A fenti gondolatmenet
matematikailag nem egszen korrekt, de knnyen megjegyezheto, s, mint
lttuk, mgis korrekt eredmnyre vezet.
9.16. Plda: Szmtsuk ki az
R
0
x sin x2 dx Riemann-integrlt.
1
x sin x dx =
2
2
Z
0
sin x2 2x dx =
1
2
sin t dt =
0
1
1
[ cos t]0 = ( cos + cos 0) = 1.
2
2
Tartalom | Trgymutat
/ 204 .
Analzis
vhossz s trfogat
/ 205 .
Tartalom | Trgymutat
Z b
f (x) dx =
a
g 1 (a)
f (g(t))g 0 (t)dt.
Az llts gyakorlati alkalmazsa a mr megismert szemlletes formalizmusban a kvetkezo. Szemben a 9.9. llts esetvel, ahol egy fggvnyt helyettestettnk vltozval, most az x vltozt helyettestjk egy
g fggvnnyel: x := g(t). Derivlva: dx = g 0 (t) dt. Az j vltoznak
megfelelo integrlsi hatrokat az albbi meggondolssal nyerjk. Nyilvn
t = g 1 (x), gy ha x befutja az [a,b] intervallumot, akkor t a [g 1 (a),g 1 (b)]
intervallumot futja be. Az integrandusban teht kicserljk x-et g(t)-re,
dx-et g 0 (t) dt-re, az integrlsi hatrokat pedig g 1 (a)-r ill. g 1 (b)-re. gy
egy j integrlt kapunk, melyet remnyeink szerint mr knnyebb
kiszmtani.
0
2
1+cos 2t
2
Alkalmazva a cos t =
trigonometrikus azonossgot:
Z 2
Z 1p
1
1
sin 2t 2
2
1 x dx =
(1 + cos 2t) dt = t +
= .
2
2
2
4
0
0
0
/ 205 .
Analzis
vhossz s trfogat
/ 206 .
Tartalom | Trgymutat
elo. Hasonlan, a trfogatot is csak bizonyos forgstestekre vizsgljuk, mgpedig olyanokra, amelyek egy folytonos x 7 f (x) fggvny grafikonjnak
az x tengely krli megforgatsval keletkeznek.
vhossz:
Legyen [a,b] R egy korltos intervallum, f : [a,b] R adott folytonos
fggvny. Jellje az f fggvny grafikonjt, azaz
:= {(x,f (x)) : a x b} R2 .
Legyen a = x0 < x1 < ... < xN = b az [a,b] intervallum egy felbontsa.
Tekintsk az ehhez tartoz bert trttvonal hosszt:
LN :=
N q
X
k=1
Z bq
1 + (f 0 (x))2 dx.
k=1
N p
X
1 + (f 0 (k ))2 hk ,
k=1
Tartalom | Trgymutat
/ 206 .
Analzis
vhossz s trfogat
/ 207 .
Tartalom | Trgymutat
Rbp
azaz LN az a 1 + (f 0 (x))2 dx integrl egy Riemann-sszege (az integrl ltezik,
mert f 0 folytonos). A felbonts korltlan finomtsa mellett teht az LN szmok
ehhez az integrlhoz tartanak, ami egyttal az LN szmok szuprmuma is. A
rszletes meggondolsokat elhagyjuk.
dx =
1 + (f (x)) dx =
1+ 2
dx
|| =
2
2
R
x
R x2
a
a
a
Helyettestsnk: x := R sin t, akkor dx = R cos t dt. Az j integrlsi hatrok:
/2 s /2. Innen
Z
/2
|| =
/2
R
R cos t dt = R.
R cos t
|| =
Z
p
1 + sh2 x dx =
1
ch x dx = 2sh 1 = e .
e
Z q
(mivel ekkor dx = a0 (t) dt). Ez a megkzelts mr alkalmas az vhosszfogalomnak s az vhossz kiszmtsnak trgrbkre val kiterjesztsre.
Megmutathat (a rszletektol eltekintnk), hogy ha egy trgrbe x = a(t),
Tartalom | Trgymutat
/ 207 .
Analzis
vhossz s trfogat
/ 208 .
Tartalom | Trgymutat
y = b(t), z = c(t) paramteres formban adott (ahol a, b, c adott, folytonosan differencilhat fggvnyek, t pedig valamilyen [,] intervallumot fut be), akkor e trgrbe vhossza az albbi formulval szmthat
ki:
Z q
|| =
V (f ) :=
N
X
(fkmin )2 hk ,
k=1
s a krlrt trfogat-sszegeket:
(N )
V+ (f ) :=
N
X
(fkmax )2 hk ,
k=1
ahol fkmin ill. fkmax jelli f minimlis ill.maximlis rtkt az [xk1 ,xk ]
(N )
rszintervallumon. Ha a V (f ) szmok halmaznak felso hatra s a
(N )
V+ (f ) szmok halmaznak als hatra megegyezik, akkor ezt a kzs V
rtket a fenti forgstest trfogatnak nevezzk.
A definci szemlletes: a trfogatot bert s krlrt hengerek ssztrfogatval kzeltjk. Valban, a k-adik henger sugara pp fkmin ill. fkmax ,
magassga pedig hk . A konstrukci pontos megfeleloje a Riemann-integrl
als s felso integrlkzelto sszegeinek. Vilgos, hogy a bert ill. krlrt trfogatsszegek pp a f 2 fggvny als ill. felso integrlkzelto
sszegeivel egyeznek, innen azonnal kapjuk a forgstestek trfogatnak
kiszmtsra vonatkoz ttelt.
Tartalom | Trgymutat
/ 208 .
Analzis
Improprius integrl
/ 209 .
Tartalom | Trgymutat
9.6. Ttel: . Legyen f : [a,b] R folytonos fggvny, akkor a grafikonjnak az x-tengely krli megforgatsval nyert forgstestnek mindig van
trfogata, spedig
V =
Z b
(f (x))2 dx.
V =
b
a
x2
1 2
a
x2
a2
(ahol
a
x3
4ab2
a3
2
dx = b x 2
.
= 2b a 2 =
3a a
3a
3
2
Tartalom | Trgymutat
/ 209 .
Analzis
Improprius integrl
/ 210 .
Tartalom | Trgymutat
Hasonlan definiljuk a (,a] flig vgtelen intervallumon vett improprius integrlt is. Azt mondjuk, hogy az egsz R-en rtelmezett folytonos
f fggvny
improprius
rtelemben integrlhat, ha minden a R esetn
Ra
R
az
f s az a+ f improprius integrlok mindig lteznek. Ekkor az
Ra
R +
f sszeg nem fgg az a szm megvlasztstl (mirt?); ezt
f + a
az sszeget f -nek
az R-en vett improprius integrljnak nevezzk s az
R +
R
f
vagy
az
f
Z +
b+
R + 1
1
x dx improprius integrlt (ha az ltezik
R + 1
dx improprius integrlt (ha az ltezik
1
x2
/ 210 .
Analzis
Improprius integrl
/ 211 .
Tartalom | Trgymutat
zrus, innen
+
Z
1
+
1
1
= 1.
dx
=
x2
x 1
Tartalom | Trgymutat
/ 211 .
Analzis
Improprius integrl
/ 212 .
Tartalom | Trgymutat
R1
0
R1
Megolds. Ha az improprius integrl ltezik, akkor egyenlo az log x dx rtkek
0 melletti hatrrtkvel ( > 0 ). Ez utbbi Riemann-integrlt parcilis
integrlssal szmthatjuk ki. Legyen u(x) := log x, s v 0 (x) := 1, akkor u0 (x) = x1
s v(x) = x, innen
Z
1
x dx = 1log 1log (1) = 1+log .
x
t+
0
t
=0
et
log x dx = [x
log x]10
Z 1
1
0
x dx = [x log x]10 1 = 1,
Tartalom | Trgymutat
/ 212 .
Analzis
Feladatok
/ 213 .
Tartalom | Trgymutat
9.7. Feladatok
1. Szmtsuk ki az albbi primitv fggvnyeket.
(a)
Z
sin x cos x dx,
(b)
(c)
(d)
cos2 x dx,
arctg x dx,
(e)
x arctg x dx,
(f )
Z
x2 1
dx,
x2 + 1
1
dx,
4x2 + 1
(g)
(h)
Z
ex
dx.
ch x
1
1
x2 dx = +
3
x
3
1
x2 dx,
x3
1
3
(??).
tg x dx,
Tartalom | Trgymutat
/ 213 .
Analzis
Feladatok
/ 214 .
Tartalom | Trgymutat
(b)
Z 2
log x
(c)
Z
dx,
sin 2x
dx.
cos2 x
4. Szmtsuk ki az f (x) := x2 formulval definilt fggvny grafikonjnak vhosszt a 0 s 1 abszcisszj pontok kztt.
5. Egy kancsal fecske (aki 60o -kal balra kancsalt, azaz amirol gy
gondolja, hogy egyenesen elotte van, annak valjban 60o -kal eltr a
fecske pillanatnyi irnytl) haza akar replni a tole lgvonalban 1 km-re
levo fszkre. Kancsalsga miatt persze llandan elvti az irnyt, de
folyamatosan korriglja azt gy, hogy a fszket mindvgig maga elott
ltja. Mennyi utat mesz meg tnylegesen, mg hazar? (tmutats:
a fecske plyja egy x(t) := ect cos t, y(t) := ect sin t paramteres
egyenletu logaritmikus spirlis, ahol a c paramter a kancsalts mrtkbol
hatrozhat meg.)
2
6. Az y = x2 egyenletu
parabola grafikonjnak az y 2 felttelt
kielgto darabjt forgassuk meg az y tengely krl. Mekkora az gy nyert
forgsi paraboloid trfogata?
7. Szmtsuk ki az albbi improprius integrlokat.
(a)
Z +
1
dx,
1
+
ex
0
(b)
Z +
1
dx,
+1
4x2
(c)
2
x2
Z +
0
(d)
Z +
2
x2
+1
dx,
x2 ex dx.
Tartalom | Trgymutat
/ 214 .
Analzis
Feladatok
/ 215 .
Tartalom | Trgymutat
Megoldsok
1. (a)
Z
1
sin x cos x dx =
2
1
2 sin x cos x dx =
2
sin 2x dx =
cos 2x
.
4
cos 2x
cos2 x sin2 x
1 sin2 x sin2 x
1 1
=
=
= + sin2 x.
4
4
4
4 2
(b)
Z
cos x dx =
x sin 2x
1 + cos 2x
dx = +
.
2
2
4
1
13
x log x dx = x14 log x
14
14
13
x13 =
1 14
13 14
x log x
x .
14
196
arctg x dx = x arctg x
x
1
dx = x arctg x
2
1+x
2
= x arctg x
Tartalom | Trgymutat
1
1+x2
2x
dx =
1 + x2
1
log(1 + x2 ).
2
/ 215 .
Analzis
Feladatok
/ 216 .
Tartalom | Trgymutat
1
1
x arctg x dx = x2 arctg x
2
2
1
1
= x2 arctg x
2
2
(f )
x2 + 1 2
dx = x 2arctg x.
x2 + 1
1
dx =
4x2 + 1
(h)
Z
ex
dx =
ch x
t
2
s dx =
ex
dx =
ch x
1
2
dt, innen
1
1
1
1
dt = arctg t = arctg 2x.
t2 + 1 2
2
2
2ex
dx =
ex + ex
2e2x
dx.
e2x + 1
x2
dx =
1 + x2
x2 + 1 1
1
1
1
dx = x2 arctg x x + arctg x.
1 + x2
2
2
2
x2 1
dx =
x2 + 1
1
1+x2
2e2x
dx =
e2x + 1
2t2
1
dt =
2
t +1 t
1
t
dt, innen
t2
2t
dt = log(t2 + 1) =
+1
= log(e2x + 1).
1
1
x2 dx = +
3
x
3
1
x2 dx,
x3
/ 216 .
Analzis
Feladatok
/ 217 .
Tartalom | Trgymutat
3. (a)
Z
tg x dx =
sin2 x
dx =
cos2 x
1 cos2 x
dx =
cos2 x
0
0
= [tg x x]04 = 1 .
4
Z
(b)
Z 2
log x
(c)
dx =
1
2
Z 2
(2 log x)
4 sin x
sin x cos x
dx = 2
dx =
2
cos x
0
0
0 cos x
1
2
4
= 2[log | cos x|]0 = 2 log
= log = log 2.
2
2
sin 2x
dx = 2
cos2 x
1
1
1
dx = [log2 x]20 = log2 2.
x
2
2
Z 1p
1 + x2 dx.
L=
0
ch2 t dt =
Z A
1 + ch2t
0
1
sh 2t
t+
2
2
dt =
A
0
1
= (A + sh A ch A) =
2
1
= (A + sh A 1 + sh2 A).
2
Felhasznlva, hogy sh A = 1, azt kapjuk, hogy
q
1
L = (A + 2).
2
Az A szm meghatrozhat a sh A = 21 (eA eA ) = 1 egyenletbol. Innen
1
L = ( 2 + ln(1 + 2)).
2
Tartalom | Trgymutat
/ 217 .
Analzis
Feladatok
/ 218 .
Tartalom | Trgymutat
1
c
= .
2
2
1+c
Z q
Z q
(cect cos t ect sin t)2 + (cect sin t + ect cos t)2 dt =
1 + c2
"
ct
dt =
1 + c2
ect
c
=
0
1 + c2
= 2,
c
fizikai meggondolsbl is
megkaphat. Kzeltsk a plyt trttvonallal, az egyes szakaszok
hossza legyen s1 , s2 ,... Az egyes szakaszokon rvnyes elmozdulsvektort bontsuk fel radilis s arra meroleges komponensre. A radilis
elmozdulskomponens hossza sk cos 60o = 12 sk , s ez megegyezik
a kzeleds mrtkvel. Minden szakaszon teht a megtett t felvel
kzeledik a fecske a fszekhez. A megtett utak sszege teht a fecske s
a fszek kezdeti tvolsgnak ktszerese.
6. A trfogat nyilvn egyenlo az inverz fggvny grafikonjnak a 1. tengely krli forgatsval nyert forgstest trfogatval. Az inverz fggvny
Z 2 p
( 2y) dy =
Tartalom | Trgymutat
Z 2
2y dy = 4.
0
/ 218 .
Analzis
Feladatok
/ 219 .
Tartalom | Trgymutat
7. (a)
Z +
0
1
dx = lim
A+
1 + ex
Z A
1 + ex ex
1 + ex
A+
1
dx =
4x2 + 1
Z +
1
2
1
1
1
1
dt = [arctg t]+
=
t2 + 1 2
2
2
2
2
= .
(c) Helyettestsnk: t := x2 , akkor x = t2 s dx = t22 dt. Az j vltoznak megfelelo hatrok (+) s 0, innen
Z +
Z 0
2
Z + 1
t2
2
x2
2
dt
=
dt =
dx
=
2
2
t2
t2 + 1
+1
0
0
+ t + 1
x2
=
2[arctg x]0+ =
2 .
4
x2 ex dx =
Tartalom | Trgymutat
1
3
Z +
0
1
1
et dt = [et ]+
= .
0
3
3
/ 219 .
Analzis
Tartalom | Trgymutat
zn
wn
z
w;
/ 220 .
Analzis
Tartalom | Trgymutat
Tartalom | Trgymutat
/ 221 .
Analzis
Tartalom | Trgymutat
10.1. Plda:
Minden n N esetn a z 7 z n hatvnyfggvny folytonos.
A z 7 Re z s a z 7 Im z fggvnyek folytonosak.
A z 7 z fggvny folytonos.
A z 7 |z| abszoltrtk-fggvny folytonos.
A z 7
1
z
rvnyben maradnak tovbb a vals analzisbol mr ismert, a folytonossgra vonatkoz fobb ttelek is:
10.2. llts: . Ha f,g : D C folytonos fggvnyek, akkor az f + g,
f g, f g s fg fggvnyek mind folytonosak (az fg hnyadosfggvny
termszetesen csak ott, ahol a nevezo nem zrus). Tovbb, ha Rf Dg ,
akkor a g f sszetett fggvny is folytonos. Vgl, ha f kielgti a Lipschitzfle felttelt, azaz |f (z1 )f (z2 )| C |z1 z2 | teljesl alkalmas C 0 mellett
minden z1 ,z2 D esetn, akkor f folytonos D-n.
A derivlt rtelmezse komplex vltozs fggvnyek esetben formlisan ugyangy trtnik, mint a vals vltozs fggvnyek esetben.
Komplex vltozs fggvny differencilhatsga:
Az f : D C fggvny differencilhat a z D pontban, ha minden
(zn ) D, zn z sorozat esetn a
lim
f (zn ) f (z)
zn z
Tartalom | Trgymutat
/ 222 .
Analzis
Tartalom | Trgymutat
/ 223 .
Analzis
Tartalom | Trgymutat
Tartalom | Trgymutat
/ 224 .
Analzis
Tartalom | Trgymutat
|z + hn |2 |z|2
|z|2 + 2Re (iztn ) + |itn |2 |z|2
=
=
hn
itn
=
Hasonl technikval, mint a vals fggvnyek esetben tettk, megmutathat, hogy az alapveto differencilsi szablyok rvnyesek maradnak
komplex vltozs fggvnyek esetben is:
Tartalom | Trgymutat
/ 225 .
Analzis
Tartalom | Trgymutat
Komplex vonalintegrl
/ 226 .
0
f
g
(z) =
Tartalom | Trgymutat
/ 226 .
Analzis
Komplex vonalintegrl
/ 227 .
Tartalom | Trgymutat
z1 s z2
pontokat sszekto egyenesszakaszhoz jutunk (ezt [z1 ,z2 ]-vel jelljk).
Rektifiklhat grbe:
Legyen w : [,] C egy folytonos reprezentnsa a grbnek. Legyen
= t0 < t1 < t2 < ... < tN = az [,] intervallum egy felbontsa. A megfelelo {z0 ,z1 ,...,zN } vges sorozatot (ahol zk := w(tk ), k = 0,1,...,N ) a
grbe egy felbontsnak, a [z0 ,z1 ], [z1 ,z2 ], ... [zN 1 ,zN ] szakaszok sszessgt pedig a grbbe rt trttvonalnak nevezzk. A grbt rektifiklhatnak
nevezzk, ha a bert trttvonalak hosszainak halmaza fellrol korltos,
azaz a
N
X
|zk zk1 |
k=1
sszegek minden felbonts esetn kzs korlt alatt maradnak. Ezen sszegek felso hatrt (szuprmumt) a grbe vhossznak nevezzk, s a ||
szimblummal jelljk.
A definciban szereplo z0 ,z1 ,...,zN vges sorozatot rviden csak a
grbe egy felbontsnak (vagy felosztsnak) nevezzk. Az A := w() s
B := w() komplex szmok a grbe vgpontjai. Felbontsok egy sorozatt
a vals Riemann-integrl esetvel analg mdon korltlanul finomodnak
neveznk. ha az egyes felbontsok finomsgt jellemzo
max |zk zk1 |
1kN
Tartalom | Trgymutat
/ 227 .
Analzis
Komplex vonalintegrl
/ 228 .
Tartalom | Trgymutat
Bizonyts. Legyen = t0 < t1 < t2 < ... < tN = az [,] intervallum egy
felbontsa. Akkor a megfelelo bert trttvonal hossza:
N
X
|w(tk ) w(tk1 | =
k=1
N p
X
k=1
N
X
k=1
A jobb oldalon a Lagrange-kzprtkttel rtelmben az egyes klnbsgi hnyadosok pontosan egyenlok alkalmas, valamely [tk1 ,tk ]-beli helyeken vett deriRp
vltakkal. gy a jobb oldal az a(t)2 + b(t)2 dt Riemann-integrl egy RiemannTartalom | Trgymutat
/ 228 .
Analzis
Komplex vonalintegrl
/ 229 .
Tartalom | Trgymutat
a(t) dt + i
w(t) dt :=
b(t) dt.
k=1
Tartalom | Trgymutat
/ 229 .
Analzis
Komplex vonalintegrl
/ 230 .
Tartalom | Trgymutat
k=1
k=1
f (z) dz = c (B A).
f (z) dz = 0.
Tartalom | Trgymutat
/ 230 .
Analzis
Komplex vonalintegrl
/ 231 .
Tartalom | Trgymutat
k=1
N
X
k=1
f (z) dz =
B 2 A2
.
2
f (z) dz = 0.
Valban, legyen z0 ,z1 ,...,zN egy tetszoleges felbonts s legyen eloszr wk := zk1
Ekkor a megfelelo integrlkzelto sszeg:
N
X
k=1
N
X
k=1
zk (zk zk1 ).
k=1
k=1
A kt sszeg kln-kln is a
is. mde
N
X
k=1
k=1
2
1X
1X 2
z02 + zN
2
(zk + zk1 )(zk zk1 ) =
(zk zk1
)=
,
2
2
2
Tartalom | Trgymutat
/ 231 .
Analzis
Komplex vonalintegrl
/ 232 .
Tartalom | Trgymutat
10.9. llts: . Ha a grbe sima, azaz ltezik egy w : [,] D folytonosan differencilhat reprezentnsa, f : D C pedig kielgti a Lipschitzfelttelt, akkor az f fggvny a grbe mentn integrlhat, spedig:
Z
f (z) dz =
Bizonyts. Legyen = t0 < t1 < ... < tN = az [,] intervallum egy felbontsa,
s legyen wk := zk = w(tk ). Akkor a megfelelo integrlkzelto sszeg:
N
X
k=1
N
X
k=1
N
X
f (w(tk ))
k=1
N
X
(w(tk ) w(tk1 ))
(tk tk1 ) =
tk tk1
k=1
N
X
k=1
N
X
k=1
R
ahol felhasznltuk a Lagrange-kzprtkttelt. Az elso sszeg a f (z) dz =
R
f (w(t))w0 (t) dt integrl egy integrlkzelto sszege. Ha a felbonts korltlanul
finomodik, az elso sszeg ehhez az integrlhoz tart, a msodik pedig 0-hoz, mert
N
X
0
(f (w(tk )) f (w(k )))w (k ) (tk tk1 )
k=1
Tartalom | Trgymutat
/ 232 .
Analzis
Tartalom | Trgymutat
1
, (ahol z0 C tetszoleges) pedig egy z0
10.15. Plda: Legyen f (z) := zz
0
kzepu,
R sugar kr. Akkor
f (z) dz = 2i.
f (z) dz = 0.
Rk eikt iReit dt =
f (z) dz =
= iRk+1
ei(k+1)t dt = iRk+1
Tartalom | Trgymutat
/ 233 .
Analzis
Tartalom | Trgymutat
is.
Ezek utn mr megfogalmazhatjuk komplex fggvnytan egyik alapttelt, bizonytshoz azonban eddigi eszkzeink nem elegendoek, gy azt
elhagyjuk:
10.1. Ttel: (Cauchy-fle integrlttel). Ha f analitikus egy egyszeresen
sszefggo D C tartomnyon, akkor minden, D-ben halad zrt
grbre
I
f (z) dz = 0
teljesl.
A ttel azonnali kvetkezmnye, hogy bizonyos esetekben egyes vonalintegrlok ms, alkalmasint lnyegesen egyszerubb
grbk menti vonalintegrlokkal fejezhetok ki.
Tartalom | Trgymutat
/ 234 .
Analzis
Tartalom | Trgymutat
f (z) dz =
f (z) dz.
Bizonyts (vzlat). Vgjuk fel a szban forg, a kt grbe kz eso tartomnyt egy
grbvel (azaz hagyjuk el belole e grbe pontjait). gy elrheto, hogy felvgott
tartomny egyszeresen sszefggo legyen (ez szemlletesen nyilvnval, de nem
bizonytjuk).
Tartalom | Trgymutat
/ 235 .
Analzis
Tartalom | Trgymutat
egy nem felttlen zrt grbe menti integrlja csak a grbe kezdo- s vgpontjtl fgg, a grbe lefutstl nem. Pontosabban:
10.2. Kvetkezmny: . Legyen D egy egyszeresen sszefggo tartomny,
1 s 2 a D-ben halad, kzs kezdo- s vgpont grbk, akkor:
Z
f (z) dz =
1
f (z) dz.
2
Tartalom | Trgymutat
/ 236 .
Analzis
Tartalom | Trgymutat
f (w)
dw.
wz
Bizonyts. A z pont kr rjunk egy (elg kis) > 0 sugar krt gy, hogy az
mg teljes egszben belsejbe essk. Alkalmazzuk a 10.1. Kvetkezmnyt az
Ugyanakkor
I
I
F (w) dw =
f (w)
dw f (z)
wz
I
1
dw =
wz
I
f (w)
dw f (z) 2i,
wz
ahol felhasznltuk a 10.14. Plda eredmnyt is. Mivel pedig F knnyen lthatan
korltos a z pont egy krnyezetben:
I
F (w) dw 0,
Tartalom | Trgymutat
/ 237 .
Analzis
Taylor-sorok, Laurent-sorok
/ 238 .
Tartalom | Trgymutat
n!
2i
f (w)
dw.
(w z)n+1
Bizonyts vzlat. Tekintsk a 10.2. Ttel ltal szolgltatott formult f (z) kifejezsre:
I
f (w)
1
dw.
f (z) =
2i w z
Igazolhat (a rszletekkel ebben a jegyzetben nem foglalkozhatunk) hogy a jobb
oldali kifejezs mint z fggvnye differencilhat, s a derivltat gy kapjuk meg,
hogy a jobb oldali integrandust derivljuk (a z vltoz szerint). Ennlfogva:
I
1
f (w)
f 0 (z) =
dw,
2i (w z)2
I
12
f (w)
00
f (z) =
dw,
2i (w z)3
I
123
f (w)
f 000 (z) =
dw,
4
2i
(w z)
s gy tovbb.
Tartalom | Trgymutat
/ 238 .
Analzis
Taylor-sorok, Laurent-sorok
/ 239 .
Tartalom | Trgymutat
10.3. Ttel: (Taylor-kifejts). Legyen f analitikus fggvny egy D tartomnyon. Legyen z0 D tetszoleges pont s 0 egy z0 kzppont kr, mely
teljes egszben D-be esik. Akkor e kr belsejbe eso z szmokra rvnyes
az albbi Taylor-sorfejts:
f (z) = a0 + a1 (z z0 ) + a2 (z z0 )2 + ... =
ak (z z0 )k ,
k=0
f (w)
f (k) (z)
dw
=
(w z)k+1
k!
(k = 0,1,2,...).
zz0
Bizonyts vzlat. A krvonal w pontjaira nyilvn |zz0 | < |wz0 |, azaz wz
< 1.
0
=
zz0 =
wz
(w z0 ) (z z0 )
w z0 1 wz
0
1
=
w z0
=
z z0
1+
+
w z0
z z0
w z0
2
+
z z0
w z0
3
!
+ ...
1
z z0
(z z0 )2
(z z0 )3
+
+
+
+ ...
2
3
w z0
(w z0 )
(w z0 )
(w z0 )4
Tartalom | Trgymutat
/ 239 .
Analzis
Taylor-sorok, Laurent-sorok
/ 240 .
Tartalom | Trgymutat
1
Szorozzuk mindkt oldalt 2i
f (w)-vel, s integrljunk a 0 krn. Megmutathat (nem bizonytjuk), hogy a jobb oldali vgtelen sor vonalintegrljt gy
kaphatjuk, hogy az egyes tagokat kln-kln integrljuk, s az integrlokat
sszegezzk (vgtelen sszegre ez nem kvetkezik az integrl additivitsbl!).
Rviden: a vgtelen sort tagonknt integrlhatjuk. A bal oldal integrlja a Cauchyintegrlformula miatt f (z)-vel egyenlo, innen
I
1
f (w)
dw = f (z) =
2i 0 w z
I
I
I
(z z0 )
(z z0 )2
1
f (w)
f (w)
f (w)
dw+
dw+
dw+...
=
2
3
2i 0 w z0
2i
2i
0 (w z0 )
0 (w z0 )
z
z2 z3
+
+
+ ...,
1!
2!
3!
mivel ez (sszes) derivltja ez -vel egyenlo. Teht az exponencilis fggvny 0 krli Taylor-sora most is a vals esethez hasonlan a definil
exponencilis sorral egyezik.
Hasonlan, egy sereg jl ismert vals fggvnyt ki lehet terjeszteni analitikus mdon az egsz komplex szmskra a Maclaurin-soruk segtsgvel.
gy kapjuk pl. a komplex szinusz- s koszinuszfggvnyeket, hiperbolikus
fggvnyeket stb:
sin z =
z
z3 z5 z7
+ ...
1!
3!
5!
7!
z2 z4 z6
+
+ ...
2!
4!
6!
z3 z5 z7
z
+
+
+ ...
sh z = +
1!
3!
5!
7!
z2 z4 z6
ch z = 1 +
+
+
+ ...
2!
4!
6!
Amennyiben az f fggvny magban a z0 pontban nem felttlen analitikus,
egy ltalnosabb sorfejtshez jutunk:
cos z = 1
Tartalom | Trgymutat
/ 240 .
Analzis
Taylor-sorok, Laurent-sorok
/ 241 .
Tartalom | Trgymutat
10.4. Ttel: (Laurent-kifejts). Legyen f analitikus fggvny egy D tartomnyon, egy z0 pontot esetleg kivve. Legyenek 0 s 1 koncentrikus, z0
kzppont krk, (0 sugara legyen kisebb) melyek ltal hatrolt gyur
u
tartomny teljes egszben D-be esik. Akkor e gyur
utartomny
belsejbe
eso z szmokra rvnyes az albbi Laurent-sorfejts:
f (z) = ... +
a1
a2
+
+ a0 + a1 (z z0 ) + a2 (z z0 )2 + ... =
2
(z z0 )
(z z0 )
ak (z z0 )k ,
k=
I
0
f (w)
dw
(w z)k+1
(k Z).
gy, hogy
ez az egyenesszakasz ne menjen t a z ponton.
Tartalom | Trgymutat
/ 241 .
Analzis
Taylor-sorok, Laurent-sorok
/ 242 .
Tartalom | Trgymutat
A jobb
elso integrlban a 1 krvonal w pontjra nyilvn |z z0 | < |w z0 |,
oldali
zz0
azaz wz0 < 1. Ezt felhasznlva:
1
1
1
1
=
=
zz0 =
wz
(w z0 ) (z z0 )
w z0 1 wz
0
1
=
w z0
=
z z0
1+
+
w z0
z z0
w z0
2
+
z z0
w z0
3
+ ...
1
z z0
(z z0 )2
(z z0 )3
+
+
+
+ ...
2
3
w z0
(w z0 )
(w z0 )
(w z0 )4
=
0
wz
(w z0 ) (z z0 )
z z0 1 wz
zz0
w z0
+
1+
z z0
1
=
z z0
=
w z0
z z0
2
+
w z0
z z0
3
+ ...
1
w z0
(w z0 )2
(w z0 )3
....
2
3
z z0
(z z0 )
(z z0 )
(z z0 )4
1
2i
z z0
f (w)
dw+
w z0
2i
(z z0 )1
2i
+
I
1
I
f (w) dw +
1
(z z0 )3
2i
(z z0 )2
f (w)
dw+
2
(w z0 )
2i
(z z0 )2
2i
I
1
f (w)
dw+...
(w z0 )3
I
f (w)(w z0 ) dw+
1
f (w)(w z0 )2 dw + ...
Tartalom | Trgymutat
/ 242 .
Analzis
A reziduumttel
/ 243 .
Tartalom | Trgymutat
1
.
(1+z 2 )2
Megolds. Nyilvn
f (z) =
1
1
1
=:
g(z).
(z i)2 (z + i)2
(z i)2
3!
4!
5!
2!
, g 00 (z) =
, g 000 (z) =
, g (4) (z) =
...,
(z + i)3
(z + i)4
(z + i)5
(z + i)6
ahonnan
g(i) =
1
2!
3!
4!
5!
, g 0 (i) = 3 , g 00 (i) = 4 , g 000 (i) = 5 , g (4) (i) = 6 ....
22
2 i
2
2 i
2
2
4
3
5
1
+ 3 (z i) + 4 (z i)2 5 (z i)3 6 (z i)4 + ...,
22
2 i
2
2 i
2
g(z)
=
(z i)2
1
2
3
4
5
(z i)2 + 3 (z i)1 + 4 5 (z i) 6 (z i)2 + ....
22
2 i
2
2 i
2
Figyeljk meg, hogy a Laurent-sor csak kt negatv indexu tagot tartalmaz.
=
10.5. A reziduumttel
A Cauchy-ttel (10.1. Ttel) szerint egyszeresen sszefggo tartomnyon
analitikus fggvny zrt grbe menti integrlja mindig 0 (amennyiben
a grbe a szban forg tartomnyban fekszik). Ebben a szakaszban ezt
az eredmnyt ltalnostjuk nem mindentt analitikus, azaz szingularitsokkal br fggvnyekre. Csak azzal az esettel foglalkozunk, amikor a
szingulris pontok izolltak, azaz minden szingulris pontnak van olyan
alkalmas krnyezete, melyen bell ez az egyetlen szingularits. Ilyen
szingularitsoknak hrom osztlyt szoks megklnbztetni:
Tartalom | Trgymutat
/ 243 .
Analzis
A reziduumttel
/ 244 .
Tartalom | Trgymutat
1
2i
f (w) dw,
0
azaz az f fggvnynek a 0 krn vett integrlja a z0 -beli reziduum 2iszerese. A kvetkezo ttel ezt ltalnostja vges sok izollt szingularits
esetre:
10.5. Ttel: (reziduumttel). Legyen f analitikus fggvny egy D
C tartomnyon, kivve esetleg a z1 ,z2 ,...,zN izollt szingulris pontokat.
Legyen olyan zrt grbe, mely teljes egszben D-ben halad, s belseje
tartalmazza f szingularitsait. Akkor:
I
f (w) dw =
N
X
Res(f,zk ).
k=1
Tartalom | Trgymutat
/ 244 .
Analzis
A reziduumttel
/ 245 .
Tartalom | Trgymutat
N I
X
k=1
f (w) dw,
ahol alkalmaztuk a 10.1.Kvekezmnyt. A jobb oldali sszegben mindegyik integrl a megfelelo reziduum 2i-szerese, ahonnan:
I
f (w) dw = 2i
N
X
Res(f,zk ).
k=1
1
z
12
1 22
1 23
+
+
+ ...,
1! z
2! z 2
3! z 3
Tartalom | Trgymutat
/ 245 .
Analzis
A reziduumttel
/ 246 .
Tartalom | Trgymutat
Analitikus fggvnyek hnyadosnak z0 -beli reziduuma egyszeru derivlssal szmthat, ha a nevezonek z0 legfeljebb egyszeres gyke:
10.10. llts: . Ha g, h analitikus
fggvnyek a z0 pont egy krnyezetben,
h
s g(z0 ) 6= 0, akkor Res g ,z0 = 0. Ha g-nek z0 egyszeres gyke (azaz
g(z0 ) = 0, de g 0 (z0 ) 6= 0), akkor pedig
h(z0 )
h
,z0 = 0
Res
g
g (z0 )
h(z)
u(z) .
gy F z0
F (z) = a0 + a1 (z z0 ) + a2 (z z0 )2 + ....
A h/g fggvny Laurent-sora innen
h(z)
a0
+ a1 + a2 (z z0 ) + a3 (z z0 )2 + ...,
=
g(z)
z z0
azaz a z0 -beli reziduuma pp az a0 (=
mert
h(z0 )
u(z0 ) )
zz0 g(z)g(z0 )
zz0
h(z0 )
.
g 0 (z0 )
Res(f,k) =
Tartalom | Trgymutat
cos z
cos k
|z=k =
= 1.
(sin z)0
cos k
/ 246 .
Analzis
A reziduumttel
/ 247 .
Tartalom | Trgymutat
f (z) dz =
IR R
f (x) dx +
R
f (z) dz = 2i
R
N
X
Res(f,zk ).
k=1
R +
Z +
f (x) dx = 2i
N
X
Res(f,zk ).
k=1
Krds, milyen felttelek biztostjk, hogy az R f (z) dz integrl zrushoz tartson R + mellett. Ehhez knnyen lthatan elegendo, ha
|f (z)| elg gyorsan zrushoz tart |z| + mellett. Pontosabban, igaz a
kvetkezo llts.
C
10.11. llts: . Ha a R flkr mentn |f | R1+
valamely
> 0 pozitv
R
szm s egy R-tol fggetlen C konstans mellett, akkor R f (z) dz 0
(R + mellett), azaz ekkor
Z +
f (x) dx = 2i
Tartalom | Trgymutat
N
X
Res(f,zk ).
k=1
/ 247 .
Analzis
A reziduumttel
/ 248 .
Tartalom | Trgymutat
C
R1+
|R | =
C
R1+
R =
C
0,
R
ha R +.
Z +
1
dx =?
1 + x2
1
Megolds. Legyen f (z) := 1+z
o flskon egyetlen szingulris
2 , akkor f -nek a fels
pontja van, spedig az i szm. A reziduum e pontban:
1
1
1
|z=i = .
Res
,i
=
1 + z2
(1 + z 2 )0
2i
A R flkr mentn
1
1
2
1 + z 2 R2 1 R2 ,
1
dx = 2iRes
1 + x2
1
1
,i = 2i
= .
1 + z2
2i
1
dx = [arctg x]+
= .
1 + x2
Figyeljk meg azonban, hogy az elso megoldshoz sem a primitv fggvny, sem
az arkusz tangens fggvny hatrrtknek ismerete nem szksges.
Tartalom | Trgymutat
/ 248 .
Analzis
A reziduumttel
/ 249 .
Tartalom | Trgymutat
Q(x)
dx = 2i
N
X
Res(
k=1
P
,zk ),
Q
10.24. Plda:
Z +
1
dx =?
(1 + x2 )2
Megolds. Legyen f (z) := (1+z1 2 )2 =, akkor f -nek a felso flskon egyetlen szingulris pontja van, spedig az i szm. Az i krli Laurent-sort a 10.19. Pldbl mr
ismerjk:
f (z) =
3
5
1
2
4
(z i)2 + 3 (z i)1 + 4 5 (z i) 6 (z i)2 + ....
22
2 i
2
2 i
2
1
Innen az i-beli vett reziduum: Res(f,i) = 4i
. A R flkrn pedig rvnyes az
albbi becsls:
1
1
4
(1 + z 2 )2 (R2 1)2 R4 .
1
1
dx = 2iRes(f,i) = 2i
= .
(1 + x2 )2
4i
2
Tartalom | Trgymutat
/ 249 .
Analzis
Feladatok
/ 250 .
Tartalom | Trgymutat
10.6. Feladatok
1. Szmtsuk ki a
|z|2 dz
z 2 dz
1
(z 1)(z 3)
ez
dz
z3
Tartalom | Trgymutat
/ 250 .
Analzis
Feladatok
/ 251 .
Tartalom | Trgymutat
Megoldsok
|z| dz =
|z| dz +
[0,1]
|z| dz +
[1,1+i]
|z| dz +
[1+i,i]
|z|2 dz,
[i,0]
Z 1
|z| dz =
[0,1]
|z|2 dz =
[1,1+i]
Z 1
|z|2 dz =
[1+i,i]
Z 1
|z| dz =
[i,0]
1
t2 dt = ,
3
4
(1 + t2 ) i dt = i,
3
4
((1 t)2 + 1) (1) dt = ,
3
Z 1
0
1
(1 t)2 (i) dt = i,
3
|z|2 dz = 1 + i.
z dz =
Z 1
2
t + i(t2 + 1)
(1 + 2it) dt =
Z 1
Z 1
(5t 5t 1) dt + i
Tartalom | Trgymutat
Z 1
0
(2t5 ) dt =
11 1
i.
3
3
/ 251 .
Analzis
Feladatok
/ 252 .
Tartalom | Trgymutat
Z 1
z dz =
1
z 2 dz =
Z 1
0
2
(t + i)2 dt = + i,
3
4
(1 + i + it)2 i dt = 3 i,
3
gy e ketto sszege:
Z
2
4
11 1
z 2 dz = + i 3 i = i.
3
3
3
3
2
z dz +
1
3. Minden z C-re:
sin z = z
z3 z5 z7
z3 z5 z7
+
+ ... = z
+
+ ... = sin z.
3!
5!
7!
3!
5!
7!
1
. Akkor g analitikus a z = 3 hely egy kr4. Jellje g(z) := z1
1
nyezetben, ezrt itt Taylor-sorba fejtheto. Mivel g 0 (z) = (z1)
2,
g 00 (z) =
g 000 (3)
2!
3!
1
, g 000 (z) = (z1)
4 ,... , ezrt g(3) = 2 ,
(z1)3
= 23!4 ,... s g-nek a 3 krli Taylor-sora:
g(z) =
2!
,
23
1
2!
3!
1
2 (z 3) + 3 (z 3)2 4 (z 3)3 + ...,
2 2
2
2
1
1
1
2!
3!
2 + 3 (z 3) 4 (z 3)2 + ...
2 z3 2
2
2
5. Az integrandusnak egyetlen szingulris helye: z = 3 s ez benne van a |z| = 4 krvonal belsejben. A reziduum:
ez
Res
,3 = e3 ,
z3
Tartalom | Trgymutat
/ 252 .
Analzis
Feladatok
/ 253 .
Tartalom | Trgymutat
innen a vonalintegrl:
I
ez
dz = 2ie3 .
z3
2
2
helyek: z1 = 2 (1 + i) s z2 = 2 (1 + i). A hozzjuk tartoz reziduumok:
1
1
1
2
Res 4
,z1 = 3 =
,
z +1
2 (1 + i)3
4z1
2
1
1
1
Res 4
,z2 = 3 =
.
z +1
2 (1 + i)3
4z2
Innen
Z +
2
1
1
1
=
dx
=
2i
+
x4 + 1
2
(1 + i)3 (1 + i)3
2 (1 + i)3 + (1 + i)3
2
= 2i
==
.
2
8
2
Tartalom | Trgymutat
/ 253 .
Trgymutat
abszolt rtk 37
abszolt konvergecia 78
als, felso integrl 195
als, felso integrlkzelto sszegek
194
vhossz 206
izollt szingularitsok fajti 244
fixpont 102
folytonossg 94
forgstest trfogata 208
fggvny 11
fggvny hatrrtke 93
kiterjesztett hatrrtkfogalom 94
komplex exponencilis fggvny
175
bal oldali, jobb oldali hatrrtk 93 komplex szmsk 34
binomilis egytthat 17
komplex vltozs fggvny differencilhatsga 222
Cauchy-sorozat 64
komplex vltozs fggvny folytoCauchy-szorzat 82
nossga 221
komplex
vonalintegrl 229
derivltfggvny 123
konjuglt
36
Descartes-szorzat 10
kontrakci 97
differencilhnyados 122
konvergencia 55
diszjunkt halmazok 9
korltos halmazok 24
Egyszeresen sszefggo tartomny korltos sorozat 56
234
Lagrange-fle maradktag 169
ekvivalencia 14
kiterjeszts 13
rtelmezsi tartomny, rtkkszlet leszukts,
loklis minimum, loklis maximum
11
92
exponencilis sor 84
grafikon 11
halmazmuveletek
8
hatvnyhalmaz 7
hiperbolikus fggvnyek 112
improprius integrl 209
intervallum felbontsa 194
inverz fggvny 13
Analzis
Tartalom | Trgymutat
TRGYMUTAT
/ 255 .
rszhalmaz 7
rszsorozat 54
reziduum 244
Riemann-integrl 195
sor konvergecija 73
sorozat 54
Taylor-polinom 166
vals rsz, kpzetes rsz 34
vals vltozs, komplex rtku
Tartalom | Trgymutat
/ 255 .
Analzis
Tartalom | Trgymutat
TRGYMUTAT
/ 256 .
Ajnlott irodalom
Tartalom | Trgymutat
/ 256 .