[論文レビュー] Transformations of algebraic Gauss hypergeometric functions

Raimundas Vidūnas|ArXiv.org|Jul 30, 2008

Polynomial and algebraic computation参考文献 11被引用数 4

ひとこと要約

本稿では、tetrahedral, octahedral, または icosahedral なモノドロミー群をもつ超幾何微分方程式に対して、Darboux 評価と連接関係を用いて、Klein のプルバック被覆を計算するアルゴリズムを提示する。主な貢献は、超幾何関数と標準形との間の明示的な代数的変換を体系的に導出する方法であり、代数的曲線上での有理関数および根号を用いた閉形式評価を可能にする。

ABSTRACT

A celebrated theorem of Klein implies that any hypergeometric differential equation with algebraic solutions is a pull-back of one of the few standard hypergeometric equations with algebraic solutions. The most interesting cases are hypergeometric equations with tetrahedral, octahedral or icosahedral monodromy groups. We give an algorithm for computing Klein's pull-back coverings in these cases, based on certain explicit expressions (Darboux evaluations) of algebraic hypergeometric functions. The explicit expressions can be computed using contiguous relations and a data base of simplest Darboux evaluations (covering the Schwarz table). Klein's pull-back transformations also induce algebraic transformations between hypergeometric solutions and a standard hypergeometric function with the same finite monodromy group.

研究の動機と目的

• 有限モノドロミー群をもつ超幾何方程式におけるKleinのプルバック変換を計算するためのアルゴリズムを開発すること。
• 解が代数的である最も複雑なケース、すなわち tetrahedral, octahedral, および icosahedral なモノドロミーを扱うこと。
• Darboux 評価を用いて、超幾何関数と標準形との間の明示的な代数的変換を提供すること。
• 代数的曲線上での有理関数と根号を用いた、超幾何関数の閉形式評価を可能にすること。
• 循環的および二面体的ケースを超える、代数的超幾何関数の計算ツールキットを拡張すること。

提案手法

• 本手法は、シュバルツ型のデータベースと連接関係から導かれる、超幾何関数の明示的な代数的表現（Darboux 評価）を用いる。
• 同じ有限モノドロミー群をもつ標準超幾何方程式を、目標方程式に変換する有理関数のプルバック被覆 φ(X) を構築する。
• 各シュバルツ型（例：(1/3,1/5,3/5)）に対して、被覆をパラメトライズするためのDarboux曲線 E: ξ² = f(x) を定義する。
• プルバック変換は、φ₄(x,ξ) = (1 + 5ξ + 10x)⁵ / ((1 - 7/5ξ - 9x - x²)²(1 - 5x))⁷⁄₆ のような有理関数 φ(x,ξ) を用いて実装され、射影直線 X から Z への写像を形成する。
• 連接関係を用いて、最も単純な解からより多くの超幾何関数の解を生成し、完全な変換チェーンを構築する。
• 既知の明示的評価と代数的幾何の構造を活用することで、対称的テンソルべき方程式を解く必要を回避する。

実験結果

リサーチクエスチョン

• RQ1 tetrahedral, octahedral, または icosahedral なモノドロミーをもつ超幾何方程式に対して、Klein のプルバック被覆をどのようにアルゴリズム的に計算できるか。
• RQ2 超幾何関数と標準形との間の代数的変換を記述する明示的な有理関数および根号の式は何か。
• RQ3 Darboux 曲線と連接関係をどのように組み合わせて、超幾何関数の評価の完全な族を生成できるか。
• RQ4 これらのプルバックを実現する被覆写像 φ(X) の構造は、代数的関数としてどのように記述できるか。
• RQ5 すべての icosahedral 時間対称性をもつシュバルツ型について、明示的な評価を体系的に導出できるか。

主な発見

• シュバルツ型 (1/3,1/3,2/3) の場合、Darboux 曲線は E₁: ξ² = x(1 + x)(1 + 16x) であり、被覆 φ₁(x,ξ) はパラメータ (−1/6, 7/30; 2/5) の超幾何関数へ写像する。
• ₂F₁(−1/6, 7/30; 2/5 | φ₁) の評価は、(1 + 50x − 125ξ² − 450xξ − 500x²)⁷⁄₃₀ と (1 + 18/5ξ − 16x + x²)⁵⁄₆ を含む、根号と有理関数の比として明示的に与えられる。
• 型 (1/3,1/5,3/5) の場合、Darboux 曲線は E₅: ξ² = x(1 + x)(1 + 16x) であり、被覆 φ₅(x,ξ) = −54(ξ + 5x)³(1 − 2ξ + 6x)⁵ / ((1 − 16x²)(ξ − 5x)²(1 − 2ξ − 14x)⁵) により、4つの超幾何関数の明示的評価が得られる。
• ₂F₁(−1/15, 8/15; 4/5 | φ₅) の評価は、(1 + 4x)⁸⁄₁₅(ξ + 5x)¹⁄₆x¹⁄₁₅ / ((1 − 2ξ − 14x)¹⁄₃(ξ − 3x)³⁄₁₀) として表現される。
• 型 (1/5,1/5,4/5) の場合、Darboux 曲線は E₆: ξ² = x(1 + x − x²) であり、被覆 φ₆(x,ξ) = 16ξ(1 + x − x²)²(1 − ξ)² / ((1 + ξ + 2x)(1 + ξ − 2x)⁵) により、₂F₁(7/10, −1/10; 4/5 | φ₆) = (1 − ξ + 2x)¹⁄₁₅(1 − ξ)³⁄⁵ / ((1 + ξ + 2x)⁷⁄₃₀√(1 + ξ − 2x)) のような評価が得られる。
• 同じ Darboux 曲線と被覆が型 (2/5,2/5,2/5) に対しても適用可能であり、₂F₁(3/10, −1/10; 3/5 | φ₆) = (1 − ξ + 2x)²⁄₁₅(1 + ξ + 2x)¹⁄₃₀(1 − ξ)¹⁄⁵ / √(1 + ξ − 2x) のような異なる評価が得られる。