莱布尼茨积分求导

莱布尼茨积分求导

莱布尼茨积分求导法则是微积分中用于处理具有可变上下限的定积分对变量求导的重要工具。它允许将积分上下限和被积函数的变化统一到一个公式中。

---

公式

针对$$I(t)={\int }_{a(t)}^{b(t)}f(x,t)dx$$
对 $t$ 求导可得
$$\begin{array}{rl}\frac{dI(t)}{dt}& =f(b(t),t)\cdot \frac{db(t)}{dt}-f(a(t),t)\cdot \frac{da(t)}{dt}\\ & +{\int }_{a(t)}^{b(t)}\frac{\partial f(x,t)}{\partial t}dx\end{array}$$

---

应用案例

示例 1：固定上下限 $a$ 和 $b$

若积分的上下限为常数：
$$I(t)={\int }_a^{b}f(x,t)dx$$
则公式化简为：
$$\frac{dI(t)}{dt}={\int }_a^b\frac{\partial f(x,t)}{\partial t}dx$$

示例 2：上下限依赖于 $t$

如：
$$I(t)={\int }_{t^2}^{2t}{x}^{2}dx$$

• 上限：$b(t)=2t,\frac{db(t)}{dt}=2$；
• 下限：$a(t)=t^2,\frac{da(t)}{dt}=2t$；
• 被积函数：$f(x,t)=x^2$，无显式依赖 $t$，即$\frac{\partial f(x,t)}{\partial t}=0$。

根据公式：
$$\frac{dI(t)}{dt}=f(b(t),t)\cdot \frac{db(t)}{dt}-f(a(t),t)\cdot \frac{da(t)}{dt}$$

计算：
$$f(b(t),t)=(2t{)}^2=4t^2,f(a(t),t)=(t^2{)}^2=t^4$$

代入：
$$\frac{dI(t)}{dt}=4t^2\cdot 2-t^4\cdot 2t=8t^2-2t^5$$

最终结果：
$$\frac{dI(t)}{dt}=8t^2-2t^5$$

---

总结

莱布尼茨积分法则处理任意可变上下限和被积函数显式依赖时的导数问题，其核心是上下限的贡献和被积函数的显式导数相结合。