ヤコビの楕円関数

数学において、ヤコビの楕円関数とは、基本的な楕円関数の一群であり、追加でテータ関数を含むこともあり、歴史的に重要な関数からなる。これらの関数は重要な構造を持っていて、さらに直接関連した応用も存在する。三角関数との類似性も便利で、//sin// に対応する関数を //sn// と表記するこれはそのまま「エスエヌ」と読むsfn。実用的な問題にはヴァイエルシュトラスの楕円函数よりもヤコビの楕円関数のほうがよく用いられる。これは複素解析の概念を使わずに定義し考察できるからである。これらの関数はtxtにより導入された。

1. 導入
-----

ヤコビの楕円関数は全部で12種類ある。これら12種は長方形のある頂点から他の頂点へ引いた矢印に対応している。ここでは、この頂点を順に s、c、d、n と呼ぶことにする。この長方形を複素平面に配置して、s は原点に、c は実軸上の //K// の位置に、d は //K//   +   //iK// の位置に、n は虚軸上の //iK// の位置になるようにする。実数 //K// と //K' //は四半周期と呼ばれる。このとき、 s、c、d、n から異なる2文字を選んで「p」と「q」とすると、ヤコビの楕円関数は「pq」と書くことができる。ヤコビの楕円関数は二重周期を持つ有理型関数で、次の性質を満たす唯一のものをいう。

頂点 p に一位の零点を持ち、頂点 q には一位の極を持つ
p から q までが関数 pq   //u// の半周期となる。つまり、関数 pq   //u// は pq の向きの周期を持っており、その周期は p と q の距離の倍である。さらに、関数 pq   //u// はほかの2方向についても周期的であり、p から残りの頂点への距離が 1/4 周期である。
関数 pq   //u// を各頂点で //u// について展開すると、先頭の項の係数は 1 となる。言い換えると、関数 pq   //u// を、頂点 p において展開した場合の先頭の項は //u// であり、頂点 q では 1///u// であり、残りの頂点では 1 である。より一般的には、長方形である必要はなく、平行四辺形でもよい。しかし、//K// と //iK' // をそれぞれ実軸と虚軸に置いておくと、ヤコビの楕円関数 pq   //u// は、//u// が実数のとき実数値を取る。

2. 記法
-----

楕円関数には様々な記法があり、無用な混乱を引き起こしている。楕円関数は2変数の関数である。最初の変数は振幅φを使って表すこともあるが、一般には、以下のように //u// を使う。二番目の変数はパラメタ //m// を使ったり、母数  //k// を使って表す。ここで、//k//2 = //m// である。他にも、modular angle α を使うこともある。//m//   =   sin2   α である。これら別記法の定義や発展した話題、//相補的//な対応概念については、楕円積分や四半周期の記事を見られたい。

3. 楕円積分の逆関数による定義
----------------

上記のように、特定の性質を持つ唯一の有理型関数として定義するのは非常に抽象的である。より単純で、完全に同値な定義として、第1種不完全楕円積分の逆関数として定義することができる。まず、

とする。楕円関数 sn //u// は

で与えられ、cn //u// は

で与えられ、dn //u// は

で与えられる。

ここで、角 を振幅と呼ぶ。dn   //u//   =   Δ をdelta amplitudeと呼ぶこともある。上の値 //m// は自由なパラメタで、通常は実数を使い、0   ≤   //m//   ≤   1 とする。これにより、楕円関数は、ふたつの変数、振幅とパラメタ//m//の関数だと考えることができる。

残りの9つの楕円関数は上記の3つから簡単に構成することができ、下の節で与えられる。

注意として、 の場合は、//u// は四半周期 //K// となる。

4. 三角法による定義
-----------

//r//   =   1 の単位円上でを定義できたのと同様に、ヤコビの楕円関数は、//a//   =   1 の単位楕円上で定義できる。

とすると、

である。

楕円に沿った弧長 //u// を計算すると、

となる。ここで、である。単位円でおなじみの関係式

を楕円の場合に一般化して、

を定義とする。

さらに、

と定める。

5. テータ関数を用いた定義
--------------

ヤコビによるテータ関数を用いて定義することもできる。をと略記し、もそれぞれ、と略記する。このとき、母数 //k// は となる。とおくと、

となる。

これで、ヤコビの関数が母数//k//の式で定義されたので、これを反転して τ を //k// の式で表す必要がある。初めに、//余母数//を考える。これは τ の関数として、

と書ける。

次に、

と定める。

そして、ノーム //q// を と定義し、ノーム //q// に関して、を冪級数の商に展開すると、

となる。

級数の反転を行うと、

を得る。

τの虚部が 1/2 sqrt 以上の場合に帰着すればよいので、//q// の絶対値は exp π) ~ 0.0658 以下である場合だけを考えればよい。この値は小さいため、上の級数は急速に収束し、簡単に//q//の値を計算することができる。

6. その他の関数
---------

関数名の文字の順序を反転した場合は、元の関数の逆数となる。

同様に、上の3つの関数どうしの比は、分子の関数の最初の文字と分母の関数の最初の文字を繋げたものになる。

もっと簡単に、

と書くことができる。ここで、p、q、r は、s、c、d、n の任意の文字で、ss = cc = dd = nn = 1 と解釈する。

7. 加法定理
-------

ヤコビの楕円関数が持つ代数的な関係式として

がある。

これらの方程式で定まる2つの二次曲面の共通部分は楕円曲線であり、は楕円曲線のパラメタ表示を与えることが分かる。ヤコビの楕円関数の加法定理により、この楕円曲線の点は群となる。

8. 関数の二乗のもつ関係式
--------------

ここで、//m//   +   //m//1   =   1 and //m//   =   //k//2である。

pq2 · qp2 = 1 と pq = pr / qr を使うことで、二乗についてのさらなる関係式を得られる。ここで、p、q、rは s、c、d、n の任意の文字であり、ss = cc = dd = nn = 1 とする。

9. ノームに関する展開
------------

ノームをとし、引数をと変換する。このときの関数の展開はランベルト級数になる。

10. 非線形常微分方程式の解としてのヤコビの楕円関数
---------------------------

ヤコビの楕円関数を微分すると、

となる。

上記の加法定理を使うと、//k// が 0   <   //k//   <   1 を満たす場合は、ヤコビの楕円関数は下記の非線形常微分方程式の解となる。

は次の微分方程式の解である や
は次の微分方程式の解である や
は次の微分方程式の解である や

11. 逆関数
-------

ヤコビの楕円関数の逆関数は逆三角関数と同様のやり方で定義される。に対して、である。これらの逆関数は楕円積分で表すことができる。また、冪級数でも表現できる。

12. 地図投影法
---------

パース・クインカンシャル図法はヤコビの楕円関数を用いた投影法である。また各国で標準的に使われているガウス・クリューゲル図法でも、投影式をヤコビの楕円関数で表すことができる。

13. 脚注
------

14. 参考文献
--------

Naum Akhiezer, //Elements of the Theory of Elliptic Functions//,  Moscow, translated into English as //AMS Translations of Mathematical Monographs Volume 79//  AMS, Rhode Island ISBN 0-8218-4532-2
Alfred Cardew Dixon [1] 
Alfred George Greenhill [2] 
H. Hancock [3] 
E. T. Whittaker and G. N. Watson //A Course of Modern Analysis//,  Cambridge University Press. ISBN 0-521-58807-3
P. Appell and E. Lacour [4] 
G. H. Halphen [5] 
G. H. Halphen [6] 
G. H. Halphen [7] 
J. Tannery and J. Molk [8] 
J. Tannery and J. Molk [9] 
J. Tannery and J. Molk [10] 
J. Tannery and J. Molk [11] 
C. Briot and J. C. Bouquet [12] 

15. 関連項目
--------

楕円積分
楕円曲線
ヴァイエルシュトラスの楕円函数
ヤコビのテータ関数

16. 外部リンク
---------

[13]
[14]