[論文レビュー] Isolation Intervals of the Real Roots of the Parametric Cubic Equation

Emil M. Prodanov|arXiv (Cornell University)|Jan 10, 2022

Polynomial and algebraic computation参考文献 10被引用数 1

ひとこと要約

本稿では、係数に依存する区間と補助二次方程式を用いて、数値近似を用いずに、単一の三次方程式 $x^3 + ax^2 + bx + c = 0$ の実数解を分離する記号的技法を提示する。完全な符号情報を含む根の分類が行われ、実数解が3つ存在する場合、それらは $c$ に依存しない $\sqrt{3}\sqrt{a^2/3 - b}$ と $2\sqrt{a^2/3 - b}$ で境界づけられる区間内に存在することが証明されている。この手法はアルゴリズム的であり、レイリー波の三次方程式を用いて図示されている。

ABSTRACT

The isolation intervals of the real roots of the real symbolic monic cubic polynomial $p(x) = x^3 + a x^2 + b x + c$ are found in terms of simple functions of the coefficients of the polynomial (such as: $-a$, $-a/3$, $-c/b$, $\\pm \\sqrt{-b}$, when $b$ is negative), and the roots of some auxiliary quadratic equations whose coefficients are also simple functions of the coefficients of the cubic. All possible cases are presented with clear and very detailed diagrams. It is very easy to identify which of these diagrams is the relevant one for any given cubic equation and to read from it the isolation intervals of the real roots of the equation. A much-improved complete root classification, addressing the signs (together with giving the isolation intervals) of the individual roots, is also presented. No numerical approximations or root finding techniques are used. Instead of considering the discriminant of the cubic, criterion for the existence of a single real root or three real roots is found as conditions on the coefficients of the cubic, resulting from the roots of the auxiliary quadratic equations. It is also shown that, if a cubic equation has three real roots, then these lie in an interval $I$ such that $\\sqrt{3}\\sqrt{a^2/3 - b} \\le I \\le 2 \\sqrt{a^2/3 - b}$, independent of $c$. A detailed algorithm for applying the method for isolation of the roots of the cubic is also given and it is illustrated through examples, including the full mathematical analysis of the cubic equation associated with the Rayleigh elastic waves and finding the isolation intervals of its real roots.

研究の動機と目的

• 単一の三次多項式の実数解を数値近似を用いずに、完全に記号的に分離する手法を開発すること。
• 係数条件に基づいて、実数解の個数と符号を含むすべての可能な根配置を分類すること。
• 定数項 $c$ に依存しない、$a$ と $b$ のみを用いて、3つの実数解を含む最小限の区間を導出すること。
• 任意の三次方程式に対して正しい根分離区間を特定するための体系的で図式ベースのアルゴリズムを提供すること。
• 物理的に意味のある三次方程式（レイリー波伝播に由来）にこの手法を適用し、実用的有用性を示すこと。

提案手法

• 根分離区間は、係数の初等関数 $-a$、$-a/3$、$-c/b$、および $b < 0$ のときの $\pm \sqrt{-b}$ を用いて構築される。
• 根の分離のための臨界点を特定するために、$a$、$b$、$c$ の簡単な関数として係数を持つ補助二次方程式が導入される。
• すべての可能な根配置を表す16の詳細な図式が体系的に用いられ、それぞれが一意な係数条件に対応する。
• 判別式を避けるために、補助二次方程式の根から、1つまたは3つの実数解の存在基準を導出する。
• ステップバイステップのアルゴリズムが定義され、ユーザーが適切な図式を特定し、直接的に分離区間を読み取ることができる。
• この手法はレイリー波理論に由来する三次方程式に対して検証され、その実数解の完全な数学的解析が示されている。

実験結果

リサーチクエスチョン

• RQ1 係数 $a$、$b$、$c$ の記号的表現として、数値的手法を用いずに単一の三次多項式の実数解を分離できる式は何か？
• RQ2 判別式を回避して、係数条件から1つまたは3つの実数解の存在を直接どのように特定できるか？
• RQ3 3つの実数解を含む最小限の区間は何か？また、それは $c$ に依存せず、$a$ と $b$ のみに依存するか？
• RQ4 係数関係から、符号を含む完全な根の分類を体系的に導出する方法は何か？
• RQ5 任意の三次方程式に対して、誤りのない根分離を可能にする図式的でアルゴリズム的フレームワークを構築できるか？

主な発見

• 三次方程式の実数解は、$-a$、$-a/3$、$-c/b$、および $b < 0$ のときの $\pm \sqrt{-b}$ から導かれる明示的な区間を用いて分離される。これらはすべて係数の関数である。
• 3つの実数解の存在は、補助二次方程式の根から導かれる条件によって決定され、判別式ではない。
• 3つの実数解が存在する場合、それらは $\sqrt{3}\sqrt{a^2/3 - b} \leq I \leq 2\sqrt{a^2/3 - b}$ を満たす区間 $I$ 内に閉じ込められる。これは $c$ に依存しない。
• この手法は、数値近似を一切用いずに、符号と重複度を含む完全な根の分類を提供する。
• 16の詳細な図式を支援とするアルゴリズム的フレームワークにより、任意の三次方程式に対して正しい根分離構成を明確に特定できる。
• この手法はレイリー波の三次方程式に成功裏に適用され、その実数解の完全な分離と符号解析が得られた。