✨Tích phân suy rộng

right|thumb|200x200px|Một tích phân suy rộng loại một. Tích phân được xác định trên một miền không bị chặn. right|thumb|200x200px|Một tích phân Riemann suy rộng loại hai. Tích phân có thể không tồn tại vì một [[tiệm cận đứng trong hàm.]] Trong giải tích, tích phân suy rộng là giới hạn của một tích phân xác định như một điểm đầu nút của (các) khoảng lấy tích phân tiệm cận hoặc số thực xác định hoặc $\backslash infty$ hoặc $-\backslash infty$ hoặc trong một số trường hợp, cả hai điểm đầu nút đều đạt đến các giới hạn. Một tích phân như vậy thường được viết tượng trưng giống như một tích phân xác định tiêu chuẩn, với vô cực như là một giới hạn của tích phân.

Cụ thể, một tích phân suy rộng là giới hạn có dạng : $\backslash lim\_\{b\backslash to\backslash infty\}\; \backslash int$a^bf(x)\, \mathrm{d}x, \qquad \lim{a\to -\infty} \inta^bf(x)\, \mathrm{d}x, hoặc của dạng : $\backslash lim${c\to b^-} \inta^cf(x)\, \mathrm{d}x,\quad \lim{c\to a^+} \int_c^bf(x)\, \mathrm{d}x, trong đó tích phân nhận một giới hạn của một hay điểm đầu nút khác (hoặc đôi khi cả hai) . Khi hàm không xác định tại nhiều điểm hữu hạn trong khoảng, tích phân suy rộng trên khoảng được định nghĩa là tổng các tích phân suy rộng trên các khoảng giữa những điểm này.

Bằng cách lạm dụng ký hiệu, tích phân suy rộng thường được viết tượng trưng như tích phân xác định tiêu chuẩn, nhưng với vô cực là một trong các giới hạn của tích phân. Khi tích phân xác định tồn tại (theo nghĩa của hoặc tích phân Riemann hoặc tích phân Lebesgue cao cấp hơn), sự nhập nhằng này được giải quyết do cả tích phân thường và tích phân suy rộng có giá trị như nhau.

Thường thì người ta có thể tính giá trị của tích phân suy rộng, ngay cả khi hàm không khả tích theo nghĩa thông thường (ví dụ như tích phân Riemann) do một điểm kỳ dị trong hàm hoặc không xác định tại vô cực. Các tích phân như vậy thường được gọi là "suy rộng thực", vì chúng không thể tính như một tích phân thường.

Ví dụ

Định nghĩa ban đầu của tích phân Riemann không áp dụng cho một hàm như $1/\{x^2\}$ trên khoảng [1, ∞), bởi vì trong trường hợp này miền của tích phân không bị chặn. Tuy nhiên, tích phân Riemann thường có thể được mở rộng bằng tính liên tục, bằng cách định nghĩa tích phân suy rộng, thay vì là một giới hạn : $\backslash int$1^\infty \frac{1}{x^2}\,\mathrm{d}x=\lim{b\to\infty} \int1^b\frac{1}{x^2}\,\mathrm{d}x = \lim{b\to\infty} \left(-\frac{1}{b} + \frac{1}{1}\right) = 1. Định nghĩa hẹp của tích phân Riemann cũng không bao gồm hàm số $1/\backslash sqrt\{x\}$ trên khoảng [0, 1]. Vấn đề ở đây là hàm lấy tích phân không bị chặn trong miền tích phân (định nghĩa đòi hỏi cả miền của tích phân và của hàm lấy tích phân phải bị chặn). Tuy nhiên, tích phân suy rộng vẫn tồn tại nếu được hiểu là giới hạn : $\backslash int$0^1 \frac{1}{\sqrt{x\,\mathrm{d}x=\lim{a\to 0^+}\inta^1\frac{1}{\sqrt{x\, \mathrm{d}x = \lim{a\to 0^+}(2-2\sqrt{a})=2. Đôi khi các tích phân có thể có hai điểm kỳ dị không thích hợp. Ví dụ, xét hàm  được lấy tích phân từ 0 đến  (shown right). Tại giới hạn dưới, khi x tiến tới 0 hàm tiến tới , và giới hạn trên cũng chính là , dù hàm tiến tới 0. Như vậy đây là tích phân suy rộng kép. Ví dụ lấy tích phân từ 1 đến 3, tổng Riemann bình thường cũng đủ đưa ra kết quả /6. Lấy tích phân từ 1 đến , tổng Riemann không thể cho ra kết quả. Tuy nhiên, giới hạn trên hữu hạn bất kỳ, như t (với ), cho kết quả rõ ràng, . Tích phân này có giới hạn hữu hạn khi t đến vô cùng,cụ thể là /2. Tương tự như vậy, tích phân từ 1/3 đến 1 cho phép dùng tổng Riemann, tình cờ một lần nữa cho ra kết quả /6. Thay 1/3 bằng một giá trị dương tùy ý s (như ) cũng không kém phần an toàn, cho . này cũng có giới hạn hữu hạn khi s tiến đến không, cụ thể là /2. Kết hợp các giới hạn của hai đoạn, kết quả của tích phân suy rộng này là : $\backslash begin\{align\}\; \backslash int${0}^{\infty} \frac{dx}{(x+1)\sqrt{x &{} = \lim{s \to 0} \int_{s}^{1} \frac{dx}{(x+1)\sqrt{x

• \lim{t \to \infty} \int{1}^{t} \frac{dx}{(x+1)\sqrt{x \ &{} = \lim_{s \to 0} \left(\frac{\pi}{2} - 2 \arctan{\sqrt{s \right)
• \lim_{t \to \infty} \left(2 \arctan{\sqrt{t - \frac{\pi}{2} \right) \ &{} = \frac{\pi}{2} + \left(\pi - \frac{\pi}{2} \right) \ &{} = \pi. \end{align} Quá trình này không đảm bảo thành công; giới hạn có thể không tồn tại, hoặc có thể là vô hạn. Ví dụ, trong khoảng bị chặn từ 0 đến 1 tích phân của 1/x không hội tụ; và trong khoảng không bị chặn từ 1 đến  tích phân 1/ không hội tụ.

Trường hợp cũng có thể xảy ra là một hàm lấy tích phân không bị chặn gần một điểm trong, trường hợp này tích phân phải được chia tại điểm đó. Đối với tích phân mà toàn tích phân hội tụ, các tích phân giới hạn trên cả hai vế phải tồn tại và phải bị chặn. Ví dụ: : $\backslash begin\{align\}\; \backslash int${-1}^{1} \frac{dx}{\sqrt[3]{x^2 &{} = \lim{s \to 0} \int_{-1}^{-s} \frac{dx}{\sqrt[3]{x^2

• \lim{t \to 0} \int{t}^{1} \frac{dx}{\sqrt[3]{x^2 \ &{} = \lim{s \to 0} 3(1-\sqrt[3]{s}) + \lim{t \to 0} 3(1-\sqrt[3]{t}) \ &{} = 3 + 3 \ &{} = 6. \end{align} Nhưng tích phân tương tự : $\backslash int\_\{-1\}^\{1\}\; \backslash frac\{dx\}\{x\}$ không thể thể được gán một giá trị theo cách này, khi các tích phân ở trên và dưới không hội tụ độc lập. (Xem thêm giá trị chủ yếu Cauchy.)

Sự hội tụ của tích phân

Các dạng tích phân

Tích phân suy rộng Riemann và tích phân suy rộng Lebesgue

Điểm kỳ dị

Người ta có thể nói về sự điểm kỳ dị của một tích phân suy rộng, theo nghĩa là những điểm của đường số thực mở rộng mà tại đó các giới hạn được sử dụng.

Giá trị chủ yếu Cauchy

Tính khả tích

Tích phân suy rộng nhiều biến

Tích phân suy rộng trên các miền tùy ý

Tích phân suy rộng có các điểm kỳ dị

Các hàm có cả hai giá trị dương và âm