[論文レビュー] Extending Mappings between Posets

Elemér E Rosinger|ArXiv.org|Sep 8, 2006

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

ひとこと要約

本稿では、部分順序集合（poset）間の写像をそのデデキンド順序完備化へ自然に拡張する複数の方法を提示し、順序構造を保存するとともに、非線形偏微分方程式（PDE）の解法を可能にする。共終部分集合、一般化写像、および積集合に基づく構成を用いた拡張法を提案し、それらの関係を証明。特に、$φ^\sharp$ と呼ばれる1つの拡張が、初期値・境界値条件を伴う非線形PDEの広範なクラスに対して最適であることを示す。

ABSTRACT

A variety of possible extensions of mappings between posets to their Dedekind order completion is presented. One of such extensions has recently been used for solving large classes of nonlinear systems of partial differential equations with possibly associated initial and/or boundary value problems.

研究の動機と目的

• poset間の写像をそのデデキンド順序完備化へ自然かつ順序論的に整合性のある方法で拡張すること。
• 非線形PDEへの応用を念頭に、本質的な順序論的構造を保存する写像拡張の枠組みを提供すること。
• 共終部分集合や像の積集合に基づく複数の拡張法を比較・関係づけること。
• これらの拡張が単調性および順序同型性を保存する条件を確立すること。
• 特定の拡張法（$\varphi^\sharp$）が、初期および境界条件を伴う非線形PDEの広範なクラスを解く上で有効であることを示すこと。

提案手法

• 順序完備化における上界・下界の閉包を用いて、$\varphi^\sharp: \mathcal{P}(X) \to Y^\#$ を $\varphi^\sharp(A) = (\varphi(A))^{ul}$ で定義する。
• 情報損失を軽減するために、$A \subseteq X$ の共終部分集合に基づく、$\widetilde{\varphi}$, $\varphi^L$, および $\overline{\varphi}$ という代替拡張を導入する。
• $L(A) \subseteq A$ かつ $A$ において共終であるような共終写像 $L: \mathcal{P}(X) \to \mathcal{P}(X)$ を用い、$\varphi^L(A) = \bigcap_{a \in L(A)} (\varphi([a> \cap A))^{ul}$ を定義する。
• すべての $A$ の共終部分集合を用いた一般化された拡張として、$\overline{\varphi}(A) = \bigcap_{B \text{ cofinal in } A} (\varphi(B))^{ul}$ を定義する。
• $X \xrightarrow{\varphi} Y$ と $X^\# \xrightarrow{\varphi^\diamondsuit} Y^\#$ の間の可換図式を確立し、$\varphi^\diamondsuit$ が $\varphi$ を拡張することを保証する。
• 単調性や拡張の包含関係といった順序論的性質を証明し、特に $\overline{\varphi}(A) \subseteq \widetilde{\varphi}(A) \subseteq \varphi^\sharp(A)$ を示す。

実験結果

リサーチクエスチョン

• RQ1 poset $X$ と $Y$ 間の写像 $\varphi: X \to Y$ を、それぞれのデデキンド順序完備化 $X^\#$ と $Y^\#$ へ自然に拡張する方法は何か？
• RQ2 共終部分集合、像の積、一般化写像に基づく異なる拡張法は、情報保持性および順序構造の保存性の観点でどのように比較できるか？
• RQ3 $\varphi^\sharp$ が初期値または境界値条件を伴う非線形PDEを解く際に最適である条件は何か？
• RQ4 $\widetilde{\varphi}$, $\varphi^L$, $\overline{\varphi}$, および $\varphi^\sharp$ の拡張の間の関係は何か？
• RQ5 拡張 $\varphi^\diamondsuit$ が元の写像 $\varphi$ の単調性または順序同型性を保存するのはどのような場合か？

主な発見

• $\varphi^\sharp(A) = (\varphi(A))^{ul}$ は、提案された拡張の中で最大であり、すべての $A \subseteq X$ に対して $\overline{\varphi}(A) \cup \widetilde{\varphi}(A) \cup \varphi^L(A) \subseteq \varphi^\sharp(A)$ を満たす。
• 任意の共終写像 $L$ に対して、拡張 $\varphi^L$ は $\widetilde{\varphi}$ と一致する。これにより $\widetilde{\varphi} = \varphi^L$ が証明される。
• $A \subseteq X$ が有向集合であれば、$\overline{\varphi}(A) \subseteq \widetilde{\varphi}(A)$ が成り立つ。これは、有向性の下で一般化拡張 $\overline{\varphi}$ が $\widetilde{\varphi}$ よりも小さいことを示している。
• $\varphi$ が単調増加であれば、$\varphi^\sharp$ は $X^\#$ への $\varphi$ の拡張であり、$X \to X^\#$ と $Y \to Y^\#$ の図式は可換である。
• $\varphi$ が順序同型埋め込み（OIE）であれば、$\varphi^\sharp$ を $X^\#$ に制限した写像もまたOIEであり、完備化において順序構造を保存する。
• $\varphi^\sharp$ は、初期値および/または境界値問題を伴う非線形PDEの広範なクラスの解法に成功裏に応用されており、先行研究[4,1,5–7]で確立されている。