数値積分

数値積分（すうちせきぶん、）とは、狭義には与えられる関数の定積分の値を、解析的にではなく数値的に求める求積法のことであり、広義には与えられる導関数から原関数を求める手法、また微分方程式を数値的に解く手法 (常微分方程式の数値解法、偏微分方程式の数値解法) を含む。数値解析の一分野である。

狭義の数値積分（関数の定積分の値を求める方法）は有限要素法などで応用されている。
以下では、狭義の数値積分について述べる。

 乱数を用いない積分法 
1変数の定積分の数値積分として、乱数を使わない方法には、
 ニュートン・コーツの公式
 中点則：区分求積法の定義で用いられる、シンプルな長方形近似
 それについでシンプルな台形公式
 簡便な割に高精度なシンプソンの公式
 ロンバーグ積分 (台形公式と数列の加速法を組み合わせた公式)
 積分点を適応的に取るガウス求積、ガウス＝クロンロッド求積法、
などがある。

ニュートン・コーツ系の公式の場合、中点則と台形公式の誤差項はどちらも2階導関数で表され、シンプソンの公式とシンプソンの3/8公式の誤差講はどちらも4階導関数で表される。滑らかな関数の場合には同じ誤差のグループ同士では結果に大きな違いは生じない。通常はシンプソンの公式の方が台形公式よりも近似誤差が小さいが、そうならない場合もある。

二重指数関数型数値積分公式、IMT積分などの変数変換を用いた公式を適用すれば、被積分関数が端点に特異性を持つ場合でも、積分値を計算することが可能な場合もある。

 多重積分 
2変数以上の多重積分の場合は、外側から積分し、外の変数を定数として内側の積分を数値積分すれば良い。ただし一般に、変数の数が多くなると、統計的サンプリングに基づいたモンテカルロ法や準モンテカルロ法の方が計算効率が良くなる。
なお、1983年当時における多重積分の理論、アルゴリズムの状況は次元に応じて次のように分類されているDavis，P. J. and Rabinowitz，P.: Methods of Numerical Integration，2nd Edition，Academic Press，San Diego，1984．。

高次元空間での数値積分は金融工学や量子物理学などの分野でよく用いられるため、活発に研究されている。

精度保証付き数値積分
定積分の精度保証付き数値計算は、被積分関数の多項式近似と多項式の値を精度保証付き数値計算で求める技術を組み合わせて実現される。多項式の値を計算する際にはホーナー法が使われ、多項式近似にはテイラー展開や多項式補間が使われる。

直交関数の零点を利用する近似公式
ガウス求積は直交多項式の零点を活用する積分公式である。ベッセル関数の零点を活用する積分公式も開発されており、被積分関数がベッセル関数を含む場合に有効とされている。

超関数を使った積分
特異点を持つ積分の場合、佐藤超函数を経由して複素数値積分に持ち込むことで特異点を避け、誤差を抑えられる手法が提案されている。

部分積分を使った数値積分
振動積分に対しては部分積分を組み合わせた数値積分が提案されている。

 乱数を用いる積分 

被積分関数の定義域が高次元のために各変数ごとの積型積分近似公式では必要とする精度に対する計算量が多くなりすぎる場合(次元の呪いが発生する場合)にはモンテカルロ法の方が計算の能率が良くなる。
 単純なモンテカルロ積分
 加重サンプリングを行う VEGAS 法
 層化抽出法を行うよう改良を加えた MISER 法
などがあり、このような数値積分法はモンテカルロ積分法とよばれる。

一様乱数の代わりにを使うとになり、収束がより速くなる場合がある。

確率論やランダム行列理論などを用いて上記の近似公式とモンテカルロ積分法を融合させたアルゴリズムも提案されているNakatsukasa, Y. (2018). "Approximate and integrate: Variance reduction in Monte Carlo integration via function approximation". arXiv preprint .。

 積分範囲が無限区間の場合 
積分範囲が無限区間の場合は、下記の方法で置換積分で変換して数値積分する方法がある。ただし関数によっては違う方法を利用した方が良い場合もある。無限大に近づくときに急激に0に収束することが解析的に分かっている場合は、積分範囲を有界で区切ってしまえば良い場合もある。






このことに関係する研究についてはYuya Suzuki, Nuutti Hyvönen and Toni Karvonen; "Möbius-transformed trapezoidal rule", Math. Comp. vol.95 (2026), pp.1491-1515.などがある。

 数値積分が困難な場合 
数値積分のアルゴリズムは、滑らかである、連続である、特異点の数や場所が限られている、など、それぞれアルゴリズムが何らかの前提条件を関数にかけていて、それに沿った物が正常に積分できる。例えば、無数に不連続点がある関数は、基本的に数値積分が困難である。更に、広義積分可能であることも通常は前提条件に入っていて、コーシーの主値積分としては積分可能であっても、広義積分不可能な関数は、前提が崩れるためおかしな結果になる場合がある。

例えば  はコーシーの主値積分では 0 であるが、広義積分不可能でありintegrate from -1 to 1 1/x dx - Wolfram|Alpha、これを数値積分すると（そもそも正しい結果が無いが）おかしな結果が返ってくることがある。定積分が広義積分可能であるかどうかは簡単には判断が付かない場合もあるため注意が必要である。

 実装 
近似計算
 QUADPACK - 乱数を使わない1変数の定積分が FORTRAN 77 で実装されているQUADPACK (nines)quadpack。
 GNU Scientific Library ではこれをC言語に移植している。モンテカルロ積分や超一様分布列も実装されている。
 SciPy、R言語、GNU Octave、NAG数値計算ライブラリ、IMSLint_fcn_sing - IMSL C Math Library などが QUADPACK を使用している。
 Boost Math ToolkitChapter 11. Quadrature and Differentiation - 1.69.0
 Apache Commons Math では Java で実装されている。
 Cuba - 主にモンテカルロ積分が実装されている
 Mathematica・Maple・MATLAB などの数式処理システムおよび数値解析ソフトウェア
精度保証付き
 INTLAB - 精度保証を伴う数値積分が可能な区間演算ライブラリS.M. Rump: INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77-104. Kluwer Academic Publishers, Dordrecht, 1999.
  - 精度保証を伴う数値積分が可能な区間演算ライブラリ
  - 精度保証を伴う数値積分が可能な区間演算ライブラリJohansson, F. (2017). Arb: "efficient arbitrary-precision midpoint-radius interval arithmetic". IEEE Transactions on Computers, 66(8), 1281-1292, .Johansson, F. (2018, July). Numerical integration in arbitrary-precision ball arithmetic. In International Congress on Mathematical Software (pp. 255-263). Springer, Cham.Johansson, F., & Mezzarobba, M. (2018). Fast and Rigorous Arbitrary-Precision Computation of Gauss--Legendre Quadrature Nodes and Weights. :en:SIAM Journal on Scientific Computing, 40(6), C726-C747.

出典

関連項目
 二重指数関数型数値積分公式
 台形公式
 シンプソンの公式
 ガウスの求積法
 ガウス＝クロンロッド求積法
 ロンバーグ積分法

関連文献
 和書
 日高孝次：「数値積分法」、岩波書店（1948年)。
 日高孝次：「数値積分と数値計算」、岩波書店（1949年)。
 日高孝次：「数値積分法」、現代工学社（1974年）。※ 岩波書店から出ていた上下巻の合本復刻。
 P. J. Davis and P. Rabinowitz、森正武（訳）：「計算機による数値積分法」、日本コンピュータ協会（1981年2月15日)。
 森正武：「数値解析」（第2版）、共立出版（共立数学講座）、ISBN 978-4-320-01701-6（2002年2月1日)。
 杉原正顯、室田一雄：「数値計算法の数理」、岩波書店（2003年5月23日)。
 日本機械学会(編)：「数値積分法の基礎と応用」、コロナ社、ISBN 4-339-04491-1 (2003年7月3日).※この本の数値積分法は微分方程式の求積法を指す。
 田中健一郎、岡山友昭：「変数変換型数値計算法」、岩波数学叢書、ISBN 978-4-00-029860-5（2023年5月17日)。
 洋書
 Prem K. Kythe and Michael R. Schäferkotter: Handbook of Computational Methods for Integration, Chapman and Hall/CRC, ISBN 978-1-58488428-6 (2004年5月15日).
 Philip J. Davis and Philip Rabinowitz: Methods of Numerical Integration (2nd Ed),　Dover Publications, ISBN 978-0-48645339-2 (2007年10月25日）.
 G. Hämmerlin (Ed.): Numerical Integration, (Proceedings of the Conference Held at the Mathematisches Forschungsinstitut Oberwolfach, October 4–10, 1981), Birkhäuser, ISBN 978-3-0348-6308-7 (1982).
 H. Braß, G. Hämmerlin (Eds.): Numerical Integration III, (Proceedings of the Conference held  at the Mathematisches Forschungsinstitut, Oberwolfach, Nov. 8 – 14, 1987), Birkhäuser, ISBN 978-3-0348-6398-8 (1988).
 H. Brass and G. Hämmerlin (Eds.) : Numerical Integration IV, (Proceedings of the Conference at the Mathematical Research Institute, Oberwolfach, November 8–14, 1992), Birkhäuser, ISBN 978-3-0348-6338-4 (1993).
 V. I. Krylov: Approximate Calculation of Integrals, Dover publications, ISBN 978-0-486-44579-3 (1962).
 I. H. Sloan and S. Joe: Lattice Methods for Multiple Integration, Oxford Univ. Press, ISBN 978-0-19-853472-3 (1994).
 Arnold R. Krommer and Christoph W. Ueberhuber: Computational Integration, SIAM, ISBN 978-0-89871-374-9 (1998).
 Prem K. Kythe and Michael R. Schaferkotter: Handbook Of Computational Methods For Integration, CRC press, ISBN 1-58488-428-2 (2005).
 Gene H. Golub and Gérard Meurant: Matrices, Moments and Quadrature with Applications, Princeton Press, ISBN 978-0-691-14341-5 (2010).

外部リンク

 Lobatto Quadrature Wolfram Mathworld の記事
 Lobatto quadrature formula Encyclopedia of Mathematics の記事
 　桂田祐史：「数値積分解説」（2019年6月30日）
 Menghan Wu; Haiyong Wang: "Gaussian quadrature rules for composite highly oscillatory integrals", Math. Comp. (2023年7月21日）

*
Category:数値解析
Category:計算数学
Category:応用数学
Category:アルゴリズム
Category:スーパーコンピュータ
Category:数学に関する記事