[論文レビュー] On solutions of a Heavenly equations and their generalizations

Valerii Dryuma|ArXiv.org|Oct 31, 2006

Geometric Analysis and Curvature Flows参考文献 3被引用数 4

ひとこと要約

本稿では、自己双対重力およびリッチ平坦計量に現れる第一および第二ヘヴェンリー方程式を解くための新しいパラメトリック手法を提示する。時間的パラメータ t を導入し、従属変数と独立変数を u(x,t,z,w) および v(x,t,z,w) に変換することで、元の複雑な非線形 PDE は u と v の観点からより単純な系に還元され、マッピングや Maple における記号計算を用いて明示的解が得られる。主な結果として、第一ヘヴェンリー方程式の閉形式解が得られ、例えば θ(x,y,z,w) = C₁√((e⁻²ˣ⁻²ʷy² + 2e⁻²ˣ⁻²ʷyz + e⁻²ˣ⁻²ʷz² + C₁²)/C₁²)eˣ⁺ʷ − (y+z)arcsinh((y+z)e⁻ˣ⁻ʷ/C₁) であり、6つの任意関数に依存する6変数の8次元一般化された第二ヘヴェンリー方程式が新たに構成された。

ABSTRACT

Some solutions of the Heavenly equations and their generalizations are considered

研究の動機と目的

• 非線形第一階 PDE を解くための体系的かつ包括的な手法の開発、特に数学的物理における第一および第二ヘヴェンリー方程式を対象とする。
• ヘヴェンリー方程式の適用範囲を、8次元幾何を含む高次元幾何にまで拡張すること。
• 時間的パラメータ t を含むパラメトリック変換を用いて、第一ヘヴェンリー方程式の明示的解を構成すること。
• これらの PDE の解と、4次元および高次元におけるリッチ平坦かつ自己双対計量の幾何学的性質との関係を解明すること。
• 第二階常微分方程式のリウヴィル理論の不変量を、ヘヴェンリー方程式を用いて3次元および8次元に一般化すること。

提案手法

• パラメトリック変換 f(x,y,z,w) → u(x,t,z,w), y → v(x,t,z,w) を適用し、偏導関数を uₜ/vₜ 及びその導関数を用いて再表現することで、元の PDE を新しい関係式 Φ(u,v,uₓ,uₜ,u_z,u_w,vₓ,vₜ,v_z,v_w,...) = 0 に還元する。
• パラメトリゼーションのもとで混合偏導関数の交換性が保たれることを活用し、系の整合性を維持する。
• 特に第一ヘヴェンリー方程式に対して、Maple を用いた記号計算により変換された方程式を導出し、簡略化する。
• v = t∂ₜω − ω および u = ∂ₜω といった特定のアンサーツを導入し、ω(x,t,z,w) に関する可解な ODE 形式の系に PDE を還元する。
• 第二ヘヴェンリー方程式に対しても同様のパラメトリゼーションを適用し、ω の二階微分を含む方程式系と、その係数に関する制約条件を得る。
• 8次元一般化は、計量構造を拡張し、8変数の6つの任意関数に依存する6本の式からなる計量係数に関する方程式系を導出することによって構成される。

実験結果

リサーチクエスチョン

• RQ1 時間的パラメータ t を用いたパラメトリック還元法を用いて、第一ヘヴェンリー方程式をどのように明示的に解くことができるか？
• RQ2 第一ヘヴェンリー方程式の明示的閉形式解は何か？ また、それらの解は解のパラメトリック表現とどのように関係しているか？
• RQ3 第二ヘヴェンリー方程式を高次元に一般化することは可能か？ その場合の計量構造および場の運動方程式の構造はどのようなものか？
• RQ4 ヘヴェンリー方程式の解は、4次元および8次元におけるリッチ平坦かつ自己双対計量とどのように関係しているか？
• RQ5 ヘヴェンリー方程式の解を用いて、第二階常微分方程式のリウヴィル理論の不変量を3次元および8次元に拡張することは可能か？

主な発見

• 第一ヘヴェンリー方程式の明示的解が得られた：θ(x,y,z,w) = C₁√((e⁻²ˣ⁻²ʷy² + 2e⁻²ˣ⁻²ʷyz + e⁻²ˣ⁻²ʷz² + C₁²)/C₁²)eˣ⁺ʷ − (y+z)arcsinh((y+z)e⁻ˣ⁻ʷ/C₁) であり、任意定数 C₁ および C₂ に対して有効である。
• 第二の明示的解が得られた：θ(x,y,z,w) = yz + w − w ln(w/yz) − wx であり、アンサーツ ω(x,t,z,w) = A(x,t,z)w および A(x,t,z) = ln(t/z − 1) + x から導出された。
• パラメトリック還元法により、第一ヘヴェンリー方程式が可解な系にうまく還元され、Maple を用いた記号計算により解が導出可能であることが確認された。
• 第二ヘヴェンリー方程式は8次元に一般化され、非自明な成分が10個ある計量が得られ、8変数の6つの任意関数に依存する。
• 8次元計量に関する方程式系は、6つのポテンシャル関数の二階微分を含む6本の式として導出され、一般化の整合性が裏付けられた。
• 本稿では、ヘヴェンリー方程式の解が射影的平坦構造を記述できることを示し、また、第二階常微分方程式系のリウヴィル理論の不変量を高次元に拡張可能であることを示した。