[論文レビュー] Fixed-Circle Problem on S-Metric Spaces with a Geometric Viewpoint

Nihal Yılmaz Özgür, Ni̇hal Taş|arXiv (Cornell University)|Apr 28, 2017

Fixed Point Theorems Analysis参考文献 7被引用数 5

ひとこと要約

本稿は、三変数距離関数を備えた距離空間の一般化であるS-距離空間における固定円問題を導入し、幾何的および収縮的条件を用いて、自己写像が円を固定するための存在および一意性定理を確立する。主な貢献は、特定の不等式が満たされる場合に、円 $ C_{x_0,r}^S $ が固定されることを保証する新規の固定円定理（定理3.6）である。この定理は、$ R_S(x,x_0) $ および $ \mathcal{S}(Tx,Tx,x_0) $ を含む条件を満たす自己写像が、円を固定することを示しており、例ではこのような写像が閉球や無限個の円を固定することも可能であることを示している。

ABSTRACT

Recently, a new geometric approach which is called the fixed-circle problem has been gained to fixed-point theory. The problem is introduced and studied using different techniques on metric spaces. In this paper, we consider the fixed-circle problem on $S$-metric spaces. We investigate existence and uniqueness conditions for fixed circles of self-mappings on an $S$-metric space. Some examples of self-mappings having fixed circles are also given.

研究の動機と目的

• S-距離空間における固定点理論を拡張し、三変数距離関数を備えた距離空間の一般化としての固定円問題を導入すること。
• S-距離空間における自己写像の下で、固定円の存在および一意性を保証する十分条件を確立すること。
• 一つの自己写像が無限個の円を固定する場合を調査すること。
• 幾何的解釈および具体的な例（Mathematicaによる可視化を含む）を提供し、理論的結果を明確にすること。

提案手法

• S-距離空間における固定円 $ C_{x_0,r}^S $ の概念を導入し、これは $ \mathcal{S}(x,x,x_0) = r $ を満たす点 $ x $ の集合として定義される。
• 点 $ x $, $ x_0 $, $ Tx $ を含む5つのS-距離項の最大値として、重要な関数 $ R_S(x,x_0) $ を定義し、$ \mathcal{S}(x,x,Tx) $ の上界として用いる。
• 収縮的条件を提案：すべての $ x $ について $ Tx \neq x $ ならば $ \mathcal{S}(x,x,Tx) < R_S(x,x_0) $ が成り立つことにより、固定円の存在が保証される。
• 与えられた条件下で、$ T(C_{x_0,r}^S) \subset C_{x_0,r}^S $ および $ T(B_S[x_0,r]) \subset B_S[x_0,r] $ を証明することで、一意性および不変性を確立する。
• 矛盾を導くために、補題2.1（$ \mathcal{S}(x,x,y) $ の対称性）および補題2.2（収束とコーシー列の同値性）を用い、固定点を証明する。
• 明示的な例（例：$ \mathbb{R} $ 上の区分的定義された $ T $）を用いた構成的アプローチにより、定理の妥当性を検証し、固定円および固定球の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 S-距離空間における自己写像が、単一の点ではなく、完全な円を固定するための条件は何か？
• RQ2 S-距離空間における固定円の存在を保証するための幾何的および収縮的条件をどのように定式化できるか？
• RQ3 一つの自己写像が複数の円を固定できる場合、無限個の円を固定する条件は何か？
• RQ4 提案された定理の下で、S-距離空間における固定円と固定閉球の関係は何か？
• RQ5 既存の固定点結果と比較して、新しい定理は、不連続または非収縮的写像への適用を含め、一般性と適用範囲においてどのように優れているか？

主な発見

• 定理3.6は、すべての $ x $ について $ Tx \neq x $ ならば $ \mathcal{S}(x,x,Tx) < R_S(x,x_0) $ が成り立ち、かつ $ \mathcal{S}(Tx,Tx,x_0) = r = \min\{\mathcal{S}(Tx,Tx,x) : Tx \neq x\} $ であるならば、$ C_{x_0,r}^S $ は $ T $ の固定円であることを確立する。
• 例3.11における自己写像 $ T $ は、円 $ C_{0,4}^S = \{x \in \mathbb{R} : |x| = 2\} $ および閉球 $ B_S[0,4] = \{x \in \mathbb{R} : |x| \leq 2\} $ を固定しており、定理3.6のすべての条件を満たしている。
• 例3.11は、1つの自己写像が無限個の円を固定できることを示しており、$ T $ はすべての $ C_{0,\rho}^S $（$ \rho \leq 4 $）を固定しているが、定理3.6が捉えるのは $ C_{0,4}^S $ のみである。
• 条件 $ \mathcal{S}(Tx,Tx,x_0) = r $ は、$ T $ が $ C_{x_0,r}^S $ 上の点を同じ円へ写すことにより、不変性が保たれることを保証する。
• 例3.12は、条件(3.8)を満たさない場合でも、写像が複数の円（例えばすべての $ C_{x_0,\rho}^S $ で $ \rho \leq \mu $）を固定できることを示しており、定理3.6の逆は成り立たないことを証明している。
• 本稿は、S-距離空間における固定円定理が固定点理論を一般化でき、活性化関数を含むニューラルネットワークにおける不連続写像への応用も可能であることを確認している。