[논문 리뷰] Weakly contractive maps in altering metric spaces

Mihai Turinici|arXiv (Cornell University)|2013. 02. 16.

Fixed Point Theorems Analysis참고 문헌 14인용 수 5

한 줄 요약

이 논문은 완비 거리공간에서 Berinde의 약한 수축 사상 결과를 기능적 확장하여, 변형 거리 함수를 포함하는 일반화된 수축 조건 하에서 이러한 사상이 전역적으로 강한 Picard 연산자임을 보여줌으로써 성립시킨다. 주요 기여는 고정점이 유일하고 반복 수열이 그로 수렴함을 증명하며, 오차 한계를 제공하는 데 있다. 이는 Khan 등(1984)의 변형 거리 프레임워크를 새롭게 확장하여 Berinde(2004)의 결과와 그 이상을 포함시키는 데서 비롯된다.

ABSTRACT

The weakly contractive metric type fixed point result in Berinde [Nonlinear Anal. Forum, 9 (2004), 45-53] is "almost" covered by the related altering metric one due to Khan et al [Bull. Austral. Math. Soc., 30 (1984), 1-9]. Further extensions of these statements are then provided.

연구 동기 및 목표

• Berinde(2004)의 약한 수축 사상 결과가 신규로 제시된 것으로 주장되었지만, 이미 Khan 등(1984)의 변형 거리 결과에 거의 포함되어 있었던 문헌의 격차를 해소하기 위함.
• 변형 거리 접근법을 확장하여 Berinde의 약한 수축 사상 포함 및 고정점 정리에 대한 더 넓은 기능적 프레임워크 제공.
• 완비 거리공간에서 약한 수축 사상이 전역적으로 강한 Picard 연산자이며 고정점이 유일해지는 조건 설정.
• 고정점 반복의 Hyers-Ulam 안정성 분석을 단일 고정점 집합과 다중 고정점 집합의 경우로 구분하여 수행함.

제안 방법

• 논문은 변형 거리 공간 프레임워크를 사용하며, 이는 함수 φ가 거리 d를 새로운 거리 함수 φ(d(x,y))로 변환함으로써 수축 조건의 일반화를 가능하게 한다.
• 일반화된 수축 조건을 도입: d(Tx,Ty) ≤ a d(x,y) + b [d(x,Tx) + d(y,Ty)] + K(d(Tx,y))이며, a+2b < 1 이고 K(t) → 0 as t → 0 이다.
• 반복 수열 수렴 증명: 임의의 시작점 u에 대해 수열 (T^n u)이 d-Cauchy임을 보이고, 완비 공간에서 d-수렴함을 도출함.
• 제한점 z에 대해 (T^n u, z)에서 수축 부등식에 근거한 귀류법을 적용하여, z ≠ Tz일 경우 z가 고정점일 수 없음을 보임.
• 오차 근사값은 d(T^n u, T^∞ u) ≤ [λ^n / (1−λ)] d(u,Tu)로 유도되며, 여기서 λ = (a+b)/(1−b) < 1 이고, 이는 수렴의 정량적 한계를 보장함.
• 안정성 분석은 경우에 따라 구분됨: Fix(T)가 다중집합일 경우 Hyers-Ulam 불안정, Fix(T)가 단일집합일 경우 안정함.

실험 결과

연구 질문

• RQ1 Berinde의 2004년 약한 수축 사상 결과는 변형 거리 공간의 더 일반적인 프레임워크에 포함될 수 있는가?
• RQ2 완비 거리공간에서 자기사상이 전역적으로 강한 Picard 연산자가 되도록 보장하는 수축 조건의 기능적 형태는 무엇인가?
• RQ3 고정점의 유일성이 반복 고정점 근사 과정의 안정성에 미치는 영향은 무엇인가?
• RQ4 이러한 약한 수축 사상에 의해 생성된 반복 수열의 수렴에 대한 정확한 오차 한계는 무엇인가?

주요 결과

• a+2b < 1 이고 K(t) → 0 as t → 0 이면, 일반화된 조건 d(Tx,Ty) ≤ a d(x,y) + b [d(x,Tx)+d(y,Ty)] + K(d(Tx,y))를 만족하는 약한 수축 사상의 고정점은 유일하다.
• 임의의 시작점 u ∈ X에 대해 반복 수열 (T^n u)은 고정점으로 수렴하며, 그 극한은 단일집합이므로 T는 전역적으로 강한 Picard 연산자이다.
• 명시적 오차 한계가 확립됨: d(T^n u, T^∞ u) ≤ [λ^n / (1−λ)] d(u,Tu), 여기서 λ = (a+b)/(1−b) < 1 이며, 이는 수렴의 정량적 보장을 제공함.
• 고정점 집합이 단일집합일 경우에만 고정점 반복이 Hyers-Ulam 안정하며, 그렇지 않으면 초기 조건에 민감하여 불안정함.
• 결과는 Berinde(2004)의 약한 수축 사상과 Khan 등(1984)의 변형 거리 결과를 모두 일반화하며, 후자는 전자를 거의 포함하고 있음.
• 프레임워크는 결론적 논의에서 언급된 바와 같이 부분 거리공간과 준순서 거리공간으로의 추가 확장도 가능함.