[論文レビュー] On the Complete Solution to the Most General Fifth Degree Polynomial

Richard J. Drociuk|ArXiv.org|May 3, 2000

Advanced Numerical Analysis Techniques参考文献 7被引用数 8

ひとこと要約

本稿では、三段階の手法を用いて一般五次方程式の五つの根に対して閉形式解を提示する。 (1) 一般五次方程式をブリングの標準形に還元する一般化されたツィルンハウス変換、(2) ブリング方程式を解くために一般化された超幾何微分方程式を解く、(3) 得られた四次方程式をフェラーリの方法を用いて逆変換する。この解はマップル V および VI で明示的に計算可能であり、二次方程式の公式に類似した反復的でない直接的な公式を提供する。

ABSTRACT

The motivation behind this note, is due to the non success in finding the complete solution to the General Quintic Equation. The hope was to have a solution with all the parameters precisely calculated in a straight forward manner. This paper gives the closed form solution for the five roots of the General Quintic Equation. They can be generated on Maple V, or on the new version Maple VI. On the new version of maple, Maple VI, it may be possible to insert all the substitutions calculated in this paper, into one another, and construct one large equation for the Tschirnhausian Transformation. The solution also uses the Generalized Hypergeometric Function which Maple V can calculate, robustly.

研究の動機と目的

• 反復的または近似手法に依存しない完全で閉形式の一般五次方程式の解を提供すること。
• 五次方程式のすべての五つの根を一つの明示的公式で表現するという長年の課題を解決すること。
• ツィルンハウス変換を一般化された超幾何関数およびモジュラー関数技法と統合し、計算可能な三段階のプロセスに統合すること。
• 数学的に厳密でありながら、マップル V や VI などの記号計算システムで実際に実装可能な解を提供すること。

提案手法

• 四次置換 $ x^4 + d x^3 + c x^2 + b x + a + y $ を用いた一般化されたツィルンハウス変換を適用し、一般五次方程式から $ x^4 $、$ x^3 $、$ x^2 $、$ x $ 項を消去する。
• 変換により得られる 5×5 行列の行列式から、元の五次方程式の係数と変換後の式のパラメータを関連付ける可解な連立方程式系が得られる。
• ブリングの標準形 $ x^5 - x - s = 0 $ の解は、一般化された超幾何微分方程式を用いて導出され、特殊関数を用いた直接的な根の計算が可能になる。
• 逆変換はフェラーリの方法を用いて四次方程式を解くことで実行され、元の五次方程式の五つの根が回復される。
• すべての置換がマップル V および VI と互換性のある記号的枠組みに符号化されており、根の直接評価が可能である。
• モジュラー関数の逆変換や反復的根の探索を回避し、根への直接的な解析的経路を提供する。

実験結果

リサーチクエスチョン

• RQ1 反復的または数値的手法に依存せずに、一般五次方程式の完全で閉形式の解を導出することは可能か？
• RQ2 ツィルンハウス変換をどのように体系的に適用すれば、一般五次方程式をパラメータ関係が明示的なブリングの標準形に還元できるか？
• RQ3 一般化された超幾何関数をどの程度まで用いることで、モジュラー関数の逆変換を回避する形でブリング方程式を解くことができるか？
• RQ4 すべての五次方程式の五つの根を一つの計算可能な公式で得る三段階の記号的プロセスを構築することは可能か？
• RQ5 この解は、追加の数値的または関数的逆変換ステップを要することなく、マップル V や VI などの現代の記号計算システムで完全に実装可能か？

主な発見

• 本稿では、任意の複素係数に対して有効な、一般五次方程式 $ x^5 + m x^4 + n x^3 + p x^2 + q x + r = 0 $ の五つの根すべてに対する閉形式式を導出する。
• 解は三段階の記号的プロセスで実装される：ブリング形への変換、一般化された超幾何方程式の解法、フェラーリの方法による逆変換。
• マップル V および VI で明示的に根が計算されており、数値的評価では残差誤差が $ 10^{-164} $ のオーダーであることが確認され、極めて高い数値的精度であることが示された。
• 従来の手法（エルミートやクラインの解法など）で知られるモジュラー関数の逆変換を回避する点で、本手法は優位である。
• 解は完全に記号的かつ決定論的であり、すべてのパラメータ—係数、変換変数、超幾何関数項—が一つの枠組み内で明示的に計算されている。
• 最終的な根の式は、根号、超幾何関数、代数的組み合わせの形で与えられ、テスト用の五次方程式に対して具体的な数値が提示されており、高精度で正しさが確認されている。