Tích phân là gì? Định nghĩa Riemann, Lebesgue và ứng dụng

Tích phân (integral) là khái niệm nền tảng của giải tích toán học, đại diện cho phép tính tổng vô hạn các phần tử vô cùng bé nhằm xác định diện tích, thể tích, khối lượng và các đại lượng biến thiên liên tục trong không gian.

1. Khái niệm hình học và định nghĩa tích phân Riemann

Ý tưởng sơ khai của tích phân bắt nguồn từ bài toán tính diện tích hình thang cong giới hạn bởi đồ thị hàm số liên tục $f(x)$, trục hoành và hai đường thẳng biên $x = a$, $x = b$.

Bernhard Riemann đã hình thức hóa phép tính này bằng cách chia đoạn $[a, b]$ thành $n$ đoạn nhỏ với các điểm chia $a = x_0 < x_1 < \dots < x_n = b$. Trên mỗi đoạn con, chọn một điểm đại diện $\xi_i \in [x_{i-1}, x_i]$. Tổng Riemann được định nghĩa:

Khi đường kính của phân hoạch $\lambda = \max(\Delta x_i)$ tiến dần về 0, nếu giới hạn của tổng Riemann tồn tại hữu hạn và không phụ thuộc vào cách phân hoạch cũng như cách chọn điểm đại diện, hàm số được gọi là khả tích Riemann trên $[a, b]$, ký hiệu:

2. Định lý cơ bản của giải tích vi tích phân

Mối liên hệ mật thiết giữa hai phép toán đối nghịch là đạo hàm (vi phân) và tích phân được thiết lập vững chắc qua Định lý Cơ bản của Giải tích (Fundamental Theorem of Calculus):

Phần định lý	Phát biểu toán học	Ý nghĩa bản chất
Phần thứ nhất	Nếu $f$ liên tục trên $[a, b]$ và $F(x) = \int_a^x f(t) dt$ thì $F'(x) = f(x)$	Tích phân của một hàm số theo cận trên chính là một nguyên hàm của hàm số đó.
Phần thứ hai (Công thức Newton-Leibniz)	$\int_a^b f(x) dx = F(b) - F(a)$ trong đó $F'(x) = f(x)$	Cho phép tính chính xác giá trị tích phân xác định thông qua hiệu số giá trị nguyên hàm tại hai mút cận.

3. Các phương pháp tính tích phân kinh điển

Trong thực hành giải toán và mô hình hóa, các phương pháp biến đổi tích phân cơ bản bao gồm:

• Phương pháp đổi biến số (Integration by substitution): Dựa trên quy tắc đạo hàm hàm hợp, áp dụng công thức $\int f(u(x)) u'(x) dx = \int f(u) du$ để đưa tích phân phức tạp về dạng tích phân cơ bản.
• Phương pháp tích phân từng phần (Integration by parts): Xuất phát từ quy tắc đạo hàm tích hai hàm số, áp dụng công thức $\int u dv = uv - \int v du$, đặc biệt hiệu quả với tích của các hàm đa thức, lượng giác, mũ và logarit.
• Tích phân suy rộng (Improper integrals): Mở rộng tích phân cho các khoảng vô hạn (như từ $a$ đến $+\infty$) hoặc hàm số có điểm gián đoạn kỳ dị không bị chặn bằng cách lấy giới hạn tiệm cận.

4. Mở rộng lý thuyết: Tích phân Lebesgue và tích phân bội

Để khắc phục những hạn chế của tích phân Riemann đối với các hàm số gián đoạn phức tạp (như hàm Dirichlet), Henri Lebesgue đã xây dựng lý thuyết độ đo và tích phân Lebesgue. Bằng cách phân hoạch trục giá trị của hàm thay vì phân hoạch tập xác định, tích phân Lebesgue mở rộng không gian các hàm khả tích và đặt nền tảng cho lý thuyết xác suất hiện đại và giải tích hàm.

Trong không gian nhiều chiều, tích phân bội (tích phân hai lớp, ba lớp), tích phân đường và tích phân mặt mô tả các đại lượng vật lý không gian, liên kết chặt chẽ qua các định lý vi phân tích phân then chốt như Định lý Green, Định lý Stokes và Định lý phân kỳ Gauss-Ostrogradsky.