[論文レビュー] I: Lie symmetries of partial differential equations and CR geometry

Joël Merker|ArXiv.org|Mar 5, 2007

Advanced Differential Equations and Dynamical Systems被引用数 15

ひとこと要約

本稿は、完全可積分な偏微分方程式（PDE）系のリー対称性とCR幾何学を結びつける、幾何学的枠組みを新たに開発する。解の部分多様体を中心的な対象として用い、PDE系の対称性と複素空間内における一般的実部分多様体の全純不変性の性質との間に対応関係を確立する。これにより、拡張されたジュート空間を用いた微分幾何的技法とCR不変量を用いて、2階PDE系の明示的な整合性条件が得られる。

ABSTRACT

A general theory of rigid completely integrable analytic partial differential equations is endeavoured. The tube over the light cone in C^3 is shown to be the unique model (up to biholomorphisms) having CR automorphism group of maximal dimension equal to 10. Explicit formulas for the Lie prolongation of vector fields to jets spaces are derived.

研究の動機と目的

• PDE系の解の部分多様体を観点として、完全可積分PDE系のリー対称性に対する新しい幾何学的理論を確立すること。
• PDEの対称性構造を、複素空間内における一般的実部分多様体の幾何学と結びつけること、特にCR不変量と全純不変性を介して行うこと。
• ジュート空間への延長と微分代数的技法を用いて、2階PDE系の明示的な整合性条件を導出すること。
• CR幾何的不変量を用いて、PDE系の平坦性および同値性を体系的に特定する手法を提供すること。
• ジュート理論的および幾何学的道具を用いて、PDEの解空間からパrameter空間へのリー対称性の転送を形式化すること。

提案手法

• PDE系の解の部分多様体を、従来のジュート空間に焦点を当てるのではなく、そのリー対称性を研究する中心的な幾何的対象として用いる。
• CR幾何学を用いてPDE系を複素空間内における実部分多様体としてモデル化し、全純座標と $ w^j = \overline{\Theta}^j(z, \bar{z}, \bar{w}) $ の形の定義方程式を活用する。
• ベクトル場を高階ジュート空間に拡張するジュート空間への延長技法を用い、無限小的対称性の研究を可能にする。
• 定義方程式を微分し、PDE系を用いて高階導関数を代入することで、2階PDE系の整合性条件を導出する。
• 記号計算（Maple Release 7）を用いて、組み合わせ的公式と導出された恒等式を検証し、特に最初の整合性条件の族に対して行う。
• 微分代数と導関数の線形結合を用いて、複雑な方程式系を基本的な整合性条件（I'）、（II'）、（III'）、（IV'）に簡約する。

実験結果

リサーチクエスチョン

• RQ1 完全可積分PDE系のリー対称性は、その解の部分多様体の幾何学を用いて、どのように体系的に特徴づけられるか？
• RQ2 PDE系の対称代数と関連するCR部分多様体の全純不変性の性質との間には、どのような明確な対応関係が存在するか？
• RQ3 有限個の定義方程式から導かれる2階PDE系の整合性の必要十分条件は何か？
• RQ4 ベクトル場のジュート空間への延長は、どのようにしてCR幾何的構造を保存する形で形式化できるか？
• RQ5 CR不変量および曲率に類似した量は、PDE系の平坦性または同値性を決定する上で、果たす役割は何か？

主な発見

• 本稿は、PDE系の解の部分多様体が、その全対称性構造を符号化していることを確立し、リー対称性の幾何的分類を可能にする。
• 2階PDE系の整合性条件の完全な集合が、体系的な微分と代入を経て導出され、明示的な代数的恒等式が得られる。
• 2番目の補助系の最初の整合性条件族が、線形結合と微分を経て、基本恒等式（I'）、（II'）、（III'）、（IV'）の結果であることが示される。
• 2階導関数を低階導関数で表す明示的公式が得られ、たとえば $ y_{x^1x^2} = F_{x^1} + y_{x^1}F_y + y_{x^1x^1}F_{y_{x^1}} + G F_{y_{x^1x^1}} $ のような式が得られ、一貫性の観点から極めて重要である。
• 記号計算（Maple）を用いた手法により、複雑な整合性恒等式が成功裏に検証され、導出された公式の正しさが確認される。
• 本フレームワークは、CR幾何的不変量に埋め込むことで、PDE理論における同値性および標準形の問題に対する体系的かつ包括的なアプローチを提供する。