ガウス求積

**ガウス求積**（ガウスきゅうせき、）または**ガウスの数値積分公式**とは、カール・フリードリヒ・ガウスに因んで名づけられた数値解析における数値積分法の一種であり、実数のある閉区間(慣例的に  に標準化される)で定義された実数値関数のその閉区間に渡る定積分値を、比較的少ない演算で精度良く求めることができるアルゴリズムである。

 を正の整数とし、 を 任意の多項式関数とする。 の  に渡る定積分値  を、

の形でなるべく正確に近似する公式を考える。ここで、 は**積分点**または**ガウス点 (ガウスノード)**と呼ばれる  内の  個の点であり、 は**重み**と呼ばれる*n*個の実数である。

実は、 次のルジャンドル多項式の  個の零点（これらは全て  内にある）を積分点として選び、 を適切に選ぶと、 が  次以下の多項式であれば上記の式が厳密に成立することが示せる。この場合、 は  によらず一意的に定まる。この方法を  次の**ガウス・ルジャンドル (Gauss–Legendre) 公式**と呼び、通常はガウス求積またはガウスの数値積分公式と言えばこの方法を指している。

 が 次を超える多項式関数の場合、または多項式関数でない場合には、上記の公式は厳密には成立しないが、 が  次以下の多項式関数で精度よく近似できる場合には、上記の公式を  に対して適用することにより、その  における定積分値を精度よく得ることが期待できる。それ以外のたとえば、特異点のある関数の積分にはこの公式をそのまま適用することはできないが、被積分関数を  と表すことができて、 が多項式で近似できて、 が既知の関数（重み関数、通常は正値関数）であれば、それに対応する適切な離散的重み  を使って次のように表せる。

典型的な重み関数としては、W(x)=(1-x^2)^{-1/2}（ガウス–チェビシェフ）や W(x)=\exp(-x^2)（ガウス–エルミート）がある。この場合の  個の積分点  はルジャンドル多項式と同様に、ある直交多項式のクラスに属する  次多項式の根である。

重み関数と指定区間に付随するn次の直交多項式を考え、それの区間内にある*n*個の零点を分点にとして被積分関数*f*(*x*)をHermite補間公式で近似したものを考えると、直交多項式の重み関数に対する直交性から、*f*(*x*)に重み関数を掛けて積分したものは、直交関数の*n*個の零点に於ける*f*(*x*)の関数値それぞれに重みをかけたものの和で近似される（結果的に*f*(*x*)の各分点における導関数値は積分の近似値には寄与しない）。このようにして重み関数に対応するガウス型の数値積分公式を導くことができて、分点が*n*であるときには被積分関数が2*n*&minus;1次以下の任意の多項式に対して正確な積分値を与えるということが示せる.

## ガウス・ルジャンドル公式による求積
上述のように  次のこの方法には、 次のルジャンドル多項式  が対応している。このときの  次多項式は  となるよう正規化され、 番目のガウスノード  は  番目の  の根である。重みは次の式で与えられる。

低次の求積法は次のようになる。

## 区間の変更
一般的な区間  についての積分は、ガウス求積法を適用する前にその区間を標準区間  に変更する必要がある。この区間変更は以下のように線型変換で行う。

ガウス求積法を適用すると、以下で積分の近似値が得られる。

## 他の形式
正の重み関数  を導入することで、より汎用的な積分問題の表現も可能であり、区間  以外にも適用可能である。すなわち、次の形式の問題である。

, ,  は適当に選択する。, ,  のとき、前述の問題と同じ形式になる。それ以外の選択では、別の求積法になる。そのうちの一部を下記の表に示す。"A & S" という欄は、Abramowitz and Stegunにある式番号である。

### 基礎となる定理
 が自明でない  次の多項式で、次のように表されるとする。

  のn個の零点をノード（分点）として選ぶと、次数が  以下の任意の多項式について正確な積分値を与えるn個の重み  を選ぶことができる。さらに、それらのノードには重複がなくすべて開区間  にある。

この多項式  は、 を重み関数とする次数  の直交多項式である。

### 計算
ガウス求積法のノード  と重み  を計算するための基本的ツールは、直交多項式群と対応する重み関数が満たす3項漸化式である。

例えば、 がモニックな  次直交多項式（最高次の項の係数が  の  次直交多項式）なら、次のような漸化式で関係を表すことができる。

このことから、対応する行列の固有値および固有ベクトルからノードと重みを計算することができる。これを一般に Golub–Welsch アルゴリズムと呼ぶ。

 が直交多項式  の根であるとき、前掲の漸化式を k=0,1,\ldots, n-1 について用い、p_n (x_j)=0 であることを踏まえると、次が成り立つことがわかる。

:
J\tilde{P}=x_j \tilde{P}.


ここで
:
\tilde{P}={}^t[p_0 (x_j),p_1 (x_j),...,p_{n-1}(x_j)]

である。そして、 はいわゆるヤコビ行列である。

:
\boldsymbol{J}=
\begin{pmatrix}
B_0      & 1       & 0      & \ldots  & \ldots  & \ldots\\
A_1      & B_1     & 1      & 0       & \ldots  & \ldots \\
0        & A_2     & B_2    & 1       & 0       & \ldots \\
\ldots   & \ldots  & \ldots & \ldots  & \ldots  & \ldots \\
\ldots   & \ldots  & \ldots & A_{n-2}  & B_{n-2}  & 1 \\
\ldots   & \ldots  & \ldots & \ldots  & A_{n-1}  &   B_{n-1}
\end{pmatrix}
.


したがって、ガウス求積法のノードは三重対角行列の固有値として計算できる。

重みとノードを求めるには、要素が \mathcal{J}_{i,i}=J_{i,i}, i=1,\ldots,n と \mathcal{J}_{i-1,i}=\mathcal{J}_{i,i-1}=\sqrt{J_{i,i-1}J_{i-1,i}},\, i=2,\ldots,n から成る対称な三重対角行列 \mathcal{J} の方が好ましい。\mathbf{J} と \mathcal{J} は相似なので、固有値（ノード）も同じになる。重みは、行列  から計算できる。\phi^{(j)} が固有値  に対応する正規化固有ベクトル（すなわち、ユークリッドノルムが1の固有ベクトル）であるとき、固有ベクトルの第一成分から次のように重みが計算できる。

:
w_j=\mu_0 \left(\phi_1^{(j)}\right)^2.


ここで \mu_0 は重み関数の積分である。

:
\mu_0=\int_a^b w(x) dx.


詳しくは Gil, Segura & Temme 2007 を参照されたい。

### 誤差の見積もり
ガウス求積法の誤差は次のように定式化される。被積分関数が連続な  次の導関数を持つときには、

となる。ここで  は区間  にあり、 は  次の直交多項式であり、さらに

である。重要な特別な場合  については、次のような誤差見積もりがある。

Stoer and Bulirsch によれば、この誤差見積もりは 次の導関数を見積もるのが難しいので実用には不向きであり、さらに言うと実際の誤差はこの見積もりの与える上界よりもずっと小さい。別の手法として、次数の異なるガウス求積法を使って、2つの結果の違いから誤差を見積もる方法もある。それにはガウス＝クロンロッド求積法が便利である。

### ガウス＝クロンロッド求積法

区間  を分割すると、各部分区間のガウス評価点は元の区間での評価点とは一致せず（奇数の場合の0を除く）、従って、新たに評価点を求める必要がある。ガウス＝クロンロッド求積法は、ガウス求積法の  個の点に  個の点を追加し、求積法としての次数を  にするものである。これにより、低次の近似で使う関数値を高次の近似の計算に再利用できる。通常のガウス求積法とクロンロッドの拡張による近似の差分が誤差の見積もりによく利用される。

## 脚注

## 外部リンク
* ALGLIB 数値積分のためのアルゴリズムが多数掲載されている（言語は C# / C++ / Delphi / Visual Basic / その他）
* GNU Scientific Library - C言語版の QUADPACK アルゴリズムを含む（GNU Scientific Libraryも参照）
* Gaussian Quadrature Rule of Integration - Notes, PPT, Matlab, Mathematica, Maple, Mathcad at *Holistic Numerical Methods Institute*
* Gaussian Quadrature table at sitmo.com (リンク切れ。閲覧する場合は Internet Archive によるキャッシュ (こちら) を参照。)
* Legendre-Gauss Quadrature at MathWorld
* Gaussian Quadrature by Chris Maes and Anton Antonov, The Wolfram Demonstrations Project.