[論文レビュー] Hausdorff continuous solutions of nonlinear PDEs through the order completion method

Roumen Anguelov, Elemér E Rosinger|ArXiv.org|Jun 25, 2004

Fuzzy Systems and Optimization参考文献 6被引用数 26

ひとこと要約

本稿では、ユークリッド領域上の滑らかな関数のデデキンド順序完備化を用いて、可測関数よりも正則性の高いヒルベルト連続関数としての解を構成する、非線形PDEのための新規な手法を提案する。従来の研究では可測関数の解しか保証できなかったが、本手法では、分布論や関数解析の道具に依存せずに、より正則性の高い解が得られることを示している。

ABSTRACT

It was shown in 1994, in Oberguggenberger & Rosinger, that very large classes of nonlinear PDEs have solutions which can be assimilated with usual measurable functions on the Euclidean domains of definition of the respective equations. In this paper the regularity of these solutions is significantly improved by showing that they can in fact be assimilated with Hausdorff continuous functions. The method of solution of PDEs is based on the Dedekind order completion of spaces of smooth functions which are defined on the domains of the given equations.

研究の動機と目的

• 非線形PDEの解の正則性を、可測関数よりも向上させること。
• 非線形PDEの解が、可測関数よりも正則性の高いヒルベルト連続関数に統合可能であることを確立すること。
• 分布論や関数解析の道具に依存せず、滑らかな関数空間のデデキンド順序完備化に基づく解法を開発すること。
• ヒルベルト連続関数の空間が順序完備であること、したがって順序論的極限によって解が構成可能であることを示すこと。
• 不連続な非線形項を有するPDEに対しても、その不連続性集合が任意の正のルベーグ測度を持つ場合にまで、順序完備化法の適用範囲を拡張すること。

提案手法

• 開領域 Ω ⊆ ℝⁿ 上で定義された滑らかな関数空間のデデキンド順序完備化を用いる。
• 解は、稠密部分集合上で定義されたBaire作用素とグラフ完備化作用素を用いた順序完備化における極限として構成される。
• 値が有界または無限区間である区間値関数 𝕀ℝ̅ を用いるフレームワークで、実数直線 ℝ̅ 上の全順序を拡張する点ごとの半順序が導入される。
• ヒルベルト連続関数は、稠密部分集合上で連続関数の点ごとの極限として定義される区間値関数であり、その部分集合上で連続性が保たれる。
• 区間値関数における点ごとの順序に関して、Baire作用素とグラフ完備化作用素の単調性に依存する。
• ヒルベルト連続関数の空間 ℍ(Ω) の順序完備性により、順序論的意味でのコーシー列の極限として解が存在することが保証される。

実験結果

リサーチクエスチョン

• RQ1 非線形PDEの解を、可測関数よりも正則性の高い関数として構成可能か？
• RQ2 順序完備化法を拡張して、解を可測関数ではなくヒルベルト連続関数として得られるか？
• RQ3 ヒルベルト連続関数の空間が順序完備であるか？ その場合、順序論的極限による解の構成が可能か？
• RQ4 不連続な非線形項を有するPDEに対しても、不連続性集合が閉かつ非稠密で正の測度を持つ場合に、この手法が適用可能か？
• RQ5 区間値関数と区間上の点ごとの順序を用いることで、分布論を用いずに非線形PDEを解く強固な枠組みが得られるか？

主な発見

• 開領域 Ω ⊆ ℝⁿ における非線形PDE T(x,D)u = f(x) の解は、可測関数よりも正則性の高いヒルベルト連続関数に統合可能である。
• この成果は、滑らかな関数のデデキンド順序完備化を用いることで達成され、その完備化はヒルベルト連続関数の空間 ℍ(Ω) によって実現される。
• 空間 ℍ(Ω) は順序完備であり、その部分空間 ℍ_bd(Ω)、ℍ_ft(Ω)、ℍ_nf(Ω) もデデキンド順序完備であるため、順序極限として解を構成可能である。
• この解法は、分布論、一般化関数、関数解析の道具を一切必要とせず、PDEに対して完全に順序論的アプローチを提供する。
• 不連続な非線形項 T(x,D)u を有するPDEに対しても、不連続性集合 Σ が閉かつ非稠密であれば、正のルベーグ測度であっても、フレームワークは対応可能である。
• グラフ完備化作用素 F(D,Ω,f) は、稠密部分集合 D ⊆ Ω 上の連続関数を Ω 上のヒルベルト連続関数に写像し、D 上で順序と連続性を保存する。