Zum Inhalt springen

Kurs:Funktionentheorie (Osnabrück 2023-2024)/Vorlesung 27/latex

Aus Wikiversity

\setcounter{section}{27}






\zwischenueberschrift{Elliptische Funktionen}




\inputdefinition
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.} Eine \definitionsverweis {meromorphe Funktion}{}{} \maabbdisp {f} { {\mathbb C} } { {\mathbb C} } {} heißt \definitionswort {elliptisch}{} bezüglich $\Gamma$ oder \definitionswortpraemath {\Gamma}{ doppeltperiodisch }{,} wenn
\mavergleichskettedisp
{\vergleichskette
{ f(z) }
{ =} { f(z+v) }
{ } { }
{ } { }
{ } { }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{v }
{ \in }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt.

}

Es genügt natürlich zu zeigen, dass
\mavergleichskettedisp
{\vergleichskette
{ f(z) }
{ =} { f(z+v_1) }
{ =} { f(z+v_2) }
{ } { }
{ } { }
} {}{}{} für zwei Erzeuger
\mathl{v_1,v_2}{} des Gitters \zusatzklammer {und alle $z$} {} {} gilt. Diese Erzeuger sind die Perioden, die die Bezeichnung doppeltperiodisch rechtfertigen. Diese Eigenschaft hängt wesentlich von dem gegebenen Gitter ab, es stellt sich aber bald heraus, dass die doppeltperiodischen Funktionen strukturelle Eigenschaften erfüllen, die für alle Gitter gleich sind. Eine doppeltperiodische Funktion ist auf einem Fundamentalbereich des Gitters, beispielsweise einer \definitionsverweis {Fundamentalmasche}{}{,} eindeutig bestimmt.




\inputdefinition
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.} Die Menge aller \definitionsverweis {elliptischen Funktionen}{}{} bezüglich $\Gamma$ mit der natürlichen Addition und Multiplikation nennt man den \definitionswort {Körper der elliptischen Funktionen}{.}

}

Es ist einfach zu zeigen \zusatzklammer {vergleiche Aufgabe 27.12 und Aufgabe 27.1} {} {,} dass dies in der Tat ein Körper ist. Es ist deutlich schwieriger, die Menge der elliptischen Funktionen explizit zu bestimmen. Zunächst ist keineswegs klar, dass es außer den konstanten Funktionen überhaupt elliptische Funktionen gibt.





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Elliptische Funktion/Polfrei/Konstant/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.}}
\faktfolgerung {Dann ist jede $\Gamma$-\definitionsverweis {elliptische Funktion}{}{,} die \definitionsverweis {holomorph}{}{} ist, \definitionsverweis {konstant}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei $\mathfrak M$ eine \definitionsverweis {Grundmasche}{}{} des Gitters. Diese ist \definitionsverweis {kompakt}{}{} und die holomorph Funktion $f$ ist darauf nach Lemma 17.6 (Maß- und Integrationstheorie (Osnabrück 2022-2023)) und Satz 17.5 (Maß- und Integrationstheorie (Osnabrück 2022-2023)) beschränkt. Da $f$ elliptisch ist, ist
\mavergleichskette
{\vergleichskette
{f(z) }
{ = }{ f(z-v) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} mit
\mavergleichskette
{\vergleichskette
{v }
{ \in }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{z-v }
{ \in }{ {\mathfrak M} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Daher ist $f$ auf ganz ${\mathbb C}$ beschränkt und daher nach dem Satz von Liouville konstant.

}


Wir beweisen drei fundamentale Lemmas über elliptische Funktionen, aus denen später die Charakterisierung aller elliptischen Funktionen \zusatzklammer {siehe insbesondere Lemma 27.13 und Satz 28.11} {} {} und die algebraische Realisierung eines komplexen Torus \zusatzklammer {siehe Satz 12.14 (Elliptische Kurven (Osnabrück 2021-2022))} {} {} folgt.





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Elliptische Funktion/Residuen/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{} mit der \definitionsverweis {Grundmasche}{}{} $\mathfrak M$ und es sei $f$ eine \definitionsverweis {elliptische Funktion}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} derart, dass $f$ auf dem Rand von $P + {\mathfrak M}$ polstellenfrei ist.}
\faktfolgerung {Dann ist die Summe der \definitionsverweis {Residuen}{}{} von $f$ auf $P + {\mathfrak M}$ gleich $0$.}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei
\mavergleichskette
{\vergleichskette
{ \Gamma }
{ = }{ \langle v_1, v_2 \rangle }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei $\gamma$ ein Weg, der den Rand von $P+ {\mathfrak M}$ einfach gegen den Uhrzeigersinn durchläuft. Dann ist nach Satz 23.7 die Summe der Residuen gleich
\mathl{{ \frac{ 1 }{ 2 \pi { \mathrm i} } } \int_\gamma f(z)dz}{.} Der Weg $\gamma$ besteht aus den vier linearen Teilwegen von $P$ nach $P+v_1$, von $P+v_1$ nach
\mathl{P+v_1+v_2}{,} von $P+v_1+v_2$ nach
\mathl{P+v_2}{} und von $P+v_2$ nach $P$. Da $f$ elliptisch ist, ist insbesondere
\mavergleichskette
{\vergleichskette
{ f (P+tv_1) }
{ = }{ f(P+tv_1 +v_2) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{ f (P+ v_1+sv_2 ) }
{ = }{ f(P +sv_2) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} D.h. die Integranden auf den gegenüberliegenden Teilwegen stimmen überein. Da sie unterschiedlich orientiert durchlaufen werden, ist das Gesamtergebnis gleich $0$.

}





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Elliptische Funktion/Gesamtordnung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{} mit der \definitionsverweis {Grundmasche}{}{} $\mathfrak M$ und es sei
\mavergleichskette
{\vergleichskette
{f }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {elliptische Funktion}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} derart, dass $f$ auf dem Rand von $P + {\mathfrak M}$ weder eine Nullstelle noch einen Pol besitzt.}
\faktfolgerung {Dann ist die Summe der \definitionsverweis {Ordnungen}{}{} von $f$ auf $P + {\mathfrak M}$ gleich $0$.}
\faktzusatz {}
\faktzusatz {}

}
{

Dies folgt aus Lemma 27.4 angewendet auf die elliptische Funktion ${ \frac{ f' }{ f } }$ unter Verwendung von Lemma 19.7.

}





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Elliptische Funktion/Gesamtordnung mal Punkt/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{} mit der \definitionsverweis {Grundmasche}{}{} $\mathfrak M$ und es sei
\mavergleichskette
{\vergleichskette
{f }
{ \neq }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {elliptische Funktion}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{P }
{ \in }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} derart, dass $f$ auf dem Rand von $P + {\mathfrak M}$ weder eine Nullstelle noch einen Pol besitzt.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \sum_{ w \in P+{\mathfrak M} } \operatorname{ord}_{ w } { \left( f \right) } \cdot w }
{ \in} { \Gamma }
{ } { }
{ } { }
{ } { }
} {}{}{}}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ = }{ \langle v_1,v_2 \rangle }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei $\gamma$ die einfach gegen den Uhrzeigersinn durchlaufene Umrandung von
\mathl{P+ {\mathfrak M}}{} mit den linearen Teilwegen wie im Beweis zu Lemma 27.4. Wir betrachten die Funktion
\mathl{{ \frac{ z f'(z) }{ f(z) } }}{} auf
\mathl{P+ {\mathfrak M}}{.} Nach Korollar 19.9 und dem Residuensatz ist
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ \sum_{ w \in P+{\mathfrak M} } \operatorname{ord}_{ w } { \left( f \right) } \cdot w }
{ =} { \sum_{ w \in P+{\mathfrak M} } \operatorname{Res}_{ w } \left( { \frac{ z f'(z) }{ f(z) } } \right) }
{ =} { { \frac{ 1 }{ 2 \pi { \mathrm i} } } \int_\gamma { \frac{ z f'(z) }{ f(z) } } dz }
{ =} { { \frac{ 1 }{ 2 \pi { \mathrm i} } } { \left( \int_P^{P+v_1} { \frac{ z f'(z) }{ f(z) } } dz + \int_{P+v_1}^{P+v_1+v_2} { \frac{ z f'(z) }{ f(z) } } dz + \int_{P+v_1+v_2}^{P+v_2} { \frac{ z f'(z) }{ f(z) } } dz + \int_{P+v_2}^{P} { \frac{ z f'(z) }{ f(z) } } dz \right) } }
{ } { }
} {}{}{.} Wir verarbeiten das zweite und das vierte Integral, indem wir auf das zweite Integral die lineare Substitution
\mathl{z \mapsto z + v_1}{} anwenden. Dabei erhalten wir unter Verwendung der Periodizität und der Umkehrung des Weges
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \int_{P+v_1}^{P+v_1+v_2} { \frac{ z f'(z) }{ f(z) } } dz +\int_{P+v_2}^{P} { \frac{ z f'(z) }{ f(z) } } dz }
{ =} { \int_{P}^{P+v_2} { \frac{ ( z+v_1) f'(z+v_1) }{ f(z+v_1) } } dz +\int_{P+v_2}^{P} { \frac{ z f'(z) }{ f(z) } } dz }
{ =} { \int_{P}^{P+v_2} { \frac{ ( z+v_1) f'(z ) }{ f(z ) } } dz -\int_{P}^{P+v_2} { \frac{ z f'(z) }{ f(z) } } dz }
{ =} { v_1 \int_{P}^{P+v_2} { \frac{ f'(z ) }{ f(z ) } } dz }
{ } { }
} {} {}{.} Entsprechend ergibt das erste und das dritte Integral
\mathl{- v_2 \int_{P}^{P+v_1} { \frac{ f'(z ) }{ f(z ) } } dz}{.} Nach Lemma 23.3 ist
\mathl{{ \frac{ 1 }{ 2 \pi { \mathrm i} } } \int_P^{P+v_1} { \frac{ f'(z ) }{ f(z ) } } dz}{} ganzzahlig. Daher ist
\mathl{\sum_{ w \in P+{\mathfrak M} } \operatorname{ord}_{ w } { \left( f \right) } \cdot w}{} eine ganzzahlige Kombination von \mathkor {} {v_1} {und} {v_2} {,} gehört also zum Gitter.

}






\zwischenueberschrift{Die Weierstraßfunktion}

Wir setzen
\mavergleichskette
{\vergleichskette
{\Gamma' }
{ = }{ \Gamma \setminus \{0\} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}




\inputfaktbeweis
{Gitter/Komplexe Zahlen/Kehrwert/Konvergenz/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{} und sei
\mavergleichskette
{\vergleichskette
{s }
{ > }{2 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine reelle Zahl.}
\faktfolgerung {Dann ist die Familie
\mathdisp {v^{-s} ,\, v \in \Gamma'} { }
\definitionsverweis {summierbar}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Familie ist genau dann summierbar, wenn die Familie
\mathl{\betrag { v }^{-s}}{} summierbar ist. Die Aussage kann man auf das Standardgitter zurückführen. Wir betrachten zu
\mavergleichskette
{\vergleichskette
{n }
{ \in }{ \N_+ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die endlichen Teilfamilien \zusatzklammer {Quadrat mit Seitenlänge $2n$} {} {}
\mathdisp {\sum_{ \max ( \betrag { a } , \betrag { b } ) = n } \betrag { a+b { \mathrm i} }^{-s}} { . }
Diese besteht aus
\mavergleichskettedisp
{\vergleichskette
{ 2(2n+1) + 2(2n-1) }
{ =} { 8n }
{ } { }
{ } { }
{ } { }
} {}{}{} Summanden und diese sind
\mathl{\leq n^{-s}}{.} Die Summe $a_n$ dieser Teilfamilie ist also
\mavergleichskettedisp
{\vergleichskette
{ }
{ \leq} { 8 n \cdot n^{-s} }
{ =} { 8 n^{1-s} }
{ } { }
{ } { }
} {}{}{,} wobei der Exponent
\mathl{<-1}{} ist. Die Summe
\mathl{\sum_{n \in \N_+} a_n}{} existiert also nach Aufgabe 24.12 und daher ist nach dem großen Umordnungssatz die Ausgangsfamilie summierbar.

}





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Gittersumme (z-v) hoch -3/Elliptisch/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.}}
\faktfolgerung {Dann ist die \definitionsverweis {meromorphe Funktion}{}{}
\mavergleichskettedisp
{\vergleichskette
{ f(z) }
{ =} { \sum_{v \in \Gamma} (z-v)^{-3} }
{ } { }
{ } { }
{ } { }
} {}{}{} \definitionsverweis {elliptisch}{}{} und besitzt genau in den Gitterpunkten einen Pol der Ordnung $-3$.}
\faktzusatz {}
\faktzusatz {}

}
{

Die Konvergenz für
\mavergleichskette
{\vergleichskette
{z }
{ \notin }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt aus Lemma 27.7 durch eine geeignete Abschätzung. Daraus folgt auch die Holomorphie auf
\mathl{{\mathbb C} \setminus \Gamma}{:} Wir schreiben
\mavergleichskettedisp
{\vergleichskette
{ f_n }
{ \defeq} { \sum_{v \in \Gamma,\, \betrag { v } \leq n} (z-v)^{-3} }
{ } { }
{ } { }
{ } { }
} {}{}{,} diese Folge konvergiert außerhalb der Gitterpunkte nach Lemma 27.7 \definitionsverweis {lokal gleichmäßig}{}{} und daher ist die Grenzfunktion $f$ nach Satz 24.7 holomorph. In
\mavergleichskette
{\vergleichskette
{ z_0 }
{ \in }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mathl{\sum_{ v \in \Gamma,\, v \neq z_0} (z-v)^{-3}}{} konvergent und die Polordnung ist durch den fehlenden Term
\mathl{(z-z_0)^{-3}}{} festgelegt. Die Funktion
\mathl{\sum_{ v \in \Gamma} (z-v)^{-3}}{} ist elliptisch, da sich die Summe nicht ändert, wenn man $z$ durch $z-v_0$ mit einem
\mavergleichskette
{\vergleichskette
{ v_0 }
{ \in }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ersetzt.

}





\inputdefinition
{}
{

Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.} Man nennt die \definitionsverweis {meromorphe Funktion}{}{} \maabbeledisp {\wp} { {\mathbb C} \setminus \Gamma } { {\mathbb C} } {z} { { \frac{ 1 }{ z^2 } } + \sum_{v \in \Gamma'} { \left( { \frac{ 1 }{ (z-v)^2 } } - { \frac{ 1 }{ v^2 } } \right) } } {,} die \definitionswort {Weierstraßsche}{} \definitionswortpraemath {\wp}{ Funktion }{} zum Gitter $\Gamma$.

}

Wir werden gleich begründen, dass diese Funktion auf ${\mathbb C} \setminus \Gamma$ holomorph und in $\Gamma$ meromorph ist.





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Weierstraßsche Funktion/Elliptisch/Ableitung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.}}
\faktfolgerung {Dann ist die \definitionsverweis {Weierstraßsche}{}{} $\wp$-Funktion $\wp$ \definitionsverweis {elliptisch}{}{.} Sie besitzt genau in den Gitterpunkten einen Pol der Ordnung $-2$. Ihre Ableitung ist
\mavergleichskette
{\vergleichskette
{ \wp' (z) }
{ = }{ -2 \sum_{v \in \Gamma} (z-v)^{-3} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktzusatz {}
\faktzusatz {}

}
{

Die Ableitung der Summanden
\mathl{{ \frac{ 1 }{ (z-v)^2 } } - { \frac{ 1 }{ v^2 } }}{} für
\mavergleichskette
{\vergleichskette
{v }
{ \in }{ \Gamma' }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist
\mathl{-2 { \frac{ 1 }{ (z-v)^3 } }}{.} Ferner ist
\mathl{-2 { \frac{ 1 }{ z^3 } }}{} die Ableitung des allerersten Summanden. Die summandenweise genommene Ableitung ist also bis auf den Faktor $-2$ die Funktion
\mathl{\sum_{v \in \Gamma} (z-v)^{-3}}{,} die nach Lemma 27.8 elliptisch ist. Damit ist $\wp (z)$ meromorph mit der angegebenen Poleigenschaft. Ferner ist die Funktion gerade, da ihre Ableitung ungerade ist. Zum Nachweis, dass $\wp(z)$ selbst elliptisch ist, sei $v_0$ ein Erzeuger des Gitters. Dann ist
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ { \frac{ \partial ( \wp(z+v_0) - \wp(z) ) }{ \partial z } } }
{ =} { -2 { \left( \sum_{ v \in \Gamma} (z+v_0-v)^{-3} - \sum_{ v \in \Gamma} (z-v)^{-3} \right) } }
{ =} { 0 }
{ } { }
{ } { }
} {}{}{} und
\mathl{\wp(z+v_0) - \wp(z)}{} ist konstant. Mit
\mavergleichskette
{\vergleichskette
{ z }
{ = }{ - { \frac{ v_0 }{ 2 } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ergibt sich, dass der Wert dieser Funktion gleich
\mavergleichskettedisp
{\vergleichskette
{ \wp { \left( - { \frac{ v_0 }{ 2 } } + v_0 \right) } - \wp { \left( - { \frac{ v_0 }{ 2 } } \right) } }
{ =} { \wp { \left( { \frac{ v_0 }{ 2 } } \right) } - \wp { \left( - { \frac{ v_0 }{ 2 } } \right) } }
{ =} { \wp { \left( { \frac{ v_0 }{ 2 } } \right) } - \wp { \left( { \frac{ v_0 }{ 2 } } \right) } }
{ =} { 0 }
{ } { }
} {}{}{} ist.

}





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Weierstraßsche Funktion/Werte/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.}}
\faktfolgerung {Dann nimmt die \definitionsverweis {Weierstraßsche}{}{} $\wp$-Funktion zu $\Gamma$ auf der halboffenen Grundmasche jeden Wert \zusatzklammer {mit Vielfachheit gezählt} {} {} zweifach an.}
\faktzusatz {}
\faktzusatz {}

}
{

Es sei
\mavergleichskette
{\vergleichskette
{w }
{ \in }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wir betrachten die Funktion $\wp(z) -w$, es geht um die Nullstellen dieser Funktion. Da es auf einer verschobenen kompakten Masche
\mavergleichskettedisp
{\vergleichskette
{ {\mathfrak N} }
{ =} { P + {\mathfrak M} }
{ } { }
{ } { }
{ } { }
} {}{}{} nur endlich viele Nullstellen gibt, kann man $P$ so wählen, dass es auf den Rand weder eine Nullstelle noch einen Pol gibt. Es gibt dann in $\mathfrak N$ nach Lemma 27.10 genau eine Polstelle mit der Ordnung $-2$. Nach Lemma 27.5 muss es zwei Nullstellen mit Ordnung $1$ oder eine Nullstelle mit der Ordnung $2$ geben.

}





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Elliptische Funktionen/Gerade/Ordnungsverhalten/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{} und sei
\mavergleichskette
{\vergleichskette
{ f }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine \definitionsverweis {gerade}{}{} \definitionsverweis {elliptische Funktion}{}{.} Es sei
\mavergleichskette
{\vergleichskette
{ w }
{ \in }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein Punkt mit
\mavergleichskette
{\vergleichskette
{ 2w }
{ \in }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.}}
\faktfolgerung {Dann ist die \definitionsverweis {Ordnung}{}{} von $f$ in $w$ gerade.}
\faktzusatz {}
\faktzusatz {}

}
{

Die Bedingung
\mavergleichskette
{\vergleichskette
{2w }
{ \in }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist zu
\mavergleichskette
{\vergleichskette
{w }
{ = }{-w \mod \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} äquivalent. Für jede elliptische Funktion $g$ gilt daher
\mavergleichskette
{\vergleichskette
{ g(w) }
{ = }{ g(-w) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es sei $f$ eine gerade elliptische Funktion $\neq 0$. Durch Übergang zu ${ \frac{ 1 }{ f } }$ können wir davon ausgehen, dass $f$ in $w$ \definitionsverweis {holomorph}{}{} ist. Aus
\mavergleichskette
{\vergleichskette
{ f(z) }
{ = }{ f(-z) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} folgt mit Aufgabe 27.2, dass die Ableitungen von $f$ abwechselnd gerade bzw. ungerade elliptische Funktionen sind. Für $k$ ungerade hat man dann einerseits
\mavergleichskette
{\vergleichskette
{ f^{(k)} (w) }
{ = }{ f^{(k)} (-w) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und andererseits
\mavergleichskette
{\vergleichskette
{ f^{(k)} (w) }
{ = }{ - f^{(k)} (-w) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} also
\mavergleichskette
{\vergleichskette
{ f^{(k)} (w) }
{ = }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Also ist die Ordnung in einem solchen Punkt gerade.

}


Für die Weierstraßsche Funktion $\wp$ bedeutet dies, dass die Ordnung in den Punkten $w$ mit
\mavergleichskette
{\vergleichskette
{ 2w }
{ \in }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,}
\mavergleichskette
{\vergleichskette
{ w }
{ \notin }{ \Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} gleich $2$ ist, und in allen anderen Punkten gleich $1$.





\inputfaktbeweis
{Gitter/Komplexe Zahlen/Elliptische Funktionen/Körper/Erzeuger/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{\Gamma }
{ \subseteq }{ {\mathbb C} }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ein \definitionsverweis {Gitter}{}{.}}
\faktfolgerung {Dann wird der \definitionsverweis {Körper der elliptischen Funktionen}{}{} von \mathkor {} {\wp} {und} {\wp'} {} erzeugt, d.h. jede elliptische Funktion kann man als eine rationale Funktion in \mathkor {} {\wp} {und} {\wp'} {} schreiben.}
\faktzusatz {}
\faktzusatz {}

}
{

Jede elliptische Funktion kann man als eine Summe einer geraden und einer ungeraden elliptischen Funktion schreiben, siehe Aufgabe 27.3. Eine ungerade elliptische Funktion kann man mit $\wp'$ multiplizieren und erhält eine gerade elliptische Funktion. Es genügt also zu zeigen, dass jede gerade elliptische Funktion
\mavergleichskette
{\vergleichskette
{ f }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} eine rationale Funktion in $\wp$ ist.

Es sei
\mavergleichskette
{\vergleichskette
{ \Gamma }
{ = }{ \langle u ,v \rangle }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,}
\mavergleichskette
{\vergleichskette
{ { \mathfrak M} }
{ = }{ { \left\{ ru+sv \mid 0 \leq r,s < 1 \right\} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die zugehörige Fundamentalmasche und
\mavergleichskette
{\vergleichskette
{ { \mathfrak N} }
{ = }{ { \left\{ ru+sv \mid 0 \leq r < 1 , \, 0 \leq s < { \frac{ 1 }{ 2 } } \right\} } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Es seien
\mathl{a_1 , \ldots , a_n}{} die Punkte $\neq 0$ in ${ \mathfrak N}$, in denen eine Pol- oder eine Nullstelle von $f$ vorliegt. Wir betrachten die elliptische Funktion
\mavergleichskettedisp
{\vergleichskette
{ g(z) }
{ =} { \prod_i ( \wp(z) - \wp(a_i) )^{r_i} }
{ } { }
{ } { }
{ } { }
} {}{}{,} wobei $r_i$ die Ordnung von $f$ in $a_i$ ist, es sei denn, dass
\mavergleichskette
{\vergleichskette
{ 2 a_i }
{ \in \Gamma }{ }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist, in diesem Fall ist $r_i$ die Hälfte der nach Lemma 27.12 geraden Ordnung von $f$ in $a_i$. Diese Funktion besitzt überall außer eventuell im Nullpunkt die gleichen Ordnungen wie $f$, da
\mathl{\wp(z) - \wp(a)}{} in $a$ die Ordnung $1$ besitzt, mit den Ausnahmen für die Punkte $a$ mit
\mavergleichskette
{\vergleichskette
{ 2a }
{ \in }{\Gamma }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} wo die Ordnung $2$ ist. Aus Lemma 27.5 folgt dann, dass auch im Nullpunkt die Ordnungen gleich sind. Daher ist
\mathl{{ \frac{ f }{ g } }}{} holomorph und somit nach Lemma 27.3 konstant. Daher ist
\mavergleichskette
{\vergleichskette
{f }
{ \in }{ {\mathbb C} (\wp) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{,} da $g$ nach Konstruktion dazugehört.

}