Tổng Riemann

Trong toán học, một tổng Riemann là một thể loại của phép tính gần đúng của tích phân bởi một tổng hữu hạn. Nó được đặt tên theo sau nhà toán học người Đức thế kỷ 19 Bernhard Riemann. Một ứng dụng thường thấy không những là phép tính gần đúng diện tích của hàm số hoặc đường thẳng trên đồ thị, mà còn là độ dài đường cong và một số phép tính gần đúng khác.

Tổng được tính toán bằng sự phân chia các vùng thành các dạng hình (hình chữ nhật, hình thang, parabol, hoặc hình hàm bậc ba) mà cùng nhau tạo thành những vùng giống với những vùng đã có được công thức tính toán, sau đó tính diện tích của mỗi vùng này, và cuối cùng cộng tất cả diện tích của những vùng nhỏ này với nhau. Phương pháp này có thể được dùng để tìm một số gần đúng cho tích phân xác định mặc dù định lý cơ bản của giải tích cho rằng nó không dễ để tìm một kết quả dạng đóng.

Bởi vì có những trường hợp những vùng này không phải là những vùng đã có được công thức tính toán từ trước, nên tổng Riemann sẽ khác với diện tích được tính toán. Lỗi này có thể được giảm đi bằng cách chia khoảng một cách chính xác nhất (nhỏ hơn và nhỏ hơn nữa). Khi mà hình dạng được chia nhỏ hơn và nhỏ hơn, tổng sẽ tiến tới tích phân Riemann.

Khái niệm
Cho  là hàm số xác định đoạn  của tập hợp số thực , và
⁠,
là sự phân chia của I, khi
.
Tổng Riemann  của f trên I với sự phân chia P (độ dài) được định nghĩa bởi:

khi  và một đoạn .
Chú ý từ "một đoạn" của câu trước. Một cách nghĩ khác về dấu hoa thị này là ta đang chọn một điểm bất kỳ trên đoạn này, và không cần quan tâm đến là chọn điểm nào; khi mà hiệu hoặc độ dài của đoạn tiến tới không, hiệu giữa hai điểm trong đoạn hình chữ nhật này cũng tiến tới không. Đây là bởi vì sự lựa chọn  trong đoạn  là bất kỳ, nên bất kỳ hàm số f nào xác định trên khoảng I và khoảng chia P, mỗi một hàm số sẽ cho ra các tổng khác nhau phụ thuộc vào  được chọn, miễn là  vẫn đúng.

Một số dạng đặc trưng của tổng Riemann
Mỗi sự lựa chọn  cho ta dạng tổng Riemann khác nhau:
 Nếu  với mọi i, thì S được gọi là quy tắc trái hoặc tổng Riemann trái.
 Nếu  với mọi i, thì S được gọi là quy tắc phải hoặc tổng Riemann phải.
 Nếu  với mọi i, thì S được gọi là quy tắc điểm giữa hoặc tổng Riemann giữa.
 Nếu  (nó là, cận trên đúng của f trên ), thì S được định nghĩa là tổng Riemann cao hoặc tổng Darboux cao.
 Nếu  (nó là, cận dưới đúng của f trên ), thì S được định nghĩa là tổng Riemann thấp hoặc tổng Darboux thấp.

Những phương pháp này là những phương pháp cơ bản nhất để tính được phép lấy tích phân bằng số. Nói dễ hơn, hàm số có thể tích phân Riemann được nếu tất cả các tổng Riemann có giá trị bằng nhau (bao gồm tổng Riemann trái, tổng Riemann phải, tổng Riemann giữa, tổng Riemann cao/tổng Darboux cao và tổng Riemann thấp/tổng Darboux thấp) khi các khoảng chia càng ngày tiến đến 0.

Nếu nó không phải là tổng Riemann, tổng trung bình của trái và phải Riemann là quy tắc hình thang và là một trong những cách chung đơn giản nhất để tính gần đúng tích phân bằng cách sử dụng trung bình trọng số. Điều này theo sau tính phức tạp bởi quy tắc Simpson và công thức Newton–Cotes.

Bất kỳ tổng Riemann với khoảng chia (đó là, với bất kỳ sự lựa chọn nào của  giữa  và ) đều ở trong tổng Darboux cao và thấp. Điều này làm cơ sở cho tích phân Darboux, khi nó tương đương với tích phân Riemann.

Phương pháp
Bốn phương pháp của tổng Riemann là những pháp cơ bản nhất. Đoạn [a, b] được chia thành n khoảng con, có độ dài

Điểm trong khoảng chia này sẽ là

Tổng Riemann trái

Với tổng Riemann trái, phép tính gần đúng hàm số bằng cách sử dụng giá trị của nó tại điểm trái cùng cho nhiều hình chữ nhật với chiều dài Δx và chiều cao f(a + iΔx). Làm điều này đối với i = 0, 1,..., n − 1, và cộng vào diện tích thu được cho

Tổng Riemann trái cao hơn giá trị nếu f có sự nghịch biến trên đoạn này, và thấp hơn giá trị nếu có sự đồng biến.

Tổng Riemann phải

f ở đây được tính gần đúng bởi giá trị của điểm cuối bên phải. Cho nhiều hình chữ nhật với chiều dài Δx và độ cao f(a + i Δx). Làm điều này đối với i = 1,..., n, và cộng vào diện tích thu được cho

Tổng Riemann phải này là thấp hơn nếu f nghịch biến, và cao hơn nếu nó đồng biến.
Sai số của công thức này sẽ là

,

với  là giá trị lớn nhất của giá trị tuyệt đối của  trên đoạn này.

Quy tắc điểm giữa

Phép tính gần đúng f tại điểm giữa của đoạn cho f(a + Δx/2) của khoảng thứ nhất, kế tiếp là f(a + 3Δx/2), và tiếp tục cho đến f(b − Δx/2). Tổng diện tích thu được cho

.

Sai số của công thức này sẽ là

,

với  là giá trị lớn nhất của giá trị tuyệt đối của  trên đoạn này.

Quy tắc hình thang

Trong trường hợp này, giá trị của hàm f trên đoạn này được tính gần đúng bởi trung bình giá trị của điểm cuối trái và phải. Tương tự như những phương pháp trên, tính toán diện tích thu được 
 
cho một hình thang với hai cạnh song song b1, b2 và chiều cao h cho

Sai số của công thức này sẽ là

với  là giá trị lớn nhất của giá trị tuyệt đối của .

Phép tính gần đúng thu được với quy tắc hình thang cho một hàm số là giống với trung bình của tổng phía bên trái và phải của hàm số đó.

Sự liên quan với tích phân
Tổng Riemann một bằng phẳng trên đoạn , với khoảng chia lớn nhất gần bằng không (đó là giới hạn của khoảng chia bình thường), một hàm số sẽ có các tổng Riemann giống nhau. Giá trị giới hạn này, nếu nó tồn tại, được định nghĩa là tích phân Riemann xác định của hàm số đó trên tập xác định ,

 

hoặc

 

với định nghĩa 

Trong trường hợp tập xác định hữu hạn, nếu giá trị lớn nhất của khoảng chia tiến tới không, điều này nhấn mạnh số lượng phần tử chia tiến tới vô cực. Với khoảng chia hữu hạn, tổng Riemann luôn luôn là phép tính gần đúng tới giá trị giới hạn và phép tính gần đúng này sẽ chính xác hơn nếu nó có khoảng chia nhỏ hơn nữa. Đồ thị hoạt hóa sau đây giúp minh họa số lượng của khoảng chia tăng thì diện tích được ước tính chính xác hơn như thế nào dưới đường cong (trong khi giảm dần độ dài khoảng chia):

Bởi vì hàm số của đường màu đỏ ở đây là một hàm số trơn, nên tất cả những tổng Riemann sẽ cho ra giá trị giống nhau khi số lượng khoảng chia tiến tới vô cực.

Tham khảo

Liên kết ngoài

Mô phỏng sự hội tụ của tổng Riemann

Giải tích tích phân
Bernhard Riemann