[논문 리뷰] Functional contractions in local Branciari metric spaces

Mihai Turinici|arXiv (Cornell University)|2012. 08. 22.

Fixed Point Theorems AnalysisMathematics참고 문헌 17인용 수 20

한 줄 요약

이 논문은 국소 브랑키아리 거리 공간에서 기능적 수축에 대한 고정점 정리를 수립하며, 반바흐와 루스의 고전적 결과를 일반화한다. 강력한 재귀 함수 φ를 포함하는 일반화된 수축 조건 하에서, 공간이 완비이거나 궤도 완비일 경우 자가사상 T가 고유한 고정점을 가짐을 증명하며, 이는 비대칭 및 일반화된 거리 공간에서의 이전 연구를 일반화한다.

ABSTRACT

A fixed point result is given for a class of functional contractions over local Branciari metric spaces. It extends some contributions in the area due to Fora et al [Mat. Vesnik, 61 (2009), 203-208].

연구 동기 및 목표

• 표준 거리와 브랑키아리 거리를 일반화하는 변수 다면체 부등식 조건을 允許하는 국소 브랑키아리 거리 공간으로 고정점 이론을 확장하기 위해.
• 이러한 공간에서 기능적 수축 사상이 고유한 고정점을 가지는 조건을 설정하기 위해.
• Hausdorff 성질과 완비성 가정을 궤도 완비성과 국소 구조를 사용하여 약화시킬 수 있음을 보여주기 위해.
• Fora 등, Das와 Dey, 그리고 Leader의 기존 결과를 강력한 재귀 함수를 포함한 마츠코프 유형 수축을 도입하여 일반화하기 위해.
• 공간의 정규성 조건(예: Hausdorff)이 필요하지 않음을 확인하여, Kikina와 Kikina의 이전 관찰을 뒷받침하기 위해.

제안 방법

• 각 효과적으로 가산 부분집합 M에 대해 (2+k)-다면체 부등식을 만족하는 반사적이고 충분한 대칭 거리로 국소 브랑키아리 거리를 정의하며, k는 M에 따라 달라진다.
• 이 일반화된 거리 프레임워크에서 d수렴과 d-Cauchy 수열의 개념을 도입한다.
• 기능적 수축 조건을 사용: d(Tx,Ty) ≤ φ(F(x,y))이며, 여기서 φ는 Fr(R+)에 속하는 강력한 재귀 함수이며, F는 x, y, Tx, Ty 간의 거리들을 포함한다.
• 궤도 완비성 하에서 T-궤도 수열 (T^n x)이 고유한 고정점으로 d수렴함을 증명한다.
• 극한 z ≠ Tz 라고 가정하고 모순을 유도하는 방식을 사용하며, 점들의 체인과 다면체 부등식을 적용하여 φ(ρ) ≥ ρ를 도출하고, 이는 φ의 강력한 재귀성과 모순된다.
• 표준 완비성의 경우로 결과를 확장하며, d가 표준 거리이거나 사면체 부등식을 만족할 경우 기존 정리로 축소됨을 보인다.

실험 결과

연구 질문

• RQ1 Hausdorff 성질을 요구하지 않고 국소 브랑키아리 거리 공간으로 기능적 수축에 대한 고정점 결과를 확장할 수 있는가?
• RQ2 수축 함수 φ에 대한 어떤 조건이 이러한 공간에서 고정점의 존재성과 고유성을 보장하는가?
• RQ3 궤도 완비성이 국소 브랑키아리 거리 공간에서 반복 수열의 수렴을 보장하는 데 충분한가?
• RQ4 (2+k)-다면체 부등식이 고정점 이론에서 삼각부등식과 사면체 부등식을 어떻게 일반화하는가?
• RQ5 측도 공간의 정규성 가정을 얼마나 약화시켜도 고정점 성질이 유지되는가?

주요 결과

• 강력한 재귀 함수 φ를 포함하는 기능적 수축 조건을 만족하는 임의의 자가사상 T는 국소 브랑키아리 거리 공간에서 고유한 고정점을 가진다.
• 공간이 T-궤도 완비일 경우, 임의의 초기점 x에 대해 T-궤도 수열 (T^n x)이 고정점으로 d수렴함을 보여준다.
• d가 표준 거리일 경우 고전적 반바흐 수축 원리로 일반화되며, 거리 공간에서의 리더 결과를 확장한다.
• 증명 과정에서 극한 z ≠ Tz 라고 가정하면 ρ ≤ φ(ρ)를 도출하고, 이는 φ의 강력한 재귀성과 모순되므로 ρ = 0임을 보여준다.
• 이전 결과에서 Fora 등이 요구한 φ에 대한 상한 연속성 조건을 제거할 수 있으며, 수렴 증명에 이를 필요로 하지 않는다.
• φ가 Boyd-Wong 유형 함수일 경우, 이 정리는 Das와 Dey(2012)의 결과를 특수한 경우로 포함한다.