[논문 리뷰] Stability of a mixed type quadratic, cubic and quartic functional equation

M‎. ‎Eshaghi Gordji, S. Kaboli-Gharetapeh외 1명|ArXiv.org|2008. 12. 15.

Functional Equations Stability Results참고 문헌 14인용 수 5

한 줄 요약

이 논문은 제곱, 세제곱, 사차항을 포함하는 혼합형 함수방정식에 대한 일반해를 확립하고, 일반화된 하이어스-울람-라시아 안정성을 증명한다. 모든 해가 제곱, 세제곱, 사차항 성분으로 유일하게 분해될 수 있음을 보이며, 변화에 대한 명시적 오차 한계를 제공함으로써, 바나흐 공간 내 혼합 함수방정식의 안정성 이론을 확장한다.

ABSTRACT

In this paper, we obtain the general solution and the generalized Hyers-Ulam Rassias stability of the functional equation $$3(f(x+2y)+f(x-2y))=12(f(x+y)+f(x-y))+4f(3y)-18f(2y)+36f(y)-18f(x).$$

연구 동기 및 목표

• 제곱, 세제곱, 사차 행동을 통합하는 함수방정식의 일반해를 결정하는 것.
• 하이어스-울람-라시아 안정성 이론을 다항식 성장의 혼합형 타입을 가진 함수방정식으로 확장하는 것.
• 해 분해에서 제곱, 세제곱, 사차 성분의 존재성과 유일성을 확립하는 것.
• 다양한 제어 함수 하에서 근사해에 대한 명시적 오차 추정을 도출하는 것.
• 순수 제곱, 세제곱, 또는 사차 방정식에 대한 이전 안정성 결과를 혼합 경우로 일반화하는 것.

제안 방법

• 대칭성 성질을 이용해 해를 짝수(제곱 및 사차) 및 홀수(세제곱) 성분으로 분해한다.
• 함수방정식 (1.5)를 사용해 대칭 이加법성, 삼가법성, 다중가법성 함수에 대한 조건을 유도한다.
• 고정점 기법과 스케일링(예: x를 2^n x로 치환)을 통한 반복 근사에 의해 극한 함수를 구성한다.
• 제어 함수 φ(x,y)를 포함하는 급수 기반의 주도 수열과 수렴 기준을 활용해 극한의 존재성을 증명한다.
• 반복 과정에서 오차 항을 합산하여 안정성 한계를 도출하며, φ(2^i x, 2^i x) 및 φ(2^{i+1}x, 2^i x)의 가중 급수를 사용한다.
• 주어진 조건 하에서 두 해가 반드시 일치함을 보여 분해의 유일성을 확립한다.

실험 결과

연구 질문

• RQ1 제곱, 세제곱, 사차 항을 포함하는 혼합형 함수방정식의 일반해는 무엇인가?
• RQ2 함수방정식의 근사해가 정확한 해에 가까워지는 조건은 무엇인가?
• RQ3 해는 어떻게 제곱, 세제곱, 사차 성분으로 유일하게 분해될 수 있는가?
• RQ4 편미분된 방정식을 만족하는 함수의 근사화에 대한 명시적 오차 한계는 무엇인가?
• RQ5 안정성 결과는 순수 제곱, 세제곱, 또는 사차 방정식에 대한 이전 결과를 어떻게 일반화하는가?

주요 결과

• 함수방정식 (1.5)의 일반해는 f(x) = Q₁(x,x) + C(x,x,x) + Q₂(x,x,x,x)로 유일하게 표현되며, 여기서 Q₁은 대칭 이가법성, C는 대칭 삼가법성, Q₂는 대칭 다중가법성이다.
• 짝수 함수 f가 ||D_f(x,y)|| ≤ φ(x,y)를 만족할 경우, 극한 Q₁(x) = limₙ→∞ (1/4ⁿ)[f(2ⁿ⁺¹x) - 16f(2ⁿx)]가 존재하며, 이는 유일한 제곱 함수를 정의한다.
• 짝수 함수 f가 동일한 조건을 만족할 경우, 극한 Q₂(x) = limₙ→∞ (1/16ⁿ)[f(2ⁿ⁺¹x) - 4f(2ⁿx)]가 존재하며, 이는 유일한 사차 함수를 정의한다.
• f가 홀수이고 f(0) = 0을 만족할 경우, 극한 C(x) = limₙ→∞ (1/8ⁿ)[f(2ⁿ⁺¹x) - 2f(2ⁿx)]는 유일한 세제곱 함수를 정의한다.
• 조건 ∑(1/4^i)[φ(2^{i+1}x,2^i x) + φ(2^i x,2^i x)] < ∞ 하에서, 근사 오차는 ||f(x) - Q₁(x) - C(x) - Q₂(x)|| ≤ (1/12)∑(1/4^i + 1/16^i)[(1/3)φ(2^{i+1}x,2^i x) + (16/3)φ(2^i x,2^i x)] + (1/6)∑(1/8^{i+1})φ(0,2^i x) + (2/3)∑(1/8^{i+1})φ(2^i x,2^i x)를 만족한다.
• 특수 케이스 φ(x,y) = θ(||x||^p + ||y||^p)에서 p < 3일 경우, 오차 한계는 ||f(x) - Q₁(x) - C(x) - Q₂(x)|| ≤ [(33 + 2^p)/9 ⋅ (1/(4 - 2^p) + 4/(16 - 2^p)) + 3/(2(8 - 2^p))]θ||x||^p로 간소화된다.
• 유계 편미분 φ(x,y) ≡ ε일 경우, 오차 한계는 모든 x ∈ X에 대해 ||f(x) - Q₁(x) - C(x) - Q₂(x)|| ≤ (431/420)ε로 단순화된다.