A. ニュートン法の進んだ内容
4節では,ニュートン法により,実数解を求める方法を学習した.
そのとき,連立方程式や複素数解が求められると述べた.そこで,諸君の将来のために,
複素数解や連立方程式を求める方法を示しておく.内容は,実数解を求める方法とほとん
ど同じであるが,少しばかり概念を拡張する必要がある.いままでの学習内容を十分理解
していれば,これから述べることは分かるであろう.理解できないにしても,いずれは理
解できるものと期待している.内容が理解できなくても,なにか面白そうだと思ってもら
えれば,十分である.さあ,実数解が求められた者は,より難しい非線形方程式の近似解
を求めよう.
A..1 非線形方程式の複素数解
複素数に進む前に実数のニュートン法の復習を行う.
4節ではでは,
図によるニュートン法の説明を行い,漸化式を示した.この方法は,直感的で分かりやす
いが,複素数解や非線形連立方程式を考える場合は無理がある.図で示すことが出来るの
は2次元までで,それ以上になると図に示すことが不可能であるからである.そこで,別
のアプローチから漸化式を導くことにする.異なった説明をしているようであるが,その
根本精神は全く同じで,
ということである.
それでは,漸化式を求めることにする.いつものように,
の方程式の解を
とする.即ち,
である.そして,
番目の近似解を
とす
る.ここから,
だけ移動したところの値は,
となる.もし,

,即ち,

となるように,

を選ぶことができたら,解の計算は簡単である.この場合,式
(
17)の最後の式から,
 |
(18) |
となる.したがって,

から,次の近似解は
 |
(19) |
となる.
4節で,図により求めた漸化式
13と同じである.異なる説明であったが,内容はまっ
たく同じであることを理解して欲しい.
実数とまったく同じ議論が,複素数でも成り立つ.ただし,複素関数で重要な特異点付近
では,この方法は使えない.テイラー級数ではなく,ローラン級数の

乗よりも小さい
項が重要となるからである.実数の場合も,特異点はだめなのと同じである.ただし,こ
こでは特異点は関係ないので,複素関数でもテイラー展開が使える.

をみたす

は特異点ではない.
実数とまったく同じ議論より,方程式
 |
(20) |
の近似解は,漸化式
 |
(21) |
より求めることができる.この式の算出は,先ほどの実数の場合と全く同じである.
前回とは異なり,実数の場合の漸化式をグラフを用いないで説明したのは,複素数に拡張
するためである.複素数のグラフは大変である.
前節では,ニュートン法による複素数の近似解を求める方法を示した.「非線形連
立方程式」の近似解が求めれれば,概ねニュートン法の学習は終わりである.ちょっと難
しいが,ニュートン法の学習の仕上げとして,「非線形連立方程式」の実数解を求める方
法を示す.非線形連立方程式の複素数解を求めることが残っているが,この講義では示さ
ない.今までのことを理解していれば,その方法も直ぐに理解できるであろう.興味のあ
る人,あるいは必要に迫られた人は,自分で計算方法を考えてみよう.
今まで,諸君は,「非線形の方程式」あるいは「線形の連立方程式」は解いたことがある.
例えば,前者は,
 |
(22) |
のようなものである.後者の例は,
である.非線形方程式は未知数が2次以上のものをいい,連立方程式は未知数が2個以上の
ものをいうのである.非線形とは,直線でないという意味である.未知数が2次以上のも
の,例えば

が式に含まれると,それは直線にならないので,非線形方程式になる.
直線でないという意味からも,

も非線形方程式を形づくる.この場合,

の次
数は無限である.
複素数解まで含めると,非線形な
次方程式には
個の解がある.線形な連立方程式,
元1次
方程式の場合,係数行列が特異でない限り,1個の解がある.では,非線形な連立方程式,
元
次方程式の場合,複素数を含めた解の数はm個のように思えるが,正しいのだろうか?
数学の先生に聞くと,正しいということである.
また,方程式の数と未知数の数は一致しなくてはならないのは,通常の連立方程式と同じ
である.それらの数が同じでも,線形連立方程式では,係数行列の行列式がゼロの場合,
解は一意に決まらない.非線形の連立方程式の場合,これはどのような場合に対応するの
だろうか? 私には,分からない.かなり難しく興味深い問題のように思えるが,ここで
はそのことは考えないことにする.
非線形連立方程式の近似解をニュートン法で計算する方法を示す.次に示す方程式
の近似解を求めることを考える.2元?次非線形連立方程式である.?次とは,いささかい
い加減に書いているが,勘弁してもらいたい.無限次といってよいような気がするが自信
が無いので?マークを付けておく.
さて,この方程式の解であるが,それをグラフに示す.2元であればグラフに書くことが
できるのである.以下の議論は,任意の元の方程式でも成り立つことは理解して欲しい.
これらの方程式をグラフに書くと図9のようになる.図中に示すよう
に,点AとBに実数解があるのが分かるであろう.
初期値から出発して,解であるAやB点に近づく方法を考える.そこで,次のような関数を
考える.
もちろん,

と

が同時に成り立つ,

を求めたいわけである.
いつものように,この非線形連立方程式の解を
とする.当然,
かつ
である.そして,
番目の
近似解を
とする.ここから,
だけ移動したところの
値は,
となる.

の場合も全く同じである.それら,2つをまとめ,

を

に直
すと
となる.
ここで,
かつ
と
なるように,
と
を選ぶとする.このようにするためには,
と
はつぎの連立方程式を満たせばよい.式(28)と
(29)の左辺をゼロとおき式を整理すれば
 |
(30) |
となる.この連立方程式を解いて,

を求める.

から,次の近似解は
となる.これが,非線形連立方程式の漸化式である.
以前の授業で示した方程式の実数解や複素数解を求めたのと同じようなことを,ここでも
行った.式も似ているし,考え方も同じである.以前は,
のような性質を利用した.2元の非線形連立方程式でも同じで,
という性質を利用している.この性質を定量的に表したものがテイラー展開である.なる
ほどテイラー展開は便利なものである.
前節では,2元の非線形連立方程式のニュートン法での計算方法を示した.ここでは,そ
れを一般化する.ここで示す方法は,複素数解にも適用できる.
N元の非線形連立方程式は,
と書くことができる.未知数は,
 |
(33) |
とベクトルで表現する.すると,

番目の方程式は,

と書き表されるので,
表現が簡単になる.これを,先ほどと同じようにテイラー展開すると
 |
(34) |
となる.

の全てににおいて,

になるように,

を選ぶ.そのように選ぶため
には,2次以降の高次の項を無視すると
 |
(35) |
の線形であるN元1次連立方程式が成り立つ.これを解いて,

を求める.そうすると,より真の解に近
い

は,

と計算できる.しつ
こいようであるが,成分で書き表すと
となる
非線形の連立方程式を線形の連立方程式で計算しているわけである.解きやすい式になっ
た分,反復計算が必要となっている.
ホームページ:
Yamamoto's laboratory著者:
山本昌志
Yamamoto Masashi
平成19年7月18日