[論文レビュー] Stability of Derivations on Hilbert $C^*$-Modules

Maryam Amyari, Mohammad Sal Moslehian|arXiv (Cornell University)|Mar 21, 2006

Functional Equations Stability Results参考文献 12被引用数 3

ひとこと要約

本稿は、固定点法と制御関数を用いて、ヒルベルト $C^*$-加群上の導分のハイヤーズ＝ウラム＝ラシアス安定性を確立する。任意の近似的に導分関数方程式を満たす写像が、明示的な誤差境界（制御関数および指数パラメータに依存）によって正確な導分に近いことが示され、特に $p \in [0,1)$ および $p > 1$ の場合に有効である。主たる貢献は、定量的推定を伴うヒルベルト $C^*$-加群における導分の安定性に関する最初の結果である。

ABSTRACT

Consider the functional equation ${\mathcal E}_1(f) = {\mathcal E}_2(f) ({\mathcal E})$ in a certain framework. We say a function $f_0$ is an approximate solution of $({\mathcal E})$ if ${\mathcal E}_1(f_0)$ and ${\mathcal E}_2(f_0)$ are close in some sense. The stability problem is whether or not there is an exact solution of $({\mathcal E})$ near $f_0$. In this paper, the stability of derivations on Hilbert $C^*$-modules is investigated in the spirit of Hyers--Ulam--Rassias.

研究の動機と目的

• ヒルベルト $C^*$-加群の枠組みにおける導分のハイヤーズ＝ウラム＝ラシアス安定性を調査すること。
• バナッハ空間からヒルベルト $C^*$-加群へ、ラシアスタイプの安定性結果を拡張すること。ヒルベルト空間の一般化である。
• 導分関数方程式の近似解の近くに、一意な正確な導分が存在することを確立すること。
• 制御関数とノルムを用いて、近似導分と正確な導分との間の定量的誤差推定を提供すること。
• $p=1$ の安定性問題を解決していないことについて、未解決のまま残っていることを明らかにすること。

提案手法

• 著者らは、ヒルベルト $C^*$-加群からそれ自身への写像の空間に、完全な一般化された距離空間を備えた固定点代替定理を用いる。
• 一般化された距離と、関数 $f$ を $2f(x/2)$ に写像する作用素 $J_1$ を定義し、反復的近似を可能にする。
• 近似導分が正確な導分方程式からどれほど逸脱しているかを制御するため、制御関数 $\varphi$ を導入する。
• 反復列の収束を保証するため、条件 $\psi(x) \leq \frac{1}{2}L_1\psi(2x)$ および $0 \leq L_1 < 1$ を用いる。
• 列 $2^n f(2^{-n}x)$ の極限が、誤差境界 $\|f(x) - T_1(x)\| \leq \frac{1}{1 - L_1}\psi(x)$ を満たす一意な導分 $T_1$ に収束することが示される。
• 特に $\|x\|^p$ や $\|x\|^{p/2}\|y\|^{p/2}\cdots$ の混合項を含む制御関数を適用し、$p \in [0,1)$ および $p > 1$ に対して明示的な境界を得る。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト $C^*$-加群上の任意の近似導分が、ハイヤーズ＝ウラム＝ラシアス安定性枠組みにおいて正確な導分に近いかどうか。
• RQ2 制御関数と固定点技法を用いて、ヒルベルト $C^*$-加群上の導分の安定性を確立できるか。
• RQ3 近似導分とそれに対応する一意な正確な導分との間の明示的定量的誤差境界は何か。
• RQ4 誤差境界は、制御関数における指数 $p$ にどのように依存するか。特に $p \in [0,1)$ および $p > 1$ の場合に。
• RQ5 なぜ $p = 1$ の場合が現在の結果でカバーされていないのか。何が根本的に異なるのか。

主な発見

• $p \in [0,1)$ の場合、$\|x\|^p$ を含む制御関数を用いた近似導分方程式を満たす任意の写像 $f$ は、一意な導分 $T_0$ と距離 $\frac{\alpha + \beta 2^{1-p}\|x\|^p + \gamma 2^{-p}\|x\|^p}{2^{1-p} - 1}$ 以内に近接する。
• $p > 1$ の場合、誤差境界は $\frac{(\beta + \gamma/2)\|x\|^p}{2^{p-1} - 1}$ となり、$p$ が大きくなるにつれて誤差が減少することを示す。
• 固定点法により、$2^n f(2^{-n}x)$ の極限として一意な正確な導分 $T_1$ が存在し、収束は収縮条件 $\psi(x) \leq \frac{1}{2}L_1\psi(2x)$ の下で保証される。
• 固定点の議論が成立するためには、制御関数 $\varphi$ が $\lim_{n \to \infty} 2^n \varphi(2^{-n}x, \dots) = 0$ を満たす必要がある。
• 結果は、ラシアスタイプの安定性をヒルベルト $C^*$-加群へ一般化し、非可換かつ加群に基づく設定へ古典的安定定理を拡張する。
• $p = 1$ の場合、現在の枠組みでは類似の安定性結果が存在しないため、未解決のままであり、理論における重要なギャップを示している。