ヴァイエルシュトラスの楕円函数

数学における**ヴァイエルシュトラスの楕円函数**（ヴァイエルシュトラスのだえんかんすう、）は、カール・ワイエルシュトラスに名を因む、単純な形をした楕円函数の一種である。このクラスの楕円函数は、ペー函数と呼ばれ、一般に ℘ なる記号（ヴァイエルシュトラス・ペー）で表される。

## 定義

**ヴァイエルシュトラスの楕円函数**は、近しい関係にある三種類の方法で定義することができて、それぞれ一長一短がある。一つは、複素変数 *z* と複素数平面上の格子 &Lambda; の函数として、いま一つは *z* と格子の二つの生成元（周期対）を与える複素数 &omega;1, &omega;2 を用いて述べるもの、残る一つは *z* と上半平面における母数 (modulus) &tau; に関するものである。最後のはその前のと、上半平面上の周期対を選んで &tau; = &omega;2/&omega;1 とした関係にある。この方法では、*z* を止めて、&tau; の函数と見ると、ヴァイエルシュトラス楕円函数は &tau; のモジュラー函数になる。

周期対を与える方法を具体的に書けば、&omega;1, &omega;2 を二つの周期に持つペー函数は、

:
\wp(z;\omega_1,\omega_2)=\frac{1}{z^2}+
\sum_{n^2+m^2 \ne 0}
\left\{
\frac{1}{(z+m\omega_1+n\omega_2)^2}-
\frac{1}{\left(m\omega_1+n\omega_2\right)^2}
\right\}

で定義される。このとき、周期格子
: \Lambda=\{m\omega_1+n\omega_2:m,n\in\mathbb{Z}\}
を考えれば、格子の任意の生成対に対して
: \wp(z;\Lambda)=\wp(z;\omega_1,\omega_2)
は複素変数と格子の函数としてのペー函数を定める。

上半平面に属する複素数 &tau; に対して、
: \wp(z;\tau) = \wp(z;1,\tau) = \frac{1}{z^2} + \sum_{n^2+m^2 \ne 0}\left\{
{1 \over (z+m+n\tau)^2} - {1 \over (m+n\tau)^2}\right\}
と置く。上記の和は &minus;2-次の斉次和である。このペー函数を用いると、先に述べた周期対に対するペー函数は
: \wp(z;\omega_1,\omega_2) = \frac{\wp(\frac{z}{\omega_1}; \frac{\omega_2}{\omega_1})}{\omega_1^2}
と書ける。ペー函数は収斂の早いテータ函数を用いて表せば、上記の定義に用いた級数を用いるよりも、手早く計算できる。テータ函数による表示は
: \wp(z; \tau) = \pi^2 \vartheta^2(0;\tau) \vartheta_{10}^2(0;\tau){\vartheta_{01}^2(z;\tau) \over \vartheta_{11}^2(z;\tau)}-{\pi^2 \over {3}}\left[\vartheta^4(0;\tau) + \vartheta_{10}^4(0;\tau)\right] 
で与えられる。ペー函数は（原点を含む）周期格子の各頂点において二位の極を有する。
これらの定義のもと、ペー函数  は偶函数、その *z* に関する導函数  は奇函数になる。

さらに楕円函数論を推し進めれば、与えられた周期格子を持つ任意の有理型函数の中で、ペー函数に関する条件は、定数を加えたり非零定数倍したりすることを除き、極に関する条件のみで決まることが示される。

## 不変量

原点の近傍を除き、 のローラン級数展開は
: 
\wp(z;\omega_1,\omega_2)=z^{-2}+\frac{1}{20}g_2z^2+\frac{1}{28}g_3z^4+O(z^6)

で与えられる。ただし、
: g_2= 60\sum_{(m,n) \neq (0,0)} (m\omega_1+n\omega_2)^{-4}, 
: g_3=140\sum_{(m,n) \neq (0,0)} (m\omega_1+n\omega_2)^{-6}
である。これらの数値 *g*2, *g*3 はペー函数の**不変量** (*invariant*) と呼ばれる。係数 60 および 140 の後ろにある和はアイゼンシュタイン級数の最初の二つで、これらは Im(&tau;)>0 なる &tau; = &omega;2/&omega;1 の函数 G4(&tau;) および G6(&tau;) としてそれぞれを見做せばモジュラー形式を成すことがわかる。

ここで、*g*2 および *g*3 はそれぞれ次数 &minus;4 および &minus;6 の斉次函数である。つまり
: g_2(\lambda \omega_1, \lambda \omega_2) = \lambda^{-4} g_2(\omega_1, \omega_2)
および
: g_3(\lambda \omega_1, \lambda \omega_2) = \lambda^{-6} g_3(\omega_1, \omega_2).
を満たす。従って、慣習的に、*g*2 および *g*3 を、上半平面に属する &tau; = &omega;2/&omega;1 を用いて、
: g_2(\tau)=g_2(1, \omega_2/\omega_1)=\omega_1^4 g_2(\omega_1, \omega_2),\quad g_3(\tau)=g_3(1, \omega_2/\omega_1)=\omega_1^6 g_3(\omega_1, \omega_2)
と表すこともよく行われる。

*g*2 および *g*3 は Im(&tau;)>0 において正則で、フーリエ級数は、ノーム *q* = exp(*i*&pi;&tau;) の平方を用いて書くことができて、
: g_2(\tau)=\frac{4\pi^4}{3} \left[ 1+ 240\sum_{k=1}^\infty \sigma_3(k) q^{2k} \right] 
および
: g_3(\tau)=\frac{8\pi^6}{27} \left[ 1- 504\sum_{k=1}^\infty \sigma_5(k) q^{2k} \right] 
となる。ただし、&sigma;*a*(*k*) は約数函数である。これらの式はを用いて書き直すこともできる。

不変量をヤコビのテータ函数を用いて書くこともできるが、テータ函数の収斂は非常に速く、これは数値計算に非常に有効な方法である。 の記法で、ただし原始半周期は &omega;1, &omega;2 と書くものとすると、不変量に関して

:
g_2(\omega_1,\omega_2)=
\frac{\pi^4}{12\omega_1^4}
\left(
    \theta_2(0,q)^8-\theta_3(0,q)^4\theta_2(0,q)^4+\theta_3(0,q)^8
\right)

および
:
g_3(\omega_1,\omega_2)=
\frac{\pi^6}{(2\omega_1)^6}
\left[
   \frac{8}{27}\left(\theta_2(0,q)^{12}+\theta_3(0,q)^{12}\right)
   -\frac{4}{9}\left(\theta_2(0,q)^4+\theta_3(0,q)^4\right)\cdot
              \theta_2(0,q)^4\theta_3(0,q)^4
\right]

が成り立つ。ただし、&tau; = &omega;2/&omega;1 は半周期比で *q* = exp(*i*&pi;&tau;) はノームである。

### 特別の場合
不変量が *g*2 = 0, *g*3 = 1 のとき、であるといい、*g*2 = 1, *g*3 = 0 のときであるという。

## 微分方程式
不変量を用いて、ペー函数は以下の微分方程式
:  [\wp'(z)]^2 = 4[\wp(z)]^3-g_2\wp(z)-g_3
を満足する。これは周期対 &omega;1, &omega;2 の取り方に依存して統制される。

この関係式は両辺の極を比べれば直ちに確かめられる。例えば、左辺の *z* = 0 における極は
: 
[\wp'(z)]^2|_{z=0}\sim \frac{4}{z^6}-\frac{24}{z^2}\sum \frac{1}{(m\omega_1+n\omega_2)^4}-80\sum \frac{1}{(m\omega_1+n\omega_2)^6} 
であり、右辺第一項の *z* = 0 における極は
: 
[\wp(z)]^3|_{z=0}\sim \frac{1}{z^6}+\frac{9}{z^2}\sum \frac{1}{(m\omega_1+n\omega_2)^4}+15\sum \frac{1}{(m\omega_1+n\omega_2)^6}
で、これらを比較して上記の関係式を得る。

## 積分方程式
ヴァイエルシュトラス・ペー函数は楕円積分の逆函数として与えることができる。ここでは *g*2 および *g*3 は定数であるものとして、
: u = \int_y^\infty \frac {ds} {\sqrt{4s^3 - g_2s -g_3}}
とおくと、
: y=\wp(u)
となるのである。このことは、上記の微分方程式を積分して直截に示すことができる。

## モジュラー判別式

**モジュラー判別式** (*modular discriminant*) &Delta; は
:  \Delta=g_2^3-27g_3^2
で定義される。この判別式は、それ自体が（周期格子の函数としての）尖点形式と見て、モジュラー形式論における研究の対象になる。デデキントのイータ関数 &eta; を用いれば、
:  \Delta=(2\pi)^{12} \eta^{24}
と書けることに注意。この 24 という数は、イータ函数とリーチ格子にあるような、何か別の現象との関連によって理解することができる。

*g*2 および *g*3 は Im(&tau;)>0 において正則だから &Delta; も Im(&tau;)>0 において正則である。さらに Im(&tau;)>0 において &Delta;(&tau;) &ne; 0 が成り立つ。

さて上記判別式は重み 12 のモジュラー形式である。すなわち *a*,*b*,*c*,*d* が *ad* &minus; *bc* = 1 を満たす整数（つまり \begin{pmatrix}a & b \\ c & d\end{pmatrix}がモジュラー群 *SL*(2, **Z**) に属する）のとき Im(&tau;)>0 において
: \Delta \left( \frac {a\tau+b} {c\tau+d}\right) = \left(c\tau+d\right)^{12} \Delta(\tau) 
が成り立つ。またフーリエ級数は、ノーム *q* = exp(*i*&pi;&tau;) の平方を用いて、
:  \Delta(\tau)=(2\pi)^{12} \sum_{k=1}^\infty \tau(k) q^{2k}, \tau(k)\in\mathbf{Z} 
となる。ここで &tau;(1)=1, &tau;(2)=-24, &tau;(3)=252, ... はラマヌジャンのタウ函数である（）。さらにデデキントのイータ関数との関係から
:  \Delta(\tau)=(2\pi)^{12} q^2 \prod_{n=1}^\infty (1-q^{2n}) 
が成り立つ。

## j-不変量

上記の不変量を用いて
:j(\omega_1, \omega_2) = \frac{1728g_2^3}{\Delta}
と定めると、 &Delta; および *g*23はともに次数 &minus;12 の斉次函数であるから *j* は次数 0 の斉次関数である。つまり &tau; = &omega;2/&omega;1 ならばつねに
:j(\omega_1, \omega_2) = j(1, \tau)
が成り立つ。したがってこれは周期比 \tau=&omega;2/&omega;1 によってのみ定まるので1変数関数
:j(\tau)=j(1, \tau)=\frac{1728g_2^3(1, \tau)}{\Delta(1, \tau)}
が定義される。これをフェリックス・クラインの **[[j-不変量|''j''-不変量]]**、**''j''-函数**、あるいは単に *j*-不変量 (*j*-invariant) という。

Im(&tau;)>0 において *g*2 および *g*3 は正則で &Delta;(&tau;) &ne; 0 が成り立つから、 *j*-不変量も Im(&tau;)>0 において正則である。また不変量は周期格子にのみ依存することからモジュラー変換により不変である。つまり *a*,*b*,*c*,*d* が *ad* &minus; *bc* = 1 を満たす整数（つまり \begin{pmatrix}a & b \\ c & d\end{pmatrix}がモジュラー群 *SL*(2, **Z**) に属する）のとき Im(&tau;)>0 において
: j \left( \frac {a\tau+b} {c\tau+d}\right) = j(\tau) 
が成り立つ。そして *j*-不変量についてはフーリエ級数は、ノーム *q* = exp(*i*&pi;&tau;) の平方を用いて、
:  j(\tau)=q^{-2} + 744 + 196884q^2 + \cdots 
となる（係数は（）により与えられる）。

## 定数 ''e''<sub>1</sub>, ''e''<sub>2</sub>, ''e''<sub>3</sub>
三次の多項式方程式 4*t*3 &minus; *g*2*t* &minus; *g*3 = 0 とその三根 *e*1, *e*2, *e*3 を考える。判別式 &Delta; = *g*23 &minus; 27*g*32 が零でなければ、これらの根はどの二つも相異なる。この多項式には二次の項がないから、根は
: e_1+e_2+e_3=0
を満たす。一次の項と定数項の係数（それぞれ *g*2 と *g*3) は根と係数の関係により
:g_2 = -4( e_1 e_2 + e_1 e_3 + e_2 e_3) = 2(e_1^2 + e_2^2 + e_3^2)
および
: g_3 = 4 e_1 e_2 e_3
を満たす。

不変量が実数の場合には、&Delta; の符号は根の特性を決定する。&Delta; &gt; 0 ならば、三根は全て実数で、慣習的に *e*1 &gt; *e*2 &gt; *e*3 であるものとする。&Delta; &lt; 0 ならば、慣習的に &alpha; &gt; 0, &beta; &gt; 0 を用いて *e*1 = &minus;&alpha; + &beta;*i*, *e*3 は *e*1 の複素共軛、*e* は非負実数となるようにする。

ヴァイエルシュトラスのペー函数の半周期 ω1/2, ω2/2 は、これらの根との間に
:\wp(\omega_1/2)=e_1,\quad\wp(\omega_2/2)=e_2,\quad\wp(\omega_3/2)=e_3,\qquad(\omega_3:=-(\omega_1+\omega_2))
なる関係を持つ。ペー函数の導函数の平方は、上で述べた函数値の三次多項式に等しいから、 
: \wp'(\omega_i/2)^2=\wp'(\omega_i/2)=0
が *i* = 1, 2, 3 に対して成り立つ。逆に、函数値がこの多項式の根に等しいならば、導函数は零になる。

*g*2, *g*3 がともに実数で &Delta; &gt; 0 ならば、*e**i* は全て実数であり、ペー函数  は 0, &omega;3, &omega;1 + &omega;3, and &omega;1 を四頂点とする矩形の周上で実数値をとる。上で述べたように根を *e*1 &gt; *e*2 &gt; *e*3 と順序付けるならば、第一半周期は実数
: \omega_{1}/2 = \int_{e_{1}}^{\infty} \frac{dz}{\sqrt{4z^{3} - g_{2}z - g_{3}}}
になり、一方第三半周期は純虚数
: \omega_{3}/2 = i \int_{-e_{3}}^{\infty} \frac{dz}{\sqrt{4z^{3} - g_{2}z - g_{3}}}
になる。

## いくつかの定理について
ペー函数の満たすいくつかの性質を以下に示す。

:
\begin{vmatrix}
\wp(z) & \wp'(z) & 1\\
\wp(y) & \wp'(y) & 1\\
\wp(z+y) & -\wp'(z+y) & 1
\end{vmatrix}=0.
これの対称版は *u* + *v* + *w* = 0 として
: 
\begin{vmatrix}
\wp(u) & \wp'(u) & 1\\
\wp(v) & \wp'(v) & 1\\
\wp(w) & \wp'(w) & 1
\end{vmatrix}=0
と書ける。

また、加法公式
: \wp(z+y)=\frac{1}{4}\left\{\frac{\wp'(z)-\wp'(y)}{\wp(z)-\wp(y)}\right\}^2-\wp(z)-\wp(y)
および、2*z* が周期でない限りにおいて**倍数公式**
: \wp(2z)=\frac{1}{4}\left\{\frac{\wp*(z)}{\wp'(z)}\right\}^2-2\wp(z)</math>
が成り立つ。

== 基本半周期 1 の場合 ==
&omega;<sub>1</sub> = 1 のときには、&omega;<sub>2</sub> を慣習的に &tau; と書き、また、上で述べた理論の多くはより簡単な形になる。[[上半平面]]の元 &tau; を一つ固定すると、&tau; の虚部は正であり、ヴァイエルシュトラスの ℘-函数は
: <math>\wp(z;\tau) =\frac{1}{z^2} + \sum_{(m,n) \ne (0,0)}{1 \over (z+m+n\tau)^2} - {1 \over (m+n\tau)^2}</math>
で定義される。和は原点を除く格子 {*m* + *n*τ : *m*, *n* &isin; *'Z**} の全ての点に亙って取る。ここでは、τ を固定して、 ℘ を ''z'' の函数と見ているが、''z'' を固定して τ を動かせば、[[楕円モジュラー函数]]の面積が導かれる。

== 一般論 ==
ペー函数 ℘ は複素平面上の[[有理型函数]]で、各格子点において二位の[[極 (複素解析)|極]]を有する。また、1 と &tau; を周期に持つ二重周期函数、すなわち ℘ は
: <math>\wp(z+1) = \wp(z+\tau) = \wp(z)</math>
を満たす。上記の和は次数 &minus;2 の斉次函数で、''c'' を零でない複素数として
: <math>\wp(cz;c\tau) = \wp(z;\tau)/c^2</math>
が成立し、これを用いて、任意の周期対に対する ℘-函数を定義することができる。''z'' に関する[[導函数]]も計算できて、℘ に関して代数的な関係式
: <math>\wp'^2 = 4\wp^3 - g_2 \wp - g_3</math>
が得られる。ここで ''g''<sub>2</sub>, ''g''<sub>3</sub> は &tau; のみに依存して決まり、また &tau; の[[モジュラー形式]]になる。代数方程式
: <math>Y^2 = 4 X^3 - g_2 X - g_3</math>
は[[楕円曲線]]を定め、(℘, ℘') がこの曲線の径数付けになっていることが確かめられる。

与えられた周期を持つ二重周期有理型函数の全域性は、楕円曲線に付随する[[代数函数体]]を定めるが、この体が
: <math>\mathbb{C}(\wp, \wp')</math>
であることが示せるので、そのような函数はペー函数とその導函数に関する[[有理函数]]になる。

単独の周期平行四辺形を[[トーラス]]（つまりドーナツ型をした[[リーマン面]]）に巻きつけることができるから、与えられた周期対に付随する楕円函数を、このリーマン面上の函数と見做すこともできる。

三次多項式 4''X''<sup>3</sup> &minus; ''g''<sub>2</sub>''X'' &minus; ''g''<sub>3</sub> の根 ''e''<sub>2</sub>, ''e''<sub>3</sub> は τ に依存して決まり、[[テータ函数]]を用いて
: <math>e_1(\tau) = \tfrac{1}{3} \pi^2(\vartheta^4(0;\tau) + \vartheta_{01}^4(0;\tau)),</math>
: <math>e_2(\tau) = -\tfrac{1}{3} \pi^2(\vartheta^4(0;\tau) + \vartheta_{10}^4(0;\tau)),</math>
: <math>e_3(\tau) = \tfrac{1}{3} \pi^2(\vartheta_{10}^4(0;\tau) - \vartheta_{01}^4(0;\tau))</math>
と表すことができる。
: <math>g_2 = -4(e_1e_2+e_2e_3+e_3e_1),\quad g_3 = 4e_1e_2e_3</math>
だからこれらもテータ函数を用いて書ける。ペー函数もテータ函数を用いて
: <math>\wp(z; \tau) = \pi^2 \vartheta^2(0;\tau) \vartheta_{10}^2(0;\tau){\vartheta_{01}^2(z;\tau) \over \vartheta_{11}^2(z;\tau)} + e_2(\tau)</math>
と書ける。

ペー函数 ℘ は（周期[[違いを除いて|を除いて]]）二つの零点を持ち、その導函数 ℘' は三つの零点を持つ。導函数 ℘' の零点の方は簡単に求められる、というのも ℘' は奇函数ゆえ零点は半周期点になければならないからである。他方、ペー函数 ℘ 自体の零点は,、母数 &tau; が特別な値である場合（例えば、周期格子が[[ガウス整数]]全体の成す集合になるとき）を除けば、[[閉じた式]]に表すのは非常に困難である。一つの式が、[[ドン・ザギエ|ザギエ]]と[[マルティン・アイヒラー|アイヒラー]]によって求められている。

ヴァイエルシュトラス理論には、[[ヴァイエルシュトラス・ゼータ函数]]というものもあり、これはペー函数 ℘ の不定積分で、二重周期函数にはならない。また、ヴァイエルシュトラス・ゼータを[[対数微分|対数導函数]]とするような、[[ヴァイエルシュトラス・シグマ函数]]と呼ばれるテータ函数も持つ。このシグマ函数は任意の周期点に零点を持ち（かつそれ以外に零点を持たない）、[[ヤコビの楕円函数]]を用いて表すこともできる。これによって、ヴァイエルシュトラスの楕円函数とヤコビの楕円函数の間の相互変換の一つの方法が与えられる。

ヴァイエルシュトラス・シグマは[[整函数]]であり、[[ジョン・エデンサー・リトルウッド|J.E.リトルウッド]]の**ランダム整函数*'論において「典型的」な函数としての役割を持つ。

== ヤコビの楕円函数との関係 ==
数値解析的な場面において、ヴァイエルシュトラスの楕円函数の計算には[[ヤコビの楕円函数]]を用いると便利なことも多い。基本関係式は
: <math>
\wp(z) = e_{3} + \frac{e_{1} - e_{3}}{\mathrm{sn}^{2}\,w}
= e_{2} + \left( e_{1} - e_{3} \right) \frac{\mathrm{dn}^{2}\,w}{\mathrm{sn}^{2}\,w}
= e_{1} + \left( e_{1} - e_{3} \right) \frac{\mathrm{cn}^{2}\,w}{\mathrm{sn}^{2}\,w}
</math>
で与えられる。ただし、*e*<sub>*i*</sub> (*i* = 1, 2, 3) は上で述べた三つの根、ヤコビの楕円函数の母数 *k* は
: <math>k \equiv \sqrt{\frac{e_{2} - e_{3}}{e_{1} - e_{3}}}</math>
を満たし、各ヤコビの楕円函数の引数 *w* は
: <math>w \equiv z \sqrt{e_{1} - e_{3}}</math>
である。

== 注釈 ==


== 参考文献 ==
* [[ミルトン・アブラモヴィッツ|Abramowitz, Milton]]; [[イレーネ・ステグン|Stegun, Irene A.]], eds. (1965), [http://www.math.sfu.ca/~cbm/aands/page_627.htm "Chapter 18"],[[Abramowitz and Stegun|Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables]], New York: [[Dover]], pp. 627, ISBN 978-0486612720, MR [http://www.ams.org/mathscinet-getitem?mr=0167642 0167642]
* [[ナウム・アヒエゼル|N. I. Akhiezer]], *Elements of the Theory of Elliptic Functions*, (1970) Moscow, translated into English as *AMS Translations of Mathematical Monographs Volume 79* (1990) AMS, Rhode Island ISBN 0-8218-4532-2
* [[Tom M. Apostol]], *Modular Functions and Dirichlet Series in Number Theory, Second Edition* (1990), [[Springer]], [[New York]] ISBN 0-387-97127-0 (See chapter 1.)
* K. Chandrasekharan, *Elliptic functions* (1980), Springer-Verlag ISBN 0-387-15295-4
* [[コンラッド・クノップ|Konrad Knopp]], *Funktionentheorie II* (1947), Dover; Republished in English translation as *Theory of Functions* (1996), [[Dover]] ISBN 0-486-69219-1
* [[サージ・ラング|Serge Lang]], *Elliptic Functions* (1973), Addison-Wesley, ISBN 0-201-04162-6
*
* [[エドムント・テイラー・ホイッテイカー|E. T. Whittaker]] and [[ジョージ・ネヴィル・ワトソン|G. N. Watson]],  *A course of modern analysis'', Cambridge University Press, 1952, chapters 20 and 21
* 

## 関連項目
* 
** ヴァイエルシュトラスのシグマ関数
** ヴァイエルシュトラスのゼータ関数
** ヴァイエルシュトラスのぺー関数
** ヴァイエルシュトラスのイータ関数

## 外部リンク
* 
* Weierstrass's elliptic functions on Mathworld.
* Elliptic functions, Hans Lundmark's Complex analysis page.
*  - 『楕圓函數論』を TeX にて打ち直したものの公開（個人サイト）
* 『楕円函数論』竹内端三著の現代語訳