[논문 리뷰] Using an implicit function to prove common fixed point theorems

Mohammad Imdad, Rqeeb Gubran외 1명|arXiv (Cornell University)|2016. 05. 18.

Fixed Point Theorems Analysis참고 문헌 17인용 수 6

한 줄 요약

이 논문은 순서가 있는 거리 공간에서 일반적인 고정점 정리들을 통합하고 일반화하기 위해 암묵 함수 프레임워크를 제안한다. 이는 Ćirić의 준수축성 결과를 비선형, 순서 이론적 환경으로 확장한다. 일반화된 수축 조건 하에서 공통 고정점의 존재성과 유일성을 증명하며, T-S 수열이 고정점으로 수렴함을 보이고, 메트릭 공간에서 Berinde와 Vetro의 결과를 더욱 정밀하게 다듬는다.

ABSTRACT

In this paper, we prove common fixed point results for a self-mappings satisfying an implicit function which is general enough to cover a multitude of known as well as unknown contractions. Our results modify, unify, extend and generalize many relevant results of the existing literature. Interestingly, unlike several other cases, our main results deduce a nonlinear order-theoretic version of a well-known fixed point theorem (proved for quasi-contraction) due to Ćirić (Proc. Amer. Math. Soc. (54) 267-273, 1974). Finally, in the setting of metric spaces, we drive a sharpened version of Theorem 1 due to Berinde and Vetro (Fixed Point Theory Appl. 2012:105).

연구 동기 및 목표

• 고정점 이론에서 알려진 여러 수축 조건들을 하나의 암묵 함수로 통합하고 일반화하기.
• 암묵 함수 접근을 통해 Ćirić의 고전적 준수축성 고정점 정리를 순서 이론적 비선형 환경으로 확장하기.
• Berinde와 Vetro(2012)의 잘못된 순서 이론적 결과를 수정하고, 메트릭 공간에서 더 정밀한, 유효한 버전을 제공하기.
• 자기 사상 쌍이 유일한 공통 고정점을 가지는 조건을 설정하고, T-S 수열의 수렴성을 확보하기.
• 새로운 규칙성 및 호환성 조건(예: I-규칙성, O-호환성)을 도입하여 기존 문헌의 결과를 일반화하고 확장하기.

제안 방법

• 다양한 수축 유형(준수축성, 비교 함수 기반 수축 등)을 포함하는 일반적인 암묵 함수 $ F \in \mathfrak{F} $ 를 정의한다.
• 순서 이론적 구조를 다루기 위해 $ S $-증가/감소 사상, $ T $-$ S $-수열, $ (T,S) $-지향 집합 등의 새로운 개념을 도입한다.
• $ \overline{\rm O} $-호환성, $ \underline{\rm O} $-호환성, 약한 호환성을 사용하여 고정점의 수렴성과 유일성을 보장한다.
• $ I $-규칙성 및 $ D $-규칙성 조건을 적용하여 $ T $-$ S $-수열의 극한이 적절한 집합에 속함을 보장한다.
• 암묵 부등식 $ F(d(Tx,Ty), d(Sx,Sy), \dots) \leq 0 $ 가 공 coincidence 점의 존재를 암시하는 프레임워크를 구축한다.
• 약한 호환성과 지향성 조건 하에서 $ T $-$ S $-수열이 유일한 공통 고정점으로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 일반적인 암묵 함수 프레임워크가 공통 고정점 이론에서 다양한 알려진 수축 조건들을 통합하고 일반화할 수 있는가?
• RQ2 암묵 함수 접근을 통해 Ćirić의 준수축성 고정점 정리를 순서 이론적 비선형 환경으로 확장할 수 있는가?
• RQ3 순서가 있는 거리 공간에서 공통 고정점의 존재성과 유일성을 보장하기 위해 필요한 최소 조건(예: 규칙성, 호환성, 지향성)은 무엇인가?
• RQ4 Berinde와 Vetro(2012)의 공 coincidence 점에 관한 결과를 메트릭 공간의 맥락에서 어떻게 수정하고 정밀하게 다듬을 수 있는가?
• RQ5 언제 $ T $-$ S $-수열이 유일한 공통 고정점으로 수렴하는가?

주요 결과

• 제안된 암묵 함수 프레임워크는 준수축성 및 비교 함수 기반 수축 등 다양한 알려진 수축 조건을 일반화한다.
• 비선형 순서 이론적 버전의 Ćirić 고정점 정리가 확립되어, $ S $-단조성 사상이 있는 순서가 있는 거리 공간으로 확장된다.
• Berinde와 Vetro(2012)의 순서 이론적 결과에 대한 오류를 수정하고, 메트릭 공간에서 Theorem 1의 유효하고 정밀한 버전을 제공한다.
• 약한 호환성과 $ (T,S) $-지향성(또는 전순서) 조건 하에서 쌍 $ (T,S) $ 는 유일한 공통 고정점을 가진다.
• 임의의 초기 점 $ x_0 $ 에 대해 $ T $-$ S $-수열 $ \{Tx_n\} $ 이 유일한 공통 고정점으로 수렴한다.
• 반례를 통해 선형 형태의 수축(예: $ k \geq 1/2 $)이 실패함을 보여, 비교 함수를 사용하는 비선형 형태가 필수적이며 선형 형태로 대체될 수 없음을 입증한다.