Discontinuity at the fixed point in suprametric spaces

기술적 요약: 초계량 공간의 고정점에서의 불연속성

문제 제기 및 동기
본 논문은 Berzig가 도입한 거리 공간의 일반화인 완전 초계량 공간에서의 자기 사상에 대한 고정점의 존재성과 유일성을 다룬다. 이 연구의 핵심 동기는 B. E. Rhoades (1988) 가 제기한 미해결 문제, 즉 "고정점을 생성할 만큼 충분히 강력한 수축 정의를 갖되, 고정점에서의 사상의 연속성을 강제하지 않는 정의가 존재하는가?"이다.

고전적인 고정점 정리들 (예: Banach–Picard–Caccioppoli) 은 종종 연속성을 요구하며, Istrătescu 의 2 차 볼록 수축에 관한 결과도 전역 연속성에 의존하는 반면, 본 논문은 초계량 공간의 맥락에서 고정점을 보장하기에 약한 조건, 구체적으로 $k$-연속성 또는 궤도 하반연속성이 충분한지 여부를 조사한다. 저자들은 Rhoades 가 제기한 연속성 문제를 해결하면서 볼록 수축 및 준수축 (Sehgal, ´Ciri´c, Fisher) 에 관한 기존 결과를 더 넓은 설정으로 일반화하는 것을 목표로 한다.

방법론 및 프레임워크
저자들은 대칭성, 구별불가능성의 동일성, 그리고 수정된 삼각부등식을 만족하는 함수로 정의된 초계량 공간 $(X, d)$ 프레임워크 내에서 작업한다:
$$d(x, y) \leq d(x, z) + d(z, y) + \rho d(x, z)d(z, y)$$
여기서 $\rho \geq 0$인 상수이다.

방법론은 다음을 포함한다:

1. 수축 조건의 일반화: $m$차 볼록 수축과 준수축 (´Ciri´c 와 Fisher 의 것을 포함) 의 정의를 초계량 설정으로 확장한다.
2. 연속성 가정의 완화: 전역 연속성 요구사항을 더 약한 조건으로 대체한다:
   • $k$-연속성: 사상이 $T$가 $T^{k-1}x_n \to z$이면 $T^k x_n \to Tz$를 의미할 때 $k$-연속이다.
   • $T$-궤도 하반연속성: 변위 함수 $D(x) = d(x, Tx)$가 한 점의 궤도 따라 하반연속이다.
   • 조건 (C): 수열의 수렴과 그 변위를 고정점 성질과 연관시키는 특정 조건.
3. 반복적 분석: Picard 반복 ($x_n = T^n x_0$) 을 활용하고 연속 반복에 대한 경계를 설정하여 수열의 코시 성질을 증명한다. 증명들은 종종 초계량 부등식을 표준 거리 공간 기법과 호환되는 형태 (예: 로그 변환 또는 동등 거리 사용) 로 변환하여 수렴을 확립한다.

주요 기여 및 결과

1. $m$차 볼록 수축에 대한 고정점 정리:
   본 논문은 정리 2.1을 수립하여, $m$차 볼록 수축 조건 (여기서 $d(T^m x, T^m y) \leq \sum_{i=0}^{m-1} a_i d(T^i x, T^i y)$이며 $\sum a_i < 1$) 을 만족하는 완전 초계량 공간 위의 자기 사상 $T$가 유일한 고정점을 가진다는 것을 증명한다. 중요한 점은 $T$가 다음 중 어느 하나를 만족할 경우 정리가 성립한다는 것이다:

   • $T$가 $k$-연속이다.
   • 변위 함수 $D(x)$가 $T$-궤도 하반연속이다.
   • $T$가 조건 (C) 를 만족한다.
     이 결과는 2 차에 대한 Istrătescu 의 정리를 일반화하고 초계량 공간에서 $m$차로 확장한다.

2. Rhoades 의 미해결 문제 해결:
   저자들은 그들의 결과가 Rhoades 의 미해결 문제에 대한 "새롭고 독특한 해결책"을 제공한다고 주장한다. $m$차 볼록 수축이 고정점에서의 연속성 요구 없이 (대신 위에서 열거된 더 약한 조건에 의존하여) 유일한 고정점을 생성함을 보여줌으로써, 그러한 수축 정의의 존재를 확인한다.

3. 준수축의 일반화:

   • ´Ciri´c 의 준수축: 정리 3.1은 반복 $n(x)$를 포함하는 일반화된 준수축 부등식을 만족하는 사상에 대한 고정점의 존재를 증명함으로써 ´Ciri´c 의 결과를 초계량 공간으로 일반화한다.
   • Sehgal 의 결과: 정리 3.2는 1969 년 Sehgal 의 수축 원리 일반화를 이 설정으로 확장한다.
   • Fisher 의 준수축: 정리 4.1은 두 개의 고정된 정수 $n$과 $m$ 및 다양한 반복에 대한 최댓값을 포함하는 Fisher 의 1979 년 결과를 확장하여, 다시 완화된 연속성 조건 하에서 유일성을 증명한다.

4. 응용:
   본 논문은 주요 이론적 결과를 2 차 Fredholm 적분 방정식의 해의 존재성과 유일성에 적용한다:
   $$f(x) = \int_a^b K(x, t)f(t) dt$$
   연속 함수 공간 $C[a, b]$ 위에 특정 초계량을 정의함으로써, 저자들은 적분 연산자가 2 차 볼록 수축 조건을 만족함을 보여, 연산자가 전통적인 의미에서 고정점에서 연속일 필요는 없지만 (그렇지만 Lipschitz 연속이며 $k$-연속 조건을 만족함) 유일한 해를 보장한다.

의의 및 주장
본 논문은 $m$차 볼록 수축의 클래스가 완전 초계량 공간에서 고정점을 생성할 만큼 "충분히 강력"하면서도 고정점에서의 불연속성을 허용할 만큼 "충분히 약하다"고 주장한다. 이 구분은 전역 연속성을 필요로 했던 이전 결과들에 비해 중요한 진전으로 제시된다. 저자들은 고전적인 거리 공간 정리들 (예: 거리 성질이나 연속성을 엄격히 요구하는 것들) 이 실패하거나 적용되지 않는 경우에서도 그들의 조건이 만족됨을 보여주는 구체적인 예시 (유한 집합 및 구간 기반 함수 포함) 를 제공한다. 이 연구는 효과적으로 초계량 공간의 일반화된 위상 내에서 Istrătescu 의 볼록 수축과 Rhoades 의 미해결 문제 사이의 간극을 메운다.