[論文レビュー] On the stability of J$^*-$derivations

M‎. ‎Eshaghi Gordji, S. Shams+2 more|arXiv (Cornell University)|Jul 16, 2009

Functional Equations Stability Results参考文献 16被引用数 7

ひとこと要約

本稿では、一般化されたジェンセン型関数方程式を用いて、$J^*$-代数における$J^*$-導分のハイヤース–ウラム–ラシア安定性およびスーパー安定性を確立する。固定点代替法を用いて、特定の制御条件の下で与えられた写像を近似する一意な$J^*$-導分の存在を証明し、リプシッツ定数およびノルム不等式から導かれる定量的境界を提示する。

ABSTRACT

In this paper, we establish the stability and superstability of $J^*-$derivations in $J^*-$algebras for the generalized Jensen--type functional equation $$rf(\frac{x+y}{r})+rf(\frac{x-y}{r})= 2f(x).$$ Finally, we investigate the stability of $J^*-$derivations by using the fixed point alternative.

研究の動機と目的

• 一般化されたジェンセン型関数方程式に従う摂動によって支配される$J^*$-代数における$J^*$-導分の安定性を調査すること。
• 近似的に$J^*$-導分である写像が、正確な$J^*$-導分によって近似可能となる条件を確立すること。
• 固定点代替法を用いて、$J^*$-導分のスーパー安定性を証明すること。
• 与えられた写像と一意な$J^*$-導分との間の近似誤差に対する明示的な定量的境界を導出すること。
• 古典的なハイヤース–ウラム–ラシア安定性の結果を、$J^*$-代数の非結合的構造へと拡張すること。

提案手法

• 摂動を支配する核心方程式として、$ r > 1 $ を満たす一般化されたジェンセン型関数方程式 $ r f\left(\frac{x+y}{r}\right) + r f\left(\frac{x-y}{r}\right) = 2f(x) $ を用いる。
• 写像 $\mathcal{A}$ から $\mathcal{A}$ への写像の空間における完備な一般化された距離空間において、固定点代替定理（CădariuとRadu）を適用する。
• 近似誤差を測る一般化された距離 $ d(f,h) = \inf\{ C \in \mathbb{R}^+ : \|f(a) - h(a)\| \leq C \phi(a,0,0) \text{ for all } a \in \mathcal{A} \} $ を定義する。
• リプシッツ定数 $ L < 1 $ を持つ厳密に収縮的写像 $ J(h)(a) = \frac{1}{r} h(ra) $ を写像の空間上に導入し、固定点への収束を保証する。
• 写像 $ J $ の収縮的性質を保証するための条件 $ \phi(a,b,c) \leq rL \phi(\frac{a}{r}, \frac{b}{r}, \frac{c}{r}) $ を用いる。
• 固定点 $ D $ が、$ \|f(a) - D(a)\| \leq \frac{L}{1-L} \phi(a,0,0) $ を満たす一意な$J^*$-導分であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 写像 $ f: \mathcal{A} \to \mathcal{A} $ が一般化されたジェンセン型方程式を近似的に満たすとき、どのような条件下で真の$J^*$-導分となるか？
• RQ2 固定点代替法を用いて、$J^*$-代数における与えられた写像を近似する$J^*$-導分の存在と一意性を証明できるか？
• RQ3 近似的に$J^*$-導分である写像と正確な$J^*$-導分との間の近似誤差に対する定量的境界は何か？
• RQ4 安定性の結果は、近似的な解が必然的に正確な解であるスーパー安定性の状況に拡張できるか？
• RQ5 結果は、$J^*$-代数の非結合的構造へと古典的なハイヤース–ウラム–ラシア安定性をどのように一般化するか？

主な発見

• 条件 $ \phi(a,b,c) \leq rL \phi(\frac{a}{r}, \frac{b}{r}, \frac{c}{r}) $ および $ L < 1 $ を満たす $ \phi $ の下で、任意の $ a \in \mathcal{A} $ に対して $ \|f(a) - D(a)\| \leq \frac{L}{1-L} \phi(a,0,0) $ を満たす一意な$J^*$-導分 $ D $ が存在する。
• 固定点法により、任意の $ a \in \mathcal{A} $ に対して、列 $ \frac{1}{r^n} f(r^n a) $ が一意な$J^*$-導分 $ D(a) $ に収束することが保証される。
• 特定のケース $ \phi(a,b,c) = \theta(\|a\|^p + \|b\|^p + \|c\|^p) $ において $ p \in (0,1) $ が成り立つとき、近似誤差は $ \|f(a) - D(a)\| \leq \frac{2^p \theta}{2 - 2^p} \|a\|^p $ で有界である。
• スーパー安定性が確立された：$ f $ が関数不等式を満たし、かつすべての $ s > 1 $ に対して $ f(sa) = s f(a) $ を満たすならば、$ f $ は必然的に$J^*$-導分である。
• 条件 $ \lim_{n \to \infty} s^{-n} \phi(s^n a, s^n b, s^n c) = 0 $ が成り立つことで、摂動が極限において消失し、正確な$J^*$-導分の性質が得られる。
• 結果は、$C^*$-代数の非結合的一般化たる$J^*$-代数へと古典的安定性定理を一般化し、ハイヤース–ウラム–ラシア安定性の適用範囲を拡張する。