数理解析研究所講究録 1410 巻 2005 年 64-84

64
楕円積分と超楕円積分を結ぶ関係式とホインの微分方程式
竹村

横浜市立大学・数理科学教室

剛– (Kouichi Takemura)

Department of Mathematical Sciences,
Yokohama City University

1. はじめに楕円積分と超楕円積分を結ひ関係式はかなり昔から研究されているものである。例
えば、 19 世紀にエルミートは次の式を発見している ([3])。
$\int\frac{zdz}{\sqrt{(z^{2}-a)(8z^{3}-6az-b)}}=2$

J$\int\frac{dy}{\sqrt{y^{3}-3ay+b}}$

,

(1.1)

の間の変数変換は $y=(2z^{3}-b)/(3(z^{2}-a))$ て与えられるものてある。
本稿では、ホインの微分方程式のモノドロミーの 2 つの表示式を比べることによって、 上で述べたような式が組織的に得られることを説明する。 ホインの微分方程式とは、 4 点に確定特異点をもつフツクス型の 2 階常微分方程式の標準型てあり、具体
ここで

$y$

と

$z$

型は
$(( \frac{d}{dw})^{2}+(\frac{\gamma}{w}+\frac{\delta}{w-1}+\frac{\epsilon}{w-t})\frac{d}{dw}+\frac{\alpha\beta w-q}{w(w-1)(w-\mathrm{t})})\tilde{f}(w)=0$(1.2)

で係数の間に$\gamma+\delta+\epsilon=\alpha+\beta+1$

,

(1.3)

という関係式があるものとして与えられる ([8])。また、ホインの微分方程式を解くことは、
Inozemtsev 模型と呼ばれる量子力学の模型の固有値・固有関数を求める
ことと等価てあることが知られている。 ここで
Inozemtsev 模型はハミルトニア$BC_{1}$$BC_{1}$

ンが$H=- \frac{d^{2}}{dx^{2}}+.\sum_{-}^{3}l:(l:+1)\wp(x+\omega_{i})$

,

(1.4)

はワイエルシュトラスの二重周期となっている模型てあるが、 $\wp(x)$ は周期としている)$\omega_{0}=0,$(は半周期たちてあり関数であり、$(i=0,1,2,3)$ は定数てある。 また、 この模型は $BC_{N}$ Inozemtsev 模型という $N$ 粒-対称性をもつ『量子可積分」てあり昔遍的な模型の 1 粒子版であることも知子てられている ([4, 7])。
ところで、ホインの微分方程式と $BC_{1}$ Inozemtsev 模型の対応については、 $f$ (x) をハミルトニアン $H$ の固有関数て固有値が $E$ てあるもの、 つまり$(2\omega_{1},2\omega 3)$$\omega_{2}=-\omega_{1}-\omega_{3}$$\omega_{0},\omega_{1},$ $\omega_{2},\omega_{3}$$\text{、}$$l_{i}$$B_{N}$,$(H-E)f(x)=(- \frac{d^{2}}{dx^{2}}1-\dot,\sum_{=0}^{3}l:(l:+1)\wp(x+\omega_{i})-E)f(x)=0$

(1.5)

は特異
は
に、楕円関数の周期の比としたとき、定数たち$E$
点 [;、固有値 はアクセサリーパラメータ に、固有関数 $f$ (x) はホインの微分方に対応する ([9, 10, 11, 12])。本稿て i2 式 (1.5) についてもホインの微程式の解$l_{0},$$t$$l_{1},$$l_{2},$$l_{3}$$\alpha,$$\beta,$$\gamma,$$\delta,$$\omega_{3}/\omega_{1}$$\epsilon$$q$$\tilde{f}(w)$85
で $l_{1}=l_{2}=l_{3}=0$ の場合は、 式 (1.5) はラ分方程式と呼ぶことにする。 また、
メの微分方程式と呼ばれる。
Hermite や Halphen は、 ラメの微分方程式を、解が Baker-Akhiezer 関数 (またはBlock 関数) の形に表示できるという仮設をおいて研究し、 Krichever [5] は Baker方程式の準周期解を研究した。 本稿では、微Akhiezer 関数のような表示を用いて分方程式 (1.5) の解を、彼らの手法と関連する Hermite-Krichever 仮設法を用いて調ぺる。本稿の設定では、 Hermite-Krichever 仮設法は微分方程式が楕円 Baker-Akhiezer
関数の微分たちの有限和に指数関数を掛けた関数を解としてもつという仮定をおいて解を調べる。 より明示的に述べると、 微分方程式 (1.5) の解を$l_{0}\neq 0$$\mathrm{K}\mathrm{P}$5’$( \frac{d}{dx})^{j}\Phi_{i}(x, \alpha))$$f(x)= \exp(\kappa)(\sum_{i=0}^{3}\sum_{j=0}^{l\dot{.}-1}\tilde{b}$

,

(1.6)

という形で探すということとなる。 ここで (x, ) は、 ( x, ) $=\exp(\zeta(\alpha)x)\sigma(x+$$\omega_{i}-\alpha)/\sigma(x+\omega_{i})(i=0,1,2,3)$ という準周期関数である。また、解がこのような形でまたは書けることがわかったら、大域的モノドロミー (ここでは解を周期分 ()
すらしたときの挙動) を と を用いて記述することがてきる。よって、 と の具体的な表示がわかるときには、 大域的モノドロミーを調ぺることに Hermite-Krichever
仮設法が役立つのではないかと期待てきる。
がすぺて整数であれば、ポテ
Treibich と Verdier は [14] など 1 こより、 もし
ンシャルとなっている関数
方程式をみたすli(li+l)\wp (x+\mbox{\boldmath $\omega$} 定常高次ことを発見して確立し、 Krichever のアイデア [5] を発展させる形で楕円ソリトンの理論を構築した。 そして、 Gesztesy と Weikard
Smirnov [9]、本稿著者 $[10, 12]$
らによってさらに結果が得られてきた。 これゆえ、 関数
li(li+y\wp (x+\mbox{\boldmath $\omega$}
Treibich-Verdier ポテンシャルと呼ばれている。 また、 このポテンシャルは超楕円曲線 $\nu^{2}=-Q$ (E) と密接に関連している。 ここで、 $Q$ (E) は $E$ についての多項式でそれそれのについてそれそれ決まるものてある。 この多項式に関して、例
えば固有値 $E$ が $Q(E)=0$ をみたすならば微分方程式 (1.5) はホイン多項式に対応する楕円関数を解としてもつことが知られている ([2, 9, 10, 11])$\Phi_{i}$$\Phi_{i}$$\alpha$$\alpha$$2\omega_{1}$$\alpha$$\alpha$$\kappa$$l_{0},$$l_{1},$$l_{2},$$2\omega_{3}$$\kappa$$l_{3}$$\sum_{i=0}^{3}$$\mathrm{K}\mathrm{d}\mathrm{V}$$[2, 15]_{\text{、}}$$\sum_{\dot{\iota}=0}^{3}$$l_{0},$$l_{1},$$l_{2},$$l_{3}\in \mathbb{Z}$。

, $3,4,5,$ $l_{1}=l_{2}=l_{3}=0$
Belokolos, Eilbeck, Enolskii, Kostov, Smirnovの場合と, $l_{0}=2,$ $l_{1}=1,$ $l_{2}=0,$ $l_{3}=0$ の場合と $l_{0}=2,$ $l_{1}=1,$ $l_{2}=1,$ $l_{3}=0$ の場合への写像を研究
超楕円曲線 $\nu^{2}=-Q$ (E) から楕円曲線$E$
式とその中の引用文献が参にある
し、と固有値 の関係式を調べた。 ([1](1.6)考となる。) そして, これらの個々の写像を楕円曲線の正則 1 形式に代入することにより、 式 (1.1) にあるような超楕円積分を楕円積分に帰着させる変換公式をいくつか
らは、 $l_{0}=1,2$$1_{\sim}^{-}$、$\wp’(\alpha)^{2}=4\wp(\alpha)^{3}-g_{2}\wp(\alpha)-g_{3}$$\alpha,$$\kappa$の場合に得た。
他方、 Maier はラメの微分方程式の場合 $(l_{0}\neq 0, l_{1}=l_{2}=l_{3}=0)$ にこの写像についてのあるパターンを発見し、 “twisted Lame’polynomial” と “theta-twisted Lambpolynomial” という多項式を導入して、それらを用いた形て写像の式を提出した ([6])。
本稿では、の場合に Hermite-Krichever 仮設法を正当化して発展させることがてきたということを報告する。この過程において、 [10] にて得られた Bethe
仮設法の結果や [12] にて得られた微分方程式 (1.5) の解の大域的モノドロミーの超楕円積分を用いた表示が本質的に使われている。また、微分方程式 (1.5) の解の大域的モ$l_{0},$ $l_{1},$$l_{2},$$l_{3}\in \mathbb{Z}_{\geq 0}$

ノドロミーの楕円積分を用いた表示についても結果を得ることがてきた。ホインの微分方程式を Hermite-Krichever 仮設法を用いて研究する上で、超楕円曲線から楕円曲

99の表示式) などをより詳しく調べることが必要となる線への写像 (後に現れるが、 このために、 Maier のアイデアを基に twisted Heun polynomial や theta-twisted
Heun polynomial を導入し、 Maier の結果を援護する定理を得ることができた。 そして, 微分方程式 (1.5) の解の大域的モノドロミーの 2 種類の表示 (超楕円積分によるものと Hermite-Krichever 仮設法によるもの) を見比べることにより、 第一種超楕円$\wp(\alpha)$

積分を第一種楕円積分に帰着させる式と第二種超楕円積分を第二種楕円積分に帰着させる式を得ることができた。 これにより、 ホインの微分方程式たちやラメの微分方程式たちで個々に知られていた超楕円積分を楕円積分に帰着させる式についての一つの明快な解釈が得られたこととなる。例えば $l_{0}=2,$ $l_{1}=l_{2}=l_{3}=0$ の場合では、 式(1.1) は第一種超楕円積分を第一種楕円積分に帰着させる式となっており, 第二種超楕円積分を第二種楕円積分に帰着させる式は、 $y=(2z^{3}-b)/(3(z^{2}-a))$ という関係
式においての, (1.7)$- \frac{1}{3}\sqrt{\frac{8z^{3}-6az-b}{z^{2}-a}}=\frac{1}{2\sqrt{3}}\int\frac{ydy}{\sqrt{y^{3}-3ay+b}}$と$f_{\grave{*}}$る。

Inozemtsev 模型の固有値問題に応用てきると期
Hermite-Krichever 仮設法は待される。なぜなら、 この方法によりモノドロミーは楕円積分を用いて表示され、モノドロミー自体が模型の境界条件の判定に用いることができるからである。
本稿の構成であるが、 ます 2 章にて. Hermite-Krichever 仮設法の正当性を保障する定理を紹介する。 3 章にて、 ホインの微分方程式の解の積分表示、付随する超楕円$BC_{1}$曲線に関係する多項式、 解の大域的モノドロミーの超楕円積分による表示式について述ぺる。 4 章にて、 モノドロミーの 2 種類の表示を用いることにより、超楕円積分
を楕円積分に帰着させる式たちを導き出す。 5 章にて、 twisted Heun polynomial とtheta-twisted Heun polynomial を導入し、 Maier の結果を援護する定理などを述べる。
6 章にて、 いろいろな例の計算結果を紹介する。
と $(l_{0}, l_{1}, l_{2}, l_{3})\neq(0,0,0,0)$ を仮定する。
なお、 本稿では、$l_{0},$$l_{1},$$l_{2},$$l_{3}\in \mathbb{Z}_{\geq 0}$

2. HERMITE-KRICHEVER 仮設法
この章では、ホインの微分方程式 (式 (1.2) またはそれと同値な式 (1.5)) での HermiteKrichever 仮設法について解説する。
関数 (x, ) を$\Phi_{i}$$\alpha$,$\Phi_{i}(x, \alpha)=\frac{\sigma(x+\omega_{i}-\alpha)}{\sigma(x+\omega_{i})}\exp(\zeta(\alpha)x)$$(i=0,1,2,3)$ .

(2.1)

は
はワイエルシュトラスのゼータ関数てあり、によって定義する。 ここて$\eta_{k}=\zeta(\omega_{k})(k=1,3)$とする。シグマ関数
ワイエルシュトラスのシグマ関数である。
の準周期性より、$\sigma(x)$$\zeta(x)$( )$\frac{d}{dx}$$j \Phi_{:}(x+2\omega_{k}, \alpha)=\exp(-2\eta_{k}\alpha+ 2\omega_{k}\zeta(\alpha))(\frac{d}{dx})^{j}\Phi_{i}(x, \alpha)$(2.2)

で成立する。
という式力 $i=0,1$ , $2,3,$ $k=1,3$ ,$H$
以下で述べる定理は、作用素 の固有関数は大抵の堝合は Hermite-Krichever 仮設$\mathrm{e}$$j\in \mathbb{Z}_{>0}$

法の形て表示できることを主張している。

67
Theorem 2.1. ([13])を仮定し、 $l=l_{0}+l_{1}+l_{2}+l_{3}$ とおく。 それぞれの固有値 $E$ に対し、 微分方程式 (1.5) の 0 でない解で、$l_{0},$$l_{1},$$l_{2},$$f(x)=\mathrm{e}\mathrm{x}$p$l_{3}\in \mathbb{Z}_{\geq 0}$(0$( \kappa x)(\sum_{i=0}^{3}\sum_{j=0}^{l_{i}-1}\tilde{b}$$(2.3)$$( \frac{d}{dx})^{j}\Phi_{i}(x, \alpha)$という形で表示できるものが存在するか、 または、(’i)$( \frac{d}{dx})^{j}\wp(x+\omega i)+\sum_{k=1}^{3}\overline{c}$k$f(x)= \exp(\overline{\kappa}x)(\overline{c}+\sum_{i=0}^{3}\sum_{j=0}^{l\dot{.}-2}\overline{b}$という形て表示できるものが存在する。
解が式 (2.3) で表示できるとき、 と は、 ある多項式$\alpha$$\wp(\alpha)=\frac{P_{1}(E)}{P_{2}(E)}$$\kappa$,$P_{1}$(2.4)$\frac{\wp’(x)}{\wp(x)-e_{k}})$(E), . . . , $P_{4}(E)$ を用いて$\kappa=\frac{P_{3}(E)}{P_{4}(E)}\sqrt{-Q(E)}$

(2.5)

,

と表示できる。 ここて、 $Q$ (E) は微分方程式に付随してきまる超楕円曲線 $\nu^{2}=-Q(E)$に関係するもので次章の式 (3.3) にて定義されるものである。 さらにこのとき(2.6)$f(x+2\omega_{k}, E)=\exp(-2\eta_{k}\alpha+2\omega_{k}\zeta(\alpha)+2\kappa\omega_{k})f(x)$が $k=1,3$ て成立する。 ここで $\eta_{k}=\zeta(\omega_{k})(k=1,3)$ てある。
また、 固有値 $E$ が $P_{2}(E)\neq 0$ を満たすときは式 (2.3) て表示できる解が存在し、$P_{2}(E)=0$ を満たすときは式 (2.4) で表示てきる解が存在する。

をとって
Hermite-Krichever 仮設法の形の解 (x) として次章で現れる関数
くることがてきるということと、 [10] て得られている Bethe 仮設法によって表される$\Lambda(x, E)$$f$

解の零点を用いてなっている。

$\alpha$と$\kappa$が表示できることが上の定理を証明する際にキーポイントとExample 1. (i) $l_{0}=1,$ $l_{1}=l_{2}=l_{3}=0$ の場合。
この場合では、 式 (2.3) は以下の形に書き直される。
$f(x)=\exp(\kappa x)$(b\tilde 0(0ゝ\Phi 0$(x,$ $\alpha)$

)

(2.7)

この場合は、 どんな固有値 $E$ についても上の形の非自明な (は以下の式をみたしている。
在し、$\alpha,$$\tilde{b}_{0}^{(0)}\neq 0$となる) 解が存$\kappa$$\wp(\alpha)=-E,$$\kappa=0$

.

(2.8)

(ii) $l_{0}=2,$ $l_{1}=l_{2}=l_{3}=0$ の場合。
この場合ては、式 (2.3) は以下の形に書き直される。
$f(x)= \exp(\kappa x)(\tilde{b}_{0}^{(0)}\Phi_{0}(x, \alpha)+\tilde{b}_{1}^{(0)}(\frac{d}{dx})\Phi$0(x, )$\alpha$$e_{i}=\wp(\omega_{\dot{*}})(i=1,2,3),$ $g_{2}=-4(e_{1}e_{2}+e_{2}e_{3}+e_{3}e_{1})_{f}g_{3}=4e_{1}e_{2}e_{3}$

有値 $E$ の関係は、$\wp(\alpha)=e_{1}-\frac{(E-3e_{1})(E+6e_{1})^{2}}{9(E^{2}-3g_{2})}$,$\kappa=$

(2.9)

$)$

とおく

$\text{。}\alpha,$$\kappa$と固68となっており、 $E\neq\pm\sqrt{3g_{2}}$ のときには式 (2.9) の形の解が存在する。また、係数の比についても $E$ を用いて表示することができる。

$\tilde{b}_{1}^{(0)}/\tilde{b}_{0}^{(0)}$3. モノドロミーの超楕円積分による表示式
この章では、 ホインの微分方程式 (1.5) の解を考えるのに重要な役割を果たす二重周期関数を導入し、 これを用いて解の積分表示 付随する超楕円曲線に関係する多項
ドロミーの超楕円積分による表示式を求める
式・解の大域的という関数を、微分方程式(1.5) の解の 2 つの積であるとすると、 これは次の(x)微分方程式をみたす。
($|$$\text{モノ}$

$h$

$\{$

$\frac{d^{3}}{dx^{3}}-4$$( \sum_{i=0}^{3}l_{i}(l_{i}+1)\wp(x+\omega_{i})-E)\frac{d}{dx}-2(\sum_{i=0}^{3}l_{i}(l_{i}+1)\wp’$( $x+$ cp ) $))h(x)=0$ .
$i$

(3.1)
ここでの三階の微分方程式 Eq.(3.1) ついて、 $l_{i}\in \mathbb{Z}_{\geq 0}(i=0,1,2,3)$ ならば、す
べての $E$ に対して二重周期関数の解をもつことが知られている。 より詳しく、 次のProposition が成り立っている。
$|_{\vee}^{-}$とすると、微分方程式
Proposition 3.1. ([10, Proposition 3.5])(3.1) は以下のように表示される 0 てはない二重周期関数の解をもつ。
$l_{0},$

三$l_{1},$$l_{2},$$l,$$\in \mathbb{Z}_{\geq 0}$$(x, E)=c_{0}(E)+ \sum^{3}.\sum^{l_{*}-1}b_{j}^{(\cdot)}.(E)\wp(x+\omega:)^{l:-j}$

.

(3.2)

$|.=0j=0$

を、 $E$ の多項式ですぺてについて共通因子をもたす、$c_{0}(E)$
ここで、係数 $c_{0}(E),$をモニックに (最高次の係数が 1 となるように) とってくることができ、 そうすれば
式 (3.2) は一意に定まる。
また、 $g=\deg c$0(E) とおくと、他の係数はすぺて $\deg b_{j}^{(i)}(E)<g$ をみたす。
$b_{j}^{(i)}(E)$

後に重要な役割を果たすことになる多項式

$Q$

(E) を

$Q(E)=—(x, E)^{2}(E- \sum_{i=0}^{3}l_{i}(l_{i}+1)\wp(x+\omega_{i}))+\frac{1}{2}---(x, E)$ $\frac{d^{2-}--(x,E)}{dx^{2}}-\frac{1}{4}(\frac{d_{-}^{-}-(x,E)}{dx})^{2}$

(3.3)

—

として導入する。 この式の右辺は、 $(x, E)$ が微分方程式 (1.5) を満たしているということより に依存していない。 そして、 $Q$ (E) は次数が $2g+1$ のモニツクな多項式となっている。
$x$

Example 2. 以下の場合、関数三 $(x, E)$ と多項式(i) $l_{0}=1,$ $l_{1}=l_{2}=l_{3}=0$ の場合。
—(x, $E$ ) $=\wp(x)+E$ ,$Q$( E) は次のように表示できる。

$Q(E)=(E+e_{1})(E+e_{2})(E+e_{3})$ .

(3.4)(ii) $l_{0}=2,$ $l_{1}=l_{2}=l_{3}=0$ の場合。
三 $(x, E)=9 \wp(x)^{2}+3E\wp(x)+E^{2}-\frac{9}{4}g$ 2,$Q(E)=(E^{2}-3g_{2}) \prod_{\dot{l}=1}^{3}(E-3e:)$. $(3.5)$

ところで、 二重周期関数三 $(x, E)$ と多項式 $Q$ ( E) を用いることによって微分方程式(1.5) の解 $\Lambda(x, E)$ の積分表示を得ることができる。

,

69
Proposition 3.2. ([10, Proposition 3.7]) —(x, ) を Proposition 3.1 で定まっている関数とし、 (E) を式 (3.3) で定まっている多項式とする。 すると、 関数
$E$

$Q$

(3.6)

$\Lambda(x, E)=\sqrt{---(x,E)}\exp\int\frac{\sqrt{-Q(E)}dx}{---(x,E)}$は微分方程式 (1.5) の解となる。
について周期的であるのて、 関数た
さて、微分方程式 (1.5) は基本周期
ち $\Lambda(x+2\omega_{1}, E)$ , $\Lambda(x+2\omega_{3}, E)$ も微分方程式 (1.5) の解となる。 このとき、関数たち$\Lambda(x+2\omega_{1}, E)$ , $\Lambda(x+2\omega_{3}, E)$ がもとの解 $\Lambda(x, E)$ たちを用いてどのように表示てきるのか、 という問題は大域的モノドロミーを求める問題でもあるが、以下の命題はこの問題に対する 1 つの結果である。
$(2\omega_{1},2\omega 3)$

Proposition 3.3. ( $c.f.$ [12, Theorem 3.7]) $l_{i}\in \mathbb{Z}_{\geq 0}(i=0,1,2,3)$ を仮定する。
は $Q(E_{0})=0$ をみたす数とすると、 ある$(-1)^{q}$kA(x,$E_{0}$$q_{1},$$q_{3}\in$) $(k=1,3)$ をみたす。 そして、 この{0,1} g 二ついて$E_{0}$と$q_{1},$$q_{3}$$\Lambda(x+2\omega_{k}, E_{0})=$を用いると$\Lambda(x+2\omega_{k}, E)=(-1)^{q}(x, E)\exp(-\frac{1}{2}\int_{E_{0}}^{E}\frac{\int_{0+\epsilon}2\omega_{k}+\epsilon---(x,\tilde{E})dx}{\sqrt{-Q(\tilde{E})}}d\tilde{E})$が $k=1,3$ に対して成立する。 ここてて、 右辺の値は$\epsilon$$\epsilon$$E_{0}$(3.7)

は積分路に極を含まないように決められた数に依存していない。

これより大域的モノドロミーの積分表示をよりわかりやすい形に書き直す。 関数$\wp(x+\omega_{i})^{n}1\mathrm{h}(\frac{d}{dx})^{2j}\wp(x+\omega_{i})(j=0, \ldots, n)$の線形結合で表示てきるのて、関数三 $(x, E)$は—(x, $E$ )$=c(E)+ \sum_{i=0}^{3}\sum_{j=0}^{l.-1}a_{j}^{(i)}(E)(\frac{d}{dx})^{2j}\wp$( $x+\omega$ i)(3.8)と表示できる。 ここて(3.9)$a(E)= \sum_{i=0}^{3}a_{0}^{(\dot{\iota})}(E)$とおく。すると、 Proposition 3.3 より、 $k=1,3$ て$\mathrm{A}(x+2\omega_{k}, E)=(-1)^{q}$ k $\mathrm{A}(x, E)\exp(-\frac{1}{2}\int_{E_{0}}^{E}\frac{-2\eta_{k}a(\tilde{E})+2\omega_{k}c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E})$と表示てきる。 この式は、 大域的モノドロミーは $E$ についての種数を用いて表せることを示している。

$g$(3.10)の超楕円積分Exaxnple 3. 大域的モノドロミーの超楕円積分による表示式は、 $k=1,3$ において以下のようになる。

(i) $l_{0}=1,$ $l_{1}=l_{2}=l_{3}=0$ の場合。 この場合は楕円積分による表示式となる。
$\Lambda(x+2\omega_{k}, E)=-\Lambda(x, E)\exp(-\frac{1}{2}\int_{-e_{2}}^{E}$70(ii) $l_{0}=2,$ $l_{1}=l_{2}=l_{3}=0$ の場合。
$\Lambda(x+2\omega_{k}, E)=\Lambda(x, E)\exp$

4. 超楕円積分を楕円積分に帰着させる式
ドロミーを表す式として、 Hermite-Krichever 仮
ホインの微分方程式の大域的設法によるもの (式 (2.6)) と超楕円積分によるもの (式 (3.10)) があるが、 これらを$\text{モノ}$

見比ぺることで超楕円積分を楕円積分に帰着させる式を導出する。
は Hermite-Krichever 仮設法からきまる値たち、 (E), $a(E),$ $c(E)$ は超楕円積$\alpha,$$Q$$\kappa$分に現れている多項式たちとする。
$A=-2 \alpha-\int_{E_{0}}^{E}\frac{a(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}$

(4.1)

,

(4.2)

$B=2 \zeta(\alpha)+2\kappa+\int_{E_{0}}^{E}\frac{c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}$ ラ

とおく。 $k=1$ と $k=3$ の各々の場合に式 (2.6) と式 (3.10) を見比べることにより、あ
が存在して
る整数
$n_{1},$$n_{3}$$\eta 1A+\omega_{1}B=\pi\sqrt{-1}$( $q1+$ 2n1),

(4.3)

2n3),

(4.4)

(

$\eta 3A+\omega_{3}B=\pi\sqrt{-1}$ $q_{3}+$が成立することがうかがえる。ルジャンドルの関係式$\eta_{1}\omega_{3}-\eta_{3}\omega_{1}=\pi\sqrt{-1}/2$

を用いて一 $A/2$ と $B/2$ を求めることにより、 次の式が導かれる。

,

(4.5)

$\alpha+\frac{1}{2}\int_{E_{0}}^{E}\frac{a(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}=-(q_{1}+2n_{1})\omega_{3}+(q_{3}+2n_{3})\omega_{1}$$\zeta(\alpha)+\kappa+\frac{1}{2}\int_{E_{0}}^{E}\frac{c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}=-(q_{1}+2n_{1})\eta_{3}+(q_{3}+2n_{3})\eta_{1}$

ところで、 $\xi=\wp(\alpha)$ とおくと、 $Earrow\infty$ としたとき [二なること ([13]) と式 $\int(1/\wp’(\alpha))d\xi=\int d\alpha$ から、$\alphaarrow 0$

(mod

.

(4.6)

$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$

) と

(4.7)

$\int_{\infty}^{\xi}\frac{d\overline{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}=\alpha=-\frac{1}{2}\int_{\infty}^{E}\frac{a(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}$が成立する。ここて、$Q$ (E) は次数が $2g+1$ の多項式であり、 (E) は次数が の多項式てあるので、式 (4.7) は第一種超楕円積分を第一種楕円積分に帰着させる式となっている。
(E), $P_{2}(E)$ を用いて $\xi=P_{1}(E)/P_{2}(E)$
変数変換は、式 (2.5) で出てきた多項式たち
を、と表示できる。 5 章にて、 この変数変換をよりくわしく調べることにする。
$\alpha_{0}=-(q_{1}+2n_{1})\omega_{3}+(q_{3}+2n_{3})\omega_{1}$
とな
[
二お
11
る の f 直とする。式 (4.5) より$E=E_{0}$$a$$g$$P_{1}$$\alpha 0$$\alpha$71
り、 また、$\alpha-\alpha_{0}+\frac{1}{2}\int_{E_{0}}^{E}\frac{a(\tilde{E})}{\sqrt{-Q(\tilde{E})}}$

が成立する。
1 二ついては、$\kappa$(mod$\alpha_{0}\equiv 0$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$d$\tilde{E}=0$

,

(4.8)

) のときはが成立し、$\alpha_{0}\not\equiv 0$(mod$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$

(4.9)

,

$\kappa=-\frac{1}{2}\int_{E_{0}}^{E}\frac{c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}+\zeta(\frac{1}{2}\int_{E_{0}}^{E}\frac{a(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E})$) のときは次の式が成立している。

$\kappa=-\frac{1}{2}\int_{E_{0}}^{E}\frac{c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}+\int_{\wp(\alpha}^{\xi}$$\frac{\tilde{\xi}d\tilde{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}$.

(4.10)O)

ここて、 $Q$ (E) は次数が $2g+1$ の多項式、 $c(E)$ は次数が $g+1$ の多項式であり、

式 (2.5) で出てきた多項式たち $P_{3}(E)$ ,$P_{4}$

は(E) を用いて $\kappa=P_{3}(E)\sqrt{-Q(E)}/P_{4}(E)$ と$\kappa$

表示されているのて、式 (4.10) は第二種超楕円積分を第二種楕円積分に帰着させる式となっている。
例については、 6 章に載せてある。

5. TWISTED HEUN POLYNOMIAL
Theorem 2. 垣二て$\wp(\alpha)$$\text{と}$THETA-TWISTED HEUN POLYNOMIALと $\kappa/\sqrt{-Q(E)}$ は $E$ の有理関数となることが示されているのだが、 この章では、 この有理関数をより詳しく調ぺていく。
) が成立することと、[13] により、 $Earrow\infty$ としたときに(modはさら [こくわしく、$\alphaarrow 0$$\wp(\alpha),$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$$\kappa$$\wp(\alpha)-ek$$=- \frac{4N_{k}(E)}{(\sum_{i=0}^{3}l_{i}(l_{i}+1))^{2}D_{k}(E)}$,$(k=1,2,3)$ ,$\kappa=(1-\frac{2}{\sum_{i=0}^{3}l_{j}(l_{i}+1)})\frac{P_{\kappa}(E)}{\tilde{P}_{\kappa}(E)}\sqrt{-Q(E)}$

(5.1)
(5.2)

,

,
という表示をもつことがわかっている。 ここて、
(E), $D_{k}(E)(k=1,2,3),$
はモニツクな多項式て、$\deg N_{k}(E)=1+\deg D_{k}$ (E), $\deg P_{\kappa}(E)=\deg\tilde{P}_{\hslash}(E)-$をみたしているものである。 これから、 この多項式たち、 とくにそれらの零点たちを調べていく。
は、(mod) をみたす 0, 1, 2, 3 のいすれかの整数と$P_{\kappa}(E)$$N_{k}$$\tilde{P},(E)$$g$$\sum_{i=0}^{3}l_{i}\omega_{i}\equiv\omega_{p}$$p$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$する。
さて、 Hermite-Krichever 仮設法にでてくる

) をみ
(mod
たすとする。 このとき、 Hermite-Krichever 仮設法の形でかけるホインの微分方程式の解 (x) は、 $z=\wp(x)$ とおくこと [二より$\alpha$が、$\alpha\equiv\omega_{p}$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$$f$$f(x)= \exp(\overline{\kappa}x)\frac{(\sum_{j=0}^{\hat{l}^{(0)}}\overline{a}_{j}(z-e_{2})^{j})+\sqrt{(z-e_{1})(z-e_{2})(z-e_{3})}(\sum_{j=0}^{\overline{l}^{(0)}}\overline{b}_{j}(z-e_{2})^{j})}{(z-e_{1})^{l_{1}/2}(z-e_{2})^{l_{2}/2}(z-e_{3})^{l_{3}/2}}$

,

(5.3)

72
と表示できる。 ここで、$\hat{l}^{(0)}$は $(l_{0}+l_{1}+l_{2}+l_{3})/2$ を超えない最大の整数、$(l_{0}+l_{1}+l_{2}+l_{3}-3)/2$ を超えない最大の整数である。 $A_{p}$$\check{l}^{(0)}$はという集合を、 解 (x) が
$f$

という集
となるような固有値 たちの集合、
式 (5.3) の表示をもつもので$E$ たちの集となるような固有値
合を、解 $f$ (x) が式 (5.3) の表示をもつもので$E$$\overline{\kappa}=0$$B_{p}$$\overline{\kappa}\neq 0$合として定める。
また、 $p’\in$ $\{0,1, 2, 3\}\backslash \{p\}$ 1 こついて、ているとする。 $k\in$ {1,2, 3} を、$\alpha$は、$\alpha\equiv\omega_{p’}$(mod$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$) を満たし) により定めると、(modHermite-Krichever 仮設法の形でかけるホインの微分方程式の解 (x) は、 $z=\wp(x)$ と$\omega_{p’}\equiv\omega_{p}+\omega_{k}$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$$f$

おくことにより$f(x)= \exp(\kappa x)\frac{\sqrt{z-e_{k}}(\sum_{j=0}^{\hat{l}}a_{j}(z-e_{k})^{j})+\sqrt{(z-e_{k’})(z-e_{k’’})}(\sum_{j=0}^{\check{l}}b_{j}(z-e_{k})^{j})}{(z-e_{1})^{l_{1}/2}(z-e_{2})^{l_{2}/2}(z-e_{3})^{l_{3}/2}}$(5.4)と表示できる。 ここて、 は $(l_{0}+l_{1}+l_{2}+l_{3}-1)/2$ を超えない最大の整数、 はという集合を、解 $f$ ( x) が$(l_{0}+l_{1}+l_{2}+l_{3}-2)/2$ を超えない最大の整数である。
という集式 (5.4) の表示をもつもので $\kappa=0$ となるような固有値 $E$ たちの集合、$E$となるような固有値 たちの集合を、解 $f$ (x) が式 (5.4) の表示をもつもので$\check{l}$$\hat{l}$$A_{d}$$B_{p’}$$\overline{\kappa}\neq 0$合として定める。
集合たち$(i=0,1,2,3)$ について、 以下の命題が成立することが知られている。
$A_{i},$$B_{:}$$B_{i}(i=0,1,2,3)$ において、 この中
Proposition 5.1. ([13]) (i)8 つの集合たちのどの 2 つも共通部分を持たない。
は多項式 (E) の零点集合と一致する。
(ii) 集合$A_{i},$$\bigcup_{i=0}^{3}A_{i}$$Q$$\wp(\alpha)-e_{k}(k=1,2,3)$ の $E$ による表示式は、 集合 $A_{:},$ $B_{i}(i=0, k)$ を用いて以下のように表すことがてきる。

Proposition 5.2. ([13]) $m$ (E’) を $a(E)$ の $E=E’$ での零点の重複度、つまり $a(E)=$$(E-E’)^{m(E’)}\tilde{a}(E)$ かつをみたす数とし、 (E’) を ( E) の $E=E’$ での零(E) を点の重複度とする。 多項式 (E),$\tilde{a}(E’)\neq 0$

$D$

$Q$

$\tilde{m}$$N_{k}$$D(E)=, \prod_{E\in A_{0}}(E-E’)^{2+2m(E^{\ell})-\tilde{m}(E’)},\prod_{E\in B_{0}}(E-E’)^{2+2m(E’)}$,$N_{k}(E)=, \prod_{E\in A_{k}}(E-E’)^{2+2m(E’)-\tilde{m}(E’)},\prod_{E\in B_{k}}(E-E’)^{2+2m(E’)}$

(5.5)

,

$(k=1,2,3)$ .

(5.6)

によって定義する。すると、$\wp(\alpha)=e_{k}-\frac{4N_{k}(E)}{(\sum_{i=0}^{3}l_{i}(l_{\dot{\iota}}+1))^{2}D(E)}$が成立し、次数については $\deg N_{k}(E)=1+\deg D$ (E) が成立する。
系として、 以下のものが得られる。

(5.7)

,

73
において $a(E’)\neq 0$ が成立して代数方程式
Corollary 5.3. ([13])$Q(E)=0$ が重解をもたないと仮定する。 多項式 $D$ ( E),(E) を$E’ \in\bigcup_{i=0}^{3}(A_{i}\cup B_{i})$$N_{k}$$D(E)=, \prod_{E\in A_{0}}(E-E’),\prod_{E\in B_{0}}(E-E’)^{2}$

,

(5.8)
$(k=1,2,3)$ .

$N_{k}(E)=, \prod_{E\in A_{k}}(E-E’),\prod_{E\in B_{k}}(E-E’)_{:}^{2}$(5.9)

によって定義すると、(5.10)$\wp(\alpha)=e_{k}-\frac{4N_{k}(E)}{(\sum_{i=0}^{3}l_{i}(l_{i}+1))^{2}D(E)}$と $\deg N_{k}(E)=1+\deg D$ (E) が成立する。

これより、 集合たち

$A_{:},$$B_{i}$$(i=0,1,2,3)$ をより具体的に表示するため、 Heun

polynomial と twisted Heun polynomial を導入する。 また、 これらの多項式による$\wp(\alpha)$の $E$ を用いた表示式も求めてゆく。

$(i=0,1,2,3)$ を調べるために Heun polynomial を導入する。 この
Heun polynomial は準可解性と関連するものである ([11, 55])。
ます、集合$\beta_{1},$$\beta_{0},$を$\beta_{2},$$A_{i}$$\beta_{3}$は、$- \sum_{i=0}^{3}$$\mathrm{A}\in 2\mathbb{Z}_{\geq 0}$

をみたす整数とする。ペクトル空間$\{\wp_{1}(x)^{\beta_{1}}\wp_{2}(x)^{\beta_{2}}\wp_{3}(x)^{\beta_{3}}\wp(x)^{n}\}_{n=0,\ldots,-\Sigma_{=0}^{3}\beta_{i}/2}\dot{.}${0,1, 2, 3} とし、 それそれの$i\in$

トル空間

$i$

[こ対して

$\alpha_{i}$$V_{\beta_{0},\beta_{1},\beta_{2},\beta_{3}}$[こよって生成されるものとする。

を一$l_{i}$と $l_{i}+1$ のいすれかとし、 ペクを$U_{\alpha_{0},\alpha_{1},\alpha_{2},\alpha_{3}}$$V_{\alpha_{0},\alpha_{1},\alpha_{2},\alpha_{3}}$$U_{\alpha_{0},\alpha_{1},\alpha_{2},\alpha_{3}}=\{$,$\sum_{i=0}^{3}\alpha_{i}/2\in \mathbb{Z}\leq 0$$V_{1-\alpha_{0},1-\alpha_{1},1-a_{2},1-\alpha_{3}}$

,

{0},

;
(5.11)$\sum_{i=0}^{3}\alpha_{i}/2\in \mathbb{Z}_{\geq 2;}$

その他の場合.

で定める。 $l_{0}+l_{1}+l_{2}+l_{3}$ が偶数のときには、 ハミルトニアン $H$ (式 (1.4)) は以下のベクトル空間たち$U_{-l_{0},-l_{1},-l_{2},-l_{3}}$,$U_{-l_{0},-l_{1\prime}l_{2}+1,l_{S}+1}$,$U_{-l_{0},l_{1}+1,-l_{2},l_{3}+1}$,$U_{-l_{0\prime}l_{1}+1,l_{2}+1,-l_{3}}$,(5.12)に閉じて作用し、 $l_{0}+l_{1}+l_{2}+l_{3}$ が奇数のときには、ハミルトニアン $H$ は以下のベク
トル空間たち$U_{-l_{0},-l_{1},-l_{2},l_{3}+1}$,$U_{-l_{0},-l_{1},l_{2}+1,-l_{3}}$,$U_{-}$

l0,l1 $+$ 1,-l2,-l3,$U_{l_{0}+1,-l_{1},-l_{2},-l_{3}}$.

(5.13)に閉じて作用することが確かめられる [11]。 この設定で、以下の命題が成立している。

Proposition 5.4. ([13]){0,1, 2, 3} とする。 それぞれの垣; 対し、 式 (5.12) または式 (5.13) の中のベクトノレ空間
で
)を
(mod
,a2,
$i\in$$\sum_{k=1}^{3}\alpha_{k}\omega_{k}\equiv\omega_{\dot{l}}$$U_{\alpha_{0},\alpha \mathit{1}1}$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$$\alpha_{3}$みたすものがただ一つ存在する。 さらに、集合
ルトニアン $H$ の固有値の集合と一致する。

$A_{i}$

は、空間$U_{\alpha 0,\alpha_{1},\alpha_{2},\alpha_{3}}${0,1, 2, 3} に対し、 Proposition 5.4 てのベクトル空間におけるにおけるハミの作用についてのモニックな固有多項式を $H^{(i)}(E)$ と記し、 Heun polynomial と呼ぶことにする。
Proposition 5.4 より、 集合$(i=0,1,2,3)$ は Heun polynomial $H^{(i)}(E)$ の零点集合と一致することがわかる。
次に、 集合$(i=0,1,2,3)$ に関連する形で twisted Heun polynomial を導入する。 を) をみたす数とする。 ここては簡単のた(mod$i\in$$A_{i}$$B_{i}$$p$$\sum_{\dot{\iota}=0}^{3}l:\omega_{i}\equiv\omega_{p}$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$

$H$

74
め、 $l_{0}+l_{1}+l_{2}+l_{3}$ が偶数で $l_{0}>l_{1}+l_{2}+l_{3}-4$ のとき [二 twisted Heun polynomial
数または $l_{0}\leq l_{1}+l_{2}+l_{3}-4$ の$Ht^{(p)}(E)$ の定義の仕方を述べる。 $l_{0}+l_{1}+l_{2}+l_{3}$ が$\mathrm{f}\mathrm{i}_{\mathrm{r}}$ときの $Ht^{(p)}(E)$ や $i\in$ $\{0,1, 2, 3\}\backslash \{p\}$ の場合の$Hl^{(}$

i)(E) についてもほぽ同様に導入できるが、 詳しくは [13] を参照のこと。
条件 $E\in B_{p}$ は、微分方程式 (1.5) の解で式 (5.3) の形で書けて$\overline{\kappa}\neq 0$

をみたすものが存在することと同値であるので、 この状況を考察していく。
$s_{j}= \frac{\exp(\overline{\kappa}x)(\wp(x)-e_{2})^{j}}{(\wp(x)-e_{1})^{l_{1}/2}(\wp(x)-e_{2})^{l_{2}/2}(\wp(x)-e_{3})^{l_{3}/2}}$(5.14),(5.15),$tj= \frac{\exp(\overline{\kappa}x)(\wp(x)-e_{2})^{j}}{(\wp(x)-e_{1})^{l_{1}/2-1}(\wp(x)-e_{2})^{l_{2}/2-1}(\wp(x)-e_{3})^{l_{3}/2-1}}$

とおく。すると、 式 (5.3) での $f$ (x) はjtj’(5.16)$f(x)= \sum_{j=0}^{\hat{l}^{(0)}}\overline{a}jsj+\sum_{j=0}^{\mathfrak{l}^{(0)}}\overline{b}$と書き換えられる。また、 この式で現れない項の係数 , についてはについての係数を比としておく。式 (5.16) を微分方程式 (1.5) に代入して $sj+4$ と較することにより、 関係式$\overline{a}_{j}=0,$$\overline{b}_{j}$$\overline{a}_{j}$$\overline{b}j=0$$\mathrm{t}j+4$(5.17)$(l_{1}+l_{2}+l3-l_{0}-1-2j)(l_{1}+l_{2}+l_{3}+l_{0-\vee}-2j)\overline{a}_{j}$$+ \sum_{j’=j+1}^{j+4}\overline{a}$j.

,$c_{aa}(j,j’, \overline{\kappa})+i\overline{\kappa}\sum_{j’=j-1}^{j+3}\overline{b}_{j}$$c_{\mathrm{d}\overline{b}}(j,j’,\overline{\kappa})=0$(5.18)$(l_{1}+l_{2}+l_{3}-l_{0}-4-2j)(l_{1}+l_{2}+l_{3}+l_{0}-3-2j)\overline{b}_{j}$j’$+ \sum_{j’=j+1}^{j+4}\overline{b}$j’$Cjb \overline{b}(j,j’,\overline{\kappa})+\overline{\kappa}\sum_{j’=j+2}^{j+4}\overline{a}$$c_{\overline{b}\overline{a}}(j,j’,\overline{\kappa})=0$

(j,
),
(j,
$E$ についての多項式として書けるものである。正規化のためが得られる。 ここで$c_{\delta\overline{a}}(j,j’,\overline{\kappa}),$$j’,\overline{\kappa}$$c_{\overline{b}\hslash}(j,j’,\overline{\kappa}),$$\sigma_{b\overline{b}}$$c_{\overline{a}\overline{b}}$,$j’,\overline{\kappa}$) は、$\overline{a}_{\hat{l}^{(0)}}=1$, e3, ,$\overline{\kappa}$$e_{1},$$e_{2}$

とおくことにする。
が偶数で $l_{0}>l_{1}+l_{2}+l_{3}-4$ が成立するときには、 係数たち
, は式 (5.17, 5.18) により漸化的に決まっていく。 さらに式,(1.5) を満たすために、 式 (5.16) を微分方程式に代入したもので $j=0,1$ , $2,3$ におけるとちの係数が 0 とならなければならない。 これは、 $E$ についての連立代数方$l_{0}+l_{1}+l_{2}+l_{3}$$\overline{b}_{\hat{l}(0)_{-2}},\overline{a}_{\hat{l}^{(0)}}-1$$\overline{b}_{\hat{l}(0)_{-3}},$$\ldots$$\overline{a}_{0}$$\overline{\kappa},$$s_{j}$

程式となっている。 この連立代数方程式において、グレブナ基底の理論での消去法にに対応する解については除外していについての次数を落としていき、
ここ$E$$Ht^{(\mathrm{p})}(E)=0$についての多項式に関する式が得られる。
というく。すると、を twisted Heun polynomial
で、 モニツクてあるように正規化された多項式と呼ぶことにする。 これは、 Maier が twisted Lam\’e polynomial を定義したときの方
法 [6] と同様のものである。
$l_{0}+l_{1}+l_{2}+l_{3}$ が奇数または $l_{0}\leq l_{1}+l_{2}+l_{3}-4$ のときの twisted Heun polynomial$Ht^{(p)}(E)$ や $i\in$の場合での( E) についても、 [13] にてほぼ同様に定義されている。 また、 twisted Heun polynomial の定義より、集合 $B_{i}(i=0,1,2,3)$と $Ht^{(i)}(E)$ の零点集合が一致している。
よって$\overline{\kappa}=0$$\overline{\kappa}$$Ht^{(\mathrm{p})}(E)$$\{0,1, 2, 3\}\backslash \{p\}$$Ht^{(i)}$75の計算であるが、 ある仮定のもとでは Heun polynOmial と twisted Heun polynomial を用いて表示できることがわかった。
もともとの懸案であった$\wp(\alpha)$

Theorem 5.5. ([13]) ジエネリツクな周期について多項式たち $H^{(i)}(E)$ と$Ht^{(i)}(E)$ はすべて重複零点をもたすこれらの零点と多項式(E) の零点は共通部分をもたないと仮定する。 すると、$(2\omega_{1},2\omega 3)$$a$(5.19)$\wp(\alpha)=e_{k}-\frac{4H^{(k)}(E)Ht^{(k)}(E)^{2}}{(\sum_{i=0}^{3}l_{i}(l_{i}+1))^{2}H^{(0)}(E)Ht^{(0)}(E)^{2}}$と $\deg H^{(k)}(E)Ht^{(k)}(E)^{2}=1+\deg H$ (O) $(E)Ht^{(0)}(E)^{2}$ が $k=1,2$ ,$3$に対して成立する。

なお、 この定理の仮定は、 $g\leq 3$ のとき、 つまり多項式 $Q$ (E) の次数が 7 以下のときは正しいことがわかっているので ([13])、 このとき定理の表示式は正しいことがわかる。
を用いて以下のように表示できることが知ところて、 については、 集合られている。
$A_{0},$$\kappa$

Proposition 5.6. ([13]) すべての

$B_{0}$$a(E’)\neq 0$ が成立して代数(Ai\cup B
方程式 $Q(E)=0$ が重解をもたないと仮定する。 このとき、 あるモニックな多項式$P_{\hslash}(E)$$E’ \in\bigcup_{i=0}^{3}$で$\kappa=(1-\frac{2}{\sum_{i=0}^{3}l_{i}(l_{i}+1)})\frac{P_{n}(E)}{\prod_{E’\in A_{0}}(E-E)\prod_{E’\in B_{0}}(E-E’)},\sqrt{-Q(E)}$(5.20)と $\deg P_{\kappa}(E)=\deg(\prod_{E\in A_{0}},(E-E’)\prod_{E\in B_{0}},(E-E’))-g$ をみたすものが存在する

式 (5.20) で現れた多項式$H\theta(E)$ を導入する。 ここては

$P_{\kappa}(E)$偶数であり$l_{0}>l_{1}+l_{2}+l_{3}-2$$\circ$を計算するために theta-twisted Heun polynomial) で $l_{0}+l_{1}+l_{2}+l_{3}$ がが成立する場合について考察する。 その他の場合につ$\sum_{i=0}^{3}l_{i}\omega_{i}\equiv 0$(mod$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$いては [13] を参照されたい。
$u_{j},$$v_{j}$

を,(5.21),(5.22)$u_{j}= \frac{\Phi_{0}(x,\alpha)(\wp(x)-e_{2})^{j}}{(\wp(x)-e_{1})^{l_{1}/2}(\wp(x)-e_{2})^{l_{2}/2}(\wp(x)-e_{3})^{l_{8}/2}}$$v_{j}= \frac{(\frac{\partial}{\partial x}\Phi_{0}(x,\alpha))(\wp(x)-e_{2})^{j}}{(\wp(x)-e_{1})^{l_{1}/2}(\wp(x)-e_{2})^{l_{2}/2}(\wp(x)-e_{3})^{l_{3}/2}}$(modにより定める。 $f$ (x) は式 (2.3) て表されている関数とし、 $\kappa=0$ とを仮定する。
) という前提があるのて、関数(mod$\alpha\not\equiv 0$$\omega_{3}\mathbb{Z})$$\sum_{\dot{\iota}=0}^{3}l_{i}\omega_{i}\equiv 0$$\omega_{1}\mathbb{Z}\oplus$$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z}$$f(x)$ は$f(x)= \sum_{j=0}^{\hat{l}}c_{j}u_{j}+\sum_{j=0}^{I}d_{j}v_{j}$(5.23)

78と表示できる。また、式 (5.23) を式 (1.5) に代入し、$u_{j+4},$ $v_{j+4}$の係数を比べることにより、 関係式(5.24)$(l_{1}+l_{2}+l_{3}-l_{0}-2-2j)(l_{1}+l_{2}+l_{3}+l_{0}-1-2j)c_{j}$$+ \sum_{j’=j+1}^{j+4}c_{j’}c_{cc}(j,j’, \alpha)+\wp’(\alpha)\sum_{j’=j+2}^{j+4}d_{j’}c_{cd}(j,j’, \alpha)=0$(5.25)$(l_{1}+l_{2}+l_{3}-l_{0}-3-2j)(l_{1}+l_{2}+l_{3}+l_{0}-2-2j)d_{j}$,$+ \sum_{j’=j+1}^{j+4}d_{j’}c_{dd}(j,j’, \alpha)+\wp’(\alpha)\sum_{j’=j+1}^{j+4}c_{j’}c_{d\mathrm{c}}(j,j’, \alpha)=0$(j, $j’,$ ), (j, $j’,$ ), (j, $j’,$ ) はとおく。
$E$ についての多項式として書けるものである。 正規化のためもし $l_{0}+l_{1}+l_{2}+l_{3}$ が偶数て $l_{0}>l_{1}+l_{2}+l_{3}-2$ が成り立つならば、式 (5.24, 5.25)
により, c 簡, . . . , は漸化的に決まっていく。また、微分方程式 (1.5) が成立す
$v_{j}(j=0,1,2,3)$ の係数がるために、式 (5.23) を式 (1.5) に代入したものにおいてが得られる。ここて$c_{c\mathrm{c}}(j,j’, \alpha),$$c_{\mathrm{c}d}$$\alpha$$\alpha$$c_{dc}$$c_{dd}$$\alpha$$e_{1},$$e_{2},$$e_{3},$$\wp(\alpha),$ $\wp’(\alpha)$$d_{\check{l}}=1$$d_{\overline{l}-1}$$c_{0}$$\mathrm{c}_{\overline{l}},$$u_{j},$

0 とならなければならない。 よって、$\wp(\alpha),$ $\wp’(\alpha),$$E$についての連立代数方程式が得られる。
この連立代数方程式に関係式 $\wp’(\alpha)^{2}=4(\wp(\alpha)-e_{1})(\wp(\alpha)-e_{2})(\wp(\alpha)-e_{3})$ を加えについての次たものについて、 グレブナ基底の理論ての消去法を用いて) に対応する解を除外していく。すると、数を落としていき、(mod$H\theta(E)=0$ という $E$ についの多項式に関する式が得られる。 ここて、 モニツクてあるように正規化された多項式 $H\theta(E)$ を theta-twisted Heun polynomial と呼ぶことに$\wp(\alpha),$ $\wp’(\alpha)$$\alpha\equiv 0$$\omega_{1}\mathbb{Z}\oplus\omega_{3}\mathbb{Z}$

これは、 Maier が theta-twisted Lame’polynomial を定義したときの方法 [6] と同様のものてある。
(mod$l_{0}+l_{1}+l_{2}+l_{3}$ が奇数または $l_{0}\leq l_{1}+l_{2}+l_{3}-2$ の場合やする$\text{。}$$\sum_{i=0}^{3}l_{i}\omega_{i}\not\equiv 0$の堝合においても、 ほぼ同様の方法で theta-twisted Heun polynomialを定義することができる ([13])。
の $E$ による表示式と多項式 $H\theta(E)$ に関して、 次の定理が成立する。

$2\omega_{1}\mathbb{Z}\oplus 2\omega_{3}\mathbb{Z})$$H\theta(E)$$\kappa$に対し、 多項式た
Theorem 5.7. ([13]) 仮定として、 ジエネリツクな周期
ち (E), ( E), $H\theta(E),$ $H$ (i)(E), $Ht^{(i)}(E),$ $(i=0,1,2,3)$ はそれそれ重複零点をもた$(2\omega_{1},2\omega 3)$

$a$

$Q$

す、 多項式 $a(E),$ $H\theta(E),$ $H^{(:)}(E),$ $Ht^{(i)}(E),$ $(i=0,1,2,3)$ たちは共通零点をもたす、(5.26)$\deg H\theta(E)-\deg H^{(0)}(E)Ht^{(0)}(E)=-g,$が成立するとしておく。 すると、$\kappa=(1-\frac{2}{\sum_{\dot{\iota}=0}^{3}l_{\dot{\iota}}(l_{i}+1)})\frac{H\theta(E)}{H^{(0)}(E)Ht^{(0)}(E)}\sqrt{-Q(E)}$,(5.27)

が成立している。
なお、 この定理の仮定は、 $g\leq 3$ のとき、 つまり多項式 $Q$ (E) の次数が 7 以下のときは正しいことがわかつているので ([13])、 このとき定理の表示式は正しいことがわ
かる。

,

77
6. 計算例
前章にて、 Theorem 5.5 と Theorem 5.7 が $g\leq 3$ のときに成立すると述ぺたが、$g\leq 3$ となるのはどのような場合であるのかということを書き下しておく。
ます、 $g=1$ となるのは、$(l_{0}, l_{1}, l_{2}, l_{3})=(1,0,0,0),$の場合と、 それそれについて
次に、 $g=2$ となるのは、$(l_{0}, l_{1}, l_{2}, l_{3})=\{$$l_{0},$$l_{1},$$l_{2},$$l_{3}$$(1,1,0,0),$ $(1,1,1,1)$ ,を入れ替えた場合である。

(2, 0, 0, 0), (2,1, 0, 0), (2,1, 1, 0), (2,2, 0, 0),(2, 2, 1, 1), (2,2, 2, 2), (1,1, 1, 0),の場合と、 それそれについて
そして、 $g=3$ となるのは、$l_{0},$$l_{1},$$l_{2},$$l_{3}$

を入れ替えた場合である。

$(l_{0}, l_{1}, l_{2}, l_{3})=\{(3,3,3,3)(3,0,0,0)(3,2,1,0),,,(3,2,2,1)(2,\mathrm{l},1,1)(3,1,0,0),,,(3,1,\mathrm{l},0)(2,2,1,0)(3,3,0,0),,,(3,1,1,1)(3,3,1,1)(2,2,2,0)",(3,3,2,2)(3,2,0,0),$の場合と、 それそれについてを入れ替えた場合である。
$g\leq 3$ の場合には微分方程式 (1.5) の解のモノドロミーの 2 通りの式と超楕円積分
を楕円積分に帰着させる式は [13] によって計算されているが、本稿ては、その中のいくつかの場合の計算例を、 より平易な形で挙けておく。
$l_{0},$$l_{1},$$l_{2},$$l_{3}$

6.1. $(l_{0}, l_{1}, l_{2}, l_{3})=(1,0,0,0)$ の場合.
二重周期関数三 $(x, E)$ と多項式 $Q$ ( E) は
三 $(x, E)=\wp(x)+E$ ,$Q(E)=(E+e_{1})(E+e_{2})(E+e_{3})$ ,(6.1)と計算される。 微分方程式 (1.5) の解$\Lambda(x, E)=\sqrt{---(x,E})\exp\int\frac{\sqrt{-Q(E)}dx}{---(x,E)}$の超楕円積分による$\text{モノト}.$(6.2). ロミーの表示式は、 $k=1,3$ において$\Lambda(x+2\omega_{k}, E)=-\Lambda(x, E)\exp(-\frac{1}{2}\int_{-e_{2}}^{E}\frac{2\omega_{k}\tilde{E}-2\eta_{k}}{\sqrt{-(\tilde{E}+e_{1})(\tilde{E}+e_{2})(\tilde{E}+e_{3})}}d\tilde{E})$(6.3)となり、楕円積分による表示となっている。
また、 Hermite-Krichever 仮設法による解を求めるということは、$f(x)=\exp(\kappa x)(\tilde{b}_{0}^{(0})\Phi_{0}$の形の解を求めることに対応し、$\wp(\alpha),$$\kappa$$\alpha$$\alpha$

))

(6.4)

は

$\wp(\alpha)=-E,$と計算される。 ここで定まった
対して

(x,

$\kappa=0$

,

(6.5)

を用いることにより、 モノドロミーは、 $k=1,3$ に$f(x+2\omega_{k}, E)=(-2\eta_{k}\alpha+2\omega_{k}\zeta(\alpha))f(x)$(6.6)と表示てきる。 この場合ての積分の変換公式は、 $\xi=-E$ によるものとなり、 自明なものとなっている。

78
6.2. $(l_{0}, l_{1}, l_{2}, l_{3})=(1,1,0,0)$ の場合.
二重周期関数三 $(x, E)$ と多項式 $Q$ (E) は三 $(x, E)=E+\wp(x)+\wp(x+\omega_{1})-3e_{1}$ ,(6.7)$Q(E)=(E-4e_{1})(E^{2}-2e_{1}E+g_{2}-11e_{1}^{2})$ ,(6.8)と計算される。微分方程式 (1.5) の解(6.9)$\Lambda(x, E)=\sqrt{---(x,E)}\exp$ $\int\frac{\sqrt{-Q(E)}dx}{---(x,E)}$の超楕円積分によるモノドロミーの表示式は、 $k=1,3$ において$\Lambda(x+2\omega_{k}, E)=\Lambda(x, E)\exp(-\frac{1}{2}\int_{4e_{1}}^{E}$となっており、楕円積分による表示となっている。
また、 Hermite-Krichever 仮設法による解を求めるということは、$f(x)=\mathrm{e}\mathrm{x}$p$(\kappa x)(\tilde{b}_{0}^{(0})\Phi_{0}(x, \alpha)+\tilde{b}$の形の解を求めることに対応し、$\wp(\alpha),$$\kappa$$\alpha,$$\kappa$$\Phi_{1}(x, \alpha)$)$(6.11)$は$\wp(\alpha)=e_{1}-\frac{E^{2}-2e_{1}E+g_{2}-11e_{1}^{2}}{4(E-4e_{1})}$と計算される。 ここで定まった
に対して

11)

,

$\kappa=\frac{\sqrt{-Q(E)}}{2(E-4e_{1})}$,(6.12)を用いることにより、 モノドロミーは、 $k=1,3$(6.13)$f(x+2\omega_{k}, E)=(-2\eta_{k}\alpha+2\omega_{k}\zeta(\alpha)+2\kappa\omega_{k})f(x)$と表示できる。モノドロミーの 2 つの表示式に付随して、(6.14)$\xi=e_{1}-\frac{E^{2}-2e_{1}E+g_{2}-11e_{1}^{2}}{4(E-4e_{1})}$という変数変換により、 2 つの式

d ,(6.15)$\tilde{E}$$I_{\infty}^{\xi} \frac{d\tilde{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}=-\frac{1}{2}\int_{\infty}^{E}\frac{2}{\sqrt{-Q(\tilde{E})}}$,(6.16)$\frac{1}{2}\int_{E_{0}}^{E}\frac{\tilde{E}-3e_{1}}{\sqrt{-Q(\tilde{E})}}d\tilde{E}=-\kappa+\int_{e_{1}}^{\xi}\frac{\tilde{\xi}d\tilde{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}$は、 $E_{0}^{2}-2e_{1}E_{0}+g_{2}-11e_{1}^{2}=0$ をみたす数てある この変換が得られる。 ここでに変えたときの Landen 変換と関連していることを付をは、周期記しておく。
$E_{0}$$(2\omega_{1},2\omega 3)$$(\omega_{1},2\omega 3)$$\text{。}$78
6.3. $(l_{0}, l_{1}, l_{2}, l_{3})=(2,0,0,0)$ の場合.
二重周期関数三 $(x, E)$ と多項式 $Q$ (E) は
3

三 $(x, E)=9\wp(x)^{2}+3E\wp(x)+E^{2}-9g_{2}/4$ ,$Q(E)=(E^{2}-3g_{2}) \prod(E-3e_{i})$

,

$i=1$

(6.17)と計算される。微分方程式 (1.5) の解(6.18)$\Lambda(x, E)=\sqrt{--(-x,E)}\exp\int\frac{\sqrt{-Q(E)}dx}{---(x,E)}$の超楕円積分によるモノドロミーの表示式は、$a(E)=3E$ ,$c(E)=E^{2}- \frac{3}{2}g_{2}$,(6.19)

とおくことにより、 $k=1,3$ [こおいて$\Lambda(x+2\omega_{k}, E)=\Lambda$と(x, $E$ )$\exp(-\frac{1}{2}\int_{\sqrt{g_{2}}}^{E}\frac{-2\eta_{k}a(\tilde{E})+2\omega_{k}c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}$

d(6.20)$\tilde{E})$る。
また、 Hermite-Krichever 仮設法による解を求めるということは、,$t_{\grave{4}}$$f(x)=$ -p$(\kappa x)(\tilde{b}$の形の解を求めることに対応し、

x)$\Phi_{0}(x, \alpha)+\tilde{b}$ $0)( \frac{d}{dx})\Phi_{0}(x, \alpha)$$\wp(\alpha),$$\wp(\alpha)=e_{k}-\frac{(E-3e_{k})(E+6e_{k})^{2}}{9(E^{2}-3g_{2})}$と計算される。 ここで定まった$\alpha,$$\kappa$$\kappa$)(6.21)

は$(k=1,2,3)$ ,$\kappa=\frac{2\sqrt{-Q(E)}}{3(E^{2}-3g_{2})}$,(6.22)を用いることにより、 モノドロミーは、 $k=1,3$に対して(6.23)$f(x+2\omega_{k}, E)=(-2\eta_{k}\alpha+2\omega_{k}\zeta(\alpha)+2\kappa\omega k)f(x)$と表示できる。 モノドロミーの 2 つの表示式に付随して,(6.24)$\xi=e_{1}-\frac{(E-3e_{1})(E+6e_{1})^{2}}{9(E^{2}-3g_{2})}$という変数変換により、超楕円積分を楕円積分に帰着する式$\int_{\infty}^{\xi}\frac{d\tilde{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}=-\frac{1}{2}\int_{\infty}^{E}\frac{a(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}$(6.25),$\frac{1}{2}\int_{3\mathrm{e}_{1}}^{E}\frac{c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}=-\kappa+\int_{e_{1}}^{\xi}\frac{\tilde{\xi}d\tilde{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}$,(6.26)

が得られる。
$\xi=-y/6,$ $E$ =z, $g_{2}=a/3,$ $g_{3}=b/54$ , とおくことにより、 式 (6.25) より式 (1.1)

が、 式 (6.26) より式 (1.7) が導き出される。

80
6.4. $(l_{0}, l_{1}, l_{2}, l_{3})=(0,1,1,1)$ の場合.
二重周期関数三 $(x, E)$ と多項式 $Q$ ( E) は
三 $(x, E)=E^{2}-3g_{2}/2+ \sum_{i=1}^{3}(E-3e_{i})\wp(x+\omega_{i})$ ,$Q(E)=(E^{2}-3g_{2}) \prod_{i=1}^{3}(E-3e_{i})$(6.27)(6.28),と計算される。微分方程式 (1.5) の解(6.29)$\Lambda(x, E)=\sqrt{---(x,E)}\exp$ $\int\frac{\sqrt{-Q(E)}dx}{---(x,E)}$の超楕円積分によるモノドロミーの表示式は、$a(E)=3E$ ,$c(E)=E^{2}- \frac{3}{2}g_{2}$(6.30),

とおくこと i; より、 $k=1,3$ において(6.31)$\Lambda(x+2\omega_{k}, E)=\Lambda(x, E)\exp(-\frac{1}{2}\int_{\sqrt{\mathit{9}2}}^{E}\frac{-2\eta_{k}a(\tilde{E})+2\omega_{k}c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E})$となり、 $(l_{0}, l_{1}, l_{2}, l_{3})=(2,0,0,0)$ の場合と同じ [二なっている。
また、 Hermite-Krichever 仮設法による解を求めるということは、)(6.32)$f(x)=\exp(\kappa x)(\tilde{b}_{0}^{(1)}\Phi_{1}(x, \alpha)+\tilde{b}_{0}^{(2)}\Phi_{2}(x, \alpha)+\tilde{b}_{0}^{(3})\Phi_{3}(x, \alpha)$の形の解を求めることに対応し、$\wp(\alpha),$$\wp(\alpha)=e_{k}-\frac{(E-3e_{k})(E+6e_{k})^{2}}{9(E^{2}-3g_{2})}$は$\kappa$$(k=1,2,3)$ ,$\kappa=\frac{2\sqrt{-Q(E)}}{3(E^{2}-3g_{2})}$,(6.33)と計算される。 よって、 Hermite-Krichever 仮設法による解のモノドロミーの式も$(l_{0}, l_{1}, l_{2}, l_{3})=(20,0\rangle’ 0)$の場合と同じになっている。超楕円積分を楕円積分に帰着す

る式も $(l_{0}, l_{1}, l_{2}, l_{3})=(2,0,0,0)$ の場合と同じとなる。

6.5. $(l_{0}, l_{1}, l_{2}, l_{3})=(3,0,0,0)$ の場合.
二重周期関数三 $(x, E)$ と多項式 ( E) は$Q$

三 $(x, E)=225 \wp(x)^{3}+45E\wp(x)^{2}+6(E^{2}-\frac{\tau\epsilon}{8}g_{2})\wp(x)+E^{3}-15g_{2}E-\frac{225}{4}g_{3}$,(6.34),(6.35)$\Lambda(x, E)=\sqrt{---(x,E)}\exp$ $\int\frac{\sqrt{-Q(E)}dx}{---(x,E)}$(6.36)$Q(E)=E \prod_{i=1}^{3}(E^{2}+6e_{i}E+45e_{i}^{2}-15g_{2})$と計算される。微分方程式 (1.5) の解の超楕円積分によるモノドロミーの表示式は、$a(E)=6(E^{2}- \frac{16}{4}g_{2})$,$c(E)=E^{3}- \frac{45}{4}g_{2}E-\frac{135}{4}g_{3}$,(6.37)

81
とおくこと [こより、 $k=1,3$ においてd$\Lambda(x+2\omega_{k}, E)=\Lambda(x, E)\exp(-\frac{1}{2}\int_{0}^{E}\frac{-2\eta_{k}a(\tilde{E})+2\omega_{k}c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}$(6.38)$\tilde{E})$となる。
また、 Hermite-Krichever 仮設法による解を求めるということは、$f(x)=\exp(\kappa x)$の形の解を求めることに対応し、$H^{(0)}(E)=E$ ,( \Sigma$=03 \tilde{b}_{j}^{(0)}(\frac{d}{dx})^{j}\Phi$$\wp(\alpha),$$\kappa$(6.39)

0 $(x, \alpha))$は以下の多項式たち$H^{(k)}(E)\# E^{2}+6e_{k}E+45e_{k}^{2}-15g_{2}(k=1,2,3)$ ,$Ht^{(0)}(E)=E^{2}- \frac{75}{4}g_{2}$,$Ht^{(k)}(E)=E^{2}+15e_{k}E+ \frac{75}{4}(g_{2}-12e_{k}^{2})$(6.40),を用いることによって$\wp(\alpha)=e_{k}-\frac{H^{(k)}(E)Ht^{(k)}(E)^{2}}{36H^{(0)}(E)Ht^{(0)}(E)^{2}}$と計算される。 ここで定まったに対$\llcorner$$\alpha,$$\kappa$$(k=1,2,3)$ ,$\kappa=\frac{5\sqrt{-Q(E)}}{6H^{(0)}(E)Ht^{(0)}(E)}$,(6.41)を用いることにより、 モノドロミーは、 $k=1,3$て(6.42)$f(x+2\omega k, E)=(-2\eta_{k}\alpha+2\omega_{k}\zeta(\alpha)+2\kappa\omega_{k})f(x)$と表示てきる。

$\text{モノ}$

ドロミーの 2 つの表示式に付随して、(6.43)$\xi=e_{1}-\frac{H^{(1)}(E)Ht^{(1)}(E)^{2}}{36H^{(0)}(E)Ht^{(0)}(E)^{2}}$という変数変換により、超楕円積分を楕円積分に帰着する式

d ,(6.44)$\tilde{E}$$\int_{\infty}^{\xi}\frac{d\tilde{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}=-\frac{1}{2}\int_{\infty}^{E}\frac{a(\tilde{E})}{\sqrt{-Q(\tilde{E})}}$$\frac{1}{2}\int_{E_{0}}^{E}\frac{c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}=-\kappa+\int_{e_{1}}^{\xi}\frac{\tilde{\xi}d\tilde{\xi}}{\sqrt{4\tilde{\xi}^{3}-g_{2}\tilde{\xi}-g_{3}}}$が得られる。 ここで$E_{0}$,(6.45)

は $H^{(1)}(E_{0})=0$ をみたす数てある。

6.6. $(l_{0}, l_{1}, l_{2}, l_{3})=(3,1,0,0)$ の場合.
二重周期関数—$(x, E)$と多項式 $Q$ ( E) は

三 $(x, E)=225 \wp(x)^{3}+45(E-2e_{1})\wp(x)^{2}+(6E^{2}-24Ee_{1}-201e_{1}^{2}-\frac{75}{2}g_{2})\wp(x)$(6.46)$+(E-8e_{2}-3e_{3})(E-3e_{2}-8e_{3})\wp(x+\omega_{1})$$+E^{3}-7e_{1}E^{2}-104e_{1}^{2}E- \frac{25}{4}g_{2}E-72e_{1}^{3}-\frac{225}{2}g$ 3,$Q(E)=(E^{2}-16e_{1}E-32e_{1}^{2}+5g_{2})(E-3e_{2}-8e_{3})(E-8e_{2}-3e_{3})$$(E^{3}-9e_{1}E^{2}-(117e_{1}^{2}+4g_{2})E+69e_{1}^{3}-188g3)$,(6.47)

82と計算される。微分方程式 (1.5) の解$\Lambda$(x, $E$ )(6.48)$=$の超楕円積分によるモノドロミーの表示式は、(6.49)$a(E)=7E^{2}-13e_{1}E-152e_{1}^{2}$ -lOg2,$c(E)=E^{3}-7e_{1}E^{2}-(104e_{1}^{2}+ \frac{5}{2}g_{2})E-102e_{1}^{3}-\frac{165}{2}g_{3}$,(6.50)

とおくことにより、 $k=1,3$ 1 二おいて$\Lambda(x+2\omega_{k}, E)=-$

A(x, $E$ )$\exp(-\frac{1}{2}\int_{3e_{2}+8e_{3}}^{E}\frac{-2\eta_{k}a(\overline{E})+2\omega_{k}c(E)}{\sqrt{-Q(\tilde{E})}}d\tilde{E})$(6.51)となる。
また、 Hermite-Krichever 仮設法による解を求めるということは、$f(x)=\exp$ (tax)30)$( \tilde{b}_{0}^{(1)}\Phi_{1}(x, \alpha)+\sum_{j=0}^{2}\tilde{b}$の形の解を求めることに対応し、$\wp(\alpha),$$H^{(0)}(E)=E^{2}-16e_{1}E-32e_{1}^{2}+5g_{2}$$\kappa$,は以下の多項式たち$H\theta(E)=E-17e_{1}$$H^{(1)}(E)=E^{3}-9e_{1}E^{2}-(117e_{1}^{2}+4g_{2})E+69e_{1}^{3}-188g_{3}$$H^{(2)}(E)=E-3e_{2}-8e_{3}$ ,$H^{(3)}(E)=E-8e_{2}-3e_{3}$$Ht^{(0)}(E)=E^{2}- \frac{58}{7}e_{1}E-\frac{737}{7}e_{1}^{2}-\frac{100}{7}g_{2}$,(6.52)$( \frac{d}{dx})^{j}\mathrm{I}_{0}(x, \alpha))$(6.53),,,$Ht^{(1)}(E)=E^{2}+11e_{1}E-626e_{1}^{2}+50g_{2}$,を用いることによって$\wp(\alpha)=e_{1}-\frac{H^{(1)}(E)Ht^{(1)}(E)^{2}}{49H^{(0)}(E)Ht^{(0)}(E)^{2}}$と計算される。 ここで定まった$\alpha,$$\kappa$,$\kappa=\frac{6H\theta(E)\sqrt{-Q(E)}}{7H^{(0)}(E)Ht^{(0)}(E)}$,(6.54)を用いることにより、 モノドロミーは、 $k=1,3$に対して$f(x+2\omega_{k}, E)=(-2\eta_{k}\alpha+2\omega_{k}\zeta(\alpha)+2\kappa\omega_{k})f(x)$(6.55)と表示できる。 モノドロミーの 2 つの表示式に付随して、$\xi=e_{1}-\frac{H^{(1)}(E)Ht^{(1)}(E)^{2}}{49H(0)(E)Ht^{(0)}(E)^{2}}$(6.56)という変数変換により、超楕円積分を楕円積分に帰着する式(6.57)(6.58)
が得られる。

83
6.7. (l0,) $=(3,1,1,1)$ の場合.
二重周期関数三 $(x, E)$ と多項式 $Q$ (E) は$l_{1},$$l_{2},$$l_{3}$—(x, $E$ ) $=225 \wp(x)^{3}+45E\wp(x)^{2}+6(E^{2}-\frac{75}{4}g_{2})\wp(x)$ $+E^{3}- \frac{195}{4}g_{2}E-\frac{1125}{2}g_{3}(6.59)$$+(E-15e_{2})(E-15e_{3})\wp(x+\omega_{1})+(E-15e_{1})(E-15e_{3})\wp(x+\omega_{2})$$+(E-15e_{1})(E-15e_{2})\wp(x+\omega_{3})$ ,$Q(E)=(E^{4}-54g_{2}E^{2}-864g_{3}E-135^{2}g_{2}) \prod(E-15e_{i})$,(6.60)と計算される。微分方程式 (1.5) の解(6.61)$\Lambda(x, E)=\sqrt{---(x,E)}\exp$ $/ \frac{\sqrt-Q(E)dx}{---(x,E)}$の超楕円積分によるモノドロミーの表示式は、$c(E)=E^{3}-45g_{2}E-540g_{3}$ ,$a(E)=9(E^{2}-15g_{2})$ ,(6.62)

とおくことにより、 $k=1,3$ 1 こおいて

(6.63)$\mathrm{E}\underline{-2\eta_{k}a(\tilde{E})+2\omega_{k}c(\tilde{E})}_{d\tilde{E}})-$$\Lambda(x+2\omega_{k}, E)=-\Lambda(x, E)\exp(-\frac{1}{2}\int_{15e_{2}}^{E}\frac{-2\eta_{k}a(\tilde{E})+2\omega_{k}c(\tilde{E})}{\sqrt{-Q(\tilde{E})}}d\tilde{E}$とる。
また、 Hermite-Krichever 仮設法による解を求めるということは、$f_{\grave{\mathrm{A}}}$(6.64)$f(x)= \exp(\kappa x)(.\sum_{j=0}^{2}\tilde{b}_{j}^{(0)}(\frac{d}{dx})^{j}\Phi_{0}(x, \alpha)+\sum_{i=1}^{3}\tilde{b}_{0}^{(i)}\Phi_{i}(x, \alpha))$の形の解を求めることに対応し、$\wp(\alpha),$$\kappa$は以下の多項式たち$H^{(0)}(E)=E^{4}-54g_{2}E^{2}-864g_{3}E-135g_{2}^{2}$,$Ht^{(0)}(E)=E^{2}-75g_{2}$,(6.65)$H^{(k)}(E)=E-15e_{k}(k=1,2,3)$ ,$Ht^{(k)}(E)=E^{4}+48e_{k}E^{3}+54(g_{2}-8e_{k}^{2})E^{2}-8640e_{k}^{3}E$-2025$(3g_{2}^{2}+48g_{3}e_{k}-64e_{k}^{4})$,$H\theta(E)=E^{3}-63g_{2}E-540g_{3}$ ,を用いることによって$(k=1,2,3)$ ,$\wp(\alpha)=e_{k}-\frac{H^{(k)}(E)Ht^{(k)}(E)^{2}}{81H^{(0)}(E)Ht^{(0)}(E)^{2}}$と計算される。 ここて定まったに対して$\alpha,$$f(x+2\omega_{k}, E)=$$\kappa$($\kappa=\frac{8H\theta(E)\sqrt{-Q(E)}}{9H^{(0)}(E)Ht^{(0)}(E)}$,(6.66)を用いることにより、 モノドロミーは、 $k=1,3$$-2\eta_{k}$a$+2\omega_{k}\zeta(\alpha)+2\kappa\omega_{k}$) $f(x)$(6.67)と表示てきる。 モノドロミーの 2 つの表示式に付随して、$\xi=e_{1}-\frac{H^{(1)}(E)Ht^{(1)}(E)^{2}}{81H^{(0)}(E)Ht^{(0)}(E)^{2}}$(6.68)

84という変数変換により、 超楕円積分を楕円積分に帰着する式(6.69)(6.70)
が得られる。

REFERENCES, V. Z., Reduction of Abelian functions and algebraically inte[1] Belokolos, E. D. and
J. Math. Sci. (Neut York) 108 (2002), 295-374.
grable systems.
hierar[2] Gesztesy F. and Weikard R., Treibich-Verdier potentials and the stationary.
. Math. Z. 219 (1995),[3] Hermite C., Oeuvres de Charles Hermite, vol. III, Gauthier.-Villars, Paris (1912).
[4] Inozemtsev V. I., Lax representation with spectral parameter on a torus for integrable particle
systems, Left. Math. Phys. 17 (1989), 11-17.
[5] Krichever I. M. Elliptic solutions of the Kadomcev-Petviasvili equations, and integrable systems of particles. (Russian) Functional Anal. Appl. 14 (1980), 282-290.
[6] Maier R. S., Lamb polynomials, hyperelliptic reductions and Lame’ band structure. Preprint, math-ph/0309005, 2003.
[7] Ochiai H., Oshima T., and Sekiguchi H., Commuting families of symmetric differential operators, Proc. Japan. Acad. 70 (1994), 62-66.
[8] Ronveaux A.(ed.), Heun’s differential equations. Oxford Science Publications, Oxford University Press, Oxford, 1995.
[9] Smirnov A. O., Elliptic solitons and Heun’s equation, The Koenalevski property, 287-305,
CRM Proc. Lecture Notes, 32, Amer. Math. Soc., Providence (2002).
[10] Takemura K., The Heun equation and the CalogerO-Moser-Sutherland system : the Bethe
Ansatz method. Comm. Math. Phys. 235 (2003) 467-494.
[11] Takemura K., The Heun equation and the Calogero Moser-Sutherland system : the perturbation and the algebraic solution, Electron. J. Differential Equations 2004 no. 15 (2004)$\mathrm{E}\mathrm{n}\mathrm{o}\mathrm{l}8\mathrm{k}\mathrm{i}\mathrm{i}$$\mathrm{I}\mathrm{I}.$$(\mathrm{m})\mathrm{K}\mathrm{d}\mathrm{V}$$\mathrm{c}\mathrm{h}\mathrm{y}$$451\triangleleft 76$$\mathrm{I}$$\mathrm{I}\mathrm{I}$1-30.

[12] Takemura K., The Heun equation and the Calogero Moser-Sutherland system III: the finite
gap property and the monodromy, J. Nonlinear Math. Phys. 11 (2004) 21-46.
: the[13] Takemura K., The Heun equation and the Calogero Moser-Sutherland system.
Hermite-Krichever Ansatz. Preprint,[14] Treibich A. and Verdier J.-L., Revetements exceptionnels et sommes de 4 nombres triangu(French). Duke Math. J. 68 (1992), 217-236.
[15] Weikard R., On Hill’s equation with a singular complex-valued potential. Proc. London Math.
Soc. 376 (1998), 603-633.
$\mathrm{I}\mathrm{V}$$\mathrm{m}\mathrm{a}\mathrm{t}\mathrm{h}.\mathrm{C}\mathrm{A}/0406141,2004$$\mathrm{l}\mathrm{a}\mathrm{i}\mathrm{r}\mathrm{e}8$

DEPARTMENT OF MATHEMATICAL sCIENCES, YOKOHAMA cITY UNIVERSITY, 22-2 sETO,
KANAZAWA-KU, YOKOHAMA 236-0027, JAPAN.
.ip-mail address:$E$$\mathrm{t}\mathrm{a}\mathrm{k}\mathrm{e}\mathrm{m}\mathrm{u}\mathrm{r}\mathrm{a}0\mathrm{y}\mathrm{o}\mathrm{k}\mathrm{o}\mathrm{h}\mathrm{a}\mathrm{m}\mathrm{a}-\mathrm{c}\mathrm{u}.\mathrm{a}\mathrm{c}$