[논문 리뷰] Nonexpansive iterations in uniformly convex $W$-hyperbolic spaces

Laurenţiu Leuştean|ArXiv.org|2008. 10. 22.

Optimization and Variational Analysis참고 문헌 18인용 수 52

한 줄 요약

이 논문은 균일하게 볼록한 $W$-하이퍼볼릭 공간에 대해 단조 모듈러스를 갖는 $UCW$-하이퍼볼릭 공간($UCW$-하이퍼볼릭 공간)을 도입하고, 이는 균일하게 볼록한 바나흐 공간과 $CAT(0)$-공간을 일반화한 것으로, 증명 광물 기법을 사용하여 비팽창 매핑의 이시카와 반복에서의 점근적 정규성에 대한 효과적이고 균일한 수렴 속도를 확립한다. 주요 기여는 이시카와 반복에 대해 처음으로 효과적이고 균일한 수렴 속도를 도출한 것으로, 조건은 모듈러스의 균일한 볼록성, 집합의 지름, 반복 수열의 매개변수에만 의존한다.

ABSTRACT

We propose the class of uniformly convex $W$-hyperbolic spaces with monotone modulus of uniform convexity ($UCW$-hyperbolic spaces for short) as an appropriate setting for the study of nonexpansive iterations. $UCW$-hyperbolic spaces are a natural generalization both of uniformly convex normed spaces and CAT(0)-spaces. Furthermore, we apply proof mining techniques to get effective rates of asymptotic regularity for Ishikawa iterations of nonexpansive self-mappings of closed convex subsets in $UCW$-hyperbolic spaces. These effective results are new even for uniformly convex Banach spaces.

연구 동기 및 목표

• 비팽창 반복을 연구하기 위한 통합 프레임워크로 $UCW$-하이퍼볼릭 공간을 제안함으로써, 균일하게 볼록한 바나흐 공간과 $CAT(0)$-공간을 일반화한다.
• 완전한 $UCW$-하이퍼볼릭 공간에서 비팽창 매핑에 대해 유일한 점근적 중심과 고정점의 존재를 확립한다.
• 증명 광물 기법을 적용하여 $UCW$-하이퍼볼릭 공간에서 이시카와 반복의 효과적이고 균일한 수렴 속도를 추출한다.
• 비패방 매핑이나 시작점에 관계없이, 오직 모듈러스의 균일한 볼록성, 집합의 지름, 반복 매개변수에만 의존하는 정량적 수렴 속도를 제공한다.

제안 방법

• 완전한 $W$-하이퍼볼릭 공간에 단조 모듈러스를 갖는 볼록성 조건을 도입하여 $UCW$-하이퍼볼릭 공간를 정의함으로써, 체비셰프 집합과 유계 닫힘 볼록 집합의 감소 수열의 공통 원소와 같은 강력한 기하적 성질를 보장한다.
• 반복 수열의 유계성에 의해 고정점 존재성을 특성화하기 위해 점근적 중심 기법을 사용한다.
• 비구성적 존재 증명을 효과적이고 계산 가능한 수렴 속도로 변환하기 위해 증명 광물 기법을 적용하여 이시카와 반복 수열 $d(x_n, Tx_n) \to 0$의 수렴 속도를 도출한다.
• 크라스노셀스키-만 및 할퍼른 반복에 대한 이전 연구의 방법을 융합하여 점근적 정규성의 정량적 속도를 유도한다.
• 오차 $\varepsilon$, 모듈러스 $\eta$, 지름 $d_C$, 반복 매개변수에 따라 $d(x_n, Tx_n) < \varepsilon$를 만족하는 모든 $n \geq \Phi$를 보장하는 명시적 경계 $\Phi(\varepsilon, \eta, d_C, \theta, L, N_0, \gamma)$를 유도한다.
• 상수 $\lambda_n = \lambda \in (0,1)$ 및 합산 가능한 $s_n$의 경우를 단순화하여, $\varepsilon$, $d_C$, $\lambda$, $\sum s_n$의 코시 모듈러스에 명시적으로 의존하는 닫힌 형태의 표현식을 제공한다.

실험 결과

연구 질문

• RQ1 비팽창 매핑의 이시카와 반복에서 점근적 정규성은 일반화된 기하 설정에서 효과적이고 균일한 속도로 정량화될 수 있는가?
• RQ2 $UCW$-하이퍼볼릭 공간에서 비팽창 매핑의 고정점 존재성은 반복 수열의 유계성과 관련이 있으며, 이는 정량적으로 특성화될 수 있는가?
• RQ3 증명 광물 기법을 통해 $UCW$-하이퍼볼릭 공간에서 이시카와 반복의 계산 가능한 수렴 속도를 도출할 수 있는가, 즉 균일하게 볼록한 바나흐 공간의 경우에도 마찬가지인가?
• RQ4 효과적 수렴 속도는 공간의 기하학, 균일한 볼록성 모듈러스, 반복 매개변수에 따라 어떻게 달라지는가?
• RQ5 집합 $C$가 유계일 경우, 비팽창 매핑 $T$와 시작점 $x$에 관계없이 수렴 속도를 독립적으로 만들 수 있는가?

주요 결과

• 논문은 완전한 $UCW$-하이퍼볼릭 공간에서 유계 수열에 대해 유일한 점근적 중심이 존재함을 증명하며, 이는 균일하게 볼록한 바나흐 공간의 핵심 성질을 일반화한다.
• 비팽창 매핑에 대해 $UCW$-하이퍼볼릭 공간에서 고정점 존재성의 새로운 특성화가 제시되며, 이는 브라우더-고에-키르크 정리의 일반화이다.
• 이시카와 반복에 대해 $UCW$-하이퍼볼릭 공간에서 효과적이고 균일한 점근적 정규성 수렴 속도가 도출되었으며, 이는 균일하게 볼록한 바나흐 공간의 경우에도 처음으로 성립하는 결과이다.
• 집합 $C$가 유계일 경우, 수렴 속도 $\Phi(\varepsilon, \eta, d_C, \theta, L, N_0, \gamma)$는 $T$와 $x$에 대해 균일하며, 오직 $\varepsilon$, $d_C$, $\eta$, 반복 매개변수에만 의존한다.
• 상수 $\lambda_n = \lambda$ 인 경우, 수렴 속도는 $\Phi(\varepsilon, \eta, d_C, \lambda, L, N_0, \delta)$로 단순화되며, $\varepsilon$, $d_C$, $\lambda$, $\sum s_n$의 코시 모듈러스 $\delta$에 명시적으로 의존하고, 닫힌 형태의 표현식이 제공된다.
• $CAT(0)$-공간의 경우, 수렴 속도는 $\Phi(\varepsilon, d_C, \lambda, L, N_0, \delta) = \left\lceil \frac{D}{\varepsilon^2} \right\rceil + M$ ($\varepsilon \leq 4Ld_C$)로 표현되며, $D = \frac{16L^2d_C(d_C+1)}{\lambda(1-\lambda)}$ 이다. 이는 $\varepsilon^{-2}$에 대해 이차적 의존성을 보인다.