[論文レビュー] Solving large classes of nonlinear systems of PDEs

Roumen Anguelov, Elemér E Rosinger|ArXiv.org|May 31, 2005

Mathematical and Theoretical Analysis参考文献 16被引用数 4

ひとこと要約

本稿では、関数解析や一般化関数空間に依存せずに、非線形偏微分方程式系（ナビエ＝ストークス方程式や連続体力学における構成則を含む）の広範なクラスを解くための、順序完備に基づく新規手法を提示する。解はハウスドルフ連続関数として示され、任意の領域および非線形性において、係数の連続性仮定を最小限に抑えても普遍的な正則性と存在性を保証する。

ABSTRACT

It is shown that large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems, can be solved by the method of order completion. The solutions obtained can be assimilated with Hausdorff continuous functions. The usual Navier-Stokes equations, as well as their various modifications aiming at a realistic modelling are included as particular cases. The same holds for the critically important constitutive relations in various branches of Continuum Mechanics. The solution method does not involve functional analysis, nor various Sobolev or other spaces of distributions or generalized functions. The general and type independent existence and regularity results regarding solutions presented here are a first in the literature.

研究の動機と目的

• ソボレフ空間や分布的枠組みに依存せずに、非線形PDE系の一般化された存在性および正則性理論を確立すること。
• 古典的解を超えた一般化解を、ハウスドルフ連続関数の空間に含まれる解として定式化すること。
• この手法がナビエ＝ストークス方程式や連続体力学における構成則などの系に普遍的に適用可能であることを示すこと。
• 特にC^m(Ω)およびC^0(Ω)の関数空間の順序完備を用いた、PDEの解法の構成的枠組みを提供すること。
• ハウスドルフ連続関数を用いた連続関数空間のデデキンド順序完備の構造を明確にすること。

提案手法

• 元来オーバーブッゲンバーガーとロージングァーによって開発された順序完備技法を用い、古典的PDE作用素を一般化解空間へ拡張する。
• 古典的PDE作用素T(x,D): C^m(Ω) → C^0(Ω)を、拡張作用素T: M^m_T(Ω) → M^0(Ω)に埋め込む可換図式を構築し、全射性を保証する。
• 解空間M^m_T(Ω)は、閉かつ非稠密な不連続性集合を持つ区分的C^m関数の空間C^m_{nd}(Ω)のデデキンド順序完備として定義される。
• 解は、ハウスドルフ連続関数の空間H(Ω)における区間値関数として表現され、これは順序完備であり、連続関数を一般化する。
• Sobolev空間や分布などの関数解析的道具を回避し、代わりに順序論的構成と区間値表現に依存する。
• ハウスドルフ連続関数が稠密部分集合における値によって一意に定まるという事実を活用し、解の一意性と安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 不連続係数を有する非線形PDEの広範なクラスは、ソボレフ空間や分布的枠組みを用いずに解けるか？
• RQ2 順序完備によって得られる一般化解の性質は何か？ また、古典的解とはどのように関係するか？
• RQ3 ハウスドルフ連続関数を用いて、C^m(Ω)のデデキンド順序完備を効果的に特徴づけられるか？
• RQ4 この手法によって得られる解は、PDEの種別に依存しない普遍的な正則性を有するか？
• RQ5 古典的作用素が全射でない非線形PDEに対し、順序完備法はどのように存在性と全射性を保証するか？

主な発見

• F(x, U, D^pU) = f(x)の形をしたすべての非線形PDEに対して、Fとfが jointly 連続である限り、解の存在が保証される。これは古典的解が存在しない場合でも同様に成り立つ。
• 解がハウスドルフ連続関数であることが示され、これは連続関数の自然な一般化であり、普遍的な正則性を有する。
• ハウスドルフ連続関数の空間H(Ω)はデデキンド順序完備かつ順序完備であり、順序論的完備を用いた解の構成が可能である。
• 各ε > 0に対して、ハウスドルフ連続関数の不連続性集合は閉かつ非稠密であるため、解は不連続性が存在しても良好に振る舞う。
• Sobolev空間、分布、超関数などの関数解析的道具を回避し、純粋に順序論的枠組みによる解法フレームワークを提供する。
• この手法は、ナビエ＝ストークス方程式や連続体力学における構成則を含む系に、非線形性や係数の不連続性にかかわらず普遍的に適用可能である。