[논문 리뷰] Comparison of The Speed of Convergence Among Various Iterative Schemes

Vatan Karakaya, Faik Gürsoy외 1명|arXiv (Cornell University)|2014. 02. 25.

Fixed Point Theorems Analysis참고 문헌 18인용 수 8

한 줄 요약

이 논문은 바나흐 공간에서 수축 사상의 고정점을 근사하기 위한 반복적 방법의 수렴 속도를 비교한다. 수축 사상에 대해 CR 반복 방법이 카라한-오즈데미르 삼단계 방법보다 더 빠르게 수렴함을 증명하며, 사상의 변형에 따른 고정점의 데이터 의존성 결과를 수립한다.

ABSTRACT

We show that iterative scheme due to Karahan and Özdemir (2013) can be used to approximate fixed point of contraction mappings. Furthermore, we prove that CR iterative scheme converges faster than the iterative scheme due to Karahan and Özdemir (2013) for the class contraction mappings. Finally, we prove a data dependence result for contraction mappings by employing iterative scheme due to Karahan and Özdemir (2013).

연구 동기 및 목표

• 수축 사상에 대해 카라한-오즈데미르 삼단계 반복 방법의 수렴 행동을 분석한다.
• 수축 사상에 대해 CR 반복 방법과 카라한-오즈데미르 방법 간의 수렴 속도를 비교한다.
• 사상의 변형 하에서 카라한-오즈데미르 반복 방법을 사용하여 고정점의 데이터 의존성 결과를 수립한다.
• 바나흐 공간에서 고정점 근사에 대해 CR 반복 방법이 더 빠르고 안정적임을 이론적으로 입증한다.

제안 방법

• 카라한-오즈데미르 반복 방법은 [0,1] 내의 세 개의 매개수 α₁ⁿ, α₂ⁿ, α₃ⁿ를 포함하는 세 단계의 재귀적 절차로 정의되며, 바나흐 공간의 부분집합 S 위의 자기사상 T에 적용된다.
• CR 반복 방법은 유사한 매개수 제약 조건을 가진 세 단계의 재귀적 구조를 분석하며, 중간 점들은 T의 이미지와 현재 반복값의 볼록 조합을 통해 갱신된다.
• 수렴 분석은 ||Tx - Ty|| ≤ δ||x - y|| 조건을 사용하며, δ ∈ (0,1) 이므로 유일한 고정점으로 수렴함을 보장한다.
• 수렴 속도는 점근적 등가성과 오차 한계를 통해 비교되며, CR 반복 방법이 카라한-오즈데미르 방법보다 더 빠르게 수렴함을 보여준다.
• 데이터 의존성은 ||T̃x - Tx|| ≤ ε 인 변형된 사상 T̃을 도입하여, T와 T̃의 고정점 간의 거리에 대한 한계를 유도함으로써 연구된다.
• 삼각 부등식과 수축 성질을 사용하여 부등식을 유도하며, 변형 하에서 고정점 오차에 대한 한계 ||x* - u*|| ≤ 5ε/(1 - δ) 를 도출한다.

실험 결과

연구 질문

• RQ1 카라한-오즈데미르 삼단계 반복 방법은 수축 사상의 고정점으로 수렴하는가?
• RQ2 수축 사상에 대해 CR 반복 방법의 수렴 속도는 카라한-오즈데미르 방법보다 어떻게 비교되는가?
• RQ3 카라한-오즈데미르 방법을 사용할 때 사상의 변형에 따른 고정점의 데이터 의존성 행동은 어떠한가?
• RQ4 CR 반복 방법이 수렴 속도 측면에서 카라한-오즈데미르 방법과 등가이며 더 빠르다는 것을 증명할 수 있는가?
• RQ5 사상이 ε 만큼 변형되었을 때 고정점 오차의 정량적 한계는 무엇인가?

주요 결과

• 카라한-오즈데미르 삼단계 반복 방법은 ||Tx - Ty|| ≤ δ||x - y|| 를 만족하는 수축 사상 T에 대해 고정점으로 수렴한다. 여기서 δ ∈ (0,1).
• 모든 수축 사상에 대해 CR 반복 방법은 오차 수열의 점근적 비교를 통해 카라한-오즈데미르 방법보다 더 빠르게 수렴함을 보여준다.
• CR 방법은 카라한-오즈데미르 방법과 점근적으로 등가이지만, 수렴 속도가 엄밀히 더 빠르다는 것이 증명된다.
• ||T̃x - Tx|| ≤ ε 인 변형된 사상 T̃에 대해, T와 T̃의 고정점 간의 거리에 대한 한계 ||x* - u*|| ≤ 5ε/(1 - δ) 가 도출되어 데이터 의존성 결과가 수립된다.
• 변형 하에서 카라한-오즈데미르 방법의 수렴 한계는 ||pₙ - p̃ₙ|| ≤ [1 - αₙ¹(1 - δ)]||pₙ₋₁ - p̃ₙ₋₁|| + αₙ¹(1 - δ)(5ε)/(1 - δ) 로 유도되며, 최종 오차 한계로 이어진다.
• 분석 결과 고정점 오차가 5ε/(1 - δ) 로 균일하게 유계이므로, 반복 인덱스에 관계없이 ε 과 δ 에만 의존함을 확인한다.