オイラーの和公式

収束の遅い無限級数の和を求めるときに便利な公式

数学において、オイラーの和公式(オイラー・マクローリンの公式、: Euler–Maclaurin formula)は級数の和を与える公式である[1]。この公式は収束の遅い無限級数の和を求めるときに便利であるが、が多項式であるような場合を除き、とすればベルヌーイ数が急速に大きくなって発散する。従って、漸近展開のように発散する前の適当なところで打ち切らなければならない。この公式は台形公式による数値積分の誤差を示すものとも考えられる。

但し、ベルヌーイ数ベルヌーイ多項式である。

なお、は導関数、床関数を表す。

証明編集

ベルヌーイ多項式の性質(若しくは定義)により

 

である。有限回の部分積分を繰り返して

 

となるが、これは  に置き換えても成り立つから

 

である。   を代入すれば

 
 

を得る。移項して形式を整えると

 

となる。或いは

 

となる。

関連項目編集

出典編集

  1. ^ Springer Online Reference Works: Euler–MacLaurin formula