全微分与施托尔茨(Stolz)
1893年, 奥地利数学家奥托·施托尔茨 (Otto Stolz) (对, 就是那个与“斯托尔茨-切萨罗定理”同名的施托尔茨) 在微积分史上完成了一次至关重要的“补漏”. 这个故事的背景, 是19世纪末数学界的一场 “寻妖运动”, 以及微积分从“公式推导”向“严格极限”的痛苦转型.
1. 危机的前夜: 偏导数撒下的弥天大谎
在施托尔茨之前, 从欧拉到柯西, 数学家们对多元函数的理解非常朴素:他们认为, 如果一个曲面在 \(x\) 方向有斜率 (存在偏导数 \(f_x\)), 在 \(y\) 方向也有斜率 (存在偏导数 \(f_y\)), 那么这个曲面在这个点理所当然就是“平滑”的. 全微分就被直接粗暴地写成:\[dz = \frac{\partial f}{\partial x}dx + \frac{\partial f}{\partial y}dy\]
这就好比说: “如果在十字路口, 你往东走是平的, 往北走也是平的, 那这个路口一定是个平坦的广场.”
但到了19世纪下半叶, 魏尔斯特拉斯 (Weierstrass) 等人开始为微积分建立严格的 \(\epsilon-\delta\) 极限基础. 数学家们震惊地发现, 直觉是会骗人的! 有人构造出了这样一个“怪物函数”:\[f(x,y) = \begin{cases} \frac{xy}{x^2+y^2}, & (x,y) \neq (0,0) \\ 0, & (x,y) = (0,0) \end{cases}\]
如果在这个函数的原点 \((0,0)\) 处求偏导数: 沿着 \(x\) 轴 (\(y=0\)): \(f(x,0) = 0\), 所以 \(f_x(0,0) = 0\). 沿着 \(y\) 轴 (\(x=0\)): \(f(0,y) = 0\), 所以 \(f_y(0,0) = 0\).
在东西和南北两个方向上, 偏导数不仅存在, 而且都是 0. 按照老一辈的直觉, 原点处应该有一个完美的水平切平面, 函数应该非常平滑.但是, 如果你沿着对角线 \(y=x\) 走向原点呢?\(f(x,x) = \frac{x^2}{2x^2} = \frac{1}{2}\).也就是说, 哪怕你离原点只有 0.0001 毫米, 只要你在对角线上, 函数值就是 0.5; 而在原点, 函数值却是 0.这个函数在原点根本连“连续”都做不到, 就像一座悬崖, 凭什么说它有切平面 (可微)?
这就是偏导数撒下的弥天大谎: 十字交叉方向的光滑, 无法保证整个360度空间的光滑.
2. 施托尔茨的觉醒: 从“切线”到“切平面”
1893年, 施托尔茨出版了他的名著《微积分学基本原理》 (Grundzüge der Differential- und Integralrechnung). 在这本书中, 他决定彻底抛弃旧有观念, 重新定义什么是“多元函数的可微性”.
施托尔茨敏锐地意识到, 一元函数的导数 \(f'(x_0) = A\) 的本质, 不是算出一个数字, 而是误差控制:\[\lim_{\Delta x \to 0} \frac{\Delta y – A\Delta x}{\Delta x} = 0\]也就是实际增量 \(\Delta y\) 能够被一个线性增量 \(A\Delta x\) 完美逼近, 它们之间的误差是关于 \(\Delta x\) 的高阶无穷小.
对于二元函数, 施托尔茨将这个思想进行了升维. 他提出, 函数在点 \((x_0, y_0)\) 处可微的唯一绝对标准, 不应该是去算偏导数, 而是看函数能否在所有方向上被一个二维平面完美逼近.
他写下了那个著名的定义:如果函数 \(z = f(x,y)\) 在点的总增量 \(\Delta z\) 可以表示为:\[\Delta z = A\Delta x + B\Delta y + o(\rho)\]其中, \(A, B\) 是常数, \(\rho = \sqrt{(\Delta x)^2 + (\Delta y)^2}\) 是点移动的直线距离, 而 \(o(\rho)\) 代表比 \(\rho\) 趋近于 0 还要快的高阶无穷小. 那么这个函数才是“全可微”的.
只有当这个条件满足时, 我们才可以顺理成章地证明: \(A\) 刚好等于 \(f_x\), \(B\) 刚好等于 \(f_y\), 此时 \(dz = f_x dx + f_y dy\) 才是真正合法的.
3. 这个定义的历史意义
施托尔茨的这个定义, 看似只是多加了一个误差项 \(o(\rho)\), 但它引发了数学史上的一场思想革命:
- 统一了所有的方向: 距离 \(\rho\) 把横向 \(\Delta x\) 和纵向 \(\Delta y\) 绑定在了一起. 你要让误差 \(o(\rho)\) 趋近于零, 就必须保证从任何角度、任何路径 (哪怕是螺旋形) 逼近该点时, 曲面都贴合那个切平面. 这就彻底杀死了前面提到的那个“怪物函数”.
- 几何压倒了代数: 施托尔茨宣告了“全微分本质上就是切平面的线性方程”. 偏导数只是这个平面在 \(x\) 轴和 \(y\) 轴上的投影. 如果平面本身不存在 (不可微), 就算投影 (偏导数) 存在也没有任何意义.
施托尔茨的定义一经提出, 立刻被数学界奉为圭臬, 直接终结了长达半个多世纪的多元微分学混乱局面, 并原封不动地被印在了今天全世界每一本微积分教材中.
参考文献
1. Stolz, Otto. (1893). Grundzüge der Differential- und Integralrechnung. Leipzig: B.G. Teubner.
2. Boyer, C. B. (1959). The History of the Calculus and Its Conceptual Development. Dover Publications.
3. Katz, V. J. (2008). A History of Mathematics: An Introduction (3rd ed.). Addison-Wesley.
4. 莫里斯·克莱因 (2002). 《古今数学思想》. 上海科学技术出版社.
