II. Két speciális Fibonacci sorozat, szinguláris elemek, természetes indexelés Nagyon könnyen megfigyelhetjük, hogy akármilyen két számmal elindítunk egy Fibonacci sorozatot, a sorozat egymást követő tagjainak hányadosai egy adott számhoz közelítenek ha növeljük az indexet, ill. egy másik számhoz, ha csökkentjük az indexet. Figyelemreméltó, hogy komplex esetben is a hányadosok határértékei ugyanazok a valós számok. (Próbálkozhatunk a Példák_II Határérték munkalapján.) A határértékek létezése szintén könnyen bizonyítható, valós esetre a Neten is számtalan bizonyítással, levezetéssel találkozhatunk. A komplex eset kicsit bonyolultabb, de nem túl komplikált. A határértékek előjelváltósan egymás reciprokjai 1. Mi A-val, ill. -1/A-val jelöljük ezen határértékeket. Számos jelölés van használatban A-ra; Φ, Phi, τ, és hasonlóképpen 1/A-ra is, φ, phi,. A jelölések sokféleségét megérthetjük, hiszen ha értékre nem is, de névre biztosan mindenki számára ismerős dologról van szó; az aranymetszésnek nevezett arányról, illetve annak negatív reciprokáról. Nálunk tehát: A = ( 5 + 1) / = 1,618033988749894848045868343656 ill. -1 / A = (1-5) / = -0,618033988749894848045868343656 Mivel az egymást követő tagok hányadosai határértékkel bírnak, a sorozatok közel állnak abszolút értékben vett nagy indexek esetén egyfajta mértani sorozatokhoz, vagyis hát mértani sorozathoz nagyon hasonlít mindkét vége. Van Fibonacci sor, ami egyúttal mértani sorozat is? Van bizony! Azonnal mondhatunk egy sorozatot, a, 0, 0, 0, 0, triviális 0 sorozatot, de van nem triviális is; q-val jelölve a mértani sor hányadosát, csak annak kell teljesülni, hogy: a*q n+1 =a*q n +a*q n-1. ha a=/=0, q=/= 0 (ezt az esetet az előbb tudtuk le), akkor egyszerűsíthetünk a*q n-1 -el: q = q + 1 A kapott másodfokú egyenletnek gyökei pedig pont A és -1 / A. Nagyon érdekesek ezek a Fibonacci sorozatok! Definíciójukból könnyű számítással belátható, hogy a normájuk 0, holott ők nem a, 0, 0, 0, 0, sorozat. El is nevezzük őket rögvest; f m-1 = - f m *A sorozat esetén látjuk ez mértani sorozat is, és hányadosa q = -1/A; a továbbiakban - feltételezve, hogy az 1-es érték szerepel a sorozatban - jelöljük ρ m - mel, ikertestvérét, mely szintén mértani sor - feltételezve, hogy az 1-es érték szerepel benne - és hányadosa q = A, jelöljük σ m mel. Ha az 1-es érték nem szerepel a sorozatokban, akkor ρ m és σ m konstans szorosairól beszélünk.. Mátrix interpretációikat mátrixos megadásaikat - pedig jelöljük rendre P k -val és Σ k val. Az elnevezésekkel konvenciót nem sértünk, nem említik sűrűn külön sorozatként őket, ha szó esik róluk inkább csak a tagjaikról, azok hatványairól akkor egyszerűen leírják: (( 5 + 1) / ) n. 1 Bizonyítások: http://szolcs.hu/fibonacci/bizonyitas/hanyadosok.pdf 1
A szorzási műveletünkkel vizsgálva a viselkedésüket megállapíthatjuk, hogy minden más sorozatot önmaguk képére formálnak olyanok, mint a 0 vagy a a valós számok körében. Egyes egyedül egymással és önmagukkal nem bírnak el, furcsa eredményeket kapunk a szorzásunkat elvégezve. Mivel a normájuk 0, érthető ez a magatartás. Legyen f n Fibonacci sorozat. Vizsgáljuk a szorzatát a ρ m sorozattal: -A 1 1-1/A f n-1 f n - f n-1 * A + f n f n-1 - f n /A f n f n+1 -f n *A + f n+1 f n - f n+1 / A Az egymást követő tagok hányadosa: (f n-1 - f n /A)/( - f n-1 * A + f n ) = (A* f n-1 - f n )/( - f n-1 * A + f n *A)= 1/A*(-1)= - 1/A, tehát önmaga képére formálja f n sorozatot, mértani sort készít belőle. Egymással szorozva meg egyenesen a triviális, 0, 0, 0, sorozatot készítik el: -A 1 1-1/A 1 A -A + A=0 -A + A = 0 A A -A + A = 0 A - A /A = 0 Nem nulla sorozatoknak a szorzata a csupa nulla sorozat! Összeadásnál nyilván semmi különösebb nem történik (ha mint tagokat szerepeltetjük), de a szorzásunkra nézve úgy érzem joggal nevezhetjük őket szinguláris elemeknek. (Érdemes, tanulságos megvizsgálni az önmagukkal való szorzatukat is.) A következőkben rátérünk egy adott valós f n Fibonacci sorozat F n mátrix interpretációinak sajátérték/sajátvektor problémáinak tárgyalására. Sajátérték/sajátvektor problémán azt szokták érteni, hogy ha van egy F n mátrix, és ezt, mint leképezést használjuk (jelen esetben F n x-es mátrix, tehát most mondhatni a sík, mint kétdimenziós dolog leképezése önmagára), akkor meg kell keresni az F n u m = λ m u m egyenlet megoldásait. Tehát az F n (n rögzített érték) mátrixinterpretáció által meghatározott egyenlet megoldásait. Kikötés, hogy az u m vektor nem lehet a triviális nullvektor. Mivel F n x-es mátrix, két megoldása van az egyenletnek minden F n -re. ( m=1, értékeket vehet fel). Az előző egyenletet kielégítő u m -et sajátvektornak hívják, a λ m konstanst pedig az u m hez tartozó sajátértéknek. (m=1, ) Megfejtés: http://szolcs.hu/fibonacci/bizonyitas/onmagukkal_szorzat.pdf
Precízebben: http://hu.wikipedia.org/wiki/saj%c3%a1tvektor_%c3%a9s_saj%c3%a1t%c3%a9rt%c3%a9k A probléma megoldása nem túl bonyolult, egyszerű levezetéssel: 3 u 1 u f n-1 f n f n-1 *u 1 + f n * u = λ n *u 1 f n f n+1 f n *u 1 + f n+1 * u λ n *u f n-1 *u 1 + f n * u = λ n *u 1 és f n *u 1 + f n+1 * u = λ n *u egyenleteket kapjuk; u =/=0 (ha u =0, akkor f n =0, és F n az identitás konstans szorosa) esetén, t= u 1 / u jelöléssel: f n-1 *t+ f n = λ n * t f n *t+ f n+1 = λ n amit tovább alakítva: f n-1 *t+ f n = (f n *t+ f n+1 )*t f n-1 *t+ f n = f n *t + f n+1 *t f n *t + (f n+1 f n-1 )*t f n = 0 f n *t + f n *t f n = 0 és ekkor f n =/= 0 esetén (ha f n = 0, akkor F n az identitás konstans szorosa ): t + t - 1 = 0 egyenlőségnek kell teljesülni. Ezen egyenlet megoldásai pedig: t (1) = (-1-5)/ ill. t () = (-1+ 5)/. Így a sajátvektorok (nem normalizált alakban) a következőképpen írhatók: (-1-5)/ (-1+ 5)/ 1 1 3 A klasszikus Fibonacci sorozat mátrix interpretációinak sajátérték-sajátvektor problémájával több cikk foglalkozik, például: https://www.bc.edu/~reederma/llinalg6.pdf, http://www.maths.dur.ac.uk/~dma0rcj/ped/fib.pdf, 3
A sajátvektorok egyáltalán nem függenek sem az m indextől, sem az f n Fibonacci sorozat tagjaitól!!! Vagyis hát a sajátvektorok: -A 1 / A 1 1 A sajátértékekre pedig az f n *t+ f n+1 = λ n összefüggésből következtethetünk; t= u 1 / u volt, tehát t= -A vagy t=1/a. Ekkor viszont f n *t+ f n+1 = λ n miatt: λ n,1 = f n+1 A* f n λ n, = f n+1 + f n /A Ami nagyon fontos, és a lényeg: a sajátvektorok függetlenek az indextől, sőt, a sorozat választásától is (kizárva a válaszhatók közül a csupa 0 sorozatot, valamint ρ m és σ m konstans szorosait a szinguláris sorozatokat). Vegyük észre, hogyha f n komplex Fibonacci sorozat, levezetésünk akkor is helytálló. Egyszerű számítással levezethető továbbá, hogy valós esetben a megfelelő sajátértékek sorozatai mértani sorozatokat alkotnak. 4 (Komplex esetben a sajátértékek komplex normáira igaz ez az állítás.) Még egy nem túl komplikált meghatározásra kerül sor ebben a fejezetben fontos fogalom; a természetes indexelés fogalma. Legyen f m nem a ρ n és nem a σ n sorozat, és nem is ezek konstans szorosa. Az f m Fibonacci sorozat 0 indexű tagja a sorozatnak azon tagja, melyhez tartozó mátrix interpretáció sajátértékei négyzetösszege minimális. Egyenlőség legfeljebb két, egymást követő tag esetén léphet fel, ekkor a kisebb indexű tagot jelöljük 0 indexszel. Az f n taghoz tartozó mátrix interpretáció a f n-1 f n f n f n+1 mátrix. (A diagonálison kívüli elem az adott indexű tag.) Az f n Fibonacci sorozat ilyen indexelését természetes indexelésnek nevezzük. A sajátértékek négyzetösszegét kiszámíthatjuk egyszerűen valós esetben minden m-re: (λ m,1 ) + (λ m, ) = (f m+1 A* f m ) + (f m+1 + f m /A) =; f m+1 + A * f m *A* f m+1 * f m + f m+1 + f m /A +* f m+1 * f m /A =; 4 Bizonyítás: http://szolcs.hu/fibonacci/bizonyitas/sajatertekek_mertani_sorozat.pdf 4
* f m+1 +3* f m - * f m+1 * f m =; ( hiszen A +1/A =3, továbbá A-1/A=1 ) *f m+1 *(f m+1 f m ) +3* f m =; *f m+1 *f m-1 + 3* f m. Könnyen belátható, hogy a definíció, a meghatározás helyes, a négyzetösszegek sorozata felveszi a minimumát, és egyenlőség legfeljebb két, egymást követő tag esetén léphet fel. (Láttuk, hogy a sajátértékek mértani sorozatot alkotnak a négyzeteik is. Az egyik sorozat szigorúan monoton csökkenő és hányadosa 1/A, a másik sorozat hányadosa pedig A, szigorúan monoton növekedő. Innen már tényleg nem nehéz belátni az állítást.) Konkrét valós és komplex Fibonacci sorozatok természetes indexelését meghatározhatjuk szintén a Példák II. ( http://szolcs.hu/fibonacci/sajatertekek.xls ) segítségével. 5