[論文レビュー] Completion of Linear Differential Systems to Involution

Vladimir P. Gerdt|ArXiv.org|Sep 20, 1999

Numerical methods for differential equations参考文献 12被引用数 12

ひとこと要約

本論文は、多項式イデアルから線形微分系へと包合的技法を拡張し、線形微分多項式系の最小包合基底を計算する完成化アルゴリズムを導入する。この手法は、構成的かつノエター的包合的割当の下で正しくかつ停止性を保証し、初期値問題の定式化やリー対称性解析への応用を可能にする。特に、線形PDE系における解の任意性と対称性群の次元を特定するのに有効である。

ABSTRACT

In this paper we generalize the involutive methods and algorithms devised for polynomial ideals to differential ones generated by a finite set of linear differential polynomials in the differential polynomial ring over a zero characteristic differential field. Given a ranking of derivative terms and an involutive division, we formulate the involutivity conditions which form a basis of involutive algorithms. We present an algorithm for computation of a minimal involutive differential basis. Its correctness and termination hold for any constructive and noetherian involutive division. As two important applications we consider posing of an initial value problem for a linear differential system providing uniqueness of its solution and the Lie symmetry analysis of nonlinear differential equations. In particular, this allows to determine the structure of arbitrariness in general solution of linear systems and thereby to find the size of symmetry group.

研究の動機と目的

• 多項式イデアルに既に用いられていた包合的技法を、微分多項式環における線形微分系へ一般化すること。
• 微分項の順序付けと線形微分系の包合的割当に基づく包合性条件を定義すること。
• 最小包合微分基底を正しくかつ停止的に計算するアルゴリズムを開発すること。
• 初期値問題に対して、解の一意性を保証するようにこの手法を応用すること。
• 非線形微分方程式のリー対称性解析を可能にするために、線形系の一般解における任意性の構造を特定すること。

提案手法

• 零特徴値の微分体上における線形微分系の文脈で、包合的割当の形式的枠組みを導入する。
• 与えられた順序と包合的割当の下で、微分基底の完全性を保証する包合性条件を定式化する。
• 構成的かつノエター的割当を用いて、非包合的延長を反復的に解消することで、最小包合基底を計算するアルゴリズムを実装する。
• 微分イデアルを維持するとともに、すべての必要な導関数を含めるように、体系的な簡約プロセスに依拠する。
• 包合的完成の概念を微分多項式系の構造に統合し、正規形を達成する。
• 初期値問題の定式化および対称性群解析への応用を通じて、手法の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 多項式イデアルに用いられる包合的技法を、線形微分系へどのように拡張できるか？
• RQ2 与えられた順序と包合的割当の下で、微分系が包合的であるために満たすべき条件は何か？
• RQ3 構成的かつノエター的包合的割当に対して、線形微分系の最小包合基底をアルゴリズム的に計算可能で、正しくかつ停止するか？
• RQ4 包合的基底の計算が、線形PDE系の初期値問題の解の一意性をどのように促進するか？
• RQ5 包合的基底は、一般解における任意性の構造と対称性群の次元を特定する上で、果たす役割は何か？

主な発見

• 最小包合微分基底を計算するアルゴリズムは、任意の構成的かつノエター的包合的割当に対して正しくかつ停止する。
• 包合性条件は、微分基底の完全性を保証する体系的な基準を提供する。
• 包合的状態にあることを保証することで、初期値問題の解の一意性を保証する定式化が可能になる。
• 線形微分系の一般解における任意性の構造は、包合的基底を用いて特定可能であり、これが解空間の次元を直接示す。
• 非線形微分方程式の有効なリー対称性解析を可能にする。線形化された系を通じて、対称性群の次元を計算可能になる。
• CASC 1999会議議事録への応用は、本手法の実用的妥当性と理論的整合性を確認する。