[논문 리뷰] On approximate n-ring homomorphisms and n-ring derivations

M‎. ‎Eshaghi Gordji|ArXiv.org|2008. 12. 30.

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

한 줄 요약

이 논문은 바나흐 대수 및 모듈러에서 n-링 준동형사상과 n-링 도함수의 하이어스-울람-라시아 안정성을 확립한다. 근사적인 n-링 준동형사상과 도함수—ε 및 δ 노름 또는 거듭제곱형 경계로 유계된 것들—이 p와 q의 지수 조건(p, q ≠ 1) 하에서 정확한 n-링 준동형사상과 도함수로 명시적인 오차 추정을 통해 근사 가능하다는 것을 증명한다.

ABSTRACT

Let $A,B$ be two rings and let $ X$ be an $ A-$module. An additive map $h: A o B$ is called n-ring homomorphism if $h(Π^n_{i=1}a_i)=Π^n_{i=1}h(a_i),$ for all $a_1,a_2, ...,a_n \in {A}$. An additive map $D: A o X$ is called $n$-ring derivation if $$D(Π^n_{i=1}a_i)=D(a_1)a_2... a_n+a_1D(a_2)a_3... a_n+... +a_1a_2... a_{n-1}D(a_n),$$ for all $a_1,a_2, ...,a_n \in {\mathcal A}$. In this paper we investigate the Hyers-Ulam-Rassias stability of $n$-ring homomorphisms and n-ring derivations.

연구 동기 및 목표

• 근사 조건 하에서 n-링 준동형사상과 n-링 도함수의 안정성에 대한 연구.
• 비결합 및 비단위 원소 설정에서 이원 이상의 연산으로까지 하이어스-울람-라시아 안정성 프레임워크를 확장하는 것.
• 근사적인 n-링 준동형사상과 도함수가 정확한 해에 가까운 조건을 설정하는 것.
• 근사적인 n-링 사상이 정확한 사상으로 근사될 때의 정량적 오차 추정을 제공하는 것.
• 지수 p = 1일 때 안정성이 실패하는 이유를 반례를 통해 보여주는 것.

제안 방법

• 모든 aᵢ ∈ A에 대해 h(∏₁ⁿ aᵢ) = ∏₁ⁿ h(aᵢ) 조건을 통해 n-링 준동형사상을 정의한다.
• 일반화된 라이프니츠 법칙을 통해 n-링 도함수를 정의한다: D(∏₁ⁿ aᵢ) = Σᵢ₌₁ⁿ (a₁⋯aᵢ₋₁ D(aᵢ) aᵢ₊₁⋯aₙ).
• 근사적인 사상으로부터 정확한 덧셈형 사상을 유도하기 위해 극한 구성 h(a) = limₘ→∞ (1/2ᵐ)f(2ᵐa)를 사용한다.
• 카우치 차이와 n-항 곱의 차이를 유계화하는 방식으로 하이어스-울람-라시아 안정성 기법을 적용한다.
• 거듭제곱형 경계를 활용한다: ||f(a+b)−f(a)−f(b)|| ≤ ε(||a||ᵖ + ||b||ᵖ) 및 ||f(∏aᵢ)−Leibniz 표현|| ≤ ε∏||aᵢ||ᶜ.
• 극한 과정의 수렴성을 증명하고, 극한 사상이 정확한 n-링 준동형사상/도함수 항등식을 만족함을 확인한다.

실험 결과

연구 질문

• RQ1 근사적인 n-링 준동형사상이 정확한 n-링 준동형사상에 가까운 조건은 무엇인가?
• RQ2 하이어스-울람-라시아 안정성 프레임워크는 표준 2항 연산을 초월해 n항 연산으로까지 확장 가능한가?
• RQ3 근사적인 n-링 준동형사상과 그 정확한 근사 간의 정량적 오차 추정은 무엇인가?
• RQ4 안정성 결과는 오차 경계의 지수 p에 따라 어떻게 달라지며, 왜 p = 1일 때는 실패하는가?
• RQ5 거듭제곱형 오차 제어 하에서 주어진 근사적인 n-링 도함수를 근사하는 유일한 n-링 도함수가 존재하는가?

주요 결과

• ||f(a+b)−f(a)−f(b)|| ≤ ε 및 ||f(∏aᵢ)−∏f(aᵢ)|| ≤ δ를 만족하는 근사적인 n-링 준동형사상 f에 대해, 모든 a ∈ A에 대해 ||f(a)−h(a)|| ≤ ε를 만족하는 유일한 n-링 준동형사상 h가 존재한다.
• 반복적 적용을 통해 함수 부등식을 활용하여 극한 사상 h(a) = limₘ→∞ (1/2ᵐ)f(2ᵐa)가 정확한 n-링 준동형사상임을 보였다.
• 거듭제곱형 경계가 적용되는 경우, ||f(a+b)−f(a)−f(b)|| ≤ ε(||a||ᵖ + ||b||ᵖ) 및 ||f(∏aᵢ)−Leibniz 표현|| ≤ ε∏||aᵢ||ᶜ를 만족하면, ||f(a)−D(a)|| ≤ (2ε)/(2−2ᵖ)||a||ᵖ를 만족하는 유일한 n-링 도함수 D가 존재한다.
• p = 1일 때는 반례를 통해 근사적인 n-링 준동형사상이나 도함수와의 간격에 대해 균일한 경계가 존재하지 않아 안정성 결과가 실패함을 보였다.
• 극한 과정을 통해 유도된 사상 D가 정확한 n-항 라이프니츠 법칙을 만족함을 확인했다: D(∏aᵢ) = Σᵢ₌₁ⁿ (a₁⋯aᵢ₋₁ D(aᵢ) aᵢ₊₁⋯aₙ).
• 덧셈성과 극한 구성에 기반하여 근사 사상의 유일성이 도출되었으며, 이는 동일한 경계를 만족하는 다른 해가 존재하지 않음을 보장한다.