[논문 리뷰] Some Unique Fixed Point Theorems in Multiplicative Metric Spaces

Sarwar Muhammad, Badshah-e-Rome Badshah-e-Rome|arXiv (Cornell University)|2014. 09. 17.

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

한 줄 요약

이 논문은 함수 φ를 포함하는 일반화된 곱셈 수축 조건을 도입하여 완비 곱셈 거리 공간에서 새로운 고유 고정점 정리들을 수립한다. 결과적으로 자즈프레스쿠 및 아이디 등에 의한 고전적 고정점 정리들이 곱셈 거리 설정으로 일반화되며, 표준 수축보다 더 약한 조건 하에서도 고정점의 존재성과 유일성을 증명한다. 특히 R² 및 유계 간격 위의 특정 매핑에 응용 가능하다.

ABSTRACT

Özavsar and Cevikel(Fixed point of multiplicative contraction mappings on multiplicative metric space.arXiv:1205.5131v1 [math.GN] 23 may 2012)initiated the concept of the multiplicative metric space in such a way that the usual triangular inequality is replaced by "multiplicative triangle inequality $d(x,y)\leq d(x,z).d(z,y)$ for all $x,y,z\in X$". In this manuscript, we discussed some unique fixed point theorems in the context of multiplicative metric spaces. The established results carry some well known results from the literature to multiplicative metric space. We note that some fixed point theorems can be deduced in multiplicative metric space by using the established results. Appropriate examples are also given.

연구 동기 및 목표

• 표준 거리 공간에서의 고정점 이론을 곱셈 거리 공간으로 일반화하기 위해 수축 조건을 일반화하는 것.
• 완비 곱셈 거리 공간에서 고정점의 존재성과 유일성을 위한 충분 조건을 수립하는 것.
• 기존의 표준 거리 공간 결과들(예: 자즈프레스쿠, 아이디 등)을 곱셈 설정으로 일반화하는 것.
• R² 및 [0.1,1]과 같은 구체적 공간에서 이론의 적용 가능성을 보여주는 구성적 예시를 제공하는 것.
• 제어 함수 φ를 포함하는 단일 프레임워크 아래에서 기존의 곱셈 수축 매핑들을 통합하고 일반화하는 것.

제안 방법

• φ(s,t) > 1 for s,t > 1 and φ(s,t) = 1 iff s = t = 1을 만족하는 함수 φ(s,t)를 사용하여 새로운 곱셈 수축 조건을 도입한다.
• 완비 곱셈 거리 공간 (M,d) 상의 매핑 T를 정의하여 모든 x,y ∈ M에 대해 d(Tx,Ty) ≤ {d(x,Tx)·d(y,Ty)}^{1/2} / φ(d(x,Tx), d(y,Ty)) 를 만족하도록 한다.
• 곱셈 역삼각부등식과 곱셈 코시 수열의 성질을 이용하여 반복 Tⁿx의 수렴성을 증명한다.
• 반증 방법을 적용하여 수열 {Tⁿx}의 극한이 반드시 고정점이 되어야 함을 보이며, 반복 과정에서 거리가 엄격히 감소함을 활용한다.
• 두 개의 서로 다른 고정점이 존재한다고 가정하고 수축 조건을 이용해 모순을 도출함으로써 고정점의 유일성을 확립한다.
• R², [0.1,1], [1,2]에서의 명시적 예시를 통해 결과를 검증하며, 구체적인 매핑과 곱셈 거리 함수 d(x,y) = 2^{|x−y|} 또는 d(x,y) = e^{|1/x−1/y|}를 사용한다.

실험 결과

연구 질문

• RQ1 표준 거리 공간에서의 고정점 정리들이 더 약한 수축 조건 하에서 곱셈 거리 공간으로 일반화될 수 있는가?
• RQ2 제어 함수 φ에 대한 어떤 조건이 완비 곱셈 거리 공간에서 고정점의 존재성과 유일성을 보장하는가?
• RQ3 곱셈 수축 매핑이 반복될 때 어떻게 행동하는가? 그리고 전체 곱셈 삼각부등식을 요구하지 않고도 수렴성을 증명할 수 있는가?
• RQ4 기존 결과들(예: 자즈프레스쿠, 아이디 등)이 곱셈 거리 설정으로 얼마나 널리 확장되는가?
• RQ5 기존 고정점 정리가 적용되지 않지만 새로운 정리가 적용 가능한 명시적 예시를 구성할 수 있는가?

주요 결과

• 논문은 T가 d(Tx,Ty) ≤ {d(x,Tx)·d(y,Ty)}^{1/2} / φ(d(x,Tx), d(y,Ty)) 를 만족하고, φ(s,t) > 1 for s,t > 1 이며 φ(s,t) = 1 iff s=t=1 이라면, 완비 곱셈 거리 공간에서 T는 고유한 고정점을 가짐을 증명한다.
• 보조정리 3.7은 d(Tu,Tv) ≤ {d(u,Tu)·d(v,Tv)}^{q/2} for some q ∈ [0,1) 라면 T는 고유한 고정점을 가짐을 보여준다.
• 예제 3.1은 R²에서 T((x,y)) = (2/3)(x,y) 를 정의하고 d((x₁,y₁),(x₂,y₂)) = 2^{√((x₁−x₂)²+(y₁−y₂)²)} 를 사용할 때 d(Tx,Ty) = d(x,y)^{2/3} 를 만족함을 보이며, ξ = 2/3 인 수축 조건을 확인한다.
• M = [0.1,1]에서의 예제 3.2는 d(x,y) = e^{|1/x−1/y|} 를 사용하고 T(x) = 1/(2+x) 가 수축 조건을 만족함을 보이며, η = λ = 0.499 이고 고정점은 약 0.4142에 존재한다.
• M = [1,2]에서의 예제 3.3는 d(x,y) = 2^{|x−y|} 와 T(x) = 1/√x 를 사용하여 φ가 작은 지수항을 통해 정의되고 고정점이 x = 1에 존재함을 확인하며, 이는 정리가 성립함을 보여준다.
• 논문은 두 개의 서로 다른 고정점 a와 b가 존재한다고 가정하고 d(a,b) ≤ 1 를 도출함으로써 고정점이 유일함을 증명한다. 이는 곱셈 거리 공리에 의해 a = b 를 의미한다.