Ugrás a tartalomhoz

Elliptikus függvények

Ellenőrzött
A Wikipédiából, a szabad enciklopédiából

Az elliptikus függvények a komplex függvénytanban meromorf függvények, amelyek két irányban periodikusak. Az elliptikus függvények periódusának alapcellája paralelogramma, ami rácsszerűen ismétlődik. Egy ilyen függvény nem lehet holomorf, mivel egy nem konstans holomorf függvény értékének a végtelenbe kell tartania, ha változója a végtelenbe tart. Liouville tétele szerint korlátos egészfüggvény konstans. Valójában multiplicitással számolva egy periódusban legalább két pólusának kell lennie. A periódus határa menti integrálnak nullának kell lennie, így a pólusok reziduumai kiejthetik egymást.

Felfedezőjük Niels Henrik Abel, aki az elliptikus integrálok inverz függvényeiként találta meg őket. Elméletüket Carl Gustav Jacobi fejlesztette tovább. Az elliptikus integrálok az ellipszisek ívhosszát számítják ki, innen a név. Jacobi elliptikus függvényeinek számos alkalmazása van a fizikában, Jacobi pedig az elemi számelméletben bizonyított vele tételeket. Karl Weierstrass továbbfejlesztette az elméletet, és úgy találta, hogy néhány elliptikus függvénnyel az összes kifejezhető. Az integrálok kiértékelése és differenciálegyenletek megoldása mellett az elliptikus görbékhez és a moduláris formákhoz is közük van.

Definíció

[szerkesztés]

Formálisan, egy teljes síkon meromorf függvény (a továbbiakban f) elliptikus, ha van két nullától különböző ω1 és ω2 komplex szám, amelyeknek legalább az egyike nem valós, továbbá f(z) = f(z + ω1) és f(z) = f(z + ω2) minden z komplex számra.

A periódus rácsa Λ = {1 + 2, m, n}, így f(z) = f(z + ω) minden ω ∈ Λ komplex számra.

A kanonikus elliptikus függvényeknek két családja van: a Jacobi-féle és a Weierstrass-féle. Habár a Jacobi-féle elliptikus függvények régebbről ismertek és közvetlenebbül kapcsolódnak az alkalmazásokhoz, a modern szerzők többnyire Weierstrasst követik az elemi elmélet bemutatásával, mivel ezek a függvények egyszerűbbek, és bármely elliptikus függvény kifejezhető velük.

Weierstrass-féle elliptikus függvények

[szerkesztés]

A fenti definíció alapján a Weierstrass-féle elliptikus függvények (jelük ℘(z)) konstruálhatók rácsukkal:

A függvény nyilván invariáns a zz + ω eltolásra minden ω ∈ Λ komplex szám esetén. Az kivonása a konvergenciát biztosítja. A véges sok pólusos tagok nélkül a sornak normálisan kell konvergálnia.

Bármely |z| < R körlemezen és minden |ω| > 2R komplex számra teljesül, hogy

és megmutatható, hogy

Λ-tól függetlenül konvergál.[1]

A ℘ függvényt Laurent-sorba fejtve és a megfelelő termeket rendre összehasonlítva igazolható, hogy teljesíti a

relációt, ahol

és

Ami azt jelenti, hogy a (℘,℘′) pár elliptikus görbét parametrizál.

A ℘ függvények a Λ rácstól függően különböző alakokat vehetnek fel; erre gazdag elmélet épült. Ehhez most tegyük fel, hogy ω1 = 1, és ω2 = τ, ahol τ képzetes része pozitív. Forgatással és tükrözéssel minden rács ilyen alakra hozható.

A moduláris függvények a felső félsíkban holomorf H = {z | Im(z) > 0} függvények, amelyek invariánsak az 1 determinánsú, egész együtthatós törtlineáris transzformációkra. Így egy h : H holomorf függvény moduláris, ha

.

Van egy ilyen függvény, ami Klein-féle j-invariáns, aminek definíciója

,

ahol g2 és g3 olyan, mint fent.

Tulajdonságok

[szerkesztés]
  • Az azonos periódusú elliptikus függvények testet alkotnak.
  • A deriválás nem vezet ki ebből a testből. Más szóval, egy elliptikus függvény deriváltja is azonos periódusú.
  • Egy adott rácshoz tartozó elliptikus függvények teste generálható egy elliptikus függvénnyel és deriváltjával.

Jacobi-féle elliptikus függvények

[szerkesztés]

Egy téglalaphoz tizenkét Jacobi-féle elliptikus függvény van. A téglalap csúcsát Jacobi nyomán s, c, d és n jelöli. A függvények az egyik sarokból a másikba húzott nyílnak felelnek meg. A téglalap a komplex síkban fekszik, s az origóban, c = K a valós tengelyen, n = iK′ a képzetes tengelyen helyezkedik el. Ez alapján d = K + iK′. K és K′ kvarter periódusok. Magukat az elliptikus függvényeket pq jelöli, ahol p és q az s, c, d és n betűk valamelyike.

Egy kétszeresen periodikus meromorf függvény Jacobi-féle akkor és csak akkor, ha megfelel a következőknek:

  • A p csúcsnál egyszeres nullhelye, és a q csúcsnál egyszeres pólusa van.
  • A p és a q távolsága éppen a pq u függvény periódusának fele. Azaz a pq u függvény periodikus a pq irányba, és periódusa éppen a pq távolság kétszerese. A pq u függvény periodikus a másik két irányba is, de itt a másik csúcstól mért távolság a periódus negyede.
  • Ha a pq u függvényt sorba fejtjük valamelyik csúcs körül, akkor a főegyüttható együtthatója 1. Azaz a főegyüttható p-ben u, q-ban 1/u, és a másik két csúcsban 1.

Ebben az esetben a függvény valós számokhoz valósokat rendel. Tágabb értelemben a téglalap helyett paralelogrammát is lehet használni.

Abel-féle elliptikus függvények

[szerkesztés]

Legendre részletesen tanulmányozta az elliptikus integrálokat. Három típusukat különítette el. Abel az első típust úgy írta, mint

ahol c és e paraméterek.[2] Ez általánosítja azt az integrált, ami kiszámítja annak a lemniszkátának a hosszát, ami a c = e = 1 speciális értéknek felel meg, és amit Carl Friedrich Gauss is vizsgált. A kör ívhosszát a 'c = 1 és az e = 0 paraméterezés adja.

Az integrál u értéke növekvő függvény, ami felülről korlátos, ha 0 < x < 1/c, és maximuma

Abel zsenialitása az volt, hogy vette az x = φ(u) inverz függvényt, ami jóldefiniált a 0 ≤ uω/2 intervallumon. Mivel a definiáló integrál páratlan x-ben, a φ(u) függvény is páratlan, ha φ(0) = 0 és φω/2) = ±1/c. Deriváltja φ′(u) = /du, és szintén levezethető az integrálból, mint

és páros függvény. A két négyzetgyököt az u argumentum páros függvényének tekintjük. Abel úgy definiálta őket, mint

Ezzel a derivált írható, mint φ′(u) = f(u)F(u). Az új függvények deriváltja f′(u) = −c2φ(u)F(u) és F′(u) = e2φ(u)f(u). Mindezek a függvények függenek a c és az e paraméterektől, habár ezt nem írják ki explicit.

A trigonometrikus függvényekről Abel megmutatta, hogy ezek az új függvények eleget tesznek az addíciós tételeknek, ahogy azt Euler megállapította az ilyen integrálokra.[2] Ez lehetővé teszi a függvények kiterjesztését az −ωuω intervallumra. Abel azt is belátta, hogy periodikusak 2ω szerint, továbbá az integrálban elvégezve az tit helyettesítést a függvények definiálhatók az argumentum komplex értékeire is. Ezzel a kiterjesztéssel felcserélődik a c és az e paraméter, és következik, hogy a függvények 2 szerint is periodikusak, és

Ezzel az elliptikus függvények kétszeresen periodikusak. Ekvivalensen, mondhatjuk, hogy ω1,2 = ω ± ′komplex periódusok szerint periodikusak. Nullhelyeik és pólusaik szabályos, kétdimenziós rácsot alkotnak. A lemniszkátás elliptikus függvények megfelelő tulajdonságait Gauss is ismerte, de nem publikálta, és csak halála után jelenhetett meg.[3]

Jegyzetek

[szerkesztés]
  1. Cartan, Henri. Elementary Theory of Analytic Functions of One or Several Complex Variables. Dover Publications, 154. o. (1995). ISBN 9780486685434 
  2. a b J. Gray, The Real and the Complex: A History of Analysis in the 19th Century, Springer, Heidelberg (2015). ISBN 978-3-319-23714-5.
  3. J. Stillwell, Mathematics and Its History, Springer, New York (2010). ISBN 978-1441960528.

Források

[szerkesztés]
  • Milton Abramowitz-Irene Stegun (szerk.) (1983) [June 1964]. "Chapter 16". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55 (Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first ed.). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. pp. 567, 627. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. LCCN 65-12253. See also chapter 18. (only considers the case of real invariants).
  • N. I. Akhiezer, Elements of the Theory of Elliptic Functions, (1970) Moscow, translated into English as AMS Translations of Mathematical Monographs Volume 79 (1990) AMS, Rhode Island ISBN 0-8218-4532-2
  • Tom M. Apostol, Modular Functions and Dirichlet Series in Number Theory, Springer-Verlag, New York, 1976. ISBN 0-387-97127-0 (See Chapter 1.)
  • E. T. Whittaker and G. N. Watson. A course of modern analysis, Cambridge University Press, 1952

Fordítás

[szerkesztés]

Ez a szócikk részben vagy egészben az Elliptic function című angol Wikipédia-szócikk fordításán alapul. Az eredeti cikk szerkesztőit annak laptörténete sorolja fel. Ez a jelzés csupán a megfogalmazás eredetét és a szerzői jogokat jelzi, nem szolgál a cikkben szereplő információk forrásmegjelöléseként.