[論文レビュー] Approximate $(σ-τ)$-Contractibility

Mohammad Sal Moslehian|arXiv (Cornell University)|Jan 2, 2005

Functional Equations Stability Results参考文献 8被引用数 9

ひとこと要約

この論文は、直接法とGâvruta型の技術を用いて、ノルム代数からバナッハ双加群への$(\sigma-\tau)$-導分の一般化されたハイヤース–ウラム–ラシア安定性を確立する。主な貢献は、バナッハ代数が$(\sigma-\tau)$-可縮であることと、近似的に$(\sigma-\tau)$-可縮であることの同値性を示したことである。これは、自己準同型$\sigma$と$\tau$を用いた一般化された導分への安定性およびコホロジー的概念の拡張を意味する。結果は、同様の同値性を有する$(\sigma-\tau)$-可解性に対しても拡張可能である。

ABSTRACT

In this paper, the generalized Hyers--Ulam--Rassias stability of $(σ-τ)$-derivations on normed algebras into Banach bimodules is established. We introduce the notion of approximate $(σ-τ)$-contractibility and prove that a Banach algebra is $(σ-τ)$-contractible if and only if it is approximately $(σ-τ)$-Contractible.

研究の動機と目的

• ノルム代数からバナッハ双加群への$(\sigma-\tau)$-導分に対するハイヤース–ウラム–ラシア安定性理論を一般化すること。
• 古典的可縮性の一般化として、$(\sigma-\tau)$-可縮性と近似的な$(\sigma-\tau)$-可縮性の概念を導入し、それらを研究すること。
• 近似的な$(\sigma-\tau)$-可縮性を用いた$(\sigma-\tau)$-可縮性の特徴づけを確立し、バナッハ代数においてこれらが同値であることを示すこと。
• これらの結果を、同様の同値性を有する$(\sigma-\tau)$-可解性およびその近似的な類似概念へと拡張すること。
• スケーリングされた関数反復を含む極限過程を用いた直接法を用いて、$(\sigma-\tau)$-導分の安定性フレームワークを提供すること。

提案手法

• 論文は、ハイヤースとGâvrutaにインspiredされた直接法を用い、安定性不等式を満たす近似的な写像$f$から一意的な$(\sigma-\tau)$-導分$d$を構成する。
• 極限過程を定義する：$d(a) = \lim_{n \to \infty} \frac{f(2^n a)}{2^n}$。これは、系列$\widetilde{\varphi}(a,a) = \frac{1}{2} \sum_{n=0}^{\infty} 2^{-n} \varphi(2^n a, 2^n a)$の収束のおかげで収束する。
• 安定性条件は、$\widetilde{\varphi}(a,b) < \infty$を満たす制御関数$\varphi: A \times A \to [0, \infty)$を用いて定式化され、$f$に近い一意的な線形かつ$(\sigma-\tau)$-導分の存在を保証する。
• 証明では、$\sigma$および$\tau$が近似的な写像$g_1$と$g_2$の極限として得られることを示し、$k=1,2$に対して$\|g_k(a) - \sigma(a)\| \leq \widetilde{\varphi}(a,a)$が成り立つ。これにより、導分構造が保存される。
• 近似的な$(\sigma-\tau)$-導分が有界な$(\sigma-\tau)$-導分の小さな摂動として生じることを示し、代数が$(\sigma-\tau)$-可縮であればその導分が内因的であることを示すことにより、$(\sigma-\tau)$-可縮性と近似的な$(\sigma-\tau)$-可縮性の同値性を証明する。
• $d$が有界な$(\sigma-\tau)$-導分であれば、ある$x \in X$が存在して$d(a) = x\sigma(a) - \tau(a)x$と書けることを使い、$\|x\sigma(a) - \tau(a)x - f(a)\| \leq \alpha$から近似的な内因的構造が導かれる。

実験結果

リサーチクエスチョン

• RQ1 ノルム代数からバナッハ双加群への近似的な$(\sigma-\tau)$-導分が、真の$(\sigma-\tau)$-導分に安定化するための条件は何か？
• RQ2 近似的な$(\sigma-\tau)$-可縮性を用いた$(\sigma-\tau)$-可縮性の特徴づけは可能か？
• RQ3 スケーリングと極限過程を含む直接法を用いて、$(\sigma-\tau)$-導分の安定性を確立できるか？
• RQ4 バナッハ代数の文脈において、$(\sigma-\tau)$-可解性とその近似的なバージョンとの関係は何か？
• RQ5 近似的な写像$f$が一点で連続であれば、得られる$(\sigma-\tau)$-導分$d$も連続になるか？

主な発見

• すべての$a \in A$に対して$\|f(a) - d(a)\| \leq \widetilde{\varphi}(a,a)$を満たす一意的な$(\sigma-\tau)$-導分$d$が存在する。ここで$\widetilde{\varphi}(a,a) = \frac{1}{2} \sum_{n=0}^{\infty} 2^{-n} \varphi(2^n a, 2^n a)$である。
• もし$f$が一点で連続であれば、得られる$(\sigma-\tau)$-導分$d$は$A$上で連続である。これにより、安定性結果が位相的性質を保存することが保証される。
• 論文は、バナッハ代数$A$が$(\sigma-\tau)$-可縮であることと、近似的に$(\sigma-\tau)$-可縮であることの同値性を証明した。これは根本的な同値性を確立する。
• $\varphi(a,b) = \alpha + \beta(\|a\|^p + \|b\|^p)$（$p < 1$）の場合、系列$\widetilde{\varphi}(a,b)$は$\alpha + \beta \frac{\|a\|^p + \|b\|^p}{2 - 2^p}$に収束する。これは具体的な制御関数のクラスを提供する。
• $C^*$-代数の場合、$A$を生成する集合$S$がユニタリ群または$A$の正の部分集合であれば、安定性結果が成り立つ。これにより、重要な作用素代数への適用範囲が拡張される。
• $(\sigma-\tau)$-可解性に対しても同様の同値性が成り立つ：$A$は$(\sigma-\tau)$-可解であるための必要十分条件は、$A$が近似的に$(\sigma-\tau)$-可解であることである。