[논문 리뷰] Approximate $(σ-τ)$-Contractibility

Mohammad Sal Moslehian|arXiv (Cornell University)|2005. 01. 02.

Functional Equations Stability Results참고 문헌 8인용 수 9

한 줄 요약

이 논문은 직접적 방법과 Gâvruta 유형 기법을 사용하여 노름화된 대수에서 바나흐 이중모듈로의 $(\sigma-\tau)$-도함수에 대한 일반화된 Hyers–Ulam–Rassias 안정성을 확립한다. 주요 기여는 바나흐 대수가 $(\sigma-\tau)$-수축 가능임과 정확히 $(\sigma-\tau)$-수축 가능임이 동치임을 증명함으로써, 자기 준위상 $\sigma$와 $\tau$를 갖는 일반화된 도함수로의 안정성 및 코homological 개념을 확장하는 것이다. 결과는 유사한 동치 관계를 갖는 $(\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)$-도함수에 대한 Hyers–Ulam–Rassias 안정성 이론을 일반화한다.
• 고전적 수축 가능성의 일반화로서 $(\sigma-\tau)$-수축 가능성과 유사 $(\sigma-\tau)$-수축 가능성의 개념을 도입하고 연구한다.
• 유사 $(\sigma-\tau)$-수축 가능성에 의한 $(\sigma-\tau)$-수축 가능성의 특성화를 수립하여, 바나흐 대수에서는 이들이 동치임을 보인다.
• 이러한 결과를 관련된 $(\sigma-\tau)$-유계 가능성 개념과 그 유사 대응으로 확장한다.
• 스케일링된 함수 반복의 수렴을 포함하는 직접적 방법을 사용하여 $(\sigma-\tau)$-도함수의 안정성 프레임워크를 제공한다.

제안 방법

• 논문은 Hyers와 Gâvruta의 영감을 받은 직접적 방법을 사용하여 안정성 부등식을 만족하는 근사 사상 $f$로부터 유일한 $(\sigma-\tau)$-도함수 $d$를 구성한다.
• 수렴하는 급수 $\widetilde{\varphi}(a,a) = \frac{1}{2} \sum_{n=0}^{\infty} 2^{-n} \varphi(2^n a, 2^n a)$ 덕분에 수렴하는 극한 과정을 정의한다: $d(a) = \lim_{n \to \infty} \frac{f(2^n a)}{2^n}$.
• 안정성 조건은 제어 함수 $\varphi: A \times A \to [0, \infty)$를 통해 기술되며, $\widetilde{\varphi}(a,b) < \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)$-수축 가능성과 유사 $(\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$가 어떤 점에서 연속이면 결과 도함수 $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$가 어떤 점에서 연속이면 결과 도함수 $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)$-유계 가능임과 정확히 $(\sigma-\tau)$-유계 가능임이 동치이다.