Processing math: 100%

MENU

第22講:楕円関数の表示式

  • このエントリーをはてなブックマークに追加

楕円関数の表示式

有理関数を式で書き表すときは次の二種の方法のいずれかを用いるとその性質がよく表示されて便利です。一つ目は因数分解式と呼ばれるもので
f(z)=Cmi=1(zbi)ni=1(zai)(C)
のように、その関数の極と零点を明示したものです。もう一つは部分分数式と呼ばれるもので
f(z)=C+ni=1{ci,1zai+ci,2(zai)2++ci,ki(zai)ki}   (C,c)
のように各々の極における展開式の主部を明示したものです。

 楕円関数の表示式にもちょうどこれと同様の二種があります。

因数分解式に相当するもの

 今、f(u)を楕円関数とし、その一つの周期平行四辺形内にある極及び零点をそれぞれその位数だけずつ重複して列記したものをa1,a2,,an及びb1,b2,,bnとすれば、以前証明した定理6により
a1+a2++an=b1+b2++bn+w
が言えます。ただしwはある一つの周期です。そこで、以下では便宜上bn+wのことを単にbnで表すことにします。そうすると正しく
a1+a2++an=b1+b2++bn
となり、bnはやはり一つの零点ですが一般には最初に考えた平行四辺形内には存在しないことが分かります。さて、ここで
φ(u)=ni=1σ(ubi)ni=1σ(uai)
の関数を作ると、これは極及び零点がことごとくf(u)と一致しています。また、φ(u)2ω1及び2ω3の周期をもつことも言えます。なぜならば、
φ(u+2ω1)=ni=1σ(ubi+2ω1)ni=1σ(uai+2ω1)=(1)ne2η1ni=1(ubi+ω1)ni=1σ(ubi)(1)ne2η1ni=1(uai+ω1)ni=1σ(uai)
すると(1)より
ni=1(uai+ω1)=ni=1(ubi+ω1)
よって
φ(u+2ω1)=φ(u)
となります。2ω3についても全く同様です。

 これを用いるとφ(u)f(u)と同じ周期をもつ楕円関数で、かつその極及び零点がそれぞれ一致するものであることが分かります。ゆえに定理3と系4により、
f(u)=Cni=1σ(ubi)ni=1σ(uai)(C)
が導けます。

部分分数式に相当するもの

 前のように楕円関数f(u)の極をa1,a2,,anと書きますが、今度は位数だけに重複して書くことにせず異なる極のみを書いたとして、その位数をそれぞれk1,k2,,kmとすることにしましょう。さらに、各極ai(i=1,2,,m)におけるf(u)の展開式の主部を
Ai,1uai+Ai,2(uai)2++Ai,ki(uai)ki
と考えることにします。そうすれば定理4により
mi=1Ai,1=0
であることが分かります。さて既に知られるように
ζ(u)=1u+, (u)=1u2+,   (u)=2u3+,, (ki2)(u)=(1)ki(ki1)!uki
ですから、次のような関数φi(u)を作ればちょうどaiにおいて(2)と同じ主部の極をもつことになります。
φi(u)=Ai,1ζ(uai)+Ai,2(uai)+Ai,32!(uai)++(1)kiAi,ki(ki1)!(ki2)(uai)
よって、
mi=1φi(u)
の関数を作れば、これはf(u)とすべての極を共有するだけではなく、その各極における展開式の主部が全て一致するものとなります。ところで、(4)はφi(u)の構造を見ると第二項以下は及びその逐次の導関数ですからもちろん楕円関数であることになります。ゆえに(4)が楕円関数であるかどうかは、結局、
mi=1Ai,1ζ(uai)
の問題に帰着することになります。そこでこの式においてuu+2ω1に変えてみると、
mi=1Ai,1ζ(uai+2ω1)=mi=1Ai,1{ζ(uai)+2η1}=mi=1Ai,1ζ(uai)+2η1mi=1Ai,1
この最後の項は(3)より0に等しいことが直ちに分かります。よって(5)、2ω1の周期をもつことになります。2ω3についても同様です。ゆえに(4)は楕円関数です。そうすれば定理3と系3により、(4)はf(u)と定数だけの差をもつものであることが言えます。よって、
f(u)=C+mi=1{Ai,1ζ(uai)+Ai,2(uai)Ai,32!(uai)++(1)kiAi,ki(ki1)!(ki2)(uai)}(C)

楕円関数の積分の表示についてのまとめ

 (2)の結果からf(u)の積分を考えてみると、まずCの積分はuの一次式となり、ζ,,,,の積分はそれぞれlogσ,ζ,,,となることが分かります。この中で,,はつまるところ一つの楕円関数を作るだけなので、総括すれば一般に楕円関数の積分はたかだか四種類の関数から成立することが分かります。

参考文献

参考文献は以下の通り。

[1]竹内端三,『楕円関数論』,岩波書店,1936
出版社在庫無し、著作権消失済み。

[2]E.T. Whittaker, et al., A Course of Modern Analysis (AMS PRESS, 1927)
著作権消失済み。

[3]戸田盛和,『楕円関数入門』,日本評論社,2001

[4]戸田盛和,『臨時別冊・数理科学SGC ライブラリ49  ソリトンと物理学』,サイエンス社,2006
同出版社より電子書籍の形で復刊済み。

[5]Landau・Lifshitz,『力学』,東京図書,2017

  • このエントリーをはてなブックマークに追加

SNSでもご購読できます。