AtCoderで茶色レートになった
ちょうど昨日のABCで茶色レートになりました。コンテスト参加してればなれる色なので特別報告するほどでもないのですが
まあ初めての色更新ということで自分用の記録として。
レートはまだ最初の下方補正がかかってる状態です。
コンテスト自体の結果としては5完(ABCDE)で、まあまあ良いのかなという感じ。
ここまで行くと全完したかったな、となるのですが、ここでF問題を見ると、
グラフ。ほぼ勉強してない。(苦手)
といった感じで、E問題まで解いて残った1時間くらいはずっと競プロのグラフ理論問題とアルゴリズムについて調べてました。(アホ)
まず調べて初めて知ったのですが、「木」ってちゃんとグラフ理論の言葉としてあるんですね。
コンテスト終わったあとに水色Coderさんのブログとか読んだりしたのですが、どうやらグラフ関係のアルゴリズムって結構大事っぽい。なんなら水色レベルだとDPより大事らしい。ということで、これから勉強していきたいと思った次第です。目指せ水色!
必要っぽいアルゴリズムとか
誰かいい問題あったら教えてほしい。
数列クイズをしよう。(高校数学の話)
突然ですが、問題です。
\begin{align}
1, 1, 2, 3, 5, 8, \ldots
\end{align}
この数列で、8の次の数はなんでしょう?
正解は……
733 でした!!!!!!!
\begin{align}
a_n = \prod_{k=1}^6 (n - k) + \frac{1}{\sqrt{5}}\left\{\left(\frac{1+\sqrt{5}}{2}\right)^{n}-\left(\frac{1-\sqrt{5}}{2}\right)^{n}\right\}
\end{align}
……ということがあっても困るので、数学においては上のような曖昧な数列の記述法ではなく、厳密に表現できる方法が必要になります。
それが主に2つあって、(数列の)一般項というやつと漸化式というやつですね。
一般項というのは、数列の 項目というのを の式で書き表してしまう方法です。
初項 で、公差が の等差数列 なら、 といった風になりますね。
このように数列が記述されていたら、nに自然数を1から順に代入していけば、元の数列がちゃんと厳密に復元できます。もちろん、人によって解釈が違うだとか、そういう問題は発生しません。
メリットとしては、漸化式と違って巨大な が与えられてもすぐに計算可能ということです(計算量オーダー的な意味で)。
一方の漸化式は、隣接した何項かの関係式を以て数列を記述する方法です(必ずしも連続した何項かではないこともありますが)。
例えば、 という情報が与えられればこれは公差 の等差数列なんだな、ということが把握できます。これに加えて初項の情報が得られれば、順に計算していくことで、これもまた数列を復元することができます。
ところで不思議なのですが、高校数学では一般項と漸化式って同時に習わないんですよね。どちらも使えて行き来できるようにするべきだと感じるのですが、何か違う意図があるんでしょうか。まあ解けない漸化式とかの話は除くとして。
なんか書きたくなったので書いたのですが、よく分からない感じになってしまいました。次回はまた円周率公式の証明で会いましょう。
ABC予想とFermatの最終定理
この記事は、「日曜数学 Advent Calendar 2019」13日目の記事です。
日曜数学のアドベントカレンダーには参加しようと思ってみたものの、さて何を書こうかと思っていたのですが、本記事ではタイトルの通りABC予想とFermatの最終定理のちょっとした相関の話を書こうと思います。
(他にはj-function の値が立方数になるときの条件の証明とかも考えたのですが、これは結構長くなりそうだったのでまた別の機会に記事にしたいですね。*1)
話のレベルとしては頑張れば中学生くらいでも十分に理解できる感じのものなので、数学小話的な風に読んでいただけると良いと思います。
そもそもABC予想とFermatの最終定理って何だっけ
ABC予想、と言うとあまり馴染みがない人もいるかと思います。Fermatの最終定理も名前こそ有名ですが、今一度それぞれの内容の解説をしましょう。
Fermatの最終定理とは
Fermatの最終定理とは、自然数 に対して以下のような関係式の成り立つ3つの自然数の組 は存在しない、という主張です。
\begin{align}
x^n + y^n = z^n
\end{align}
主張自体はとても単純な問題ですが、Fermatによって提起された後に数学者たちを300年以上の長きに渡って悩ませ続ける問題となりました。
本筋では無いですが、この定理の証明に主に用いられるのは、因数分解の発想です。
ただし因数分解といっても、中学高校でよくやるような(有理)整数環 の範囲での因数分解はありません。 の因数分解は高校範囲ですが、+バージョンはやらなかったと思います。
というのも、+バージョンになると因数分解に特殊な工夫が必要になるためです。
の代わりに、代数体*2(特に円分体)という少し変わった範囲で因数分解すると、一部の では素因数分解の一意性のようなものが成立し、証明を行うことができます。
ここで、「一部の」 と表現したのは、ほとんどの整数の場合でこのままだとうまくいかない、ということなのですが……この話を続けるとかなり長くなってしまいますから、残りは各自で調べていただくことにさせていただきます。(イデアルやら、楕円曲線やら、難しいです)
まあともかく、数学者を悩ませた問題であり続け、同時に数学の発展に寄与してきた問題でもあるのです。
ABC予想とは
一方のABC予想とは、数論における1つの予想です。予想というからには、まだ解かれていないということです。
2020/04/03追記:
望月教授による論文が正しいと認められ、ABC予想が正しいことが示されました!!!!!
ABC予想の主張について、解説します。
まず、任意の正整数 に対して、相異なる素因数の積を の根基(radical)と呼ぶことにし、これを と書きます。
以下に例を示します。
\begin{align}
\operatorname{rad}(16) &= \operatorname{rad}(2^4) = \operatorname{rad}(2) = 2, \\
\operatorname{rad}(17) &= 17, \\
\operatorname{rad}(18) &= \operatorname{rad}(2 \cdot 3^2) = 2 \cdot 3 = 6, \\
\operatorname{rad}(1000000) &= \operatorname{rad}(2^6 \cdot 5^6) = 2 \cdot 5 = 10.
\end{align}
要は、素因数分解した結果の指数部分を全部無視したものをかけ合わせればいいです。
最後の例のように、大きな数の根基を考えても必ずしも大きい値になるとは限りません。
さて、正整数 が、互いに素であって を満たすならば、ほとんどの場合に < が成り立ちます。ABC予想が指摘するのは、この「ほとんどの場合」に属さない、例外の方です。
ABC conjecture. 任意の正の実数 に対し、互いに素な正整数の組 であって、 を満たしかつ以下を満たすようなものは高々有限個しか存在しない。
\begin{align}
c > \operatorname{rad}(abc)^{1+\varepsilon}
\end{align}
なぜ累乗するのかと言うと、単に である場合を考えると成立する正整数の組が無限個存在するからです。
この予想にはいくつか同値な言い換えがあります。
ABC conjecture II. 任意の正の実数 に対し、ある定数 が存在して、全ての互いに素な正整数の組 で であるようなものに対して以下が成り立つ。
\begin{align}
c < K_{\varepsilon} \cdot \operatorname{rad}(abc)^{1+\varepsilon}
\end{align}
こちらは最初に上げた書き方と少し視点が違って、根基を 乗したものを何倍かしてあげれば反例は無くなるよ、という主張です(何倍するかの値 は に依った定数です)。
3つ目の言い換えには、3つ組 の質(quality) という概念が含まれます。これは以下のように定義されるものです。
\begin{align}
q(a,b,c) = \frac{\log(c)}{\log(\operatorname{rad}(abc))}
\end{align}
数学に慣れている人ならば、少し考えると と の大小を比較すればABC予想に結びつくことが分かるかもしれません。
これを用いてABC予想は以下のように同値な命題へ書き換えることができます。
ABC conjecture III. 任意の正の実数 に対し、互いに素な正整数の組 であって、 を満たしかつ > を満たすようなものは高々有限個しか存在しない。
ちなみに、上でABC予想はまだ解かれていない、と書きました。実際まだ完璧な証明が与えられていないため正しいのですが、一方で多くの数学者がABC予想を証明しようと試みています。
その試みの中でも特に有名なのが、京都大学数理解析研究所の望月教授による論文でしょう。彼は論文の中で自らが築いた宇宙際Teichmuller(IUT)理論と呼ばれる理論を駆使して、ABC予想の証明を試みています。しかしながらその内容はとても難解で、時折「未来(異世界)から来た論文」とも称されます。
ちょうど今年、加藤文元先生がIUT理論に関する、『宇宙と宇宙をつなぐ数学 IUT理論の衝撃』という本を出版なさいました。内容は易しく書かれているそうなので、興味がある方はぜひ読んでみるといいかもしれません。
これもまた余談ですが、IUT理論によってABC予想を示す過程でRiemannゼータ関数との関連も見つかったと言われたりもしています。
この2つの関係?
さて、ここまでFermatの最終定理とABC予想の概略を解説してきました。
ここからが、今回の本題になります。
ABC予想のWikipediaを読むと、次のようなことが書いてあります(要約)。
(Effective版)ABC予想が真であるとき、 のFermatの最終定理はこれに従い直ちに示される。
なんと、ABC予想からFermatの最終定理は示せるのですね!
これを初めて知ったときは「マジか!!??」となりました。
というわけで、以降は(強い)ABC予想の仮定の下Fermatの最終定理を示したいと思います。
証明
証明に用いる道具は、上で紹介したABC予想の同値な書き換えのうち、3つめです。
全ての質の集合を考えたとき、その上極限(lim sup)が1となる、というのがABC予想の主張です。ここで、少し弱い主張としてその上界が2であるとします。(記事下部に訂正有り)
すなわち、全ての互いに素な正整数の組 で であるものに対して、以下を仮定します。(強いABC予想)
\begin{align}
c < \operatorname{rad}(abc)^2
\end{align}
ある互いに素な正整数の組 が存在して、自然数 に対し を満たしているとします。仮定より、
\begin{align}
z^n < \operatorname{rad}(x^n y^n z^n)^2
\end{align}
一般に、整数 に対して となるため、
\begin{align}
z^n < \operatorname{rad}(x^n y^n z^n)^2 \leq (xyz)^2 < (z^3)^2 = z^6
\end{align}
したがって、以下を得ます。
\begin{align}
z^n < z^6
\end{align}
仮定より > なので、 < が分かりました。
従って、 の場合のFermatの最終定理に解が存在しないことが言えます。
残りは の場合ですが、それぞれの場合についてFermat、Eulerらが個別に証明を与えているため、以上でFermatの最終定理は解決となります。
とっても簡潔ですね!
ABC予想は、これ以外にも多くの結果を含んでいます。詳しくは上に載せたWikipedia等を参照していただくといいと思います。
今回は、数論における2つの大きな命題を取り扱いました。一見違う毛色に見える問題が絡み合っているのは面白いですね!他にも、これ面白い、というのがあったらぜひコメント等で教えていただけると嬉しいです。
それでは、良いお年を!
証明の訂正
Twitterにてせきゅーんさんに誤りを指摘していただいたので、仮定の部分を訂正します。
https://twitter.com/integers_blog/status/1205446579412328448
証明を行うためには、abc conjecture IIの言い方でいうと のとき という条件が必要なようです。ここではこれを強いABC予想と呼ぶことにします(高々有限個の例外というのが0個である必要があるため)。
ラマヌジャンの円周率公式を証明する #5
第五回です。お久しぶりです。
更新滞りすぎ感があったのでちょっとだけ書いておきます。
3. 等価(equivalent)な格子とKleinの絶対不変量
この章では、互いに回転・拡大縮小の関係にある等価(equivalent)な格子について取り扱う。等価な格子は、等しいKleinの絶対不変量 の値を持つ。
定義 3.1.
2つの格子 が等価(equivalent)であるとは、一方の格子がもう一方の格子を回転あるいは拡大・縮小することで得られることである。すなわち、ある が存在して、 となることである。
注意 3.2.
任意の格子 の楕円関数 から、格子 の楕円関数 が得られ、逆もまた真である。これが、 と を等価と呼ぶ所以である。
命題 3.3.
それぞれの格子 に対して、等価な格子 が存在する。ただし、 は上半平面 上の複素数である。(i.e. > )
証明
とおくと、 を得る。 の虚部が正ならば、これを と置けばよい。 の虚部が負ならば、 とすればよい(これは基本周期が異なるのみの等しい格子である)。 となる場合はありえない。なぜならば、基本周期の比が実数ならば は格子になりえないからである(定義1.1参照)。
定義 3.4.
と が等価であるとは、格子 と が等価であることである。例えば、 と は等価となる。それだけでなく、 と も等価である。
定義 3.5.
ある格子 があるとき、 と の定義を用いて、判別式 とKleinの絶対不変量 を定義する。
\begin{align}
\Delta(L) &:= g_2^3(L) - 27 g_3^2(L) \\
J(L) &:= \frac{g_2^3(L)}{g_2^3(L) - 27 g_3^2(L)}
\end{align}
注意 3.6.
の形の格子があったとき、以降 を のように記述する。同様に、 と記述する。
ラマヌジャンの円周率公式を証明する #4
第四回。今回から第二章ですが、原論文では2ページしかないところなのでササッとやります。
注意:これまで のことを(基本)単位と書いてましたが、どうやら周期のほうが良さそうなので変更します。
2. 準周期(quasiperiods)と積分による表示
この章では、Weierstraßの-関数を用いて格子の準周期を定義する。
また、楕円積分を用いて周期と準周期の別の表示を与える。
これに、命題1.20の の微分方程式を用いる。
命題 2.1.
Weierstraßの-関数は二重周期を持たないが、次の準周期と呼ばれる値は、 によらない( であるならば)。
証明
右辺を と置き、これを で微分すると、定義1.12より を得る。
命題1.15よりこれは0となるから、したがって は に関して定数である。
この定数の値は格子 と の選び方のみに依っている。
それゆえに、これを と書けるのである。
定義 2.2.
次の値 と は、格子 の基本準周期(basic quasiperiods)と呼ばれる。
注意 2.3.
省略
命題 2.4.
格子 の基本周期と基本準周期に対して、以下が成り立つ。
証明
(留数定理より。よく分かってないので省略)
定義 2.5.
を複素数とする。このとき、
\begin{align}
X(g_2, g_3) := \left\{ (x, y) \in \mathbb{C}^2 \, | \, y^2 = 4 x^3 - g_2 x - g_3 \right\}
\end{align}
は、平面アフィン代数曲線の一つである。
命題 2.6.
写像 を以下のように定義する。
\begin{align}
\Phi : \mathbb{C} - L \quad &\longrightarrow \quad X(g_2(L), g_3(L)) \subset \mathbb{C}^2 \\
z \quad &\longmapsto \quad (\wp(z; L), \wp^{\prime}(z; L))
\end{align}
これは well-defined であり微分可能かつ二重周期性を持つ。
証明
(省略)
定義 2.7.
を基本周期を とする格子とする。ここで経路 を以下のように定義する。
\begin{align}
\beta_1(t) := \frac{1}{4} \cdot \omega_2 + t \cdot \omega_1 \qquad \text{for} \quad 0 \leq t \leq 1 \\
\beta_2(t) := \frac{1}{4} \cdot \omega_1 + t \cdot \omega_2 \qquad \text{for} \quad 0 \leq t \leq 1
\end{align}
注意 2.8.
経路上には と の極、および の零点は存在しない。
命題 2.9.
とおく。そして経路 を用いて2つの新たな経路 を定義する。
これらは平面アフィン代数曲線 上の閉じた経路である。
ここで、格子の基本周期と基本準周期は、次の楕円積分による表示を満たす。
証明
経路 が 上の経路であることは、命題1.20の微分方程式から保証される。 より、 であり、 に対しても同様である。したがって、 が成り立ち経路 は閉じている。
となるから、したがって
\begin{align}
\oint_{\alpha_k} \frac{dx}{y} = \oint_{\beta_k} \frac{\wp^{\prime}(z) dz}{\wp^{\prime}(z)} = \oint_{\beta_k} dz = \beta_k(1) - \beta_k(0) = \omega_k
\end{align}
また、
次回予告
第二章はこれで終わりで、次回から第三章です。
感覚としては、結構進んできた感じしますね。
次回から、円周率公式のパーツっぽいものが現れてきます。
頑張って証明追いたい。
ラマヌジャンの円周率公式を証明する #3
第三回です。ところどころ証明が分からなくなってきたのでサポートしてくれる人がほしい。
よく分かってない証明:極と零点に関わる証明(Liouvilleの定理2、3まわり)、命題1.20、1.21
あと今更ですが、この日本語訳計画が終わったら別でお気持ちが分かるような解説記事を書きたいと思います。
命題 1.14.
は偶関数であり、また は奇関数である。すなわち、
\begin{align}
\wp(-z ; L)=\wp(z ; L) \quad \text { and } \quad \wp^{\prime}(-z ; L)=-\wp^{\prime}(z ; L)
\end{align}
証明
が格子の全ての点を渡るならば、 も同様である。
\begin{align}
\begin{aligned} \wp(-z ; L) &=\frac{1}{(-z)^{2}}+\sum_{\omega \in L}\left(\frac{1}{(-z-\omega)^{2}}-\frac{1}{\omega^{2}}\right) \\ &=\frac{1}{z^{2}}+\sum_{-\omega \in L \atop-\omega \neq 0}\left(\frac{1}{(z-(-\omega))^{2}}-\frac{1}{(-\omega)^{2}}\right)=\wp(z ; L) \end{aligned}
\end{align}
また に対して以下が成り立つ。
\begin{align}
\wp^{\prime}(-z ; L)=\sum_{\omega \in L} \frac{-2}{(-z-\omega)^{3}}=-\sum_{-\omega \in L} \frac{-2}{(z-(-\omega))^{3}}=-\wp^{\prime}(z ; L)
\end{align}
命題 1.15.
Weierstraßの-関数は二重周期性を持つ。すなわち、全ての に対して 。
証明
は二重周期性をもつ。なぜならば、総和は全ての格子の点を渡り、かつその他の項を持たないためである*1。
したがって、 を得るため である。
が格子の基本単位であるとき、 である。
命題1.14を用いて次のように定数の値が得られる。
\begin{align}
\wp\left(-\frac{\omega}{2}+\omega\right)-\wp\left(-\frac{\omega}{2}\right)=\wp\left(\frac{\omega}{2}\right)-\wp\left(-\frac{\omega}{2}\right)=0
\end{align}
これにより が全ての格子 の基本単位について成り立ち、またこれを繰り返し用いることで 全ての格子の点について成り立つことがわかる。
命題 1.16.
の零点は、ちょうど の点である。ただし かつ である。
であるならば、次の3つの零点を得る。
\begin{align}
\wp^{\prime}\left(\frac{\omega_{1}}{2}\right)=\wp^{\prime}\left(\frac{\omega_{2}}{2}\right)=\wp^{\prime}\left(\frac{\omega_{1}+\omega_{2}}{2}\right)=0
\end{align}
証明
であるような を選ぶ。
がすべての格子の点を渡るならば、 も同様である。
したがって、
\begin{align}
\begin{aligned} \wp^{\prime}\left(-\frac{\omega_{k}}{2} ; L\right) &=\sum_{\omega \in L} \frac{-2}{\left(-\frac{\omega_{k}}{2}-\omega\right)^{3}}=\sum_{\omega^{\prime} \in L} \frac{-2}{\left(-\frac{\omega_{k}}{2}-\left(\omega^{\prime}-\omega_{k}\right)\right)^{3}} \\ &=\sum_{\omega^{\prime} \in L} \frac{-2}{\left(\frac{\omega_{k}}{2}-\omega^{\prime}\right)^{3}}=\wp^{\prime}\left(\frac{\omega_{k}}{2} ; L\right) \end{aligned}
\end{align}
命題 1.14より、 は奇関数であり、かつ仮定より である。
よって、 である。
これにより である。
Liouvilleの定理3から、(法 の下) はこの他に零点を持たない。
(最後の1行をまだ理解できていない)
定義 1.17.
級数 は重さ n のアイゼンシュタイン級数と呼ばれる。これは 自然数 に対して絶対収束する。
命題 1.18.
奇数の重さのアイゼンシュタイン級数は、その総和が0となる。
証明
は奇数であるから、全ての について と は互いに打ち消し合ってしまう。
よって、総和は0となる。
命題 1.19.
Weierstraßの-関数は、以下のような定数項を含まない 周りでのローラン級数展開を満たす。
\begin{align}
\wp(z ; L)=\frac{1}{z^{2}}+\sum_{n=1}^{\infty}(2 n+1) \cdot G_{2 n+2}(L) \cdot z^{2 n}
\end{align}
証明
まず について考察する。定義1.12より、 を得る。よって、注意1.13における の表示を用いて における の微分は以下のようになる。
\begin{align}
f^{(n)}(z)=(-1)^{n}(n+1) ! \sum_{\omega \in L \atop \omega \neq 0} \frac{1}{(z-\omega)^{n+2}} \quad \text { if } n \geq 1
\end{align}
命題1.18から、 における奇数階微分は消えてしまう。また、偶数階微分は以下のようである。
\begin{align}
f^{(2 n)}(0)=(-1)^{2 n}(2 n+1) ! \sum_{\omega \in L \atop \omega \neq 0} \frac{1}{(-\omega)^{2 n+2}}=(2 n+1) ! \sum_{\omega \in L \atop \omega \neq 0} \frac{1}{\omega^{2 n+2}}=(2 n+1) ! \cdot G_{2 n+2}
\end{align}
変形にアイゼンシュタイン級数の定義を用いた。
したがって、 を示せた*2。
命題 1.20.
Weierstraßの-関数は、以下の代数微分方程式を満たす。
\begin{align}
\begin{aligned} \wp^{\prime}(z)^{2} &=4 \wp(z)^{3} - g_{2}\wp(z) - g_{3} \\ \text {with} \quad g_{2} &= g_{2}(L) := 60 G_{4}(L)=60 \sum_{\omega \in L \atop \omega \neq 0} \omega^{-4} \\ \text { and } g_{3} &= g_{3}(L) := 140 G_{6}(L) = 140 \sum_{\omega \in L \atop \omega \neq 0} \omega^{-6} \end{aligned}
\end{align}
証明
1.19で示したローラン級数を用いて、 が極を持たないことを示す。*3
\begin{align}
\wp(z; L) &= z^{-2} + 3 G_4 z^2 + 5 G_6 z^4 + O(z^6) \\
\Rightarrow \quad \wp(z; L)^2 &= z^{-4} + 6 G_4 + 10 G_6 z^2 + O(z^4) \\
\Rightarrow \quad \wp(z; L)^3 &= \wp(z; L)^2 \cdot \wp(z; L) = z^{-6} + 9 G_4 z^{-2} + 15 G_6 + O(z^2) \\
\text{and} \quad \wp^{\prime}(z; L) &= -2 z^{-3} + 6 G_4 z + 20 G_6 z^3 + O(z^5) \\
\Rightarrow \quad \wp^{\prime}(z; L)^2 &= 4 z^{-6} -24 G_4 z^{-2} - 80 G_6 + O(z^2) \\
\Rightarrow \quad \wp^{\prime}(z; L)^2 - 4 \wp(z; L)^3 &= -60 G_4 z^{-2} - 140 G_6 + O(z^2) \\
\Rightarrow \quad \wp^{\prime}(z; L)^2 - 4 \wp(z; L)^3 &+ 60 G_4 \wp(z; L) = - 140 G_6 + O(z^2)
\end{align}
以上から、 は において極を持たない。
は定義から、二重周期性を持つ。かつ はどの格子の点にも極を持たない。
(ここから先?)
命題 1.21.
ならば、以下が成り立つ*4。
\begin{align}
\wp^{\prime}(z)^{2}=4 \cdot\left(\wp(z)-e_{1}\right) \cdot\left(\wp(z)-e_{2}\right) \cdot\left(\wp(z)-e_{3}\right)
\end{align}
ただし、相異なる(pairwise distinct)定数 は以下のように定める。
\begin{align}
e_{1}:=\wp\left(\frac{\omega_{1}}{2}\right) ; \quad e_{2}:=\wp\left(\frac{\omega_{2}}{2}\right) ; \quad e_{3}:=\wp\left(\frac{\omega_{1}+\omega_{2}}{2}\right)
\end{align}
証明
命題1.16から、 がわかる。 を定めれば、 かつ を得る。したがって、 は に重解をもつ。
そしてLiouvilleの定理3(命題1.8)から、 は他に零点を持たない。
したがって、 は相異なる定数(pairwise distinct)である(日本語訳合っているか不明?)。
命題1.20と命題1.16から、 は相異なる3つの零点 を持つ。したがって のように因数分解される。
とし命題1.20と用いることで、命題を証明できる。
次回予告
楕円曲線が形だけ登場しました。あと証明が分からなくなってきた。詰み。
次回から第二章です。
果たして完走できるのか……?
ラマヌジャンの円周率公式を証明する #2
昨日の続きです。
以下常体になります。
1. 楕円関数(Elliptic Functions)
この章では、Weierstraßの楕円関数についての用語と命題を取り扱う。
定義 1.1.
上線形独立な複素数の組 について、
\begin{align}
L = \mathbb{Z} \omega_{1}+\mathbb{Z} \omega_{2}=\left\{m \omega_{1}+n \omega_{2} \, | \, m, n \in \mathbb{Z}\right\} \subset \mathbb{C}
\end{align}
を、格子(Lattice)と呼ぶ。
と は、格子の基本単位(basic periods)と呼ばれる。
定義 1.2.
楕円関数とは、有理型の関数 であって、以下の性質を持つものである。
\begin{align}
f(z+\omega)=f(z) \quad \text { for all } \omega \in L \text { and } z \in \mathbb{C}
\end{align}
有理型とは、 が真性特異点を持たず、かつ の極の集合は集積点を持たず*1、かつ は極を除いて正則であることである。
定義 1.3.
すべての格子 は、複素数に対して合同の関係をつくる。
と が法 の下で合同であるとは、 が成立すること(と同値)である。
定義 1.4.
基本領域(fundamental parallelogram) とその閉包 は以下のように定められる。
\begin{align}
\mathcal{P}=\left\{s \omega_{1}+t \omega_{2} \, | \, 0 \leq s, t<1\right\} \quad \text { and } \quad \overline{\mathcal{P}}=\left\{s \omega_{1}+t \omega_{2} \, | \, 0 \leq s, t \leq 1\right\}
\end{align}
と は 上線形独立であるから、以下が成立する。
全ての について、法 の下 と合同であるような がただ一つ存在する*2。
命題 1.5. Liouvilleの定理
全ての有界な解析関数 は定数である。
証明
任意の に対して、 を示せば良い。
Cauchyの積分公式を一度微分することで、任意の正の数 について以下を得る。
\begin{align}
\left|f^{\prime}(z)\right|=\left|\frac{1}{2 \pi i} \oint_{|\zeta-z|=r} \frac{f(\zeta)}{(\zeta-z)^{2}} d \zeta\right| \leq \frac{1}{2 \pi} \cdot \frac{C}{r^{2}} \cdot 2 \pi r=\frac{C}{r}
\end{align}
ここで、有界であるという仮定 と、円周の長さを用いた。
途中の式をもう少し書き下すと、
\begin{align}
\left|\frac{1}{2 \pi i} \oint_{|\zeta-z|=r} \frac{f(\zeta)}{(\zeta-z)^{2}} d \zeta\right| \leq \frac{1}{2 \pi } \left| \oint_{|\zeta-z|=r} \frac{C}{(\zeta-z)^{2}} d \zeta\right|
\end{align}
ここで、被積分関数の分母 は、 に等しいため、元の不等式となる。
上の議論において、 とすることで を得る。
したがって、 は定数関数である。
命題 1.6. Liouvilleの定理 1
全ての極を持たない楕円関数は定数である。
証明
全ての基本周期を と とする楕円関数 は、基本領域 上の全ての値をとる。しかし、その閉包 は閉じていてかつ有界である。 が極を持たないため、 は連続でありかつ に最大値を持たなければならない。しかし一方で、その周期性から は複素数平面全体で有界となる。命題1.5より、 は定数関数となる。
命題 1.7. Liouvilleの定理 2
全ての楕円関数は、(法 の下で)高々有限個の極を持ちその留数の和は0である。
証明
楕円関数の任意の極について、等しい(対応する)極が基本領域 上に存在する。楕円関数の極の集合は離散的であるから、基本領域の閉包 には高々有限個の極が存在する( はコンパクトである)。
(ここから先はよく理解できてません……)
命題 1.8. Liouvilleの定理 3
全ての定数でない楕円関数 は、重複度込みで法 の下同じ数の零点と極を持つ。
証明
(これもいまいち理解できてない気がするので一旦省略します)
定義 1.9.
格子 のWeierstraßの -関数は、以下のように定義される。
この関数の詳しい解析は第4章にて行われる。
注意 1.10.
上記の無限積は、指数関数の因子によって絶対収束する。また、 の零点はちょうど格子 の点であって、その位数は1である。それにも関わらず、-関数は二重周期性を持たない。
定義 1.11.
格子 のWeierstraßの -関数は、-関数の対数微分として定義される。
この関数の詳しい解析は第2章にて行われる。
定義 1.12.
Weierstraßの -関数は、-関数の微分の-1倍である。
\begin{align}
\wp(z ; L):=-\zeta^{\prime}(z ; L)=\frac{1}{z^{2}}+\sum_{\omega \in L \atop \omega \neq 0}\left(\frac{1}{(z-\omega)^{2}}-\frac{1}{\omega^{2}}\right)
\end{align}
注意 1.13.
Weierstraßの -関数の微分は以下のようになる。
\begin{align}
\wp^{\prime}(z ; L)=\sum_{\omega \in L} \frac{-2}{(z-\omega)^{3}}
\end{align}
次回予告?
今回はそこそこキリがいいのでここまでとしますが、第一章はまだまだ続きます。
次回は今回新しく出てきた -関数についてもっと深く扱っていきます。
先は長い……。