积分符号内取微分

积分符号内取微分，亦称莱布尼茨积分法则（Leibniz integral rule），是数学分析中一条核心定理。它给出了在积分号下对参数求导的充分条件，本质上是交换求导与积分这两种极限运算的顺序。该法则以德国数学家戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz）命名，是微积分基本定理在含参积分情形下的重要推广，在数学物理方程、概率论和工程技术中有着广泛而深刻的应用。

定理表述

设 $f(x,t)$ 是定义在 $[a(x), b(x)] \times [\alpha, \beta]$ 上的函数，其中 $x \in [\alpha, \beta]$ 为参数，$t$ 为积分变量。若以下条件成立：

1. 对每个固定的 $x$，$f(x,t)$ 关于 $t$ 在 $[a(x), b(x)]$ 上可积；
2. $f(x,t)$ 关于 $x$ 的偏导数 $\partial f/\partial x$ 存在且连续；
3. 积分限 $a(x)$ 和 $b(x)$ 关于 $x$ 可导；

则函数 $F(x) = \displaystyle\int_{a(x)}^{b(x)} f(x,t)\,dt$ 在 $(\alpha, \beta)$ 上可导，且

公式中的前三项对应于积分限变化带来的边界效应——积分上限和下限分别随参数 $x$ 变动，因此需要乘以相应变化率 $b'(x)$ 和 $a'(x)$；最后一项则来源于被积函数本身随参数的变化，体现了将求导移入积分号内的核心思想。当积分上下限均为常数时，$a'(x)=b'(x)=0$，上式简化为：

这是最常用的形式，它将求导运算直接移入积分号内部，极大简化了复杂积分的计算。值得注意的是，该法则给出的是充分条件而非必要条件，验证条件时需特别关注一致收敛性。

历史背景

莱布尼茨在17世纪末研究曲线切线问题时首次提出了在积分号下求导的思想。他在1684年和1686年发表的两篇重要论文中系统阐述了微分与积分的基本概念，其中已隐含该法则的原理。同一时期，牛顿也在其流数法中涉及了类似概念，但莱布尼茨的符号体系更具系统性，使得这一法则得以清晰表述和广泛传播。欧拉和拉格朗日在18世纪进一步推广了这一法则，将其应用于常微分方程和变分法的研究。然而18世纪的数学家们在使用该法则时往往依赖直观和形式运算，缺乏严谨的极限理论基础。直到19世纪数学分析迎来公理化浪潮，柯西、黎曼和魏尔斯特拉斯等人建立了极限理论、一致收敛性和连续性的严格定义，莱布尼茨法则才获得完整坚实的数学基础。特别是魏尔斯特拉斯对一致收敛性的精确定义，为理解何时可以交换极限与积分提供了关键工具。这一发展史是微积分从形式运算走向严格分析的缩影，反映了数学思想从直观到严格的深刻演进过程。

证明思路

莱布尼茨积分法则的证明基于导数的定义和积分中值定理。考虑差商

将其拆分为三部分：积分区间变化带来的贡献、被积函数变化带来的贡献，以及混合项。利用 $f$ 的连续性、偏导数的存在性以及积分中值定理，可逐项取极限得出前述公式。核心技巧在于将积分限变化与积分核变化分离处理，分别应用微积分基本定理和连续性条件。这一思路在数学分析中具有普适性，也出现在隐函数定理的推导中。

适用条件与注意事项

该法则本质是交换极限运算的顺序，因此对一致收敛性有天然要求。实际应用中需特别注意以下几点：第一，若被积函数及其偏导数在积分区间上不一致收敛，交换求导与积分可能导致错误结果，常用验证工具有魏尔斯特拉斯M判别法和狄利克雷判别法。第二，当积分上下限随参数变化时，必须考虑边界项 $f(x,b(x))b'(x) - f(x,a(x))a'(x)$，忽略此项是初学者最常见的错误，也是物理问题中容易疏忽的关键点。第三，对无穷限或无界函数的广义积分，需验证勒贝格控制收敛定理或阿尔泽拉控制收敛定理的条件。第四，参数的变化区间必须确保所有条件在每点附近都成立。经典反例 $f(x,t)=x^3/(t^2+x^2)$ 在 $x=0$ 处因 $\partial f/\partial x$ 不一致有界导致交换失效，生动说明了验证条件的重要性——直观上看似合理的操作可能因缺乏一致有界性而产生谬误。

应用举例

例1：计算 $\int_0^1 \frac{t^x - 1}{\ln t}\,dt$。定义 $F(x)=\int_0^1 \frac{t^x-1}{\ln t}\,dt$，分母 $\ln t$ 在 $t=0$ 处为瑕点但积分收敛。积分号下求导得 $F'(x)=\int_0^1 t^x\,dt=1/(x+1)$，由 $F(0)=0$ 积分得 $F(x)=\ln(x+1)$。这一表达式在处理涉及对数函数的积分时十分有用。

例2：高斯积分 $I(a)=\int_{-\infty}^\infty e^{-ax^2}\,dx=\sqrt{\pi/a}$。对参数 $a$ 求导得 $I'(a)=-\int_{-\infty}^\infty x^2 e^{-ax^2}\,dx=-\sqrt{\pi}/(2a^{3/2})$，从而 $\int_{-\infty}^\infty x^2 e^{-ax^2}\,dx=\sqrt{\pi}/(2a^{3/2})$，重复此过程可得任意偶数阶矩。

例3：贝塞尔函数 $J_n(x)=\frac{1}{\pi}\int_0^\pi \cos(n\theta - x\sin\theta)\,d\theta$，利用莱布尼茨法则求导可推导其递推关系，这是数学物理方法中的重要技巧。

例4：含参积分 $\int_0^\infty \frac{e^{-at}-e^{-bt}}{t}\,dt$，设 $F(a)=\int_0^\infty \frac{e^{-at}-e^{-bt}}{t}\,dt$，对 $a$ 求导得 $F'(a)=-\int_0^\infty e^{-at}\,dt=-1/a$，结合 $F(b)=0$ 得 $F(a)=\ln(b/a)$，该结果在傅里叶分析和拉普拉斯变换中常见。

与测度论的联系

在现代实分析中，莱布尼茨法则可推广为参数化积分微分定理。设 $(X, \mathcal{M}, \mu)$ 为测度空间，$U\subseteq\mathbb{R}^n$ 为开集，$f:U\times X\to\mathbb{R}$ 满足：对每点 $x\in U$，$f(x,\cdot)$ 可积；对 $\mu$-几乎处处 $t$，$f(\cdot,t)$ 可微；存在可积控制函数 $g(t)$ 使得 $|\partial f/\partial x_i(x,t)|\leq g(t)$ 对一切 $x\in U$ 成立。则 $F(x)=\int_X f(x,t)\,d\mu(t)$ 可微且 $\partial F/\partial x_i = \int_X \partial f/\partial x_i \,d\mu(t)$。控制函数条件是勒贝格控制收敛定理的直接应用，它将莱布尼茨法则从黎曼积分框架拓展到勒贝格积分框架，适用于更广泛的函数空间和概率论中的期望运算。

参考文献

1. Kaplan, W. *Advanced Calculus* (5th ed.). Addison-Wesley, 2002.
2. Rudin, W. *Principles of Mathematical Analysis* (3rd ed.). McGraw-Hill, 1976.
3. 陈纪修、於崇华、金路.《数学分析》（第二版）. 高等教育出版社, 2004.
4. Folland, G. B. *Real Analysis: Modern Techniques and Their Applications* (2nd ed.). Wiley, 1999.
5. 常庚哲、史济怀.《数学分析教程》. 高等教育出版社, 2003.