[논문 리뷰] Fixed point theorems for a class of mappings depending of another function and defined on cone metric spaces

E R. Morales, Edixon Rojas|ArXiv.org|2009. 06. 11.

Fixed Point Theorems Analysis참고 문헌 26인용 수 3

한 줄 요약

이 논문은 완비 코네 메트릭 공간 위에서 정의된 일반화된 맵핑 클래스 $ D_T(a,b) $에 대해 고정점 정리들을 수립한다. 여기서 수축 조건은 보조 함수 $ T $ 에 의존한다. $ T $-수축 프레임워크를 코네 메트릭 공간으로 확장함으로써, 매핑 $ S $ 의 연속성 없이도 약한 조건—예를 들어 $ T $ 의 연속성, 단사성, 수열 수렴성—하에 고정점의 존재성과 유일성을 증명한다. 주요 기여는 코네 메트릭 설정에서 바나흐, 칸난, 레이히드 유형 정리들을 일반화하는 통합된 고정점 결과를 제공하는 것이다.

ABSTRACT

In this paper we study the existence and uniqueness of fixed points of a class of mappings defined on complete, (sequentially compact) cone metric spaces, without continuity conditions and depending on another function.

연구 동기 및 목표

• 비란바운드 등의 $ T $-수축 프레임워크를 코네 메트릭 공간으로 확장하기.
• 매핑 $ S $ 의 연속성 조건 없이 $ D_T(a,b) $ 클래스에 속하는 맵핑에 대해 고정점의 존재성과 유일성을 확립하기.
• 코네 메트릭 공간에서 기존의 고정점 결과—바나흐, 칸난, 레이히드 수축—을 함수에 의존하는 수축 조건을 통해 일반화하기.
• 함수 $ T $ 를 포함하는 매개변수화된 수축 조건을 도입함으로써 이전의 코네 메트릭 공간 결과들을 통합하고 확장하기.

제안 방법

• 매개변수 $ a,b \geq 0 $ 와 함께 함수 $ T $ 를 포함하는 수축 조건을 만족하는 코네 메트릭 공간 위의 새로운 맵핑 클래스 $ D_T(a,b) $ 를 정의한다. 모든 $ x,y \in M $ 에 대해 $ d(TSx,TSy) \leq a d(Tx,Ty) + b [d(Tx,TSx) + d(Ty,TSy)] $ 를 만족한다.
• 실수 바나흐 공간에 코너 $ P $ 를 가진 코네 메트릭 공간의 구조를 활용하며, $ P $ 가 유도하는 순서를 통해 수렴을 정의한다.
• $ T $ 가 연속적이며 단사적이며, 부분수열 수렴성 또는 수열 수렴성을 만족하도록 가정한다. 이를 통해 반복 수렴의 수렴성을 보장한다.
• 조건 $ a + 2b < 1 $ 하에, 완비 코네 메트릭 공간에서 매핑 $ S $ 가 유일한 고정점을 가짐을 증명한다.
• 결과를 적용하여 기존 정리들을 복원하고 일반화한다: $ T = \text{id} $ 일 경우 결과는 고전적 $ D(a,b) $ 클래스로 줄어들며, 2008년 칸과 사마니푸르의 정리 2.7을 복원한다.
• 코네 메트릭 공간 프레임워크를 활용해 메트릭 공간 결과를 더 일반적인 설정—특히 정규 또는 정규화된 코너를 가진 경우—로 확장한다.

실험 결과

연구 질문

• RQ1 함수에 의존하는 수축 조건을 갖는 $ T $-수축 프레임워크가 코네 메트릭 공간으로 확장되어 고정점 정리를 일반화할 수 있는가?
• RQ2 함수 $ T $ 와 매개변수 $ a,b $ 에 대해 어떤 조건이 코네 메트릭 공간에서 매핑 $ S $ 의 고정점 존재성과 유일성을 보장하는가?
• RQ3 $ D_T(a,b) $ 클래스가 코네 메트릭 공간에서 바나흐, 칸난, 레이히드 수축 유형을 어떻게 통합하고 일반화하는가?
• RQ4 수열 수렴성은 반복 수열 $ (S^n x_0) $ 이 고정점으로 수렴하도록 보장하는 데 어떤 역할을 하는가?
• RQ5 매핑 $ S $ 가 유일한 고정점을 가지기 위한 조건은 무엇이며, $ T \neq \text{id} $ 일 경우 이는 이전 결과들을 어떻게 일반화하는가?

주요 결과

• 만약 $ T $ 가 연속적이며 단사적이며 부분수열 수렴성을 가지며 $ a + 2b < 1 $ 를 만족하면, 완비 코네 메트릭 공간에서 매핑 $ S $ 는 유일한 고정점을 가진다. 조건은 $ d(TSx,TSy) \leq a d(Tx,Ty) + b [d(Tx,TSx) + d(Ty,TSy)] $ 를 만족한다.
• 만약 $ T $ 가 수열 수렴성을 가지면, 임의의 $ x_0 \in M $ 에 대해 수열 $ (S^n x_0) $ 는 $ S $ 의 유일한 고정점으로 수렴한다.
• 만약 $ T = \text{id} $ 이면 결과는 기존의 코네 메트릭 공간에서의 $ D(a,b) $ 클래스로 줄어들며, 2008년 칸과 사마니푸르의 정리 2.7을 복원한다.
• 만약 $ a = 0 $ 이고 $ b \in [0, \frac{1}{2}) $ 이면 결과는 $ T $-칸난 수축을 일반화하며, 모라디의 작업을 코네 메트릭 공간으로 확장한다.
• 만약 $ b = 0 $ 이고 $ a < 1 $ 이면 결과는 $ T $-바나흐 수축을 일반화하며, 고전적 바나흐 수축 원리가 코네 메트릭 공간으로 확장됨을 보여준다.
• 이 프레임워크는 광과 창, 칸과 사마니푸르, 로아드스의 기존 고정점 정리를 통합하고 일반화하며, 코네 메트릭 설정 내에서 유효하다.