Trong toán học, công thức Euler-Maclaurin là một công thức cho sự khác biệt giữa một tích phân và tổng có liên quan chặt chẽ. Nó có thể được sử dụng để tính gần đúng các tích phân bằng các tổng hữu hạn hoặc ngược lại để đánh giá các tổng hữu hạn và chuỗi vô hạn bằng cách sử dụng các tích phân và máy móc tích phân. Ví dụ, nhiều mở rộng tiệm cận có nguồn gốc từ công thức này và công thức Faulhaber cho tổng số lũy thừa là một hệ quả ngay lập tức.
Công thức được Leonhard Euler và Colin Maclaurin phát hiện độc lập vào khoảng năm 1735. Euler cần nó để tính toán chuỗi hội tụ vô hạn một cách chậm chạp trong khi Maclaurin sử dụng nó để tính tích phân. Sau đó, nó đã được khái quát hóa thành công thức Darboux.
Công thức
Nếu
và
là các số tự nhiên và
là một hàm liên tục có giá trị thực hoặc phức cho các số thực
trong khoảng
, thì tích phân
![{\displaystyle I=\int _{m}^{n}f(x)\,dx}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e141c457f8f6be4e46dd83587301e84a9f6a65a9)
có thể được xấp xỉ bằng tổng (hoặc ngược lại)
![{\displaystyle S=f(m+1)+\cdots +f(n-1)+f(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7db1946c1f11385530a2feb9ce86a018b9abcf7)
(xem phương pháp hình chữ nhật). Công thức Eluler-Maclaurin cung cấp các biểu thức cho sự khác biệt giữa tổng và tích phân theo các đạo hàm cao hơn
đượcđánh giá tại các điểm cuối của khoảng, có nghĩa là khi
và
.
Một cách cụ thể hơn, cho
một số nguyên dương và một hàm
đó là
lần khả vi liên tục trên khoảng
, chúng ta có
![{\displaystyle S-I=\sum _{k=1}^{p}{{\frac {B_{k}}{k!}}(f^{(k-1)}(n)-f^{(k-1)}(m))}+R_{p},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e10a72ec7d8bab5c3ed768412cace44367920b9)
Ở đâu
là
số Bernoulli (với
) và
là một thuật ngữ lỗi phụ thuộc vào
,
,
và
và thường nhỏ cho các giá trị phù hợp của
.
Công thức thường được viết với chỉ mục con chỉ lấy các giá trị chẵn, vì các số Bernoulli lẻ bằng 0 ngoại trừ
. Trong trường hợp này, chúng ta có [1][2]
![{\displaystyle \sum _{i=m}^{n}f(i)=\int _{m}^{n}f(x)\,dx+{\frac {f(n)+f(m)}{2}}+\sum _{k=1}^{\lfloor p/2\rfloor }{\frac {B_{2k}}{(2k)!}}(f^{(2k-1)}(n)-f^{(2k-1)}(m))+R_{p},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c227020177b2f589ef96a8a442fb5838d8ef63f5)
Hay cách khác
![{\displaystyle \sum _{i=m+1}^{n}f(i)=\int _{m}^{n}f(x)\,dx+{\frac {f(n)-f(m)}{2}}+\sum _{k=1}^{\lfloor p/2\rfloor }{\frac {B_{2k}}{(2k)!}}(f^{(2k-1)}(n)-f^{(2k-1)}(m))+R_{p}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0337c56eecbdc5de5b3251caa542ae72f547f8e6)
Số hạng còn lại
Số hạng còn lại phát sinh vì tích phân thường không chính xác bằng tổng. Công thức có thể được bắt nguồn bằng cách áp dụng tích hợp lặp đi lặp lại bởi các phần cho các khoảng tiếp theo
cho
. Các cận biên trong các tích hợp này dẫn đến các hệ số chính của công thức và các tích phân còn lại tạo thành "phần còn lại".
Phần còn lại có một biểu thức chính xác với các hàm Bernoulli được định kỳ
. Đa thức Bernoulli có thể được định nghĩa đệ quy bởi
va cho
,
![{\displaystyle {\begin{aligned}B_{k}'(x)&=kB_{k-1}(x),\\\int _{0}^{1}B_{k}(x)\,dx&=0.\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb22027f90cf4a4608216924ea20bb730d66e30a)
Các hàm Bernoulli định kỳ được định nghĩa là
![{\displaystyle P_{k}(x)=B_{k}(x-\lfloor x\rfloor ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae2f5ce7dac7df0a069f96f7dcb0ae0f6e184e4f)
Ở đâu
biểu thị số nguyên lớn nhất nhỏ hơn hoặc bằng
(vậy nên
luôn luôn nằm trong khoảng
).
Với ký hiệu này, phần còn lại
bằng
![{\displaystyle R_{p}=(-1)^{p+1}\int _{m}^{n}f^{(p)}(x){\frac {P_{p}(x)}{p!}}\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a3a4abf7604b581a495cf4543605e399b6f3d83)
Khi nào
, có thể chỉ ra rằng
![{\displaystyle |B_{k}(x)|\leq {\frac {2\cdot k!}{(2\pi )^{k}}}\zeta (k),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a3ccaf8a9d8b7fc82987e153893f3afe27534f6)
Ở đâu
biểu thị hàm zeta Riemann; một cách tiếp cận để chứng minh sự bất bình đẳng này là thu được chuỗi Fourier cho đa thức
. Các ràng buộc đạt được cho thậm chí
khi nào
bằng không. Thuật ngữ
có thể được bỏ qua cho số lẻ
nhưng chứng minh trong trường hợp này phức tạp hơn (xem Lehmer).[3] Sử dụng bất đẳng thức này, kích thước của số hạng còn lại có thể được ước tính là
![{\displaystyle |R_{p}|\leq {\frac {2\zeta (p)}{(2\pi )^{p}}}\int _{m}^{n}|f^{(p)}(x)|\,dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92a340251c4cdd46e98889c6a7264e72646342c4)
Tham khảo
- ^ Apostol, T. M. (ngày 1 tháng 5 năm 1999). “An Elementary View of Euler's Summation Formula”. The American Mathematical Monthly. Mathematical Association of America. 106 (5): 409–418. doi:10.2307/2589145. ISSN 0002-9890. JSTOR 2589145.
- ^ “Digital Library of Mathematical Functions: Sums and Sequences”. National Institute of Standards and Technology.
- ^ Lehmer, D. H. (1940). “On the maxima and minima of Bernoulli polynomials”. The American Mathematical Monthly. 47 (8): 533–538. doi:10.2307/2303833.
|
---|
Tiền vi tích phân | |
---|
Giới hạn (toán học) | |
---|
Vi phân | |
---|
Tích phân | |
---|
Tích phân vectơ | - Derivatives
- Basic theorems
|
---|
Vi tích phân đa biến | |
---|
Dãy và chuỗi | - Cấp số cộng nhân
- Các chuỗi
- Dấu hiệu hội tụ
- Dấu hiệu Abel
- Tiêu chuẩn Leibniz
- Tiêu chuẩn Cauchy cô đọng
- Dấu hiệu so sánh trực tiếp
- Dấu hiệu Dirichlet
- Tiêu chuẩn hội tụ tích phân
- Tiêu chuẩn so sánh giới hạn
- Dấu hiệu tỉ số
- Dấu hiệu căn
- Dấu hiệu số hạng
|
---|
Các hàm và số đặc biệt | |
---|
Lịch sử vi tích phân | |
---|
Danh sách | |
---|
Chủ đề khác | |
---|