Az Euler–Maclaurin-képlet vagy formula kapcsolatot teremt az integrál és az összeg között. A formulát egymástól függetlenül fedezte fel Leonhard Euler és Colin Maclaurin 1735 körül. A formula alkalmazható végtelen vagy véges összegek becsléséhez, illetve integrálok értékének közelítő meghatározásához.
A formula
A képlet a következő alakot ölti:
![{\displaystyle \sum \limits _{k=p}^{m-1}{f\left(k\right)}=\int _{p}^{m}{f\left(t\right)}dt+\sum \limits _{v=1}^{n-1}{\frac {B_{v}}{v!}}\left({f^{\left({v-1}\right)}\left(m\right)-f^{\left({v-1}\right)}\left(p\right)}\right)+R_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0d60bbc2a0bf07d9125ad50b05d3d6e49e7d85d)
Itt
a Bernoulli-féle számokat,
pedig a maradéktagot jelöli. A Bernoulli-polinomok felhasználásával a maradéktag így írható:
![{\displaystyle R_{n}=-{\frac {1}{n!}}\int _{0}^{1}{\left({B_{n}\left(t\right)-B_{n}}\right)}\sum \limits _{k=p}^{m-1}{f^{\left(n\right)}}\left({k+1-t}\right)dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17c4336e3f877d1cc31196923ae629def98d7ca2)
Ha n páros, akkor szokás a képletet a következő alakban is megadni:
![{\displaystyle \sum \limits _{k=p}^{m-1}f\left(k\right)=C+\int _{p}^{m}{f\left(t\right)}dt+\sum \limits _{k=1}^{2s-2}{\frac {B_{k}}{k!}}f^{\left({k-1}\right)}\left(m\right)+\theta {\frac {B_{2s}}{\left({2s}\right)!}}f^{\left({2s-1}\right)}\left(m\right),\quad 0<\theta <1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7fa68a1ad9784a115221ffed0d12958f66b9f41)
Alkalmazás
A képlet alkalmazásával f(x) = ln(x) helyettesítéssel például eljuthatunk a Stirling-formuláig:
![{\displaystyle \ln \left({x!}\right)=\left({x+{\frac {1}{2}}}\right)\ln x-x+{\frac {1}{2}}\ln \left({2\pi }\right)+\sum \limits _{k=1}^{\infty }{\frac {B_{2k}}{2k\left({2k-1}\right)x^{2k-1}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ceb62919298a3694f18aabf8a757e36a9404b8cd)
A formula segítségével Euler a következő aszimptotikus sort találta a harmonikus sor részletösszegére:
![{\displaystyle \sum \limits _{k=1}^{n}{\frac {1}{k}}=\ln \left(n\right)+C+{\frac {1}{2n}}-\sum \limits _{i=1}^{\infty }{\frac {B_{2i}}{2i}}{\frac {1}{n^{2i}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/709f21b04b8ea5bf9bec8f789578e01d395acc5c)
A C számot Euler-féle konstansnak nevezzük, értéke körülbelül 0,5772156649.
Irodalom
Springer Online Reference Works – http://eom.springer.de/