카라마타 정규성으로 고정점 문제의 구체적 수렴 속도

초록

본 논문은 Karamata 정규 연산자를 도입하여 Hölder 조건을 벗어난 경우에도 반복 알고리즘의 수렴 속도를 명시적인 함수 형태로 제시한다. 정규 변동 함수 이론을 활용해 비선형·비다항식 데이터(지수·로그 포함)에서도 선형·아선형 사이의 새로운 수렴 구간을 얻으며, o‑minimal 구조에 정의된 연산자는 모두 Karamata 정규성을 만족함을 증명한다.

상세 분석

이 논문은 고정점 문제 (1.1) 에 대해 기존의 Hölder‑type 오류 경계가 적용되지 않을 때도 구체적인 수렴 속도를 도출할 수 있는 새로운 정규성 개념인 “Karamata 정규 연산자”를 정의한다. 정규 변동 함수 (f\in RV_{\rho}) 의 정의와 그 계산법(극한 (\lim_{x\to\infty}f(\lambda x)/f(x)=\lambda^{\rho}))을 이용해, 연산자 (T_i) 와 그 고정점 집합 (Fix,T_i) 에 대한 정규성 함수를 구성한다. 핵심은 이 정규성 함수를 여러 번 함수 변환(곱, 합, 거듭제곱, 합성)한 뒤, 정규 변동 이론의 계산 규칙을 적용해 변환 후에도 정규 변동성을 유지한다는 점이다.

정리 3.1 에서 “joint Karamata regularity”를 정의하고, 정리 3.7 에서는 quasi‑cyclic 알고리즘에 대한 추상적인 수렴 구간을 제시한다. 여기서 얻어지는 수렴 경계는
\