「硬い方程式」の版間の差分
m 脚注 |
非線形方程式の節を追加。 タグ: コメントアウト |
||
58行目: | 58行目: | ||
一般的に、方法に対する安定性領域(の面積)が大きいほど、その方法はより安定である。よってもっとも安定な方法に対する安定性領域は左複素数平面すべてを含めるべきである。そのような方法を '''A-安定'''(A-stable) という<ref>{{harvnb|Iserles|2008|p=59}}</ref>。A-安定な方法は(すくなくとも線型)硬い方程式の場合でも、刻み幅 {{mvar|h}} を精度のみの考慮で選択することができ、よって硬い方程式を解くために適切な方法だと考えられる。しかし、優れる安定性を持つ方法を実装するには通常高い計算コストが所要される。そのため、実践では常にA-安定な方法を使うわけではなく、方程式の性質、精度の要件や計算コストの制限などの条件を共に考えてから適切な方法を選ぶのが必要となる。 |
一般的に、方法に対する安定性領域(の面積)が大きいほど、その方法はより安定である。よってもっとも安定な方法に対する安定性領域は左複素数平面すべてを含めるべきである。そのような方法を '''A-安定'''(A-stable) という<ref>{{harvnb|Iserles|2008|p=59}}</ref>。A-安定な方法は(すくなくとも線型)硬い方程式の場合でも、刻み幅 {{mvar|h}} を精度のみの考慮で選択することができ、よって硬い方程式を解くために適切な方法だと考えられる。しかし、優れる安定性を持つ方法を実装するには通常高い計算コストが所要される。そのため、実践では常にA-安定な方法を使うわけではなく、方程式の性質、精度の要件や計算コストの制限などの条件を共に考えてから適切な方法を選ぶのが必要となる。 |
||
<!--また、ルンゲ=クッタ法にはA-安定性より強い '''L-安定性'''(L-stability)という概念が存在する。線型多段法にもA-安定性とは異なる '''零点安定性'''(zero-stability)が存在する。これらの安定性の定義や意味については、それぞれの記事を参照。--> |
<!-- また、ルンゲ=クッタ法にはA-安定性より強い '''L-安定性'''(L-stability)という概念が存在する。線型多段法にもA-安定性とは異なる '''零点安定性'''(zero-stability)が存在する。これらの安定性の定義や意味については、それぞれの記事を参照。--> |
||
⚫ | |||
=== 非線型安定性 === |
|||
上述の安定性理論に考察されたのは線型方程式のみである。その理論は時折り非線型方程式にも適用できるが、決して正しいわけではない。非線形方程式の研究を完全に一般化するのが困難であるように、すべての方程式に対する安定性を考察するのもほぼ不可能である。現在非線形方程式に対する安定性はほとんど単調性条件 <math>\langle f(t,y) - f(t,z), y - z\rangle </math> を満足する方程式 |
|||
: <math> y' = f(t,y) </math> |
|||
のみを考える。この発想は、ダールキストによるものである<ref>{{harvnb|Dahlquist|1976}}</ref>。また、ルンゲ=クッタ法と線型多段法に対する安定性の定義は異なる。なぜならば、線型多段法は時刻毎に多数の成分からベクトルを記憶する必要があり、偏差を測るには標準内積と異なる内積を定義しなければならない(比べて、ルンゲ=クッタ法は時刻毎に単一の実数を記憶し、よって標準内積が使われる)<ref>{{harvnb|Butcher|2008|p=361}}</ref>。 |
|||
上記の方程式に対してルンゲ=クッタ法の安定性は '''B-安定性'''(B-stability)という。方程式にルンゲ=クッタ法を適用するときに、異なる初期値 {{mvar|y{{sub|0}}}} と {{mvar|{{hat|y}}{{sub|0}}}} に対し不等式 |
|||
: <math> \lVert y_1 - \hat{y}_1 \rVert \le \lVert y_0 - \hat{y}_0 \rVert </math> |
|||
が成立すれば、その方法をB-安定と呼ぶ<ref name="HW96181">{{harvnb|Hairer|Wanner|1996|p=181}} </ref>。ここで、{{mvar|y{{sub|1}}}} と {{mvar|{{hat|y}}{{sub|1}}}} は時刻 {{mvar|t{{sub|1}}}} でのそれぞれの近似解である。B-安定な方法は必ずA-安定である<ref name="HW96181" />。 |
|||
さらに、ルンゲ=クッタ法の係数が {{math|''b{{sub|i}}'' ≥ 0}} かつ行列 |
|||
: <math> M = (b_ia_{ij} - b_ja_{ji} - b_ib_j)_{ij} </math> |
|||
が半正定値であるという条件を満足するとき、その方法を '''代数的安定'''(algebraically stable)という。代数的安定な方法は必ずB-安定である<ref>{{harvnb|Hairer|Wanner|1996|p=182}} </ref>。 |
|||
<!-- 線型多段法の安定性も同じアイディアを持つが、上述通り標準内積が通用しないので、同じように定義することができない。方法の段数を {{mvar|k}} とする。与えられた {{mvar|k}} 次正定値対称行列 {{mvar|G}} に対応する <math> \mathbb{R}^{kn} </math> 上の内積を以下のように定義できる: |
|||
: <math> \langle U, V \rangle_G = \sum_{i=1}^k \sum_{j=1}^k g_{ij}\langle U_i, V_j \rangle, \quad U, V \in \mathbb{R}^{kn} </math> |
|||
ここで、<math> U = (U_1,\ldots, U_k)^T, \quad U_i \in \mathbb{R}^n </math>であり、<math>\langle \cdot, \cdot \rangle</math> は標準内積である。--> |
|||
⚫ | |||
{{reflist}} |
{{reflist}} |
||
== 参考文献 == |
== 参考文献 == |
||
* {{citation | first1 = Richard L. | last1 = Burden | first2 = J. Douglas | last2 = Faires | year = 1993 | isbn = 0-534-93219-3 | title = Numerical Analysis | edition = 5th | publisher = [[Prindle, Weber and Schmidt]] | location = Boston }}. |
* {{citation | first1 = Richard L. | last1 = Burden | first2 = J. Douglas | last2 = Faires | year = 1993 | isbn = 0-534-93219-3 | title = Numerical Analysis | edition = 5th | publisher = [[Prindle, Weber and Schmidt]] | location = Boston }}. |
||
* {{ |
* {{Citation | last1=Butcher | first1=John C. | author1-link=John C. Butcher | title=Numerical Methods for Ordinary Differential Equations | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-470-72335-7 | year=2008}}. |
||
* {{citation | first1 = Germund | last1 = Dahlquist | year = 1976 | title = Error analysis for a class of methods for stiff non-linear initial value problems | series = Lecture Notes in Mathematics | volume = 506 | pages = 60-72 | doi = 10.1007/BFb0080115 }}. |
|||
<!--* {{citation | first1 = Germund | last1 = Dahlquist | author1-link = Germund Dahlquist | year = 1963 | title = A special stability problem for linear multistep methods | journal = BIT | volume = 3 | issue = 1 | pages = 27–43 | doi = 10.1007/BF01963532 }}. |
|||
* {{citation | first1 = David | last1 = Eberly| year = 2008 | title = Stability analysis for systems of differential equations }}.[http://www.geometrictools.com/Documentation/StabilityAnalysis.pdf] |
* {{citation | first1 = David | last1 = Eberly| year = 2008 | title = Stability analysis for systems of differential equations }}.[http://www.geometrictools.com/Documentation/StabilityAnalysis.pdf] |
||
* {{citation | first1 = B. L. | last1 = Ehle | year = 1969 | title = On Padé approximations to the exponential function and A-stable methods for the numerical solution of initial value problems | publisher = Report 2010, [[University of Waterloo]] }}. |
* {{citation | first1 = B. L. | last1 = Ehle | year = 1969 | title = On Padé approximations to the exponential function and A-stable methods for the numerical solution of initial value problems | publisher = Report 2010, [[University of Waterloo]] }}. |
||
* {{citation | first1 = C. W. | last1 = Gear | year = 1971 | title = Numerical Initial-Value Problems in Ordinary Differential Equations | publisher = [[Prentice Hall]] | location = Englewood Cliffs }}. |
* {{citation | first1 = C. W. | last1 = Gear | year = 1971 | title = Numerical Initial-Value Problems in Ordinary Differential Equations | publisher = [[Prentice Hall]] | location = Englewood Cliffs }}. |
||
* {{citation | first1 = C. W. | last1 = Gear | year = 1981 | title = Numerical solution of ordinary differential equations: Is there anything left to do? | journal = [[Society for Industrial and Applied Mathematics|SIAM Review]] | volume = 23 | issue = 1 | pages = 10–24 }}. |
* {{citation | first1 = C. W. | last1 = Gear | year = 1981 | title = Numerical solution of ordinary differential equations: Is there anything left to do? | journal = [[Society for Industrial and Applied Mathematics|SIAM Review]] | volume = 23 | issue = 1 | pages = 10–24 }}. --> |
||
* {{citation | first1 = Ernst | last1 = Hairer | first2 = Gerhard | last2 = Wanner | year = 1996 | title = Solving ordinary differential equations II: Stiff and differential-algebraic problems | edition = second | publisher = [[Springer-Verlag]] | location = Berlin | isbn = 978-3-540-60452-5 }}. |
* {{citation | first1 = Ernst | last1 = Hairer | first2 = Gerhard | last2 = Wanner | year = 1996 | title = Solving ordinary differential equations II: Stiff and differential-algebraic problems | edition = second | publisher = [[Springer-Verlag]] | location = Berlin | isbn = 978-3-540-60452-5 }}. |
||
* {{citation | first1 = J. O. | last1 = Hirshfelder | year = 1963 | title = Applied Mathematics as used in Theoretical Chemistry | journal = [[American Mathematical Society|American Mathematical Society Symposium]] | pages = 367–376 }}. |
<!-- * {{citation | first1 = J. O. | last1 = Hirshfelder | year = 1963 | title = Applied Mathematics as used in Theoretical Chemistry | journal = [[American Mathematical Society|American Mathematical Society Symposium]] | pages = 367–376 }}. --> |
||
* {{Citation|title=A First Course in the Numerical Analysis of Differential Equations (Second Edition)|year=2008|last1=Iserles|first1=Arieh|publisher=Cambridge University Press|isbn=978-0-521-73490-5}}. |
* {{Citation|title=A First Course in the Numerical Analysis of Differential Equations (Second Edition)|year=2008|last1=Iserles|first1=Arieh|publisher=Cambridge University Press|isbn=978-0-521-73490-5}}. |
||
* {{citation | first1 = Arieh | last1 = Iserles | first2 = Syvert | last2 = Nørsett | year = 1991 | title = Order Stars | publisher = [[Chapman & Hall]] | isbn = 978-0-412-35260-7 }}. |
* {{citation | first1 = Arieh | last1 = Iserles | first2 = Syvert | last2 = Nørsett | year = 1991 | title = Order Stars | publisher = [[Chapman & Hall]] | isbn = 978-0-412-35260-7 }}. |
||
* {{citation | first1 = Erwin | last1 = Kreyszig | year = 1972 | isbn = 0-471-50728-8 | title = Advanced Engineering Mathematics | edition = 3rd | publisher = [[John Wiley & Sons|Wiley]] | location = New York }}. |
<!-- * {{citation | first1 = Erwin | last1 = Kreyszig | year = 1972 | isbn = 0-471-50728-8 | title = Advanced Engineering Mathematics | edition = 3rd | publisher = [[John Wiley & Sons|Wiley]] | location = New York }}. |
||
* {{citation | first1 = J. D. | last1 = Lambert | year = 1977 | title = The initial value problem for ordinary differential equations | journal = The State of the Art in Numerical Analysis | editor = D. Jacobs | publisher = [[Academic Press]] | location = New York | pages = 451–501 }}. |
* {{citation | first1 = J. D. | last1 = Lambert | year = 1977 | title = The initial value problem for ordinary differential equations | journal = The State of the Art in Numerical Analysis | editor = D. Jacobs | publisher = [[Academic Press]] | location = New York | pages = 451–501 }}. |
||
* {{citation | first1 = J. D. | last1 = Lambert | year = 1992 | isbn = 978-0-471-92990-1 | title = Numerical Methods for Ordinary Differential Systems | publisher = [[John Wiley & Sons|Wiley]] | location = New York }}. |
* {{citation | first1 = J. D. | last1 = Lambert | year = 1992 | isbn = 978-0-471-92990-1 | title = Numerical Methods for Ordinary Differential Systems | publisher = [[John Wiley & Sons|Wiley]] | location = New York }}. |
||
79行目: | 101行目: | ||
* {{citation | first1 = L. F. | last1 = Shampine | first2 = C. W. | last2 = Gear | year = 1979 | title = A user's view of solving stiff ordinary differential equations | journal = [[Society for Industrial and Applied Mathematics|SIAM Review]] | volume = 21 | issue = 1 | pages = 1–17 }}. |
* {{citation | first1 = L. F. | last1 = Shampine | first2 = C. W. | last2 = Gear | year = 1979 | title = A user's view of solving stiff ordinary differential equations | journal = [[Society for Industrial and Applied Mathematics|SIAM Review]] | volume = 21 | issue = 1 | pages = 1–17 }}. |
||
* {{citation | first1 = Gerhard | last1 = Wanner | first2 = Ernst | last2 = Hairer | first3 = Syvert | last3 = Nørsett | year = 1978 | title = Order stars and stability theory | journal = BIT | volume = 18 | issue = 4 | pages = 475–489 | doi = 10.1007/BF01932026 }}. |
* {{citation | first1 = Gerhard | last1 = Wanner | first2 = Ernst | last2 = Hairer | first3 = Syvert | last3 = Nørsett | year = 1978 | title = Order stars and stability theory | journal = BIT | volume = 18 | issue = 4 | pages = 475–489 | doi = 10.1007/BF01932026 }}. |
||
*Stability of Runge-Kutta Methods [http://homepages.cwi.nl/~jason/Classes/numwisk/ch10.pdf ] |
*Stability of Runge-Kutta Methods [http://homepages.cwi.nl/~jason/Classes/numwisk/ch10.pdf ] --> |
||
== 外部リンク == |
== 外部リンク == |
||
* [http://www.cs.cmu.edu/~baraff/pbm/energons.pdf An Introduction to Physically Based Modeling: Energy Functions and Stiffness] |
* [http://www.cs.cmu.edu/~baraff/pbm/energons.pdf An Introduction to Physically Based Modeling: Energy Functions and Stiffness] |
||
* [http://www.scholarpedia.org/article/Stiff_systems Stiff systems] [[Lawrence F. Shampine]] and [[Skip Thompson]] [[ Scholarpedia]], 2(3):2855. [[doi:10.4249/scholarpedia.2855]] |
* [http://www.scholarpedia.org/article/Stiff_systems Stiff systems] [[Lawrence F. Shampine]] and [[Skip Thompson]] [[ Scholarpedia]], 2(3):2855. [[doi:10.4249/scholarpedia.2855]] |
||
2017年1月14日 (土) 08:07時点における版
数学において硬い方程式(英: stiff equation)は、近似解を計算するためのある数値的方法が、刻み幅を極めて小さくしない限り、数値的不安定になる微分方程式である。硬さを的確に定義するのが困難であると判明されたが、方程式に解の急激な変化を起こせる項が含まれていることは確かである。
導入の例
下記の初期値問題を考える。
この問題は直接に解くことができ、厳密解 (水色の曲線) が次の公式で与えられる。
公式によって、 も明らかである。
同じ振舞いを持つ数値解を求めよう。様々な数値的方法を用いて得られる数値解は右側の画像に表示される。
よって、オイラー法は上記の硬い方程式に対し数値的不安定である。一方、台形公式は数値的安定である。
他の例として、もっとも有名な硬い方程式の一つは、Robertsonの化学反応を支配する方程式系である。
[0,40] のような短い区間では、上記の方程式系を数値的に積分することに問題はない。しかし区間が極めて大きい場合(例えば 1011)、多数のコードは方程式系を正しく積分することができなくなる。
常微分方程式
上述の例の示すように、硬い常微分方程式の近似解を計算するとき、数値的に安定な方法を使うべきである。常微分方程式における数値的安定性に複数の定義が存在する。特に、線型方程式に対する安定性と非線型方程式に対する安定性を分けて考える必要がある。
硬さの比例
線形常微分方程式系の硬さは簡単に測ることができる。一般的な線型方程式系
を考える。上記方程式に対する 硬さの比例(stiffness ratio)は、行列 A の最大固有値(の絶対値)を最小固有値(の絶対値)で割った商である。正式的に、A の固有値を λ1 ≥ λ2 ≥ ... ≥ λn とし、方程式に対する硬さの比例を ‖ λ1 ‖ / ‖ λn ‖ と定義する。
典型的な硬さの比例は、1017 あたりである。極端な場合に、その数は 1031 まで届ける[1]。
非線型方程式の場合は、代わりに関数のヤコビ行列の固有値を使って比例を同じ公式で計算する。
線型安定性
線型常微分方程式に対する安定性は 線型安定性(linear stability)、あるいは 絶対安定性(absolute stability)という。線型テスト方程
を考える。この方程式は簡単に解くことができ、厳密解は y(t) = eλt である。 Re λ < 0 が成立するとき、y の t → ∞ の極限も 0 である。理想的に、近似解にもそのような振舞いを期待できる。しかし刻み幅 h が一定のとき、すべての方法に対する近似解がそのような振舞いを持つわけではない。それを区別するのが線型安定性である。
一つの方法による時刻 tn での近似解を yn とする。複素数平面上の集合
は方法に対する 線型安定性領域 (linear stability domain)、あるいは 絶対安定性領域 (region of absolute stability) という[2][3]。この集合はすなわち、与えられた方法による近似解が期待通りの振舞いを持つすべての hλ (からなる集合)である。特に、ルンゲ=クッタ法に対する線型安定性領域は以下の形で与えられる。
ここで、r(z) は等式 yn = (r(z))n を成立させる関数であり、時々方法に対する 安定性関数 という。例えば、オイラー法に対応する関数は r(z) = 1 + z である。
一般的に、方法に対する安定性領域(の面積)が大きいほど、その方法はより安定である。よってもっとも安定な方法に対する安定性領域は左複素数平面すべてを含めるべきである。そのような方法を A-安定(A-stable) という[4]。A-安定な方法は(すくなくとも線型)硬い方程式の場合でも、刻み幅 h を精度のみの考慮で選択することができ、よって硬い方程式を解くために適切な方法だと考えられる。しかし、優れる安定性を持つ方法を実装するには通常高い計算コストが所要される。そのため、実践では常にA-安定な方法を使うわけではなく、方程式の性質、精度の要件や計算コストの制限などの条件を共に考えてから適切な方法を選ぶのが必要となる。
非線型安定性
上述の安定性理論に考察されたのは線型方程式のみである。その理論は時折り非線型方程式にも適用できるが、決して正しいわけではない。非線形方程式の研究を完全に一般化するのが困難であるように、すべての方程式に対する安定性を考察するのもほぼ不可能である。現在非線形方程式に対する安定性はほとんど単調性条件 を満足する方程式
のみを考える。この発想は、ダールキストによるものである[5]。また、ルンゲ=クッタ法と線型多段法に対する安定性の定義は異なる。なぜならば、線型多段法は時刻毎に多数の成分からベクトルを記憶する必要があり、偏差を測るには標準内積と異なる内積を定義しなければならない(比べて、ルンゲ=クッタ法は時刻毎に単一の実数を記憶し、よって標準内積が使われる)[6]。
上記の方程式に対してルンゲ=クッタ法の安定性は B-安定性(B-stability)という。方程式にルンゲ=クッタ法を適用するときに、異なる初期値 y0 と 0 に対し不等式
が成立すれば、その方法をB-安定と呼ぶ[7]。ここで、y1 と 1 は時刻 t1 でのそれぞれの近似解である。B-安定な方法は必ずA-安定である[7]。
さらに、ルンゲ=クッタ法の係数が bi ≥ 0 かつ行列
が半正定値であるという条件を満足するとき、その方法を 代数的安定(algebraically stable)という。代数的安定な方法は必ずB-安定である[8]。
脚注
- ^ Iserles 2008, p. 56
- ^ Iserles 2008, pp. 56–57
- ^ Burden & Faires 1993, p. 344
- ^ Iserles 2008, p. 59
- ^ Dahlquist 1976
- ^ Butcher 2008, p. 361
- ^ a b Hairer & Wanner 1996, p. 181
- ^ Hairer & Wanner 1996, p. 182
参考文献
- Burden, Richard L.; Faires, J. Douglas (1993), Numerical Analysis (5th ed.), Boston: Prindle, Weber and Schmidt, ISBN 0-534-93219-3.
- Butcher, John C. (2008), Numerical Methods for Ordinary Differential Equations, New York: John Wiley & Sons, ISBN 978-0-470-72335-7.
- Dahlquist, Germund (1976), Error analysis for a class of methods for stiff non-linear initial value problems, Lecture Notes in Mathematics, 506, pp. 60-72, doi:10.1007/BFb0080115.
- Hairer, Ernst; Wanner, Gerhard (1996), Solving ordinary differential equations II: Stiff and differential-algebraic problems (second ed.), Berlin: Springer-Verlag, ISBN 978-3-540-60452-5.
- Iserles, Arieh (2008), A First Course in the Numerical Analysis of Differential Equations (Second Edition), Cambridge University Press, ISBN 978-0-521-73490-5.
- Iserles, Arieh; Nørsett, Syvert (1991), Order Stars, Chapman & Hall, ISBN 978-0-412-35260-7.