[논문 리뷰] A fixed point theorem for contractions in modular metric spaces

V Chistyakov Vyacheslav|arXiv (Cornell University)|2011. 12. 23.

Fixed Point Theorems AnalysisMathematics참고 문헌 24인용 수 21

한 줄 요약

이 논문은 체스티아코프에 의해 도입된 모듈러 미터릭 공간에서 수축 사상에 대한 고정점 정리를 수립한다. 이는 거리 수축에 기반한 고전적 고정점 정리와는 달리, 일반화된 평균 속도 수축에 초점을 맞추며, 수렴은 거리 수렴이 아니라 더 약한 모듈러 수렴 방식으로 발생한다.

ABSTRACT

The notion of a (metric) modular on an arbitrary set and the corresponding modular space, more general than a metric space, were introduced and studied recently by the author [V.V. Chistyakov, Metric modulars and their application, Dokl. Math. 73(1) (2006) 32–35, and Modular metric spaces, I: Basic concepts, Nonlinear Anal. 72(1) (2010) 1–14]. In this paper we establish a fixed point theorem for contractive maps in modular spaces. It is related to contracting rather “generalized average velocities” than metric distances, and the successive approximations of fixed points converge to the fixed points in a weaker sense as compared to the metric convergence.

연구 동기 및 목표

• 표준 미터릭 공간을 일반화하는 모듈러 미터릭 공간으로 고정점 이론을 확장한다.
• 모듈러 미터릭 맥락에서 수축 사상에 대한 고정점 결과가 부족한 문제를 해결한다.
• 전통적인 미터릭 거리가 아닌 모듈러 함수형에 기반한 수렴을 정의한다.
• 모듈러 위상에서 반복 근사가 고정점으로 수렴하는 조건을 확립한다.
• 수렴이 미터릭 공간보다 더 약한 방식으로 이루어지는 모듈러 설정으로 고전적 수축 사상 원리의 일반화를 시도한다.

제안 방법

• 함수족을 통한 볼록 함수형에 의해 정의된 집합 위의 모듈러 미터릭 개념을 활용한다.
• 기존의 미터릭이 아닌 모듈러 미터릭에 기반한 수축 사상의 개념을 도입한다.
• 모듈러 공간에서의 수축 행동을 모델링하기 위해 '일반화된 평균 속도' 개념을 적용한다.
• 모듈러 함수형에 의해 정의된 모듈러 위상에서 반복 수열의 수렴을 확립한다.
• 모듈러 공간 이론의 기법을 활용하여 고정점의 존재성과 수렴성을 증명한다.
• 수렴이 모듈러 의미에서 이루어지며, 이는 차이의 모듈러가 0으로 수렴한다는 것을 의미하지만, 반드시 거리가 0으로 수렴하는 것은 아님을 보여준다.

실험 결과

연구 질문

• RQ1 모듈러 미터릭 공간에서 수축 사상에 대한 고정점 정리를 수립할 수 있는가?
• RQ2 반복 수열의 수렴이 고전적 미터릭 공간과 비교하여 모듈러 공간에서 어떻게 행동하는가?
• RQ3 일반화된 평균 속도는 모듈러 설정에서 수축을 정의하는 데 어떤 역할을 하는가?
• RQ4 수렴이 모듈러 함수형에 의해 정의될 때 고정점은 어떤 의미에서 나타나는가?
• RQ5 제안된 프레임워크는 고전적 반복 원리의 어떤 방식으로 일반화되는가?

주요 결과

• 모듈러 미터릭 공간에서 수축 사상에 대한 고정점 정리가 수립되었으며, 이는 고전 결과를 더 넓은 프레임워크로 일반화한다.
• 반복 근사의 수렴은 더 강한 미터릭 의미가 아니라 모듈러 위상에서 발생한다.
• 수축 조건은 모듈러 함수형에 의해 정의되며, 일반화된 평균 속도의 행동을 반영한다.
• 제안된 모듈러 수축 조건 하에 고정점이 보장된다.
• 이 결과는 수렴이 미터릭 공간보다 더 약한 방식으로 이루어지는 모듈러 공간으로 고전적 반복 원리의 일반화를 시도한다.
• 이 프레임워크는 균일한 볼록성 또는 완비성의 부재로 인해 표준 미터릭 도구가 부적절한 공간에의 응용을 가능하게 한다.