You are on page 1of 30

Etvs Lornd Tudomnyegyetem

Termszettudomnyi Kar

A Mandelbrot halmaz
BSc szakdolgozat

Ksztette: Bertalan gnes


Matematika Bsc
Alkalmazott matematikus szakirny

Tmavezet: Sigray Istvn


mszaki tanr
Analzis Tanszk

Budapest, 2011

Tartalomjegyzk

1. Alapfogalmak s ttelek

1.1. Riemann-gmb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. A Julia halmaz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Loklis vizsglat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Kitlttt Julia halmaz . . . . . . . . . . . . . . . . . . . . . . . . . .

2. Mandelbrot halmaz

12

2.1. Benot Mandelbrot rksge . . . . . . . . . . . . . . . . . . . . . . . 12


2.2. Az sszefggsg bizonytsa . . . . . . . . . . . . . . . . . . . . . . . 13
2.3. A iterci jra gondolsa . . . . . . . . . . . . . . . . . . . . . . . . . 14

3. Program

16

3.1. mandelbrot.m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.2. julia.m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3. mm.m . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

4. Eredmnyeink

22

4.1. A paramter megvlasztsa . . . . . . . . . . . . . . . . . . . . . . . 22


4.2. A generlt halmaz sszefggsgnek vizsglata . . . . . . . . . . . . 25

Bevezets

A szakdolgozatban a Mandelbrot halmaz egy ltalnostsval foglalkozunk. Vizsglataink alaptlett az adja, hogy az itercit ler fggvnyt sztbontjuk vals s
kpzetes rszre, majd azt gyeljk, hogy ezen vals fggvnyek klnbz vltoztatsa a Mandelbrot halmazon milyen torzulst okoz. Vizsgljuk tovbb a halmaz
s a hozz tartoz Julia halmazok sszefggsgt.
Az els fejezetben a tmakr elmleti httert foglaljuk ssze rviden, a szksges dencik, lltsok s ttelek segtsgvel. Az alfejezetekben a Riemann-fle
szmgmb denicija s konstrulsa tallhat, a Fatou s Julia halmazokkal kapcsolatos fontosabb sszefggseket, majd a halmazok loklis tulajdonsgait vizsgljuk.
A fejezet vgn a kitlttt Julia halmaz ltal kerlnk kzelebb a cmben emltett
halmazhoz.
A msodik fejezetben magval a Mandelbrot halmazzal foglalkozunk. Pontosan
deniljuk a halmazt, majd rviden sszegeznk Benot Mandelbrot munkssgt
s az sszefggsgrl szl cikk tartalmt ismertetjk. A fejezet vgn a egy nem
tl ismert megkzeltst vzolunk, ez a szakdolgozat tmja.
A kvetkez rszben az ltalam rt programok kdjai szereplenek s rvid ismertet a mkdskrl.
Az utols fejezet kt krdst fogalmaz meg, melyekre megprblunk vlaszt adni.
Ebben a fejezetben van lerva a sajt eredmnynk. Az rhetsg rdekben sok
kppel illusztrltuk a lertakat.

1. fejezet

Alapfogalmak s ttelek

A fejezetben megismerkednk a fontosabb denicikkal s ttelekkel. Ahol szksges pldt is mutatunk.

1.1.

Riemann-gmb

Trtlineris lekpezsek vizsglatnl rdemesebb a komplex skot egy ponttal


kiegszteni, amelynek a krnyezetei a korltos halmazok komplementeri, s gy
tekinteni, hogy a z 7 (az + b)/(cz + d) lekpezsnl d/c kpe s a kpe a/c.
Az gy kiegsztett komplex skot Riemannn-fle szmgbnek nevezzk s C jelljk.1
A szmgmb elnevezs azrt helynval,
mert a sk s az egysggmb fellet
kztt bijekcit lehet adni, ezt hvjuk

sztereograkus projekcinak.
A vetts alapgondolata az, hogy a
gmb dli plust (S ) s a
komplex szmskon az origt feleltessk
meg egymsnak. A sk minden pontjt (A illetve B ) kssk ssze az szaki plussal
(N ), ahol ez a szakasz metszi a gmbfelletet ott lesz a komplex szm kpe (A0 illetve
B 0 ). Ahogy az origtl tvolodunk a skon, azaz a komplex szm abszoltrtke tart

a vgtelenhez, gy kzelednk a gmbfelleten az szaki plushoz, de azt soha nem


1 Jrai Antal: Modern alkalmazott analzis

1.2. A Julia halmaz

rjk el, ez feleljen meg a kpnek. Az gy kapott lekpezs klcsnsen egyrtelm


a Riemann-fle szmgmb s az egysggmb fellet kztt.
Vizsgljuk meg a sk s a gmbfellet konvergencia viszonyait is. Mindkt irnyban folytonos a megfeleltets, gy ha a skon zn z , akkor a gmbn is igaz lesz
a konvergencia, azaz zn0 z 0 . Ez nylvn val a z 6= esetben. Ha zn = akkor
a konvergencit ppen a gmbi kpe utn rtelmezzk, vagyis a zn jelenti a
|zn | . Emiatt nem kell a -t hozz venni a Riemann-gmbhz.

Ezek utn knnyen meggondolhat, hogy a szakasz kpe geodetikus szakasz, az


egyenes kpe pedig egy, az szaki pluson thalad kr.
1.2.

A Julia halmaz

1.1. Denci. Legyen D C tartomny. F elemei g : D 7 C holomorf


fggvnyek. F -et normlis csaldnak nevezzk, ha minden gn F sorozatnak van
D-n loklisan egyneletesen konvergens rszsorozata.

1.1. Megjegyzs. Weierstrass ttele miatt a rszsorozatok is holomorf fggvnyhez


konverglnak.

Ezt szoktk ltalban normlis csaldnak nevezni. Neknk egy ltalnosabb


dencira lesz szksgnk.

1.2. Denci. Legyen D C, ami a gmb felletet rsztartomnya. F -nek D-n


meromorf fggvnyek az elemei. Ezeket a fggvnyeket f : D S 2 S 2 fggvnyekkel azonostjuk, ahol S 2 = {x, y, z : x2 +y 2 +z 2 = 1}. Az F normlis csald,
ha ltezik gkn loklisan egyenletesen konvergens rsz sorozata a gmb felleten.

1.2. Megjegyzs. A 1.1 s a 1.2 denicik nem teljesen ekvivalensek, mg akkor


sem ha F csak holomorf fggvnyeket tartalmaz.
Pldul: legyen f (z) = z n alak fggvnyek, az egysg kr klsejn a 1.1 denici
szerint nem tartozik f normlis csaldjba, mg a 1.2 denici szerint bele tartozik,
mert z n loklisan egyenletesen tart a vgtelenhez.
Az viszont igaz, hogy ha F csak holomorf fggvnyekbl ll s a 1.1 dinici
szerinti normlis csald, akkor minden gn sorozathoz tallhat olyan gkn rszsorozat,

1.2. A Julia halmaz

melyre loklisan egyenletesen konvergl vagy egy g holomorf fggvnyhez vagy a


vgtelenhez, azaz gn sorozathoz gkn rszsorozat: vagy gkn g , ahol g holomorf
vagy gkn loklisan egyenletsen.

1.1. Ttel (Vitali-Montel). Ha ltezik olyan K>0 szm, hogy minden g F


esetn | g | K , akkor F normlis csald.

1.3. Denci. Legyen f 0 (z) = id, f 1 (z) = f (z), f 2 (z) = f f (z), ... ,f n (z) =
f f .... f (z), azaz f n az n-szeres iterlt.
|
{z
}
n

1.4. Denci. Legyen f : C C racionlis trtfggvny. Ha z0 -nak van olyan D


krnyezete, melyre f n D-n normlis csald akkor z0 F (f ), azaz z0 az f fggvny

Fatou halmazban van.


A J(f ) = C\F (f ) az f fggvnyhez taroz Julia halmaz.

Egy egyszer plda a Julia halmazra: a f (z) = z 2 fggvny. Vizsgljuk meg,


hogy ennek a lekpezsnek mi a Julia s mi lesz a Fatou halmaza!
Azt lltom, hogy az f -hez tartoz Julia halmaz az egysgkrvonal. A tr tbbi
rsze azaz az egysgkr klseje s belseje pedig az f -hez tartoz Fatou halmaz. Ezt
knnyen be tudjuk ltni, ha a denicikat ellenrizzk.
Nzzk elsszr az egysgkr belsejt. Ha r<1, akkor f n (B(0, r)) = B(0, r2 ), teht
n

f loklisan egyenletesen konvergl a 0-hoz B(0, 1)-en. Hasonlan meggondolhatjuk,

hogy a kr klseje is a Fatou halmaz rsze.


Az egysgkrvonal brmely kis krnyezetben van olyan pont, amely a vgtelenhez s olyan, amely a 0-hoz konvergl, ezrt nem lehet a F (f )-ben.

1.1. bra.
C = J(f )

F (f ) sszefggs miatt az egysgkrvonal az f -nek a Julia halmaza.

Kivteles ez az eset, abban, hogy a Julia halmaz nagyon sima, egyszer. ltalban

1.3. Loklis vizsglat

sokkal sszetettebb. Nzzk meg, hogy kicsi perturbci esetben hogyan viselkedik
a Julia halmaz. Vegyk a f (z) = z 2 + c fggvnyt, ahol c C s kicsi abszult
rtk.
Ekkor a Julia halmaza mr nem kr lesz, hanem a kr egy perturbltja. Minl
nagyobb a c abszoltrtke annl nagyobb lesz az eltrs a krtl (1.1).
Nagyobb abszolt rtk konstans esetn mr semmilyen hasonlsg nem
fedezhet fel az krrel. A 1.2 kpen a
n. Douady nyl lthat, mely a c =
0.122565+0.744864i ponthoz tartozik.

Ez a halmaz Adrien Douady francia


matematikusrl kapta a nevt, s jl
szemllteti a Julia halmazok komplexitst.
z0 = esetn a g(z) =

1
f ( z1 )

1.2. bra.

fgg-

vnyt vizsgljuk a 0 pontban, mert az


gy kapott j fggvny a 0-ban ugyan gy viselkedik, mint az eredeti a -ben.

1.1. llts. Ha f foka legalbb 2, akkor J (f)-ben nincs izollt pont.


1.2. llts. J(f ) invarins f-re nzve, azaz f (J(f )) = f 1 (J(f )) = J(f ).
1.3.

Loklis vizsglat

Most a pontok loklis krnyzett vizsgljuk meg s osztlyozzuk.

1.5. Denci. Legyen z0 f -hez tartoz xpont. Ekkor a xpont sajtrtkn a


f 0 (z0 )-t rtjk, ha z0 6= .

Ha z0 = , akkor vegyk a g(z) =

1
f ( z1 )

segd fggvnyt. Ebben az esetben z0

f -hez tartoz sajtrtkn g'(0)-t rtjk.

Jells: f (z0 ), ha f s z0 egyrtelm akkor -val jellnk.


1.6. Denci. Azt mondjuk, hogy z0 az f fggvnynek

1.3. Loklis vizsglat

vonz xpontja, ha sajtrtknek abszoltrtke kisebb egynl, azaz || < 1,

szupervonz xpontja, ha sajtrtke 0, azaz =0,

taszt xpontja, ha sajtrtknek abszoltrtke nagyobb egynl, azaz


|| > 1.

1.7. Denci. Legyen z0 az f fggvny k-hossz periodusa. Ekkor a periodikus


pont sajtrtkn a (f k )0 (z0 )-t rtjk, ha z0 6= .
1.8. Denci. A vonz, szupervonz s taszt periodikus pont az elbbiekhez hasonlan denilhat. Azt mondjuk, hogy z0

vonz periodikus pont, ha || < 1,

szupervonz periodikus pont, ha = 0,

taxt periodikus pont, ha || > 1.

Legyen D0 = B(z0 , ) > 0. Jelljk D1 -gyel f 1 (B(z0 , ))-nak azon komponenst, amely tartalmazza z0 -t. Hasonl gondolatmentet alkalmazva Dn legyen az
f 1 (Dn1 )-nak azon komponense, amely tartalmazza z0 -t.

Knnyen meggondolhat, hogy ezen tartomnyok monton nv sorozatot alkotnak, azaz D0 D1 .... Dn1 Dn ...
Legyen D =

Dn . Ekkor D a z0 -hoz tartoz

vonzsi tartomny.

n=0

1.3. Megjegyzs. D fggetlen -tl.


1.2. Ttel. Minden vonz periodikus pont plyja a Fatou halmazban van. Teht
D F (f ), de D J(f ).

Minden taszt periodikus pont plyja a Julia halmazban van.

1.9. Denci. Azt mondjuk, hogy z0 kritikus pont, ha z0 6= , f (z0 ) 6= , de


f 0 (z0 ) = 0 teljesl.

1.3. llts (Kritikus pont). Legyen f racionlis trtfggvny, z0 f-nek egy vonz
xpontja, s z0 vonzsi tartomnya. Ekkor tartalmazza f legalbb egy kritikus
pontjt.

1.4. Kitlttt Julia halmaz

1.10. Denci. Egy peridikus pontot parabolikusnak (f n (z0 ) = z0 ) neveznk,


ha a sajtrtke 1 s az f n nem az identits.

1.4. Megjegyzs. f n csak akkor lehet identits, ha f olyan linerris trtfggvny,


amelynek kt xpontja van, melyeknek sajtrtke n-edik egysggyk.

1.3. Ttel (Koenigs). Legyen f (z) = z + a2 z 2 + a3 z 3 + ... Ha || =


6 {0, 1}, akkor
ha ltezik 0-nak olyan nylt krnyezete S, s ltezik : S C racionlis trtfggvny
(0) = 0, w = (z), hogy f 1 : w 7 w lineris lekpezs, s konstanssal

val szorzs erejig egyrtelm.

1.4. Ttel (Bttcher). Legyen f (z) =

n=k

an z n , ahol k 2, ak 6= 0 racionlis

trtfggvny. Akkor ha ltezik 0-nak olyan nylt krnyezete S, s ltezik : S 7 C


lekpezs (0) = 0, w = (z), hogy f 1 : w 7 wn , s egyrtelm egy
(n-1)-szeres gykkel val szorzs erejig.

1.4.

Kitlttt Julia halmaz

1.11. Denci. Legyen f (z) d-ed fok polinom, d 2. Jelljk K(f )-fel azon pontok halmazt, amelyek plyja korltos, K(f ) komplementernek brmely z pontjra
az iterltjai a vgtelenhez tartanak. Ekkor K(f )-et az f fggvnyhez tartoz kitlttt

Julia-halmaznak hvjuk.
1.4. llts. Legyen f (z) = z k + ak1 z k1 + ... + a1 z + a0 , s legyen
C := 2 + 2(|ak1 | + |ak2 | + ... + |a1 | + |a0 |) (csak f -tl fgg) konstans.

1. {f n (z0 )} korltos, azaz z0 eleme a K(f )-nek.


2. {f n (z0 )} nem korltos.
2.1 f n tart a vgtelenbe, n esetn.
3. minden n N {0} esetn |f n (z0 )| C .
4. ltezik n N {0}, hogy |f n (z0 )| > C .
Ekkor az 1.) ekvivalens a 3.)-mal, illetve a 2.) a 2.1) s a 4.) is ekvivalensek.

1.4. Kitlttt Julia halmaz

10

1.5. Megjegyzs. Az elz llts 1. s 2. (2.1), illetve a 3. s 4. pontja egyms


ellenttei.

1.4 Bizonyts:
2.)2.1) Trivilis.
2.)4.) Ha f n nem korltos, akkor minden C 0 esetn ltezik olyan n, hogy az
|f n | nagyobb C 0 -nl. Legyen C 0 = C -nek, ekkor a 4.) llts igaz lesz.

4.)2.1) |z0 | > C akkor


|f (z0 )| = |z0n + an1 z0n1 + ... + a1 z0 + a0 |
|z0n | |z0n1 |(|an1 | + |an2 | + ... + |a1 | + |a0 |)
|z0n1 |{|z0 | (|an1 | + |an2 | + ... + |a1 | + |a0 |)}
2|z0n1 | 2|z0 |
|f k (z0 )| 2k |z0 | 2k C . Ha |f l (z0 )| > C , akkor |f l+k (z0 )| > 2k C , azaz f n a

vgtelenbe tart, ha n-el a vgtelenbe tartunk.


3.)1.) Ez az irny is egytelm, mert ha z0 plyja kisebb C -nl, azaz van fels
korltja akkor z0 benne van K(f )-ben.
1.)3.) A 1.5 megjegyzsbl kvetkezik.


1.4 llts egy msik tfogalmazsa:

1.5. llts. Legyen f (z) = z n + an1 z n1 + ... + a1 z + a0 , s legyen


C := 2 + 2(|an1 | + |an2 | + ... + |a1 | + |a0 |) (csak f -tl fgg) konstans, melyre
z0 K(f ) akkor s csak akkor, ha z0 plylya C -nl kisebb abszoltrtk pontokbl

ll.

1.6. llts. K = J(f )


Bizonyts:
1) J(f ) K
int(K) F (f ) a Vitali-Montel ttel miatt. C \ K = ext(K) s minden
z0 ext(K) pontnak egy krnyezetben f n loklisan egyenletesen tart vgtelenbe.

1.4. Kitlttt Julia halmaz

11

Ebbl kvetkezik, hogy ext(K) F (f ). Tudjuk, hogy F (f ) J(f ) = C, ezrt


J(F ) K

2) K J(f )
Legyen z0 K , akkor z0 brmilyen kicsi krnyezetben vannak olyan z s w
pontok, melyekre igaz, hogy |f n (z)| K s f n (w) . Emiatt K nem lehet
rsze az F (f )-nek. Teht K J(f )
Ha tudjuk, hogy J(f ) K s K J(f ) akkor K = J(f )

1.7. llts. Legyen f polinom. Ekkor J(f ) akkor s csak akkor sszefgg, ha
K(f ) tartalmazza f sszes kritikus pontjt.

2. fejezet

Mandelbrot halmaz

2.1. Denci. Legyen M C halmaz, ahol M = {c C|xn = x2n1 + c 9 }, az


M halmazt Mandelbrot halmaznak nevezzk.
Azaz a Mandelbrot halmaz elemei olyan komplex szmok, melyekre a xn = x2n1 + c
iterci nem tart a vgtelenbe. Ha ezen pontokat brzoljuk a komplex szmskon
akkor kapjuk a mr sokak ltal ismert fraktlalakzatot. Az 1.7 llts alapjn megfogalmazhat egy msik, az elbbivel ekvivalens denici.

2.2. Denci. Legyen fc : C C fggvny ahol f (z) = z 2 + c. Azon c C pontokat melyekre a hozzjuk tartoz Julia halmazok sszefggek Mandelbrot halmaznak nevezzk.
2.1.

Benot Mandelbrot rksge

A trtnelem folyamn nem Mandelbrot volt az, aki elszr vizsglt itercikat,
pldul Helge von Koch, Wacaw Sierpiski, Gaston Julia, Pierre Fatou, vagy Riesz
Frigyes. Mandelbrot j szemlletben az volt az ttr jelentsg, hogy nem csak
magt az itercit vizsglta, hanem a kapott alakzat is rdekelte. gy jutott el az
nhasonl alakzatok vilghoz. A fraktl elnevezst is alkotta meg, 1975-ben megjelent Les objets fractals, forme, hasard et dimension cm cikkben, a latin fractus
szbl, amely trttet jelent utalva a dimenzi szmra.
Legkorbbi lmnye ezzel a tmakrrel 1945-ben volt,amikor nagybtyja, aki
12

13

2.2. Az sszefggsg bizonytsa

szintn matematikus volt Gaston Julia egyik cikkre hvta fel a gyelmt. Ekkor mg
nem

fordult

ebbe

az

irnyba,

csak

mintegy

25

vvel

ksbb.

Benot Mandelbrot (1924-2010) sokat


foglalkozott a kosszal, komplex rendszerekkel, mgis amirl mindenki ismeri
a nevt, az a rla elnevezett halmaz. Ezt
elszr a 1979-ben rajzolta ki (2.1 bra),
de csak '82-ben Adrien Douady s J.
Hubbard nevezte el a halmazt.
Egy itercival foglalkozott a komplex szmskon, amelyet mr a bevezetben

2.1. bra. Mandelbrot-halmaz

emltettnk. Itt z rtke lland s c


rtke vltozik. Azt vizsglta, hogy milyen c esetn lesz konverens az iterci s
mikor nem. szre vette hogy ha konvergens a sorozat, akkor vagy 0-hoz vagy -hez
konvergl.
Megllaptotta, hogy ha az iterci
sorn a szm abszoltrtke meghalad
egy hatrt, akkor biztosan a vgtelenhez tart. A sznes brkon legtbb esetben a fekete rsz azon szmok halmaza, amelyek korltosak, ez a halmaz
belseje. A tbbi szn pedig a vgtelenhez
val konvergls sebessgt jelenti. 2.2
brn egy pont minl sttebb kkkel
2.2. bra.

van sznezve annl gyorsabb a konvergencia sebessge.

2.2.

Az sszefggsg bizonytsa

vekig nyitott krds volt a Mandelbrot halmaz sszefggsge. Az brk alapjn


azt gondoltk, hogy a halmaz nem sszefgg, de az els rajz megszletse utn

2.3. A iterci jra gondolsa

14

4 vvel, 1983-ben be lett bizonytva, hogy ez a halmaz sszefgg. A. Duoady s


J.H. Hubbard Iteration of complex quadratic polinomials cikkben piblikltk az
eredmnyt. Ezen cikk felvetett tbb fontos mig tisztzatlan krdst. A mai napig
nem szletett ennl jelentsebb, kzrthet eredmny a tmval kapcsolatban. A
kvetkezkben rviden ismertetjk a cikk tartalmt:
A cikk a msodfok lekpezsek iterciival foglalkozik a Riemann-szmgmb
felett, pontosabban a fc (z) = z 2 + c alak fggvnyekkel, ahol c C. A ers
vonz pontja fc -nek s a vonzsi tartomny az egyetlen kritikus pontot vagy tartalmazza vagy nem tartalmazza. Az els esetben fc Julia halmaza Cantor-tpus nem
sszefgg halmaz, mg a msik esetben a Julia halmaz ugyan sszefgg, azonban
topolgija nem egyszer (Ld Douady nyl 1.2).
Az els ttel kimondja, hogy M sszefgg, komplementere pedig konform ekvivalens az egysg krlappal. A komplementere pedig konform ekvivalens az egysg
krlappal. A harmadik ttel pedig M komplementuma s az egysgkrlap kztti termszetes konform bijekcit a hatron, azaz az egysgkrvonalon vizsglja. Belttk,
hogy M belsejnek mindegyik komponense konform ekvivalens az egysgkrlappal.
(A konform lekpezs expliciten adott.) Bvebb rszleteket ld. [4].

2.3.

A iterci jra gondolsa

Azta, hogy az els brk elkszltek mr sokan sokflekppen jra gondoltk a


szablyt, s az ltalnosts lehetsgt. Volt aki a hatvnyt nvelte, volt aki ms
polinommal dolgozott, de szinte mindig komplex szmsk feletti iterci volt.
Ha z 3 , z 4 ... szabllyal kszlt brkat megnzzk, akkor semmilyen hasonlsgot
nem lehet felfedezni az alaphalmaznak tekinhet Mandelbrot halmazzal. Ezekben
az esetekben hatrozottan ltszik valamilyen fajta kzpponti szimmetria, mely az
eredeti halmaz esetben nem volt meg. Mi arra trekedtnk, hogy minl kisebb
vltozst idzznk el a kapott halmazokban.
Ezrt egy mg nem sokak ltal vizsglt megkzeltst alkalmaztunk. A szakdolgozatban kt ktvltozs vals fggvnyknt tekintnk a problmra. Ha komplex
fggvnyknt nznnk akkor az egyik fggvny lenne a vals rsz, mg a msik a

2.3. A iterci jra gondolsa

15

kpzetes rsz. Teht az esetnkben a Mandelbrot-halmaz hozzrendelsi szablya:


f (x, y) = x2 y 2 + c1 , g(x, y) = 2xy + c2 , ahol x, y, c1 , c2 R.

Ilyen jelleg vizsglatokat elttnk mr tbben is vgeztek, pldul Bergweiler


[6], Flechter s Goodman [5]. A szakdolgozat alaptlete ezen mvektl fggetlenl
szletett meg, s a munka sorn nem hasznltuk fel a tartalmukat. Azon olvask
szmra, akik rdekldst felkeltettk ezen tmakr irnt, gy gondoljuk j kiindul
pont lehet e kt cikk.
A programnak inputknt teszleges vals fggvny megadhat, nem felttlenl
csak polinomok. Ezen tulajdonsg a program megrsnak kvetkezmnye, de minket
elssorban csak a polinom inputok rdekelnek, azok kzl is csak azok melyek az
ltalunk az elejn meghatrozott kritriumokat teljestik.
Els sorban azt vizsgltuk, hogy a paramterek vltoztatsa milyen hatssal van
a kapott halmazra: ltvnyban, a halmaz illetve a hozz tartoz Julia halmazok
sszefggsgre. A dolgozatban egyetlen fggvny prt vizsglalunk:
f (x, y) = x2 y 2 , g(x, y) = 2xy + 0.9x2 .

3. fejezet

Program

A program MATLAB-ban kszlt, 3 rszbl ll: mandelbrot.m, julia.m, mm.m. A


program megrsa sorn a korbban tanultakat hasznltam fel, illetve ahol szksges
volt ott segtsgt krtem.
A knnyebb kezelhetsg rdekben ksztettem egy GUI-t, mely segtsgvel a
paramtereket knnyebben lehet lltani. A vezrl panel a 3.1 brn lthat.
A feloszts nomsgt clszer 1000
alatt tartani, mert ekkor mg knnyen
szmolhat az iterci, 2000 nagysg
rend esetn mr a plottols nehzsget
okoz a gpnek. Az iterci szmot 35 fel
mr nem rdemes emelni, mert ekkor
mr nincs ltvnyos eltrs az addig
kapott brkkal, de a program futsi
idejt megnveli. A tengely minimum s

3.1. bra.

maximum koordinti esetben gyelni

kell arra, hogy egy ngyzet intervallumot adjunk meg, ha nem gy tesznk akkor az
bra torzulni fog.
A 3 fle md kzl tudunk vlasztani, melyet a legrdl menben tallunk:

Semmi: A halmaz kirajzolsa utn a program lell.


Julia: A kezd halmaz 3 kattintssal kivlastott pontjaihoz tartoz Julia halma16

3.1. mandelbrot.m

17

zokat rajzolja ki, minden bra kln ablakban jelenik meg, a kivlasztott pontokat az bra fels rszn megtalljuk.

Nagyt: A kezd halmaz egy kattintssal vlasztott pontja kis krnyezetben jra
szmolja az iterci, ezltal nagytani lehet a kpet. Ezt egyms utn 3-szor
lehet megismtelni.
Az iterci futtatst a Start gomb megnyomsa utn kezdi el, s a ksztett
brt kln ablakban mutatja.
A kt rajzolst biztost program minden belltott rtket felhasznl. A programok gy lettek megrva, hogy nllan is tudjanak futni, de ekkor minden prarmtert kzzel kell megadni, a megfelel input sorrendet tartva.
Az alaprtkek a GUI-ban gy lettek megvlasztva, hogy viszonylag gyorsan
fusson a program s a kapott bra mutassa a sajtossgokat. A kezd fggvnyek a
Mandelbrot halmazt rajzoljk ki.
A dolgozatban szerepl kpek esetben az iterci szm 25, a feloszts szm 700
volt. Ekkor egy kp elksztse krlbell fl percet vett ignybe. A 2000 iterci
szmnl ez tbb volt mint 3 perc, de a kpek kztt szabadszemmel szrevehet
eltrs nem volt.

3.1.

mandelbrot.m

Ez a program vezrli a GUI-t. Az itt tallhat kd nem teljes, ez csak a lnyegi


rsz.
function pushbutton_start_Callback(hObject, eventdata, handles)
f=get(handles.edit_f,'String');
fstr=f;
save f f
load f
f=@(x,y)eval(f);
g=get(handles.edit_g,'String');
save g g

3.1. mandelbrot.m

load g
gstr=g;
g=@(x,y)eval(g);
m=get(handles.edit_feloszt,'String');
m=str2num(m);
xmin=get(handles.edit_xmin,'String');
xmin=str2num(xmin);
xmax=get(handles.edit_xmax,'String');
xmax=str2num(xmax);
ymin=get(handles.edit_ymin,'String');
ymin=str2num(ymin);
ymax=get(handles.edit_ymax,'String');
ymax=str2num(ymax);
iter=get(handles.edit_iter, 'String');
iter=str2num(iter);
figure
mm(m,f,g,xmin,xmax,ymin,ymax,fstr,gstr,iter);
switch get(handles.popupmenu_valaszt,'Value')
case 2
[p1,q1]=ginput(1);
[p2,q2]=ginput(1);
[p3,q3]=ginput(1);
p1=(xmax-xmin)*p1/m+xmin;
q1=(ymax-ymin)*q1/m+ymin;
p2=(xmax-xmin)*p2/m+xmin;
q2=(ymax-ymin)*q2/m+ymin;
p3=(xmax-xmin)*p3/m+xmin;
q3=(ymax-ymin)*q3/m+ymin;
figure
julia(m,p1,q1,f,g,xmin,xmax,ymin,ymax);
figure

18

19

3.2. julia.m

julia(m,p2,q2,f,g,xmin,xmax,ymin,ymax);
figure
julia(m,p3,q3,f,g,xmin,xmax,ymin,ymax);
case 3
n=1;
for n=1:3
[xx,yy]=ginput(1);
xx=(xmax-xmin)*xx/m+xmin;
yy=(ymax-ymin)*yy/m+ymin;
xmin=xx-0.57^n;
xmax=xx+0.57^n;
ymin=yy-0.57^n;
ymax=yy+0.57^n;
mm(m,f,g,xmin,xmax,ymin,ymax,fstr,gstr);
n=n+1;
end
end

3.2.

julia.m

Ez a program tartalmazza a Julia halmaz kirajzolssnak kdjt. A fontosabb


paramterek llthatk. A ksztett brn a halmazhoz tartoz pont koordinti az
bra tetjn tallhatk, fell a vals alul a kpzetes rsz.
function []=julia(m,c1,c2,f,g,xmin,xmax,ymin,ymax)
% m felosts
% c1, c2 a julia halmazhoz tartoz konstans
%f,g a fggvnyek
%xmin, xmax, ymin,ymax a koorditntk
x=linspace(-3,3,m);
y=linspace(-3,3,m);
[X,Y]=meshgrid(x,y);

3.3. mm.m

20

T=X;
TT=Y;
for k=1:20
F1= f(T,TT)+c1;
F2=g(T,TT)+c2;
T=F1;
TT=F2;
end
W=exp(-sqrt(F1.^2+F2.^2));
pcolor(W);
colormap 'hot';
shading flat;
axis('square','equal');
title([c1,c2]);
end

3.3.

mm.m

Mandelbrot-szer halmaz kirjzolssa, az bra tetejn az a 2 vals fggvny tallhat melyek alapjn az iterci fut.
function [] = mm( m,f,g,xmin,xmax,ymin,ymax,fstr,gstr,iter )
% m feloszts finomsga
%f,g vals fggvnyek, ezek alapjn kszti az brt
%xmin xmax ymin ymax a korrdinta tengelyek min s max rtkei
%fstr gstr a fggvnyek mint Stirngek
%iter iterciszm
x=linspace(xmin,xmax,m);
y=linspace(ymin,ymax,m);
[X,Y] = meshgrid(x,y);
T=zeros(m);
TT=zeros(m);

3.3. mm.m

for h=1:iter;
F1=f(T,TT)+X;
F2=g(T,TT)+Y;
Z=F1+1i*F2;
T=F1;
TT=F2;
end
W=abs(Z);
colormap('Hot')
pcolor(W);
shading flat;
axis('square','equal','off');
title({fstr;gstr});
end

21

4. fejezet

Eredmnyeink

Mandelbrot halmaz z02 + c iterljaihoz tartozik. Fbb tulajdonsgai:


i) 2 kritikus pontja van: 0,
ii) Irnyts tart.
Douady s Hubbard ltal az sszefggsgre adott bizonytsban fontos momentum volt az, hogy csak egyetlen vges kritikus pontja van a halmaznak, ezrt olyan
Mandelbrot-szer halmazokat vizsglunk, melynek pontosan egy vges kritikus pontja van s ez legyen a 0 . Az irnytstartst szerept nem vizsgljuk, de ezen tulajdonsgt megtartjuk.
Ezek alapjn kt f krdsre keressk a vlaszt a dolgozat folyamn:
1. A kapott halmaz sszefgg-e?
2. Az egyes pontokhoz tartoz Julia halmaz sszefgg-e?

4.1.

A paramter megvlasztsa

Mint mr korbban lertuk egy komplex fggvny helyett kt vals fggvnnyel


dolgozunk, ezek f (x, y) + s g(x, y) + alakak, ahol , R. A kritikus pontra
vonatkoz legersebb llts az, ha a Jacobi-mtrix determinnsa 0.
Az ltalunk hasznlt program a Mandelbrot halmazt a f (x, y) = x2 y 2 s
g(x, y) = 2xy fggvnyek segtsgvel rajzolja ki. Az alapgondolat az volt, hogy ezen

22

23

4.1. A paramter megvlasztsa

fggvnyek perturbciit vizsgljuk, mind a vizulis s mind matematikai szempontbl.


Azt az esetet nzzk, amikor a g(x, y)-t vltoztatjuk, s az f (x, y)-t nem . Legyen
az j fggvnynk g(x, y) = 2xy +x2 + alak. Keressk meg azt az intervallumot,
ahonnan a rtkeit vehetjk. Feltesszk, hogy 0.
Vizsgljuk meg az f (x, y) s g(x, y) fggvnyekhez tartoz egyttes Jacobi mtrix
a determinnst:





2x
2y

=4x2 +4y 2 +4xy = 4(x2 +y 2 +xy) = 4(x+ y)2 ( 2 1)y 2 .
2
4


2y + 2x 2x

Ha = 0 akkor az eredeti Mandelbrot halmazt kapjuk vissza.


Ha = 2 lenne akkor nem egy kritikus pontja lenne a halmaznak, hanem egy egyenes
mentn lennnek ilyen pontok.
Ha > 2 akkor grbe mentn a determinns 0 lenne.
Teht a rtkt a (0, 2) intervalumbl kell venni.
Az brk alapjn ltszik (4.1(a)-4.1(h)), hogy ha a rtke 0-hoz kzeli akkor a
kapott kp nem mutat jelents eltrst az eredeti halmaztl, viszont a 2-hez kzeli
rtkek esetben mr jelents az eltrs.
A = 0.9 rtket vlasztottuk (4.1(e))s
ezen halmaz

tulajdonsgait vizsgltuk.
Ebben az esetben a Jacobi mtrix:

2x

2y

2y + 1.8x 2x

Ennek a determinnsa

4((x + 0.45y)2 + (1 0.452 )y 2 ) alakban rhat fel. Innen is ltszik hogy ez a kifejezs

akkor s csak akkor lesz 0, ha x = y = 0. Knnyen belthat, hogy a (0, 0) pont kpe
a (, ) pont pr lesz s ennek brmely kis krnyezetben lv pontnak pontosan
kt skpe van, de a (, ) skpe egyrtelm. Ugyan ez az llts igaz a vgtelen kis
krnyezetre is. Ezen tulajdonsg is igazolja, hogy a 0 s a vgtelen kritikus pont. Ez
a tulajdonsg igaz a Mandelbrot halmazra is, vagyis a 0 kis krnyezetben az skp
nem egyrtelm. A szakdolgozat egyik alapkrdse hogy a megvltoztatott szably
megrzi-e ezen tulajdonsgokat, vagy a Mandelbrot halmaz ilyen tren egyedlll.

24

4.1. A paramter megvlasztsa

(a)

=0

(b)

= 0.3

(c)

= 0.5

(d)

= 0.6

(e)

= 0.9

(f )

= 1.2

(g)

= 1.5

(h)

=2

4.1. bra. paramter vltoztatsai

4.2. A generlt halmaz sszefggsgnek vizsglata

4.2.

25

A generlt halmaz sszefggsgnek vizsglata

Az algoritmus otthoni szmtgpen futtatuk, gy a felhasznlhat kapacitstl


is fggtt a kszlt kp rszletessge s minsge illetve a program trhely ignyt
is gyelembe kellett venni. Nem kizrt, hogy ha ezt a programot vagy ennek egy
javtott kiadst egy jobb teljestmny szmtgpen futatnnk akkor szre vennk
a most nem ltott rszleteket is, s ezek a vlaszokat befolysolhatjk.
Az elzekben feltett krdsekre most megprblunk vlaszt adni. Az eredmnyeink
csak intuicik, matematikai eszkzkkel nincs bebizonytva. A Mandelbrot halmaz
sszefggsge esetn a bizonyts meghaladta a Bsc kpzs alatt tanultak szintjt.
Fontos azt is megjegyezni, hogy elszr a Mandelbrot halmazrl is azt hittk, hogy
nem sszefgg s csak ksbb bizonyosodott be, hogy az egyes pontok kztt mindig
van kapcsolat, igaz nha az brkon ez egy hajszlvkony szlknt ltszik csak.
Az 1. krds megvlaszolsban fontos szerepet jtszott a kapott kp nagytsnak lehetsge. Tbb esetben a nagyobb felbonts brn mr ltszott az sszefggsgre utal szl, mg ez az eredeti felbontsban nem volt kivehet.
A (4.1(e))brn lthat a vizsglt fggvnyek ltal kirajzolt Mandelbrot-szer
halmaz. Kt rszre kln elnevezst hasznlunk a knnyebb rhetsg rdekben.
A kp jobb oldaln lv rszt trzsnek mg a bal oldalon lvt csvnak fogjuk
nevezni. Az kp alapjn nem jelenthetjk ki biztosggal hogy ezek sszefggek.
Az lthat kp 700-as feloszts mellett s 25-szrs itercival kszlt, gy a kapott
eredmnyt valsghnek gondoljuk. A nagytst kveten sem tntek fel olyan, az
eredeti brn nem lthat szlak, ami alapjn sszefggsgre gondolunk. A (4.2(a)4.2(d)) brkon a trzs csva felli rszt ltjuk klnbz nagytsok mellett ezt
az alattuk tallhat szm jelzi. Az (4.2(e)-4.2(g)) brkon a csva trzs felli rsze
tallhat, hasonl jells rendszerrel. Minden esetben kln llnak ltszik a kt rsz,
de nem zrhatjuk ki annak a valsznsgt sem hogy ez csak a program korltai
miatt van. De az mindenkpp igaznak tnik, hogy a trzs csva felli rszn van egy
kln ll nylvny mely a nagyts sorn se ltszott sszefggnek.
A hatrvonal ennl a felosztsnl egysgesnek tnik. Az rdekessg az, hogy 400as feloszts mellett a hatr sraozottnak ltszik. A teszt fzisokban mind vgig a

4.2. A generlt halmaz sszefggsgnek vizsglata

26

400-as felbonts hasznltuk s csak az eredmnyek pontostsa miatt trtnk r a


nomabb esetre. Ekkor tnt fel ez a jelensg.
A 2. krds vizsglatnl a program azon tulajdonsgt hasznltuk ki, hogy ki
tudja rajzolni az adott ponthoz tartoz Julia halmazt. A Mandelbrot-halmaz esetben tudjuk, hogy a halmaz belsejbl vlasztott pont sszefgg, mg a komplementerbl nem sszefgg a Julia halmazt kapunk. Ezrt elssorban a hatrvonal
pontjaihoz tartoz halmazokat vizsgltuk. A kp fels rszben megtallhat szmprok azt a pontot jelentik melyhez a Julia halmaz tartozik.
Nhny kisrlet utn mr ltszott, hogy a trzs bels pontjaihoz tartoz Julia
halmazok sszefggek (4.3(a)-4.3(d) bra). A csva esetben mr nem tudtunk ilyen
fajta megllaptst tenni. Az esetek csekly rszben talltunk olyan Julia halmazt,
mely szabad szemmel sszefggnek tnt (4.3(e)-4.3(f)), mindegyik rszekre szakad.
A Julia halmazok sok flesge s sszetetsge tovbbra is megmaradt, de meggyelhet egyfajta tendencia, a kapott halmazok kzl sok nagy hasonlsgot mutat
egymssal, van egy kitntetett halmaz, termszetesen a csva s a trzshz tartozak
esetn ez ms-ms alakzat. Egy msik megllaptsunk az volt, hogy a halmazoknak van egy szaknyugat-dlkelet tjoltsguk, ez a Mandelbrot halmaz esetben ez
a vzszintes tengely.
Az elbbiekben lertak alapjn megfogalmazhat a krdseinkre a vlaszok: A
kapott halmaz nem sszefgg, a fej s a csva nem biztos, hogy diszjunktak, de
tallhat olyan rsze a kpeknek melyeknl nincs a kapcsolatra utal jel. A Julia
halmazok esetben teht a trzshz tartozak sszefggnek ltszanak, de a csva
esetben ez nem ltszik.

27

4.2. A generlt halmaz sszefggsgnek vizsglata

(a)

(b)

(c)

(d)

(e)

(f )

(g)

4.2. bra. Nagytsok

28

4.2. A generlt halmaz sszefggsgnek vizsglata

(a)

(c)

(b)

(d)

(e)

(f )

4.3. bra. Julia halmazok

Ksznetnylvnts

Ezton szeretnk ksznetet mondani elssorban tmavezetmnek, Sigray Istvnnak, aki a konzultcik sorn mindig trelemmel fordult felm, tancsaival s idejvel
is segtette a szakdolgozat elkszltt.
Ksznettel tartozom csaldomnak is a tmogatsrt.

29

Irodalomjegyzk

[1]

John Milnor: Dynamics in one complex variable, F. Vieweg & Sohn


(1999)

[2] Jrai Antal: Modern alkalmazott analzis, Typotex Kiad, (2007)


[3] Szkefalvy-Nagy Bla: komplex fggvnytan, Tanknyvkiad
(1980)
[4] Adrien Douady; John Hamal Hubbard: Itation des polynmes
quadratiques complexes, C.R.Acad. Sci. Paris Sr. I Math. (1982),
no. 3, 123-126
[5] Alastair Flechter; Dan Goodman: Quasiregular mapping of polynomial type in R2, Conformal geometry and dynamics V. 14, 322-336
(2010)
[6] Walter Bergweiler: Iteration of quasiregular mappings,
preprint: analysis.math.uni-kiel.de/bergweiler/papers/93w.ps

30