关于混合偏导数相等的定理 — Clairaut 定理 (施瓦茨定理)

混合偏导数相等的定理在微积分中极为重要。它保证混合偏导数相等的定理在微积分中极为重要. 它保证了我们在求高阶偏导数时, 求导的先后顺序无关紧要. 在绝大多数微积分教材中, 这个定理被称为克莱罗定理 (Clairaut’s Theorem)或施瓦茨定理 (Schwarz’s Theorem). 下面我将为你详细叙述它的经典证明, 并简要梳理其历史沿革.

一. 定理的准确表述 (施瓦茨定理)

定理: 设函数 \(z = f(x, y)\) 在点 \(P_0(x_0, y_0)\) 的某个邻域内存在偏导数 \(f_x, f_y, f_{xy}, f_{yx}\). 如果混合偏导数 \(f_{xy}\) 和 \(f_{yx}\) 在点 \(P_0(x_0, y_0)\) 处连续, 那么在该点处有:\[f_{xy}(x_0, y_0) = f_{yx}(x_0, y_0)\]
(注: \(f_{xy}\) 表示先对 \(x\) 求导, 再对 \(y\) 求导; \(f_{yx}\) 则相反.)

二. 详细证明过程

这个证明的极其巧妙之处在于构造了一个 “二阶差分” (双重差分), 并两次使用了一元函数的拉格朗日中值定理.
第一步: 构造二阶差分
设增量 \(h \neq 0, k \neq 0\), 且点 \((x_0+h, y_0+k)\) 在所讨论的邻域内. 我们定义一个二阶差分量 \(\Delta\):\[\Delta = f(x_0+h, y_0+k) – f(x_0+h, y_0) – f(x_0, y_0+k) + f(x_0, y_0)\]
第二步: 固定 \(y\) 的变化, 对 \(x\) 应用中值定理
为了把 \(\Delta\) 和偏导数联系起来, 我们引入一个辅助函数:\[\varphi(x) = f(x, y_0+k) – f(x, y_0)\]那么, 二阶差分可以写成:\[\Delta = \varphi(x_0+h) – \varphi(x_0)\]因为 \(f_x\) 存在, 所以 \(\varphi(x)\) 可导, 且 \(\varphi'(x) = f_x(x, y_0+k) – f_x(x, y_0)\).根据一元函数的拉格朗日中值定理, 存在一个 \(\theta_1 \in (0, 1)\), 使得:\[\Delta = h \cdot \varphi'(x_0 + \theta_1 h) = h \left[ f_x(x_0 + \theta_1 h, y_0+k) – f_x(x_0 + \theta_1 h, y_0) \right]\]
第三步: 对 \(y\) 再次应用中值定理
观察括号里的式子, 它本质上是函数 \(f_x(x_0 + \theta_1 h, y)\) 在区间 \([y_0, y_0+k]\) 上的改变量.因为 \(f_{xy}\) 存在, 我们再次应用拉格朗日中值定理, 存在 \(\theta_2 \in (0, 1)\), 使得:\[f_x(x_0 + \theta_1 h, y_0+k) – f_x(x_0 + \theta_1 h, y_0) = k \cdot f_{xy}(x_0 + \theta_1 h, y_0 + \theta_2 k)\]代回 \(\Delta\) 中, 得到:\[\Delta = h k \cdot f_{xy}(x_0 + \theta_1 h, y_0 + \theta_2 k) \quad \text{— (式 A)}\]
第四步: 对称操作, 固定 \(x\) 的变化
同理, 我们也可以引入另一个辅助函数:\[\psi(y) = f(x_0+h, y) – f(x_0, y)\]那么 \(\Delta = \psi(y_0+k) – \psi(y_0)\).连续两次应用拉格朗日中值定理 (先对 \(y\), 再对 \(x\)), 存在 \(\theta_3, \theta_4 \in (0, 1)\), 可以得到:\[\Delta = h k \cdot f_{yx}(x_0 + \theta_4 h, y_0 + \theta_3 k) \quad \text{— (式 B)}\]
第五步: 取极限, 完成证明
因为式 A 和式 B 计算的是同一个 \(\Delta\), 所以:\[f_{xy}(x_0 + \theta_1 h, y_0 + \theta_2 k) = f_{yx}(x_0 + \theta_4 h, y_0 + \theta_3 k)\]现在, 令 \((h, k) \to (0, 0)\).由于定理已知 \(f_{xy}\) 和 \(f_{yx}\) 在 \((x_0, y_0)\) 处**连续**, 极限可以直接穿透函数符号:\[\lim_{(h,k)\to(0,0)} f_{xy}(x_0 + \theta_1 h, y_0 + \theta_2 k) = f_{xy}(x_0, y_0)\]\[\lim_{(h,k)\to(0,0)} f_{yx}(x_0 + \theta_4 h, y_0 + \theta_3 k) = f_{yx}(x_0, y_0)\]两边取极限后即得:\[f_{xy}(x_0, y_0) = f_{yx}(x_0, y_0)\]证明完毕.

三. 混合偏导数定理的历史

微积分的发展经历了一个从 “形式代数操作” 向 “严密极限分析” 演变的漫长过程. 混合偏导数相等的定理正是这一历史进程的绝佳缩影, 其发展可以分为以下几个关键阶段:

1. 早期萌芽: 伯努利家族的隐式使用 (1720s)
混合偏导数的概念并非一开始就被清晰定义. 早在 1720 年, 尼古拉二世·伯努利 (Nicolaus II Bernoulli) 在研究正交轨迹方程组时, 就已经在推导中隐式地使用了 “偏导数交换顺序结果不变” 的性质. 然而, 他并没有意识到这是一个需要专门陈述和证明的独立定理.

2. 形式化确立: 欧拉的奠基工作 (1734, 1755)
莱昂哈德·欧拉 (Leonhard Euler) 是第一位公开且显式陈述该定理的数学家. 1734年, 他在一篇关于同族无穷曲线的论文中明确使用了该定理; 随后在 1755 年出版的巨著《微分学原理》(Institutiones calculi differentialis) 中, 欧拉给出了一个基于无穷小量操作的推导. 在那个时代, 数学家对 “函数” 的理解往往局限于有显式代数表达式的 “足够光滑的曲线或曲面”, 因此欧拉的推导本质上是代数意义上的形式证明, 缺乏现代极限理论的支撑.

3. 物理与几何的推动: 克莱罗的全微分理论 (1740)
法国数学家亚历克西·克莱罗 (Alexis Clairaut) 在 1740 年提交给巴黎科学院的一篇论文中, 为了研究物理学中的引力场和流体力学问题, 深刻探讨了全微分方程 (Exact differential equations). 他指出, 对于微分表达式 \(M(x,y)dx + N(x,y)dy\) 而言, 能够成为某个函数确切微分的必要条件是 \(\frac{\partial M}{\partial y} = \frac{\partial N}{\partial x}\). 克莱罗还将这一结论推广到了三维空间. 由于克莱罗在该应用领域的巨大影响力, 法国和英语世界的教材习惯将此定理称为克莱罗定理.

4. 分析学严密化的初探: 柯西的证明 (1823)
19世纪初, 凭借傅里叶级数等新事物的冲击, 数学界发现直觉中的 “平滑函数” 并不总是可靠, 微积分需要基于极限进行严密化重构. 1823 年, 古斯塔夫·柯西 (Augustin-Louis Cauchy) 在《微积分学教程》中, 首次尝试利用中值定理给出严格证明. 他开创性地发明了 “二阶差分 (双重差分)” 的构造方法. 但受限于时代, 柯西没有完全理清 “导数存在” 与 “导数连续” 的区别, 其证明隐蔽地设定了偏导数在局部区域内一致连续的过强条件.

5. 一锤定音的严谨性: 施瓦茨与他的关键反例 (1873)
随着魏尔斯特拉斯 (Weierstrass) 推动的分析算术化运动, 对微积分定理边界的探索达到了顶峰. 1873 年, 德国数学家赫尔曼·施瓦茨 (Hermann Schwarz) 在解决极小曲面 (Minimal surfaces) 问题时, 确立了我们今天教科书中所见的最严密证明. 他不仅完善了柯西的双重差分法, 更重要的是, 他准确揭示了 “连续性” 才是保障两次极限交换顺序合法的核心. 为了证明这一条件的不可或缺性, 施瓦茨精心构造出了那个著名的原点不连续反例, 彻底终结了长达一个多世纪的模糊认知. 因此, 现代严密的数学分析教材常将其称为施瓦茨定理.

6. 条件的一再削弱: 皮亚诺定理与杨定理 (1889 – 1909)
施瓦茨的明确定论激发了后续数学家 “寻找最弱成立条件” 的兴趣: – 1889年, 意大利数学家皮亚诺 (Giuseppe Peano) 证明了只需 \(f_x, f_y, f_{xy}\) 存在且 \(f_{xy}\) 连续, 即可单向推导出 \(f_{yx}\) 也存在且相等. – 1909年, 英国数学家威廉·亨利·杨 (William Henry Young) 提出了更弱的 “杨定理 (Young’s Theorem)”: 只要一阶偏导数 \(f_x\) 和 \(f_y\) 在该点完全可微 (Differentiable), 那么混合偏导数就一定相等. 这表明, 甚至连二阶偏导数的连续性都不是绝对必需的, 只要一阶导数具备足够的平滑性即可保障交换律.

四. 著名的反例: 连续性不可或缺

为了深刻理解 “连续性” 在克莱罗/施瓦茨定理中的决定性作用, 我们必须来看一看我们在总结中提到的那个著名的反例. 这个反例完美展现了当混合偏导数在某点不连续时, 求导顺序的交换会导致完全不同的结果.

考虑以下分段函数:
\[f(x,y) = \begin{cases} xy \frac{x^2 – y^2}{x^2 + y^2}, & (x,y) \neq (0,0) \\0, & (x,y) = (0,0)\end{cases}\]
我们来计算它在原点 \((0,0)\) 处的混合偏导数 \(f_{xy}(0,0)\) 和 \(f_{yx}(0,0)\).

第一步: 求一阶偏导数 \(f_x(0, y)\) 和 \(f_y(x, 0)\).
当 \(y \neq 0\) 时, 我们对 \(x\) 在 \(x=0\) 处求偏导, 必须使用导数的定义:\[ f_x(0,y) = \lim_{x \to 0} \frac{f(x,y) – f(0,y)}{x} = \lim_{x \to 0} \frac{xy \frac{x^2 – y^2}{x^2 + y^2} – 0}{x} = \lim_{x \to 0} y \frac{x^2 – y^2}{x^2 + y^2} = y \frac{-y^2}{y^2} = -y \]
当 \(x \neq 0\) 时, 同理对 \(y\) 在 \(y=0\) 处求偏导:\[ f_y(x,0) = \lim_{y \to 0} \frac{f(x,y) – f(x,0)}{y} = \lim_{y \to 0} \frac{xy \frac{x^2 – y^2}{x^2 + y^2} – 0}{y} = \lim_{y \to 0} x \frac{x^2 – y^2}{x^2 + y^2} = x \frac{x^2}{x^2} = x \]
显然, 在原点本身, 根据定义有 \(f_x(0,0) = 0\) 和 \(f_y(0,0) = 0\).

第二步: 求原点处的混合偏导数
现在我们利用上面求得的一阶偏导数, 再次使用导数定义来计算原点处的二阶混合偏导数:
先对 \(x\) 求导, 再对 \(y\) 求导 (即计算 \(f_{xy}(0,0)\)):\[ f_{xy}(0,0) = \left. \frac{\partial}{\partial y} (f_x) \right|_{(0,0)} = \lim_{y \to 0} \frac{f_x(0,y) – f_x(0,0)}{y} = \lim_{y \to 0} \frac{-y – 0}{y} = -1 \]
先对 \(y\) 求导, 再对 \(x\) 求导 (即计算 \(f_{yx}(0,0)\)):\[ f_{yx}(0,0) = \left. \frac{\partial}{\partial x} (f_y) \right|_{(0,0)} = \lim_{x \to 0} \frac{f_y(x,0) – f_y(0,0)}{x} = \lim_{x \to 0} \frac{x – 0}{x} = 1 \]

结论: \[ f_{xy}(0,0) = -1 \neq 1 = f_{yx}(0,0) \]
之所以会出现 \(1 \neq -1\) 的情况, 正是因为当你计算出 \(f_{xy}(x,y)\) 在 \((x,y) \neq (0,0)\) 处的显式表达式后, 你会发现当 \((x,y) \to (0,0)\) 时, 它的极限并不等于 \(-1\) 也不等于 \(1\) (极限不存在), 即 \(f_{xy}\) 和 \(f_{yx}\) 在 \((0,0)\) 处是不连续的. 这就打破了施瓦茨定理的前提条件.

这个反例在数学分析的发展史上具有极为重要的地位, 它的出现标志着数学家对 “极限交换” 问题的彻底觉醒.

• 严格化运动的产物: 如前所述, 18世纪的数学家 (如欧拉, 克莱罗) 普遍具有 “形式主义” 倾向, 认为代数式表达的函数自然具有足够好的性质. 直到19世纪中叶, 随着傅里叶级数的研究和分析严格化运动 (Arithmetization of analysis) 的推进, 数学家们开始意识到 “极限操作不可随意交换顺序”. 二阶偏导数本质上就是两个极限的迭代, 交换求导顺序等价于交换两个极限的顺序.
• 施瓦茨与反例的诞生: 这个著名反例通常被归功于赫尔曼·施瓦茨 (Hermann Schwarz). 1873年, 施瓦茨不仅给出了本文第二部分中那个严密的引理证明, 为了确立 “连续性” 这一条件的绝对必要性, 他精心构造了这个反例. 这在当时极大地澄清了学术界的困惑, 明确了高阶导数对称性的边界.
• 皮亚诺的普及: 后来, 意大利数学家皮亚诺在其1884年出版的 (署名其老师 Genocchi 的) 著名微积分教材《微积分学及其应用》中收录并详细讨论了这个反例. 皮亚诺以此警示后人: 直觉是不可靠的, 只有严格的条件才能保证定理成立. 因此, 在某些文献中, 这个反例也被称为 “皮亚诺反例”.
• 通过这个反例, 微积分从依赖直觉的几何与计算工具, 真正蜕变为了条件严苛, 逻辑严密的现代数学分支.

参考文献

1. Rudin, W. (1976). Principles of Mathematical Analysis (3rd ed.). McGraw-Hill. (详见第9章关于多元函数微积分与偏导数交换顺序的严格证明).
2. Apostol, T. M. (1974). Mathematical Analysis (2nd ed.). Addison-Wesley. (对混合偏导数的连续性条件及杨定理有深入讨论).
3. Kline, M. (1972). Mathematical Thought from Ancient to Modern Times. Oxford University Press. (详细梳理了欧拉、柯西、施瓦茨等人在微积分严密化过程中的历史贡献).
4. Fichtenholz, G. M. (菲赫金哥尔茨). 微积分学教程 (第2卷). 高等教育出版社. (经典的数学分析教材，包含详细的双重差分证明及施瓦茨反例).
5. Schwarz, H. A. (1873). “Ueber ein die partiellen Differentialgleichungen betreffendes Theorem”. Journal für die reine und angewandte Mathematik, 75, 341-353. (施瓦茨提出严格证明与反例的原始论文).
6. Peano, G. (1889). “Sur l’interversion des dérivations partielles”. Mathesis, 9, 105-106. (皮亚诺探讨偏导数交换削弱条件的文献).