選点法

テンプレート:Pathnav テンプレート:Pathnav 選点法（せんてんほう、テンプレート:Lang-en-short） とは、数値解析において常微分方程式、偏微分方程式と積分方程式に対して数値解を与える方法である。この方法のアイディアは、解候補（通常はある次数以下の多項式）からなる有限次元のベクトル空間と定義域から幾つかの点を先に選び、それらの点で与えられた方程式を満足する解を解候補の空間から選択することである。そのように選ばれた点は、選点（collocation points）と呼ぶ。

常微分方程式

区間 [[[:テンプレート:Mvar]], テンプレート:Math] 上の常微分方程式の初期値問題を以下のように定める。

$y^{\prime }=f(t,y),y(t_0)=y_0.$

解候補の空間を テンプレート:Mvar 次以下の多項式からなるベクトル空間とし、点 テンプレート:Math を選ぶ（時々、テンプレート:Mvar も選点と呼ばれるが、方程式の定義域が [0,1] とは限らないので最初に述べた選点とは少し違う定義となる）。

それらの点に対応する選点法による近似（多項式）解 テンプレート:Math は、初期値条件 テンプレート:Math と選点 テンプレート:Math (テンプレート:Math) での微分方程式 テンプレート:Math を満足する。そのように与えられた方程式の数は テンプレート:Math であり、テンプレート:Mvar の未知係数の数と一致する。そのため、近似解は一意に定められる。したがって、最後の時刻 テンプレート:Math での近似解は テンプレート:Math となる。

以上のような方法は実際にすべて陰的ルンゲ＝クッタ法であり、以下のブッチャー配列で与えられる。

$\begin{array}{ccccc}{c}_1& a_{11}& a_{12}& \cdots & a_{1n}\\ c_2& a_{11}& a_{12}& \cdots & a_{2n}\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ c_n& a_{11}& a_{12}& \cdots & a_{nn}\\ & b_1& b_2& \cdots & b_n\end{array}$

この中で、テンプレート:Mvar は選ばれた点に対応し、テンプレート:Mvar と テンプレート:Mvar は以下の公式で与えられる。

$b_k=\underset{0}{\overset{1}{\int }}\frac{q_k(\tau )}{q_k(c_k)}d\tau$

$a_{kj}=\underset{0}{\overset{c_k}{\int }}\frac{q_j(\tau )}{q_j(c_j)}d\tau$

ここで、$q_j(\tau )=(\tau -c_j{)}^{-1}\prod _{i=1}^n(\tau -c_i)$ である。

しかし、陰的ルンゲ＝クッタ法がすべて選点法であるわけではない。

計算例：台形公式

例として、上記の常微分方程式に対し点 テンプレート:Math と テンプレート:Math を選ぶとしよう（よって テンプレート:Math）。近似解 テンプレート:Math は2次多項式であり、選点法による方程式

$p(t_0)=y_0,$

$p^{\prime }(t_0)=f(t_0,p(t_0)),$

$p^{\prime }(t_0+h)=f(t_0+h,p(t_0+h))$

を満足する。計算を簡単にするために、テンプレート:Mvar を以下の形で書く。

$p(t)=\alpha (t-t_0{)}^2+\beta (t-t_0)+\gamma$

上記の方程式系を用いて未知の係数を解くと

$\begin{array}{cc}\alpha & =\frac{1}{2h}(f(t_0+h,p(t_0+h))-f(t_0,p(t_0))),\\ \beta & =f(t_0,p(t_0)),\\ \gamma & =y_0.\end{array}$

であることがわかる。したがって対応する選点法は次の公式で（陰的に）与えられる。

$y_1=p(t_0+h)=y_0+\frac{1}{2}h(f(t_0+h,y_1)+f(t_0,y_0)),$

ここで、テンプレート:Math は テンプレート:Math での近似解である。

この方法は微分方程式における台形公式として知られている。確かに、方程式を以下のように書き換えって（数値積分における）台形公式で近似することから上記の公式を導出することも可能である。

$y(t)=y(t_0)+\underset{t_0}{\overset{t}{\int }}f(\tau ,y(\tau ))\text{d}\tau ,$

ガウス・ルジャンドル法

上述の点 テンプレート:Mvar は テンプレート:Mvar 次のルジャンドル多項式の根として選べる。それらの点に対応する選点法は、テンプレート:Mvar 段ガウス・ルジャンドル法（Gauss-Legendre method）として知られている。テンプレート:Mvar 段ガウス・ルジャンドルは次数 テンプレート:Math を持ち、テンプレート:Mvar 段ルンゲ＝クッタ法の中にでも一番精度の高い方法である。さらに、ガウス・ルジャンドル法はすべてA-安定であり、硬い方程式にも適用できる。しかし テンプレート:Mvar が4以上の時、ルジャンドル多項式の根を効率良く計算することが困難であり、加えて対応する方法の係数も極めて複雑であるので、4段以上のガウス・ルジャンドル法はあまり使われない。

2段ガウス・ルジャンドル法は以下のブッチャー配列で与えられる。

$\begin{array}{ccc}\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}\\ & \frac{1}{2}& \frac{1}{2}\end{array}$

そして3段ガウス・ルジャンドル法は以下のブッチャー配列で与えられる。

$\begin{array}{cccc}\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}\\ & \frac{5}{18}& \frac{4}{9}& \frac{5}{18}\end{array}$

偏微分方程式

偏微分方程式における選点法は、単独の方法より、あるスキームを実装するために必要とされる手法の一つに近い。例えば、放物型偏微分方程式の解を計算する場合、有限差分法より方程式の空間変数を離散化すると時間変数の常微分方程式となるので上述の選点法が適用できる。

現在よく使われているほとんどのスキームに選点法（必ずしも常微分方程式における選点法ではない）が使える。特に重要と見なされるスキームの中には、有限要素法（重み付き残差法も参照）、スペクトル法（選点法に基づいたスペクトル法は時々テンプレート:仮リンクとして知られている）がある（具体的な方法は、それぞれの記事を参照）。ここでは例として、フーリエ選点法と呼ばれるスペクトル法を簡単に紹介する。

フーリエ選点法は（理想的に）指数的収束速度を持ち、周期的境界条件を持つ方程式に対し特に効果的である。空間領域 [0, 2テンプレート:Mvar] 上の（周期的境界条件付き）移流方程式

$u_t+a(x)u_x=0,u(x,0)=f(t)$

を考える。偶数の テンプレート:Mvar に対し、等距離の点 テンプレート:Math （テンプレート:Math）を選点として選ぶ。簡単のために、まず方程の時間変数を（前進）差分法より離散化し、次のようにする。

$\frac{U^{n+1}-U^n}{\mathrm{\Delta }t}=-a(x)u_x$

ここで、テンプレート:Math は時間 テンプレート:Mvar での近似解である。したがって、正しく テンプレート:Mvar を近似することで、次の時刻での近似解がわかるようになる。

既知の数値 テンプレート:Math から空間上のグリッド関数 テンプレート:Math を定義し、周期的に拡張する。そして テンプレート:Math を次のように各選点で近似する。

$a(x_j)u_x(x_j)\approx a(x_j)(Dv{)}_j$

ここで、テンプレート:Mvar は スペクトル微分作用素 (spectral differentiation operator) という線型作用素であり、以下のように定義される。

$Dv={ℱ}_h^{-1}(i\xi {ℱ}_h(v))$

ここで、${ℱ}_h$ は半離散フーリエ変換 (semi-discrete Fourier transform) といい、以下のように定義される。

${ℱ}_h(v)=h\sum _{j=-\mathrm{\infty }}^{\mathrm{\infty }}{e}^{i\xi x_j}{v}_j,\xi \in [-\pi /h,\pi /h]$

そして対応する逆変換は

$({ℱ}_h^{-1}(\hat{v}){)}_j=\frac{1}{2\pi }\underset{-\pi /h}{\overset{\pi /h}{\int }}{e}^{i\xi x_j}\hat{v}(\xi )d\xi ,j\in \mathbb{Z}$

である。上述の近似から、次の時刻 テンプレート:Mvar での近似解がわかる。

また、グリッド関数を空間全体に周期的に拡張する代わりに、そのまま離散フーリエ変換を使って近似することも可能である。この方法は高速フーリエ変換を活用できるため、計算速度が相応に上がる。離散フーリエ変換は以下のように定義される。

$(ℱ(v){)}_j=\frac{1}{N}\sum _{k=0}^N{v}_k{e}^{ij{x}_k},j=0,\pm 1,\dots ,\pm N/2$

そして対応する逆変換は、

$({ℱ}^{-1}(\hat{v}){)}_j=\sum _{k=-N/2}^{N/2}{\hat{v}}_k{e}^{ik{x}_j},j=0,1,\dots ,N$

である。スペクトル微分作用素 テンプレート:Mvar を使わずに、まず周波数領域の導関数を以下のように設定する。

${\hat{v}}_j=\{\begin{array}{cc}ij(ℱ(v){)}_j& j\ne \pm N/2\\ 0& j=\pm N/2\end{array}$

それから、テンプレート:Mvar を以下のように近似できる。

$a(x_j)u_x(x_j)\approx a(x_j)({ℱ}^{-1}(\hat{v}){)}_j$

最後に、次の時刻での近似解を同じように計算する。

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Cite web