# Hoán đổi đạo hàm và tích phân - Integral & Derivative Exchange


# Đạo hàm & Tích phân, hoán đổi và các nhầm lẫn thường thấy

## 1. Hai tình huống cơ bản

### (A) **Tích phân của đạo hàm (cùng biến)**

$$
\int_0^t f'(s)\,ds = f(t) - f(0).
$$

* Đây là định lý cơ bản của giải tích.
* Ý nghĩa: cộng dồn tất cả “tốc độ thay đổi” $f'(s)$ từ 0 đến $t$ thì bằng **hiệu giá trị biên**.


### (B) **Đạo hàm của tích phân (cận phụ thuộc biến)**

$$
\frac{d}{dt}\int_0^t f(s)\,ds = f(t).
$$

* Đạo hàm tác động vào cận trên biến thiên $t$.
* Ý nghĩa: tốc độ thay đổi của diện tích khi dịch cận trên bằng đúng **giá trị hạch nhân tức thời** ở biên.


### (C) **Hoán đổi đạo hàm và tích phân (khác biến)**

$$
\frac{d}{dt}\int_\Omega f(t,x)\,dx = \int_\Omega \partial_t f(t,x)\,dx,
$$

nếu $f$ trơn hoặc thỏa dominated convergence.

* Đây mới là tình huống thực sự gọi là “hoán đổi $\partial$ và $\int$”.
* Điều kiện đủ: $f$ trơn hoặc $|\partial_t f|$ bị chặn bởi một hàm khả tích theo $x$.
* Ý nghĩa: có thể đẩy đạo hàm theo $t$ vào trong tích phân theo $x$.


## 2. So sánh ba trường hợp

| Trường hợp                                       | Công thức                                                                              | Điều kiện điển hình                               | Kết quả                            |
| ------------------------------------------------ | -------------------------------------------------------------------------------------- | ------------------------------------------------- | ---------------------------------- |
| **1. Tích phân của đạo hàm (cùng biến)**         | $\displaystyle \int_0^t f'(s)\,ds = f(t) - f(0)$                                       | $f$ khả vi (hoặc liên tục tuyệt đối)              | **Hiệu giá trị biên**              |
| **2. Đạo hàm của tích phân (cận phụ thuộc $t$)** | $\displaystyle \frac{d}{dt}\int_0^t f(s)\,ds = f(t)$                                   | $f$ liên tục (hoặc khả tích Lebesgue ⇒ đúng a.e.) | **Giá trị tức thời tại biên trên** |
| **3. Hoán đổi đạo hàm và tích phân (khác biến)** | $\displaystyle \frac{d}{dt}\int_\Omega f(t,x)\,dx = \int_\Omega \partial_t f(t,x)\,dx$ | $f$ trơn theo $t,x$ hoặc dominated convergence    | **Đưa ∂ qua dấu ∫**                |

## 3. Trực giác ngắn gọn

* **Cùng biến**: đạo hàm và tích phân triệt tiêu nhau → ra **hiệu**.
* **Cận phụ thuộc biến**: đạo hàm “vả” vào cận trên → ra **giá trị tức thời**.
* **Khác biến**: có thể **hoán đổi** nếu đủ điều kiện trơn tru → ra **∂ lọt vào trong ∫**.


## 4. Các nhầm lẫn thường thấy 🚨

1. **Nhầm (A) với (B):**

   * Thấy $\int_0^t f'(s)\,ds$ nhưng lại viết bằng $f(t)$ thay vì $f(t)-f(0)$.
   * Hoặc thấy $\frac{d}{dt}\int_0^t f(s)\,ds$ nhưng lại viết bằng $f(t)-f(0)$.
     👉 Sai vì một cái là **tích phân của đạo hàm**, một cái là **đạo hàm của tích phân**.

2. **Nghĩ rằng luôn “đạo hàm ra hiệu”:**
   Thực tế, đạo hàm của tích phân có cận biến thiên chỉ cho **kernel tại biên**, không phải hiệu.

3. **Hoán đổi $\partial$ và $\int$ mà quên điều kiện:**
   Nếu $f$ không trơn và không có dominated convergence, việc đưa $\partial_t$ qua dấu $\int$ có thể sai. Ví dụ kinh điển: một dãy hàm hội tụ điểm nhưng không dominated → hoán đổi thất bại.

4. **Nhầm biến:**
   Quên phân biệt đâu là biến tích phân (biến bị “ăn mất”), đâu là biến đạo hàm (biến còn lại). Đây là lý do dẫn đến nhiều “ảo giác” rằng công thức ra khác nhau.


👉 Tóm gọn:

* Cùng biến → hiệu.
* Cận phụ thuộc biến → kernel tức thời.
* Khác biến → có thể hoán đổi nếu đủ điều kiện.
* Nhầm lẫn chủ yếu đến từ việc **không để ý biến nào đang được đạo hàm, biến nào đang bị tích phân**.