[논문 리뷰] A new semilocal convergence theorem for the Weierstrass method from data at one point

Petko D. Proĭnov|ArXiv.org|2007. 09. 07.

Iterative Methods for Nonlinear Equations참고 문헌 2인용 수 11

한 줄 요약

이 논문은 다항식의 근을 구하는 Weierstrass 방법에 대해 새로운 반국소 수렴 정리를 제시하며, 단일 초기점에서의 데이터만을 사용하여 이전 결과들을 향상시킨다. 주요 기여는 기존 오차 한계를 일반화하고 강화하는 함수 φ(x)를 포함한 통합된 수렴 조건을 제안하는 것으로, 이는 이전 정리들보다 더 약한 가정 하에서도 이차 수렴을 보장한다.

ABSTRACT

In this paper we present a new semilocal convergence theorem from data at one point for the Weierstrass iterative method for the simultaneous computation of polynomial zeros. The main result generalizes and improves all previous ones in this area.

연구 동기 및 목표

• 단일 초기점에서의 데이터만을 사용하여 Weierstrass 방법에 대한 새로운 반국소 수렴 정리를 수립함으로써 기존 결과를 일반화하고 향상시키는 것.
• 복소수 공간에서 Weierstrass 반복 수열의 더 날카운 사전 및 사후 오차 추정치를 도출하는 것.
• 새로운 함수 φ(x)를 도입하여 이전의 수렴 조건을 통합하고 확장하는 것.
• 다양한 p-노름과 다항식 차수에 적용 가능한 더 포괄적이고 강력한 수렴 기준을 제공하는 것.

제안 방법

• Weierstrass 보정 W(z)와 점 간 최소 거리 d(z)의 비율의 p-노름에 기반한 새로운 수렴 기준을 도입한다.
• 수렴 행동을 지배하는 실수 함수 φ(x) = [(n−1)^{1/q}x / ((1−x)(1−2^{1/q}x))] × [1 + x/((n−1)^{1/p}(1−2^{1/q}x))]^{n−1}를 정의한다.
• 수렴 조건 E(z⁰) < 1/2^{1/q} 및 φ(E(z⁰)) ≤ 1은 Weierstrass 수열이 근벡터로 잘 정의되고 수렴하도록 보장한다.
• 사전 오차 추정치는 ||zᵏ − ξ||_p ≤ [θᵏλ^{2ᵏ−1}/(1−θλ^{2ᵏ})] ||z¹ − z⁰||_p 로 유도되며, 여기서 λ = φ(E(z⁰)) 및 θ = 1−2^{1/q}E(z⁰) 이다.
• 사후 오차 추정치는 ||zᵏ⁺¹ − ξ||_p ≤ [θₖλₖ/(1−θₖλₖ²)] ||zᵏ⁺¹ − zᵏ||_p 로 제공되며, 여기서 λₖ = φ(E(zᵏ)) 및 θₖ = 1−2^{1/q}E(zᵏ) 이다.
• φ(E(z⁰)) < 1 조건 하에서 이전 결과들을 일반화하고 향상시키며, 더 넓은 범위의 초기점을 允許하면서도 이차 수렴을 유지한다.

실험 결과

연구 질문

• RQ1 단일 초기점에서의 데이터만을 사용하여 Weierstrass 방법에 대해 더 일반적이고 날카운 수렴 기준을 설정할 수 있는가?
• RQ2 다양한 p-노름과 다항식 차수에서 수렴 행동과 오차 추정치를 어떻게 향상시킬 수 있는가?
• RQ3 수렴 임계값을 포괄하고 이차 수렴을 보장하는 최적의 함수 φ(x)는 무엇인가?
• RQ4 단일이고 해석적으로 다룰 수 있는 함수를 통해 기존 수렴 조건을 통합하고 강화할 수 있는가?
• RQ5 새로운 기준은 수렴 반경과 오차 한계 측면에서 이전 결과와 정량적으로 어떻게 비교되는가?

주요 결과

• 수렴 조건 E(z⁰) < 1/2^{1/q} 및 φ(E(z⁰)) ≤ 1은 Weierstrass 수열이 다항식의 근벡터로 잘 정의되고 수렴하도록 보장한다.
• φ(E(z⁰)) < 1 조건 하에서 이차 수렴이 보장되며, 이는 이전 결과들이 요구했던 더 엄격한 초기 조건보다 향상된 것이다.
• 사전 오차 추정치 ||zᵏ − ξ||_p ≤ [θᵏλ^{2ᵏ−1}/(1−θλ^{2ᵏ})] ||z¹ − z⁰||_p 는 수렴 속도에 대한 날카운 경계를 제공한다.
• 사후 추정치 ||zᵏ⁺¹ − ξ||_p ≤ [θₖλₖ/(1−θₖλₖ²)] ||zᵏ⁺¹ − zᵏ||_p 는 반복 과정 중 동적 오차 모니터링을 가능하게 한다.
• 함수 φ(x)는 Batra, Petković, Zheng, Wang-Zhao의 모든 이전 수렴 정리를 일반화하고 향상시킨다.
• p=∞ 인 경우, 새로운 기준은 Petković 및 Herceg의 결과를 향상시켜 더 큰 수렴 반경을 허용하며, SOR 방법의 hₖ 값은 Wang-Zhao의 매개변수보다 50% 이상 크다.