[論文レビュー] The uniform order convergence structure on ML(X)

Jan Harm van der Walt|ArXiv.org|Aug 21, 2007

Fractional Differential Equations Solutions参考文献 23被引用数 8

ひとこと要約

本稿では、非有界な正規下半連続関数の空間 ℳℒ(X) に一様収束構造を導入し、順序収束構造を誘導するものであり、これにより ℳℒ(X) の完備化が『ほぼ有限』な正規下半連続関数の空間として得られる。この構成により、順序完備化法の位相的枠組みが提供され、非線形偏微分方程式（特に初期値を伴う3次元ナビエ＝ストークス方程式を含む）に対する一般化解の存在が保証される。

ABSTRACT

The aim of this paper is to set up appropriate uniform convergence spaces in which to reformulate and enrich the Order Completion Method for nonlinear PDEs. In this regard, we consider an appropriate space ML(X) of normal lower semi-continuous functions. The space ML(X)= appears in the ring theory of C(X), and its various extensions, as well as in the theory of nonlinear PDEs. We define a uniform convergence structure on ML(X) such that the induced convergence structure is the order convergence structure. The uniform convergence space completion of ML(X) is constructed as the set of normal lower semi-continuous functions. It is then shown how these ideas may be applied to solve nonlinear PDEs. In particular, we construct generalized solutions to the Navier-Stokes equations in three spatial dimensions, subject to an initial condition.

研究の動機と目的

• 非線形偏微分方程式の順序完備化法を一様収束空間の枠組みで再定式化すること。
• 空間の順序的性質に基づいて、ℳℒ(X) 上に順序収束構造を誘導する一様収束構造を定義すること。
• ℳℒ(X) の完備化を『ほぼ有限』な正規下半連続関数の空間として構成し、Dedekind完備化の位相的モデルを提供すること。
• この枠組みを用いて、初期条件を伴う3次元ナビエ＝ストークス方程式に対する一般化解の存在を示すこと。
• 古典的解、非古典的解、一般化解を一様な完備化に基づく解空間に統合すること。

提案手法

• 非線形偏微分方程式理論に関連する位相空間 X 上の正規下半連続関数の空間 ℳℒ(X) を定義する。
• 空間の順序論的性質のみを用いて、ℳℒ(X) 上に一様収束構造を構成し、それが順序収束構造を誘導することを保証する。
• ℳℒ(X) の一様収束空間としての完備化が、『ほぼ有限』な正規下半連続関数の空間 ℒ(X) に一致することを証明する。
• ℒ(X) が ℳℒ(X) の Dedekind 完備化であることを活用し、順序完備化法のための位相的モデルを確立する。
• ナビエ＝ストークス方程式にこの枠組みを適用する際、商空間 𝒳ₜ₀ 内で近似解のコーシー列を構成し、完備化空間内に一般化解を得る。
• 写像 𝔾ₜ₀♯ の一様連続性を活用して、完備化空間内での一般化解の存在および一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 空間の順序的性質のみから、ℳℒ(X) 上に順序収束構造を誘導する一様収束構造を定義可能か？
• RQ2 この一様収束構造のもとでの ℳℒ(X) の完備化の位相的性質は何か？
• RQ3 この構造を用いて、不規則的または不連続な解をもつ非線形偏微分方程式の解概念をどのように一般化できるか？
• RQ4 この枠組みを用いて、初期条件を伴う3次元ナビエ＝ストークス方程式に対する一般化解を構成可能か？
• RQ5 完備化空間内の一般化解は、元の関数空間内の古典的解および非古典的解と整合的か？

主な発見

• 空間の順序構造のみに依拠して、非自明な一様収束構造が ℳℒ(X) 上に構成され、それが順序収束構造を誘導することが示された。
• この一様収束構造のもとでの ℳℒ(X) の完備化は、『ほぼ有限』な正規下半連続関数の空間 ℒ(X) に一致する。
• ℒ(X) が ℳℒ(X) の Dedekind 完備化であることが証明され、順序完備化法のための位相的モデルが確立された。
• 初期条件を伴う3次元ナビエ＝ストークス方程式の一般化解は、完備化空間内に存在し、一意的である。一般化解はコーシー超フィルターの同値類として表現される。
• 一般化解空間は、すべての古典的解および非古典的解を含んでおり、既存の解概念と整合的であることが保証された。
• この方法は任意の次元 n ≥ 2 に一般化可能であり、ナビエ＝ストークス方程式に限らず、非線形偏微分方程式への広範な適用可能性を示した。