[논문 리뷰] Function contractive maps in partial metric spaces

Mihai Turinici|arXiv (Cornell University)|2012. 03. 26.

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

한 줄 요약

이 논문은 범함수 수축에 대한 고정점 정리를 부분거리공간에서 유도함으로써 바나흐 수축원리의 일반화를 제시한다. 일반화된 수축조건(비교함수 φ와 제어함수 ψ를 포함)을 만족할 경우, 영완비 부분거리공간 위의 자기사상 T는 고유한 고정점을 가지며, 이는 부분거리에 의해 유도된 e-거리 위상에서 수렴이 보장된다.

ABSTRACT

Some fixed point results are given for a class of functional contractions over partial metric spaces. These extend some contributions in the area due to Ilic et al [Math. Comput. Modelling, 55 (2012), 801-809].

연구 동기 및 목표

• 범함수 수축을 이용하여 바나흐 수축원리를 부분거리공간으로 일반화하기.
• 영완비 부분거리공간 위의 자기사상이 고유한 고정점을 가지는 조건을 설정하기.
• 유도된 e-거리에 의해 부분거리공간의 고정점 결과가 표준 거리의 추론으로 환원될 수 있음을 보여주기.
• 이전 결과를 이리치 등이 제시한 바를 일반화하기 위해 수축조건에 비교함수 φ와 제어함수 ψ를 도입하기.
• 고정점이 고유하며 반복수열이 e-거리 위상에서 수렴함을 보여주기.

제안 방법

• 부분거리공간 (X,d) 와 그에 관련된 e-거리 e(x,y) = 2d(x,y) - d(x,x) - d(y,y) 를 정의하며, 이는 하우스도르프 위상을 유도한다.
• e-거리로 수열 수렴을 분석한다: xₙ → x (e-수렴) iff limₙ d(xₙ,x) = limₘ,ₙ d(xₘ,xₙ) = d(x,x).
• 함수적 수축조건을 도입한다: 모든 x,y ∈ X 에 대해 d(Tx,Ty) ≤ max{φ(M(x,y)), b(x,y)} 를 만족하며, M(x,y) 는 거리의 조합이고 b(x,y) 는 대칭항이다.
• 제어함수 φ 와 ψ 를 정의한다: t > 0 이면 φ(t) < t 이며, ψ(t) = t - φ(t) 는 비감소함수이며, ψ(t) = 0 이면 t = 0 이다.
• 반복을 통해 수열 (zₙ) 을 구성하고, 모순과 극한 분석을 통해 이 수열이 e-코시임을 증명한다.
• 수열 (zₙ) 이 수렴하는 극한 z 가 e-거리에서 d(z,Tz) = θ = limₙ d(zₙ,zₙ) 를 만족함을 보여, 이는 z 가 고정점임을 의미한다.

실험 결과

연구 질문

• RQ1 부분거리공간에서의 범함수 수축이 고유한 고정점을 가지는 조건은 무엇인가?
• RQ2 부분거리공간의 고정점 결과는 유도된 e-거리에 의해 표준 거리의 추론으로 환원될 수 있는가?
• RQ3 비교함수 φ 와 제어함수 ψ 를 포함한 일반화된 수축조건이 고정점 존재성과 고유성에 미치는 영향은 무엇인가?
• RQ4 부분거리공간의 영완비성은 반복수열의 수렴을 보장하는 데 어떤 역할을 하는가?
• RQ5 제안된 함수적 수축조건 하에서 고정점은 고유하며, 수열은 e-거리에서 수렴하는가?

주요 결과

• 수축조건 d(Tx,Ty) ≤ max{φ(M(x,y)), b(x,y)} 가 성립하고 φ 가 t > 0 일 때 φ(t) < t 를 만족할 경우, 자기사상 T 는 X 내에 고유한 고정점을 가진다.
• 반복수열 (zₙ) 이 zₙ₊₁ = Tzₙ 으로 정의될 때, 이는 e-코시이며 e-거리 위상에서 고유한 고정점 z 로 수렴한다.
• 극한 z 는 d(z,Tz) = θ = limₙ d(zₙ,zₙ) 를 만족하며, 이는 고정점의 관점에서 Tz = z 를 의미한다.
• 증명은 모순에 기반한다: d(z,Tz) > θ 를 가정하면 φ 와 ψ 의 성질과 모순이 발생한다.
• φ(t) = αt (α ∈ [0,1)) 일 경우, 이는 이리치 등의 정리의 일반화이며, 증명 기법도 그들의 원래 접근과 다름을 보인다.
• e-거리 e(x,y) = 2d(x,y) - d(x,x) - d(y,y) 는 표준 거리 고정점 기법을 부분거리 설정으로 이전하는 데 핵심적이다.