選点法(せんてんほう、英: Collocation method) とは、数値解析において常微分方程式、偏微分方程式と積分方程式に対して数値解を与える方法である。この方法のアイディアは、解候補(通常はある次数以下の多項式)からなる有限次元のベクトル空間と定義域から幾つかの点を先に選び、それらの点で与えられた方程式を満足する解を解候補の空間から選択することである。そのように選ばれた点は、選点(collocation points)と呼ぶ。
常微分方程式
区間 [t0, t0 + h] 上の常微分方程式の初期値問題を以下のように定める。
![{\displaystyle y'=f(t,y),\quad y(t_{0})=y_{0}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/efd412048e03327a10228cf471e1b3cb964dfc3b)
解候補の空間を n 次以下の多項式からなるベクトル空間とし、点 0 ≤ c1 < c2 < ... < cn ≤ 1 を選ぶ(時々、ck も選点と呼ばれるが、方程式の定義域が [0,1] とは限らないので最初に述べた選点とは少し違う定義となる)。
それらの点に対応する選点法による近似(多項式)解 p(t) は、初期値条件 p(t0) = y0 と選点 tk = t0 + ckh (1 ≤ k ≤ n) での微分方程式 p'(tk) = f (tk, p(tk)) を満足する。そのように与えられた方程式の数は n+1 であり、p の未知係数の数と一致する。そのため、近似解は一意に定められる。したがって、最後の時刻 t0 + h での近似解は p(t0 + h) となる。
以上のような方法は実際にすべて陰的ルンゲ=クッタ法であり、以下のブッチャー配列で与えられる。
![{\displaystyle {\begin{array}{c|ccccc}c_{1}&a_{11}&a_{12}&\cdots &a_{1n}\\c_{2}&a_{11}&a_{12}&\cdots &a_{2n}\\\vdots &\vdots &\vdots &\ddots &\vdots \\c_{n}&a_{11}&a_{12}&\cdots &a_{nn}\\\hline &b_{1}&b_{2}&\cdots &b_{n}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6401fb9802d202ca02f54c83d5d2d136ce2f9877)
この中で、ck は選ばれた点に対応し、bk と akj は以下の公式で与えられる[1]。
![{\displaystyle b_{k}=\int _{0}^{1}{\frac {q_{k}(\tau )}{q_{k}(c_{k})}}d\tau }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9714e5a43853503566c8dfb96c68c1f6b3c91f1d)
![{\displaystyle a_{kj}=\int _{0}^{c_{k}}{\frac {q_{j}(\tau )}{q_{j}(c_{j})}}d\tau }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c52a9792e4a5c8a4f45a8a8392452d050afccc52)
ここで、
である。
しかし、陰的ルンゲ=クッタ法がすべて選点法であるわけではない[2]。
計算例:台形公式
例として、上記の常微分方程式に対し点 c1 = 0 と c2 = 1 を選ぶとしよう(よって n = 2)。近似解 p(t) は2次多項式であり、選点法による方程式
![{\displaystyle p(t_{0})=y_{0},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/856aee4a12855be6f1717345dd71d5e85e0db3e4)
![{\displaystyle p'(t_{0})=f(t_{0},p(t_{0})),\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5ee02a8324317dd055d3f35d9671faeb5c0cbae)
![{\displaystyle p'(t_{0}+h)=f(t_{0}+h,p(t_{0}+h))\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39554c29e4e5faac3540c8b480a78ee9ede4361b)
を満足する。計算を簡単にするために、p を以下の形で書く。
![{\displaystyle p(t)=\alpha (t-t_{0})^{2}+\beta (t-t_{0})+\gamma \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2df388b1a8e71c861e3e6b1c7c9db7fa117b2e97)
上記の方程式系を用いて未知の係数を解くと
![{\displaystyle {\begin{aligned}\alpha &={\frac {1}{2h}}\left(f(t_{0}+h,p(t_{0}+h))-f(t_{0},p(t_{0}))\right),\\\beta &=f(t_{0},p(t_{0})),\\\gamma &=y_{0}.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8163f73e7479e7a6688b0de7568faeff25b12af6)
であることがわかる。したがって対応する選点法は次の公式で(陰的に)与えられる。
![{\displaystyle y_{1}=p(t_{0}+h)=y_{0}+{\frac {1}{2}}h\left(f(t_{0}+h,y_{1})+f(t_{0},y_{0})\right),\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/76e1a7e24d3d89ebb3b2e5667372aceea1a66afa)
ここで、y1 = p(t0 + h) は t = t0 + h での近似解である。
この方法は微分方程式における台形公式として知られている。確かに、方程式を以下のように書き換えって(数値積分における)台形公式で近似することから上記の公式を導出することも可能である。
![{\displaystyle y(t)=y(t_{0})+\int _{t_{0}}^{t}f(\tau ,y(\tau ))\,{\textrm {d}}\tau ,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ded285da945408d355b58163ce0c3d2b6acfa2d3)
ガウス・ルジャンドル法
上述の点 ci は n 次のルジャンドル多項式の根として選べる。それらの点に対応する選点法は、n 段ガウス・ルジャンドル法(Gauss-Legendre method)として知られている。n 段ガウス・ルジャンドルは次数 2n を持ち、n 段ルンゲ=クッタ法の中にでも一番精度の高い方法である[3]。さらに、ガウス・ルジャンドル法はすべてA-安定であり[4]、硬い方程式にも適用できる。しかし n が4以上の時、ルジャンドル多項式の根を効率良く計算することが困難であり、加えて対応する方法の係数も極めて複雑であるので、4段以上のガウス・ルジャンドル法はあまり使われない[5]。
2段ガウス・ルジャンドル法は以下のブッチャー配列で与えられる。
![{\displaystyle {\begin{array}{c|cc}{\frac {1}{2}}-{\frac {\sqrt {3}}{6}}&{\frac {1}{4}}&{\frac {1}{4}}-{\frac {\sqrt {3}}{6}}\\{\frac {1}{2}}+{\frac {\sqrt {3}}{6}}&{\frac {1}{4}}+{\frac {\sqrt {3}}{6}}&{\frac {1}{4}}\\\hline &{\frac {1}{2}}&{\frac {1}{2}}\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/227fdd6465d7fe288751fbdb5d3c5aa7c863a2a9)
そして3段ガウス・ルジャンドル法は以下のブッチャー配列で与えられる。
![{\displaystyle {\begin{array}{c|ccc}{\frac {1}{2}}-{\frac {\sqrt {15}}{10}}&{\frac {5}{36}}&{\frac {2}{9}}-{\frac {\sqrt {15}}{15}}&{\frac {5}{36}}-{\frac {\sqrt {15}}{30}}\\{\frac {1}{2}}&{\frac {5}{36}}+{\frac {\sqrt {15}}{24}}&{\frac {2}{9}}&{\frac {5}{36}}-{\frac {\sqrt {15}}{24}}\\{\frac {1}{2}}+{\frac {\sqrt {15}}{10}}&{\frac {5}{36}}+{\frac {\sqrt {15}}{30}}&{\frac {2}{9}}+{\frac {\sqrt {15}}{15}}&{\frac {5}{36}}\\\hline &{\frac {5}{18}}&{\frac {4}{9}}&{\frac {5}{18}}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fb10f4724df72a4ed0345dda02aea2a04374537)
偏微分方程式
偏微分方程式における選点法は、単独の方法より、あるスキームを実装するために必要とされる手法の一つに近い。例えば、放物型偏微分方程式の解を計算する場合、有限差分法より方程式の空間変数を離散化すると時間変数の常微分方程式となるので上述の選点法が適用できる。
現在よく使われているほとんどのスキームに選点法(必ずしも常微分方程式における選点法ではない)が使える。特に重要と見なされるスキームの中には、有限要素法[6][7][8][9](重み付き残差法[10]も参照)、スペクトル法[11][12](選点法に基づいたスペクトル法は時々擬スペクトル法(英語版)として知られている[13])がある(具体的な方法は、それぞれの記事を参照)。ここでは例として、フーリエ選点法と呼ばれるスペクトル法を簡単に紹介する。
フーリエ選点法は(理想的に)指数的収束速度を持ち[14]、周期的境界条件を持つ方程式に対し特に効果的である。空間領域 [0, 2π] 上の(周期的境界条件付き)移流方程式
![{\displaystyle u_{t}+a(x)u_{x}=0,\;u(x,0)=f(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a66c69b18b329e78fd643b339f9f05c08b5074b9)
を考える。偶数の N に対し、等距離の点 xj = jh (h = 2π/N)を選点として選ぶ。簡単のために、まず方程の時間変数を(前進)差分法より離散化し、次のようにする。
![{\displaystyle {\frac {U^{n+1}-U^{n}}{\Delta t}}=-a(x)u_{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/720a845ec08cc23a1a2a0bec3fd36b83cf0297de)
ここで、Un は時間 tn での近似解である。したがって、正しく ux を近似することで、次の時刻での近似解がわかるようになる。
既知の数値 vj = Un(xj) から空間上のグリッド関数 v = {vj} を定義し、周期的に拡張する。そして a(x)ux を次のように各選点で近似する。
![{\displaystyle a(x_{j})u_{x}(x_{j})\approx a(x_{j})(Dv)_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f8454e7c875ba49822acb12dd8e26d454e87844)
ここで、D は スペクトル微分作用素 (spectral differentiation operator) という線型作用素であり、以下のように定義される[15]。
![{\displaystyle Dv={\mathcal {F}}_{h}^{-1}(i\xi {\mathcal {F}}_{h}(v))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f6138d630727e94cbfcf1d2edc52cc8946ccdd)
ここで、
は半離散フーリエ変換 (semi-discrete Fourier transform) といい、以下のように定義される[16]。
![{\displaystyle {\mathcal {F}}_{h}(v)=h\sum _{j=-\infty }^{\infty }e^{i\xi x_{j}}v_{j},\;\xi \in [-\pi /h,\pi /h]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a3c6bee87083a6ff7188f3db1e533c7eec9f69d)
そして対応する逆変換は
![{\displaystyle ({\mathcal {F}}_{h}^{-1}({\hat {v}}))_{j}={\frac {1}{2\pi }}\int _{-\pi /h}^{\pi /h}e^{i\xi x_{j}}{\hat {v}}(\xi )d\xi ,\;j\in \mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/619b68f30614cf1488263585426d629d0835acc4)
である[16]。上述の近似から、次の時刻 tn+1 での近似解がわかる。
また、グリッド関数を空間全体に周期的に拡張する代わりに、そのまま離散フーリエ変換を使って近似することも可能である。この方法は高速フーリエ変換を活用できるため、計算速度が相応に上がる。離散フーリエ変換は以下のように定義される。
![{\displaystyle ({\mathcal {F}}(v))_{j}={\frac {1}{N}}\sum _{k=0}^{N}v_{k}e^{ijx_{k}},\;j=0,\pm 1,\ldots ,\pm N/2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70af07b8d0049149d5abce5804d008f591c49aaf)
そして対応する逆変換は、
![{\displaystyle ({\mathcal {F}}^{-1}({\hat {v}}))_{j}=\sum _{k=-N/2}^{N/2}{\hat {v}}_{k}e^{ikx_{j}},\;j=0,1,\ldots ,N}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b3db6b51350132636db03c63361ed4d05c45b22)
である。スペクトル微分作用素 D を使わずに、まず周波数領域の導関数を以下のように設定する。
![{\displaystyle {\hat {v}}_{j}={\begin{cases}ij({\mathcal {F}}(v))_{j}\;&j\neq \pm N/2\\0\;&j=\pm N/2\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf0848a9a72be0e85fcf8109804746058fe78f21)
それから、ux を以下のように近似できる。
![{\displaystyle a(x_{j})u_{x}(x_{j})\approx a(x_{j})({\mathcal {F}}^{-1}({\hat {v}}))_{j}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b488ab25437dc8f11ce3aab3cf4c6696ecf0b432)
最後に、次の時刻での近似解を同じように計算する。
出典
[脚注の使い方]
- ^ Iserles 2008, p. 43
- ^ Ascher & Petzold 1998; Iserles 1996, pp. 43–44
- ^ Iserles 2008, pp. 46–47
- ^ Iserles 2008, p. 63
- ^ Iserles 2008, pp. 47
- ^ 森正武. (1986) 有限要素法とその応用. 岩波書店.
- ^ 菊池文雄. (1999). 有限要素法概説 [新訂版]. サイエンス社.
- ^ 菊池文雄. (1994). 有限要素法の数理. 培風館.
- ^ 有限要素法で学ぶ現象と数理―FreeFem++数理思考プログラミング―, 日本応用数理学会 監修・大塚 厚二・高石 武史著, 共立出版.
- ^ Finlayson, B. A., & Scriven, L. E. (1966). The method of weighted residuals—a review. Appl. Mech. Rev, 19(9), 735-748.
- ^ 石岡圭一, スペクトル法による数値計算入門, 東京大学出版会.
- ^ Lloyd N. Trefethen (2000) Spectral Methods in MATLAB. SIAM, Philadelphia, PA.
- ^ Fornberg, B. (1998). A practical guide to pseudospectral methods (Vol. 1). Cambridge University Press.
- ^ Trefethen 1996, p. 233
- ^ Trefethen 1996, p. 238
- ^ a b Trefethen 1996, p. 94
参考文献
- Ascher, Uri M.; Petzold, Linda R. (1998), Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations, Philadelphia: Society for Industrial and Applied Mathematics, ISBN 978-0-89871-412-8 .
- Hairer, Ernst; Nørsett, Syvert Paul; Wanner, Gerhard (1993), Solving ordinary differential equations I: Nonstiff problems, Berlin, New York: Springer-Verlag, ISBN 978-3-540-56670-0 .
- Iserles, Arieh (2008), A First Course in the Numerical Analysis of Differential Equations (Second Edition), Cambridge University Press, ISBN 978-0-521-73490-5 .
- Trefethen, Lloyd N. (1996年). “Finite Difference and Spectral Methods”. 2017年1月2日閲覧。
|
---|
有限差分法 | 放物型偏微分方程式 | - FTCSスキーム(英語版)
- クランク・ニコルソン法(英語版)
|
---|
双曲型偏微分方程式 | - ラックス・フリードリヒ法(英語版)
- ラックス・ウェンドロフ法(英語版)
- マコマック法(英語版)
- 風上スキーム(英語版)
- 特性曲線法
|
---|
その他 | |
---|
|
---|
有限体積法 | - ゴドノフスキーム(英語版)
- 高分解能スキーム(英語版)
- 保存法則用単調性上流中心差分スキーム(英語版)
- 移流上流分離法(英語版)
- リーマン解法(英語版)
|
---|
有限要素法 | - hp-FEM(英語版)
- 拡張型有限要素法(英語版) (XFEM)
- 不連続ガラーキン法(英語版) (DG)
- スペクトル要素法(英語版) (SEM)
- モルタル有限要素法(英語版)
|
---|
メッシュフリー法・粒子法 | |
---|
領域分割法 | - シューア補元法(英語版)
- 仮想領域法(英語版)
- シュヴァルツ交代法(加法シュヴァルツ法(英語版)・抽象加法シュヴァルツ法(英語版))
- ノイマン・ディレクレ法(英語版)
- ノイマン・ノイマン法(英語版)
- ポアンカレ・ステクロフ法(英語版)
- バランシング領域分割法(英語版) (BDD)
- BDDC法(英語版)
- FETI法(英語版)
- FETI-DP法(英語版)
|
---|
その他 | |
---|