研究概要 |
Gaussの超幾何微分方程式の拡張として一般型、_<n+1>F_n, Appell型F_1,F_2,F_3,F_4,(k,n)型超幾何微分方程式等がある。本研究では,主にAppell F_2とimprimitiveな_<n+1>F_nに対して以下の研究を行った. 1)有限既約なモノドロミー群をもつAppell F_2を決定した.その条件はF_2がもつ5個のパラメータによって言い表され,本質的に6種類に分類される.そのいずれの場合もモノドロミー群は簡単な可換群とunitary reflection groupとの半直積になっている.そこに現れるreflection groupはShephard-Toddの分類表のimprimitiveなG(2,2,4)とprimitiveなNo.28,30,32の群である.No.30の群は2種のモノドロミー群に現れるが,そこでの可換群が異なっている.6種のモノドロミー群のうち5つは4つの1次独立な解の間に2次関係式が存在する.残りの1つ,No.32のunitary groupをふくむモノドロミー群を持つ微分方程式のSchwarz mapの像はP^3内の90次曲面となる。 2)Imprimitiveな有限モノドロミー群をもつ、_nF_<n-1>のSchwarz mapのmapの像Cは方程式y^<mn>+xy^<mq>-1=0の1次独立なn個の解の比で決まるP^<n-1>内の点の(xを動かしたときの)軌跡となる.上の3項n次方程式の解はx=0で正則な関数で一般型2項関数とも呼ばれ、本研究に重要な役割を果す。特に_3F_2とy^3+xy-1=0の関係を考察することにより、3次方程式のカルダノの公式の別証明が得られる。
|