オイラーの和公式

オイラーの和公式

オイラーの和公式（英: Euler–Maclaurin formula）は、1735年ごろに数学者レオンハルト・オイラーとコリン・マクローリンによって独立に発見された、降機的な級数の和を求める重要な公式です。この公式は、特に収束の遅い無限級数の和を求める際に非常に有用です。

数学的表現

公式は、関数 f(x) に対して次のように表されます。

$$
\sum_{j=0}^{n-1} f(j) = \int_{0}^{n} f(x) \, dx + \sum_{k=1}^{m} \frac{B_k}{k!}\left(f^{(k-1)}(n) - f^{(k-1)}(0)\right) + R_m
$$

ここで、$B_k$はベルヌーイ数を表し、$R_m$は余誤差項を示します。

数式の右翼の部分には、積分項とベルヌーイ数を使った和が含まれています。ベルヌーイ数は、特に多項式が与えられた場合に、式の精度を向上させる役割を果たします。しかし多項式以外の関数の場合、$m$を無限大にするとベルヌーイ数が急速に大きくなり、計算が発散する場合があります。このため、適切な$m$の値で打ち切ることが不可欠です。

台形公式との関係

オイラーの和公式は、数値積分において台形公式と関連付けることができます。具体的には、数値的な積分計算に伴う誤差を分析するために使用することができ、実用的な数値計算においても豊富な応用が見られます。

ベルヌーイ数とベルヌーイ多項式

ベルヌーイ数は、オイラーの和公式において重要な役割を持つ数列です。最初の数項を挙げると、次のようになります：

• - $B_0 = 1$
• - $B_1 = -\frac{1}{2}$
• - $B_2 = \frac{1}{6}$
• - $B_3 = 0$
• - $B_4 = -\frac{1}{30}$
• - $B_5 = 0$

また、ベルヌーイ多項式は、整数 $n$ に対して次のように定義されます。

• - $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$

このように、オイラーの和公式は、これらの数学的概念に密接に関連しています。

証明の概要

オイラーの和公式はいくつかの数学的原則に基づいています。特に、ベルヌーイ多項式の性質を利用することが多いです。これを証明する際には、部分積分や積分の置換を用いることがあります。最終的には、左右両辺の等式を確認することでこの公式が正しいことを確認できます。

関連文献と用語

オイラーの和公式の研究は，数学の多くの分野で行われており、数値解析や数論など広範囲にわたっています。関連書籍として、M. ベックと S. ロビンスによる「離散体積計算による組合せ数学入門」があり、この中でもオイラーの和公式に関連するトピックが議論されています。

この公式は、数学の理論的な側面だけでなく、実際の計算にも役立つ強力な道具として認識されています。

もう一度検索