$\def\bm#1{{\boldsymbol{#1}}} \def\coloneqq{{:=}}$

代数的加法公式と関数3

前回の続きから、代数的加法公式と関数の性質について議論する。

前回の議論の結果を用いて、$f(u)$が少なくとも一方の方向において端値をもたない場合を考える。そのとき$\infty$が$f(u)$の真性特異点だから再び

となるような無数に多くの点${u_1}^\prime$、${u_2}^\prime$、$\cdots$を見つけることができる。しかもそれらは同一の周期内に引き直してあると考えてよい。このことから前のようにして$f(u)$は${u_1}^\prime-{u_2}^\prime$の周期をもつことが結論できる。${u_1}^\prime$、${u_2}^\prime$、$\cdots$は一つの周期帯内で$\infty$に向かって収束するものであるから、${u_1}^\prime-{u_2}^\prime$は前の$\omega$とはその偏角が等しくないようにとれる。よってこの場合には$f(u)$は二重周期をもつことになる、そして有理型であるから、楕円関数である。

以上の結果をまとめると次の定理を得る。

定理3. 一価有理型にして代数的加法公式をもつ関数$f(u)$は次の三種に限る。

1) $u$の有理関数

2) $\displaystyle e^{cu}$の有理関数

3) $u$の楕円関数

これを証明するために、我々はまずこのような関数が定理1にあるような微分方程式を満足することを示した。定理3の仮説は次のように言い換えることも出来る。

定理4. 一価有理型にして定数のみを係数とする第一階の代数的微分方程式を満足する関数は定理3の関数$f(u)$に限る。

これはすなわちBriot-Bouquetの定理の特別の場合である。

さて、定理3には「一価有理型である」という仮定があったが、次はその仮定がない場合を考えてみよう。

関数$f(u)$は$u=0$において正則であるとし、その展開式を

とする。$f_0(u)$は解析関数$f(u)$の一要素である。$f_0(u)$の収束円を$K_0$とし、その半径を$r$とする。いま三点$u$、$v$、$u+v$がともに$K_0$内にある限り常に

の関係式が成立するものと仮定する。ただし$R$は前のように有理整関数を示す。そしてなおついでに$R(x,\ y,\ z)$は$x$、$y$、$z$に関して規約であると考える。

$\eqref{1}$は代数的加法公式だが、今はそれを$f(u)$のただ一つの要素$f_0(u)$だけについて仮定するということである。いま$f_0(u)$は$u=0$における要素と考えているが、これは他の点におけるものとしても以下の論法には影響がない。要するにどこかの一点における要素について$\eqref{1}$が成立すると仮定すればよい。

いま$|u|\lt\dfrac{r}{2}$とすれば$\eqref{1}$において$v=u$とおくことが出来るから、

と書くことにする。$R_1$が恒等的に$0$になることはない。なぜならばもし$0$になるならば$R$が$f_0(u)-f_0(v)$の因数をもつことになって仮定に反するからである。

楕円関数の代数加法点公式は、楕円関数における基本的な性質の一つで、複素平面上の楕円格子を基にした周期性を反映している。この公式は、楕円関数 $\wp(u)$ （Weierstrassの楕円関数）に関連していて、楕円曲線の幾何的な性質を代数的に表現できる。

楕円関数 $\wp(u)$ は、複素数平面上で定義され、2つの独立な周期 $\omega_1$ と $\omega_2$ を持つ二重周期関数である。この周期性により、次が成り立つ。

Weierstrassの楕円関数 $\wp(u)$ の加法公式は次のように表される。

加法公式は、楕円曲線の点 $(x, y)$ の加法規則と深く関連している。具体的には、楕円関数 $\wp(u)$ を使うと、楕円曲線上の点 $P$ と $Q$ の和 $R$ を次のように計算できる

これにより、代数的な計算で楕円曲線上の点の加法を扱うことが可能になる。

参考文献

参考文献は以下の通り。

[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