[논문 리뷰] Cone metric spaces and fixed point theorems of T-Kannan contractive mappings

J. R. Morales, Edixon Rojas|ArXiv.org|2009. 07. 22.

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

한 줄 요약

이 논문은 완비 코어 거리 공간에서 T-Kannan 및 T-Chatterjea 수축 사상의 고정점이 존재하고 유일함을 보장하는 충분조건을 제시한다. 이는 Kannan과 Rezapour의 고전적 결과를 일반화한 것으로, 제어 함수 T를 사용하여 T-Kannan 및 T-Chatterjea 수축을 도입하고, 정상 코어와 연속성 조건 하에서 반복 수열이 유일한 고정점으로 수렴함을 증명한다.

ABSTRACT

The purpose of this paper is to obtain sufficient conditions for the existence of a unique fixed point of T-Kannan type mappings on complete cone metric spaces depended on another function.

연구 동기 및 목표

• T-Kannan 수축 사상 프레임워크를 사용하여 Kannan의 고정점 정리를 코어 거리 공간으로 일반화하기.
• 코어 거리 공간의 맥락에서 T-Chatterjea 수축 사상을 도입하고 분석하기.
• 완비 코어 거리 공간에서 반복 수열이 유일한 고정점으로 수렴할 조건을 설정하기.
• 제어 함수 T를 통합하고 정상성 가정을 완화함으로써 [3] 및 [4]의 이전 결과를 확장하기.
• T-수축 사상에 의한 코어 거리 공간 내 고정점 정리의 통합 및 일반화하기.

제안 방법

• 완비 코어 거리 공간 (M,d) 상에서 T: M → M 인 사상 T를 사용하여 T-Kannan 및 T-Chatterjea 수축을 정의한다.
• T-Kannan 사상에 대해 수축 조건을 사용: d(TSx,TSy) ≤ b[d(Tx,TSx) + d(Ty,TSy)] (b ∈ [0, 1/2))
• T-Chatterjea 사상에 대해 수축 조건을 사용: d(TSx,TSy) ≤ c[d(Tx,TSy) + d(Ty,TSx)] (c ∈ [0, 1/2))
• 정상 코어 성질과 정상 상수 K를 활용하여 거리 수열의 노름을 유계로 묶는다.
• 수열 (xₙ) = Sⁿx₀를 구성하고, h = c/(1−c)를 통한 기하급수 감소를 이용해 (TSⁿx₀)의 수렴성을 분석한다.
• TSⁿx₀가 M 내에서 코시 수열임을 증명하고, M이 완비이므로 어떤 v ∈ M로 수렴함을 도출하여 고정점 존재성을 입증한다.

실험 결과

연구 질문

• RQ1 완비 코어 거리 공간에서 T-Kannan 수축 사상 S가 유일한 고정점을 갖는 조건은 무엇인가?
• RQ2 제어 함수 T의 도입이 코어 거리 공간에서 반복 수열의 수렴에 어떤 영향을 미치는가?
• RQ3 Kannan 및 Chatterjea의 고정점 정리는 T-수축 사상에 의하여 코어 거리 공간으로 확장될 수 있는가?
• RQ4 정상 코어 성질은 고정점의 수렴성과 유일성 증명에서 어떤 역할을 하는가?
• RQ5 T의 연속성과 순차적 수렴성은 (Sⁿx₀)가 고정점으로 수렴하는 데 어떻게 영향을 미치는가?

주요 결과

• 정상 코어와 연속적이며 단사인 T를 갖는 완비 코어 거리 공간에서 T-Kannan 수축 사상 S에 대해 수열 (TSⁿx₀)는 어떤 v ∈ M로 수렴한다.
• T가 부분수열 수렴성을 갖는다면 (Sⁿx₀)는 수렴하는 부분수열을 가지며, T가 순차적으로 수렴한다면 (Sⁿx₀)는 유일한 고정점 u로 수렴한다.
• S의 고정점 u는 Su = u를 만족하며, 주어진 T-Kannan 수축 조건 하에서 유일하다.
• d(TSⁿx₀, TSⁿ⁺¹x₀)의 수렴 속도는 기하급수적이며, hⁿ‖d(TSx₀, TSx₁)‖로 유계로 제한되며, h = b/(1−b) < 1이다.
• T가 항등사상이라면 결과는 완비 거리 공간에서 Kannan의 원래 고정점 정리로 축소된다.
• 예제 2는 [0,1]에서 Sx = x/2, Tx = x²일 때 T-Kannan 수축이지만 표준 Kannan 수축은 아니며, 고정점 0에서 유일한 고정점임을 확인한다.