[논문 리뷰] Common fixed point theorems for pairs of subcompatible maps

Hakima Bouhadjera, Christiane Godet-Thobie|arXiv (Cornell University)|2009. 06. 17.

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

한 줄 요약

이 논문은 고정점 이론에서 기존의 호환성과 연속성 조건에 대한 더 약한 대안으로 하위호환성(subcompatibility)과 후행연속성(subsequential continuity)의 개념을 도입한다. 메트릭 공간에서 네 개의 사상에 대해 새로운 공통 고정점 정리를 확립하며, Jungck와 Rhoades의 이전 결과를 개선하고 Greguš, Pathak 등에 의한 연구를 일반화한다. 일반화된 수축 조건 하에서 사상 쌍과 사상 수열에 대한 적용이 가능하다.

ABSTRACT

In this paper, we introduce the new concepts of subcompatibility and subsequential continuity which are respectively weaker than occasionally weak compatibilty and reciprocal continuity. With them, we establish several common fixed point theorems which extend corresponding results of Jungck and Rhoades (2006), Djoudi and Nisse (2003) and Mbarki (2002).

연구 동기 및 목표

• 하위호환성 사상과 후행연속성 사상의 새로운 개념을 도입하고, 기존의 호환성과 연속성 개념에 대한 더 약한 대안으로 체계화한다.
• 최근 호환성 및 가끔 약하게 호환되는 사상에 관한 고정점 정리를 하위호환성과 후행연속성 조건을 사용하여 확장하고 개선한다.
• Greguš, Djoudi와 Nisse, Pathak 등에 의한 기존 결과를 하위호환성과 후행연속성 하에서 새로운 공통 고정점 정리를 통해 일반화한다.
• 다중 사상에 관한 공통 고정점 정리의 이전 결과들을 포함하고 강화하는 통합적 프레임워크를 제공한다.
• 이론을 수열 형태의 사상으로 확장하여, 일반화된 수축 조건 하에서 h, k, {f_n}의 유일한 공통 고정점이 존재함을 증명한다.

제안 방법

• 하위호환성 사상은 공통 극한점으로 수렴하는 수열이 존재할 때, fgx_n과 gfx_n 사이의 거리가 0으로 수렴하는 사상 쌍으로 정의한다.
• 후행연속성은 더 약한 형태의 연속성으로, gx_n이 t로 수렴할 때 f(gx_n)의 극한이 f(t)와 일치함을 보장한다.
• Φ: [0,∞) → [0,∞)의 함수 클래스를 사용하며, Φ(t) = 0이면 t = 0임을 만족한다. 또한 a, b: [0,∞) → [0,1)를 만족하며, 모든 t > 0에 대해 a(t) + b(t) < 1임을 보장한다.
• 일반화된 수축 부등식을 설정한다: 모든 x, y에 대해 Φ(d(fx, gy)) ≤ a(d(hx, ky))Φ(d(hx, ky)) + b(d(hx, ky)) × min{Φ(d(hx, gy)), Φ(d(ky, fx))}이다.
• 수축 조건을 하위호환성과 후행연속성과 결합하여, 고정점의 유일성을 모순 기반으로 증명한다.
• 재귀적이고 극한 기반의 추론을 사용하여 결과를 수열 형태의 사상 {f_n}, h, k로 확장하고, 동일한 조건 하에서 모든 사상이 유일한 공통 고정점을 공유함을 증명한다.

실험 결과

연구 질문

• RQ1 공통 고정점 정리에서 호환성과 연속성 조건을 유지하면서도 공통 고정점의 존재성을 보장하는 조건을 더 약하게 만들 수 있는가?
• RQ2 하위호환성과 후행연속성의 새로운 개념은 기존의 가끔 약하게 호환되는 사상이나 상호연속성 사상과 비교해 어떻게 다른가?
• RQ3 Φ, a, b를 포함한 일반화된 수축 조건이 이전에 알려진 것보다 더 약한 가정 하에서도 공통 고정점을 도출할 수 있는가?
• RQ4 두 개 또는 네 개의 사상에 대한 결과를 유사한 조건 하에서 무한한 수열의 사상으로 얼마나 넓힐 수 있는가?
• RQ5 제안된 조건 하에서 공통 고정점은 유일한가? 그리고 Φ, a, b의 성질을 이용한 모순 증명을 통해 이를 증명할 수 있는가?

주요 결과

• 하위호환성은 가끔 약하게 호환되는 사상보다 엄밀히 더 약한 조건임을 반례를 통해 보여주며, 하위호환성 사상이 항상 owc가 되지 않는다는 점을 입증한다.
• 논문은 하위호환성과 후행연속성 하에서 네 개의 사상에 대해 새로운 공통 고정점 정리를 증명하며, Jungck와 Rhoades의 결과를 개선한다.
• Φ, a, b를 포함한 일반화된 수축 조건은 d(t,z) = 0을 유도하여 t = z임을 보여주며, 이는 고정점이 존재하고 유일함을 증명한다.
• 모순 증명을 통해 d(ft,t) > 0이라 가정하면 Φ(d(ft,t)) < Φ(d(ft,t))가 도출되며, 이는 불가능하므로 ft = t임을 증명한다.
• 다른 고정점 w ≠ t가 존재한다고 가정하고 동일한 부등식을 사용해 유사한 모순을 도출함으로써 공통 고정점의 유일성을 확립한다.
• 결과는 f_n, h, k의 수열로 확장되며, 동일한 조건 하에서 모든 사상이 유일한 공통 고정점을 공유함을 증명한다.