Funkcje eliptyczne

Funkcje eliptyczne – funkcje określone na zbiorze liczb zespolonych, które są dwuokresowe, tj. periodyczne wzdłuż dwóch kierunków (np. zarówno względem osi liczb urojonych, jak i osi liczb rzeczywistych). Funkcje eliptyczne na płaszczyźnie zespolonej są analogią funkcji trygonometrycznych na osi liczb rzeczywistych. Rozwój teorii funkcji eliptycznych opiera się na funkcji eliptycznej Weierstrassa, tzw. $\wp$ -funkcji (funkcji dwuokresowej, wprowadzonej przez Karla Weierstrassa). Każda funkcja eliptyczna może być przedstawiona za pomocą $\wp$ -funkcji i jej pochodnej $\wp '$ , mających takie same okresy jak zadana funkcja eliptyczna^[1]^[2].

Funkcje eliptyczne definiuje się też za pomocą funkcji theta (niedwuokresowej), wprowadzonej przez Carla Jacobiego.

Nazwa funkcje eliptyczne pochodzi stąd, iż po raz pierwszy pojawiły się one jako funkcje odwrotne do całek eliptycznych, które z kolei nazwę swą wzięły stąd, iż były badane w związku z problemem obliczania długości łuku elipsy.

Definicja funkcji eliptycznej

Def. Funkcją eliptyczną nazywa się funkcję $w=f(z)$ zmiennej zespolonej $z$ , jeżeli^[1]:

(1) jest to funkcja dwuokresowa z dwoma skończonymi okresami pierwotnymi (najmniejszymi) $\omega _{1}$ i $\omega _{2}$ przy czym stosunek ${\tfrac {\omega _{1}}{\omega _{2}}}$ nie jest liczbą rzeczywistą, tzn.^[1]:

f(z+\omega _{1})=f(z)\quad

i

\quad f(z+\omega _{2})=f(z)

lub

f(z+m\omega _{1}+n\omega _{2})=f(z)

dla wszystkich $z$ w zbiorze $\mathbb {C}$ oraz $m$ i $n$ będących liczbami całkowitymi.

(2) jedynymi osobliwościami funkcji $f$ w skończonej części płaszczyzny zespolonej są bieguny.

Inne definicje

Def. Okresem funkcji zespolonej nazywa się każdą taką liczbę zespoloną $\omega ,$ że $f(z+\omega )=f(z)$ dla wszystkich $z$ w zbiorze $\mathbb {C} .$

Def. Okresami pierwotnymi funkcji eliptycznej nazywamy takie dwa okresy $\omega _{1}$ i $\omega _{2},$ że każdy inny okres $\omega$ może być zapisany jako $\omega =m\omega _{1}+n\omega _{2},$ gdzie $m$ i $n$ to liczby całkowite.

Def. Równoległoboku okresowości: Jeśli $\omega _{1}$ i $\omega _{2}$ są okresami pierwotnymi, to każdy równoległobok o wierzchołkach $z,z+\omega _{1},z+\omega _{2},z+\omega _{1}+\omega _{2}$ jest nazywany równoległobokiem okresowości.

Def. Rzędem funkcji eliptycznej nazywa się liczbę biegunów w każdym równoległoboku okresowości z uwzględnieniem ich krotności (tzn. jeśli biegun jest 3-krotny, to liczymy, że są 3 bieguny).

Twierdzenia

Funkcja eliptyczna Weierstrass $\wp$ z widocznymi periodycznymi zmianami i sieci $\Lambda =\mathbb {Z} +e^{2\pi i/6}\mathbb {Z}$

Tw. Funkcja dwuokresowa $f$ powtarza wartości, które przybiera w każdym równoległoboku okresowości o wierzchołkach w punktach $0,\omega _{1},\omega _{2},\omega _{1}+\omega _{2}$ , gdzie dwa boki łączące ostatnie trzy punkty są wyłączone jako należące do sąsiednich równoległoboków.

Tw. Jeśli $\omega _{1}$ i $\omega _{2}$ są okresami pierwotnymi opisującymi kratę, to ta sama krata może być opisana przez parę okresów pierwotnych $\omega _{1}'=p\omega _{1}+q\omega _{2}$ i $\omega _{2}'=r\omega _{1}+q\omega _{2}$ gdzie $p,q,r$ i $s$ są liczbami całkowitymi oraz spełniają równanie $ps-qr=1.$

Innymi słowy, jeśli $\omega _{1}$ i $\omega _{2}$ są okresami pierwotnymi, to $\omega _{1}'$ i $\omega _{2}'$ również nimi są.

Funkcja $\wp '$ - pochodna funkcji $\wp$ - ma identyczną periodyczność.

Tw. Każda funkcja eliptyczna ma parę okresów pierwotnych, lecz nie są to pary unikatowe, ale mogą być wyrażone za pomocą innej pary okresów pierwotnych (co wynika z Tw. poprzedniego).

Tw. Zwielokrotnianie równoległoboków okresowości przez kolejne mnożenia $\omega _{1}$ i $\omega _{2}$ przez liczby całkowite daje kolejne równoległoboki okresowości, w których funkcja $f$ ma te same własności (okresowość).

Tw. Pochodna funkcji eliptycznej jest również funkcją eliptyczną mającą ten sam okres.

Przypisy

↑ ^a ^b ^c G. A. Korn i G. A. Korn 1983 ↓, s. 284.
↑ G. A. Korn i G. A. Korn 1983 ↓, s. 286.

Zobacz też

Bibliografia

G. A. Korn, T. M. Korn, Matematyka dla pracowników naukowych i inżynierów, cz. 2, PWN, Warszawa 1983, str. 284.

[CITEREFG._A._KornG._A._Korn1983284-1] G. A. Korn i G. A. Korn 1983 ↓, s. 284.

[CITEREFG._A._KornG._A._Korn1983286-2] G. A. Korn i G. A. Korn 1983 ↓, s. 286.

[1]

[2]

Fahrer / Team für die Suche eingeben: