[논문 리뷰] On the stability of J$^*-$derivations

M‎. ‎Eshaghi Gordji, S. Shams외 2명|arXiv (Cornell University)|2009. 07. 16.

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 $ 인 경우, 모든 $ a \in \mathcal{A} $ 에 대해 $ \|f(a) - D(a)\| \leq \frac{L}{1-L} \phi(a,0,0) $ 를 만족하는 유일한 $ J^* $-도함수 $ D $ 가 존재한다.
• 고정점 방법은 수열 $ \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 $ 가 함수부등식을 만족하고 $ f(sa) = s f(a) $ 를 $ s > 1 $ 에 대해 만족하면, $ f $ 는 반드시 $ J^* $-도함수이다.
• 조건 $ \lim_{n \to \infty} s^{-n} \phi(s^n a, s^n b, s^n c) = 0 $ 는 변동이 극한에서 사라지게 하여 정확한 $ J^* $-도함수 행동으로 이어진다.
• 결과들은 $ C^* $-대수의 비결합 일반화인 $ J^* $-대수로 고전적 안정성 정리들을 일반화하여, 하이어스–울람–라시아 안정성의 적용 범위를 확장한다.