[论文解读] 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

一句话总结

本文通过广义 Jensen 型函数方程，建立了 $J^*$-代数中 $J^*$-导子的 Hyers–Ulam–Rassias 稳定性与超稳定性。它采用不动点替代法，证明了在特定控制条件下，存在唯一一个逼近给定映射的 $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.

研究动机与目标

• 研究在广义 Jensen 型函数方程控制下的扰动下，$J^*$-代数中 $J^*$-导子的稳定性。
• 建立近似 $J^*$-导子可被精确 $J^*$-导子逼近的条件。
• 利用不动点替代法证明 $J^*$-导子的超稳定性。
• 推导给定映射与唯一 $J^*$-导子之间逼近误差的显式定量界。
• 将 Hyers–Ulam–Rassias 稳定性结果推广至 $J^*$-代数的非结合设定。

提出的方法

• 以广义 Jensen 型函数方程 $ r f\left(\frac{x+y}{r}\right) + r f\left(\frac{x-y}{r}\right) = 2f(x) $（其中 $ r > 1 $）为核心方程，控制扰动行为。
• 在从 $\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{ 对所有 } a \in \mathcal{A} \} $，以度量逼近误差。
• 在映射空间上引入严格压缩算子 $ J(h)(a) = \frac{1}{r} h(ra) $，其利普希茨常数 $ L < 1 $，以确保收敛至不动点。
• 利用条件 $ \phi(a,b,c) \leq rL \phi(\frac{a}{r}, \frac{b}{r}, \frac{c}{r}) $ 确保算子 $ J $ 的压缩性。
• 证明算子 $ J $ 的不动点 $ D $ 是唯一满足 $ \|f(a) - D(a)\| \leq \frac{L}{1-L} \phi(a,0,0) $ 的 $ J^* $-导子。

实验结果

研究问题

• RQ1 在何种条件下，满足广义 Jensen 型方程的近似解的映射 $ f: \mathcal{A} \to \mathcal{A} $ 必为真正的 $ J^* $-导子？
• RQ2 能否利用不动点替代法证明在 $J^*$-代数中，逼近给定映射的 $J^*$-导子的存在性与唯一性？
• RQ3 近似 $J^*$-导子与精确 $J^*$-导子之间的逼近误差的定量界是什么？
• RQ4 稳定性结果是否可推广至超稳定性情形，即近似解必为精确解？
• RQ5 结果如何将经典 Hyers–Ulam–Rassias 稳定性推广至 $J^*$-代数的非结合结构？

主要发现

• 若 $ \phi $ 满足压缩条件 $ \phi(a,b,c) \leq rL \phi(\frac{a}{r}, \frac{b}{r}, \frac{c}{r}) $ 且 $ L < 1 $，则存在唯一 $ J^* $-导子 $ D $，使得对所有 $ a \in \mathcal{A} $，有 $ \|f(a) - D(a)\| \leq \frac{L}{1-L} \phi(a,0,0) $。
• 不动点方法确保序列 $ \frac{1}{r^n} f(r^n a) $ 对所有 $ a \in \mathcal{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^* $-导子行为。
• 结果将经典稳定性定理推广至 $ J^* $-代数，即 $ C^* $-代数的非结合推广，扩展了 Hyers–Ulam–Rassias 稳定性的适用范围。