オイラーの和公式

数学において、オイラーの和公式（オイラーのわこうしき、オイラー・マクローリンの公式、テンプレート:Lang-en-short）は1735年頃オイラーとマクローリンにより独立に発見された級数の和を与える公式である。この公式は収束の遅い無限級数の和を求めるときに便利であるが、$f(x)$が多項式であるような場合を除き、$m\to \mathrm{\infty }$とすればベルヌーイ数が急速に大きくなって発散する。従って、漸近展開のように発散する前の適当なところで打ち切らなければならない。また、この公式は台形公式による数値積分の誤差を示すものと考えることもできる。

$\sum _{j=0}^{n-1}f(j)=\underset{0}{\overset{n}{\int }}f(x)dx+\sum _{k=1}^m\frac{B_k}{k!}(f^{(k-1)}(n)-f^{(k-1)}(0))+R_m$

$\sum _{j=1}^{n-1}f(j)+\frac{1}{2}(f(0)+f(n))=\underset{0}{\overset{n}{\int }}f(x)dx+\sum _{k=1}^m\frac{B_{2k}}{(2k)!}(f^{(2k-1)}(n)-f^{(2k-1)}(0))+R_{2m+1}$

$R_m=(-1{)}^{m+1}\underset{0}{\overset{n}{\int }}\frac{B_m(x-\lfloor x\rfloor )}{m!}{f}^{(m)}(x)dx$

但し、$B_n$はベルヌーイ数、$B_n(x)$はベルヌーイ多項式である。

$B_1=-\frac{1}{2},B_2=\frac{1}{6},B_3=0,B_4=-\frac{1}{30},B_5=0,B_6=\frac{1}{42},B_7=0,B_8=-\frac{1}{30},B_9=0,B_{10}=\frac{5}{66},\cdots$

$B_0(x)=1,B_1(x)=x-\frac{1}{2},B_2(x)=x^2-x+\frac{1}{6},B_3(x)=x^3-\frac{3}{2}{x}^2+\frac{1}{2}x,B_4(x)=x^4-2x^3+x^2-\frac{1}{30},\dots$

なお、$f^{(k)}$は導関数、$\lfloor x\rfloor$は床関数を表す。

テンプレート:Illはこれの一般化である。

証明

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

$\underset{0}{\overset{1}{\int }}\frac{B_{k-1}(x)}{(k-1)!}{f}^{(k-1)}(x)dx=\underset{0}{\overset{1}{\int }}\left(\frac{B_k(x)}{k!}\right)f^{(k-1)}(x)={[\frac{B_k(x)}{k!}{f}^{(k-1)}(x)]}_0^1-\underset{0}{\overset{1}{\int }}\frac{B_k(x)}{k!}{f}^{(k)}(x)dx$

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

$\underset{0}{\overset{1}{\int }}f(x)dx=\underset{0}{\overset{1}{\int }}{B}_0(x)f(x)dx=\sum _{k=1}^m{[(-1{)}^{k-1}\frac{B_k(x)}{k!}{f}^{(k-1)}(x)]}_0^1+(-1{)}^m\underset{0}{\overset{1}{\int }}\frac{B_m(x)}{m!}{f}^{(m)}(x)dx$

となるが、これは$f(x)$を$f(j+x)$に置き換えても成り立つから

$\begin{array}{cc}\underset{0}{\overset{n}{\int }}f(x)dx& =\sum _{j=0}^{n-1}\underset{0}{\overset{1}{\int }}f(j+x)dx\\ & =\sum _{j=1}^{n-1}\sum _{k=1}^m{[(-1{)}^{k-1}\frac{B_k(x)}{k!}{f}^{(k-1)}(x)]}_0^1+(-1{)}^m\underset{0}{\overset{n}{\int }}\frac{B_m(x-\lfloor x\rfloor )}{m!}{f}^{(m)}(x)dx\end{array}$

である。$B_1(0)=-\frac{1}{2},$$B_1(1)=\frac{1}{2},B_{2k}(0)=B_{2k}(1)=B_{2k},$$B_{2k+1}(0)=B_{2k+1}(1)=B_{2k+1}=0$を代入すれば

$\underset{0}{\overset{n}{\int }}f(x)dx=\sum _{j=0}^{n-1}f(j)-\frac{1}{2}f(0)+\frac{1}{2}f(n)-\sum _{k=2}^m(-1{)}^k\frac{B_k}{k!}(f^{(k-1)}(n)-f^{(k-1)}(0))-R_m$

$R_m=(-1{)}^{m+1}\underset{0}{\overset{n}{\int }}\frac{B_m(x-\lfloor x\rfloor )}{m!}{f}^{(m)}(x)dx$

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

$\sum _{j=0}^{n-1}f(j)=\underset{x=0}{\overset{n}{\int }}f(x)dx+\sum _{k=1}^m\frac{B_k}{k!}(f^{(k-1)}(n)-f^{(k-1)}(0))+R_m$

となる。或いは

$\begin{array}{cc}\sum _{j=1}^{n-1}f(j)+\frac{1}{2}(f(0)+f(n))& =\underset{0}{\overset{n}{\int }}f(x)dx+\sum _{k=2}^{2m+1}\frac{B_k}{k!}(f^{(k-1)}(n)-f^{(k-1)}(0))+R_{2m+1}\\ & =\underset{0}{\overset{n}{\int }}f(x)dx+\sum _{k=1}^m\frac{B_{2k}}{(2k)!}(f^{(2k-1)}(n)-f^{(2k-1)}(0))+R_{2m+1}\\ \end{array}$

となる。

関連文献

• M.ベック、S.ロビンス著 ; 岡本吉央(訳)：「離散体積計算による組合せ数学入門」、シュプリンガー・ジャパン、ISBN 978-4-431-10077-5 (2010年7月4日)。※第10章 $R^d$におけるEuler-Maclaurin和。

関連項目

• アーベル・プラナの公式
• レオンハルト・オイラー
• コリン・マクローリン