二重指数関数型数値積分公式（にじゅうしすうかんすうがたすうちせきぶんこうしき、英: double exponential formula, 略してDE公式）とは変数変換に基づく数値積分の公式の一つである。この公式は森正武、高橋秀俊によって提案された。変換後の被積分関数が端点で二重指数関数的に減衰することが特徴である。数値積分の効率性の観点で、この公式がいろいろな点で使いやすく、非常に応用が利くと言われている。また、この公式は変換前の被積分関数が端点で特異性を持つときにも有効である。ただし、被積分関数によって適用できない場合があるので注意が必要である。

以下、いろいろな積分と、それに対応する二重指数関数型の変換を示す(森 (1998))。

${\displaystyle \int _{-1}^{1}f(x)dx\Rightarrow x=\tanh \left(\displaystyle {\frac {\pi }{2}}\sinh {t}\right)}$

${\displaystyle \int _{0}^{\infty }f(x)dx\Rightarrow x=\exp \left(\displaystyle {\frac {\pi }{2}}\sinh {t}\right)}$

${\displaystyle \int _{0}^{\infty }f_{1}(x)\exp(-x)dx\Rightarrow x=\exp \left(t-\exp(-t)\right)}$

${\displaystyle \int _{-\infty }^{\infty }f(x)dx\Rightarrow x=\sinh \left(\displaystyle {\frac {\pi }{2}}\sinh {t}\right)}$

積分

${\displaystyle I=\int _{-1}^{1}f(x)dx}$

の場合、変数変換

${\displaystyle x=\phi (t)=\tanh \left(\displaystyle {\frac {\pi }{2}}\sinh {t}\right)}$

によって積分は次のような形になる。

${\displaystyle I=\int _{-\infty }^{\infty }f(\phi (t))\phi '(t)dt}$

これに、きざみ幅が等間隔${\displaystyle h}$である台形公式を適用すると、

${\displaystyle I_{h}=h\sum _{k=-\infty }^{\infty }f(\phi (kh))\phi '(kh)}$

を得る。さらに、この和を有限項までで打ち切ると、以下の数値積分公式が得られる：

${\displaystyle I_{h}^{(N)}=\displaystyle {\frac {\pi }{2}}h\sum _{k=-N_{-}}^{N_{+}}f{\Bigl (}\tanh \left(\displaystyle {\frac {\pi }{2}}\sinh {(kh)}\right){\Bigr )}{\dfrac {\cosh {(kh)}}{\cosh ^{2}\left(\displaystyle {\frac {\pi }{2}}\sinh {(kh)}\right)}},N=N_{-}+N_{+}+1}$。

ここで、${\displaystyle N}$は被積分関数${\displaystyle f(x)}$の関数値を評価する回数である。${\displaystyle N_{-}}$と${\displaystyle N_{+}}$は、離散化誤差(${\displaystyle \Delta I=I-I_{h}}$)と打ち切り誤差(${\displaystyle \varepsilon =I_{h}-I_{h}^{(N)}}$)がほぼ等しくなるように決める。

二重指数関数型積分公式は、ガンマ関数^[1]や変形ベッセル関数^[2]、行列値関数^[3][4]などの特殊関数の高精度計算・精度保証付き数値計算に応用されている。

• 数値積分
• 台形公式
• 精度保証付き数値計算
• 森正武
• 高橋秀俊

出典は列挙するだけでなく、脚注などを用いてどの記述の情報源であるかを明記してください。 記事の信頼性向上にご協力をお願いいたします。（2018年6月）

• 森正武『数値解析 (第2版)』共立出版、2002年。 
• Hidetosi Takahasi and Masatake Mori: Error Estimation in the Numerical Integration of Analytic Functions, Report of the Computer Centre, University of Tokyo, Vol.3 (1970), pp.41-108.
• H. Takahasi and M. Mori: Estimation of Errors in the Numerical Quadrature of Analytic Functions, Applicable Analysis, Vol.1 (1971) 201-229.
• Masatake Mori and Makoto Natori: Error Estimation in the Linear Approximation of Analytic Functions, Rep. Compt. Centre, Univ. Tokyo, Vol.4 (1971-1972), pp.1--17.
• 高橋秀俊「数値積分法の迷信」、数学セミナー、1971年3月号、日本評論社。また高橋秀俊：「数理と現象」，岩波書店（1975年1月10日）、頁157–168にも再録。
• Takahasi, Hidetosi; Mori, Masatake (1974). “Double exponential formulas for numerical indefinite integration”. Publications of the Research Institute for Mathematical Sciences (国立大学法人 京都大学数理解析研究所) 9 (3): 721-741. CRID 1390001204957327360. doi:10.2977/prims/1195192451. ISSN 0034-5318. https://doi.org/10.2977/prims/1195192451. 
• Davis, Philip J.; Rabinowitz, Philip; 森正武『計算機による数値積分法』日本コンピュータ協会, 科学技術出版社 (発売)〈コンピュータ・サイエンス研究書シリーズ〉、1981年2月。doi:10.11501/12623382。NDLJP:12623382。https://id.ndl.go.jp/bib/000001708932。 
• 森正武「二重指数関数型変換のすすめ(数値計算アルゴリズムの研究)」『数理解析研究所講究録』第1040巻、京都大学数理解析研究所、1998年4月、143-153頁、CRID 1050001202061919360、hdl:2433/62026、ISSN 1880-2818。 
• 森正武「数値解析における二重指数関数型変換の最適性」『数学』第50巻第3号、日本数学会、1998年、248-264頁、CRID 1390001205066239872、doi:10.11429/sugaku1947.50.248、ISSN 0039470X。 
• 渡辺二太「二重指数関数型数値積分公式について」『核融合研究』第63巻第5号、プラズマ・核融合学会、1990年、397-411頁、CRID 1390282681489156480、doi:10.1585/jspf1958.63.397、ISSN 04512375。 

• DE-Sinc数値計算法