7
大学数学基礎解説
文献あり

楕円関数論の基礎のキソ

9160
0

はじめに

 この記事ではワイエルシュトラスの関数を中心とした楕円関数論の基礎的な話について解説していきます。
 また楕円関数の話をするにあたってモジュラー形式の話もちょっぴり織り交ざって来ますので前回の記事( 前編 後編 )に目を通しておいた方がより理解が深まると思います。

楕円関数とは

 楕円関数とはざっくり二重周期を満たすような関数のことを言います。つまりあるR上線形独立な複素数ω1,ω2と任意の整数m,nに対してf(z+mω1+nω2)=f(z)が成り立つような関数のことを言います。

なぜ"楕円"関数なのか

 上での楕円関数の説明を見るに一見楕円とは全く関係ないように見えますが、これは"楕円"の周長を求める際に出てくる(第2種)"楕円"積分
Ek(x)=0x1k2t21t2dt
の派生である第1種楕円積分
Kk(x)=0xdt(1t2)(1k2t2)
の逆関数を考えたヤコビのsn関数というもの(を複素変数に拡張したもの)が二重周期性を持つことを発端としています。

楕円関数と格子

 楕円関数の具体的なステートメントは以下のようになっています。

格子

 R上線形独立な(つまり一方がもう一方の実数倍で表されない)複素数ω1,ω2に対して
L=Zω1+Zω2={mω1+nω2|m,nZ}
と表されるような集合Lのことを格子と言う。このときω1,ω2のことを基本周期という。

楕円関数

 複素数平面全域で定義される有理型関数fであってある格子Lについて
f(z+ω)=f(z)
が任意のzC,ωLに成り立つようなもののことを楕円関数という。

 例えば上で挙げたヤコビのsn関数(k=1)はレムニスケート周率ϖについて格子L=Z(1+i)ϖ+Z(1i)ϖ
の楕円関数であるみたいです( こちらの文献 参照)。
 ここで楕円関数の話をする前に少し格子についての話をしておきましょう。まず二つの格子L,Lの間に同値関係を定めておきます。

 二つの格子L,Lが等価(equivalent)であるとはある複素数α0が存在してL=αLが成り立つことを言う。

 これは格子Lを回転させたり拡大縮小させたりしてできる格子LLと似たようなものだよね、と言っているような感じです。そして任意の格子にはそれと等価な次のような標準形が(複数)存在します。

 任意の格子
L=Zω1+Zω2
に対して
Lτ=Z+Zτ
Lと等価となるようなτH={zCIm(z)>0}が存在する。

 Im(ω2/ω1)=0とするとある実数aが存在してω2=aω1となるが、これはL=Zω1+Zω2が格子であることに矛盾。
 したがってω2/ω1Hまたはω1/ω2Hが成り立つのでそれをτとおくとL=ωLτとなることがわかる。

 ここでLτLτが等価となるようなτ,τHの条件を考えてみましょう。

  • まずLτ={(mn)+n(τ+1)|m,nZ}=1(Z+Z(τ+1))(τ+1H)
    であるのでτ平行移動に対して等価であることがわかります。
  • またLτ=Z+Z(τ)=τ(Z(1τ)+Z)(1τH)
    であるのでτ反転に対しても等価であることがわかります。

 平行移動と反転について等価ということはつまりLτLτが等価である(必要十分)条件はττ一次分数変換
τ=aτ+bcτ+d(a,b,c,dZ,adbc=1)
として表せることだということになります。よって次の命題が言えます。

 任意の格子Lに対してLτLと等価となるようなτΓHが一意に存在する。

 更に言うと
Lτ+1=Lτ,L1τ=1τLτ
という関係からLτ自身もモジュラーな性質
Laτ+bcτ+d=1cτ+dLτ
を満たすことがわかります。
 となると格子の等価な変形に対してf(aL)=akf(L)のような性質を満たすような写像fは自然とモジュラーな性質を満たすことになってきます。まあとりあえずこんなところでもモジュラー形式が関わってくるのかと思ってもらえればいいと思います。

楕円関数の性質

 まずは格子L=Zω1+Zω2に対して基本領域P
P=C/L={sω1+tω2|0s,t<1}
と定めておきましょう。これはつまり任意のzCにあるwP,ωLが存在して
z=w+ω
が成り立つということを示しており、またLについての楕円関数fにおいては
f(z)=f(w+ω)=f(w)
が成り立つのでwPにおけるfの性質がわかればzCにおけるfの性質もわかることとなります。

リウヴィルの第一定理

 C上正則な楕円関数は定数関数に限る。

 C上正則な楕円関数は有界な領域Pでも正則、つまりP上で有界であり二重周期性からC上でも有界となるが、リウヴィルの定理からそのような正則関数は定数関数に限ることがわかる。

リウヴィルの第二定理

 楕円関数はP上で高々有限個の極を持ち、それらの留数の和は0になる。

 もし楕円関数fP上で無限個の極を持つとすると(ボルツァーノ・ワイエルシュトラスの定理より)P上に集積した極を持つことになり、これはfが有理型関数であることに矛盾。
 またP+vの境界
(P+v):v(ω1+v)(ω1+ω2+v)(ω2+v)v
においてfが極を持たないようなvCを取り、それに沿った(反時計回りの)周回積分を考えると留数定理より
12πiP+vf(z)dz=α:polesRes(f,α)
(ただしαP上のfの極全体を渡る)が成り立つが
ω1+vω1+ω2+vf(z)dz=vω2+vf(z+ω1)dz=ω2+vvf(z)dzω1+ω2+vω2+vf(z)dz=ω1+vvf(z+ω2)dz=vω1+vf(z)dz
であることに注意すると
P+vf(z)dz=0
がわかる。

リウヴィルの第三定理

 0でない楕円関数はP上で重複度込みで同じ数だけの零点と極を持つ。

 命題4と同様にして0でない楕円関数fの零点は有限個であることがわかるのでP+vの境界上でfが零点も極も持たないようなvCを取ると、偏角の原理から
12πiP+vf(z)f(z)dz=(f  P 上の零点の個数)(f  P 上の極の個数)
が成り立つがf(z)/f(z)も格子Lについての楕円関数なので命題4と同様にしてこの左辺は0になることがわかる。

 こによって定まる楕円関数fP上の零点の個数、あるいは極の個数のことをf位数と言います。
 ちなみにリウヴィルの第四定理というのもありますがこの記事で使うことはないため省かせてもらいます。(詳しくは こちらの文献 の59ページ辺りで解説されています。)

 奇関数の楕円関数はP上で
z=ω12,ω22,ω1+ω22
を零点か極に持つ。

z0=ω12,ω22,ω1+ω22
が極でないとするとz0(z0)=2z0Lより
f(z0)=f(z0)=f(z0)
つまりf(z0)=0がわかる。

ワイエルシュトラスの関数

 ここからはワイエルシュトラスの(ペー)関数という楕円関数の性質について解説していきます。

ワイエルシュトラスのσ,ζ,関数

 格子Lに対してワイエルシュトラスのσ,ζ,関数をそれぞれ
σ(z;L)=zωLω0(1zω)ezω+12(zω)2ζ(z;L)=1z+ω0(1zω+1ω+zω2)(z;L)=1z2+ω0(1(zω)21ω2)
と定める。このとき
ζ(z;L)=ddzlogσ(z),(z;L)=ζ(z)
が成り立つことに注意する。

 この(z;L);Lの部分はしばしば省略したりしなかったりします。

 は偶関数であり、また位数2の楕円関数である。

 偶関数であることはL=Lに注意すると
(z)=1z2+ω0(1(z(ω))21(ω)2)=(z)
とわかる。またP上でz=0のみを極に持つので位数は2となる。
 いま関数の導関数
(z)=ωL2(zω)3
は任意のωLに対し
(z+ω)=ωL2(z(ωω))3=(z)
を満たすので
(z+ω)(z)=Const.
が成り立つが、z=ω/2のとき偶関数性より
(ω2)(ω2)=0
となるので
(z+ω)(z)=0
を得る。
 したがっての二重周期性がわかり、は有理型関数でもあることから楕円関数となる。

 P上で
z=ω12,ω22,ω1+ω22
を零点に持ち、それ以上に零点を持たない。

 は偶関数なのでは奇関数であり、したがって命題6より上の零点を持つことがわかる。また
(z)=ωL2(zω)3
よりP上でz=0以外を極に持たないのでは位数3の楕円関数であり、したがってその零点は上で尽くされることがわかる。

 z=0周りでローラン展開
(z)=1z2+n=1(2n+1)G2n+1(L)z2n
を持つ。ただしG2n(L)はアイゼンシュタイン級数
G2n(L)=ωLω01ω2n
とした。

f(z)=(z)1z2
とおくとこれはz=0周りで正則であり
f(n)(z)=(n+1)!ω01(ωz)n+2(n1)
なのでfは偶関数であることおよびf(0)=0に注意すると
f(z)=n=1f(2n)(0)(2n)!z2n=n=1(2n+1)G2n+1(L)z2n
と展開できることがわかる。

 ちなみにG2n(L)はその名の通りL=ωLτ(τH)とすると
G2k(L)=(m,n)(0,0)1ω2k(mτ+n)2k=1ω2kG2k(τ)
とモジュラー形式のアイゼンシュタイン級数そのものになっています。

 は微分方程式
(z)2=4(z)3g2(z)g3
を満たす。ただしg2,g3Lによって定まる定数でg2=60G4(L),g3=140G6(L)と与えられる。

h(z)=(z)24(z)3+g2(z)+g3
とおいたとき、hは楕円関数であってP上で極を取るとするならz=0に限るので、これがz=0で極を持たない、特にh(0)=0となることを示す。
 (z)3,(z)2のローラン展開の0次以下の項を考えると命題9より
(z)=z2+3G4z2+5G6z4+O(z6)(z)3=(z2+3G4z2+5G6z4)3+O(z2)=z6+9G4z2+15G6+O(z2)(z)=2z3+6G4z+20G6z3+O(z5)(z)2=(2z3+6G4z+20G6z3)2+O(z2)=4z624G4z280G6+O(z2)
であるので
(z)24(z)3+g2(z)+g3=4z624G4z280G64z636G4z260G6+60G4z2+140G6+O(z2)=O(z2)
h(z)z=0を零点に持つことがわかる。
 特にこのことからhC上で正則となるのでリウヴィルの第一定理(定理3)より恒等的に0となることがわかる。

 見ての通りC2の点((z),(z))は集合(C2上の曲線)
X(g2,g3)={(x,y)C2y2=4x3g2xg3}
に埋め込まれることになります。そんなわけでは"楕円"関数であったことからこのような曲線Xが"楕円"曲線と呼ばれているわけです。

(z)2=4((z)(ω12))((z)(ω22))((z)(ω1+ω22))
が成り立つ。

z0=ω12,ω22,ω1+ω22
に対してf(z)=(z)(z0)とおくと命題8より
f(z0)=0,f(z0)=(z0)=0
が成り立つのでfP上でz=z0を二位の零点を持つことがわかる。またfは二位の楕円関数なのでこれ以上零点を持たないことがわかる。
 あとは命題10の等式を
(z)2=4(z)3g2(z)g3=4((z)e1)((z)e2)((z)e3)
と因数分解したときこの左辺がz=z0を二位の零点に持つことと、上で示したように(z)(z0)z=z0以外で零点を持たないことに注意するとわかる。

基本擬周期とルジャンドル関係式

 続いて少しワイエルシュトラスのζ関数についての話をします。
 上で見たようにζ(z)=(z)は楕円関数でしたが、ζ(z)については残念ながら楕円関数となりません。
ζ(z)=1z+ω0(1zω+1ω+zω2)
におけるz/ω2の部分が周期性を損なわせているためですね。
 ただ任意のωLに対し
(ζ(z+ω)ζ(z))=(z)(z+ω)=0
が成り立つのであるzに依らない定数η(ω)があり
ζ(z+ω)ζ(z)=η(ω)
となることがわかります。さらにη1=η(ω1),η2=(ω2)とおけば
ζ(z+mω1+nω2)=ζ(z)+mη1+nη2
という疑二重周期(quasiperiod)を持つことがわかります。またη1,η2のことを基本擬周期といいます。

 他にも擬二重周期を持つ関数として例えばテータ関数
ϑ(v,τ)=n=qn2zn(q=eπiτ,z=e2πiv)
というものがあります。テータ関数はvについて
ϑ(v+m1+nτ,τ)=qn2znϑ(v,τ)
という擬二重周期を持っています。

 基本周期ω1,ω2と基本擬周期η1,η2は以下の関係式によって結びついていることがわかります。

ルジャンドル関係式

 格子Lの基本周期ω1,ω2について0<argω2argω1<πであるものとすると
η1ω2η2ω1=2πi
が成り立つ。

 例のごとくP+vの境界上でζが極を持たないようなvC(つまりvL)を取ると留数定理より
P+vζ(z)dz=2πi
が成り立つ。ここで0<argω2argω1<πの仮定より積分経路
(P+v):v(ω1+v)(ω1+ω2+v)(ω2+v)v
は反時計回りになり
ω1+vω1+ω2+vζ(z)dz=vω2+vζ(z+ω1)dz=vω2+v(ζ(z)+η1)dz=η1ω2ω2+vvζ(z)dzω1+ω2+vω2+vζ(z)dz=ω1+vvζ(z+ω2)dz=η2ω1vω1+vζ(z)dz
であることに注意すると
P+vζ(z)dz=η1ω2η2ω1=2πi
を得る。

ワイエルシュトラスのσ関数とq-展開

 以下ではワイエルシュトラスのσ関数の擬二重周期性およびにq-展開、そしてワイエルシュトラスのζ関数のq-展開について解説していきます。

 ワイエルシュトラスのσ関数は擬二重周期
σ(z+ω)=exp(η(ω)(z+ω2))σ(z)(k=1,2)
を持つ。

ddzlog(σ(z+ω)σ(z))=ζ(z+ω)ζ(z)=η(ω)
が成り立つのでzに依らないある定数Aがあって
σ(z+ω)=Aeηzσ(z)
と表せる。
 またσは奇関数なのでこのz=ω/2の場合を考えることで
σ(ω2)=Aeηω2σ(ω2)=Aeηω2σ(ω2)
つまりA=eηω2を得る。

 格子Lτ=Z+Zτ(τH)について基本周期1に対応する基本擬周期をηとし
φ(z,τ)=eη2z2+iπzσ(z;Lτ)
とおく。このときφzについて擬二重周期
φ(z+1,τ)=φ(z,τ),φ(z+τ,τ)=e2πizφ(z,τ)
を持つ。

 基本周期τに対応する基本擬周期をητとおくとτHより0<argτarg1<πなのでルジャンドル関係式(命題12)から
ητητ=2πi
が成り立つことに注意すると命題17から
φ(z+1,τ)=exp(η2(z+1)2+iπ(z+1))exp(η(z+12)πi)σ(z)=exp(η2z2+iπz)σ(z;Lτ)=φ(z)φ(z+τ,τ)=exp(η2(z+τ)2+iπ(z+τ))exp(ητ(z+τ2))σ(z;Lτ)=exp(ητ(z+τ2)+iπτ)exp(ητ(z+τ2))φ(z,τ)=exp((2πi+ητ)(z+τ2)+iπτ+ητ(z+τ2))φ(z,τ)=exp(2πiz)φ(z,τ)
とわかる。

 上で定めたφq-展開
φ(z,τ)=w12πin=1(1qnw)(1qnw1)(1qn)2
を持つ。ただしq=e2πiτ,w=e2πizとした。
 特にワイエルシュトラスのσ関数はq-展開
σ(z;Lτ)=eη2z2w12w122πin=1(1qnw)(1qnw1)(1qn)2
を持つ。

あらすじ

g(z,τ)=w12πin=1(1qnw)(1qnw1)(1qn)2
とおいたときgφと同じ擬二重周期を持ち、同じ零点を持つことを示せば
φ(z,τ)g(z,τ)
は格子LτについてのC上正則な楕円関数となるのでリウヴィルの第一定理(命題3)から定数関数であることがわかり
limz0φ(z,τ)g(z,τ)=1
を示すことで証明が完結する。

同じ擬周期を持つこと

 z=z+1においてw=e2πi(z+1)=wとなるので
g(z+1,τ)=g(z,τ)
がわかり、またz=z+τにおいてw=qwとなるので
g(z,τ)=qw12πin=1(1qn+1w)(1qn1w1)(1qn)2=qw12πi1q0w11q1wn=1(1qnw)(1qnw1)(1qn)2=qw1w11w11qwg(z,τ)=w1g(z,τ)=e2πizg(z,τ)
とわかる。

同じ零点を持つこと

 g(z,τ)0となるのはw=qm(mZ)のとき、つまり
2πz=2πimτ+2πinz=mτ+n(Zτ+Z)=Lτ
のときに限り、逆にzLτであればg(z,τ)=0となることがわかる。
 φ(z,τ)=0zLτおよびそれぞれが一位の零点であることは自明。

比が1であること

 z0におけるφ,gの挙動を考えると
φ(z,τ)=eη2z2+2πizzω0(1zω)ezω+12(zω)2=z+O(z)g(z,τ)=w12πin=1(1qnw)(1qnw1)(1qn)2=2πiz+O(z2)2πi(1+O(z))=z+O(z2)
が成り立つので
limz0φ(z,τ)g(z,τ)=limz0zz=1
を得る。

 格子Lτ=Z+Zτ(τH)の基本周期1に対応する基本擬周期η(τ)について
η(τ)=π23E2(τ)=π23(124n=1nqn1qn)(q=e2πiτ)
が成り立つ。

dwdz=2πiw
に注意すると命題15から
ζ(z;Lτ)=ddzlogσ(z;Lτ)=ηz+πiw12+w12w12w12+2πin=1(qnw1qnw+qnw11qnw1)
が成り立ち、またこの最後の項は
2πin=1(qnw11qnw1qnw1qnw)=2πin=1m=1((qnw1)m(qnw)m)=2πim=1n=1(qm)n(wmwm)=2πim=1qm1qm(wmwm)=4πm=1qm1qmsin(2πmz)
と変形できるので
ζ(z;Lτ)=ηz+πcos(πz)sin(πz)+4πn=1qn1qnsin(2πnz)
が得られる。
 そしてこれを微分することで
(z;Lτ)=ζ(z;Lτ)=η+π2sin2(πz)8π2n=1nqn1qncos(2πnz)
となるので
limz0(π2sin2(πz)1z2)=limz0(πz)2sin2(πz)(πz+sin(πz)πzπzsin(πz)π3z3)π2=π23
に注意してこの両辺から1/z2を引いてz0極限を取ることで
0=η+π238π2n=1nqn1qn
すなわち
η(τ)=π23(124n=1nqn1qn)
を得る。

 ついでに途中で出てきた式
ζ(z;Lτ)=ηz+πcos(πz)sin(πz)+4πn=1qn1qnsin(2πnz)
η(τ)q-展開を代入することで次の系が得られます。

 ワイエルシュトラスのζ関数はq-展開
ζ(z;Lτ)=π23z2+πcotπz+4πn=1qn1qn(sin(2πnz)2πnz)
を持つ。

おまけ:ヤコビの三重積

 上で見てきたようにφ
φ(z+1,τ)=φ(z,τ),φ(z+τ,τ)=e2πizφ(z,τ)
という擬二重周期性を持ち
φ(z,τ)=w12πin=1(1qnw)(1qnw1)(1qn)2
という無限積によるq-展開を持っていたのでした。
 これに類似して
ϑ(v,τ)=n=qn2zn(q=eπiτ,z=e2πiv,Im(τ)>0)
で定義されるヤコビのテータ関数は
ϑ(v+1,τ)=ϑ(v,τ),ϑ(v+τ,τ)=eπiτ2πivϑ(v,τ)
という擬二重周期性を持ち
ϑ(v,τ)=n=1(1q2n)(1+q2n1z)(1+q2n1z1)
という無限積によるq-展開を持っています。
 その証明の流れもφと全く同様となります。以下でその証明を見ていきましょう。

ヤコビの三重積

n=qn2zn=n=1(1q2n)(1+q2n1z)(1+q2n1z1)
が成り立つ。

あらすじ

Θ(z,τ)=n=1(1q2n)(1+q2n1z)(1+q2n1z1)
とおいたときΘϑと同じ擬二重周期を持ち、同じ零点を持つことを示せば
ϑ(v,τ)Θ(v,τ)
は格子LτについてのC上正則な楕円関数となるのでリウヴィルの第一定理(命題3)から定数関数であることがわかり、またこれをc(τ)とおくと
c(τ)=c(41τ)=limnc(4nτ)=c(0)=Const
が成り立つことがわかり
limτiϑ(v,τ)Θ(v,τ)=1
を示すことで証明が完結する。

同じ擬周期を持つこと

 vv+1においてzzとなるので
ϑ(v+1,τ)=ϑ(v,τ),Θ(v+1,τ)=Θ(v,τ)
がわかり、またvv+τにおいてzq2zとなるので
ϑ(v+τ,τ)=n=qn2+2nzn=(qz)1n=q(n+1)2zn+1=(qz)1ϑ(v,τ)Θ(v+τ,τ)=n=1(1q2n)(1+q2n+1z)(1+q2n3z1)=1+q1z11+qzn=1(1q2n)(1+q2n1z)(1+q2n1z1)=(qτ)1Θ(v,τ)
を得る。

同じ零点を持つこと

 Θ(v,τ)0となるのはz=q2m+1のとき、つまり
2πiv=πi+(2m+1)πiτ+2πinv=τ+12+mτ+n
のときに限り、これは一位の零点となる。(Im(τ)>0より|q|<1つまり1q2n0に注意する)
 また
ϑ(τ+12,τ)=n=eπin2τ+πin(τ+1)=n=(1)neπi(τ+12)214πiτ=n=0(1)neπi(τ+12)214πiτ+n=0(1)n+1eπi(n1+12)214πiτ=0
なのでΘ(v,τ)0となるときϑ(v,τ)0となることがわかる。

比が1であること

 以上より
c(τ)=ϑ(v,τ)Θ(v,τ)
vに依らない関数であり
ϑ(12,τ)=n=(1)nqn2ϑ(14,τ)=n=inqn2=n=(1)nq(2n)2+n=1i2n1q(2n1)2+n=1(i)2n1q((2n1))2=n=(1)nq4n2=ϑ(12,4τ)Θ(12,τ)=n=1(1q2n)(1q2n1)2Θ(14,τ)=n=1(1q2n)(1+iq2n1)(1iq2n1)=n=1((1q4n)(1q4n2))(1+q2(2n1))=n=1((1q8n)(1q8n4))(1q4(2n1))=n=1(1q8n)(1q4(2n1))2=Θ(12,4τ)
つまり
c(τ)=ϑ(14,τ)Θ(14,τ)=ϑ(12,4τ)Θ(12,4τ)=c(4τ)
が成り立つ。よって
c(τ)=c(41τ)=limnc(4nτ)=c(0)
c(τ)τにも依らないことがわかる。
 そしてτiにおいてq0なので
limτiϑ(v,τ)=limq0(1+n=1qn2(zn+zn))=1limτiΘ(v,τ)=limq0n=1(1q2n)(1+q2n1z)(1+q2n1z1)=1
つまり
c(τ)=limτic(τ)=1
を得る。

参考文献

投稿日:2021330
更新日:2024114
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉
子葉
1093
268767
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 楕円関数と格子
  3. 楕円関数の性質
  4. ワイエルシュトラスの$\wp$関数
  5. 基本擬周期とルジャンドル関係式
  6. ワイエルシュトラスの$\s$関数と$q$-展開
  7. おまけ:ヤコビの三重積
  8. 参考文献