[論文レビュー] A new semilocal convergence theorem for the Weierstrass method from data at one point

Petko D. Proĭnov|ArXiv.org|Sep 7, 2007

Iterative Methods for Nonlinear Equations参考文献 2被引用数 11

ひとこと要約

本稿では、多項式の根を求めるためのワイエルシュトラス法に対して、1つの初期点からの情報のみを用いて、従来の結果を改善した新しい半局所収束定理を提示する。主な貢献は、関数φ(x)を用いた統一的な収束条件であり、これは既存の誤差境界を一般化・強化し、従来の定理よりも弱い仮定のもとでも2次収束を保証する。

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.

研究の動機と目的

• 単一の初期点からのデータのみを用いて、ワイエルシュトラス法の新しい半局所収束定理を確立し、既存の結果を一般化・改善すること。
• 複素数空間におけるワイエルシュトラス反復列の、より鋭い事前および事後誤差推定を導出すること。
• 新規関数φ(x)の導入により、従来の収束条件を統一・拡張すること。
• さまざまなpノルムおよび多項式の次数に適用可能な、より包括的かつ頑健な収束基準を提供すること。

提案手法

• 本手法は、ワイエルシュトラス補正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が、ワイエルシュトラス列が適切に定義され、根ベクトルに収束することを保証する。
• 事前誤差推定として、||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のもとで2次収束を維持する。

実験結果

リサーチクエスチョン

• RQ1 単一の初期点からの情報のみを用いて、ワイエルシュトラス法のより一般的かつ鋭い収束基準を確立できるか？
• RQ2 さまざまなpノルムおよび多項式の次数にわたって、収束行動と誤差推定をどのように改善できるか？
• RQ3 収束閾値を捉え、2次収束を保証する最適な関数φ(x)は何か？
• RQ4 単一で解析的に取り扱いやすい関数を用いて、既存の収束条件を統一・強化できるか？
• RQ5 新しい基準は、収束半径および誤差境界の観点から、従来の結果と定量的にどのように比較できるか？

主な発見

• 収束条件E(z⁰) < 1/2^{1/q}およびφ(E(z⁰)) ≤ 1が、ワイエルシュトラス列が適切に定義され、多項式の根ベクトルに収束することを保証する。
• φ(E(z⁰)) < 1のとき、2次収束が保証され、従来の定理が要求するより厳しい初期条件を緩和した。
• 事前誤差推定||zᵏ − ξ||_p ≤ [θᵏλ^{2ᵏ−1}/(1−θλ^{2ᵏ})] ||z¹ − z⁰||_pは、収束速度の鋭い上限を与える。
• 事後推定||zᵏ⁺¹ − ξ||_p ≤ [θₖλₖ/(1−θₖλₖ²)] ||zᵏ⁺¹ − zᵏ||_pは、反復中の動的誤差モニタリングを可能にする。
• 関数φ(x)は、バトラ、ペトコビッチ、チェン、ワン＝チョウらの従来の収束定理をすべて一般化・改善する。
• p=∞の場合、新しい基準はペトコビッチとエルチェグの結果を改善し、収束半径を拡大できる。SOR法におけるhₖは、ワン＝チョウのパrameterより50%以上大きい。