[論文レビュー] Obstacles to the Factorization of Linear Partial Differential Operators into Several Factors

Ekaterina Shemyakova, Franz Winkler|arXiv (Cornell University)|Oct 13, 2010

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

ひとこと要約

本稿では、線形偏微分作用素を複数の因子に分解する際の障害（obstacles）の概念を導入し、ゲージ変換のもとで不変である障害環を定義する。因子分解が特定の段階以降一意に定まることを証明し、2変数2次および3次作用素における一般的な障害の明示的公式を提示。これは古典的なラプラス不変量を拡張し、双曲型作用素のためのアルゴリズム的因子分解を可能にする。

ABSTRACT

We consider algorithms for the factorization of linear partial differential operators. We introduce several new theoretical notions in order to simplify such considerations. We define an obstacle and a ring of obstacles to factorizations. We derive some interesting facts about the new objects, for instance, that they are invariant under gauge transformations. An important theorem for the construction of factoring algorithms is proved: a factorization is defined uniquely from a certain moment on. For operators of orders three and two, obstacles are found explicitly.

研究の動機と目的

• 因子分解に失敗した際に情報を失う既存の因子分解アルゴリズムの限界を解消すること。
• 部分因子分解の概念を形式化し、因子分解試行の不変量として共通障害の概念を導入すること。
• 因子分解が特定の次数以降一意に定まることを証明し、グリゴリエフ–シュバルツのアルゴリズムを一般化すること。
• 特に双曲型型に対して、2変数2次および3次作用素に対する明示的障害公式を計算すること。
• 障害環がゲージ変換のもとで不変であることを確立し、因子分解障害の体系的分類を可能にすること。

提案手法

• 作用素の次数tに対する部分因子分解を導入し、作用素の合成がt未満の項を除いて元の作用素と一致するようにする。
• 共通障害を、元の作用素と候補となる因子分解との差として定義し、これがゲージ変換のもとで不変であることを示す。
• 多項式環をある斉次イデアルで割った商環として障害環を構成し、障害類がゲージ変換のもとで不変であることを保証する。
• 2次および3次の2変数作用素に理論を適用し、作用素展開における係数比較により明示的障害式を計算する。
• 作用素の記号とその斉次多項式への分解を用いて、因子分解型と対応する障害の構成を導く。
• 微分作用素とその成分（例：D_x, D_y）を用い、作用素合成における同次項の係数比較により障害公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 線形偏微分作用素が複数の因子に分解可能となる条件は何か。また、その因子分解が失敗する条件は何か。
• RQ2 完全な因子分解が不可能であっても、因子分解プロセス中に存続する不変量は何か。
• RQ3 標準的アルゴリズムで失われる情報を保持するように、部分因子分解の概念をどのように形式化できるか。
• RQ4 因子分解障害の集合の代数的構造は何か。また、ゲージ変換のもとでその性質はどのように変化するか。
• RQ5 2変数2次および3次作用素に対して、共通障害の明示的公式を導出可能か。

主な発見

• 因子分解障害はゲージ変換のもとで不変であり、分類のための頑健な不変量である。
• 因子分解は特定の次数以降一意に定まり、グリゴリエフ–シュバルツのアルゴリズムを一般化する。
• 2変数2次作用素に対して、共通障害は古典的なラプラス不変量に一致する。
• 記号がXY(X+Y)およびX²Yである3次作用素の因子分解型(X)(YX+YY)および(Y)(XX)に対して、明示的障害公式が導出された。
• 3次双曲型作用素の因子分解型(X)(Y)(X+Y)に対して、共通障害は一意に定まり、係数およびその微分の関数として明示的に計算された。
• 障害環における障害類は、代表元の選択に依存せず、一意に定まり、因子分解解析における一貫性を保証する。