多元函数与偏导数：一次只动一个旋钮
本文基于模型知识整理（生成时未联网核对），定义与反例建议对照 Stewart §14.3 复核。
一句话定义
多元函数 $f(x,y)$ 的偏导数是"只动一个变量、冻结其余"的变化率：$\frac{\partial f}{\partial x}=\lim_{h\to0}\frac{f(x+h,y)-f(x,y)}h$——几何上是曲面被竖直平面切出的截线斜率；可微性则要求"全方向都能被一张切平面良好近似"，比偏导存在强得多。
为什么重要
现实问题几乎都是多元的（温度依赖位置与时间、损失依赖百万参数），偏导数是处理它们的"分而治之"原语；梯度（kp-023）、多元链式（kp-024）、极值（kp-025）全部以偏导为原子。同时"偏导存在 ≠ 连续 ≠ 可微"的多维反例是初学最重要的防雷教育。
前置知识
kp-006（一元导数）；函数图像的空间想象（可借等高线代替 3D）。
核心概念
- 偏导的定义与记号：$\partial f/\partial x$——∂ 是"拍平的 d"，提醒"其余变量视为常数"。
- 计算实操：把其他变量当常数、对目标变量用一元求导表（kp-011）：$f=x^2y+\sin y$ → $f_x=2xy$、$f_y=x^2+\cos y$。
- 几何：$f_x(a,b)$ = 平面 y=b 切出的截线在该点斜率；等高线视角：沿 x 方向穿过等高线的密集程度。
- 高阶偏导与混合偏导：$f_{xy}=\partial_y(\partial_x f)$；Clairaut 定理：二阶偏导连续时 $f_{xy}=f_{yx}$（求导次序无关——绝大多数场景成立）。
- 层级的裂缝（多维专属的反例带）：
- 偏导都存在 ⇏ 连续（经典反例 $xy/(x^2+y^2)$：沿坐标轴为 0 故偏导存在，沿 y=x 极限 1/2 不连续）； - 偏导都存在 ⇏ 可微； - 可微 ⇒ 偏导存在且连续（可微是"切平面近似"的全局局部性质，最强）。
- 可微的定义味道：$\Delta f=f_x\Delta x+f_y\Delta y+o(\rho)$，$\rho=\sqrt{\Delta x^2+\Delta y^2}$——误差比距离更快消失（一元 o(h) 的多维版，kp-008）。
原理与机制
为什么"偏导存在"在多维变弱：一元只有两个方向（左右），偏导存在即双侧一致；多维有无穷多方向——坐标轴方向好走不代表全方向好走（反例函数在轴向平滑、在对角方向断崖）。可微=全方向的线性近似一致，这就是为什么可微才是"切平面存在"的正式户口。
等高线读图法：等高线密=陡（梯度大，kp-023）、等高线稀=缓；沿等高线走高度不变（方向导数为零——kp-023 中梯度⊥等高线的伏笔）。不用 3D 图也能完全工作，是练习多元直觉的最佳姿势。
混合偏导相等的直观：先 x 后 y 与先 y 后 x 走的是"矩形对角"的两种路径，二阶连续时两者之差是矩形上的二重差分，极限下一致——离散差分表（有限差分）里这个对称性肉眼可见。
图示
∂f/∂x = lim_{h→0} [f(x+h,y) − f(x,y)] / h (冻结 y)
反例带: 偏导存在 ⇏ 连续 ⇏ 可微
可微 ⇒ 偏导存在且连续 (最强)
可微: Δf = f_xΔx + f_yΔy + o(ρ)
Clairaut: f_xy = f_yx (二阶连续时)直观类比
调音台有十个旋钮：偏导数=只拧一个旋钮时音量的变化率。但"每个旋钮单独有用"不代表整台调音台运转平滑（偏导存在⇏可微）——必须验证任意组合微调都符合线性预期（切平面），才算"好机器"。
实例或案例
- 气象：温度 T(x,y,t) 的偏导——固定时刻看空间变化（天气预报的平流项）vs 固定位置看时间变化。
- 神经网络：损失对单个权重求偏导——百万个偏导打包成梯度（kp-023 的对象）。
- 经济学：边际产量 ∂Q/∂K（资本边际产出）——其他要素冻结的偏导思想。
常见误区
- 误区一："偏导存在=可微=连续"。三维反例链条是多元微积分第一陷阱；记住层级"可微 ⊃（强于）偏导存在"。
- 误区二："∂ 记号可以像分数一样约分"。$\frac{\partial z}{\partial x}\cdot\frac{\partial x}{\partial t}$ 的"约分"在多变量链式（kp-024）中会漏项——∂ 不是分数。
- 误区三："混合偏导必然相等"。Clairaut 需要连续性条件；存在专门构造的反例（病态函数），罕见但定理条件不能省。
与其他知识点的关系
自测题
- 求 $f(x,y)=x^3y^2+\sin(xy)$ 的两个偏导。
答：$f_x=3x^2y^2+y\cos(xy)$；$f_y=2x^3y+x\cos(xy)$。
- $f(x,y)=\begin{cases}\frac{xy}{x^2+y^2},&(x,y)\ne(0,0)\\0,&(0,0)\end{cases}$ 在原点偏导存在吗？连续吗？
答：偏导均存在（轴向函数恒为 0，导数 0）；不连续——沿 y=x 极限 1/2≠0。
- 为什么说"可微"是切平面存在的户口？
答：可微定义要求全方向误差 o(ρ)——切平面近似对所有方向一致有效；偏导只担保两个轴向。
延伸阅读
- 3Blue1Brown 多元微积分系列（偏导与梯度的动画）。
- Stewart《Calculus》§14.3。
- MIT 18.02 讲义（等高线读图法的大量练习）。