✨Công thức tích phân lặp của Cauchy

Trong giải tích, công thức tích phân lặp Cauchy, đặt tên theo Augustin Louis Cauchy, cho phép ta biến nguyên hàm thứ của một hàm số thành một tích phân duy nhất.

Phát biểu

Gọi là một hàm liên tục trên tập số thực. Khi ấy tích phân lặp thứ của tại :

:$f^\{(-n)\}(x)\; =\; \backslash int\_a^x\; \backslash int\_a^\{\backslash sigma\_1\}\; \backslash cdots\; \backslash int$a^{\sigma{n-1 f(\sigma{n}) \, \mathrm{d}\sigma{n} \cdots \, \mathrm{d}\sigma_2 \, \mathrm{d}\sigma_1,

có thể được tính bằng công thức

:$f^\{(-n)\}(x)\; =\; \backslash frac\{1\}\{(n-1)!\}\; \backslash int\_a^x\backslash left(x-t\backslash right)^\{n-1\}\; f(t)\backslash ,\backslash mathrm\{d\}t$.

; Chứng minh

Một chứng minh đơn giản sử dụng quy nạp. Do liên tục, trường hợp suy ra từ định lý cơ bản của giải tích:

:$\backslash frac\{\backslash mathrm\{d\{\backslash mathrm\{d\}x\}\; f^\{(-1)\}(x)\; =\; \backslash frac\{\backslash mathrm\{d\{\backslash mathrm\{d\}x\}\backslash int\_a^x\; f(t)\backslash ,\backslash mathrm\{d\}t\; =\; f(x)$;

trong đó

:$f^\{(-1)\}(a)\; =\; \backslash int\_a^a\; f(t)\backslash ,\backslash mathrm\{d\}t\; =\; 0.$

Giả sử điều này đúng với , và ta cần chứng minh nó đúng với . Đầu tiên, sử dụng quy tắc tích phân Leibniz, ta có

:$\backslash frac\{\backslash mathrm\{d\{\backslash mathrm\{d\}\; x\}\; \backslash left[\; \backslash frac\{1\}\{n!\}\; \backslash int\_a^x\; \backslash left(x-t\backslash right)^n\; f(t)\backslash ,\backslash mathrm\{d\}t\; \backslash right]\; =\; \backslash frac\{1\}\{(n-1)!\}\; \backslash int\_a^x\backslash left(x-t\backslash right)^\{n-1\}\; f(t)\backslash ,\backslash mathrm\{d\}t.$

Sau đó, áp dụng giả thiết quy nạp,

:a^{\sigma{n f(\sigma{n+1}) \, \mathrm{d}\sigma{n+1} \cdots \, \mathrm{d}\sigma_2 \, \mathrm{d}\sigma_1 \ &= \int_a^x \frac{1}{(n-1)!} \int_a^{\sigma_1}\left(\sigma_1-t\right)^{n-1} f(t)\,\mathrm{d}t\,\mathrm{d}\sigma_1 \ &= \int_a^x \frac{\mathrm{d{\mathrm{d}\sigma_1} \left[\frac{1}{n!} \int_a^{\sigma_1} \left(\sigma_1-t\right)^n f(t)\,\mathrm{d}t\right] \,\mathrm{d}\sigma_1 \ &= \frac{1}{n!} \int_a^x \left(x-t\right)^n f(t)\,\mathrm{d}t \end{align}

Chứng minh được hoàn tất.

Áp dụng

Trong giải tích phân số, công thức này có thể được dùng để xây dựng khái niệm differintegral, cho phép ta đạo hàm hoặc tích phân với số lần là một phân số. Lấy tích phân lặp phân số lần với công thức này rất đơn giản; ta có thể dùng phân số nếu coi là (xem hàm gamma). Lấy đạo hàm cấp phân số có thể được thực hiện bằng cách lấy tích phân phân số, rồi lấy đạo hàm kết quả đó.