[論文レビュー] Kantorovich's Theorem on Newton's Method

O. P. Ferreira, B. F. Svaiter|arXiv (Cornell University)|Sep 25, 2012

Iterative Methods for Nonlinear Equations参考文献 10被引用数 5

ひとこと要約

本稿では、非線形作用素 $ F $ を二次スカラー関数 $ f(t) = \frac{L}{2}t^2 - t + b $ によってスカラー主要関数の観点から比較することにより、ニュートン法におけるカンタロヴィチの定理の簡略化された証明を提示する。Banach空間における設定で、ニュートン反復が一意解にQ線形収束する不変領域を定義し、より厳しい条件下では2次収束を示す。

ABSTRACT

In this work we present a simplifyed proof of Kantorovich's Theorem on Newton's Method. This analysis uses a technique which has already been used for obtaining new extensions of this theorem.

研究の動機と目的

• ニュートン法におけるカンタロヴィチの定理の簡略化証明を、新しい解析的技法を用いて提供すること。
• Banach空間における半局所的条件下で $ F(x) = 0 $ の解の存在と一意性を確立すること。
• 初期点の周囲に明確に定義された球内において、ニュートン反復が一意の零点に収束することを示すこと。
• 古典的結果を拡張し、Q線形収束およびより厳しい条件下でQ2次収束率を示すこと。

提案手法

• 非線形作用素 $ F $ のノルムを支配するスカラー主要関数 $ f(t) = \frac{L}{2}t^2 - t + b $ を定義する。
• 関数 $ f $ におけるニュートン反復によって定義される列 $ \{t_k\} $ を構成し、これは $ F $ のニュートン反復 $ \{x_k\} $ の主要関数として機能する。
• もし $ x_k \in B[x_0, t_k] $ ならば、$ x_{k+1} = x_k - F'(x_k)^{-1}F(x_k) \in B[x_0, t_{k+1}] $ が成り立つことを証明し、領域の不変性を保証する。
• 不等式 $ \|x_* - x_{k+1}\| \leq \frac{t_* - t_{k+1}}{(t_* - t_k)^2} \|x_* - x_k\|^2 $ を用いて収束速度を導出する。
• $ t_k \to t_* $ が $ k \to \infty $ のとき成り立ち、$ t_* = \frac{1 - \sqrt{1 - 2bL}}{L} $ および $ t_{**} = \frac{1 + \sqrt{1 - 2bL}}{L} $ であり、収束半径を定義する。
• $ \theta = t_*/t_{**} < 1 $ を用いて、$ 2bL < 1 $ のときQ2次収束の上限を導出する。

実験結果

リサーチクエスチョン

• RQ1 スカラー主要関数のアプローチを用いて、ニュートン法におけるカンタロヴィチの定理の簡略化証明を構築できるか？
• RQ2 ニュートン反復が初期点の周囲に明確に定義された不変領域内に留まるための条件は何か？
• RQ3 半局所的設定において、パラメータ $ b $ と $ L $ がニュートン法の収束速度にどのように影響するか？
• RQ4 $ F(x) = 0 $ の解が球 $ B[x_0, t_*] $ 内で一意であるための条件は何か？
• RQ5 $ 2bL < 1 $ のとき、収束速度の明確な定量的上限は何か？

主な発見

• 定理1の仮定のもとで、ニュートン反復 $ \{x_k\} $ は良好に定義され、$ B[x_0, t_*] $ 内に留まる。
• 解 $ x_* $ は $ B[x_0, t_*] $ 内で $ F $ の唯一の零点であり、$ \|x_* - x_{k+1}\| \leq \frac{1}{2}\|x_* - x_k\| $ を満たすため、Q線形収束が示される。
• $ 2bL < 1 $ のとき、収束はQ2次に拡張される：$ \|x_* - x_{k+1}\| \leq \frac{1 - \theta^{2^k}}{1 + \theta^{2^k}} \cdot \frac{L}{2\sqrt{1 - 2bL}} \|x_* - x_k\|^2 $、ここで $ \theta = t_*/t_{**} < 1 $。
• 任意の $ \rho \in [t_*, t_{**}) $ に対して、$ B[x_0, \rho] \subset C $ ならば、解 $ x_* $ は $ B[x_0, \rho] $ 内でも唯一の零点である。
• 閉形式で表される $ t_k $ の式が導出される：$ t_k = t_* - \frac{\theta^{2^k}}{1 - \theta^{2^k}} \cdot \frac{2\sqrt{1 - 2bL}}{L} $、ここで $ \theta = t_*/t_{**} $。
• スカラー主要関数を用いた証明技法は、古典的設定を超えてカンタロヴィチの定理を一般化するための統一的枠組みを提供する。