Mat 34TMT Mem

Mincsovics M. E.
Havasi .
Haszpra T.
MATEMATIKAI PLDATR
Fldtudomnyi szakosoknak
Tartalomjegyzk
Matematika 3.
1 Metrikus tr
1.1.
Elmleti sszefoglal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2.
Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
1.3.
MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . .
13
2 Teljes metrikus tr
17
2.1.
Elmleti sszefoglal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17
2.2.
Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
18
2.3.
20
3 Vektortr, lineris lekpezsek

3.1.
Elmleti sszefoglal
3.2.
Feladatok
3.3.
25
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
29
4 Normlt tr
31
4.1.
Elmleti sszefoglal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2.
Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
32
4.3.
34
5 Normlt terek folytonos lineris lekpezsek

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
31
37
5.1.
Elmleti sszefoglal
37
5.2.
Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
5.3.
39
6 1. minta zrthelyi
41
7 Normlt terek hatrrtk, folytonossg
43
7.1.
Elmleti sszefoglal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
43
7.2.
Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
44
7.3.
46
8 Normlt terek dierencilszmts I.

8.1.
Elmleti sszefoglal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
49
49
TARTALOMJEGYZK
8.2.
Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
50
8.3.
52
9 Normlt terek dierencilszmts II.
55
9.1.
Elmleti sszefoglal
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
9.2.
Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
56
9.3.
57
10 Normlt terek dierencilszmts III.

10.1. Elmleti sszefoglal
10.2. Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
61
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
62
10.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . .
64
11 Normlt terek integrlszmts I.

69
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
69
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
70
71
11.2. Feladatok
12 2. minta zrthelyi
75
II Matematika 4.
77
13 Normlt terek integrlszmts II.
79
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
80
82
13.2. Feladatok
14 Normlt terek integrlszmts III.

14.1. Feladatok
87
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
88
15 Tbbszrs integrlok I.
15.2. Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
91
91
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
94
16 Tbbszrs integrlok II.
99
99
16.2. Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
16.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 102
17 Komplex fggvnytan I.
17.2. Feladatok
105
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
TARTALOMJEGYZK
111
19 Komplex fggvnytan II.

19.2. Feladatok
113
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
20 Komplex fggvnytan III.

20.2. Feladatok
119
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
21 Komplex fggvnytan IV.

21.1. Feladatok
125
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
22 Fggvnysorozatok
22.2. Feladatok
131
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
23 Fggvnysorok
23.2. Feladatok
139
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
24 Fourier-sorok
145

24.2. Feladatok
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
153
Irodalomjegyzk
155
Trgymutat
157
Elsz
Ez a pldatr az Etvs Lornd Tudomnyegyetemen tanul fldtudomnyi s krnyezettan alapszakos hallgatk matematikakpzsnek 3. s 4. flvhez kszlt. Ebben a
kt flvben sajttjk el a hallgatk a tbbvltozs fggvnyek analzisnek alapjait:
a metrikus tr s a normlt tr fogalmt, a tbbvltozs fggvnyek dierencilszmtsnak az alapfogalmait, a vonalintegrlhoz s a tbbszrs integrlokhoz kapcsold
legfontosabb ismereteket, a komplex fggvnytan elemeit, valamint a fggvnysorozatok
s fggvnysorok alapjait. Erre a jegyzetre azrt volt szksg, mert az emltett szakokon
tanul hallgatktl elvrt matematikatuds sokhelytt meghaladja a Bolyai knyvsorozatban tallhat feladatok nehzsgt, de az alkalmazott matematikustl termszetesen
elmarad. (Megjegyezzk, hogy ez az elvrs teljesen sszhangban van azzal, hogy pldul van olyan meteorolgus, akinek alig lesz szksge matematikra, de van olyan is, aki
gyakorlatilag alkalmazott matematikusknt fog tevkenykedni a meteorolgia terletn!)
Ilyen tudssznvonalat megclz knyvvel pedig mg nem tallkoztunk. A pldatrat gy
lltottuk ssze, hogy pontosan kvesse a Matematika 3 s 4 trgyak gyakorlatainak az
utbbi vek sorn kialakult anyagt. Ennek megfelelen a fejezetek szma megegyezik a
kt flv sorn tartott gyakorlati rk szmval. Ahol szksges, a fejezetek elejn elmleti sszefoglal segti a feladatok megoldshoz szksges ismeretek ttekintst. Ezutn
kvetkeznek a feladatok, az egyes gyakorlatokon bell is altmnknt klnbontva. Vgl kvetkeznek a kidolgozott megoldsok, eredmnyek s tmutatsok. A feladatok tbb
mint hromnegyed rszhez tallunk valamit ezekben a rszekben, s legtbbszr kidol-
jelli, ha van hozz kidolgozott megolds,

99K szimblum jelzi, ha tmutatst tallhatunk
gozott megoldst. Az egyes feladatoknl

jelli, ha eredmnyt mellkeltnk, s a
hozz. Mindkt fejezet kzepn s vgn egy-egy minta zrthelyit is tall az olvas a zrthelyi dolgozatokra val nll felkszlshez. A pldatr elektronikus formtuma lehetv
teszi, hogy a pirossal kiemelt utalsokra kattintva a hivatkozott szvegrszre ugorjunk. A
szveget, ahol csak lehetett, a megrtst segt brkkal ill. animcikkal illusztrltuk.
Termszetesen ez a jegyzet sem csak sajt feladatokat tartalmaz, hiszen a trgyalt
tmk srgiek, szmtalan knyv s feladatgyjtemny foglalkozik velk, s mi is tbbl
mertettnk. Metrikus s normlt terekbe komolyabb betekintst ad [7]. Vektorterekrl
s lineris lekpezsekrl (tisztn algebrai megkzeltsben) b ismereteket nyjt [3], j
bevezet [6], folytonos lineris lekepezsekrl pedig a mr emltett [7] knyvet ajnljuk. A
dierencilszmts rszhez [2] nyjt j alapokat, [7] pedig komolyabb elmleti htteret,
tovbb [1] nagyon precz trgyalst, [4] pedig nem csak ehhez a rszhez kimerthetetlen
feladatgyjtemny. Vonalintegrlokhoz s tbbszrs integrlokhoz [2] nyjt j alapo5
TARTALOMJEGYZK
kat, [1]-tl precz trgyalst kapunk. A komplex fggvnytanba az elnyhetetlen [9] ad

komolyabb betekintst, de elsre a gyakorlatibb s knnyebb [5]-t ajnljuk. Fggvnysorozatokhoz, fggvnysorokhoz, Fourier-sorokhoz pedig a [8] knyvet tudjuk ajnlani, mint
szrakoztat olvasmnyt. Bzunk benne, hogy a pldatrat haszonnal forgatjk majd a
hallgatk s az ket felkszt gyakorlatvezetk egyarnt. Vgezetl ksznetet szeretnnk mondani mindenkinek, aki megjegyzseivel segtette a jegyzet fejldst, tovbb
Horvth Rbertnek a stlusle-rt (amit kicsit talaktottunk).
Budapest, 2012.
A Szerzk
rsz I
Matematika 3.
fejezet 1
Metrikus tr
Kulcsszavak:
metrika, metrikus tr, krnyezet (gmb), bels pont, kls pont, hatrpont, nylt
halmaz, zrt halmaz, pontozott krnyezet, torldsi pont

Mindenki rendelkezik egy intuitv tvolsgfogalommal s ez a htkznapokban tbbnyire
jl is mkdik. A kvetkezkben megmutatjuk, hogy lehetsges a tvolsg fogalmnak
denilsa s kezelse a matematika keretein bell is.
Ismeretes, hogy kt vals szm tvolsgn a klnbsgk abszolt rtkt rtjk. De
szeretnnk, ha nem csak szmok, hanem tetszleges (matematikailag denilhat) objektumok tvolsgt is tudnnk mrni. Arra treksznk, hogy ez a fogalom rendelkezzen az
intuitv tvolsgfogalom fontos tulajdonsgaival (gy nem lesz idegen) s elg ltalnos
is legyen ahhoz, hogy sok dologra lehessen hasznlni (pl. fggvnyek tvolsgnak mrsre). Megjegyezzk, hogy az intuitv tvolsgfogalom is sokfle: nem mindegy, hogy
lgvonalban, vagy ton kell eljutnunk az egyik helyrl a msikba s mrhetjk idben,
nem csak mterben, st akr tikltsgben is!
Vizsgljuk meg, hogy a vals szmok esetn milyen termszetes tulajdonsgokkal rendelkezik a tvolsg fogalma! szrevehetjk, hogy a tvolsg egy nemnegatv szm, amelyet
kt vals szmhoz (azaz egy vals szmprhoz) hozzrendelnk. Kt klnbz szm tvolsga pozitv, egy szm sajt magtl vett tvolsga pedig nulla. Fontosnak gondoljuk
tovbb, hogy egy
szm
a-tl
vals szm
val tvolsga. Vgl, hrom tetszleges vals szm,
tvolsg nem lehet nagyobb, mint az

vezetjk be egy tetszleges
b
|a c|
vals szmtl val tvolsga ugyanakkora, mint a
|a b|
s a
|b c|
a, b
esetn az
tvolsgok sszege. Ez alapjn
halmazon a tvolsgfggvny, ms nven metrika fogalmt
a kvetkezkppen.
1.1. Denci.
Legyen
egy tetszleges nem res halmaz,
fggvny, amely rendelkezik a kvetkez hrom tulajdonsggal:
d(x, y) = 0 x = y
d(x, y) = d(y, x) x, y X
9
pedig egy
X X R+
0
FEJEZET 1. METRIKUS TR
10
d(x, z) d(x, y) + d(y, z) x, y, z X
(hromszg-egyenltlensg).
metriknak,
d(x, y) R+
0 szmot az x elem y
elemtl vett tvolsgnak, az (X, d) rendezett prt pedig metrikus tr nek (rvidtve: MT)
Ekkor a
fggvnyt
X -en
rtelmezett
nevezzk.
Az
d(x, y) = |x y| fggvny
lehetsg. Tetszleges X halmazon a

0,
d(x, y) =
1,
halmazon a
egyetlen
kplet az n.
diszkrt metrikt
valban metrikt denil, de nem ez az
ha
ha
denilja. Ekkor
x=y
x 6= y
(X, d)-t
diszkrt metrikus trnek nevez-
zk.
Metrikus trben rtelmezhetjk a krnyezet (gmb) fogalmt, ksbb ennek segtsgvel tudjuk majd denilni sorozatok konvergencijt.
1.2. Denci.
Az (X, d) metrikus trben az x0 X elem r > 0 sugar krnyezet n

x0 kzppont, r sugar gmb n) azon x X elemek halmazt rtjk, amelyekre
d(x0 , x) < r. Jellse: Kr (x0 ).
(vagy
Minden metrikus trben rtelmesek a krnyezeten alapul (n. topolgiai) fogalmak is.
1.3. Denci.
Legyen
bels pont ja,

A H halmaz
ha
pont a
HX
halmaz
van olyan krnyezete, amely csak
H -beli
pontot tartalmaz.
(X, d)
x-nek
metrikus tr. Az
bels pontjainak a halmazt
xX
intH
jelli.
kls pont ja, ha x-nek van olyan krnyezete, amely nem

A H halmaz kls pontjainak a halmazt extH jelli.
hatrpont ja,
ha
minden krnyezetben van
halmaz hatrpontjainak a halmazt
H -beli
tartalmaz
s nem
H -beli
H -beli
pontot.
pont is. A
jelli.
Ennek segtsgvel denilhatjuk a zrt, illetve nylt halmaz fogalmt.
1.4. Denci.
nylt,
zrt,
Legyen
(X, d)
metrikus tr. A
HX
halmaz
ha minden pontja bels pont;

ha a komplementere (H
:= X \ H )
nylt halmaz.
Vegyk szre, hogy ezek nem egymst kizr fogalmak, egy halmaz, ha nem zrt, az nem
jelenti azt, hogy nylt s viszont.
Bevezethetjk a pontozott krnyezet s a torldsi pont fogalmt is.
1.2. FELADATOK
1.5. Denci.
Az
Az
11
Legyen
x0 X
(X, d)
r>0
elem
metrikus tr.
sugar (ki )pontozott
krnyezet n
rtjk.
xX
pont a
tartalmaz
HX
H -beli
Kr (x0 ) \ {x0 }
halmazt
torldsi pont ja, ha x minden pontozott krnyezete

H halmaz torldsi pontjainak a halmazt H 0 jelli.
halmaz
pontot. A
Vegyk szre, hogy egy halmaz torldsi pontja nem felttlenl eleme a halmaznak.
1.2. Feladatok
A,
metrika, MT
1. Dntsk el, hogy a kvetkez
a,
b,
c,
d,
fggvnyek metrikt denilnak-e
R-en!
99K
(x, y) = |x| + |y| ;

(x, y) = |x 2y| ;
(x, y) = |xy| ;
p
(x, y) = |x y| .
2. Lssuk be, hogy MT!

a,
b,
c,
B,
1
Pn
k k , illetve
(R, ||) ; (Rn , dk ), k = 1, 2, , ahol dk (x, y) =
i=1 |xi yi |
d (x, y) = max|xi yi | ;

(C [a, b] , d ) , ahol C [a, b] az [a, b] intervallumon rtelmezett folytonos
fggvnyek halmaza s d (f, g) = supx[a,b] |f (x) g(x)| ;
Rb

(C [a, b] , dR ), ahol dR (f, g) = a |f (x) g(x)| dx, (a < b) ;
R elltva a diszkrt metrikval.
krnyezet (gmb)
(R2 , dk ), k = 1, 2,
K1 (0)-t.
1. brzoljuk az
bket, vagyis
MT-ekben a
kzppont
sugar gm-
2. Szemlltessk brval, hogy milyen fggvnyek tartoznak bele az azonosan

illetve az
K1 (x)
f (x) = x
1 sugar krnyezetbe teht K1 (0),

(C [a, b] , d ), illetve a (C [a, b] , dR ) MT-ben.
fggvnyek
szemlltetse a
3. Adjunk pldt olyan MT-re s krnyezetekre, amelyekre

a,
b,
C,
0,
illetve
99K
Kr (x) = KR (x) s R > r ;

Kr (x) ) KR (y) s R > r !
topolgiai alapfogalmak
1. Dntsk el, hogy a
(R, ||)
MT-ben a kvetkez halmazok zrtak/nyltak-e,
illetve adjuk meg a torldsi, bels, kls s hatrpontjaik halmazt.
12
a,
b,
c,
R; ;
{1, 2, . . . , n} ; N ; { n1 : n N+ } ;
[a, b] ; [a, b) ; (a, b) ; [a, ) .
2. Adjuk meg az albbi halmaz bels, kls, illetve hatrpontjait, s ezek alapjn
dntsk el, hogy a halmaz nylt vagy zrt-e!
a
(C[a, b], d )
MT-ben.
HM = {f C[a, b] : d(f, 0) M }
D, Az sszes eddigi fogalmat vizsgljuk meg diszkrt metrikus trben!
1.3. MEGOLDSOKEREDMNYEKTMUTATSOK
13
1.3. MegoldsokEredmnyektmutatsok
A/1 ac, nem, mert srl az els metrikatulajdonsg; d, igen.
A/2/a,
d1 (x, y) =
Pn
i=1 |xi
yi |.
d1 (x, y) 0 x, y Rn , mivel |xi yi | 0 i {1, 2, . . . , n}.

Tovbb d1 (x, y) = 0 x = y , ugyanis nemnegatv szmok sszege csak gy
lehet nulla, ha mindegyik sszeadand nulla, azaz xi yi = 0 i {1, 2, . . . , n},
vagyis x = y.
d1 (x, y) = d1 (y, x),
mivel
|xi yi | = |yi xi | i {1, 2, . . . , n}.
P
d1 (x, y) d1 (x, z) P
+ d1 (z, y) x, y, z Rn , mivel
Pn
n
|xi yi | P ni=1 |xi zi + zi yi |
i=1 (|xi zi | + |zi yi |) =
Pi=1
n
n
|x
z
|
+
|z
y
|
.
i
i
i
i
i=1
i=1
A msodik lpsben az sszeg minden tagjra kln alkalmaztuk az (R, ||)-beli
hromszg-egyenltlensget (felhasznlva, hogy (R, ||) MT).
A
d2
metrika esetn itt csak a harmadik tulajdonsgot (hromszg-egyenltlensg)
mutatjuk meg.
x, y, z Rn esetn
v
v
v
u n
u n
u n
uX
uX
uX
2
2
t (xi yi ) t (xi zi ) + t (zi yi )2
i=1
i=1
i=1
xi zi =: ai
xi yi = ai + bi , s a beltand egyenltlensg:
v
v
v
u n
u n
u n
X
X
u
uX
u
2
t (ai + bi )2 t
ai + t
b2i .
teljesl. Ennek beltshoz vezessk be a kvetkez vltozkat:
zi yi =: bi .
Ekkor
i=1
i=1
i=1
Elg teht megmutatni, hogy az utbbi egyenltlensg igaz
ai , bi , i = 1, . . . , n
szmok esetn. Emeljnk ngyzetre (mindkt oldal nemnegatv):
n
X
i=1
(ai + bi )2
n
X
a2i +
i=1
n
X
i=1
v
! n
!
u n
X
u X
b2i + 2t
a2i
b2i .
i=1
i=1
A bal oldalon elvgezve a ngyzetre emelst, egyszersts s 2-vel val oszts utn:
n
X
i=1
v
u n
uX
ai bi t
a2i
i=1
v
u n
uX
t
b2 .
i
i=1
Ez pedig ppen a jl ismert CBS-egyenltlensg (CauchyBunyakovszkijSchwarzegyenltlensg) (amirl tudjuk, hogy teljesl

A/2/b, Megmutatjuk, hogy
dR (f, g) =
integrlja
Rb
(C [a, b] , dR )
ai , bi , i = 1, . . . , n
esetn).
MT.
|f (x) g(x)| dx 0 f, g C[a, b], mert nemnegatv fggvny

Rb
R
nemnegatv. Tovbb d (f, g) =
a |f (x) g(x)| dx = 0 f =
a
14
g . Tegyk fel ugyanis indirekte, hogy f 6= g . Ekkor x0 [a, b], amelyben

f (x0 ) 6= g(x0 ). Ezen x0 pontban |f (x0 ) g(x0 )| > 0, s mivel f s g folytonos,
s gy az |f g| fggvny is az, teht az |f g| fggvny az x0 valamely Kr (x0 )
Rb
krnyezetben is pozitv
a |f (x) g(x)| dx > 0, ami ellentmonds.
dR (f, g) = dR (g, f ) f, g C[a, b],

[a, b].
ugyanis
|f (x) g(x)| = |g(x) f (x)| x
dR (f, g) dR (f, h) + dR (h, g) f, g, h C[a, b], az (R, ||)-beli hromszgegyenltlensget felhasznlva |f (x0 )g(x0 )| = |f (x0 )h(x0 )+h(x0 )g(x0 )|
|f (x0 ) h(x0 )| + |h(x0 ) g(x0 )| teljesl x0 [a, b], amibl kvetkezik, hogy
|f (x)g(x)| |f (x)h(x)|+|h(x)g(x)|. Kiintegrlva az egyenltlensget s
Rb
felhasznlva az integrl monotonitst s additivitst, kapjuk, hogy
|f (x)
Rb
Rb
Rab
g(x)| dx a (|f (x)h(x)|+|h(x)g(x)|) dx = a |f (x)h(x)| dx+ a |h(x)
g(x)| dx .
B/1 A krnyezetek az 1.1. brn lthatk.
1.2
0.8
0.4
0.4
0.8
1.2
1.2
0.8
0.4
0
x
0.4
1.1. bra. B/1. feladat. Kk:
d1 ,
zld:
0.8
1.2
d2 ,
piros:
d .
B/3/a, Diszkrtben;
B/3/b,
C/1/a,
({3
jl megvlasztott pont a skban}, d2 ) .
C/1/b,
zrt s nylt,
zrt s nylt,
R0 = int R = R, R = ext R = ;
0 = int = = ,
H = {1, 2, . . . , n}
H H zrt;
H0
halmazra
ext
H 0 = ,
= R.
int H
= ,
ext H
= R \ H, H = H.
N0 = ,
int N
= ,
ext N
= R \ N, N = N. N0 N N
15
zrt;
G = { n1 : n N+ } halmazra G0 = {0}, int G = ,

{0}), H = H {0}. G nem nylt s nem zrt.
A
C/1/c,
[a, b]0 = [a, b],

[a, b)0 = [a, b],
int [a, b]
= (a, b),
int [a, b)
ext [a, b]
= (a, b),
int (a, b)
[a, +)0 = [a, +),

{a}, zrt.
= (a, b),
int [a, +)
= R \ (H
= R \ [a, b], [a, b] = {a, b},
ext [a, b)
zrt, nem nylt;
(a, b)0 = [a, b],
ext G
ext (a, b)
zrt;
= R \ [a, b], [a, b) = {a, b},
= R \ [a, b], (a, b) = {a, b},
= (a, +),
ext [a, +)
nem
nylt;
= (, a), [a, +) =
fejezet 2
Teljes metrikus tr
Kulcsszavak:
konvergencia, Cauchy-sorozat, teljes metrikus tr, kontrakci, xpont, Banach-fle
xpontttel

Tetszleges metrikus trben denilhatjuk sorozatok konvergencijt s a Cauchy-sorozat
fogalmt. Mg ez a kt fogalom a megszokott vals szmsorozatok esetben (azaz a konkrt
(R, ||)
MT-ben) egybeesett, itt mr klnvlik, azaz vannak olyan metrikus terek,
ahol nem minden Cauchy-sorozat konvergens. Azokat a MT-eket, ahol a kt fogalom

ekvivalens, teljes metrikus tereknek nevezzk.
2.1. Denci.
Az
> 0 N N,
hogy
Ez mskppen a
d(xn , a)
2.2. Denci.
Az
N,
hogy
(X, d) metrikus trbeli (xn ) sorozat konvergens, ha a X ,

n N esetn d(xn , a) < (azaz xn K (a)).
amelyre
szmsorozat nullhoz tartst jelenti.
(X, d) metrikus trbeli (xn ) sorozat Cauchy-sorozat, ha > 0 N

n, m N esetn d(xn , xm ) < .
2.3. Denci.
Az
(X, d)
metrikus tr
teljes metrikus tr
(TMT), ha minden Cauchy-
sorozata konvergens.
A TMT-ek szebben viselkednek. Egyenletek egyrtelm megoldhatsgnak igazolsra s a megolds kzeltsre TMT-ekben alkalmazhat az gynevezett Banach-fle
xpontttel.
2.4. Denci.
nevezzk, ha
f : X X fggvnyt, ahol (X, d) metrikus

valamely 0 q < 1 konstanssal (n. kontrakciszm)
teljesl minden
Az
x, y X -re.
d(f (x), f (y)) q d(x, y)
17
tr,
kontrakci nak
FEJEZET 2. TELJES METRIKUS TR
18
2.5. Denci.
Az
xX
pont az
f :XX
fggvny
xpont ja,
ha
f (x) = x.
2.1. Ttel. (Banach-fle xpontttel)
Legyen (X, d) TMT s f : X X kontrakci a q kontrakciszmmal. Ekkor

1. f -nek ltezik egyetlen x xpontja;
2. tetszleges x0 X esetn az xn = f (xn1 ) iterci tart x -hoz;
3. az n-edik itercinak a xponttl val tvolsgra rvnyes a
qn
d(x , xn )
d(x1 , x0 )
1q
becsls.
2.2. Feladatok
A,
konvergencia, Cauchy-sorozat, teljes MT

1. Vizsgljuk meg a kvetkez (fggvny)sorozatokat Cauchy-sg illetve konvergencia szempontjbl!
a,
( sinn x )
b,
(C[0, ], dR ),
illetve a
(C[0, ], d )
MT-ben;
0, ha x (, n 1] [n + 1, )
fn (x) = x (n 1), ha x (n 1, n]
n + 1 x, ha x (n, n + 1)
(Cb (R), d ) MT-ben, ahol Cb (R) az R-en rtelmezett korltos, folytonos
fggvnyek halmazt jelli;

c,
(xn )
(C[0, 1], dR )
illetve a
(C[0, 1], d )
MT-ben.
99K
2. TMT-e?
a,
b,
c,
d,
e,
B,
(R, ||) .
(R\{0}, ||) ; (Q, ||) ; ([a, b], ||) ; ([a, b), ||) ; ([a, ), ||) .
(R, darc tg ), ahol darc tg (x, y) = |arc tg x arc tg y| .
R elltva a diszkrt metrikval.
(C[a, b], d ) (Ezt csak kimondani!); (C[a, b], dR ) .

99K
99K

Banach-fle xpontttel
1. Ellenpldkkal igazoljuk, hogy a xpontttel felttelei a teljessg s a
felttel lnyegesek!
2. Az
f : [1, ) [1, ), f (x) = 12 (x + x2 )
q<1
99K
fggvny kontrakci-e, s (ha igen,
akkor) mi a xpontja?
Hatrozzuk meg a xpont rtkt
103 -os
pontossggal!
2.2. FELADATOK
19
3. Lssuk be, hogy ha
f : [a, b] [a, b], f C 1 [a, b], |f 0 | < 1, akkor f
4. Lssuk be, hogy az adott
kontrakci!
fggvny kontrakci a megadott intervallumon. To-
vbb szeretnnk meghatrozni az
f (x) = x egyenlet megoldst. Adjunk meg
egy itercis lpsszmot, amellyel mr garantlni tudjuk, hogy az itercit az

adott
a,
b,
x0
pontbl indtva a kzelts hibja
2 ] s
f (x) = 0.9 cos x , x [0,
f (x) = x + 2 , x [0, 2]
x0 = 0 ;
x0 = 0 .
103 -nl
mr kisebb.
20
A/1/a,
dR
metrikban: a
mivel
dR
sin x
,0
n
( sinn x ) fggvnysorozat tart az azonosan nulla fggvnyhez,

sin x

n 0
1
dx =
n
sin x dx =
2
0.
n
Teht a fggvnysorozat konvergens, s gy Cauchy-sorozat is.
d metrikban: a ( sinn x ) fggvnysorozat tart az azonosan nulla fggvnyhez,
mivel
sin x
,0
n

sin x

= sup
0
n
[0,]
dx
sin(/2)
1
= 0.
n
n
Teht a fggvnysorozat konvergens, s gy Cauchy-sorozat is. (Megjegyezzk,
(C[0, ], d ))
hogy ha egy sorozat konvergens a
MT-ben, akkor konvergens a
(C[0, ], dR ) MT-ben is.)

A/1/b A fggvnysorozat tagjai a 2.1.a brn lthatk.
A/1/c, A
dR
(xn )
metrikban: az
fggvnysorozat (lsd 2.1.b bra) tart az azonosan nulla
fggvnyhez, mivel
dR (xn , 0) =
|xn 0|
dx
xn d x =
xn+1
n+1
1
1
0.
n+1
Teht a fggvnysorozat konvergens, s gy Cauchy-sorozat is.
d (xn , x2n ) =
1
4 . Lsd 2.1.b bra.
2.1. bra. a) A/1/b feladat s b) A/1/c feladat.
A/2/b,
([a, b], | |): TMT. A bizonyts indirekt: tegyk fel, hogy nem TMT, azaz (xn )
[a, b] Cauchy-sorozat, amely nem konvergens. Viszont vegyk szre, hogy (xn ) Cauchy-
21
(R, ||) MT-ben is. Ez a tr teljes, gy A R = lim(xn ). Teht A

/ [a, b],
vagyis A kls pontja az [a, b] halmaznak, gy ltezik olyan Kr (A) krnyezet, amelyre Kr (A) [a, b] = . A hatrrtk dencijt hasznlva: az elbbi r -hez N N:
n N -re xn Kr (A), vagyis bizonyos indextl kezdve a sorozat minden eleme
Kr (A)-beli, s gy nem [a, b]-beli. Ez ellentmonds.
sorozat az
A/2/b,
([a, b), | |):

amely b-hez
[a, b)-beli
Nem TMT. Konstrulhat ugyanis olyan

tart, pl. az
xn =
A/2/c, Vizsgljuk a kvetkez sorozatot:

A/2/e, Beltjuk, hogy
(C[a, b], dR )
Cauchy-sorozat,
a+nb
n+1 sorozat.
(xn ) = (n) .
nem TMT. Legyen
a = 0, b = 2,
a bizonyts hasonl
tetszleges intervallum esetn. Tekintsk az albbi fggvnysorozatot:
0, ha x [0, 1]
fn (x) = nx n, ha x (1, 1 + n1 )
1, ha x [1 + n1 , 2]
n, m N, n < m (ezt az ltalnossg megszortsa nlkl
Ez Cauchy-sorozat, mivel
feltehetjk) esetn
dR (fm , fn )
(fm (x) fn (x)) dx =
1
1
1
0.
2n 2m
2n
(C[0, 2], dR )-ben. A bizovalamely f C[0, 2] fgg-
Megmutatjuk, hogy ez a Cauchy-sorozat nem konvergens

nyts indirekt: tegyk fel, hogy konvergens, azaz tart
vnyhez. Ez a fggvny a
[0, 1]-en
mindenhol nullt kell felvegyen, ugyanis felhasz-
nlva a hromszg-egyenltlensget a
[0, 1]
intervallumon fennll, hogy
dR (f, 0) dR (f, fn ) + dR (fn , 0) .

Itt a jobb oldal mindkt tagja nullhoz tart (a msodik tag konkrtan
bal oldal csak nulla lehet. Vgl felhasznlva
Hasonlan: a hatrfggvnynek az
[1, 2]
(1, 2]-n
0),
teht a
folytonossgt, addik a rszllts.
mindenhol
1-et
kell felvennie, mert az
intervallumon
dR (f, 1) dR (f, fn ) + dR (fn , 1) ,

ahol a jobb oldal mindkt tagja nullhoz tart, teht a bal oldal
nlva
folytonossgt, addik ez a rszllts is. gy
0.
Vgl felhasz-
nem lehet folytonos, ami
ellentmonds.
B/1 (R\ {0} , ||),
x
2 s
(R, ||), x + 1 .
B/2 Kt megoldst adunk.

I.mo. Beltjuk, hogy
kontrakci.
1
x
|f (x) f (y)| = x + y
2
2

2 1
y 1

|x y| ,
= |x y| 1
2
2
xy 2
22
ahol felhasznltuk, hogy
2
xy
teljesl az
[1, )
intervallumon. Te-
1
ht q =
2 szereposztssal teljesl a kvnt kontrakcis egyenltlensg. Ha
a xpontttel szerinti itercihoz az x0 := 1 kezdpontot vlasztjuk, akkor
x1 = f (1) = 32 (lsd 2.2. bra). Az elgsges lpsszm kiszmtsa:
1
qn
d(x0 , x1 ) = n 103 n 10 .
1q
2
f 0 (x) = 21 x12 derivltfggvny zrushelye
x = 2, f 0 az [1, 2) intervallumon < 0, s monoton n 21 -tl 0-ig, a ( 2, +)

1
intervallumon > 0, s szigoran monoton n, hatrrtke a +-ben
2.
1
|f 0 | 2 =: q . Innen lsd az els megoldst.
II.mo. (Felhasznlva a B/3 feladatot.) Az
1.5
y = 21 (x + x2 )
y=x
1.4
2.5
xn
1.3
2
1.2
1.5
1.1
a
1
1
1.5
2
x
2.5
x0 = 1 esetn
3
xpontot 10
pontossggal meghatrozzuk.
2.2. bra. a) B/2. feladat, b)
B/3
b
1
0 1 2 3 4 5 6 7 8 9 10
n
n = 10
iterci szksges ahhoz, hogy a
f C 1 [a, b] a Lagrange-kzprtkttel szerint x, y [a, b] esetn (x, y) :

f (x) f (y) = f 0 () (x y) |f (x) f (y)| = |f 0 ()| |x y| sup[a,b] |f 0 | |x y|.
0
0
0
0
Mivel f folytonos az [a, b]-n, ezrt |f | is az, amibl sup[a,b] |f | = max[a,b] |f | k0
vetkezik. Ez a maximum csak 1-nl kisebb lehet, mivel |f | < 1. gy f kontrakci
0
q = max[a,b] |f | mellett.
B/4/a Lsd 2.3. bra.

B/4/b Lsd 2.4. bra.
1.5
23
y = 0.9 cos x
y=x
0.8
1
y
xn
0.6
0.4
0.5
0.2
a
0
0
0.5
b
0
0
1.5
x0 = 0 esetn
3
xpontot 10
2.3. bra. a) B/4/a feladat, b)
3
2.5
n = 87
20
40
n
60
80
y = x+2
y=x
1.5
xn
2
1.5
1
0.5
0.5
0
0
a
1
b
3
x0 = 0 esetn
3
xpontot 10
2.4. bra. a) B/4/b feladat, b)
0
0
n = 8
4
n
fejezet 3
Vektortr, lineris lekpezsek
Kulcsszavak:
vektortr, altr, lineris kombinci, lineris fggetlens, genertorrendszer, bzis,
dimenzi, lineris lekpezs

A tvolsgfogalom kiterjesztsvel kapott metrikus tr elegend keretet nyjt sorozatok
konvergencijnak denilshoz, de algebrai mveleteket nem tudunk benne vgezni,
gy mg nem elegend a dierencilszmts bevezetshez. Erre a normlt tr lesz alkalmas, amely a vektortr fogalmn alapul (lsd a Vektorszmts c. tantrgyat is). A
vektortr olyan halmazt jelent, amely el van ltva kt mvelettel: sszeadssal s skalrral
val szorzssal, amelyek a geometriai vektorok krben rtelmezett azonos nev mveletek tulajdonsgaival rendelkeznek. A kvetkezkben deniljuk a vals szmtest feletti
vektortr fogalmt, de megjegyezzk, hogy teszleges test (pl.
C)
esetn is mkdik a
denci.
3.1. Denci.
XX
s egy
Legyen X egy tetszleges halmaz, amelyen rtelmezve

: R X X mvelet a kvetkez tulajdonsgokkal:
1.
x y = y x x, y X
2.
(x y) z = x (y z) x, y, z X
3. Ltezik nullelem (nullvektor), azaz olyan
0X X
x X elemhez ltezik ellentett, azaz

x (x) = 0X , ahol 0X a 3. tulajdonsg szerini
elem, amelyre
4. Minden
nullvektor.
(x y) = ( x) ( y) x, y X
6.
( + ) x = ( x) ( x) x X
7.
( x) = ( ) x = ( x) x X
25
, R
s
, R
:X
x 0X = x x
olyan elem (jellje
5.
van egy
x),
amelyre
FEJEZET 3. VEKTORTR, LINERIS LEKPEZSEK
26
8.
1 x = x x X
(X, , )
Ekkor az
rendezett hrmast
vektortr nek
(VT) nevezzk (R felett),
elemeit
pedig vektoroknak nevezzk.
mvelet nem a vektortr elemei kzt van rtelmezve!

(X, , ) egy vektortr, akkor elfordulhat, hogy az X halmaz
Figyelem, a
Ha
valamely rszhal-
maza maga is vektorteret alkot ugyanazon mveletekkel.
3.2. Denci.
(Y, , ),
ha
Legyen
(Y, , )
Y X.
Azt mondjuk, hogy az
vektortr.
(X, , )
vektortrnek
alter e
Belthat: ahhoz, hogy egy vektortr rszhalmazrl eldntsk, hogy maga is vektortr-e ugyanazon mveletekkel, azaz alteret kaptunk-e, elg a kt mveletre val zrtsgot
ellenrizni. Ha ugyanis ez teljesl, akkor a ht mveleti tulajdonsg a rszhalmazon automatikusan teljesl.
A tovbbiakban sszegyjtjk azokat a legfontosabb fogalmakat, amelyeket vektortrben rtelmeznk.
3.3. Denci.
Az
az
Legyen
(X, , )
egy tetszleges vektortr.
x1 , x2 , . . . , xn (xi X, i = 1, . . . , n) vektorok lineris kombinci jnak nevezzk

(1 x1 ) (2 x2 ) . . . (n xn ) X,
i R, i = 1, 2, . . . , n
alak vektort.
len ek,
ha
{x1 , x2 , . . . , xn } = F X
halmaz vektorai
linerisan fgget-
(1 x1 ) (2 x2 ) . . . (n xn ) = 0X i = 0, i = 1, 2, . . . , n.
{x1 , x2 , . . . , xk } = G X halmaz vektorait az (X, , ) vektortr genertorrendszer nek nevezzk, ha X minden eleme elllthat G elemeinek lineris kom-
bincijaknt.
rtelmezni lehet vgtelen sok vektor fggetlensgt, illetve genertorrenszer mivoltt, de

mi ezt itt nem tesszk meg, gy vektortr dimenzijt is csak vges esetre deniljuk.
Ezeknek a fogalmaknak a kiterjesztst lsd a [7] knyvben.
3.4. Denci.
Linerisan fggetlen genertorrendszert
bzis nak
3.1. Lemma. Vektortrben minden bzis azonos elemszm.

gy rtelmes a kvetkez denci.
neveznk.
3.2. FELADATOK
3.5. Denci.
Az
27
(X, , )
dimX .
vektortr
dimenzi jnak
nevezzk a benne lv bzisok
elemszmt. Jellse:
3.6. Denci.
kt vektortr. Az
fggvnyt
kvetkez kt tulajdonsg:
Az
Legyen (X1 , 1 , 1 ) s (X2 , 2 , 2 )

lineris lekpezs nek nevezzk, ha igaz r a
1.
f (x1 1 x2 ) = f (x1 ) 2 f (x2 ) x1 , x2 X1 ,
2.
f ( 1 x) = 2 f (x) x X1 , R.
f : X1 X2
X1 X2 kpez lineris lekpezsek halmazt Hom(X1 , X2 ) jelli. Ha X1 = X2 = X ,

Hom(X) jellst alkalmazzuk.
akkor a
Belthat, hogy egy
f : Rn Rm
lekpezs pontosan akkor lineris, ha az
f (x1 , x2 , . . . , xn ) = (y1 , . . . ym )
jellssel
y1 = a11 x1 + a12 x2 + . . . + a1n xn

y2 = a21 x1 + a22 x2 + . . . + a2n xn
.
.
.
ym = am1 x1 + am2 x2 + . . . + amn xn

aij , i = 1, 2, . . . , m, j = 1, 2, . . . , n rgztett vals szmok. Mskppen,
f (x1 , x2 , . . . , xn ) = A (x1 , x2 , . . . , xn )T , ahol A Rmn (m-szer n-es mtrix).
alak, ahol
A ksbbiekben - ha egyrtelm, hogy milyen mveletekkel - akkor hasznljuk a r-
vidtett Legyen
helyett sima
+,
egy vektortr... kifejezst, illetve a krlmnyes
mveleti jelek
jeleket fogunk hasznlni, amennyiben ez nem okoz flrerthetsget.
3.2. Feladatok
A,
VT alapfogalmai
1. Lssuk be, hogy

Rn ; R[x]; C[a, b] (R felett) VT! Hny dimenzis Rn ? (Adjunk
meg egy bzist!)

2. Linerisan fggetlenek-e az albbi fggvnyek a
a,
b,
c,
d,
e,
f,
f1 (x) = sin x, f2 (x) = cos x

f1 (x) = sin2 x, f2 (x) = cos2 x, f3 (x) = 1
f1 (x) = ex , f2 (x) = e2x
f1 (x) = 1, f2 (x) = x
f1 (x) = 1, f2 (x) = x, . . . , fn (x) = xn1
f1 (x) = 3 sin( 2 + x), f2 (x) = cos x
3. Alteret alkotnak-e
K[x]-ben
C[0, ]
VT-ben?
FEJEZET 3. VEKTORTR, LINERIS LEKPEZSEK
28
a, tizedfok polinomok,
b, legalbb tizedfok polinomok,
c, legfeljebb tizedfok polinomok?
Ha igen, hatrozzuk meg, hogy hny dimenzis az altr (egy bzis megadsval)!
B,
VT: lineris lekpezsek

1. Tekintsk az albbi
i, identits
iv, tkrzs az
vi,
viii,
R2 R2
lekpezseket (msnven opertorokat):
x=0
ii, tkrzs az origra
iii, tkrzs az
x=1
v, orig krli forgats
egyenesre
x-tengelyre vetts
eltols az (1, 0) vektorral

egyenesre
szggel
vii, origbl ktszeres nagyts

ix,
(x, y) 7 (x + y, y)
a, Melyek linerisak? Ha lineris, mi a mtrixa a szoksos bzisban?

b, Mik a sajtrtkeik s sajtvektoraik?
2. Linerisak-e a kvetkez
a,
b,
XY
lekpezsek? (Ahol
X = C 1 [0, 2], Y = C[0, 2], Df = f 0 ;

Rb
X = C[a, b], Y = R, Rf = a f (x) dx .
X, Y
adott VT-ek.)
29
f2 (x) = e2x fggvnyek linerisan fggetlenek. Ehhez meg kell
x
2x = 0 egyenlsg minden x [0, ] pontban csak
mutatnunk, hogy az e + e
akkor ll fenn, ha = = 0.
0
0
1. Az x = 0 pontban csak akkor ll fenn, ha e + e = 0, azaz + = 0.
2
2. Az x = 1 pontban csak akkor ll fenn, ha e + e = 0.
mr a fenti kt pontban egyszerre is csak gy llhat fenn az egyenltlensg,
2
ha s megoldsa az + = 0 ; e + e = 0 egyenletrendszernek. Ennek a
rendszernek pedig egyetlen megoldsa: = 0, = 0.
A/2/c, Az
f1 (x) = ex
A/3/ab, Nem,
x10 x10 = 0,
ami nem tizedfok.
A/3/c, Igen, mert zrt a mveletekre.

ne.
B/1/a,
iii, Az
x=0

11 dimenzis, mert 1, x, x2 , . . . , x10 egy bzis ben-
egyenesre val tkrzs az
f (x, y) = (x, y)
lekpezst jelenti. Ez
lineris, mivel
1.
f ((x1 , y1 ) + (x2 , y2 )) = f (x1 + x2 , y1 + y2 ) = ((x1 + x2 ), y1 + y2 ) =

(x1 , y1 )+(x2 , y2 ) = f (x1 , y1 )+f (x2 , y2 ) teljesl (x1 , y1 ), (x2 , y2 ) R2
esetn, illetve
f ((x, y)) = f (x, y) = (x, y) = (x, y) = f (x, y) teljesl (x, y)

R2 s R esetn.

1 0
.
Mtrixa: A =
0 1
2.
iv, Nem lineris, mivel a

vi, Az
(0, 0) vektort nem a (0, 0)-ba, hanem a (2, 0)-ba viszi t.
tengelyre val vetts az
f (x, y) = (x, 0)
lekpezst jelenti. Ez lineris,
mivel
f ((x1 , y1 )+(x2 , y2 )) = f (x1 +x2 , y1 +y2 ) = (x1 +x2 , 0) = (x1 , 0)+(x2 , 0) =

f (x1 , y1 ) + f (x2 , y2 ) teljesl (x1 , y1 ), (x2 , y2 ) R2 esetn, illetve
2. f ((x, y)) = f (x, y) = (x, 0) = (x, 0) = f (x, y) teljesl (x, y)
R2 s R esetn.

1 0
Mtrixa: A =
.
0 0
1.
(1, 0) vektorral val eltols az f (x, y) = (x, y)+(1, 0) = (x+1, y) lekpezs.

f ((x1 , y1 )+(x2 , y2 )) = (x1 +x2 +1, y1 +y2 ) 6= f (x1 , y1 )+
f (x2 , y2 ) = (x1 + 1, y1 ) + (x2 + 1, y2 ) = (x1 + x2 + 2, y1 + y2 ). Mskpp:
f ((0, 0)) = (1, 0) 6= (0, 0).
viii, Az
Ez nem lineris, mivel
fejezet 4
Normlt tr
Kulcsszavak:
normlt tr, norma, ekvivalens normk, konvergens sorozat, Cauchy-sorozat, Banach-tr

A skvektorok fontos tulajdonsga a hosszsguk (nagysguk). Viszont egy tetszleges
vektortr absztrakt vektorai esetn neknk kell megmondani, hogy mit is rtnk hosszsgon. Ezt a clt szolglja a norma fogalma. Azokat a vektortereket, ahol rtelmezve van
ez a fogalom, normlt trnek nevezzk. Mivel a hossz fogalma szoros kapcsolatban van
a tvolsg fogalmval, gy a normlt teret tekinthetjk gy is mint egy vektortr, ami
egyben metrikus tr is.
A kvetkezkben vgiggondoljuk, hogy mikppen rdemes bevezetni a norma fogalmt. Ahhoz, hogy egy tetszleges vektortrben rtelmezhessk az elemek hoszsgt,
gondoljuk meg, hogy milyen tulajdonsgokkal rendelkezik a skvektorok hagyomnyos
rtelemben vett (Pitagorasz-ttellel szmtott) hosszsga (euklideszi hosszsg).
1. A hosszsg mindig nemnegatv, s csak akkor 0, ha a nullvektorrl van sz.
2. Kt vektor sszegnek hossza nem lehet hosszabb, mint az sszeadandk hossznak
az sszege.
3. Ha egy vektort
zik.
szmmal szorzunk, akkor a vektor hossza
||-szorosra
vlto-
Ezen alapul a normlt tr dencija.
4.1. Denci.
Legyen
fggvnyt rtnk, amely tetszleges

az albbi kvetelmnyeknek:
1.
kxk = 0 x = 0X ,
2.
kxk = || kxk,
R felett. X -beli norm n olyan k k : X R+

0
x, y, z X vektorokra s R szmra eleget tesz
vektortr
31
FEJEZET 4. NORMLT TR
32
3.
kx + yk kxk + kyk
Ekkor az
(X, k k)
(hromszg-egyenltlensg).
rendezett prt
normlt tr nek
(NT), az
vektor normjnak nevezzk.
Egy
szmot pedig az
vektortren ltalban tbbflekppen is denilhatunk normt.
4.2. Denci.
olyan
kxk R+
0
c1 , c2
Az
k ka
k kb
ekvivalens norm knak nevezzk, ha lteznek

c1 kxka kxkb c2 kxka minden x X esetn.
normt
pozitv konstansok, hogy
d1 , d2 pozitv konstansok
x X esetn, hiszen d1 = c12
Ekkor termszetesen lteznek olyan
d1 kxkb kxka d2 kxkb
minden
is, amelyek mellett

s
d2 =
1
c1 mellett
fennll az sszefggs. Megjegyezzk, hogy vges dimenzis vektortrben minden norma

ekvivalens.
Az
(X, k k)
normlt tren a
d(x, y) = kx yk
fggvny metrikt denil, gy a kon-
vergens sorozat s a Cauchy-sorozat fogalma tvihet normlt trre is.
4.3. Denci.
Az
(X, k k)
normlt trbeli
(xn )
sorozat
konvergens, ha a X , amelyre > 0 N N, hogy n N esetn kxn ak < .

(Ez mskppen az kxn ak szmsorozat nullhoz tartst jelenti.)
Cauchy-sorozat,
ha
> 0 N N,
hogy
n, m N
esetn
kxn xm k < .
Metrikus terek mintjra itt is megklnbztetjk a teljes normlt tereket.
4.4. Denci.
Az
(X, k k)
normlt tr
Banach-tr
(BT), ha teljes, vagyis ha minden
Cauchy-sorozata konvergens.
4.2. Feladatok
A,
norma, NT
1. Tekintsk
R2 -et,
mint
feletti vektorteret. Normt denilnak-e a kvetkez
99K
hozzrendelsek?
a,
b,
1
2
(x1 , x2 ) 7 |x1 | + 2 |x2 | ;

(x1 , x2 ) 7 |x2 | .
2. Mutassuk meg, hogy NT!

a,
(Rn , kkk ), k = 1, 2, , ahol kxkk =
Pn
k
i=1 |xi |
1
, illetve
kxk = max|xi |;

4.2. FELADATOK
b,
33
(C [a, b] , kk ),
(C [a, b] , kkR ),
B,
ahol
ahol
norma, ekvivalens normk
kf k = supx[a,b] |f (x)| ;
Rb
kf kR = a |f (x)| dx, (a < b).
1. Bizonytsuk be, hogy tetszleges NT minden
x, y
elemre teljesl az albbi
egyenltlensg!
kx yk |kxk kyk| .
99K
2. Bizonytsuk be, hogy minden
a,
b,
c,
kxk kxk1 n kxk ;
kxk kxk2 n kxk ;
kxk2 kxk1 n kxk2 !
3. Lssuk be, hogy a

C,
C [a, b]
VT-en
Rn -re teljesl, hogy
kk
kkR
nem ekvivalens normk!
konvergencia, vges dimenzi, Banach-tr

(R2 , k k2 )

2 3
n , n ;
1
,n ;

n
sin n n2 1
.
,
2
n
n +1
1. Konvergensek-e az
a,
b,
c,
2. BT-e?
a,
b,
c,
(Rn , kkk ), k = 1, 2, ;
(C [a, b] , kk ) ;
(C [a, b] , kkR ) .
NT-ben a kvetkez sorozatok?
FEJEZET 4. NORMLT TR
34
A/1/a, Igen.
A/1/b, Nem, mert srl az els normatulajdonsg.
A/2/a, A
k=
eset:
maxi{1,...,n} |xi | 0 x Rn ,
= 0 xi = 0 i {1, 2, . . . , n}.
maxi{1,...,n} | xi | = maxi{1,...,n} (|| |xi |) = || maxi{1,...,n} |xi | x Rn ,

R.
maxi{1,...,n} |(x + y)i | = maxi{1,...,n} |xi + yi | maxi{1,...,n} (|xi | + |yi |)

maxi{1,...,n} |xi | + maxi{1,...,n} |yi | x, y Rn , ahol a msodik lpsben felhasznltuk az (R, ||) NT-beli hromszg-egyenltlensget.
A/2/b,
(C[a, b], k k )-re
mutatjuk meg.
max[a,b] |f | 0 f C[a, b] s = 0 f = 0 . (Ha f

nulla, akkor |f | maximuma pozitv lenne.)
nem lenne minden pontban
max[a,b] | f | = max[a,b] (|| |f |) = || max[a,b] |f | f C[a, b], R .
max[a,b] |f + g| max[a,b] (|f | + |g|) max[a,b] |f | + max[a,b] |g| f, g C[a, b] .

x [a, b]
(R, ||) NT-beli
Az els lpsben azt hasznltuk ki, hogy ha minden
helyen igaz
|f (x) + g(x)| |f (x)| + |g(x)|
hromszg-
(ami persze igaz,
egyenltlensg), akkor a maximumukra is igaz az egyenltlensg.
B/1 Tudjuk, hogy
b := x.
B/2/a,
ka + bk kak + kbk .
maxi{1,...,n} |xi |
Pn
i=1 |xi |
Elszr
a := x y , b := y ,
n maxi{1,...,n} |xi |,
majd
a := y x,
hiszen egyetlen koordinta
abszolt rtke nem lehet nagyobb, mint az sszes koordinta abszolt rtknek
az sszege, s az utbbi nem lehet nagyobb, mint a legnagyobb tag szorozva a tagok
szmval.
C/1/a, A sorozatot lsd a 4.1.a brn. Hrom megoldst mutatunk.
Tart a
Mivel
13
n
(0, 0)-hoz,
ugyanis
0.
2 3
n, n

(0, 0) 2 =
2 3
n, n
q

=
2

2 2
n

3 2
n
R2 vges dimenzis, gy rajta minden norma ekvivalens. A konvergencit
vizsglhatjuk tetszleges (az eredetivel ekvivalens) norma szerint. Vlasszuk a
k
Ekkor

k2 3normt!

,
= max 2 , 3 =
(0,
0)
n n
n n
3
n
0.
A vges dimenzit kihasznlva, elegend a koordinta-sorozatok konvergencijt vizsglni. Teht konvergens, mivel koordintnknt konvergens:

3

3
2
n, n
(0, 0) .
2
n
0,
35
C/1/b, Nem konvergens, mert a msodik koordintasorozata nem az (lsd 4.1.b bra):
(n) +.
C/1/c, A sorozatot lsd a 4.1.c brn. Konvergens, mivel koordintnknt konvergens:
sin n
n
nevezt is
2
0), nn2 1
1
+1

2
sin n n 1
(0, 1)
n , n2 +1
0 ((sin n)
n2 -tel)
1
n
korltos,
n=1
10
n=9
n=7
yn
n=5
5
n=3
n=5
n=7
n=9
0
0
1
xn
1
(osszuk a szmllt s a
n=9
n=5
n=3
0.5
n=3
0
0.5
n=1
0
xn
0.5
0
0.5
xn
n=1
0.5
1
4.1. bra. a) C/1/a feladat, b) C/1/b feladat, c) C/1/c feladat.
fejezet 5
Normlt terek folytonos lineris lekpezsek
Kulcsszavak:
folytonos lekpezs, folytonos lineris lekpezs, korltos lekpezs

A normlt terek kztt hat lekpezsek dierencilszmtsban szksgnk lesz a folytonos lineris lekpezs fogalmra.
5.1. Denci.
A : X Y lekpezs folytonos az
x0 X pontban, ha minden > 0 szmhoz > 0, hogy kx x0 kX < esetn
kA(x) A(x0 )kY < . Az A : X Y lekpezs folytonos, ha x0 X -ben folytonos.
Legyenek
X, Y
normlt terek. Az
0X X Y folytonos lineris lekpezsek halmazt Lin(X, Y ) jelli. Ha X = Y ,

Lin(X) jellst alkalmazzuk. Ha X vges dimenzis, akkor Hom(X) = Lin(X),
Belthat, hogy egy lineris lekpezs pontosan akkor folytonos, ha folytonos a

ben. Az
akkor a
vagyis ebben az esetben egy lineris lekpezs mindig folytonos is. gy teht specilisan
minden
R2 R2
5.2. Denci.
lineris lekpezs automatikusan folytonos is.
Egy
A:X Y
lekpezst
korltos nak
neveznk, ha korltos halmazt
korltos halmazba visz.
5.1. Lemma. Az A : X Y lineris lekpezs korltos, ha ltezik K 0 konstans,

melyre kAxkY KkxkX teljesl x X -re.
5.2. Ttel. Egy lineris lekpezs pontosan akkor folytonos, ha korltos.

Belthat, hogy a
Lin(X, Y ) halmaz a pontonknti sszeads s skalrral val szorzs
mveletvel elltva vektorteret alkot. Ezen a vektortren is rtelmezhetnk normt a

kvetkezkppen:
37
FEJEZET 5. NORMLT TEREK FOLYTONOS LINERIS LEKPEZSEK
38
5.3. Denci.
Az
A Lin(X, Y ) lekpezs (induklt) normj n

kAk :=
sup
xX,x6=0X
az
kAxkY
kxkX
vals szmot rtjk.
Megmutathat, hogy
kAk =
Illetve
kAk = inf{K > 0 :
sup
xX,x6=0X
ahol
kAxkY
=
sup
kAxkY .
kxkX
xX,kxkX =1
az 5.1. lemma szerinti lland.} Az
a lehetsges legnagyobb nyjts mrtkt fejezi ki.
kAk
norma teht
5.2. Feladatok
A,
linearits, folytonossg, korltossg

1. Lssuk el
R2 -t
kk
normval. A 3/B/1 feladat opertorai kzl melyek
korltosak illetve melyek folytonosak?

2. Vizsgljuk meg a kvetkez
X Y
opertorokat, ahol
X, Y
NT-ek, hogy
linerisak, korltosak illetve folytonosak-e?

a,
b,
c,
d,
e,
f,
g,
B,
X, Y tetszleges NT, b Y , Ax = b ;
X = Y = (R, | |), Ix = x ;
X = Y = (C[a, b], kk ), Af = af , ahol a C[a, b] rgztett;
X = (C 1 [0, 2], kk ), Y = (C[0, 2], kk ), Df = f 0 ;
Rb
X = (C[a, b], kk ), Y = (R, | |), Rf = a f (x) dx ;
X = (C[0, 1], kk ), Y = (R, | |), Sf = supx[0,1] f (x) ;
X = (C[0, 1], kk ), Y = (R, | |), N f = f (0) .

opertornorma
1. Tekintsk az A/ rsz pldit. Amelyik lekpezs ezek kzl folytonos lineris,
ott hatrozzuk meg a lekpezs normjt!
C,
mtrixnorma
1. Az albbi esetekben hogyan hatrozhatjuk meg egy lineris lekpezs normjt, ha adott a mtrixa?
a,
b,
c,
A : (Rm , kk1 ) (Rn , kk ) ;

A : (Rn , kk ) (Rn , kk ) ;
A : (Rn , kk1 ) (Rn , kk1 ) .
39
A
b = 0. Ugyanis
b = A(x1 + x2 ) = A(x1 ) + A(x2 ) = b + b b = 0 ;
A(x) = b b = 0 .
AB/2/a,
akkor s csak akkor lineris, ha
1.
illetve 2.
b = A(x) =
A korltos, ugyanis minden korltos halmaz (st, minden halmaz) kpe az egyelem {b} halmaz, ami korltos (mert minden elemre teljesl, hogy a normja
K := kbk).
A
esetn
hiszen
Ha
x0 X s > 0
< . A = 1 vlaszts j lesz,
folytonos. Ehhez azt kell megmutatnunk, hogy brmely
b = 0,
> 0: kAx Ax0 kY < , ha kx x0 kX

kAx Ax0 kY = kb bkY = 0 .
akkor az
(azonosan
0)
lekpezs normja:
kAk = sup kAxkY = sup k0kY = 0 .

kxkX =1
AB/2/b, Vegyk szre, hogy ez a megszokott
kxkX =1
f : R R, f (x) = x
fggvny!
lineris, ugyanis
folytonos, hiszen a NT-ek beli folytonossg dencijnak specilis esete-
1.
I(x1 + x2 ) = x1 + x2 = I(x1 ) + I(x2 ) ;
illetve 2.
I(x) = x = I(x) .
knt kapjuk a vals, egyvltozs fggvnyek folytonossgi dencijt, gy az

identits folytonos lekpezs (
:= ).
I korltos, mert lineris s folytonos. Figyelem, az kt klnbz fogalom, hogy

korltos egy lekpezs, illetve hogy korltos rtkkszlet !
Az
lekpezs normja:
kIk = sup kIxkY = sup |x| = 1 .

kxkX =1
A/2/d,
|x|=1
f, g C 1 [0, 2] s R esetn
0
0
0
0
0
1. D(f + g) = (f + g) = f + g = Df + Dg , illetve 2. D(f ) = (f ) = f =
Df .
lineris lekpezs, mivel
nem korltos, mert van olyan halmaz, ami korltos, de a kpe nem az. Te-
nem folytonos, mert lineris s nem korltos.
fn (x) = sin nx , n N+ fggvnyek halmazt. Ez a halmaz

0
korltos, mivel kfn k = max[0,2] | sin nx| = 1. Viszont kDfn k = kfn k =
kn cos nxk = max[0,2] (|n cos nx|) = n . D teht ezt a korltos halmazt
nem korltosba viszi t D nem korltos.
kintsk ugyanis az
A/2/f,
S nem lineris, ugyanis legyen pl. f (x) = x s g(x) = x. Ekkor S(f + g) =

S(x x) = S(0) = sup[0,1] (0) = 0 6= Sf + Sg = sup[0,1] x + sup[0,1] (x) =
1 + 0 = 1.
40
FEJEZET 5. NORMLT TEREK FOLYTONOS LINERIS LEKPEZSEK
korltos, ugyanis minden korltos halmaz kpe korltos. Ennek igazolshoz
H C[0, 1] tetszleges korltos halmazt. Ez azt jelenti, hogy

K R+ : f H -ra kf k = sup[0,1] |f | K teljesl. Kvetkezskppen
K sup[0,1] |f | | sup[0,1] f | = kSf k is teljesl, viszont ez ppen a halmaz
tekintsnk egy
kpnek korltossgt jelenti.
S folytonos. Ehhez azt kell megmutatnunk, hogy brmely f0 C[0, 1] s > 0

esetn > 0: kSf Sf0 k = | sup[0,1] f sup[0,1] f0 | < , ha kf f0 kX =
sup[0,1] |f f0 | < (f C[0, 1]). := vlaszts j lesz, hiszen | sup[0,1] f
sup[0,1] f0 | sup[0,1] |f f0 | .
N
f, g C[0, 1] s R esetn
1. N (f + g) = (f + g)(0) = f (0) + g(0) = N f + N g ,
(f )(0) = f (0) = N f .
AB/2/g,
lineris, ugyanis
N korltos, ugyanis ha H C[0, 1] korltos halmaz,

sup[0,1] |f | K . Ekkor |f (0)| K H kpe is korltos.
N
Mivel
illetve 2.
akkor
N (f ) =
K R+ :
lineris s korltos, gy folytonos is.
normja:
kN k =
sup
f X,f 6=0
kN f kY
|N f |
|f (0)|
=
sup
=
sup
= 1,
kf kX
f C[0,1],f 6=0 sup[0,1] |f |
f C[0,1],f 6=0 sup[0,1] |f |
ugyanis a hnyados minden

olyan
f C[0, 1]
fggvnyre nyilvn kisebb, mint
fggvnyre a legnagyobb, amelyre
az azonosan 1 fggvny a
1 s gy a szuprmum is.
[0, 1]
|f |
1,
s egy
a szupremumt a 0-ban veszi fel (pl.
intervallumon), ebben az esetben pedig a hnyados
fejezet 6
1. minta zrthelyi
1. Metrikt denilnak-e R-en?
(1+3 p)
a, da (x, y) = |xy| ;
b,
db (x, y) =
0, ha x = y
|x| + |y| , ha x 6= y
2. Tekintsk az (R, ||) MT-et s benne a kvetkez halmazt: H = {(2)n : n N} (2, 2).
Adjuk meg a torldsi, bels, kls s hatrpontjainak halmazt, dntsk el, hogy nylt-e,
zrt-e a halmaz! Itt elegend az eredmnyt megadni, indokls nem szksges!
(6 p)
3. A Banach-fle xpontttel alkalmazsval szeretnnk kzelteni az x = 21 ex egyenlet megoldst. Mi a teend, ha azt szeretnnk garantlni, hogy a hiba kisebb legyen, mint 103 ?
(6 p)
4. Tekintsk R2 -et, mint R feletti vektorteret. Normt denilnak-e a kvetkez hozzrendelsek?
(3+2 p)
a, (x1 , x2 ) 7 |x1 | + |x2 | ;
b, (x1 , x2 ) 7 x21 + x22 .
5. Konvergensek-e az (R2 , k k2 ) NT-ben a kvetkez sorozatok?
(1.5+1.5 p)
a, (( n1 , (1)
n )) ;
b, (((1)n , 1)) .
6. Tekintsk a kvetkez hozzrendelssel megadott R2 R2 opertorokat:
i, (x1 , x2 ) 7 (x1 + x2 , x1 + x2 ) ; ii, (x1 , x2 ) 7 (1, 0) .
(3+3+2 p)
a, Linerisak-e?
b, Ha igen, mik a sajtvektorai s a hozzjuk tartoz sajtrtkei? Mi a mtrixa a
szoksos bzisban? Itt elegend az eredmnyt megadni, indokls nem szksges!
c, R2 -et elltjuk a kk normval. Amelyik lekpezs lineris, ott adjuk meg az induklt
normjt! Elg rajzzal indokolni!
7. Vizsgljuk meg a kvetkez X Y ahol X, Y NT-ek opertorokat, hogy linerisak,
korltosak illetve folytonosak-e? Ha korltos s lineris, akkor mi a normja?
(3+5 p)
a, X = Y = (R, | |), f (x) = x2 ;
b, X = ({(xn ) : lim xn } , kk ), ahol k(xn )k = sup {|xn | : n N+ }, Y = (R, ||),

L(xn ) = lim xn .
41
fejezet 7
Normlt terek hatrrtk, folytonossg
Kulcsszavak:
hatrrtk, folytonossg, tviteli elv, parcilis derivltak

Kiterjesztjk a hatrrtk s a folytonossg fogalmt normlt trbl normlt trbe kpez
fggvnyekre.
7.1. Denci.
D(f ) X , f : D(f ) Y , s x0
a Y elem az f fggvny x0 -beli hatrrtk e, ha > 0 szmhoz > 0,
x D(f ) s kx x0 kX < esetn kf (x) akY < . Jellse: limx0 f = a.
Legyenek
normlt terek,
D(f )0 . Ekkor az
hogy
7.2. Denci.
Legyenek
D(f ) X , f : D(f ) Y , s x0 D(f ).

> 0 szmhoz > 0, hogy x D(f ) s
normlt terek,
f fggvny folytonos az x0 pontban, ha

kx x0 kX < esetn kf (x) f (x0 )kY < .
Az
Ezen kt fogalom kapcsolatt a kvetkez lemma rja le.
7.1. Lemma. Legyenek X s Y normlt terek, D(f ) X , f : D(f ) Y s x0

D(f ) D(f )0 . Ekkor f pontosan akkor folytonos az x0 -ban, ha ltezik x0 -ban hatrrtke,
s az egyenl az f (x0 ) helyettestsi rtkkel.
A hatrrtk vizsglatban sok esetben jl hasznlhat az albbi ttel (n.
tviteli
elv ), amely a fggvny hatrrtknek a vizsglatt visszavezeti sorozatok hatrrtkeinek

vizsglatra.
7.2. Ttel. Legyenek X s Y normlt terek, D(f ) X , f : D(f ) Y s x0 D(f )0 .

Ekkor a kvetkez kt llts ekvivalens.
1. limx0 f = a.
2. lim f (xn ) = a teljesl (xn ) sorozatra, melyre xn D(f ), xn 6= x0 s lim xn = x0 .
43
FEJEZET 7. NORMLT TEREK HATRRTK, FOLYTONOSSG
44
Legyenek
normlt terek. Ekkor bevezetjk a kvetkez jellst:
D(f ) X ,
f : D(f ) Y , helyett rviden csak f : X , Y -t fogunk rni.

n
Ha f : R , R, akkor az egyvltozs fggvnyek derivltjt ltalnostva rtelmezzk
2
az n. parcilis derivltakat. Specilisan, legyen f : R , R, s (x0 , y0 ) bels pontja
D(f )-nek. Ekkor, ha a rgztett y = y0 pont esetn ltezik s vges a
lim
xx0
hatrrtk, illetve a rgztett
x = x0
f (x, y0 ) f (x0 , y0 )
,
x x0
pont esetn ltezik s vges a
f (x0 , y) f (x0 , y0 )
y y0
hatrrtk, akkor ezeket az f fggvny (x0 , y0 ) pontbeli, x ill. y vltoz szerinti parcilis
n
derivltjainak nevezzk. (Hasonlan, ha f : R , R, akkor az xi vltoz szerinti parcilis
f
derivlt rtelmezshez a fggvny sszes tbbi vltozjt rgztjk.) Jellsk:
x (x0 , y0 )
f
ill.
y (x0 , y0 ). A parcilis derivltak azt mutatjk meg, hogy az (x0 , y0 ) pontban az x
ill. az y tengellyel prhuzamos irny mentn milyen meredek a fggvny. Ha egy T
D(f ) tartomnyban lteznek a parcilis derivltak, akkor azt a fggvnyt, amely minden
(x, y) T ponthoz hozzrendeli az x (ill. y ) szerinti parcilis derivltat, az f fggvny x
(ill. y ) szerinti parcilis derivltfggvnynek nevezzk. Amennyiben ezek is parcilisan
lim
yy0
dierencilhatk, kpezhetjk mindkt vltoz szerint jabb parcilis derivltjaikat. gy

a msodrend parcilis derivltakat kapjuk. Ezek jellse:
f
2f
f
2f
f
2f
f
2f
=:
,
=:
,
=:
,
=:
x x
x2 y x
yx x y
xy y y
y 2
A kzpsk az n. vegyes parcilis derivltak.
7.2. Feladatok
A,
NT: fggvnyek hatrrtke

1. Lssuk el
R2 -et
hatrrtke az albbi
B,
a,
f (x, y) =
b,
f (x, y) =
c,
f (x, y) =
| | normval. Van-e
R fggvnyeknek a (0, 0) pontban? 99K
az euklideszi normval s
2xy
;
x2 +y 2
2
x y
;
x2 +y 2
2
2
x y
.
x2 +y 2
f:
R2 \{(0, 0)}
R-t
pedig az
NT: folytonossg (ltalnos eset, nemlineris lekpezsek esete)

R2 -et az euklideszi normval s R-t pedig az || normval. Folytonosak2
albbi f : R R fggvnyek a (0, 0) pontban?
99K
1. Lssuk el
e az
a,
f (x, y) =
, ha
xy 2
x3 +y 3
(x, y) = (0, 0),
, egybknt ;
7.2. FELADATOK
45
b,
f (x, y) =
, ha
2xy 2
x2 +y 4
(x, y) = (0, 0),
, egybknt ;
R2 -et az euklideszi normval s R-t pedig az || normval. Folytonos-e

2
albbi f : R R fggvny az (1, 1) pontban?
99K
(
1
, ha (x, y) = (1, 1),
f (x, y) =
2(x1)(y1)
2. Lssuk el
az
(x1)2 +(y1)2
C,
, egybknt .
NT: parcilis derivltak

1. Hatrozzuk meg az albbi
vltjait!
a,
b,
c,
d,
R2 R,
illetve
R3 R
fggvnyek parcilis deri-
f (x, y) = x3 + y 3 3xy ;
g(x, y) = xy , (x R+ ) ;
z
h(x, y, z) = xy , (x, y R+ ) ;
k(x, y) = arc sin xy .
2. Mutassuk meg, hogy az albbi fggvnynek lteznek a parcilis derivltjai a
(0, 0)
pontban, pedig lttuk, hogy nem folytonos ott (lsd A/1/a,)!
f (x, y) =
(
0
2xy
x2 +y 2
, ha
(x, y) = (0, 0),
, egybknt .
3. Mutassuk meg, hogy az albbi fggvny vegyes parcilis derivltjai megegyeznek!
f : R2 R, f (x, y) = ln(x + ey ) , (x R+ ) .
4. Szmtsuk ki a kvetkez parcilis derivltakat!
3
(x ln xy) ;
x2 y
3
xyz ) .
b,
xyz (e
a,
hogy
v : R3 R, v(x, y, z) = (x2 + y 2 + z 2 ) 2
2v
2v
2v
v = x
2 + y 2 + z 2 = 0!
5. Tekintsk a
fggvnyt! Igazoljuk,
FEJEZET 7. NORMLT TEREK HATRRTK, FOLYTONOSSG
46
A/1/a, Nincs, kzeledjnk
mx egyenesek mentn, vagy trjnk t polrkoordintkra (7.1.a b-
ra).
A/1/b, Van, trjnk t polrkoordintkra (7.1.b bra).
A/1/c, Nincs, kzeledjnk
mx egyenesek mentn, vagy trjnk t polrkoordintkra (7.1.c b-
ra).
7.1. bra. a) A/1/a feladat, b) A/1/b feladat, c) A/1/c feladat.
B/1/a, Nem, trjnk t polrkoordintkra (7.2.a bra).

B/1/b, Nem, kzeledjnk
mentn, vagy trjnk t polrkoordintkra (7.2.b bra).
B/2 Alkalmazzuk a kvetkez helyettestst:

(7.2.c bra).
z := x 1, w := y 1
s utna lsd A/1/a
7.2. bra. a) B/1/a feladat, b) B/1/b feladat, c) B/2. feladat.
C/1 Lsd 7.3. bra.

C/3 Lsd 7.4. bra.
47
200
0
400
200
0
5
2
5
200
5
0
y
5 5
0
y
5 0
0
y
5 5
0
x
7.3. bra. a) C/1/a feladat, b) C/1/b feladat, c) C/1/d feladat.
2
1.5
1
0.5
0
2
2
1.5
1.5
0.5
y
0.5
0
7.4. bra. C/3. feladat.
fejezet 8
Normlt terek dierencilszmts I.
Kulcsszavak:
kisrend fggvny, dierencilhatsg, derivlt, Jacobi-mtrix, rint

A derivlt fogalmt kiterjesztjk tetszleges normlt trbl normlt trbe kpez fggvnyekre.
Vegyk szre, hogy a vals fggvnyek derivltjnak
f (x) f (x0 )
x x0
dencija nem vihet t egy az egyben f : X , Y fggvnyekre, ahol X
f 0 (x0 ) = lim
xx0
tetszleges
normlt terek, ugyanis normlt terekben nem rtelmeztk az oszts mvelett. Egy vals
fggvny
x0 -beli
derivltjnak ltezse azonban ekvivalens a kvetkezvel:
a R :
f (x) f (x0 ) a(x x0 )

0,
|x x0 |
ha
x x0 .
x0 -beli derivltjnak nevezzk, s az f 0 (x0 ) szimblummal

jelljk. Kicsit mskppen megfogalmazva, ltezik olyan a vals szm, amelyre az r(x) :=
f (x) f (x0 ) a(x x0 ) fggvny a) rtelmezve van x0 egy krnyezetben, b) r(x0 ) = 0,
r(x)
s c) limxx0
|xx0 | = 0. Azaz a R, hogy x0 valamely K(x0 ) krnyezetben f (x)
f (x0 ) = a(x x0 ) + r(x), ahol r x0 -ban rendelkezik a fenti a), b) s c) tulajdonsggal
(n. x0 -ban kisrend fggvny). A fenti szrevtel lehetsget ad a derivlt fogalmnak
Ezt az
a szmot az f
fggvny
kiterjesztsre.
8.1. Denci.
x0 X
Legyenek
normlt terek. Az
pontban, ha
a)
b)
r(x0 ) = 0;
c)
limxx0
rtelmezve van
r(x)
kxx0 k
x0
egy
K(x0 )
krnyezetben;
= 0.
49
r : X , Y
fggvny
kisrend
az
FEJEZET 8. NORMLT TEREK DIFFERENCILSZMTS I.
50
8.2. Denci.
X s Y normlt terek, D(f ) X , f : D(f ) Y , x0 intD(f ).

f (totlisan) dierencilhat x0 -ban, ha K(x0 ) D(f ) krnyezet,
Legyenek
Azt mondjuk, hogy

melyre
f (x) f (x0 ) = A(x x0 ) + r(x)

egyenlsg teljesl
fggvny.
Ekkor az
x K(x0 ) esetn, ahol A Lin(X, Y ), s r : X , Y x0 -ban kisrend
A Lin(X, Y )
elemet az
fggvny
x0 -beli derivlt jnak
nevezzk, s
f 0 (x0 )-
val jelljk.
ltalnostjuk az rint fogalmt is.
8.3. Denci.
Legyenek
x0 -beli rint jnek

x K(x0 ).
fggvny
f : X , Y x0 -ban dierencilhat
s(x) = A(x x0 ) + f (x0 ) fggvnyt, ahol
normlt terek. Az
nevezzk az
A gyakorlatban igen fontos az a specilis eset, amikor
X = Rn ,
Y = Rm .
8.1. Ttel. Ha f : Rn , Rm dierencilhat az x0 intD(f ) pontban, akkor
f 0 (x0 ) =
1 f1 (x0 )
1 f2 (x0 )
..
.
1 fm (x0 )
2 f1 (x0 ) . . .
...
n f1 (x0 )
n f2 (x0 )
..
.
. . . n fm (x0 )
ahol fi , i = 1, 2, . . . , m jelli f i-edik koordinta-fggvnyt.

A (8.1) mtrixot az f fggvny Jacobi-mtrixnak nevezzk.
Rmn ,
(8.1)
8.2. Ttel. Az f : Rn , Rm fggvny (folytonosan) dierencilhat az x0 intD(f )
pontban, ha minden koordinta-fggvnynek ltezik mindegyik vltoz szerinti parcilis

derivltja az x0 pontban, s azok folytonosak is ebben a pontban.
8.2. Feladatok
A,
NT: dierencilhatsg
f : R2 R, f (x, y) = x2 + y
0
hasznlva, hogy f (x0 ) = (2, 1).
1. Legyen
2. Legyen
f :
R2
R2 ,
Jacobi-mtrixot az
egyenl
3. Legyen
x0 = (1, 2).
Mutassuk meg a dencit
f (x, y) = (xy, x y)
x0 = (2, 4).
f :
R2
f 0 (x0 )-lal!
Szmtsuk ki a
helyen, s mutassuk meg a dencit hasznlva, hogy ez
f 0 (x0 )-lal!

R2 ,
Jacobi-mtrixot az
egyenl
x0
x0
f (x, y) =
(x2
y 2 , xy) s
x0 = (1, 1).
Szmtsuk ki a
helyen, s mutassuk meg a dencit hasznlva, hogy ez
8.2. FELADATOK
51
4. A denci sszhangban van az 1D-beli dencival: Legyen

kvetkez:
a,
b,
f (x) = x2 , x0 = 2. Mutassuk meg a dencit hasznlva, hogy f 0 (x0 ) = 4.

3
0
f (x) = x , x0 = 2. Mutassuk meg a dencit hasznlva, hogy f (x0 ) = 12.
5. Hatrozzuk meg az
a
f : R R
(0, 1, 2)
helyen!
f : R3 R2 , f (x, y, z) = (x2 y, y + z)
fggvny derivltjt
6. Adjunk pldt olyan fggvnyre, mely minden irnybl folytonos a
(0, 0) pont-
ban, st ott minden irnyban dierencilhat, de (totlisan) nem dierencil-
99K
hat!
(0, 0) pontban, ott minden

dierencilhat!

7. Mutassuk meg, hogy az albbi fggvny folytonos a

irnyban dierencilhat, de (totlisan) nem
f (x, y) =
B,
(
0
xy 2
x2 +y 2
, ha
(x, y) = (0, 0),
, egybknt.
rintsk
z = 2x2 3y 2 egyenlet ltal meghatrozott
P (2, 1, 5) pontbeli rintskjnak egyenlete?
1. Tekintsk a
fellet
felletet! Mi ezen
2. Szmtsuk ki kzeltleg a megadott kifejezsek rtkt a megadott fggvnyek
adott pontjban vett rintskjnak segtsgvel!
0,05 sin( 0, 1) ? ; f (x, y) = ex sin y ; (0, ) ;

a, e
2
2
b, sin( 0, 1) cos( 0, 2) ? ; f (x, y) = sin x cos y ;

2
2
( 2 , 2 ) .
52
A/1,
f 0 (x0 , y0 )-ra egyetlen lehetsges jellt van, mgpedig (x f (x0 , y0 ), y f (x0 , y0 )), f
(x0 , y0 ) pontbeli Jacobi-mtrixa. Ebben az esetben (x f, y f ) = (2x, 1), vagyis
(x f (x0 , y0 ), y f (x0 , y0 )) = (2, 1).
A dierencilhatsghoz mg ellenriznnk kell, hogy az r(x, y) = f (x, y)f (x0 , y0 )
f 0 (x0 , y0 ) (x x0 , y y0 )T fggvny kisrend-e (x0 , y0 )-ban.
Vagyis
r(x0 , y0 ) = (0, 0) ;
lim(x0 ,y0 )
illetve
r(x,y)
k(xx0 ,yy0 )k
=0
teljesl-e.
r(x, y) = x2 + y 3 (2, 1)
r(1, 2) = (0, 0)
(hiszen
x1
y2
= x2 2x + 1 .
gy lett megkonstrulva)
A vges dimenzit (dim R
= 2, dim R = 1)
kihasznlva tetszleges normkat
(R2 , kk2 ) , illetve (R, ||) .

2
x 2x + 1
r(x, y)
(x 1)2
lim
= lim p
= lim p
(1,2) k(x x0 , y y0 )k2
(1,2)
(x 1)2 + (y 2)2 (1,2) (x 1)2 + (y 2)2
vlaszthatunk. Vlasszuk most a kvetkezket:
z := x 1, w := y 2
helyettestssel
(x 1)2
z2
.
lim p
= lim
(1,2)
(x 1)2 + (y 2)2 (0,0) z 2 + w2
Polrkoordintkra ttrve a hnyados

Teht az
A/2,
r cos2 ,
ami tart a
0-hoz.
fggvny valban kisrend.
Jacobi-mtrixa
Jf (x, y) =
Ellenrizzk, hogy az
y x
1 1
Jf (2, 4) =
4 2
1 1
r(x, y) = f (x, y) f (2, 4) Jf (2, 4) (x 2, y 4)T =

xy 4x 2y + 8
xy
8
4 2
x2
=
0
y4
xy
2
1 1
fggvny kisrend-e
(2, 4)-ben,
r(x0 , y0 ) = (0, 0) ;
azaz
illetve
Euklideszi normt vlasztva s a koordintafggvnyek konvergencijt vizsglva:

xy 4x 2y + 8

(x
2)(y
4)

lim p
= lim p

,
(2,4)
(x 2)2 + (y 4)2 (2,4) (x 2)2 + (y 4)2
z := x 2, w := y 4
helyettestssel addik, hogy a hatrrtk
fejezet A/1/a). A msik koordintafggvny

a
Teht
0-hoz
53
0,
(lsd 7.
gy ott automatikusan addik
tarts.
r kisrend, gy a fenti Jacobi-mtrix valban f
derivltja a megadott pontban.
r(x) = f (x) f (x0 ) f 0 (x0 )(x x0 ) = x2 4(x 2) 4 = (x 2)2 fggvny

(x2)2
kisrend az x0 = 2-ben, ugyanis 2-ben 0-t vesz fel, illetve
|x2| = |x 2| 0, ha
x 2.

2xy x2 0
0 0 0
Jf (x, y, z) =
Jf (0, 1, 2) =
. A Jacobi-mtrix ko0
1 1
0 1 1
ordintafggvnyei pedig folytonosak a (0, 1, 2) pontban (persze nem csak ott),
0
ami biztostja az ebben a pontban val dierencilhatsgot. Teht f (0, 1, 2) =

0 0 0
.
0 1 1

1 azon (x, y) pontokban, amelyekre x > 0 s y = x2 ,
Legyen f (x, y) =
0 egybknt .
A/4/a, Az
A/5,
A/6,
A/7,
folytonos a
(0, 0)-ban,
mivel hatrrtke a
(0, 0)-ban 0,
azaz ppen a
(0, 0)-
beli helyettestsi rtk (lsd 7.Gy/A/1/b,).
irnyszg vagyis az l(t) = (t cos , t sin )

(f l)0 (0) = cos sin2 .
Ebbl = 0-ra kapjuk az x szerinti parcilis derivltat: x f (0, 0) = 0, s =
0
2 -re az y szerintit: y f (0, 0) = 0. Ha teht f dierencilhat, akkor f (0, 0) =
0
T
(0, 0) lehet csak. Az r(x, y) = f (x, y)f (0, 0)f (0, 0)(x, y) = f (x, y) fggf (x,y)
vny azonban nem kisrend a nullban, ugyanis az r(x, y) =
fggvny
2
2
Dierencilhat minden irnyban: az
egyenlet egyenes mentn az irnymenti derivlt
x +y
nem tart 0-hoz (polrkordintkra val ttrssel addik)

cilhat a
(0, 0)-ban.
f (x, y) = 2x2 3y 2
nem dieren-
f
f 0 (x, y) =
(4x, 6y) f 0 (2, 1) = (8, 6). Az rintsk egyenlete s(x, y) = f (x0 , y0 ) +
f 0 (x0 , y0 )(xx0 , yy0 )T , vagyis s(x, y) = 5+(8, 6)(x+2, y1)T = 8x6y5 .
B/1, Az
fggvny
P (2, 1)-beli
rintskjt kell meghatrozni.
dierencilhat, hiszen az elsrend parcilis derivltjai folytonosak.
(Lsd 8.1. bra.)

B/2/a,
f dierencilhat, mert az elsrend parcilis derivltjai folytonosak.

f 0 (x, y) = (ex sin y, ex cos y) f 0 (0, 2 ) = (1, 0).
T
0
Az rintsk egyenlete: s(x, y) = f (0, ) + f (0, ) (x 0, y ) = x + 1.
2
2
2
e0,05 sin( 2 0, 1) = f (0, 05; 2 0, 1) s(0, 05; 2 0, 1) 0, 05 + 1 = 1, 05.
B/2/b,
f dierencilhat, mert az elsrend parcilis derivltjai

f 0 (x, y) = (cos x cos y, sin x sin y) f 0 ( 2 , 2 ) = (0, 1)
s(x, y) = f 0 ( 2 , 2 ) (x 2 , y 2 )T + f ( 2 , 2 ) = y + 2 .
sin( 2 0, 1) cos( 2 0, 2) ( 2 0, 2) + 2 = 0, 2.
folytonosak.
54
60
40
20
20
2
P (2, 1, 5)
1
0
y
5
1
0
2
8.1. bra. B/1. feladat. A fggvny s a
P (2, 1, 5)
pontbeli rintsk.
fejezet 9
Normlt terek dierencilszmts II.
Kulcsszavak:
kompozci dierencilsa, irnymenti derivlt, implicit alakban megadott fggvny
dierencilsa

Normlt trbl normlt trbe kpez fggvnyek kompozcijnak a dierencilsra a
lncszablyt alkalmazhatjuk:
9.1. Ttel. Legyenek X, Y, Z normlt terek. Ha g : X , Y dierencilhat x0 -ban s

f : Y , Z dierencilhat g(x0 )-ban, akkor f g : X , Z dierencilhat x0 -ban, s
(f g)0 (x0 ) = f 0 (g(x0 )) g 0 (x0 ) Lin(X, Z).
Egy specilis kompozcifggvny derivltjn alapul az irnymenti derivlt fogalma.
9.1. Denci.
X, Y
a intD(f ),
Legyenek
elemek, amelyekre
normlt terek,
s
f : X , Y ,
tovbb
olyan
X -beli
kek = 1.
l(t) = a + te, l : R , X , D(l) = {t R : a + te D(f )}

tmen, e irny X -beli egyenes nek nevezzk.
Az
fggvny az
pontban
fggvnyt az
a ponton
irnyban dierencilhat, ha az
f l : R , Y fggvny dierencilhat a t = 0 pontban. Az (f l)0 (0) derivltat

az f fggvny a pontbeli e irny irnymenti derivlt jnak nevezzk, s jellsre
a e f (a) szimblumot alkalmazzuk.
9.2. Ttel. Legyenek X, Y normlt terek, f : X , Y adott fggvny, a intD(f ) s e
X, kek = 1 adott vektorok. Ha f dierencilhat a-ban (azaz ltezik f 0 (a) Lin(X, Y )),
akkor tetszleges e esetn ltezik e f (a) Lin(R, Y ), s e f (a) = f 0 (a) e.
55
FEJEZET 9. NORMLT TEREK DIFFERENCILSZMTS II.
56
9.2. Feladatok
A,
kompozci dierencilsa
1. Legyenek
X, Y
normlt terek, illetve
nlva, hogy ha
f : X Y
x0 helyen
dierencilhat az
2. Szmtsuk ki
(f g)0 (t)-t
B,
x0 X
(f )0 (x0 ) = f 0 (x0 ) .
dierencilhat az
s
helyen, akkor
is
ktflekppen!
f :
R, f (x, y) = x2 y 2 6x , g : R R2 , g(t) =
(3 ch t, 5 sh t) .

2
2
2
2
Legyen f : R R, f (x, y) = x + y 3xy , g : R R , g(t) =
( sin t, 3 cos t) .
irnymenti derivlt
1. Szmtsuk ki az
(1, 1)
a,
b,
f (x, y) = xy
fggvny albbi irnyok szerinti derivltjait az
pontban.
e1 = (1, 0) ; e2 = (0, 1) ;
e3 = ( 12 , 12 ) ; e4 = (1, 1) .
Melyik irnyban lesz az

2. Tekintsk a
z=
fggvny derivltja maximlis illetve minimlis?
8 4x2 2y 2 egyenlet ltal meghatrozott domborzatot! Me-
lyik irnyban fog elindulni ezen domborzat
P (1, 1, 2)
pontjbl az odahullott
csapadk?
C,
Mutassuk meg a dencit hasz-
R2
a, Legyen
b,
R.
parcilis derivltat tartalmaz egyenletek, implicit alakban megadott fggvny dierencilsa

f : R R dierencilhat fggvnyre s
u
y 2 u

x + xy y = xu !
p
2
2
x2 + y 2 fggvnyre a xu2 + yu2 =
Mutassuk meg, hogy az u(x, y) = ln
0 egyenl?sg teljesl! Keressnk tovbbi olyan u fggvnyeket, melyekre az
egyenl?sg szintn teljesl!

1. Mutassuk meg, hogy tetszleges
u(x, y) = yf (x2 y 2 )
2.
fggvnyre
3. Oldjuk meg a kvetkez egyenleteket!
u
u
t = x ;
2
2u
b,
= xu2 .
t2
a,
4. Hatrozzuk meg
y 0 (0)-t
az
x2
a2
+ yb2 = 1
implicit alakban megadott fggvnyre.
57
A/2/a,
1.
(f g)(t) = f (3 ch t, 5 sh t) = 9 16 sh2 t 18 ch t (f g)0 (t) = 32 sh t ch t

18 sh t .
2.
f 0 (x, y) = (2x 6, 2y) , f 0 (g(t)) = (6 ch t 6, 10 sh t) , g 0 (t) = (3 sh t, 5 ch t) .

3 sh t
0
0
0
(f g) (t) = f (g(t))g (t) = (6 ch t6, 10 sh t)
= 32 sh t ch t18 sh t .
5 ch t
Lsd 9.1. bra bal oldali oszlopnak kpei.
A/2/b,
(f g)0 (t) = 16 sin t cos t + 9 cos2 t 9 sin2 t.
Lsd 9.1. bra jobb oldali oszlopnak
kpei.
B/1/a,
f dierencilhat, mert az
(y, x) f 0 (1, 1) = (1, 1).
elsrend parcilis derivltjai folytonosak.

1
= 1;
e1 f (1, 1) = f (1, 1)e1 = (1, 1)
0
0
f 0 (x, y) =
e2 f (1, 1) = f (1, 1)e2 = (1, 1)
0
1
Lsd 9.2. bra.

B/1/b,
e3 f (1, 1) = (1, 1) ( 12 , 12 )T =
2
2
= e4 f (1, 1) (ugyanis e4 normlva e3 ).

(1, 1) irnyban (a gradiensvektor irnya), minimlis a vele ppen ellenttes (1, 1) irnyban, ugyanis kt adott hosszsg
vektor szorzata akkor maximlis, ha a kzbezrt szgk 0, illetve minimlis, ha a
kzbezrt szg . Lsd 9.2. bra.
Az irnymenti derivlt maximlis az
B/2, A krds tfogalmazhat a kvetkezkppen: az
f (x, y) = 8 4x2 2y 2
fgg-
(x0 , y0 ) = (1, 1) pontjban melyik irnyban a legkisebb az irnymenti de0

0
rivlt? f (x, y) = (8x, 4y) f (1, 1) = (8, 4). gy, felhasznlva a B/1/b,
feladat megoldsnl hasznlt indoklst, addik, hogy a (8, 4) vektor (normlva: a
( 880 , 480 )) vektor irnyban indul el a csapadk. Lsd 9.3. bra.
vny
C/1,
u
x
= yf 0 (x2 y 2 ) 2x ;
u
y
= f (x2 y 2 ) + yf 0 (x2 y 2 ) (2y) .
Innen pedig
behelyettestssel addik az llts.

C/2,
2 x2
x2 +y 2 x2x
1
x
2u
= (xy2 +y
1
2x = x2 +y
2 x2 =
2 )2 . Hasonlkppen
(x2 +y 2 )2
x2 +y 2 2 x2 +y 2
2 y 2
2u
= (xx2 +y
addik, hogy
2 )2 . Majd behelyettestve addik az llts.
y 2
p
Tovbbi pldk: u(x, y) = ln
x2 + y 2 + ax + by + c, a, b, c R tetszleges kons-
u
x
u(x, y) = xy , u(x, y) = ex cos y

fggvnyek nek nevezzk.)
tansok,
v(, ) azt az R2 R
(x, t) R2 pontban. Azaz, ha
akkor u(x, t) = (v g)(x, t).
C/3/a, Jellje
stb. (Az ilyen fggvnyeket
u(x, t) = v(x t, x + t) minden

g(x, t) = (x t, x + t) segdfggvnyt,
fggvnyt, amelyre
bevezetjk a
harmonikus
Ekkor a parcilis derivltakat ktflekppen kiszmtva:
u0 (x, t) = (x u(x, t), t u(x, t)) .
= 1.
58
9.1. bra. Bal oldal: A/2/a feladat, jobb oldal: A/2/b feladat: a) s b)
felszn) s
g(t)
f (x, y)
(sznes
(fekete grbe) fggvnyek, c) s d) a kompozcifggvnyek (azaz milyen
rtkeket vesz fel
hogyan vltozik
t mentn), e) s f ) a kompozcifggvny derivltja (vagyis
t mentn).
Msrszrl
u0 (x, t) = (v g)0 (x, t) = v 0 (g(x, t)) g 0 (x, t) .
59
8
6
4
e2
max
e1
0
2
min
4
3
2
1
0
y
9.2. bra. B/1. feladat: a nyilak az
e1
e2
irnyokba mutat, illetve a maximlis s
minimlis irnymenti derivltakat jelzik.
50
0
50
P (1, 1, 2)
100
150
200
250
5
5
0
0
5
y
9.3. bra. B/2. feladat: a
P (1, 1, 2)
pontbl a csapadk a nyllal jelzett irnyba fog elin-
dulni.
v 0 (, ) = ( v(, ), (, )),
(xt v(x t, x + t), x+t (x t,x + t)).
1 1
0
A msodik tnyez: g (x, t) =
.
1 1
A jobb oldalon az els tnyez:
vagyis
v 0 (g(x, t)) =
A mtrixszorzst elvgezve
u0 (x, t) = (xt v(xt, x+t)+x+t v(xt, x+t), xt v(xt, x+t)+x+t v(xt, x+t)) .
u0 (x, t)-re kapott kt kifejezs sszehasonltsbl

x u(x, t) = xt v(x t, x + t) + x+t v(x t, x + t), t u(x, t) = xt v(x t, x +
u
t) + x+t v(x t, x + t). Ezzel a u
t = x dierencilegyenlet v -vel kifejezve az albbi
Az
alakban rhat fel:
60
xt v(x t, x + t) = xt v(x t, x + t),

v
Ez azt jelenti, hogy
vagyis
xt v(x t, x + t) = 0 .
olyan fggvny, amely csak a msodik vltozjtl fgg.
k : R R tetszleges
dierencilhat fggvny. Az eredeti egyenlet megoldsa: u(x, t) = k(x + t), ahol
k : R R tetszleges dierencilhat fggvny.
Teht az egyenlet megoldsa
v(x t, x + t) = k(x + t),
ahol
x2
a2
+ yb2 = 1 egyenlet mindkt oldalt: 2x

+ 2yyb2(x) = 0. Fejezzk ki
a2
2
0
y 0 (x)-et: y 0 (x) = a2xb
2 2y . Az x helyre 0-t, y helyre y(0) = |b|-t rva y (0) = 0 (lsd
9.4. bra, zld szn az (x, y) = (0, 2) s (0, 2) pontokban).
C/4, Derivljuk az
0.05
0.04
1.5
0.03
1
0.02
0.5
0.01
0
0.01
0.5
0.02
1
0.03
1.5
0.04
2
3
9.4. bra. C/4. feladat
a=3
b=2
0
x
0.05
paramterekkel. A sznek
y 0 (x)
rtkt jelzik.
fejezet 10
Normlt terek dierencilszmts III.
Kulcsszavak:
szlsrtk, Taylor-sor, Taylor-polinom

Normlt trbl
R-be kpez fggvnyekre ltalnosthat a loklis szlsrtk s a Taylor-
sor fogalma.
10.1. Denci.
Az f : X , R fggvnynek loklis minimum a (maximum a) van az

a D(f ) pontban, ha van olyan r > 0, hogy f (x) f (a) (f (x) f (a)) minden
x D(f ) Kr (a) pontra.
10.2. Denci.
Az f : X , R fggvnynek szigor loklis minimum a (maximum a)

a D(f ) pontban, ha van olyan r > 0, hogy f (x) > f (a) (f (x) < f (a)) minden
klnbz x D(f ) Kr (a) pontra.
van az
a-tl
Az
f : Rn , R
fggvnyek esetre megfogalmazunk kt felttelt a loklis szlsrtk
ltezsre.
10.1. Ttel. Ha f dierencilhat az a pontban, s f -nek a-ban loklis szlsrtke van,

akkor f 0 (a) = 0.
10.2. Ttel. Legyen f : Rn , R ktszer dierencilhat az a intD(f ) pontban.
Ha f 0 (a) = 0, s f 00 (a) pozitv (negatv) denit, akkor f -nek szigor loklis minimuma
(maximuma) van a-ban. Ha f 00 (a) indenit, akkor a-ban nincs loklis szlsrtk.
A Rnn mtrixot pozitv (negatv) denit mtrixnak neveznk, ha
minden x
x 6= 0 vektorra hAx, xi > 0 (hAx, xi < 0). Az A mtrix indenit, ha
hAx, xi egyes x vektorokra pozitv, msokra negatv. Ha A szimmetrikus, akkor Sylvester
ttele rtelmben A pontosan akkor pozitv denit, ha az sszes bal fels sarokaldeterEmlkeztetl, egy
Rn ,
minnsa pozitv, s pontosan akkor negatv denit, ha a bal fels sarokaldeterminnsok

61
FEJEZET 10. NORMLT TEREK DIFFERENCILSZMTS III.
62
vltakoz eljelek gy, hogy az els sarokaldeterminns (azaz a bal fels elem) negatv.
Megjegyezzk, hogy Young ttele rtelmben ha
sorrendben lteznek s folytonosan az
vegyes parcilis derivltjai mindkt
pont krnyezetben, akkor ebben az
pontban
00
a vegyes parcilis derivltak egyenlk, gy az f (a) mtrix szimmetrikus.
ltalnostjuk a Taylor-formult
f : X , R
fggvnyekre, ahol
normlt tr.
10.3. Ttel. Legyen f : X , R (X normlt tr), s x X olyan pont, amelyre az
[a, x] szakasz benne van D(f )-ben. Tegyk fel, hogy f m + 1-szer dierencilhat az [a, x]
szakasz minden pontjban. Ekkor ltezik az [a, x] szakasz belsejben, hogy
m
X
f m+1 ()
f (k) (a)
(x a)k +
(x a)m+1 .
f (x) =
k!
(m + 1)!
k=0
Itt
(xa)k
azt az
X k -beli vektort jelli, amelynek minden komponense (xa)-val egyenl.
P
f (k) (a)
k
p(x) = m
k=0
k! (x a)
m-edfok Taylor-polinom jnak nevezzk.
10.3. Denci.
Fontos specilis esetknt felrjuk egy

Taylor-polinomjt:
p(x, y) = f (x0 , y0 ) + f (x0 , y0 )
fggvnyt az
f fggvny a kzppont
f : R2 , R fggvny (x0 , y0 ) pont krli msodfok
x x0
y y0
1 2f
(x x0 )2 +
2! x2
1 2f
1 2f
1 2f
(x0 , y0 )(x x0 )(y y0 ) +
(x0 , y0 )(x x0 )(y y0 ) +
(y y0 )2 .
2! xy
2! yx
2! y 2
10.2. Feladatok
A,
szlsrtk
1. Legyen
2. Legyen
f : R2 R, f (x, y) = xy .
f:
R2
3. Tekintsk a
R, f (x, y) =
x3
Hatrozzuk meg
z = 4x2 + 2y 2 8
f (0, 0)-t!
y 3 . Hatrozzuk meg
f (1, 1)-t!

egyenlet ltal meghatrozott domborzatot!
Ezen domborzat melyik pontjban fog sszegylni a krnyezetben lehullott
csapadk?
4. Legyen
5. Legyen
a,
b,
f :
R2
f:
R2
R, f (x, y) =
x2
y 2 . Van-e
loklis szlsrtkhelye?
R,
f (x, y) = 2x2 + y 2 + 6xy + 10x 6y + 25 ;

f (x, y) = 2x2 + y 2 + 6xy 6y + 25 .
Keressk meg
f -nek
loklis szlsrtkhelyeit.
10.2. FELADATOK
63
f : R2 R, f (x, y) = sin x + cos y + cos(x y). Mi a legnagyobb rtke

a H = {(x, y) : 0 x /2, 0 y /2} halmazon?

6. Legyen
f -nek
B,
Taylor-sor
1. Szmtsuk ki kzeltleg az
segtsgvel!
e0,05 sin( 2 0, 1)
kifejezs rtkt Taylor-polinom
a, Hasznljunk elsfok Taylor-polinomot. Mi a geometriai jelentse az elsfok Taylor-polinomnak?

b, Hasznljunk msodfok Taylor-polinomot.
64
f 00 ltezik. f 0 (x, y) = (y, x),

0 1
0 1
f 00 (x, y) =
f 00 (0, 0) =
.
1 0
1 0
A/1, A msodrend parcilis derivltak folytonosak, gy
f 0 (x, y) = (3x2 , 3y 2 ),

6x 0
6 0
00
00
f (x, y) =
f (1, 1) =
.
0 6y
0 6
A/2, A msodrend parcilis derivltak folytonosak, gy
f 00
ltezik.
f (x, y) = 4x2 + 2y 2 8 fggvny minimumhelyt keressk.

f az egsz R2 -n ktszer dierencilhat (vgtelen sokszor is). Szlsrtkhelye csak
0
ott lehet, ahol 0 a derivltja (gradiense). f (x, y) = (8x, 4y) = (0, 0), ha x = 0,
y = 0. Szmtsuk ki ebben a pontban a msodik derivltat!

8 0
00
f (x, y) =
= f 00 (0, 0) .
0 4
A/3, Az
A mtrix mindkt bal fels sarokaldeterminnsa pozitv (8
f 00 (0, 0)
pozitv denit mtrix
(0, 0)
> 0 ; 8 4 > 0)
szigor loklis minimumhely, teht itt fog
sszegylni a krnyezetben lehullott csapadk (10.1. bra).
100
50
0
50
5
5
0
y
0
5
10.1. bra. A/3. feladat.
A/4,
f ktszer dierencilhat (vgtelen sokszor is). f 0 (x, y) = (2x, 2y) = (0, 0),
(x, y) = (0, 0), teht csak itt lehet loklis szlsrtkhelye f -nek.

2 0
00
f (x, y) =
= f 00 (0, 0) .
0 2
Ennek a mtrixnak a determinnsa negatv, teht indenit
szlsrtkhely, gy
f -nek nincs loklis szlsrtkhelye

f 00 nem fgg x, y -tl.)
eleje elhagyhat, mert
(0, 0)
ha
nem loklis
(10.2. bra). (Az indokls
65
40
20
0
20
5
40
5
0
0
y
10.2. bra. A/4. feladat: a
A/5/b,
(0, 0)
sokszor is).
f (x, y) =
mindenhol, gy a
( 79 , 76 )
nem szlsrtkhely, hanem nyeregpont.
f ktszer dierencilhat (vgtelen

(0, 0), ha x = 79 s y = 67 .
00
f 0 (x, y) = (4x + 6y, 2y + 6x 6) =
4 6
6 2
pontban is. Mivel a mtrix determinnsa negatv, nincs
loklis szlsrtkhely ebben a pontban, gy
f -nek
nincs loklis szlsrtkhelye
(10.3.b bra). (Az indokls eleje itt is elhagyhat.)
400
400
200
200
0
5 200
200
5
0
y
0
y
0
5
10.3. bra. a) A/5/a feladat, b) A/5/b feladat.
A/6,
ktszer dierencilhat (vgtelen sokszor is). Az
fggvny a
H R2
korltos
s zrt halmazon van rtelmezve, gy felveszi a maximumt (s minimumt). Szlsrtkhelye vagy olyan bels pontban van, amely loklis szlsrtkhely, vagy a
peremen.
66
H belsejben hol nulla f derivltja:

= (cos x sin(x y), sin y + sin(x y)) = (0, 0), ha x s y kielgti
a cos x sin(x y) = 0 s sin y + sin(x y) = 0 egyenleteket. A kt
egyenletbl cos x = sin y sin( x) = sin y . Ez ktflekppen lehetsges: 1.)

2
2 x = y + 2k ; 2.) 2 x = y + 2k , ahol k Z . Mindkt egyenletbl

x-et kifejezve s visszahelyettestve az eredeti els vagy msodik egyenletbe

egyetlen olyan megoldst kapunk, amely a H belsejben van, ez a ( , ) pont.
3 6
Vizsgljuk meg elszr, hogy
f 0 (x, y)
Itt a fggvnyrtk
f ( 3 , 6 ) =
3 3
2
2, 6
(lsd 10.4. bra).
Vizsgljuk meg a perempontokat is! A perem ngy szakaszbl ll.

1.
x = 0, y [0, 2 ].
f (x, y) = f (0, y) = sin 0 + cos y + cos(y) = 2 cos y
Itt
maximuma 2.
y = 0, x [0, 2 ]. Itt f (x, y) = f (x, 0) = sin x + 1 + cos x maximuma az

x = 4 helyen van, rtke 22 +1 2, 41 (egyvltozs fggvny szlsrtkhelye
ott lehet, ahol a derivltja 0).
3. x =
2 , y [0, 2 ]. Itt f (x, y) = f ( 2 , y) = 1 + cos y + sin y y = 4 , az
2.
rtke annyi, mint az elz pontban.

4.
y=
2,
x [0, 2 ]:
itt a maximum 2.
A fentiek kzl a legnagyobb rtket
( 3 , 6 )
pontban veszi fel, teht itt van a
maximuma (10.4. bra).
2.5
P

3 3
3, 6, 2
1.5
1
0.5
0
1.5
1.5
1
1
0.5
y
0.5
0
10.4. bra. A/6. feladat
f (x, y) = ex sin y , mely

(x0 , y0 ) = (0, 2 ) krli elsfok
B/1/a, Legyen
vgtelen sokszor dierencilhat. Kzeltsk az

Taylor-polinomjval (ez nem ms, mint a fgg-
vny rintskja).
f (x, y) f (x0 , y0 ) + 1 f (x0 , y0 ) (x x0 ) + 2 f (x0 , y0 ) (y y0 ).
x
x
Itt 1 f (x, y) = e sin y 1 f (0, ) = 1 ; 2 f (x, y) = e cos y 1 f (0, ) = 0.
2
2
0,
1)
pontban:
Alkalmazva a kzeltst az (x, y) = (0, 05;
2
e0,05 sin( 2 0, 1) e0 sin 2 + 1 0, 05 + 0 = 1, 05.
67
B/1/b,
f (x, y) f (x0 , y0 ) + 1 f (x0 , y0 ) (x x0 ) + 2 f (x0 , y0 ) (y y0 )+

1 2
1 f (x0 , y0 ) (x x0 )2 + 212 f (x0 , y0 ) (x x0 ) (y y0 ) + 22 f (x0 , y0 ) (y y0 )2 .
2
12 f (x, y) = ex sin y , 12 f (x, y) = ex cos y , 22 f (x, y) = ex sin y

e0,05 sin( 2 0, 1) 1, 05+ 21 e0 sin( 2 )0, 052 + 2e0 cos( 2 )0, 05(0, 1) e0 sin( 2 )(0, 1)2 =
1, 04625 .
fejezet 11
Normlt terek integrlszmts I.
Kulcsszavak:
szakaszonknt sima t, vhossz

11.1. Denci.
Legyen
normlt tr. Az
r : [a, b] X
fggvnyt
szakaszonknt sima
t nak nevezzk, ha
a) r folytonos,
b) r szakaszonknt folytonosan dierencilhat, azaz ltezik olyan = {t0 , t1 , . . . , tn }
felosztsa az [a, b] intervallumnak, hogy r -nek az sszes [ti1 , ti ] intervallumra val leszktse folytonosan dierencilhat (i = 1, . . . , n).
Sima t vhosszt a kvetkezkppen lehet denilni.
11.2. Denci.
Egy
r : [a, b] X
szakaszonknt sima t
l(r) :=
vals szmot rtjk.
Specilisan, ha az
X = Rn
esetn
vhossz n
az
kr0 (t)kdt
vektorteret az euklideszi normval ltjuk el, akkor
X = R2
Z bq
l(r) =
(r10 (t))2 + (r20 (t))2 dt,
a
ill.
X=
R3 esetn
Z bq
l(r) =
(r10 (t))2 + (r20 (t))2 + (r30 (t))2 dt.
a
Ha egy szakaszonknt dierencilhat

sgt szeretnnk valamely
[a, b]
f :RR
vals fggvny grakonjnak a hossz-
intervallumon kiszmtani, akkor ezt az

69
r : x 7 (x, f (x))
FEJEZET 11. NORMLT TEREK INTEGRLSZMTS I.
70
R2 -beli
szakaszonknt sima t vhossza adja meg, azaz
Z bp
Z bp
0
2
0
2
l(r) =
(x ) + (f (x)) dx =
1 + (f 0 (x))2 dx.
a
11.2. Feladatok
A,
vhossz
1. Szmtsuk ki a kvetkez
t [0, 1].
t [0, ).
r : R R3
grbe vhosszt!
r(t) = (3t, 3t2 , 2t3 ) ,
r : R R3 grbe vhosszt! r(t) = (et cos t, et sin t, et ) ,
r : R R2
cos t), a(sin t t cos t)) , t [0, t0 ].
grbe vhosszt!
r(t) = (a(t sin t +
4. Szmtsuk ki a kvetkez grbe vhosszt!

a,
b,
y = x3/2 , x [0, 4] ;
y = x2 , x [0, x0 ] .
5. Szmtsuk ki az egysgsugar kr kerlett!

6. Legyen
r = r(), [0, 0 ]. Igazoljuk, hogy

Z 0 p
l(r) =
r2 () + (r0 ())2 d .
0
7. Szmtsuk ki gy is az egysgsugar kr kerlett!

8. Szmtsuk ki a kvetkez grbe vhosszt!
deszi spirlis)
r() = a, [0, /2].
(Archim-
71
A/1 Az
A/2,
grbe a 11.1.a brn lthat.
r : x(t) = et cos t, y(t) = et sin t, z(t) = et , t [0, ) jellsekkel

Z p
Z sp
l(r) =
(x0 (t))2 + (y 0 (t))2 + (z 0 (t))2 dt = lim
(x0 (t))2 + (y 0 (t))2 + (z 0 (t))2 dt
s 0
et sin t + et cos t,
x0 (t) = et cos t et sin t, y 0 (t) =

z 0 (t) = et
0
2
0
2
0
2
2t
Ebbl (x (t)) + (y (t)) + (z (t)) = 3e
Z s
Z s

s
et dt = 3 lim et 0 = 3 lim (es +1) = 3 .
l(r) = lim
3e2t dt = 3 lim
s 0
s 0
(Lsd 11.1.b bra.)
2000
1000
1500
0.5
500
0
400
0
0.5
40
200
y
0 0
11.1. bra.
A/3,
1
0
20
y
0
0.5 1
grbe: a) A/1. feladat, b) A/2. feladat.
x0 (t) = a(sin t + t cos t sin t) = at cos t ; y 0 (t) = a(cos t cos t + t sin t) = at sin t .
Z t0
Z t0 p
Z t0 p
t2
t dt = |a| 0 .
l(r) =
(x0 (t))2 + (y 0 (t))2 dt =
a2 t2 cos2 t + a2 t2 sin2 t dt = |a|
2
0
0
0
Lsd 11.2. bra.
A/4/a,
l(r) =
A/4/b,
4q
4
1+
(f 0 (x))2 dx
1+

3
2
0 2
dx
1+
"
3 #4

2
9
8
9
8
1 + x dx =
1+ x
=
1000 1 .
4
27
4
27
3 1
x2
2
2
dx
Rx p
l(r) = 0 0 1 + (2x)2 = 18 (2 ar sh(2x0 ) + sh(2 ar sh(2x0 ))). 2x =: sh t
1+ch(2t)
2
sel, felhasznlva az integrls sorn, hogy ch t =
.
2
helyettests-
FEJEZET 11. NORMLT TEREK INTEGRLSZMTS I.
72
1000
800
600
400
200
0
200
400
600
800
1000
1000
500
0
x
11.2. bra. A/3. feladat. Kk:
500
a = 5,
piros:
A/5, A krvonal els sknegyedbe es darabjt az
y=
meg. Ennek a darabnak az vhossza
l(r) =
1+
arc sin 1
p
1 x2
0 2
dx
arc sin 0 = arc sin 1 =
.
2
A teljes vhossz ennek ngyszerese, azaz
A/6,
1000
a = 10
paramterrel.
1 x2 , x [0, 1]
x2
1+
1 x2
dx
fggvny adja
1
1 x2
dx
2 .
r : 7 (x(), y()) = (r() cos , r() sin ), [0, 0 ].

x0 () = r0 () cos r() sin ,
y 0 () = r0 () sin + r() cos ,
(x0 ())2 = (r0 ())2 cos2 2r0 ()r() sin cos + (r())2 sin2 ,
(y 0 ())2 = (r0 ())2 sin2 + 2r0 ()r() sin cos + (r())2 cos2 .
0
2
0
2
2
0
2
Ebbl (x ()) + (y ()) = (r()) + (r ()) , s gy
Z 0 p
Z 0 p
0
2
0
2
l(r) =
(x ()) + (y ()) d =
(r())2 + (r0 ())2 d .
0
r() = 1, [0, 2] r0 () = 0 .
Z 2 p
Z 2 p
Z
2
0
2
2
2
l(r) =
(r()) + (r ()) d =
1 + 0 d =
A/7, Az egysgkrre
1 d = 2 .
A/8,
r0 () = a ,
Z p
Z
2
2
2
2
l(r) =
a + a d = a
a
ar sh
ch
t dt == a
ar sh
Z
p
2
1 + d = a
73
ar sh

1 + ch(2t)
a
t+
dt =
2
2
1 + sh2 t ch t dt =
sh(2t)
ar sh
2
(Lsd 11.3. bra.)
90
120
100
60
50
150
30
180
210
330
240
300
270
11.3. bra. A/8. feladat
a=5
(kk) s
a = 10
(piros) paramterrel.
a

sh 2 ar sh
.
4
2
fejezet 12
2. minta zrthelyi
1. Hatrozzuk meg a kvetkez hatrrtket!
lim
(x,y)(0,0)
x+y
.
x2 + y 2
(3 p)
2. Hatrozzuk meg az f : R R
2
f (x, y) =
p
x2 + y 2
y
fggvny elsrend parcilis derivltjait!
(3 p)
3. Legyen f : R2 R2 , f (x, y) = (x+y, xy) . A dencit hasznlva hatrozzuk meg f 0 (0, 1)-t!
(8 p)
4. Legyen f : R2 R , f (x, y) = ln(x y) . Adjuk meg az f fggvny (2, 1) pontbeli rintskjnak egyenlett!
(3 p)
5. Tekintsk az f : R3 R , f (x, y, z) = x2 y 2 + z 2 , illetve a g : R R3 , g(t) =
(sin t, 1, cos t) fggvnyeket. Hatrozzuk meg mind a ktflekppen az f g kompozcifggvny derivltjt!
(5 p)
6. Az f : R2 R , f (x, y) = x2 xy + y 2 fggvny ltal meghatrozott fellet (1, 1, 1)
pontjban mely irnyban 0 az irnymenti derivlt?
(4 p)
7. Hatrozzuk meg az f : R2 R , f (x, y) = 3x x3 y 2 fggvny loklis szlsrtkhelyeit!
(7 p)
8. Szmtsuk ki az r(t) = (cos t, sin t, t) trgrbe vhosszt a t [0, 2] intervallumon!
75
(3 p)
rsz II
Matematika 4.
77
fejezet 13
Normlt terek integrlszmts II.
Kulcsszavak:
msodfaj vonalintegrl, primitv fggvny, NewtonLeibniz-formula, csillagszer
halmaz

13.1. Denci.
H Rn
r : [a, b] H szakaszonknt sima t,

0
f :H
a hf (r(t)), r (t)i dt R szmot
R az f fggvny
r tra vonatkoztatott (msodfaj) vonalintegrlj nak nevezzk. Jellse: r f .
Legyen
tartomny,
Rn folytonos fggvny. Ekkor az
Rb
A msodfaj vonalintegrl rtke fggetlen az
t paramterezst?l.
A msodfaj vonalintegrlnak fontos zikai alkalmazsa van: ha

erteret fejez ki, akkor
a-bl b-be.
rf
az ertrben vgzett munkt adja, mg az
Kiszmtsa knnyebb, ha
13.2. Denci.
f -nek
f : Rn Rn
egy
r t mentn eljutunk
ltezik primitv fggvnye.
H Rn tartomny. Az F : H R fggvnyt az f : H Rn
fggvny primitv fggvny nek nevezzk, ha F dierencilhat H -n, s ott F 0 = f .
Legyen
13.1. Ttel. (Newton-Leibnizformula)
Legyen H Rn tartomny. Legyen f : H Rn folytonos fggvny, tegyk fel, hogy

ltezik F : H R primitv fggvnye, s legyen r : [a, b] H szakaszonknt sima t.
Ekkor
Z
f = F (r(b)) F (r(a)).
r
A ttelbl kvetkezik, hogy ha
f -nek
ltezik primitv fggvnye, akkor egy tetszleges
szakaszonknt sima t mentn vett vonalintegrljnak az rtke csak az t kezd- s

vgpontjtl fgg. Tovbb, ha
zrt, szakaszonknt sima t (azaz
f = 0.
A primitv fggny ltezsvel kapcsolatosak a kvetkez ttelek.
79
r(a) = r(b)),
akkor
FEJEZET 13. NORMLT TEREK INTEGRLSZMTS II.
80
13.2. Ttel. Legyen H Rn tartomny. Tegyk fel, hogy f : H Rn folytonosan
dierencilhat H -n, s ltezik F primitv fggvnye is. Ekkor az f 0 (x) Rnn Jacobimtrix szimmetrikus minden x H -ra.
Ha a
tartomny megfelel tulajdonsg, akkor ez megfordtva is igaz.
13.3. Ttel. Ha f : H Rn folytonosan dierencilhat, H Rn egyszeresen ssze-
fgg? tartomny, s az f 0 (x) Rnn Jacobi-mtrix szimmetrikus, akkor f -nek ltezik

primitv fggvnye.
Ha tudjuk, hogy ltezik primitv fggvnye
hogy egy tetszleges
H -beli
f -nek,
akkor ezt meghatrozhatjuk gy,
ton elksztjk a msodfaj vonalintegrljt, ahol az t
vgpontjt tekintjk vltoznak.
13.2. Feladatok
A,
alapfogalmak: msodfaj vonalintegrl kiszmtsa denci szerint, primitv fggvny, Newton-Leibnizformula

1. Legyen
f : R2 R2 , f (x, y) = (y, x) .
a, Tekintsk az
r : R R2
utat,
rtkt denci szerint!

b, Legyen a
y2 = 1 ,
K : R R2
2. Legyen
Szmtsuk ki
zrt grbe a kvetkezkppen megadva
K : x2 +
az ramutat jrsval megegyez irnyban egy krbefutsnyi.
Szmtsuk ki
c, Van-e
r : y = x, x [0, 1].
f -nek
rtkt!
primitv fggvnye? Ha igen, akkor hatrozzuk meg!
f (x, y) = (y, x) . K : x2 + y 2 = 1 ,
az ramutat jrsval ellenttes
irnyban egy krbefutsnyi.

a, Szmtsuk ki
b, Van-e
f -nek
rtkt!
primitv fggvnye?
c, Mi a helyzet, ha az t irnytst megfordtjuk?

d, Meg tudnnk-e adni egy nemtrivilis zrt grbt, amelyen a msodfaj
vonalintegrl
0?
f (x, y) = ( x2y
, x ) . K : x2 + y 2 = 1 , az ramutat
+y 2 x2 +y 2
R
irnyban egy krbefutsnyi. Szmtsuk ki
K f rtkt!
3. (Ellenplda) Legyen
jrsval ellenkez
B,
gyakorl feladatok
1. Legyen
f (x, y) = (x + y, x y) .
Hatrozzuk meg
primitv fggvnyt!
f (x, y) = (x, y) . Legyen r a kvetkez hromszgvonal: (0, 0)-bl indul,

egyenes szakaszokon a (1, 0) s (0, 1) pontokon thalad, majd visszatr az
R
origba.
r f =?
2. Legyen
13.2. FELADATOK
3. Legyen
rtkt.
81
f (x, y) = (x2 + y, y 2 + x) . r : y = x2011 , x [0, 1] .
4. Hatrozzuk meg az albbi

a,
b,
c,
f : R3 R3
Szmtsuk ki
6. Legyen
f (x, y) = (x2 2xy, y 2 2xy) . r : y = x2 , x [1, 1] .
f (x, y) =
(x2
7. (szorgalmi) Legyen
primitv fggvnyt!
y 2 , x2
y2) .
fggvnyek primitv fggvnyt.
f (x, y, z) = (yz, xz, xy) ;

f (x, y, z) = (x2 2yz, y 2 2xz, z 2 2xy) ;
f (x, y, z) = (1 y1 + yz , xz + yx2 , xy
).
z2
5. Legyen
f =?
R
r : y = 1 |1 x| , x [0, 2] . r f = ?
y
x
f (x, y) = ( 3x2 2xy+3y
2 , 3x2 2xy+3y 2 ) .
Hatrozzuk meg
82
A/1/a, Az
r(t) = (t, t), t [0, 1], derivltja r0 (t) = (1, 1)T .

Z 1
Z 1
Z 1
Z

1
t t
2t dt = 1 .
dt =
hf (r(t)), r0 (t)i dt =
f=
1
0
0
0
r
grbe paramterezse:
(13.1.a bra)
A/1/b, A
K(t) = (cos(t), sin(t)) = (cos t, sin t), t [0, 2],

= ( sin t, cos t)T .

Z 2
Z 2

sin t
2
2
sin t cos t
dt =
sin tcos t dt =
cos 2t dt = 0 .
cos t
0
0
grbe paramterezse:
0
derivltja K (t)
f=
(13.1.b bra)
0.8
0.5
0.6
0.4
0
0.5
0.2
0
0.2
0.5
x
F (x, y)
1
r(t)
0
x
f (x, y)
d
0.5
0.5
y
0.5
0.5
1
1
0.5
0
x
0.5
0.5
0
x
0.5
13.1. bra. a) A/1/a feladat, b) A/1/b feladat, c) A/2 feladat, d) A/3 feladat.
A/1/c,
f folytonosan dierencilhat (lteznek a parcilis derivltjai s folytonosak egsz

R2 -en), tovbb y f1 = x f2 = 1 (azaz f 0 szimmetrikus), gy ltezik primitv fggvnye.
F 0 = f , vagyis:
x F = f1 , azaz x F = y F (x, y) = xy + g(y) , illetve
y F = f2 , azaz y F = x F (x, y) = xy + h(x) .
Ebbl kapjuk, hogy F (x, y) = xy + C , ahol C R tetszleges
Tudjuk, hogy
primitv fggvnyre
konstans.
83
f -et
Msik lehetsg a primitv fggvny meghatrozsra, ha kiintegrljuk
(x, y)-ba
egy
(x, y)).
r t kezdpontjnak az origt. Az utunkat kt rszre bontjuk: elszr
haladjunk az x-tengelyen (x, 0)-ig, majd innen prhuzamosan az y -tengellyel egszen
(x, y)-ig. A kt t paramterezse a kvetkez: r1 (t) = (t, 0) , t [0, x] , derivltja
r10 (t) = (1, 0)T . r2 (t) = (x, t) , t [0, y] , derivltja r20 (t) = (0, 1)T .

Z
Z
Z
Z x
Z y
Z y
1
0
0 t
t x
f=
f+ f =
dt+
dt = 0+
x dt = [xt]y0 = xy .
0
1
r
r1
r2
0
0
0
vezet ton (a kezdpont tetszleges, de nem lehet
Vlasszuk az
Az sszes primitv fggvny ettl csak konstansban tr el.
A/2/a, A
0
derivltja pedig K (t)
K(t) = (cos t, sin t) , t [0, 2] ,
t paramterezse a kvetkez (13.1.c bra):
f=
( sin t, cos t)T .

sin t
sin t cos t
cos t
dt
sin tcos t dt =
1-szeresre
A/2/c, Ellenttes irnytottsg ton a vonalintegrl a
y f1 =
f -nek.
Z
1 dt = 2 .
y f1 = 1 6= x f2 = 1.
A/2/b, Nincs, mert
A/3, Mivel
vltozik, gy
2 .
y 2 x2
(x2 +y 2 )2
= x f2 , gy az az rzsnk lehet, hogy van primitv fggvnye

0-t kellene kapjunk. De

Z 2

sin t
sin t cos t
dt =
sin2 t + cos2 t dt = 2 .
cos t
0
Tovbb zrt grbn integrlunk, gy
f=
A magyarzat az, hogy a
utat bele kellene tudjuk foglalni egy egyszeresen ssze-
fgg tartomnyba, amely tartomny minden pontjban meg kellene egyezzenek
keresztben vett parcilis derivltjai. Vegyk szre, hogy az origban a parcilis
derivltak nincsenek rtelmezve (mr
sem volt). gy az origt ki kellene vgnunk
a tartomnybl, viszont ha azt akarjuk, hogy ugyanakkor
K -t
tartalmazza, akkor
mr nem lesz egyszeresen sszefgg. Lsd 13.1.d bra.

B/1, Hasonlan jrunk el, mint a A/1/c, feladatnl:
f=
f+
r1
f=
r2
t t
t dt +
Teht
sszes primitv fggvnye:
1
0
dt
x t dt =
F (x, y) =
0
x2
2
x2
2
tetszleges konstans.
Mskpp:
x F = f1 ,
y F = f2 ,
Innen
x F = x + y
azaz y F = x y
mr addik F .
azaz
x+t xt
+ xy
y2
.
2
+ xy
y2
2
F (x, y) = x2 + xy + g(y) ,
2
F (x, y) = xy y2 + h(x) .
+ C,
illetve
0
1
ahol
dt
C R
84
1.2
1
0.6
0.6
y
0.8
0.8
0.4
0.4
0.2
0.2
0
0
0.5
x
F (x, y)
r(t)
0.5
x
f (x, y)
1.5
d
0.5
0.5
0
0.5
0
1
0.5
0
x
0.5
0.5
1.5
13.2. bra. a) B/2 feladat, b) B/3 feladat, c) B/5 feladat, d) B/6 feladat.
B/2,
r f = 0, mert f -nek ltezik primitv

y f1 = x f2 = 0). Lsd 13.2.a bra.
B/3, Az
fggvnye (f folytonosan dierencilhat s
t nem tl szp, gy remnykednk, hogy van
f -nek
primitv fggvnye, mert
akkor az integrl rtke csak az t kezd- s vgpontjtl fgg (13.2.b brn a sima
piros grbe) s vlaszthatunk egy msik utat.
R2 -en
y f1 = 1 = x f2 , vagyis ltezik primir utat (13.2.b brn a pontozott piros

r(t) := (t, t) , t [0, 1] , derivltja r0 (t) = (1, 1)T .

Z
Z
Z 1

5
1
2
2
t +t t +t
dt = . . . =
f= f=
.
1
3
r
r
0
folytonosan dierencilhat egsz
tv fggvnye. Vlasszunk egy kellemesebb

grbe):
B/4/a,
F (x, y, z) = xyz + C , C R
B/4/b,
F (x, y, z) = 13 (x3 + y 3 + z 3 ) 2xyz + C , C R
B/4/c,
F (x, y, z) =
B/5,
xy
z
x
y
tetszleges.
+x+C, C R
tetszleges.
tetszleges.
r paramterezse: r(t) = (t, t2 ) , t [1, 1] , derivltja r0 (t) = (1, 2t)T .

Z
Z 1
Z 1

14
1
2
3
4
3
t 2t t 2t
f=
dt =
t2 2t3 + 2t5 4t4 dt = .
2t
15
r
1
1
85
Lsd 13.2.c bra.
B/6, Az
grbe kt egyenes szakaszbl ll, az
r1
darab a
(0, 0)
pontbl az
r2 darab az (1, 1) pontbl a (2, 0) pontba fut (13.2.d bra).

r1 paramterezse: r1 (t) = (t, t) , t [0, 1] , r10 (t) = (1, 1) . r2
r2 (t) = (t, 2 t) , t [1, 2] , r20 (t) = (1, 1) .
Z
Z
Z
f=
f+
f=
(1, 1)
pontba,
r1
2t2
B/7,
2
1
1
dt
t2
+ (2
t)2
2 2
4
+ = .
3 3
3
0
1

F (x, y) = 18 arc tg 38x (y 13 x) + C .
2t
dt
8 8t + 2t2 dt =
t2
(2
t)2
paramterezse:
1
1
dt
fejezet 14
Normlt terek integrlszmts III.
14.1. Feladatok
A,
gyakorl feladatok
1. Hatrozzuk meg
2. Legyen
f (x, y) =
f (x, y) = (x, y)
(x2
fggvnyt!
+ 2xy
primitv fggvnyt!
y 2 , x2
2xy y 2 ) .
Hatrozzuk meg
primitv
f (x, y) = (x2 + y, y 2 x) . A T t pedig egy tglalap,

melynek
R
bejrs szerinti sorrendben (1, 2), (3, 2), (3, 4), (1, 4).
T f =?
3. Legyen
a
f (x, y, z) = (y, z, x) . S(t) = (a cos t, a sin t, bt) ,

S f =?
4. Legyen
B,
ahol
cscsai
t 0-tl 2 -ig
n.
komolyabb feladatok
1. Legyen
f : R3 R3
dierencilhat fggvny. Bizonytsuk be, hogy
san akkor szimmetrikus, ha rot f
f0
ponto-
= 0!
g : R R tetszleges dierencilhat fggvny. Mutassuk meg, hogy

f : R2 R2 , f (x, y) = (xg(x2 + y 2 ), yg(x2 + y 2 )) fggvny minden szakaszonknt sima zrt tra vett msodfaj vonalintegrlja 0 !
2. Legyen
az
3. Legyen
f (x, y) = (ex
2 +y 2
x, ex
2 +y 2
zett munkt, ha az origbl az
y) egy zikai ertr. Hatrozzuk meg a vg(1, 1) pontba jutunk el! (Hasznljuk az elz
feladatot.)
R
f : R2 R2 folytonos fggvny. Bizonytsuk be, hogy r f KM ,
p
ahol K az r szakaszonknt sima t hossza s M = maxr
f12 + f22 !

H
y
x
Legyen f (x, y) =
,
. Bevezetve az IR :=
2
2
2
2
2
2
x2 +y 2 =R2 f
(x +xy+y ) (x +xy+y )
jellst, mutassuk meg, hogy limR IR = 0 ! (Hasznljuk az elz feladatot.)
4. Legyen
5.
6. Mutassuk meg, hogy a gravitcis ertr konzervatv!
87
FEJEZET 14. NORMLT TEREK INTEGRLSZMTS III.
88
A/1, (Az 1./A/1/c, illetve 1./B/1 feladat mintjra.)
F : R2 R fggvnyt keresnk, amelyre

2
x F (x, y) = x F (x, y) = x2 + h(y) alak, ahol h(y) egy
1. megolds: Olyan
illetve
csak
y -tl
fgg tag,
y F (x, y) = y F (x, y) = y2 + g(x) alak, ahol g(x) egy csak x-tl fgg tag.
y2
x2
A kettt egybevetve f sszes primitv fggvnye: F (x, y) =
2 + 2 + C, C R
tetszleges konstans.
2. A megolds vonalintegrllal:
r1 (t) = (t, 0), t [0, x], r10 (t) = (1, 0)T , r2 (t) = (x, t), t [0, y], r20 (t) = (0, 1)T .
Z y
Z x
Z
Z
Z
Z x
Z y
1
0
x2 y 2
t 0
x t
f=
f+ f =
+
=
t dt+
t dt =
+ .
0
1
2 2
r
r1
r2
0
0
0
0
Ahonnan
A/2,
F (x, y) =
A/3,
8 .
F (x, y) =
x3
3
x2
2
y2
2
+ x2 y xy 2
+C.
y3
3
+C, C R
tetszleges.
Lsd 14.1.a bra.
A/4,
f=
S
Z 2
0
h(a sin t, bt, a cos t), (a sin t, a cos t, b)T i dt =
a2 sin2 t + abt cos t + ab cos t dt = . . . = a2 .
Az integrls sorn hasznljuk fel, hogy
sin2 t =
1cos 2t
, illetve
2
t cos t-t
pedig in-
tegrljuk parcilisan. Lsd 14.1.b bra.

B/1, Az
f0
ahol
mtrix a kvetkez:
f1 , f2
f3
jelli
x f1 y f1 z f1
f 0 = x f2 y f2 z f2 ,
x f3 y f3 z f3
koordinta-fggvnyeit. Az
f0
mtrix szimmetrikussga azt
jelenti, hogy a ftlra szimmetrikusan elhelyezked elemek egyenlk, azaz
y f1 , x f3 = z f1
Az
x f2 =
y f3 = z f2 .
rotcija:

i

j
k

rot f =
x y z = (y f3 z f2 , z f1 x f3 , x f2 y f1 ) .
f1 f2 f3
rot f nullval val egyenlsge azt jelenti, hogy y f3 = z f2 , z f1 = x f3 s x f2 =

y f1 , ami megegyezik az f 0 szimmetrikussgbl elbb kapott felttelrendszerrel.
B/2, Az
89
folytonos fggvny minden szakaszonknt sima zrt tra vett msodfaj vo-
nalintegrlja
f -nek
felttel azt jelenti, hogy a vonalintegrl fggetlen az ttl, vagyis
ltezik primitv fggvnye. Teht azt kell beltnunk, hogy van primitv fgg-
vnye.
dierencilhat, gy
teljesl, hiszen
y f1 =
xg 0 (x2
f 0 szimmetrikussga
+ y 2 )2y = x f2 .
3.5
ezt mr maga utn vonja. Itt ez
2.5
0
2
2
0.5
1.5
2
x
2.5
0
y
3.5
F (x, y)
r(t)
2 2
f (x, y)
1
1
d
0.5
0.8
0.6
0.4
0.2
0.5
0
0.2
0.5
x
0.5
0
x
0.5
14.1. bra. a) A/3 feladat, b) A/4 feladat, c) B/3 feladat, d) B/5 feladat.
B/3, Mivel
a B/2. feladat szerinti alak (g
= exp), gy ltezik primitv fggvnye (14.1.c
bra). Ezrt a megadott pontokat sszekt akrmilyen t mentn haladhatunk.

Vlasszuk az egyenesszakaszt:
r(t) = (t, t) , t [0, 1] , r0 (t) = (1, 1)T .

Z
Z 1
1
2
2
2t
2t
f=
e t e t
1
r
0
dt
2t2
2t e
1 2t2
=
e
2
1
1
= (e2 1) .
2
0
Rb
K = a kr0 (t)k dt.
r : [a, b] R2 szakaszonknt sima t. Ennek vhossza

Z b
Z Z b
Z b

0
f = hf (r(t)), r0 (t)i dt
|hf (r(t)), r (t)i| dt
kf (r(t))k kr0 (t)k dt .

B/4, Legyen
Itt a norma az euklideszi normt jelenti, s felhasznltuk, hogy egy fggvny integ-
rljnak abszolt rtke kisebb vagy egyenl, mint a fggvny abszolt rtknek
az integrlja, valamint a CBS-egyenltlensget.
A
kf (r(t))k =
(f1 (r(t)))2 + (f2 (r(t)))2
tnyezt az
t menti abszoltrtkben
legnagyobb rtkvel becsljk fellrl. Ez mr egy szm, gy kivihetjk az integrl
FEJEZET 14. NORMLT TEREK INTEGRLSZMTS III.
90
el, gy
Z Z b
Z b
q

0
2
2
f
kf (r(t))k kr (t)k dt max f1 + f2
kr0 (t)k dt = M K .

r
r
|IR | KR MR , ahol KR = 2R , s MR a fggvny eukliR sugar kr mentn. Ekkor az R sugar krt

alkot (x, y) = (R cos , R sin ) pontokban
s
s
y2
x2
R2
kf (x, y)k =
+ 2
=
=
2
2
4
2
4
2
2
(x + xy + y )
(x + xy + y )
(R + R cos sin )4
1
4
1
1
=
2

2 = 3 .
3
2
1
R (1 + cos sin )
R
R3 1 + 2
R3 1 + sin22
B/5, Az elz feladat alapjn
deszi normjnak a maximuma az
Ebbl
|IR | KR MR
4
8
2R = 2 0 ,
3
R
R
ha
R .
Azaz IR -t abszolt rtkben majorltuk egy nullhoz tart sorozattal
0.
Lsd 14.1.d bra.
limR IR =
fejezet 15
Tbbszrs integrlok I.
Kulcsszavak:
ngyszgtartomny, normltartomny, ketts integrl, polrtranszformci

Ebben a fejezetben
f : R2 R tpus fggvnyek integrlsval (ketts integrl) foglalko-
zunk ngyszg- s normltartomnyon. A ketts integrlnak fontos alkalmazsai vannak

a terlet- s trfogatszmtsban.
15.1. Denci. Ngyszgtartomny nak

d} R2
T = {(x, y) : a x b, c y
T ngyszgtartomnyon (azt, hogy ez mit jelent, itt nem rszRb

f (x, y) dx Riemann-integrl,
akkor
letezzk), s minden y [c, d] esetn ltezik az

RR a
R d R b
az f fggvny T tartomnyon vett integrlja
a f (x, y) dx dy .
T f (x, y) dxdy = c
Rd
Amennyiben minden x [a, b] esetn ltezik az
c f (x, y) dy Riemann-integrl is, akkor

ZZ
Z d Z b
Z b Z d
f (x, y) dxdy =
f (x, y) dx dy =
f (x, y) dy dx.
Ha
nevezzk a
halmazt.
integrlhat a
Ekkor, teht az
szerinti integrls sorrendje felcserlhet. Ha pldul
folytonos,
akkor ezek a felttelek teljeslnek.

A ngyszgtartomnynl ltalnosabb halmaz a normltartomny.
15.2. Denci.
g2 (x).
Ekkor a
Legyenek
g1 , g2 C[a, b],
s legyen minden
x [a, b]
T = {(x, y) : a x b, g1 (x) y g2 (x)}
halmazt az
x tengelyre normltartomny nak
nevezzk.
91
esetn
g1 (x)
FEJEZET 15. TBBSZRS INTEGRLOK I.
92
15.1. Lemma. Legyen T az x tengelyre normltartomny. Ha f folytonos T -n, akkor

ZZ
f (x, y) dxdy =
Hasonlan rtelmezhet az
g2 (x)
f (x, y) dy
g1 (x)
dx.
tengelyre normltartomny is:
T = {(x, y) : c y d, h1 (y) x h2 (y)}.

Ekkor, pldul feltve a folytonossgot
ZZ
f (x, y) dxdy =
Megjegyezzk, hogy elg
h2 (y)
f (x, y) dx
h1 (y)
dy.
integrlhatsgt s a bels integrl ltezst feltenni a foly-
tonossg helyett ezekben az esetekben is.

Normltartomny esetn teht az integrls sorrendje meghatrozott. A sorrendet
csak akkor lehet felcserlni, ha
mindkt tengelyre normltartomny, de a csere ekkor
is a hatrok talaktsval jr.

Sok esetben megknnyti az integrls elvgzst, ha integrltranszformcit alkalmazunk. Ez a vals-vals fggvnyek helyettestses integrlsnak az ltalnostsa. Tegyk
y : (u, v) 7 y(u, v), (u, v) T 0 fggvnyek a T 0 R2

tartomnyt klcsnsen egyrtelmen lekpezik a T tartomnyra, s folytonosan dierencilhatk. Ekkor, ha f T tartomnyon vett integrlja ltezik, akkor

ZZ
Z Z
(x, y)

dudv,
f (x, y) dxdy =
f (x(u, v), y(u, v))
(u, v)
0
fel, hogy az
x : (u, v) 7 x(u, v)

x

(x, y) u
=
(u, v) y

u
ahol
a transzformci (Jacobi-) determinnsa.

Specilisan polrtranszformci esetn
x = r cos ,
teht

(x, y) cos r sin
=
(r, ) sin r cos
problma knnyen kikszblhet?.)
15.2. Feladatok
A,
y = r sin ,

= r,

r. (Vegyk szre, hogy ez a lekpezs gy mg nem klcsnsen

r = 0, =tetsz?leges vlaszts is az origt adja, ugyanakkor ez a
aminek az abszlt rtke

egyrtelm?, mert az

y

v
x
v
ketts integrl tglalap tartomnyon
15.2. FELADATOK
93
f (x, y) = x2 + 4y
1. Hatrozzuk meg az
fggvny (15.1.a bra) integrljt az
egysgngyzeten! (Mindkt sorrendben.)

2. Hatrozzuk meg
rtkt gy, hogy az
f (x, y) = c(x2 + 3y 2 )
fggvny egysg-
1 legyen!
RR 3x+4y
I := [0, ln 2] [0, ln 3] . I e
dxdy = ? (15.1.b bra)
RR xy
I := [0, ) [0, ) . I e
dxdy = ? (15.1.c bra)
ngyzetre vett integrlja
3.
4.
0
1
0.5
y
1000
500
0.5
0
1
0
2
1
0.5
x
0 0
0.5
0.5
y
0 0
1
y
0 0
1
x
15.1. bra. a) A/1 feladat, b) A/3 feladat, c) A/4 feladat.
B,
ketts integrl normltartomnyon

RR
2
2
1. H := (x, y) : 0 x 1, x y x .
H xy dxdy = ? (ktflekppen)
5
2
2. Hatrozzuk meg a xy = a s x + y =
2 a grbk ltal kzrefogott skidom
terlett!
3. Hatrozzuk meg az egysgsugar krlap terlett! (polrtranszformci nlkl)

C,
integrltranszformci polrtranszformci
1. Hatrozzuk meg az egysgsugar krlap terlett!
2.
3.
D,

RR
T := (x, y) : x2 + y 2 1, 0 x, 0 y . T x22xy
dxdy = ?
+y 2

RR
2
2
2
2
T := (x, y) : 1 x + y 4 . T ln(x + y ) dxdy = ?
integrlsi sorrend felcserlse, egyb
1. Cserljk fel az integrls sorrendjt az albbi integrlokban!

a,
b,
c,
R 2 R 2x
0
R 1 R x2
3
R01 Rx1
0
f (x, y) dy dx ;
f (x, y) dy dx ;
f (x, y) dxdy .
RR
2. Mutassuk meg, hogy
x2 +y 2 a2
xm y n dxdy = 0 , ha m, n pozitv egszek kzl
valamelyik pratlan!
3.
RR
x2 +y 2 4 sgn (x
+ y 2 2) dxdy = ?
94
A/1,
I = [0, 1] [0, 1] . Az integrls sorrendje tetszleges. Mindkt sorrendben kiszmtjuk.
ZZ
f dxdy =
I
1Z 1
x +4y dx dy =
A msik sorrendben:
ZZ
A/2,
f dxdy =
I
Teht
c=
x +4y dy dx =
1 3
x
1
1
dy
x=0
1
2y 2 y=0 dx
1

1
7
1
2
+4y dy =
y + 2y
= .
3
3
3
0

x3
x +2 dx =
+ 2x
3
2
1
0
1
2
x +3y
dx dy
=c
1 3
x
+ 3y x
f (x, y) = g(x)h(y) alak, gy

Z
ZZ
Z ln 3 Z ln 2
3x+4y
f dxdy =
e
dx dy =
1
dy
=c
3x
dx
Z
x=0
ln 2
ln 3
4y
dy
= ... =
140
.
3
Z a Z a

Z Z
f d xd y =
exy dx dy = lim
exy dx dy =
a
0
0
0
I
Z a
0Z a

a
a
lim
ex dx
ey dy
= lim ex 0 ey 0 = lim (1 ea )2 = 1 .
0
B/1, A tartomny
ZZ
f dxdy =
f dxdy =
H
B/2, A tartomny
szerint is normltartomny (15.2.a bra).
xy
dy
x2
szerint normltartomnynak tekintve:
1 Z x
2. A tartomnyt
ZZ
1. A tartomnyt
7
.
3
1
4
+3y 2 dy = . . . = c .
3
3
ZZ
integrls sorrendje tetszleges.
+ 4xy
x y+
3
4.
A/4,
A/3,
1Z 1
I = [0, 1] [0, 1] . Az
Z 1Z
ZZ
f dxdy = c
dx
1
y3
x
3
x
dx
x4 x7
3
3
y=x2
dx
= ... =
1
.
40
szerint normltartomnynak tekintve:
xy
dx
dy
1 2
x
y
dy
x=y
szerint normltartomny (15.2.b bra). Ennek
y3 y4
2 2
dy
= ... =
szerinti hatrai az
xy = a2 s x+y = 52 a grbk metszspontjainak x-koordinti, vagyis az xy = a2 s

x + y = 52 a egyenletekbl ll rendszer megoldsai x-re: x1 = a2 , x2 = 2a. Az a > 0
esetet trgyaljuk. (A msik eset hasonlan vgezhet el.) A tartomny terlete az
azonosan 1 fggvny integrlja a
H = {(x, y) :
a
2
x 2a , ax y x + 25 a}
1
.
40
15.2. bra. a) B/1 feladat, b) B/2 feladat
tartomnyra. Teht
T =
2a
a
2
x+ 52 a
a2
x
1 dy
a2
5
dx =
x + a
a
2
x
2

15
a2
ln 4 .
8
B/3, Egy negyedkrlap terlett hatrozzuk meg.
N -nel
sknegyedbe es darabjt.
T /4 =
ZZ
1 dxdy =
N
a=2
2a
1x2
1 dy
95
paramterrel.
x2 5
dx =
+ ax a2 ln x
2
2
jelljk az egysgkrlap pozitv
dx
x = cos t helyettestssel integrlva

Z
Z p
Z
2
2
2
2
T /4 =
1 cos t sin t dt =
sin t dt =
Az
T =
ZZ
1 d xd y =
K
C/1, Lsd 15.3.a bra. Polrtranszformcit alkalmazva:
1 Z 2
0
r d dr =
1p
1 x2 dx.
1 cos 2t
dt = . . . =
.
2
4
2r dr = .
C/2, Lsd 15.3.b bra. Polrtranszformcit alkalmazva az integrland kifejezs egyszersdik:
2xy
x2 +y 2
2r2 cos sin

r2 (sin2 +cos2 )
= sin 2 , teht
ZZ
Z 1Z
2
1
f dxdy =
sin 2 r d dr = . . . = .
2
T
0
0
2a
a
2
96
15.3. bra. a) C/1 feladat, b) C/2 feladat, c) C/3 feladat, d) D/3 feladat.
C/3, Lsd 15.3.c bra.
ZZ
ln(x2 + y 2 ) dxdy =
T
amit parcilisan integrlva (u
2 Z 2
0
ln r2 r d dr = 2
2r ln r dr ,
= 2r, v = ln r szereposztssal):

2

Z 2
r2
3
2
2
21
2
= 2[r ln r]1 2
r
dr = 2 r ln r
= 2 4 ln 2
.
r
2 1
2
1
D/1/a,
D/1/b,
2 Z 2x
f (x, y) dy dx =
D/1/c,
1 Z x2
2Z y
y
2
f (x, y) dx dy +
f (x, y) dy dx =
x3
1Z 1
1Z
1 Z x2
f (x, y) dx dy =
4Z 2
y
2
f (x, y) dx dy .
f (x, y) dx dy .
y
f (x, y) dy dx .
D/3, 0 . Lsd 15.3.d bra.
97
fejezet 16
Tbbszrs integrlok II.
Kulcsszavak:
tglatartomny, normltartomny, hrmas integrl, hengerkoordintk, gmbi
koordintk

Az
f : R3 R
tpus fggvnyek integrlja (hrmas integrl) a ketts integrlhoz ha-
sonlan denilhat.
RRR
V f jelli.
Az
f : R3 R
16.1. Denci. Tglatartomny nak

b2 , a3 z b3 }
Ha
akkor
tartomnyon vett hrmas integrljt
nevezzk a
V = {(x, y, z) : a1 x b1 , a2 y
fggvny
R3 halmazt.
integrlhat a
tartomnyon vett integrlja
V
ZZZ
fggvny
tglatartomnyon, s
f (x, y, z) dxdy dz =
V
jelli
Z Z Z
N
merleges vetlett az
b3
f (x, y, z) dz
a3
amennyiben a bels integrl ltezik minden rgztett
(x, y) N
xy -skra,
dxdy,
esetn.
Hasonl felttelek esetn, mint a ketts integrlnl, az integrls sorrendje tglatartomny esetn is felcserlhet.
16.2. Denci.
T az xy sk normltartomnya, s g1 , g2 : T R olyan folytonos

g1 (x, y) g2 (x, y) (x, y) T . Ekkor a
Legyen
fggvnyek, amelyekre
V = {(x, y, z) : (x, y) T, g1 (x, y) z g2 (x, y)}
halmazt az
Legyen
xy skra normltartomny nak
nevezzk.
folytonos, ekkor
ZZZ
V
ZZ
T
99
g2 (x,y)
g1 (x,y)
f (x, y, z) dz
dxdy.
FEJEZET 16. TBBSZRS INTEGRLOK II.
100
xz
Hasonlan rtelmezhet az
ill.
yz
skra normltartomny is.
Alkalmas transzformcival a hrmas integrl kiszmtsa is gyakran egyszerbb
x : (u, v, w) 7 x(u, v, w), y : (u, v, w) 7 y(u, v, w) s z :

(u, v, w) 7 z(u, v, w), (u, v, w) V 0 fggvnyek a V 0 R3 tartomnyt klcsnsen
egyrtelmen lekpezik a V tartomnyra, s folytonosan dierencilhatk. Ekkor ha f
integrlhat a V tartomnyon, akkor

ZZZ
ZZZ
(x, y, z)

dudv dw,
f (x(u, v, w), y(u, v, w), z(u, v, w))

(u,
v,
w)
0
V
V
vlik. Tegyk fel, hogy az
ahol

(x, y, z)
=
(u, v, w)

x
u
x
v
y
u
y
v
z
u
z
v
a transzformci Jacobi-determinnsa.

y
w

z

w
x
w
Specilisan hengerkoordintkra val ttrs esetn
x = r cos ,
ekkor a Jacobi-determinns
r-rel
y = r sin ,
z = z,
egyenl, aminek az abszolt rtke is
r.
Gmbi koordintkra ttrve
x = r sin cos ,
s a Jacobi-determinns
r2 sin ,
y = r sin sin ,
z = r cos ,
aminek az abszolt rtke
r2 sin ||.
(Megjegyezzk, hogy ezek sem klcsnsen egyrtelm? lekpezsek, de ez a problma

is knnyen kikszblhet?.)
16.2. Feladatok
A,
hrmas integrl
1. Hatrozzuk meg az
2.
f (x, y, z) = x2 + 4yz
fggvny integrljt az egysgkockn!
T :=RRR
{(x, y, z) : 0 x 1, 0 y 1 x, 0 z 1 x y} (ld. 16.1.a b2xy dxdy dz = ?
o
nT
T := (x, y, z) : 0 x 1, 0 y 1 x2 , 0 z 1 x2 y 2 (ld. 16.1.b

RRR
bra).
T 2y dxdy dz = ?
ra).
3.
4. Hatrozzuk meg a
B,
z = 1 x2 y 2
fellet
xy -sk
feletti rsznek trfogatt!
hrmas integrl transzformcija henger s gmbi koordintkra val ttrs

RRR
z
1. T :=
(x, y, z) : x2 + y 2 1, 0 z 1 .
T 1+x2 +y 2 dxdy dz = ? (hengerkoordintk alkalmazsval)
16.2. FELADATOK
2. Szmtsuk ki az
101
sugar,
magassg henger trfogatt!
3. Szmtsuk ki (gmbi koordintk alkalmazsval) az

fggvny integrljt az egysggmb
4. Szmtsuk ki az
5. Hatrozzuk meg az
1.
f (x, y, z) =
xyz
x2 +y 2 +z 2
trnyolcadba es rszn!
sugar gmb trfogatt!
x2 + y 2 = R2 , x + y + z = a, x = 0, y = 0 s z = 0 felletek
ltal kzrefogott test (16.2.b bra) trfogatt!
102
A/1, Az integrls sorrendje tetszleges.
1Z 1Z 1
0
1
x + 4yz dx dy dz =
1
y + 2y 2 z
3
1
dz
1Z 1 3
x
1
+ 4yzx
dy dz
x=0
4
1
+ 2z dz = . . . = .
3
3
y=0
1Z 1
0
1
+ 4yz dy dz =
3
A/2, Az integrlsi tartomny a 16.1.a brn lthat.
1 Z 1x Z 1xy
1
2xy dz dy dx =
2xy 3
xy x y
3
2
2 2
1x
dx
1 Z 1x
1
1
1
1
x x2 + x3 x4 dx = . . . =
.
3
3
60
y=0
2xy(1 x y) dy dx =
A/3, Az integrlsi tartomny a 16.1.b brn lthat.
1Z
1
1
1x2
1x2 y 2
2y dz dy dx =
y4
1x2
1Z
1x2
2y(1 x2 y 2 ) dy dx =
1
1 x2 (1 x2 )x2 (1 x2 )2 dx =
2 y=0
2
0

1

1
1
2x3 x5
4
1 2x2 + x4 dx =
x
+
= ... =
.
2
2
3
5 x=0
15
y 2 y 2 x2
dx
a
1
1
0.5
0.5
0
0
0.5
0.5
x
1 0
0
0
0.5
x
1
1 0
0.5
y
16.1. bra. Az integrlsi tartomnyok: a) A/2 feladat, b) A/3 feladat.
103
A/4, A fellet a 16.2.a brn lthat.
majd
1x2
1x2
1x2 y 2
1 dz dy dx =
y3
y x2 y
x-et sin t-vel

4
3
dx
y= 1x2
4
3
1 x2 y 2 d y d x =
3
p
1 x2
helyettestve s felhasznlva a
1x2
1x2
1x2
cos2 t =
dx ,
cos 2t+1
azonossgot:
2
Z
p
4 2
3
2
( 1 x ) dx =
cos4 t dt = . . . = .
3
2
1
1
a
1
0.5
0
0
0
1
0.5
1 1
z = 1 x2 y 2
a = 1 esetn.
16.2. bra. a) A/4 feladat: a

az integrlsi tartomny
B/1, Hengerkoordintkra ttrve:
ZZZ
0.5
z
1 + x2 + y 2
T
1 Z 2
dxdy dz
1 Z 2
0
[z ln(1 + r2 )]1r=0 d dz = . . . =
fellet
1
0.5
y
1 0
xy -sk
feletti rsze, b) B/5 feladat:
z
1
r dr d dz =
2
1+r
2
ln 2 .
2
1 Z 2
0
2r
z dr d dz =
1 + r2
B/2, Hengerkoordintkra ttrve:
V =
R Z 2
0
1r dz d dr =
R Z 2
0
mr d dr =
2mr dr = 2m
r2
2
R
0
= mR2 .
104
B/3, Gmbi koordintkra ttrve:
r3 sin2 sin cos cos 2

r sin dr d d =
r2
0
0
0
! Z
! 1
Z 1
Z

2
2
2
r4
sin4 2
1
1
3
3
r dr
sin cos d
sin cos d =
cos 2 =
.
4
4
4
32
0
0
0
0
0
0
B/4, Gmbi koordintkra ttrve:
R
2
1r sin dr d d =
r3
2 sin
3
R
0
2
= R3
3
4
sin d = . . . = R3 .
3
fejezet 17
Komplex fggvnytan I.
Kulcsszavak:
folytonossg, dierencilhatsg

f : C C fggvnyek analzisvel foglalkozik. Ezek a fggv2
nyek megadhatk az f (x + iy) = u(x, y) + i v(x, y) alakban, ahol u, v : R R az n.
2
2
vals- s kpzetesrszfggvnyek. Ebbl addik, hogy az f : C C s az f : R R
A komplex fggvnytan az
fggvnyek kztt bijekci ltesthet.
Ez alapjn a komplex fggvnyek hatrrtknek s folytonossgnak a fogalma nem

ignyel kln trgyalst. gy pldul a folytonossg a kvetkezt jelenti:
17.1. Denci.
Az
f : C C fggvny folytonos a z0 D(f ) pontban, ha minden > 0

> 0, hogy minden z D(f ), |z z0 | < esetn |f (z)f (z0 )| < .
szmhoz ltezik olyan
p
|z| = x2 + y 2 R szmot rtjk, ami
2
nem ms, mint a z komplex szmnak megfelel R -beli vektor euklideszi normja. Egy
f : C C fggvny teht pontosan akkor folytonos, amikor a megfelel f : R2 R2
fggvny is az, vagyis amikor az u s v vals- s kpzetesrszfggvnyek folytonosak.
A
z = x + iy
komplex szm abszolt rtkn a
Egy komplex fggvny dierencilhatsga azonban nem azt jelenti, hogy a megfelel
R2 R2
fggvny dierencilhat. A komplex szmok krben rtelmes az osz-
ts, gy a dierenciahnyados-fggvny is. gy a vals-vals fggvnyek derivltjnak a

dierenciahnyados-fggvny hatrrtkn alapul dencija (amely nem terjeszthet
ki tetszleges normlt trbl normlt trbe kpez fggvnyre) a komplex fggvnyek
krben rtelmes.
17.2. Denci.
ltezik a
Az
f :CC
fggvny
dierencilhat
f 0 (z0 ) := lim
zz0
f (z) f (z0 )
z z0
(C-beli) hatrrtk. Ha ltezik, akkor ezt a szmot az
nevezzk.
105
z0 intD(f )
pontban, ha
f fggvny z0 pontbeli derivltjnak
FEJEZET 17. KOMPLEX FGGVNYTAN I.
106
Ennek rtelmben teht a derivlt egy komplex szm, s nem egy
2 2-es
mtrix.
17.2. Feladatok
A,
komplex szmok
1. Hozzuk egyszerbb alakra a kvetkez kifejezseket!

a,
(1 + i)(1 i) ;
b,
(1 + i)2 ;
c,
1
;
i3
d,
1+i
12i .
2. rjuk t a kvetkez komplex szmokat a msik kt alakba! (algebrai/ trigonometrikus/ exponencilis)

a,
g,
1 i ; b, 3 + i ;
sin i cos .
2i ;
c,
1;
d,
e,
cos 3 + i sin 3
f,
f,
3. Hozzuk egyszerbb alakra a kvetkez kifejezseket!

a,
(1 i)2011 ;
b,
4. Adjunk formult
(1+i)9
;
(1i)7
sin 3
c,
1 ;
d,
i;
e,
cos 3-ra sin , cos
1;
2
cos 2
3 + i sin 3
1 i.
segtsgvel!
5. Oldjuk meg az albbi egyenleteket a komplex szmok krben!
z 2 + 1 = 0 ; b, z 2 2z + 2 = 0 ;
z 3 21z + 20 = 0 .
a,
c,
z 2 = i |z| ;
d,
z 2 2iz 1 = 0 ;
e,
6. Igazoljuk a kvetkez azonossgokat!
z = z;
z1z2 .
a,
b,
|z| = |z| ;
c,
zz = zz = |z|2 ;
d,
|z1 z2 | = |z1 | |z2 | ;
e,
z1 z2 =
7. Mutassuk meg, hogy a komplex szmtest nem rendezhet (mvelettartan)!

B,
folytonossg, dierencilhatsg
1. Mutassuk meg, hogy az
f (z) = z 2
fggvny folytonos!
f 0 (z)-t,
2. A dencit hasznlva szmtsuk ki

a,
f (z) =
z3 ;
b,
f (z) =
ha
1+z
1z .
3. Mutassuk meg, hogy az albbi fggvnyek nem dierencilhatak!

a,
f (z) = Re(z) ;
b,
f (z) = z ;
f (z) = |z| .
c,
4. Mutassuk meg, hogy az albbi fggvny folytonos, illetve llaptsuk meg, hogy
ltezik-e
f 0 (0) !
f (z) =
z2
z
, ha
, ha
z=
6 0,
z = 0.
107
A/1/a,
(1 + i)(1 i) = 1 i2 = 1 (1) = 2.
A/1/b,
(1 + i)2 = 1 + 2i + i2 = 2i.
A/1/c,
1
i3
A/1/d,
1+i
12i
1
(i2 )i
= 1i =
(1+i)(1+2i)
(12i)(1+2i)
i2
i
= i.
1+3i+2i2
14i2
1+3i
5
= 51 + i 35 .
a
90
120
150
12 +
60
2i
3
2 i
1
2
120
3
2 i
180
30
2.5
150
2 2i
210
300
270
1005
i21005
17.1. bra. a) A/2/a-f feladat, b) A/3/a (2
A/2/b,
330
240
300
270
A/2/a,
30
180
1 i 330
240
60
3+i
210
b
90 5
helyett
2 i2)
s b feladat.
r = 12 + (1)2 = 2, tg = 1 = 4
1 i trigonometrikus alakja: 2(cos( 4 ) + i sin( 4 )), exponencilis alakja:

i
2e 4 . Lsd 17.1.a bra.
r = 3 + 1 = 2, sin = 12 = 6 3 + i = 2(cos 6 + i sin 6 ) = 2ei 6 . Lsd
17.1.a bra.
A/2/c,
2i = 2(cos 2 + i sin 2 ) = 2ei 2 .
A/2/d,
1 = 1(cos 0 + i sin 0) = e0 .
3
2
= ei 3 =
Lsd 17.1.a bra.
Lsd 17.1.a bra.
3
2 . Lsd 17.1.a bra.
21 + i 23 . Lsd 17.1.a bra.
A/2/e,
cos 3 + i sin
A/2/f,
i
2
cos 2
3 + i sin 3 = e
A/2/g,
sin i cos = cos( 2 ) + i sin( 2 ) .
A/3/a,
21005 i21005 .
(1+i)9
A/3/b,
(1i)7
bra.
2
3
1
2
+i
Lsd 17.1.b bra.
(1+i)16
[(1i)(1+i)]7
[ 2(cos
+i sin 4 )]16
4
27
( 2)16
(cos 4+i sin 4)
27
= 2. Lsd 17.1.b
108
a
90 1
120
i
0.5
150
180
60
120
30
b
90 1
60
i
0.5
150
30
1
2
210
330
240
120
21 +
3
2 i
210
12
1 i
2
240
60
0.5
150
120
300
270
d
90 2
1
0
210
330
240
12
3
2 i
270
300
330
60
0.49 + 0.95i
150
0.76 + 0.76i
30
180
1 i
2
180
300
270
c
90 1
30
1.06 0.17i 0
180
0.95 0.49i
210
330
0.17 1.06i 1 i
240
300
270
17.2. bra. a) A/3/c feladat, b) A/3/d feladat, c) A/3/e feladat, d) A/3/f feladat. Piros
szn jelli a komplex szmot, amelybl gykt kell vonni, kk szn a gykket.
A/3/c,
A/3/d,
A/3/e,
i.
Lsd 17.2.a bra.

p
+2k
+2k
cos 2 + i sin 2 = cos 2 2
+ i sin 2 2
, k = 0, 1 ( i)1 = 22 +
i 22 , ( i)2 = 22 i 22 . Lsd 17.2.b bra.

3
+ i sin 2k
, k = 0, 1, 2 (ezek az egysgnyi
1 = cos 0 + i sin 0 = cos 2k
3
3
i=
abszolt rtk, 0,
A/3/f,
1i=
2
4
3 s 3 irnyszg komplex szmok). Lsd 17.2.c bra.

p
+k2
+k2
5
cos( 4 ) + i sin( 4 ) = 10 2 cos 4 5
+ i sin 4 5
, k = 0, 1, 2, 3, 4.
Lsd 17.2.d bra.
cos + i sin komplex szm kbt ktflekppen:

3
1. (cos + i sin ) = cos 3 + i sin 3;
3
3
2
2
3
3
2. (cos + i sin ) = cos + 3 cos i sin + 3 cos (i sin ) + (i sin ) = cos
A/4 rjuk fel a
109
3 cos sin2 + i(3 cos2 sin sin3 ).
A kt egyenlsg jobb oldaln ugyanaz a komplex szm ll, teht kln-kln a

vals s a kpzetes rszk is megegyezik. Ebbl
sin 3 =
3 cos2 sin
A/5/a,
z1,2 = i.
A/5/b,
z1,2 =
2 4
2
sin .
cos 3 = cos3 3 cos sin2
= 1 i
z komplex
p szmot x + iy alakban, ahol x, y R. Ezzel az egyenlet
(x2 y 2 ) + i2xy = i x2 + y 2 . Az egyenlsg kt oldaln ll komplex szm vals
2
2 = 0 s 2xy =
s kpzetes rsze is meg kell, hogy egyezzen. Ebbl az x y
p
x2 + y 2 egyenleteket kapjuk. Az els egyenlet megoldsa x = y . A msodikba
A/5/c, rjuk fel a
behelyettestve:
I)
x=y
2x2 = 2|x|
x = 0 megolds (ekkor y = 0).
esetn a
2x2 =
egyenletet kapjuk. Ngyzetre emelve
4x4 =
2
2x2 . Az
Ha x 6= 0, akkor oszthatunk x -tel, s gy a
1
1
2
2x = 1 egyenlethez jutunk, amelynek megoldsa x = 2 (y = 2 ).
2
II) x = y esetn a 2x =
2x2 egyenletet kapjuk. Ennek megoldsa x = 0
(y
= 0).
sszegezve, az egyenletnek hrom megoldsa van:
z1 = 0, z2 =
1
2
+ i 12 , z3 =
12 i 12 .
A/5/d,
z 2 2iz 1 = (z i)2 z = i.
A/5/e, A Cardano-kplet a kvetkezkppen adja meg a gykket a

esetn:
s
3
q
+
2
r
q 2
s
3
q

2
r
q 2
p 3
.
2
3
2
3
q
q
p
p
3
Ezt alkalmazva teht z =
10 + 102 + (7)3 + 3 10 102 + (7)3 =
p
p
3
10 + 243 + 3 10 243 rtkt
kell meghatroznunk.
p
3
A tovbbiakban hasznljuk fel, hogy
10 243 = (2 3)3 . Majd a kbgykvonst hromflekppen elvgezve kapjuk, hogy z = 1, 4, 5 a gykk.
z=
p 3
z 3 +pz +q = 0 egyenlet
z = x + iy.
z = x + iy = x iy = x + iy = z.
p
p
|z| = x iy = x2 + (y)2 = x2 + y 2 = |z|.
A/6/a, Legyen
A/6/b,
A/6/c,
A/6/d,
(x + iy)(x iy) = (x iy)(x + iy) = x2 + iyx ixy i2 y 2 = x2 + y 2 = |z|2
z1 = x1 + iy1 , z2 = x2 + iy2
p
2
2
|z
p1 z2 | = |(x1 +iy1 )(x2 +iy2 )| = |x1 x2 y1 y2 +i(x2 y1 +x1 y2 )| = (x1 x2 y1 y2 ) + (x2 y1 + x1 y2 ) =
2 2
2 2 + x2 y 2
x21 x22 + yp
1 y2 + x 2 y
1
1 2
p
p
2
|z1 ||z2 | = x1 + x22 y12 + y22 = x21 x22 + y12 y22 + x22 y12 + x21 y22
110
A/6/e,
z1 z2 = (x1 + iy1 )(x2 + iy2 ) = x1 x2 y1 y2 + i(x2 y1 + x1 y2 ) = x1 x2 y1 y2 i(x2 y1 +

x1 y2 )
z1 z2 = (x1 iy1 )(x2 iy2 ) = x1 x2 y1 y2 i(x2 y1 + x1 y2 )
A/7 A vals szmok rendezsnek ismert tulajdonsga, hogy ha
ab 0.
a0
b 0,
akkor
Megmutatjuk, hogy a vals szmokon hasznlatos rendezst nem tudjuk a
komplex szmtestre gy kiterjeszteni, hogy ezzel a tulajdonsggal rendelkezzen.
a = b = i mellett ab = i2 = 1 0, ami
ellentmonds. Msodszor tegyk fel, hogy i 0, azaz i 0. Ekkor a = i s
b = i szereposztssal ab = (i)2 = 1 0 szintn ellentmonds. Azaz i s a 0
Tegyk fel elszr, hogy
i 0.
Ekkor
kz nem tudunk semmilyen relcis jelet rni, gy a komplex szmokat nem tudjuk
mvelettartan rendezni.
fejezet 18
1. minta zrthelyi
2
1. Legyen f (x, y) = (x2 y, xy
R ), az r t pedig a (0, 0) pontbl az (1, 2) pontba halad egyenes
mentn. Szmtsa ki az f vonalintegrlt!
(3 p)
r
2. Legyen f (x, y) = (xy , x2 y), az r t pedig a (0, 0)Rpontbl a (, 0) pontba halad az y = sin x
grbn. Szmtsa ki a kvetkez vonalintegrlt! f .
(4 p)
2
3. Cserlje fel az integrls sorrendjt az albbi ketts integrlban!
ln x
(3 p)
f (x, y) dy dx .
4. Szmtsa ki a kvetkez ketts integrlt!

ZZ
(5 p)
cos(
2 x2 +y 2 4 2
p
x2 + y 2 ) dxdy .
5. Szmtsa ki annak a testnek (tetradernek) a trfogatt, melyet az x = 0, z = 0, x = y ,

z = 1 y skok hatrolnak!
(4 p)
6. Hozza egyszerbb alakra a kvetkez kifejezseket!
(a)
(2 i)3
;
(1 + 2i)3
(b)
(2+2 p)
1.
7. Legyen f (z) = |z| + 2iRez Imz .
(3+1 p)
(a) A komplex szmsk mely pontjaiban teljeslnek f (z)-re a Cauchy-Riemann-fle differencilegyenletek?

(b) A komplex szmsk mely pontjaiban dierencilhat az f (z) fggvny?
111
fejezet 19
Komplex fggvnytan II.
Kulcsszavak:
CauchyRiemann-fle dierencilegyenletek, Laplace-egyenlet, regulris fggvny,
hatvnysor, konvergenciasugr, Taylor-fle kplet

f : C C fggvny dierencilhatsgra szksges s
CauchyRiemann-fle dierencilegyenletek segtsgvel.
Egy
a
elgsges felttelt adhatunk
19.1. Ttel. Legyen f : C C, f (x + iy) = u(x, y) + iv(x, y).

1. Ha f dierencilhat a z0 = x0 + iy0 intD(f ) pontban, akkor ebben a pontban
teljeslnek az gynevezett CauchyRiemann-fle dierencilegyenletek:
u
v
u
v
(x0 , y0 ) =
(x0 , y0 ), s
(x0 , y0 ) = (x0 , y0 ).
(19.1)
x
y
y
x
2. Megfordtva, ha teljesl (19.1), tovbb, ezek a parcilis derivltak lteznek s folytonosak z0 egy krnyezetben, akkor f dierencilhat z0 -ban (st z0 egy krnyezetben
is).
Ez azt jelenti, hogy egy komplex fggvny dierencilhat egy
lel
R2 R2
fggvny
(x0 , y0 )-pontbeli
z0
pontban, ha a megfe-
derivltmtrixnak ftljban megegyeznek az
elemek s a msik kt elem egyms mnusz egyszerese, tovbb a derivltmtrix elemei

folytonosak az
(x0 , y0 )-pontban.
A dierencilhat komplex fggvnyek szp tulajdonsgokkal rendelkeznek.
19.2. Ttel. Ha f : C C fggvny dierencilhat a T tartomnyon, akkor ott tetszlegesen sokszor dierencilhat.
Teht, ha egy komplex fggvny dierencilhat egy tartomnyon, akkor ott
113
regulris.
FEJEZET 19. KOMPLEX FGGVNYTAN II.
114
19.3. Ttel. Ha f : C C regulris a T tartomnyon, akkor ott a vals- s kpzetesrszfggvnyei harmonikusak, azaz kielgtik a Laplace-egyenletet:
2u 2u
+ 2 = 0,
x2
y
Ha
elll
f :CC
regulris a
tartomnyon, akkor hatvnysorba is fejthet, vagyis
f (z) =
n=0
alakban, ahol
a T.
2v
2v
+
= 0.
x2 y 2
cn (z a)n
Ennek a hatvnysornak a
=
0,
Amennyiben a nevez
1
lim sup
konvergenciasugar a
p
.
n
|cn |
akkor a konvergenciasugr
egsz komplex szmsk. Ha a nevez
f (z)
teht a konvergenciahalmaz az
akkor a konvergenciasugr
0,
teht a konvergen-
ciahalmaz egyetlen pontbl ll. A hatvnysor a konvergenciatartomnyn bell abszolt

konvergens, azon kvl divergens.
A hatvnysor a konvergenciatartomnyn bell tagonknt dierencilhat. A derivlt
hatvnysornak szintn
a konvergenciasugara. A hatvnysor egytthatit a
cn =
Taylor-fle kplet
f (n) (a)
k!
adja.
19.2. Feladatok
A,
CauchyRiemann-fle dierencilegyenletek, Laplace-fle dierencilegyenlet

1. Dierencilhat-e az
f (x + iy) = x3 i(1 y)3
fggvny?
2. Dntsk el, hogy a komplex szmsk mely pontjaiban teljeslnek a Cauchy

Riemann-fle dierencilegyenletek az albbi fggvnyek esetn!
a,
f (z) = z2 ;
b,
f (z) = z |z| ;
c,
f (z) =
1
z ;
d,
f (x + iy) =
Dierencilhatak-e ezen pontokban az adott fggvnyek?
p
|xy| .
3. Mutassuk meg, hogy a kvetkez fggvnyek harmonikusak, vagyis kielgtik

a Laplace-fle dierencilegyenletet!
a,
f (x, y) = x2 y 2 ;
4. Legyen
DC
f (x, y) = ex cos y ;
c,
f (x, y) = ln(x2 + y 2 ) .
egyszeresen sszefgg tartomny,
s Ref (z) lland

B,
b,
D-n.
Mutassuk meg, hogy
f (z)
f :DC
is lland
dierencilhat,
D-n!
hatvnysorok
1. Hatrozzuk meg a kvetkez hatvnysorok konvergenciasugart!
a,
n
n=0 z ;
b,
n
n=1 nz ;
c,
zn
n=1 n ;
d,
n=1 n
nzn ;
e,
zn
n=1 nn ;
19.2. FELADATOK
115
2. Hatrozzuk meg az
exp z , sin z , cos z
hatvnysorainak konvergenciasugart!
3. Hatrozzuk meg az
exp z , sin z , cos z
fggvnyek derivltjt!
4. Igazoljuk a kvetkez azonossgokat!
eiz = cos z + i sin z ;

1
sin z = 2i
(eiz eiz ) ;
a,
e, ch iz
z
i, |e |
= cos z ;
= ex .
f, sh iz
5. Igazoljuk, hogy az
halmazt az
exp z
b,
eiz = cos z i sin z ;
= i sin z ;
g,
c,
ez+t = ez et ;
cos z = 21 (eiz + eiz ) ;

h,
d,
ez = ex (cos y+i sin y) ;
exp z fggvny periodikus! Hov kpezi a H = {(x, y) : < y }

log z fggvnyt!
fggvny? Vezessk be a
116
A/1,
(x, y) C pontokban lehet csak dierencilhat, ahol fennllnak a Cauchy

x u = 3x2 = y v = 3(1 y)2 illetve y u = 0 = x v = 0,
ami csak akkor teljesl, ha y = 1 |x|.
u s v parcilis derivltjai az egsz komplex szmskon folytonosak (teht u s v
dierencilhat), teht f az y = 1 |x| felttelnek eleget tev pontokban dierenf
olyan
Riemann-egyenletek:
cilhat is.
A/2/a,
f (z) = f (x + iy) = (x iy)2 = x2 y 2 2ixy u(x, y) = x2 y 2 , v(x, y) = 2xy.

CauchyRiemann-egyenletek:
A/2/b,
A/2/c,
x u = 2x = y v = 2x, ami akkor teljesl ha x = 0 ; illetve y u = 2y = x v =

2y, ami akkor teljesl ha y = 0 .
u s v parcilis derivltjai az egsz komplex szmskon folytonosak (teht u s v
dierencilhat), teht f a z = 0-ban dierencilhat.
p
p
p
fp
(z) = f (x + iy) = (x p
+ iy) x2 + y 2 = x x2 + y 2 + iy x2 + y 2 u(x, y) =
x x2 + y 2 ,
v(x, y) = y x2 + y 2 .
p
x2 + y 2 + x2 , ha (x, y) 6= (0, 0)
x2 +y 2
x u(x, y) =
x x2 0
lim
= limx0 x2 = limx0 |x| = 0, ha (x, y) = (0, 0)
x0 x0
p
2
x2 + y 2 + y2 2 , ha (x, y) 6= (0, 0)
x +y
y v(x, y) =
p
y y 2 0
lim
= limy0 y 2 = limy0 |y| = 0, ha (x, y) = (0, 0)
y0
y0
, ha (x, y) 6= (0, 0)
xy
x2 +y 2
y u(x, y) =
0 0+y 2 0
lim
= 0, ha (x, y) = (0, 0)
y0
y0
(
xy
, ha (x, y) 6= (0, 0)
x2 +y 2
x v(x, y) =
0, ha (x, y) = (0, 0).
A x u = y v egyenlet azon (x, y) pontokban ll fenn, amelyekre |x| = |y|. A
y u = x v egyenlet azon pontokban ll fenn, amelyekre x y = 0. A kt egyenlet
egyszerre csak a 0-ban ll fenn. u s v parcilis derivltjai az egsz komplex szmskon folytonosak (a 0-ban is!) (teht u s v dierencilhat) Az f fggvny a
z = 0 pontban dierencilhat.
f (z) =
y
x
= x2 +y
2 i x2 +y 2 u(x, y) =
tartomnya C\ {0}.
1
x+iy
rtelmezsi
xiy
x2 +y 2
x
,
x2 +y 2
v(x, y) =
y
.
x2 +y 2
y 2 x2
y 2 x2
2xy
2xy
,
v(x,
y)
=
, y u(x, y) = 2
, x v(x, y) = 2
y
(x2 + y 2 )2
(x2 + y 2 )2
(x + y 2 )2
(x + y 2 )2
x u = y v s y u = x v teljesl az rtelmezsi tartomny minden pontjban,
illetve folytonosak is itt f dierencilhat is ezeken a helyeken.
x u(x, y) =
A/2/d, A Cauchy-Riemann egyenletek az
x- s y -tengelyeken llnak fenn. Viszont a 0 pont0 pontbeli dif-
ban nem dierencilhat a fggvny. Ennek beltshoz tekintsk a
ferencilhnyadost s tartsunk klnbz egyenesek mentn
117
0-hoz.
A hatrrtk
fggeni fog az egyenestl, gy nem ltezik, teht ott nem dierencilhat.

A/3/a,
xx f = 2, yy f = 2 xx f + yy f = 0.
A/3/b,
xx f = ex cos y , yy f = ex cos y xx f + yy f = 0.
A/3/c,
xx f =
2(x2 +y 2 )4x2
,
(x2 +y 2 )2
yy f =
2(x2 +y 2 )4y 2
(x2 +y 2 )2
xx f + yy f = 0.
u(x, y) =konstans. Ezrt x u(x, y) = 0 s y u(x, y) = 0 (x, y)

D-n, D minden pontjban fennllnak a CauchyRiemannegyenletek. Az els egyenletbl y v = 0, amibl v(x, y) = f (x) kvetkezik. A msodik egyenletbl x v = 0, kvetkezskppen v(x, y) = g(y) alak. v(x, y) teht csak
olyan fggvny lehet, amely sem x-tl, sem y -tl nem fgg, azaz v(x, y) =konstans.
Ha u s v konstans, akkor f is konstans.
P
n
A
n=0 an z hatvnysor konvergenciasugart az
1
p

R=
lim sup n |an |
p
n
kplet szolgltatja. Itt an = 1, teht lim sup(
|1|) = lim( n 1) = 1 R = 1 .
lim n n = 1 R = 1 .
q
lim n n1 = 1 R = 1 .
A/4, Feltevsnk szerint
D.
B/1/a,
B/1/b,
B/1/c,
B/1/d,
B/1/e,
Mivel
regulris
nn = lim n = + R = 0 .
q
lim n n1n = lim n1 = 0 R = + .
lim
q
1
lim n n!
= 0,
sugara + .
B/2, Mivel
ezrt mindhrom fggvnyt denil hatvnysor konvergencia-
B/3, Hatvnysort tagonknt derivlhatunk a konvergenciahalmazn.
exp z =
X
z2
1 n
z =1+z+
+ ...
n!
2!
n=0
X
X
1 n1 X
1
1 n
exp0 z =
nz
=
z n1 =
z = exp z ;
n!
(n 1)!
n!
n=1
sin z =
n=1
(1)n
n=0
sin0 z =
(1)n
n=0
n=0
1
z3 z5
z 2n+1 = z
+
...
(2n + 1)!
3!
5!
X
1
1 2n
(2n + 1)z 2n =
(1)n
z = cos z ;
(2n + 1)!
(2n)!
n=0
118
cos z =
z2 z4
1 2n
z =1
+
...
(2n)!
2!
4!
(1)n
n=0
cos0 z =
(1)n
n=1
n=1
n=0
X
X
1
1
1
2nz 2n1 =
z 2n1 =
z 2n+1
(1)n
(1)n+1
(2n)!
(2n 1)!
(2n + 1)!
=
(1)n
n=0
1
z 2n+1 = sin z .
(2n + 1)!
B/4/a,
X
X
X
1
1
1
(iz)n =
(iz)2n +
(iz)2n+1 =
n!
(2n)!
(2n + 1)!
eiz =
n=0
n=0
n=0
1
(1 z 2 )n +
(2n)!
cos z + i sin z .
n=0
n=0
n=0
n=0
X 1
X
1
1
(iz)(iz)2n =
(1)n z 2n + i
(1)n z 2n+1 =
(2n + 1)!
(2n)!
(2n + 1)!
B/4/b, Az a, rsz alapjn:
eiz = cos(z) + i sin(z) = cos z i sin z.

B/4/c, Az a, s b, rsz alapjn
+ eiz ) = 21 (cos z + i sin z + cos z i sin z) = 12 2 cos z = cos z.
1 iz
2 (e
B/4/d, Az a, s b, rsz alapjn
1
iz
2i (e
eiz ) =
1
2i (cos z
+ i sin z cos z + i sin z) =
B/4/e, ch iz
= 12 (eiz + eiz ) ,
majd hasznljuk a c, rszt.
B/4/f, sh iz
= 12 (eiz eiz ) ,
majd hasznljuk a d, rszt.
1
2i 2i sin z
= sin z.
B/4/g,
X
1 n X 1 m X
z
t =
e e =
n!
m!
z t
n=0
m=0
n=0
X 1 1
z k tl
k! l!
k+l=n
X
n
n
X
X
n!
1
1
1 X
k nk
z t
=
z k tnk =
k! (n k)!
n!
k!(n k)!
n=0 k=0
X
n=0
B/4/h,
B/4/i,
n=0
k=0
1
(z + t)k = ez+t .
n!
ez = ex+iy = ex eiy = ex (cos y + i sin y) .

p
|ez | = |ex eiy | = |ex | |eiy | = ex cos2 y + sin2 y = ex .
fejezet 20
Komplex fggvnytan III.
Kulcsszavak:
Komplex vonalintegrl: Primitv fggvny, NewtonLeibniz-formula, Cauchy-fle
integrlttel, Cauchy-fle integrlformula

Egy
f :CC
fggvny
:RC
grbe mentn vett vonalintegrljt a vals vonalin-
tegrlhoz hasonlan kzelt sszeg hatrrtkeknt deniljuk, s a

jelljk.
Legyen a tovbbiakban mindvgig
f :CC
folytonos a
szmthatjuk ki:
Z
f
szimblummal
: [, ] C folytonos,
rektiklhat grbe, s legyen
R
f
vonalintegrl s a kvetkez?kppen
grbn. Ekkor ltezik a
f=
rtk. Tovbb ha az
f ((t)) 0 (t)
vals- s kpzetesrszfggvnyt
dt
jelli, akkor
tsa a kvetkezkppen vezethet vissza vals integrlokra:
f=
(u, v) + i
ahol az egyenl?sg jobb oldaln szerepl?
-t,
kiszm-
(v, u) ,
mint vals grbt tekintjk.
A tovbbiakban sszegyjtjk a komplex fggvnyek vonalintegrljval kapcsolatos

legfontosabb lltsokat.
20.1. Ttel. (Cauchy-fle alapttel)
Legyen T C egyszeresen sszefgg tartomny. Ekkor

ha f : T C dierencilhat
R
fggvny, akkor minden T -beli zrt grbe mentn f = 0.
A primitv fggvny fogalmt ugyangy rtelmezzk, mint vals esetben. Legyen
f : T C folytonos fggvnynek pontosan akkor ltezik

T -n, ha a vonalintegrlja minden zrt grbe mentn nulla. Ha pedig
tartomny. Belthat, hogy egy
primitv fggvnye
119
FEJEZET 20. KOMPLEX FGGVNYTAN III.
120
ltezik
F , akkor a NewtonLeibniz-formula rtelmben tetszleges T -ben halad grbre

Z
f = F (()) F (()),
vagyis a vonalintegrl csak a grbe kezd- s vgpontjtl fgg.
20.2. Ttel. Ha f : T C dierencilhat a T egyszeresen sszefgg tartomnyon,

akkor ott van primitv fggvnye.
20.3. Ttel. (Cauchy-fle integrlformula s kvetkezmnye)
Tegyk fel, hogy f dierencilhat a T C tartomnyon, s egy T -beli szakaszonknt

sima, pozitv irnyts zrt grbe. Ekkor
Z
f ()
1
d
f (z) =
2i z
minden z B() pontban, ahol B() a grbe belsejt jelli. Tovbb
Z
n!
f ()
(n)
f (z) =
d
2i ( z)n+1
is teljesl.
20.2. Feladatok
A,
komplex vonalintegrl kiszmtsa, primitv fggvny, NewtonLeibniz formula

1. Szmtsuk ki
f (z)
vonalintegrljt az
s a
pontokat sszekt klnbz
utakon! Legyen
a,
f (z) = z , a = i
b = i,
egyenes illetve ramutat jrsval ellenttes
bejrs flkr az utak;

b,
c,
f (z) = z , a = 0 s b = 1 + i, egyenes illetve az y = x2 parabola az utak;

f (z) = |z| , a = i s b = i, egyenes illetve ramutat jrsval azonos
bejrs flkr az utak.

2. Szmtsuk ki
f (z)
vonalintegrljt az
s a
pontokat sszekt utakon a
NewtonLeibniz-formula segtsgvel! Legyen

a,
f (z) = ez , a = 0
b = i,
ramutat jrsval ellenttes bejrs flkr
az t;
b,
B,
f (z) = sin z , a = i
b = i.
Cauchy-fle integrlttel, Cauchy-fle integrlformula

1. Legyen
f (z) =
1
zn ,
n N,
t pedig az orig kzppont egysgsugar kr
az ramutat jrsval ellenttes irnyban bejrva. Szmtsuk ki Cauchy-fle

integrlformula nlkl
a,
n > 1;
b,
n = 1.
rtkt, ha
20.2. FELADATOK
2. Legyen
f (z) =
121
sin z
z , a
t pedig az orig kzppont egysgsugar kr ra-
mutat jrsval ellenttes irnyban bejrva. Szmtsuk ki Cauchy-fle integrlformula nlkl
rtkt.
3. Oldjuk meg az elz kt feladatot a Cauchy-fle integrlformula felhasznlsval!
122
A/1/a, Az
f (z)
fggvnyt s az utakat lsd a 20.1.a brn.
Az egyenesszakasz mentn vett vonalintegrl kiszmtsa:
A flkr mentn vett vonalintegrl kiszmtsa:
1 (t) = i it, t [0, 2], 10 (t) = i .

2
Z 2
Z 2
Z 2
Z
t2
1t dt = t
(iit)(i) dt =
f (1 (t))10 (t) dt =
f=
= 0.
2 0
0
0
0
1
A szakasz paramterezse:
0
it
2 (t) = eit , t [ 2 , 3
2 ], 2 (t) = ie .
Z 3
2
e2it 3
0
f (2 (t)) 2 (t) dt =
eit (ieit ) dt = [i
] 2 = 0 .
2i 2
A grbe paramterezse:
f=
3
2
b
0.8
Im z
Im z
0.5
0
0.5
0.6
0.4
0.2
1
2
0.5
Re z
Re z
1
f (z)
1 (t)
0.5
Im z
2 (t)
0
0.5
1
0
Re z
20.1. bra. a) A/1/a, b) A/1/b, c) A/1/c feladat.
A/1/b, A fggvnyt s az utakat lsd a 20.1.b brn. Az
f (z) = z
fggvny sehol sem
regulris (lsd az 17/B/3 feladatot), gy nem tudjuk a NewtonLeibniz-formult

hasznlni.
Az egyenesszakasz mentn vett vonalintegrl kiszmtsa:
123
1 (t) = t + it, t [0, 1] .

Z 1
Z
1
0
f (1 (t)) 1 (t) dt =
(t it)(1 + i) dt =
A szakasz paramterezse:
f=
A parabola mentn vett vonalintegrl kiszmtsa:
1
2t dt = t2 0 = 1 .
2 (t) = t + it2 , t [0, 1] .

2
1 3 1
Z 1
Z 1
Z 1
Z
t
t4
t
1
2
3
2
t dt =
(t+2t ) dt+i
(tit )(1+2it) dt =
f=
+
+i
= 1+ i .
2
2 0
3 0
3
0
0
0
2
A grbe paramterezse:
A/1/c, A fggvnyt s az utakat lsd a 20.1.c brn.
1 (t) = 0 + it, t [1, 1] .
f (z) = ez
R1
1 |t|
i dt = i .
C-n, egy primitv fggvnye F (z) = ez , gy

b
a
i
0
i
f = F (b) F (a) = e e = e e = e 1 .
(lsd 20.2.a bra) regulris
NewtonLeibniz-formulbl:
A/2/b,
f=
2 (t) = eit , t [ 2 , 3
2 ],
Z 3
Z

3
2
f=
|eit |(ieit ) dt = eit 2 = i + i = 2i .
| {z }
2
2
2
A/2/a,
f (z) = sin z (lsd 20.2.b bra) regulris

C-n, egy primitv fggvnye F (z) = cos z ,
R
f
=
F (b) F (a) = cos i + cos(i) = 0 .
gy a NewtonLeibniz-formulbl:
0.5
Im z
Im z
0.8
0.6
0.4
0.5
0.2
0.5
Re z
Re z
f (z)
1 (t)
2 (t)
20.2. bra. a) A/2/a, b) A/2/b feladat.
B/1/a, 0 , mert ltezik primitv fggnye.

B/1/b,
(t) = eit , t [0, 2] ,
1
z dz
R 2
0
1
ieit dt
eit
= 2i .
f a z0 pont kivtelvel regulris egy D tartomnyon, olyan szakaszonknt sima D -beli zrt t, amely a belsejben tartalmazza
R
z0 -t, s limzz0 f (z)(z z0 ) = 0 , akkor f = 0 .
B/2, Felhasznljuk a kvetkez ttelt: Ha
124
Az
0,
sin z
sin z
z fggvny a 0-ban nem regulris, ugyanakkor limz0 z z = limz0 sin z
sin z
1 K(0) z dz = 0 , ahol 1 K(0) jellte az orig kzppont egysgsugar
f (z) =
R
ezrt
pozitv irnyts krt.

B/3, 1/b. feladat:
Legyen
az azonosan
pontban:
1
f (0) = 1 =
2i
fggvny, erre alkalmazzuk a Cauchy-formult az
1 K(0)
f (z)
1
dz =
z0
2i
1 K(0)
1
dz
z
1 K(0)
1
dz = 2i .
z
2. feladat:
sin fggvnyre az a = 0 pontban:

Z
1
sin z
sin z
sin(0) = 0 =
dz
dz = 0 .
2i 1 K(0) z 0
1 K(0) z
Alkalmazzuk a Cauchy-formult a
a = 0
fejezet 21
Komplex fggvnytan IV.
21.1. Feladatok
A,
Cauchy-fle integrlformula s kvetkezmnyei

1. Legyen a
zrt grbe a K kzppont,

r sugar, ramutat jrsval ellenttes
H
g
rtkt, ha
bejrs kr. Szmtsuk ki
b,
g(z) =
g(z) =
c,
g(z) =
d,
g(z) =
a,
2. Legyen a
bejrs
1
zK , r = 1;
z
zK , r = 1;
sin8 z
z 2 , K = 2, r = 2;
ez
5
z2 , K = 2 , r = 1.

H
kr. Szmtsuk ki
g rtkt, ha
2
ez
1
, K = ,
2
z 2 1
z 4 ez
, K = i,
z 2 +1
1
,
1+z 2
a,
g(z) =
b,
g(z) =
c,
g(z) =
d,
K = 5, r = 1 ;
K = 0, r = 3 ;
ez
,
g(z) = z 2 +2z3
(c1)
(d1)
3. Legyen a
bejrs
B,
K = 1, r = 1 ;
r = 1;
r = 1;
(c2)
(d2)
K = i, r = 1 ;
K = 3, r = 1 ;
(c3)
(d3)
K = i, r = 1 ;
K = 6, r = 1 .

H
kr. Szmtsuk ki
g rtkt, ha
a,
g(z) =
b,
g(z) =
z
;
(zK)2
z
.
(zK)6
komplex vonalintegrl alkalmazsa vals integrlok kiszmtsra

1. Hatrozzuk meg az albbi improprius integrlokat!
a,
+
R
0
(c4)
sin x
x dx ;
125
FEJEZET 21. KOMPLEX FGGVNYTAN IV.
126
b,
+
R
0
sin2 x
dx .
x2
127
A/1/ Hasznljuk a Cauchy-fle integrlformult:
f (a) =
ahol
dierencilhat a
f (z) = 1, a = K
f (z) = z , a = K
c,
f (z) = sin8 z , a =
d,
f (z) = ez , a = 2
f (z) =
ez
z+1 ,
a=1
pozitv
= 2i1 = 2i ;
szereposztssal
z
zK dz
= 2iK ;
2 szereposztssal
sin8 z
z 2 dz
ez
z2 dz
szereposztssal
= 2i sin8
= 2i ;
= 2ie2 .
szereposztssal
ez
dz =
z2 1
A/2/c,
1
zK dz
A/2/a,
f (z)
dz ,
za
pontot a belsejben tartalmazza.
szereposztssal
b,
tartomnyban, mely a belsejben tartalmazza a
irnyts zrt grbt, amely az
a,
1
2i
ez
z+1
z1
1 + z 2 = (z i)(z + i)
(c1) Ezen a tartomnyon
1
z+i regulris
regulris
1
1
=
i+i
2i
1
zi regulris
1
1
=
i i
2i
(c4) A tartomnyt hatrol grbe a
dz
= 2i
e1
= ie .
1+1
g = 0;
1
z+i
zi
dz
g = ;
g = ;
1
zi
z+i
dz
fggvny mindkt szingulris pontjt krbe-
veszi. Parcilis trtekre bontssal:
1
A
B
i
i
=
+
A = ,B = .
2
1+z
zi z+i
2
2
Teht
1
1 + z2
i
dz =
2
A/2/d, Hasznljuk fel, hogy
ie
(d1)
2
i
(d2) 3
2e
Z
1
dz
zi
1
dz
z+i
z 2 + 2z 3 = (z 1)(z + 3) .
(d3) 0 .
i
= (2i 2i) = 0 .
2
FEJEZET 21. KOMPLEX FGGVNYTAN IV.
128
A/3/ Hasonl felttelekkel, mint a Cauchy-fle integrlformulnl a kvetkez sszefggs

igaz:
f
a,
(n)
n!
(a) =
2i
f (z)
(z a)n+1
dz
n = 0, 1, . . . .
f (z) = z , a = K , n = 1 szereposztssal
Z
Z
1!
z
z
0
f (K) = 1 =
dz
2
2
2i (z K)
(z K)
b, 0, mert
f (z) = z -nek
dz
= 2i .
mr a msodik derivltja is 0 .
IR
B/1/a, A fggvny a 21.1. brn lthat. Jellje
IR :=
az
sin x
dx
x
integrlt. A keresett improprius integrl ennek hatrrtke, mikzben

fel
sin x-et
kt tag sszegeknt a kvetkezkppen:
sin x =
R . rjuk
1
1
1 ix
(e eix ) = (eix 1) (eix 1) .
2i
2i
2i
Ezzel
IR =
eix 1
dx +
2ix
1 eix
2ix
dx .
tagot felrhatjuk -R-tl 0-ig men integrlknt az y = x helyettestssel

RA0msodik
eix 1
2ix
alakban. Ebbl
IR =
eiz 1
limz0 2iz = 21 ,
szmskra a z = 0-ban
Mivel
eix 1
dx.
2ix
gy ha kiterjesztjk az integrland fggvnyt a komplex
1
2 -nek denilva a fggvnyrtket, akkor ez a fggvny
R s R kztt tetszleges ton integrlhatunk.

(t) = Reit , t [0, ] grbt. Ekkor 0 (t) = Rieit .
Z iReit
Z
Z
Z
e
1
1 iReit
1 iReit
1 iR(cos t+i sin t)

it
IR =
iRe dt =
(e
1) dt =
e
dt+
=
e
d
2iReit
2 0
2 0
2
2 2 0
0
R
1 iR(cos t+i sin t)
Jellje ER :=
dt. Ekkor
2 0 e
Z
Z
Z
Z
1
1 iR(cos t+i sin t)
1 R(i cos tsin t)
1 R sin t
iR(cos t+i sin t)
|ER | = |
e
dt|
|e
| dt =
|e
| dt =
e
dt
2 0
2 0
2 0
2 0
mindenhol dierencilhat. Ezrt
Vlasszuk a
Beltjuk, hogy
|ER |
pontra, gy
ER =
R , amibl kvetkezik ER nul[0, ] intervallumon szimmetrikus a 2
nullhoz tart, mikzben
lhoz tartsa is. Mivel a szinuszfggvny a
eR sin t dt.
A szinuszfggvny a
[0, 2 ]
intervallumon a
redeksg lineris fggvny fltt halad, ezrt ezen az intervallumon
ER
2 Rt
"
e Rt
dt =
2 R
#
2
R(1 eR ) 0.
2
sin t
2
me 2 t.
129
sin x
x
sin2 x
x2
0.8
0.6
0.4
0.2
0
0.2
0.4
0
10
20
30
40
21.1. bra. B/1/a, (kk grbe) s b, (piros grbe).
50
fejezet 22
Fggvnysorozatok
Kulcsszavak:
fggvnysorozat, (pontonknt) konvergens, konvergenciahalmaz, fggvnysorozat
hatrfggvnye, egyenletes konvergencia

22.1. Denci.
Legyenek
rtelmezve van a
DR
zat nak
egy
nemres halmazon. Az
nevezzk. Jellse:
22.2. Denci.
xD
(fn ).
pontban, ha az
22.3. Denci.
fn : R R (n N)
Jellje
(fn (x))
BD
(fn )
adott fggvnyek, amelyek mindegyike
n 7 fn
lekpezst vals
fggvnysorozat
fggvnysoro-
(pontonknt) konvergens
szmsorozat konvergens.
azon pontok halmazt, amelyekben az
(fn )
fggvnyso-
konvergenciahalmaz nak nevezzk.

R R fggvnyt, amelynek rtelmezsi tartomnya az (fn ) fggvnysorozat B konvergenciahalmaza, s tetszleges x B pontban az (fn (x)) konvergens sorozat
hatrrtkt veszi fel (azaz f (x) = lim fn (x)). Ezt az f fggvnyt az (fn ) fggvnysorozat
hatrfggvny nek nevezzk.
rozat konvergens. Ezt a halmazt a fggvnysorozat

Jellje
azt az
A fggvnysorozatok vizsglatnak egyik alapkrdse: mi annak a felttele, hogy az
fn
fggvnyek bizonyos tulajdonsgai (pl. folytonossg, dierencilhatsg, integrlhatsg)

megrzdjenek a hatrfggvnyre? Ehhez ltalban nem elegend a pontonknti konvergencia.
22.4. Denci.
f
fggvnyhez a
C R
(fn )
egyenletesen konvergl az
> 0 szmhoz ltezik olyan n N
minden n N esetn |fn (x) f (x)| < .
fggvnysorozat
halmazon, ha minden
termszetes szm, hogy minden
xC
pontban
131
FEJEZET 22. FGGVNYSOROZATOK
132
Az egyenletes konvergencibl kvetkezik a pontonknti konvergencia. Egyenletesen konvergens fggvnysorozatokra rvnyesek az albbi ttelek.
22.1. Ttel. Legyen (fn ) olyan fggvnysorozat, amely egyenletesen tart az f fggvnyhez
a C halmazon. Ha fn folytonos az x0 C pontban n N esetn, akkor f is folytonos

x0 -ban.
Ennek kvetkezmnye, hogy ha
s minden
nN
esetn
fn
(fn )
egyenletesen tart az
folytonos a
DC
fggvnyhez a
halmazon, akkor
folytonos
C halmazon,
D-n.
22.2. Ttel. Tegyk fel, hogy (fn ) egyenletesen tart f -hez az [a, b] intervallumon. Ha fn
Riemann-integrlhat [a, b]-n n N esetn, akkor f is, s

Z b
Z b
fn .
f = lim
a
22.3. Ttel. Tegyk fel, hogy fn : I R dierencilhat az I nylt intervallumon
n N esetn, (fn ) pontonknt tart f -hez I -n, s a derivltfggvnyek (fn0 ) sorozata

egyenletesen tart egy g fggvnyhez I -n. Ekkor f dierencilhat I -n s f 0 = g , azaz
(lim fn )0 = lim(fn0 ).
22.2. Feladatok
A,
egyenletes konvergencia
1. Vizsgljuk meg, hogy egyenletesen konvergensek-e az albbi fggvnysorozatok
a megadott intervallumon!
a,
b,
fn (x) = xn ,
fn (x) =
xn
fn (x)
d,
fn (x)
e,
fn (x)
f,
fn (x)
(, )
xn+1
1
0, 2
illetve (a2)
[0, 1]
[0, 1]
intervallumon;
intervallumon;
1
= x+n
a (0, ) intervallumon;
sin nx
= n
a (, ) intervallumon;
= sin nx a (, ) intervallumon;
= (1 + nx )n , (f1) tetszleges vges intervallumon, illetve (f2) a
c,
g,
(a1) a
[0, )
intervallumon;
0
fn (x) = 1
intervallumon;
ha
ha
ha
0 x n,
n < x n + 1,
n+1<x
22.2. FELADATOK
133
h,
[0, 1]
n x
fn (x) = n2 ( n2 x)
ha
ha
ha
0 x n1 ,
1
2
n <x< n,
2
n x
intervallumon.
2. Lehetsges-e, hogy szakadsos fggvnyek egyenletesen konvergens sorozata

folytonos fggvnyt lltson el?
B,
mveletek fggvnysorozatokkal
fn (x) =

vergens a
(, )
intervallumon, de
lim fn (x)
0
(1) 6= lim fn0 (1) .

n
fn (x) = x2 + n1 sin n(x + 2 ) fggvnysorozat

(, ) intervallumon, de

0
lim fn (x) 6= lim fn0 (x) .

tesen konvergens a
1
n
n arc tg x fggvnysorozat egyenletesen kon-
fn (x) = nxe
egyenle-
nx2
fggvnysorozat konvergens a
[0, 1]
intervallumon, de
lim
Z1
fn (x) dx 6=
Z1

lim fn (x) dx .
4. Mutassuk meg, hogy az A/1/g,h plda fggvnysorozataira sem cserlhet fel

a
lim
s az

konvergens a
[0, 1]
fn (x) = nx(1 x)n
fggvnysorozat
intervallumon, mgis teljesl, hogy
lim
Z1
0
fn (x) dx =
Z1
0

lim fn (x) dx .
nem
egyenletesen
134
[0, 21 ] intervallumon
0 egyenletesen
A/1/a, (a1) A fggvnysorozat nhny tagjt lsd a 22.1.a brn. A

a fggvnysorozat tetszleges
n
index elemre |x |
konvergens.
( 12 )n
[0, 1) intervallumon az azonosan nulla fggvnyhez tart pontonknt (x = 1-ben 1-hez). Ha egyenletesen konvergens lenne,
1
1
n
akkor pl. = -et vlasztva minden x [0, 1) pontban x < -nek kellene telje2
2
n
slnie egy kszbindextl kezdve, de tetszleges n-t vlasztva az x fggvny az
(a2) Tudjuk, hogy a fggvnysorozat a
x=e
1
ln 2
n
-ben ppen
1
2 -et vesz fel. Teht a
fggvnysorozat (gy a
[0, 1]-en
[0, 1)-en
nem egyenletesen konvergens a
sem).
Mskpp: Ha egyenletesen konvergens lenne, akkor abbl, hogy a fggvnysorozat

minden tagja folytonos, kvetkezik hogy a hatrfggvnye is folytonos
[0, 1]-en,
de
ez nem teljesl. Teht nem egyenletesen konvergens.

A/1/b, A fggvnysorozat nhny tagjt lsd a 22.1.b brn. A fggvnysorozat pontonknt
fn (x) fggvny maximumhen+1

x
fggvnyt derivlva s a derivltat nullval
az azonosan nulla fggvnyhez tart. Keressk meg az
xn
fn (x) =
n
pontot
x = n+1
lyt s rtkt! Az
egyenlv tve az
n

n
n
1
1
<
0,
n+1
n+1
n+1
kapjuk.
|xn xn+1 | = |xn (1 x)|
azaz a fggvnysorozat egyenletesen konvergens.

A/1/c, A fggvnysorozat pontonknt az azonosan nulla fggvnyhez tart (lsd 22.1.c bra). A
(0, )
intervallumon
gy egyenletesen konvergens.
A/1/d,
| sinnnx |
1
n
22.1.d bra.
A/1/e, Mivel tetszleges

1 1

x + n < n 0 ,
egyenletesen konvergl (az azonosan nulla fggvnyhez). Lsd
xR
helyen
x
n
0,
s gy
sin nx 0,
azaz
fn
pontonknt tart az
azonosan nulla fggvnyhez. A konvergencia azonban nem egyenletes, ugyanis pl.

a fggvnysorozat minden eleme felveszi az
rtket, pl. az
x=
2 n helyen (lsd
22.1.e bra).
A/1/f, (f1) A fggvnysorozat nhny tagjt lsd a 22.1.f brn.
[a, b]-n
(az
a0
esetet
ex pontonknt s egyenletesen is:
fn

x n
x n+1
x n x eb b
x n
x
1+
=
1
+
0.
e 1 +
1+
n
n
n
n
n
n
trgyaljuk, de a tbbi is hasonl)
(f2) a
rozat
(, )-en nem egyenletesen konvergens: az x = n pontban a fggvnyson

n
sszes tagja 2 -t vesz fel, mg a hatrfggvny e t, gy ebben a pontban az
eltrs nem tehet tetszlegesen kicsiv.
135
A/1/g, Pontonknt az azonosan nulla fggvnyhez tart, de nem egyenletesen, mert minden
tagja felveszi az
1-et
(lsd 22.2.a bra).
A/1/h, Pontonknt az azonosan nulla fggvnyhez tart, de nem egyenletesen, mert
n (lsd
max fn (x) =
22.2.b bra).
A/2, Igen, pl. az
fn (x) =
(
0
1
n
ha
ha
x R \ {0} ,
x = 0.
fggvnysorozat minden eleme szakad, de egyenletesen tart az azonosan nulla fggvnyhez.
|fn (x)| < n1 2 0 fn egyen(limn fn (x))0 (1) = 0 . Ugyanak-
B/1, A fggvnysorozat nhny tagjt lsd a 22.3.a brn.

letesen tart az azonosan nulla fggvnyhez, gy
kor
fn0 (x) =
xn1
1
1
fn0 (1) = lim fn0 (1) = .
n
1 + x2n
2
2
B/2, A fggvnysorozat nhny tagjt lsd a 22.3.b brn.
fn
pontonknt az
f (x) = x2
fggvnyhez tart. Ez a konvergencia egyenletes is, hiszen

1
2 1
2
= sin n x + 1 0 .
x + sin n x +
x
n

n
2
2
n
(limn fn (x))0 = 2x , s fn0 (x) = 2x + cos n(x + 2 ) . Specilisan,
0
0
az x = 0 pontban (limn fn (x)) = 0 , s fn (0) = cos n( ) . Az utbbi sorozat
2
vltakozva 1, 0, 1, 0, . . . rtkeket vesz fel, gy nincs hatrrtke.
A derivltak:
B/3, A fggvnysorozat nhny tagjt lsd a 22.4.a brn.
(0, 1]-re |fn (x)|

gy
R1
2
n(ex )n
|{z}
<1
0 fn 0
x = 0-ra fn (x) = 0
pontonknt,
(limn fn (x)) = 0 . Ugyanakkor

Z 1
Z
1 1
1
1
1
2
2
2
fn (x) dx =
nxenx dx =
2nxenx dx = [enx ]10 = (en 1) 6= 0 .
2 0
2
2
2
0
0
(Ebbl kvetkezik az is, hogy a konvergencia nem lehet egyenletes.)
B/4, Mindkt feladatban nulla a hatrfggvny integrlja, mikzben a fggvnysorozat

mindegyik elemnek 1 az integrlja, gy az integrlok sorozata 1-hez tart, nem pedig
nullhoz. (Ebbl kvetkezik az is, hogy a konvergencia nem lehet egyenletes, amit
korbban be is lttunk, lsd A/1/g,h, feladatokat.)
136
22.1. bra. a) A/1/a, b) A/1/b, c) A/1/c, d) A/1/d, e) A/1/e, f ) A/1/f feladat.
137
22.2. bra. a) A/1/g feladat, b) A/1/h feladat.
/2
5
a
4
n=
n=
n=
n=
/4
1
2
3
10
3
2
1
/4
/2
20
n=
n=
n=
n=
10
0
x
10
1
2
3
10
0
20
1
2
0
x
22.3. bra. a) B/1 feladat, b) B/2 feladat.
138
n=
n=
n=
n=
n=
a
3
0.5
1
5
9
13
50
n=
n=
n=
n=
n=
b
0.4
1
5
9
13
50
0.3
0.2
1
0
0
0.1
0.5
x
0
0
0.5
x
22.4. bra. a) B/3 feladat, b) B/5 feladat.
fejezet 23
Fggvnysorok
Kulcsszavak:
fggvnysor, (pontonknt) konvergens, konvergenciahalmaz, fggvnysor
sszegfggvnye, egyenletes konvergencia

Legyenek
sorozat
fn : D R (D R, n N)
n-edik
adott fggvnyek, s jellje
sn
az
(fn )
fggvny-
rszletsszegt, azaz
sn :=
n
X
fn .
i=1
gy deniltunk egy jabb
fggvnysor nak
23.1. Denci.
xD
RP
R fggvnysorozatot. Az ((fn ), (sn ))
fn szimblummal jelljk.
rendezett prt
nevezzk, s a
Azt mondjuk, hogy a
pontban, ha az
(sn )
fn
fggvnysor
(pontonknt) konvergens
az
fggvnysorozat konvergens ezen pontban.
23.2. Denci.
Azt a B R halmazt, amelyen a fggvnysor konvergens, a fggvnysor

konvergenciahalmaz nak nevezzk.
P
Jellje f azt a fggvnyt amit gy kapunk, hogy elksztjk a limn sn (x) =
n=1 fn (x)
hatrrtket minden x B -re. Ezt az f -et a fggvnysor sszegfggvny nek nevezzk.
23.3. Denci.
D
Azt mondjuk, hogy a
halmazon, ha az
(sn )
fn
fggvnysorozat egyenletesen
Fontos krds a kvetkez: ha az
(fn )
egyenletesen konvergens
konvergens H -n.
fggvnysor
fggvnysorozat elemei rendelkeznek bizo-
nyos tulajdnsgokkal (pl. folytonosak, dierencilhatk, integrlhatk), akkor
is ilyen
tulajdonsg-e? Teljesen hasonl ttelek kvetkeznek, mint a fggvnysorozatok esetben.
139
FEJEZET 23. FGGVNYSOROK
140
23.1. Ttel. Tegyk fel, hogy
fn fggvnysor egyenletesen tart f -hez H -n, s fn folytonos az x0 H pontban minden n N esetn. Ekkor f is folytonos x0 -ban.
Kvetkezskppen, ha
akkor
is folytonos
fn
egyenletesen tart
f -hez
halmazon, s
fn
folytonos
H -n,
H -n.
fn egyenletesen tart f -hez az [a, b] intervallumon, s

fn Riemann-integrlhat [a, b]-n minden n N esetn. Ekkor f is Riemann-integrlhat
[a, b]-n, s
Z b
Z b
X
f (x) dx =
fn (x) dx.
a
n=1 a
fn pontonknt tart az f fggvnyhez

az I nylt interP 0
vallumon, fn dierencilhat I -n minden n N esetn, s
fn egyenletesen tart egy g
fggvnyhez I -n. Ekkor f dierencilhat I -n, s
X
f 0 (x) =
fn0 (x) = g(x) x I.
n=1
23.2. Feladatok
A,
egyenletes konvergencia
1. Bizonytsuk be, hogy az albbi fggvnysorok egyenletesen konvergensek a
megadott intervallumokon!
a,
b,
c,
n=1
n=1
1
x2 +n2
(1)n
x+2n
x2 enx
(, )
intervallumon;
(2, )
intervallumon;
[0, )
intervallumon.
n=1
2. Tegyk fel, hogy a
fn (x)
sor abszolt s egyenletesen konvergens az
n=1
intervallumon. Mutassuk meg, hogy ebbl nem kvetkezik, hogy a
n=1
sor egyenletesen konvergens!
Hasznljuk ehhez a
3. Tegyk fel, hogy
(1)n (1 x)xn
n=1
an
fggvnysort a
konvergens. Igazoljuk, hogy
n=1
egyenletesen konvergens a
[0, 1]
n=1
(a, b)
|fn (x)|
intervallumon!
an enx
fggvnysor
23.2. FELADATOK
a,
b,
B,
[a, )
[0, )
141
intervallumon, ahol
a > 0!
intervallumon!
mveletek fggvnysorokkal
1. Mutassuk meg, hogy a
n=1
szmegyenesen!
sin nx
fggvny folytonosan dierencilhat az egsz
n3
2. Hatrozzuk meg az albbi hatrrtket!
3. Szabad-e tagonknt dierencilni a
lim
x10 n=1
arc tg
n=1
4. Szabad-e tagonknt integrlni a

P
n=1
tervallumon?
xn xn+1
x
fggvnysort?
n2
1
x 2n+1 x 2n1
fggvnysort a
[0, 1]
in-
142
A/1/a, A fggvnysor nhny rszletsszegt lsd a 23.1.a brn. Tudjuk, hogy a
1
k=1 k2
P> 0-hoz tudunk

1
n0 N kszbindexet tallni, hogy minden m n n0 esetn | m
k=n k2 | < . Viszont ez a kszbindex j lesz a fggvnysor esetn is (ugyanahhoz az -hoz), hiszen
P
Pm 1
1
| m
k=n x2 +k2 | |
k=n k2 |. Ekkor pedig a fggvnysorokra vonatkoz Cauchy-ttel
numerikus sor konvergens, gy (Cauchy ttele szerint) brmely
szerint a fggvnysor egyenletesen konvergens.
A/1/b, Egyenletesen konvergens, mert hasonlan az a, rszhez tudjuk becslni a rszletsszegeket egy konvergens numerikus sor rszletsszegeivel:
Pm
Pm
(1)k
k=n x+2k |
Pm
1
k=n | x+2k |
k=n 2k1 , az utbbi sor pedig konvergens. A fggvnysor nhny rszletsszegt
lsd a 23.1.b brn.
P
(nx)k
n 2 x2
2 nx =
[0, ) intervallumon enx =
k=0 k! 2 , teht x e
P
P
m
2
2 kx | |
= n22 . gy | m
k=n x e
k=n k2 |, az utbbi sor pedig konvergens,
A/1/c, Felhasznlva, hogy a
x2
enx
x2
n2 x 2
2
teht hasznlva Cauchy ttelt kapjuk, hogy a fggvnysor egyenletesen konvergens.

A fggvnysor nhny rszletsszegt lsd a 23.1.c brn.
1.5
0.5
0.5
1.5
0
10
0
x
5
n=1
0.8
10
n=2
0
n=3
5
x
n = 10
10
d
0.05
0.6
y
0.1
0.4
0.15
0.2
0.2
0
0
5
x
10
0.25
0
0.5
x
23.1. bra. a) A/1/a feladat, b) A/1/b feladat, c) A/1/c feladat, d) A/2 feladat.
A/2,
(1)n (1 x)xn
n=1
fggvnysor
[0, 1]
intervallumon val abszolt konvergen-
cija azt jelenti, hogy a
n=1
|(1)n (1 x)xn | =
(pontonknt) konvergens. Ez teljesl, mert
x [0, 1)-re
143
(1 x)xn
fggvnysor
n=1
x = 1-re
minden tag 0, msrszt
ez egy teleszkopikus sor:
(1x)x =
n=1
(xn xn+1 ) = (xx2 )+(x2 x3 )+(x3 x4 )+. . . = lim xxn+1 = x .

n
n=1
Teht pontonknt konvergl az
(
x
f (x) =
0
, ha
, ha
x [0, 1) ,
x=1
fggvnyhez.
Ez az
fggvny viszont nem folytonos, teht a
n=1
vnysor konvergencija nem egyenletes.
Ugyanakkor a
(1)n (1 x)xn
fggvnysor a
[0, 1]
|(1)n (1 x)xn |
fgg-
intervallumon egyenle-
n=1
tesen konvergens (abszolt rtk nlkl):
x-re,
Pontonknt konvergens, mert Leibniz-tpus minden rgztett

sszegfggvnyt
g(x)-szel.
jelljk az
Ekkor

n1

1
X

k
k
,
(1) (1 x)x g(x) (1 x)xn

n+1
k=1
ahol felhasznltuk, hogy Leibniz-tpus sor esetn az

hibjt az
n-edik
n 1-edik
rszletsszeg
tag abszolt rtkvel lehet fellbecslni, illetve az el?z?
gyakorlat A/1/b feladatt. Ebbl pedig kvetkezik az egyenletes konvergencia.

A fggvnysor nhny rszletsszegt lsd a 23.1.d brn.
B/1, A fggvnysor nhny rszletsszegt lsd a 23.2.a brn.
sin nx
pontonknt konvergens, mert minden rgztett
n3
a
alak.
n3
A fggvnysor tagonknti derivlsval kapott sorra alkalmazhatjuk Cauchy
n=1
x-re
n=1
ttelt, mert
( sinn3nx )0 =
cos nx
cos nx
s |
|
n2
n2
1
. Teht a fggvnysor tagonknti derivlsval
n2
kapott sor egyenletesen konvergens.
A fggvnysor dierencilhat tagonknt, azaz derivltja a
n=1
cos nx
fggvny.
n2
Ennek a fggvnysornak minden tagja folytonos, gy az sszegfggvny is folytonos.

Vagyis a
n=1
sin nx
fggvny folytonosan dierencilhat.
n3
B/2, Felhasznlva az A/2, feladatot addik, hogy a keresett hatrrtk

s a
nem felcserlhetek, hiszen
lim
n=1 x10
xn x

n+1
= 0.
1.
Viszont a
lim
(Ebbl szintn k-
144
vetkezik, hogy a fggvnysor nem egyenletesen konvergens.) A fggvnysor nhny

rszletsszegt lsd a 23.2.b brn.
B/3, A fggvnysor nhny rszletsszegt lsd a 23.2.c brn.
| tg x| |x|),
rgztett
| arc tg x| |x| x R (mert
P
|x|
x R. A
sor pedig minden
n2
Pontonknt konvergens a fggvnysor, mivel
x-re
s gy
| arc tg nx2 |
|x|
n2
n=1
konvergens.
A tagonknti derivlsval kapott fggvnysor egyenletesen konvergens, mert

0

x
=
arc tg

2
n
P
Ezekbl pedig kvetkezik, hogy a

derivlni.
1.5
1

1
1
=

x 2 n2
2
n +
1 + n2
1
s a
b
0
( )0 felcserlhetek, vagyis szabad tagonknt
0.5
0.5
n=
n=
n=
n=
1
1.5
10
10

1

2.
x2
n
4
0
x
1
2
3
10
n=
n=
n=
n=
2
1
10
0.5
0
x
0.5
n=
n=
n=
n=
d
0.8
1
2
3
100
1
1
2
3
100
0.6
0
0.4
n=
n=
n=
n=
5
10
10
0
x
1
2
3
100
0.2
10
0
0
0.5
x
23.2. bra. a) B/1 feladat, b) B/2 feladat, c) B/3 feladat, d) B/4 feladat.
fejezet 24
Fourier-sorok
Kulcsszavak:
Fourier-sor

Legyen
az
f :RR
Riemann-integrlhat a
[, ]
intervallumon. Ekkor
f Fourier-sor n
a0 X
+
(an cos nx + bn sin nx)
2
n=1
fggvnysort rtjk, ahol
1
an =
f (x) cos nx dx, n = 0, 1, . . . ,
1
bn =
Krds, mikor s milyen
f (x) sin nx dx, n = 1, . . .
pontokban teljesl, hogy a fenti fggvnysor ellltja
azaz
f -et,
f (x) =
a0 X
+
(an cos nx + bn sin nx)?
2
n=1
24.1. Ttel. Legyen f 2 szerint periodikus, Riemann-integrlhat a [, ] intervallumon, s tegyk fel, hogy x0 -ban ltezik a bal s jobb oldali derivltja. Ekkor a Fourier-sor
x0 -ban tart az
f+ (x0 ) + f (x0 )
2
rtkhez, ahol f+ (x0 ) s f (x0 ) a fggvny x0 pontbeli jobb ill. bal oldali hatrrtkt
jelli.
A ttel kvetkezmnye, hogy ha
ellltja
dierencilhat
f -et.
145
x0 -ban,
akkor a Fourier-sor
x0 -ban
FEJEZET 24. FOURIER-SOROK
146
24.2. Feladatok
A,
Fourier-sorok
1. Fejtsk Fourier-sorba a kvetkez fggvnyeket a megadott intervallumokon!
a1,
f (x) =
a2, Majd helyettestsnk
b1,
x=
x
2
, ha
, ha
x (0, 2) ,
x = 0 vagy x = 2 .
2 -t. Milyen sszefggst kapunk?
1
f (x) = 0
, ha
, ha
, ha
x (, 0) ,
x = 0 vagy x = ,
x (0, ) .
x = 2 -t. Milyen sszefggst kapunk?

f (x) = x2 ; x [, ] .
Majd helyettestsnk x = -t. Milyen sszefggst kapunk?
b2, Majd helyettestsnk

c1,
c2,
B,
alkalmazsok
1. Oldjuk meg a kvetkez dierencilegyenleteket hatvnysoros mdszerrel!
a,
y 0 (t) = y(t)
y(0) = 1
b,
y 0 (t) = k y(t)
y(0) = a
c,
y 00 (x) + x y(x) = 0
y(0) = 0 , y 0 (0) = 1
2. Oldjuk meg a kvetkez (hvezetsi) egyenletet Fourier-soros mdszerrel!
u
t
= xu2 , x (0, )
u(0, t) = u(, t) =P0
u(x, 0) = g(x) =
n=1 an sin nx
147
A/1/a1,
1
ak =
mivel
f (x)
f (x) cos kx dx = 0 ,
pratlan fggvny.
bk =
f (x) sin kx dx =
1
bk =
(
x
2
v0
x
2 ,
amit integrljunk parcilisan (u
x
sin kx dx ,
2
=
= sin kx):
2 Z 2

cos kx
cos kx
1
k
2
k
0
0
dx
1
.
k
Vagyis
f (x) =
X
sin kx
k=1
Az
f (x)
fggvnyt s a Fourier-sornak nhny rszletsszegt lsd a 24.1. brn.
2 behelyettestsvel a 4
A/1/a2,
x :=
A/1/b1,
ak = 0,
mert
f (x)
= 1 31 + 15 71 + . . . numerikus sorsszeghez jutunk.
pratlan.
Z

Z 0
1
1 2
f (x) sin kx dx =
sin kx dx +
sin kx dx =
bk =
0
(

)

1
cos kx 0
1 (1)k+1 + 1 1 + (1)k+1
2 (1)k+1 + 1
cos kx
+
=
+
=
.
k
k
k
k
k
0
Teht
4 X sin ((2l 1)x)

f (x) =
.
2l 1
l=1
Az
f (x)
fggvnyt s a Fourier-sornak nhny rszletsszegt lsd a 24.2 brn.
A/1/b2,
1 = 4 (1
A/1/c1,
bk = 0,
1
3
mert
1
5
f (x)
1
7
+ . . .)
pros.
1
a0 =
=1
1 x3
x dx =
3
1
3
1
5
1
7
+ ... .
2
= 2
3
a0
2
=
.
2
3
148

Z
Z
1
1
sin
kx
sin
kx
2
2
x cos kx dx =
ak =
2x
dx
x
k
k
{z
}
|
0

Z
Z
cos kx
cos kx
cos kx
2
1
2x
x 2
2
dx
=
cos kx dx =
k2
k
k
k
2
2
4

((1)k + (1)k ) = 2 (1)k .

[x cos kx] [sin kx] =
2
2
k
k
k
| {z }
0
Teht
2 X
4
x =
+
(1)k 2 cos kx .
3
k
2
k=1
Az
A/1/c2,
f (x)
2 =
2
3
fggvnyt s a Fourier-sornak nhny rszletsszegt lsd a 24.3 brn.
k 4
k
k=1 (1) k2 (1)
2
6
1
k=1 k2
24.1. bra. A/1/a feladat.
B/1/a, Keressk a megoldst
y(t) =
k=0 ak t
k alakban. Az
y(0) = 1
kezdeti felttelbl
149
24.2. bra. A/1/b feladat.
addik, hogy
a0 = 1 .
y 0 (t) =
ak ktk1 =
k=1
ak+1 (k + 1)tk ,
k=0
amit az egyenletbe visszarva s sszevetve az egytthatkat:
X
k=0
Teht
ak t =
X
k=0
ak+1 (k + 1)tk ak = ak+1 (k + 1) ak+1 =
y(t) =
k
X
t
k=0
= et .
n=0 cn t
cn k
c0 = a , kcn = cn+1 (n + 1) cn+1 = n+1
.
n
P
(kt)
akn
kt
gy cn =
n=0 n! = ae .
n! , s y(t) = a
B/1/b, Hasonlan, mint az a, rszben:
B/2, Keressk a megoldst
u(x, t) =
y(t) =
k!
1
.
(k + 1)!
n,
y 0 (t) =
n=1 bn (t) sin nx alakban!
n1 n .
n=1 cn t
150
24.3. bra. A/1/c feladat.
A kezdeti felttelbl
bn (0) = an .
u X 0
=
bn (t) sin nx ,
t
n=1
Lsd 1/b
bra.)
bn (t) = an e
n2 t
n=1
b0n (t)
. Teht
2u X
=
bn (t)(n2 sin nx)
x2
2
= (n )bn (t) .
P
n2 t sin nx .
u(x, t) =
k=1 an e
(Lsd 24.4.
u(x, t) a t = 0 idpillanatban (an = cos n, nmax = 10). (A t id

t = 0.01, t = 0.1 s t = 1 idegysgnl a tzszeresre gyorsul.)
24.4. bra. B/2. feladat:

nem telik egyenletesen,
151
fejezet 25
2. minta zrthelyi
1. Legyen a t a i kezdpontot az 1 vgponttal sszekt egyenes szakasz. Szmtsuk ki a
kvetkez komplex vonalintegrl rtkt!
(3 p)
Z
z dz .
2. Legyen a a (0, 1) pontbl az y = 2x grbn az (1, 2) pontba rkez t. Szmtsuk ki a

kvetkez komplex vonalintegrl rtkt!
(3 p)
Z
cos z dz .
3. Szmtsuk ki a kvetkez komplex vonalintegrl rtkt!

I
sin z
dz ,
z2 + 1
(2+2+2+2 p)
ha a t a kvetkez pozitv krbejrs zrt grbe:

a, |z + i| = 1 ;
b, |z i| = 1 ;
c, |z| = 5 ;
d, |z + 10| = 2 .
4. Egyenletesen konvergens-e a (, ) intervallumon a kvetkez fggvnysorozat?
(3 p)
fn (x) = arc tg nx .
5. A [0, 0.9] intervallumon rtelmezett
vetkez numerikus sor sszegt.
n=0
xn fggvnysor segtsgvel hatrozzuk meg a k(5 p)
n1
X
1
n
.
2
n=1
6. Fejtsk Fourier-sorba a kvetkez fggvnyt!
(
x , ha x (, ) ,
f (x) =
0
, ha x = vagy x = .
153
(4 p)
Irodalomjegyzk
[1] Csszr .: Vals analzis I.II. Nemzeti Tanknyvkiad, Budapest, 1983.

[2] Fekete Z.Hanka L.: Tbbvltozs fggvnyek analzise. Mszaki Knyvkiad, Budapest (Bolyai knyvek), 2006.
[3] Freud R.: Lineris algebra. ELTE Etvs Kiad, 1996.
[4] Gyemidovics B. P.: Matematikai analzis. (pldatr) Tanknyvkiad, Budapest, 1971.
[5] Hanka L.Zalay M.: Komplex fggvnytan. Mszaki Knyvkiad, Budapest (Bolyai
knyvek), 2003.
http://nimbus.
elte.hu/~hagi/segedanyag/vektorszamitas_felev1/vektor_felev1_jegyzet.pdf
[6] Havasi .: Vektorszmts fldtudomnyi szakosoknak (jegyzet)
[7] Komornik V.: Vals analzis eladsok III. Typotex, Budapest, 2003.
[8] Nmeth J.: Eladsok a vgtelen sorokrl. SZTE Bolyai Intzet (Polygon knyvsorozat), Szeged, 2002.
[9] Szkefalvi-Nagy B.: Komplex fggvnytan. Nemzeti Tanknyvkiad, Budapest, 1999.
155
Trgymutat
tviteli elv, 45
hrmas integrl, 105
rint, 51
hatrrtk, 45
vhossz, 73
hatrpont, 11
hatvnysor, 121
altr, 27
hengerkoordintk, 105
bzis, 27
implicit alakban megadott fggvny dif-
Banach-fle xpontttel, 19
ferencilsa, 57
Banach-tr, 33
irnymenti derivlt, 57
bels pont, 11
Jacobi-mtrix, 51
CauchyRiemann-fle dierencilegyenlekrnyezet, 11
tek, 121
Cauchy-fle integrlformula, 129
kls pont, 11
Cauchy-fle integrlttel, 129
ketts integrl, 97
Cauchy-sorozat, 19, 33
kisrend fggvny, 51
csillagszer halmaz, 83
komplex vonalintegrl, 129

kompozci dierencilsa, 57
derivlt, 51
kontrakci, 19
dierencilhatsg, 51, 111
konvergencia, 19
dimenzi, 27
konvergenciahalmaz, 141, 149

konvergenciasugr, 121
egyenletes konvergencia, 141, 149
konvergens
ekvivalens normk, 33
pontonknt konvergens, 141, 149

konvergens sorozat, 33
fggvnysor, 149
korltos lekpezs, 39
fggvnysor sszegfggvnye, 149

fggvnysorozat, 141
Laplace-egyenlet, 121
fggvnysorozat hatrfggvnye, 141
lineris fggetlensg, 27
xpont, 19
lineris kombinci, 27
folytonos lekpezs, 39
lineris lekpezs, 27
folytonos lineris lekpezs, 39

folytonossg, 45, 111
msodfaj vonalintegrl, 83
Fourier-sor, 155
metrika, 11
metrikus tr, 11
gmbi koordintk, 105
ngyszgtartomny, 97
genertorrendszer, 27
157
158
NewtonLeibniz-formula, 83, 129

normlt tr, 33
normltartomny, 97, 105
norma, 33
nylt halmaz, 11
parcilis derivltak, 45
polrtranszformci, 97
pontozott krnyezet, 11
primitv fggvny, 83, 129
regulris fggvny, 121
szlsrtk, 65
szakaszonknt sima t, 73
tglatartomny, 105
Taylor-fle kplet, 121
Taylor-polinom, 65
Taylor-sor, 65
teljes metrikus tr, 19
torldsi pont, 11
vektortr, 27
zrt halmaz, 11
TRGYMUTAT

Mat 34TMT Mem

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Mat 34TMT Mem

Uploaded by

Copyright:

Available Formats

Mincsovics M. E.

3 Vektortr, lineris lekpezsek

5 Normlt terek  folytonos lineris lekpezsek

7 Normlt terek  hatrrtk, folytonossg

8 Normlt terek  dierencilszmts I.

9 Normlt terek  dierencilszmts II.

10 Normlt terek  dierencilszmts III.

11 Normlt terek  integrlszmts I.

13 Normlt terek  integrlszmts II.

13.1. Elmleti sszefoglal

14 Normlt terek  integrlszmts III.

16 Tbbszrs integrlok II.

16.1. Elmleti sszefoglal

16.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 102

17.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 107

19 Komplex fggvnytan II.

19.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 116

20 Komplex fggvnytan III.

20.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 122

21 Komplex fggvnytan IV.

21.2. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 127

22.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 134

23.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 142

24.1. Elmleti sszefoglal

24.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 147

 jelli, ha van hozz kidolgozott megolds,

gozott megoldst. Az egyes feladatoknl

kat, [1]-tl precz trgyalst kapunk. A komplex fggvnytanba az elnyhetetlen [9] ad

1.1. Elmleti sszefoglal

val tvolsga. Vgl, hrom tetszleges vals szm,

tvolsg nem lehet nagyobb, mint az

vals szmtl val tvolsga ugyanakkora, mint a

tvolsgok sszege. Ez alapjn

halmazon a tvolsgfggvny, ms nven metrika fogalmt

egy tetszleges nem res halmaz,

fggvny, amely rendelkezik a kvetkez hrom tulajdonsggal:

d(x, z) d(x, y) + d(y, z) x, y, z X

valban metrikt denil, de nem ez az

diszkrt metrikus trnek nevez-

Az (X, d) metrikus trben az x0 X elem r > 0 sugar krnyezet n

bels pont ja,

van olyan krnyezete, amely csak

bels pontjainak a halmazt

kls pont ja, ha x-nek van olyan krnyezete, amely nem

minden krnyezetben van

halmaz hatrpontjainak a halmazt

Ennek segtsgvel denilhatjuk a zrt, illetve nylt halmaz fogalmt.

ha minden pontja bels pont;

sugar (ki )pontozott

torldsi pont ja, ha x minden pontozott krnyezete

fggvnyek metrikt denilnak-e

(x, y) = |x| + |y| ;

2. Lssuk be, hogy MT!

2. Szemlltessk brval, hogy milyen fggvnyek tartoznak bele az azonosan

1 sugar krnyezetbe  teht K1 (0),

3. Adjunk pldt olyan MT-re s krnyezetekre, amelyekre

Kr (x) = KR (x) s R > r ;

MT-ben a kvetkez halmazok zrtak/nyltak-e,

illetve adjuk meg a torldsi, bels, kls s hatrpontjaik halmazt.

D, Az sszes eddigi fogalmat vizsgljuk meg diszkrt metrikus trben!

d1 (x, y) 0 x, y Rn , mivel |xi yi | 0 i {1, 2, . . . , n}.

|xi yi | = |yi xi | i {1, 2, . . . , n}.

metrika esetn itt csak a harmadik tulajdonsgot (hromszg-egyenltlensg)

teljesl. Ennek beltshoz vezessk be a kvetkez vltozkat:

5 Normlt terek folytonos lineris lekpezsek

7 Normlt terek hatrrtk, folytonossg

8 Normlt terek dierencilszmts I.

9 Normlt terek dierencilszmts II.

10 Normlt terek dierencilszmts III.

11 Normlt terek integrlszmts I.

13 Normlt terek integrlszmts II.

14 Normlt terek integrlszmts III.

16.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 102

17.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 107

19.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 116

20.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 122

21.2. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 127

22.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 134

23.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 142

24.3. MegoldsokEredmnyektmutatsok . . . . . . . . . . . . . . . . . . . . 147

jelli, ha van hozz kidolgozott megolds,

valban metrikt denil, de nem ez az

Ennek segtsgvel denilhatjuk a zrt, illetve nylt halmaz fogalmt.

fggvnyek metrikt denilnak-e

1 sugar krnyezetbe teht K1 (0),

Ez pedig ppen a jl ismert CBS-egyenltlensg (CauchyBunyakovszkijSchwarzegyenltlensg) (amirl tudjuk, hogy teljesl

2.1. Ttel. (Banach-fle xpontttel)

Hatrozzuk meg a xpont rtkt