出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/07/14 02:53 UTC 版)
例
簡単な例として、次の1階常微分方程式を考えよう:
![{\displaystyle y'=3y+2,\quad y(0)=y_{0}.}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/7cce2b63efbe980101f7866c7c690ee197e7ce72)
この方程式に対するのオイラー法は
![{\displaystyle y_{n+1}=y_{n}+h(3y_{n}+2)}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/bb2bcacc1acc1692ee4604b7d4ea2dc8012c0f2d)
という漸化式になる。この漸化式は厳密解を求めることができて、初期値を用いて、
![{\displaystyle y_{n}=\left(y_{0}+{\frac {2}{3}}\right)(1+3h)^{n}-{\frac {2}{3}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/f353983355eb1c7dea93fd4d23ee5822fc2a374c)
となる。この例では、微分方程式の厳密解を直接に求めることができる。解いて厳密解は
![{\displaystyle y=\left(y_{0}+{\frac {2}{3}}\right)e^{3x}-{\frac {2}{3}}}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/7adf02a61ac6ada47a5c6ea16d06eb9f7172bdd0)
となる。x = nh のときの誤差は
![{\displaystyle y_{n}-y(x)=\left(y_{0}+{\frac {2}{3}}\right)\left((1+3h)^{n}-e^{3nh}\right)}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/b1061830a84969790945d4babe43969fbec73eaa)
となる。ex のテイラー展開と二項定理を用いて等式
![{\displaystyle e^{3nh}-(1+3h)^{n}=O(h^{2})}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/5a5064d1261f23923eb68c93dcf923bc998f4544)
は明らかになる。故に、この例でオイラー法の局所誤差は O(h2) であり、1次方法となる。すなわち、
![{\displaystyle y_{n}-y(x)=\left(y_{0}+{\frac {2}{3}}\right)O(h^{2})}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/8f16006be490d1cc096356a60f8c958512049d69)
したがって、この表示から h が 0 の極限で局所誤差が 0 に収束することが分かる。