[論文レビュー] Common coupled fixed point theorems in $C^*$-algebra-valued metric spaces

Tianqing Cao, Qiaoling Xin|arXiv (Cornell University)|Jan 26, 2016

Fixed Point Theorems Analysis参考文献 17被引用数 4

ひとこと要約

本稿は、完備な $C^*$-代数値距離空間におけるさまざまな収縮条件の下で、共通のカップル固定点定理を確立し、古典的固定点理論を一般化する。主な貢献は、$C^*$-代数における作用素論的構造を活用して、Fredholm非線形積分方程式の解の存在および一意性を示すことにある。

ABSTRACT

In this paper, we prove some common coupled fixed point theorems for mappings satisfying different contractive conditions in the context of complete $C^*$-algebra-valued metric spaces. Moreover, the paper provides an application to prove the existence and uniqueness of a solution for Fredholm nonlinear integral equations.

研究の動機と目的

• ノルム空間および距離空間を一般化する$C^*$-代数値距離空間へのカップル固定点理論の拡張を図ること。
• 正の元を含む$C^*$-代数における異なる収縮条件の下で、新たな共通カップル固定点定理を確立すること。
• これらの定理を用いて、Fredholm非線形積分方程式の解の存在および一意性を示す、画期的な応用を提供すること。
• 錐距離空間および順序付き距離空間における先行研究を一般化するため、構造を$C^*$-代数に埋め込むこと。
• $C^*$-代数値距離の有用性を、作用素論的固定点法を用いて非線形積分方程式を解くことによって示すこと。

提案手法

• 本稿は、単位的$C^*$-代数における正の錐構造を用いて$C^*$-代数値距離を定義し、標準的な距離を一般化する。
• 正の元 $a, b \in \mathcal{A}_+^\prime$ を含む収縮条件を導入し、$\|a\| < 1/2$ または $\|a\| + \|b\| < 1$ を満たすことで、距離空間における収束を保証する。
• 証明は、$C^*$-代数値距離空間の完備性および正の元のスペクトル性質に依存する。
• 重要な構成として、$L^\infty(E)$ の関数を $L^2(E)$ 上の有界線形作用素へ写像する手法を提示し、乗法作用素を介して$C^*$-代数値距離を構成する。
• 関数 $F: X \times X \to X$ は、核 $K_1 \geq 0$ および $K_2 \leq 0$ を含む積分作用素により定義され、パrameter $k \in (0, 1/2)$ を用いたリプシッツ型の制御が施される。
• 作用素 $M_{|F(x,y)-F(u,v)|}$ のノルムは、$k\|x-u\|_\infty + k\|y-v\|_\infty$ で有界であり、$C^*$-代数的意味での収縮を示す。

実験結果

リサーチクエスチョン

• RQ1 一般化された収縮条件の下で、$C^*$-代数値距離空間における共通カップル固定点定理を確立できるか？
• RQ2 このような固定点定理を用いて、非線形積分方程式の解の存在および一意性を示すにはどうすればよいか？
• RQ3 $C^*$-代数における正の元およびスペクトルノルムが、収束および収縮を保証するために果たす役割は何か？
• RQ4 $C^*$-代数値距離の構造は、$L^\infty$ 空間における積分作用素の振る舞いを捉えることができるか？
• RQ5 核および非線形項に課されるどのような条件が、$C^*$-代数値距離における収縮を保証するか？

主な発見

• 本稿は、$\|a\| < 1/2$ または $\|a\| + \|b\| < 1$ を満たす $a, b \in \mathcal{A}_+^\prime$ を含む収縮条件を満たす写像について、共通カップル固定点の存在および一意性を証明する。
• 特に $k \in (0, 1/2)$ の下で、仮定 (i)-(iii) の下で、Fredholm非線形積分方程式 (2.28) の解が存在し、一意的である。
• 作用素 $M_{|F(x,y)-F(u,v)|}$ のノルムは、$k\|x-u\|_\infty + k\|y-v\|_\infty$ で有界であり、$C^*$-代数値距離における収縮を保証する。
• 写像 $F$ は、$C^*$-代数値距離空間において収縮写像であることが示され、収縮係数 $a = \sqrt{k}1_{B(L^2(E))}$ は $\|a\| < 1/\sqrt{2}$ を満たす。
• $d(f,g) = M_{|f-g|}$ を持つ空間 $(X, B(L^2(E)), d)$ は完備な $C^*$-代数値距離空間であり、固定点定理の適用が可能である。
• 積分方程式の解は $L^\infty(E)$ に属し、証明は積分核の有界性および $f$ と $g$ のリプシッツ連続性（定数 $k < 1/2$）に依存する。