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

提供: testwiki
ナビゲーションに移動 検索に移動

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

具体例

以下、いろいろな積分と、それに対応する二重指数関数型の変換を示す(テンプレート:Harvtxt)。

11f(x)dxx=tanh(π2sinht)
0f(x)dxx=exp(π2sinht)
0f1(x)exp(x)dxx=exp(texp(t))
f(x)dxx=sinh(π2sinht)

台形公式への適用例

積分

I=11f(x)dx

の場合、変数変換

x=ϕ(t)=tanh(π2sinht)

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

I=f(ϕ(t))ϕ(t)dt

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

Ih=hk=f(ϕ(kh))ϕ(kh)

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

Ih(N)=π2hk=NN+f(tanh(π2sinh(kh)))cosh(kh)cosh2(π2sinh(kh)),N=N+N++1

ここで、Nは被積分関数f(x)の関数値を評価する回数である。NN+は、離散化誤差(ΔI=IIh)と打ち切り誤差(ε=IhIh(N))がほぼ等しくなるように決める。

特殊関数への応用

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

関連項目

脚注

テンプレート:Reflist

参考文献

テンプレート:参照方法

外部リンク

テンプレート:Integral

  1. テンプレート:Cite journal
  2. Yamanaka N., Okayama T., Oishi S. (2017) Verified error bounds for the modified Bessel function of the second kind using double exponential formula over semi-infinite interval, International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Miyakojima, Okinawa, Japan (Mar. 14–18, 2017).
  3. テンプレート:Cite journal
  4. テンプレート:Cite journal arXiv:1901.07834.