Euler-Maclaurin Summation Formula

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $f$ be a real function which is appropriately differentiable and integrable.


Then:

\(\ds \sum_{k \mathop = 1}^{n - 1} \map f k\) \(=\) \(\ds \int_0^n \map f x \rd x + \sum_{k \mathop = 1}^\infty \frac {B_k} {k!} \paren {\map {f^{\paren {k - 1} } } n - \paren {-1}^k \map {f^{\paren {k - 1} } } 0}\)
\(\ds \) \(=\) \(\ds \int_0^n \map f x \rd x\)
\(\ds \) \(\) \(\, \ds - \, \) \(\ds \frac 1 2 \paren {\map f n + \map f 0}\)
\(\ds \) \(\) \(\, \ds + \, \) \(\ds \frac 1 {12} \paren {\map {f'} n - \map {f'} 0}\)
\(\ds \) \(\) \(\, \ds - \, \) \(\ds \frac 1 {720} \paren {\map {f' ' '} n - \map {f' ' '} 0}\)
\(\ds \) \(\) \(\, \ds + \, \) \(\ds \frac 1 {30 \, 240} \paren {\map {f^{\paren 5} } n - \map {f^{\paren 5} } 0}\)
\(\ds \) \(\) \(\, \ds - \, \) \(\ds \frac 1 {1 \, 209 \, 600} \paren {\map {f^{\paren 7} } n - \map {f^{\paren 7} } 0}\)

where:

$f^{\paren k}$ denotes the $k$th derivative of $f$
$B_n$ denotes the $n$th Bernoulli number.


Proof


This theorem requires a proof.
In particular: I'll let someone do this who's better at this than me
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.



Also known as

The Euler-Maclaurin Summation Formula is also seen referred to as the Euler Summation Formula.


Also see


Source of Name

This entry was named for Leonhard Paul Euler and Colin Maclaurin.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Euler-Maclaurin_Summation_Formula&oldid=741345"