[논문 리뷰] Advances in Startpoint Theory for quasi-pseudometric spaces

Yaé Ulrich Gaba|arXiv (Cornell University)|2014. 12. 05.

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

한 줄 요약

이 논문은 비대칭 거리공간에서의 다중값 함수에 대해 일반화된 수축 조건을 포함하는 비내림성, 가역가능한 함수 φ와 η를 사용하여, 준형식거리공간 내에서 새로운 고정점, 시작점, 종점 정리들을 수립함으로써 시작점 이론을 발전시킨다. 주요 기여는 이전에 알려진 것보다 더 약한 완비성 조건과 수축 조건 하에서 시작점과 종점의 존재를 증명한 것이다. 이는 이전의 비대칭 거리공간 이론을 확장한다.

ABSTRACT

This paper presents some startpoint (endpoint, fixed point) theorems for mutli-valued maps that generalize recent results proved by Y. U. Gaba \cite{rico, ricoo}.

연구 동기 및 목표

• 최근에 발표된 준형식거리공간 내 다중값 함수에 대한 고정점 결과를 일반화하기 위해 더 넓은 수축 조건의 클래스를 도입하는 것.
• 좌/우 K-완비성 및 이중완비성과 같은 더 약한 완비성 가정 하에서 시작점과 종점의 존재를 확립하는 것.
• 특정 상한극한 조건을 갖는 가역가능하고 비내림성 함수 φ와 η를 통합하여 비대칭 거리공간 내 기존 결과를 통합하고 확장하는 것.
• 새로운 반복적 구성과 수렴 논증을 통해 다중값 사상에서 고정점, 시작점, 종점의 존재를 위한 충분조건을 제공하는 것.

제안 방법

• 두 함수 φ와 η를 사용한 일반화된 수축 조건을 도입하며, 모든 t ≥ 0에 대해 φ(t) < η(t) 이고 limsup_{r→t⁺} φ(r)/η(r) < 1 이다.
• 시작점 분석을 위해 실수값 함수 f(x) = H({x}, Fx) 를 정의하고, 종점 분석을 위해 f(x) = H(Fx, {x}) 를 정의하여 x가 F에 의한 상(image)과의 거리를 측정한다.
• H({y}, Fy) ≤ c·d(x,y) 또는 φ와 η를 포함한 일반화된 부등식을 만족하는 y ∈ Fx 선택을 통해 수열 (xₙ) 을 구성한다.
• f(xₙ) 의 감소성과 φ(H({xₙ}, {xₙ₊₁})) 의 수렴성을 이용하여 수열 (xₙ) 이 좌측 K-코시 수열임을 증명한다.
• φ(H({xₙ}, {xₙ₊ₚ})) → 0 이 되도록 하여 d⁰ 수렴성을 보이며, 이는 가역가능성과 기하급수 감쇠 성질을 활용한다.
• 좌측/우측 K-완비성 또는 이중완비성과 같은 완비성 가정을 적용하여, 설정에 따라 수열의 극한이 시작점, 종점 또는 고정점임을 결론짓는다.

실험 결과

연구 질문

• RQ1 준형식거리공간 내 다중값 함수 F에서 H({x}, Fx) = 0 인 시작점이 존재하기 위한 조건은 무엇인가?
• RQ2 비대칭 공간에서 일반화된 φ-η 수축 조건 하에서 종점(H(Fx, {x}) = 0) 의 존재는 보장될 수 있는가?
• RQ3 좌측 K-완비성, 우측 K-완비성, 이중완비성 등의 완비성 조건 중 어떤 것이 반복 수열의 수렴을 고정점으로 보장하는가?
• RQ4 가역가능하고 비내림성 함수 φ와 η의 성질이 준형식거리공간 내 수렴성과 해의 존재성에 어떤 영향을 미치는가?
• RQ5 결과를 좌측 K-완비성에서 우측 K-완비성과 이중완비성으로 확장할 수 있으며, 이러한 경우에 조건이 대칭적인가?

주요 결과

• 모든 x ∈ X 에 대해 H({y}, Fy) ≤ c·d(x,y) 를 만족하는 y ∈ Fx 가 존재하는 c ∈ (0,1) 이 존재할 경우, 좌측 K-완비 준형식거리공간 내에서 다중값 함수 F: X → CB(X) 에 대해 시작점이 존재한다.
• φ(t) < η(t) 이고 limsup_{r→t⁺} φ(r)/η(r) < 1 를 만족하는 함수 φ와 η 가 존재하며, 어떤 y ∈ Tx 에 대해 H(Tx, {x}) ≤ η(H({x}, {y})) 와 f(y) ≤ φ(H({x}, {y})) 를 만족할 경우, 우측 K-완비 공간 내에서 T: X → B(X) 에 대해 종점이 존재한다.
• η(H⁰({x}, {y})) ≤ min{H({x}, Tx), H(Tx, {x})} 를 만족하고, 어떤 y ∈ Tx 에 대해 f(y) ≤ min{φ(H({x}, {y})), φ(H({y}, {x}))} 를 만족할 경우, 이중완비 공간 내에서 T: X → B(X) 에 대해 고정점이 존재한다.
• 반복 선택을 통해 구성된 수열 (xₙ) 은 함수 f(xₙ) 이 기하급수적으로 감소하는 비율 q ∈ (0,1) 을 갖는 경우 좌측 K-코시 수열이며, d⁰ 수렴성으로 시작점으로 수렴한다.
• 결과는 반대 완비성 조건 하에서도 그대로 유지되며, 우측 K-완비성은 종점 존재를, 좌측 K-완비성은 시작점 존재를 암시한다.
• 가역가능하고 비내림성 함수 φ와 η 의 사용은 표준 c-수축보다 더 넓은 수축 클래스를 가능하게 하여 비대칭 공간에 대한 적용 가능성을 높인다.