[論文レビュー] Limits of quotients of real polynomial functions of three variables

Juan D. Vélez, Juan Polanco Hernández+1 more|arXiv (Cornell University)|May 15, 2015

Polynomial and algebraic computation参考文献 13被引用数 6

ひとこと要約

この論文は、代数的曲線の双有理同型を用いて3変数の実解析関数の商の極限を計算する記号的アルゴリズムを拡張する。主な貢献は、判別的多様体とその既約成分を分析することにより、3変数の有理関数の極限の存在と値を決定する手法を提供することであり、Mapleにおける limit/multi コマンドとして実装可能である。

ABSTRACT

An algorithm for computing the limit of a quotient of bivariate real analytic functions has been developed by one of the authors in (Limits of quotients of bivariate real analytic functions, Journal of Symbolic Computation, 50, 2013, 197 207). In this paper we provide a theoretical method based on the work developed in that article to determine the existence of the limit of a quotient of two polynomial functions of three variables. An algorithm to compute such limits, in the case where the polynomials have rational coefficients, or more generally, coefficients in a real finite extension of the rationals, is also described.

研究の動機と目的

• 文献[4]における2変数極限アルゴリズムを、3変数の多項式の商へ一般化すること。
• 3次元空間における分母の孤立したゼロにおける極限が存在するかどうかを特定する課題に取り組むこと。
• 代数幾何学と双有理変換を用いて、このような極限を体系的に計算する手法を開発すること。
• グレブナー基底と同様のコンピュータ代数システム（例：Maple）で利用可能な高レベルのアルゴリズムフレームワークを提供すること。
• 複雑な判別的多様体と成分ごとの極限解析を含む具体的な例を通じて、手法を提示すること。

提案手法

• 行列 $ A = \left[\begin{smallmatrix}x & y & z \\ \partial q/\partial x & \partial q/\partial y & \partial q/\partial z \end{smallmatrix}\right] $ の $2 \times 2$ 小行列式の零点集合として、判別的多様体 $X(q)$ を定義する。
• 3変数極限問題を、$X(q)$ の既約成分（特に次元1および2の成分）に沿った $q$ の挙動の分析に還元する。
• 任意の代数的曲線が平面上の曲線と双有理同型であるという事実を用い、1次元成分を2変数問題に変換する。
• 文献[4]の主要アルゴリズムを用いて、各双有理同型な平面上の曲線に沿った極限を計算する。
• グレブナー基底計算と消去イデアルを用いてパラメータ表示を導出し、問題を2変数に簡略化する。
• 関数が未定義となる成分（例：$V(X^2 + Y^2 + Z^2)$）を除外し、すべての成分間で一貫性があることを検証する。

実験結果

リサーチクエスチョン

• RQ1 分母 $g$ が原点で孤立したゼロを持つとき、$ \lim_{(x,y,z)\to(0,0,0)} f(x,y,z)/g(x,y,z)$ が存在する条件は何か？
• RQ2 3変数の有理関数は、低次元の代数的多様体に沿った極限に還元することで、どのようにして挙動を解析できるか？
• RQ3 判別的多様体 $X(q)$ を用いて、このような極限の存在と値を体系的に決定できるか？
• RQ4 代数的曲線と平面上の曲線との間の双有理同型は、計算を簡略化するために果たす役割は何か？
• RQ5 グレブナー基底や消去イデアルといった記号的計算ツールは、この手法をアルゴリズム的に実装するためにどのように利用できるか？

主な発見

• 判別的多様体の異なる成分に沿った非ゼロの極限が確認されたため、$ \lim_{(X,Y,Z)\to(0,0,0)} \frac{YX - ZY + ZX}{X^2 + Y^2 + Z^2}$ は存在しない。
• 関数 $\frac{X^2YZ}{X^2 + Y^2 + Z^2}$ については、判別的多様体のすべての既約成分を双有理還元して解析した結果、極限は0である。
• アルゴリズムは、消去イデアルとパラメータ表示を用いて、判別的多様体の1次元成分をすべて2変数極限問題に効果的に還元できた。
• 関数が未定義となる成分 $V(X^2 + Y^2 + Z^2)$ は、極限値に影響しないことから、検討対象から除外された。
• 原始元定理と $u = y + \lambda z$ を用いたパラメータ表示により、すべての1次元成分に対して平面上の曲線への有効な還元が可能であった。
• 本手法は、Mapleにおける `limit/multi` コマンドとして実装されており、2変数アルゴリズムを3変数へと完全に拡張し、記号的サポートを備えている。