[논문 리뷰] Two classes of Meir-Keeler contractions

Laura Găvruţa, P. Găvruţa외 1명|arXiv (Cornell University)|2014. 05. 20.

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

한 줄 요약

이 논문은 완비 거리공간에서 Z-수축과 약한 유형 수축이 메어-케일러 수축의 특수한 경우임을 입증한다. 이러한 클래스들이 메어-케일러 조건을 만족함을 증명함으로써, 저자들은 고정점 결과를 더 일반적인 프레임워크로 통합하여 유일한 고정점과 피카르 반복 수열의 수렴을 보장한다.

ABSTRACT

In the present paper, we prove that Z-contractions and weakly type contractions are actually Meir-Keeler contractions.

연구 동기 및 목표

• Z-수축이 메어-케일러 수축 조건를 만족함을 보여주는 것.
• 약한 유형 수축도 메어-케일러 조건를 만족함을 보여주는 것.
• Z-수축과 약한 유형 수축의 고정점 결과를 더 넓은 메어-케일러 프레임워크 아래 통합하는 것.
• 완비 거리공간에서 고유한 고정점으로의 피카르 반복 수열 수렴을 확립하는 것.

제안 방법

• 만약 Z-수축이 메어-케일러 수축이 아니라고 가정할 경우, 시뮬레이션 함수의 성질과 모순이 발생함을 반증을 통해 보여주는 것.
• 시뮬레이션 함수의 상한극한 조건을 적용하여, 비-메어-케일러 행동을 가정할 경우 모순을 도출하는 것.
• 수열 $\{x_n\}, \{y_n\}$을 구성하여 $d(x_n, y_n) \to \varepsilon_0$ 이고 $d(Tx_n, Ty_n) \geq \varepsilon_0$ 가 되게 하여, 시뮬레이션 함수의 성질을 통해 모순을 이끌어내는 것.
• $\alpha$, $\beta$, $\psi$의 연속성과 하부준연속성 조건을 활용하여, 메어-케일러 조건 실패를 가정할 경우 가설과 모순되는 부등식을 유도하는 것.
• Z-수축의 핵심 부등식 $\zeta(d(Tx,Ty), d(x,y)) \geq 0$ 과 약한 유형 수축의 조건 $\psi(t) - \alpha(t) + \beta(t) > 0$ 을 사용하여 모순을 도출하는 것.
• 메어-케일러 고정점 정리를 통합 결과로 적용하여 고정점의 존재성과 유일성을 결론짓는 것.

실험 결과

연구 질문

• RQ1 완비 거리공간에서 Z-수축은 메어-케일러 수축의 부분집합인가?
• RQ2 약한 유형 수축은 메어-케일러 조건를 만족하는가?
• RQ3 Z-수축과 약한 유형 수축의 고정점 정리는 메어-케일러 고정점 정리로부터 유도될 수 있는가?
• RQ4 어떤 조건이 $\psi(d(Tx,Ty)) \leq \alpha(d(x,y)) - \beta(d(x,y))$ 를 만족하는 매핑이 메어-케일러 수축임을 보장하는가?
• RQ5 메어-케일러 프레임워크를 통해 Z-수축과 약한 유형 수축의 피카르 수열 수렴이 보장되는가?

주요 결과

• Z-수축이 메어-케일러 수축임을 입증하여, 그 고정점 결과가 메어-케일러 정리로부터 유도됨을 보여준다.
• 약한 유형 수축도 메어-케일러 수축임을 입증하여, 메어-케일러 고정점 정리의 적용 범위를 확장한다.
• 피카르 반복 수열 $x_n = Tx_{n-1}$ 이 Z-수축과 약한 유형 수축 모두에서 고유한 고정점으로 수렴한다.
• Z-수축이 메어-케일러가 아니라고 가정할 경우, 시뮬레이션 함수의 상한극한 조건을 사용하여 모순을 도출한다.
• 모든 $t > 0$ 에 대해 $\psi(t) - \alpha(t) + \beta(t) > 0$ 이 성립하면, 약한 유형 수축이 메어-케일러 조건를 만족함을 보장한다.
• 결과들은 [4], [5], [7], [8]의 이전 고정점 정리를 통합하고 일반화하여, 이들이 메어-케일러 프레임워크의 특수한 경우임을 보여준다.