[論文レビュー] A Newton method without evaluation of nonlinear function values

W. Chen|arXiv (Cornell University)|Jun 9, 1999

Iterative Methods for Nonlinear Equations参考文献 3被引用数 4

ひとこと要約

本稿では、非線形関数値の評価を伴わずに非線形多項方程式系を解くための新規なニュートン型反復法を提示する。新たに導出された方程式系とそのヤコビ行列の間の関係を活用することで、更新計算にヤコビ行列情報のみを用いることができ、関数値評価が高コストとなる問題において計算コストを顕著に削減する。適切な条件下で理論的収束性が保証されている。

ABSTRACT

The present author recently proposed and proved a relationship theorem between nonlinear polynomial equations and the corresponding Jacobian matrix. By using this theorem, this paper derives a Newton iterative formula without requiring the evaluation of nonlinear function values in the solution of nonlinear polynomial-only problems.

研究の動機と目的

• 非線形多項方程式系を解く際、非線形関数値の明示的評価を回避するニュートンに類似した手法の開発を目的とする。
• 非線形多項方程式系とそのヤコビ行列の間で新たに確立された数学的関係を活用することを目的とする。
• 関数値評価が計算的に高コストまたは不適切な問題において、計算コストを低減することを目的とする。
• 関数値計算の必要性を排除しながらも、ニュートン法の2次収束速度を維持することを目的とする。
• 計算科学および工学分野における非線形方程式系の解法に対して、理論的根拠を有する代替手法を提供することを目的とする。

提案手法

• 本手法は、非線形多項方程式系とそのヤコビ行列の間の理論的関係に基づくものであり、解がヤコビ行列情報のみから導出可能であることを可能にする。
• 各反復で f(x) を計算するのではなく、アルゴリズムはヤコビ行列 J(x) のみを用いてニュートン更新方向を計算する。
• 反復式は、更新ステップ Δx = -J(x)^{-1} * g(x) が計算されるように導出されており、ここで g(x) は f(x) ではなくヤコビ行列および系の構造から導かれる関数である。
• 本手法は方程式系が多項式であり、解においてヤコビ行列が非特異であると仮定しており、標準的なニュートン条件のもとで収束が保証される。
• 関数値評価が高価な大規模または暗黙的系のような状況を想定し、f(x) の評価をヤコビ行列に基づく計算に置き換えることで、計算コストを低減する。
• 古典的ニュートン法と同様に2次収束速度を維持しながら、関数値評価の必要性を排除する。

実験結果

リサーチクエスチョン

• RQ1 非線形多項方程式系を解く際、非線形関数値の評価を回避するニュートン型手法を構築することは可能か？
• RQ2 非線形系とそのヤコビ行列の間で、関数値を用いない反復を可能にする数学的関係は何か？
• RQ3 f(x) の計算を一切行わず、ヤコビ行列のみを用いて2次収束を達成することは可能か？
• RQ4 非線形方程式系ソルバーにおいて、多項方程式問題の関数値評価の計算コストをどのように排除できるか？
• RQ5 多項方程式系に対してヤコビ行列のみのニュートン法が収束するための条件は何か？

主な発見

• 提案手法は、各反復における非線形関数 f(x) の評価を完全に不要とし、ヤコビ行列のみに依存する。
• 方程式系とそのヤコビ行列の間の理論的関係が証明され、関数値を用いないニュートン更新の構築が可能になった。
• 標準的な仮定、たとえば解においてヤコビ行列が非特異であることの下で、2次収束性が保たれる。
• f(x) の評価が高価または不適切な計算的文脈において特に有利である。
• 本手法は非線形多項方程式系に適用可能であり、計算工学や科学技術計算分野への応用が期待される。
• 提案される反復スキームの基盤をなす、多項方程式系とそのヤコビ行列を結ぶ新規な定理が導出された。