[논문 리뷰] Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces

Ulrich Kohlenbach, Laurenţiu Leuştean|ArXiv.org|2007. 07. 11.

Optimization and Variational Analysis참고 문헌 20인용 수 5

한 줄 요약

이 논문은 균일하게 볼록한 하이퍼볼릭 공간에서 점점 더 비확장성 사상에 대한 고정점 정리를 수립하고, 증명 광물 기법을 사용하여 크라스노세르스키-만 반복의 메타안정성에 대한 효과적이고 계산 가능한 경계를 제공한다. 주요 기여는 수열 $\|x_n - T(x_n)\|$ 이 0으로 수렴하는 데 대한 정량적 메타안정성 속도를 제시하는 것으로, 이는 이전 결과를 균일하게 볼록한 노름 공간에서 더 넓은 범주인 CAT(0)-공간과 $\mathbb{R}$-트리 포함의 거리 공간으로 일반화한다.

ABSTRACT

This paper provides a fixed point theorem for asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces as well as new effective results on the Krasnoselski-Mann iterations of such mappings. The latter were found using methods from logic and the paper continues a case study in the general program of extracting effective data from prima-facie ineffective proofs in the fixed point theory of such mappings.

연구 동기 및 목표

• 균일하게 볼록한 노름 공간에서의 점점 더 비확장성 사상에 대한 고정점 정리를 더 일반적인 균일하게 볼록한 하이퍼볼릭 공간의 설정으로 확장하기.
• 논리적 증명 광물 기법을 사용하여 이 넓은 설정에서 크라스노세르스키-만 반복의 메타안정성에 대한 효과적이고 계산 가능한 경계를 추출하기.
• 노름 공간에서의 수렴 속도에 관한 이전 결과를 하이퍼볼릭 공간, 특히 CAT(0)-공간과 $\mathbb{R}$-트리로 일반화하기.
• 타오에 의해 체계화된 메타안정성 개념을 사용하여 $\|x_n - T(x_n)\|$ 이 0으로 수렴하는 수량적 버전을 제공하기.
• 계산 가능한 수렴 속도가 없더라도, 단조 기능 해석을 통해 반복 수열의 메타안정성에 대한 균일한 효과적 경계를 추출할 수 있음을 보여주기.

제안 방법

• 저자들은 증명 광물에서 유래한 증명 이론적 방법인 단조 기능 해석을 사용하여 무효성 증명을 효과적인 증명으로 전환하고 명시적인 경계를 도출한다.
• 균일하게 볼록한 하이퍼볼릭 공간 설정으로 [19]에서 제시한 $a_{n+1} \leq (1 + b_n)a_n + c_n$ 를 만족하는 수열에 대한 핵심 보조정리를 일반화한다.
• 증명은 수열 $a_n = d(x_n, p)$ 와 주도 수열 $\alpha_n$ 을 구성하여 반복 과정에서 거리의 성장을 통제하는 데 의존한다.
• 수렴 진술을 유한하고 균일한 메타안정 조건으로 변환하는 논리적 메타정리에 의해 정량적 메타안정성 경계를 유도한다.
• 유한한 반복 함수 $h^n(0)$ 을 사용하여 경계 $N_0 = h^s(0)$ 를 정의하며, $|a_j - a_i| \leq \theta$ 와 $|\alpha_j - \alpha_i| \leq \theta$ 를 모두 $i,j$ 에 대해 $[N_0, N_0 + g(N_0 + 1) + 2]$ 에서 만족시켜 메타안정성을 확보한다.
• 최종 경계 $d(x_m, T(x_m)) < \varepsilon$ 는 균일하게 볼록한 하이퍼볼릭 공간의 기하학적 및 거리적 성질과 볼록성 사상 $W$ 의 볼록성에 기반한 모순에 의해 확립된다.

실험 결과

연구 질문

• RQ1 점점 더 비확장성 사상에 대한 고정점 정리는 균일하게 볼록한 노름 공간에서 균일하게 볼록한 하이퍼볼릭 공간으로 확장될 수 있는가?
• RQ2 균일하게 볼록한 하이퍼볼릭 공간에서 크라스노세르스키-만 반복의 메타안정성에 대한 효과적이고 계산 가능한 경계는 무엇인가?
• RQ3 계산 가능한 수렴 속도가 존재하지 않는 상황에서도 균일한 효과적 메타안정성 속도를 확보할 수 있는가?
• RQ4 증명 광물의 논리적 기법, 특히 단조 기능 해석은 비선형 공간에서의 거리 고정점 이론에 어떻게 적용되는가?
• RQ5 균일하게 볼록한 하이퍼볼릭 공간에서 수열 $\|x_n - T(x_n)\|$ 의 정량적 행동은 어떠한가? 그리고 모든 초기점과 사상에 대해 균일하게 경계를 두는 것이 가능한가?

주요 결과

• 논문은 균일하게 볼록한 하이퍼볼릭 공간에서 점점 더 비확장성 사상에 대한 고정점 정리를 수립하여, 균일하게 볼록한 노름 공간과 CAT(0)-공간의 결과를 일반화한다.
• 크라스노세르스키-만 반복 수열의 메타안정성에 대한 균일한 효과적 경계를 제공하여, 임의의 $\varepsilon > 0$ 과 함수 $g: \mathbb{N} \to \mathbb{N}$ 에 대해 $\|x_m - T(x_m)\| < \varepsilon$ 가 모든 $m \in [N, N + g(N)]$ 에서 성립하는 $N$ 이 존재함을 보장한다.
• CAT(0)-공간의 경우, 근사 고정점 성질에 대해 이차 경계를 도출한다. 구체적으로, 어떤 $p \in C$ 에 대해 $d(p, Tp) \leq \frac{1}{2^{\Phi}(\Phi + K)}$ 를 만족하며, $\Phi$ 는 균일한 볼록성의 모듈러스에 따라 결정된다.
• 메타안정성에 대한 효과적 경계는 함수 $h^n(0)$ 의 유한한 반복을 통해 구성되며, $N_0 = h^s(0) < \Phi = h^M(0)$ 로 정의되어 메타안정 간격의 존재를 보장한다.
• 증명은 $d(x_i, p) \geq \frac{\varepsilon}{f(K)}$ 이고 $d(T^i x_i, x_i) \geq \frac{\varepsilon}{f(K)}$ 라면 모순이 발생함을 보여, 적어도 한 쪽 거리가 작아야 하며 따라서 $d(x_m, T(x_m)) < \varepsilon$ 가 성립함을 이끌어낸다.
• 최종 경계는 불등식 $\varepsilon/2 + (1+K)^2 \theta < \varepsilon$ 를 만족하여 $d(x_m, T(x_m)) < \varepsilon$ 가 성립함을 보장한다. 여기서 $\theta$ 는 볼록성 모듈러스와 함수 $f(K)$ 에 의해 유도된 작은 양수이다.