Euler-MacLaurin総和公式の「導出」
Wikipediaには色んなことが書いてあるのう...
Since the summation operator Σ is the inverse operator to the difference operator Δ we get
.
Now we know that the exponential generating function of the Bernoulli numbers is given by
,
hence formally
,
where ∫ denotes the integral operator. This purely formal derivation indicates the existence of the formula. The idea is due to Legendre.
Bernoulli多項式の母関数は忘れそうだけど,そこだけどうにかすればEuler-MacLaurin総和公式を暗記できるな.
もうちょっとしっかりした導出はこちら:
- http://www.math.ntnu.no/~bryn/TMA4215/current/notater/EulerMacLaurin.pdf NOTES ON THE EULER-MCLAURIN SUMMATION FORMULA