二重指数関数型数値積分公式

二重指数関数型数値積分公式（にじゅうしすうかんすうがたすうちせきぶんこうしき、, 略してDE公式）とは変数変換に基づく数値積分の公式の一つである。この公式は森正武、高橋秀俊によって提案された。変換後の被積分関数が端点で的に減衰することが特徴である。数値積分の効率性の観点で、この公式がいろいろな点で使いやすく、非常に応用が利くと言われている。また、この公式は変換前の被積分関数が端点で特異性を持つときにも有効である。ただし、被積分関数によって適用できない場合があるので注意が必要である。
具体例.
以下、いろいろな積分と、それに対応する二重指数関数型の変換を示す()。
台形公式への適用例.
積分
の場合、変数変換
によって積分は次のような形になる。
これに、きざみ幅が等間隔formula_8である台形公式を適用すると、
を得る。さらに、この和を有限項までで打ち切ると、以下の数値積分公式が得られる：
ここで、formula_11は被積分関数formula_12の関数値を評価する回数である。formula_13とformula_14は、離散化誤差(formula_15)と打ち切り誤差(formula_16)がほぼ等しくなるように決める。
特殊関数への応用.
二重指数関数型積分公式は、ガンマ関数や変形ベッセル関数、行列値関数などの特殊関数の高精度計算・精度保証付き数値計算に応用されている。