说明:chat-多元函数微分学的定义与性质1保留一问一答形式,只列出常考结论、判定方法和两个典型反例(用于训练直觉和题感)。
Q1: 分段函数在原点为什么常要”用定义”计算?
A1: 因为分段处可能不光滑或不同分支给出不同极限,偏导与二阶偏导必须按定义(沿坐标轴的单变量极限或按二阶差商)逐一验证,不能直接套用一般求导法则。
Q2: 已知 \(\lim_{(x,y)\to0} f(x,y)/\ln(1+|x|+|y|)=0\) 且连续,如何判断偏导存在?
A2: 只需沿坐标轴用定义验证:例如
\[\frac{f(h,0)}{h}=\frac{f(h,0)}{\ln(1+|h|)}\cdot\frac{\ln(1+|h|)}{h}\]
题设使第一因子→0,取绝对值后第二因子→1,乘积→0,故偏导存在且为0。(注意用绝对值避免符号问题。)
Q3: 为什么要取绝对值?\(\frac{\ln(1+|h|)}{h}\) 的极限不存在吗?
A3: 对,\(\frac{\ln(1+|h|)}{h}\) 左右极限分别为 ±1,整体不存在。但
\[\frac{\ln(1+|h|)}{|h|}\to1\]
使用绝对值(或夹逼)能把问题转成两个因子的乘积,其中一个→0,一个有界→1,从而证明总体→0。
Q4: 偏导存在、偏导连续、可微之间有什么关系?
A4: 正确链为:偏导连续 ⇒ 可微 ⇒ 偏导存在 ⇒ 连续(函数连续)。反向都不成立:偏导存在不一定可微;可微不一定偏导连续。
Q5: 沿任意路径极限等于函数值,是可微的充要条件吗?
A5: 不是。该条件等价于点处连续;可微要求更强:增量减去线性近似后的余项要是距离的高阶无穷小(余项/ρ→0)。
Q6: 若 \(f(0,0)=0\) 且 \(f_x(0,0)=f_y(0,0)=0\),看 \(f/\rho\) 有什么用?
A6: 可微等价于 \(f/\rho\to0\)(这里 \(\rho=\sqrt{x^2+y^2}\)),若 \(f/\rho\) 有方向依赖或趋于非零常数,则不可微。
Q7: 二阶偏导在坐标轴邻域存在,能否推出一阶偏导在轴上连续?若二阶偏导在轴上连续呢?
A7: 若 \(f_{xy}(x,0)\) 在一维区间存在,则 \(x\mapsto f_y(x,0)\) 在该区间可导 ⇒ 在轴上连续(一维结论)。同理 \(f_{yx}(0,y)\) 控制 \(f_x(0,y)\)。但这只给轴上的连续性,不能推出一阶偏导在二维邻域或原点的二元连续性。
Q8: 二重极限与累次极限的关系?
A8: 若二重极限存在,则(若累次极限存在)各累次极限等于二重极限。但反过来不成立:两个累次极限存在且相等也不能保证二重极限存在。
典型函数与易错点
用途:展示”偏导存在但不连续、混合偏导不相等、可微但偏导不连续”。
结论要点:
一阶偏导在原点存在且为0(沿坐标轴用定义计算)。
\(f\) 可微(余项量级为 \(r\cdot\)(角函数) \(\to0\)),但 \(f_x(x,y), f_y(x,y)\) 在 \((0,0)\) 处不连续。
混合偏导 \(f_{xy}(0,0) \neq f_{yx}(0,0)\)(计算二阶差商可得不等)。
用途:展示”二重极限可用夹逼成立,但累次极限可能不存在;可微但偏导不连续(振荡项)”。
结论要点:
\(|g| \leq x^2+y^2 \Rightarrow\) 二重极限为0。
固定 \(x\neq0\),内层 \(y\to0\) 时 \(\sin(1/(xy))\) 振荡,内层极限不存在 \(\Rightarrow\) 累次极限不存在。
\(g\) 的偏导沿坐标轴为0,但在邻域内包含振荡项(含 \(\cos(1/(xy))/y\)),所以偏导不连续。可用夹逼证明可微(余项被 \(\rho\) 放缩)。
常用解题方法(速查)
偏导数存在:沿坐标轴用定义求一元极限。
偏导连续:先求通式 \(f_x(x,y)\),再考察二元极限 \((x,y)\to(0,0)\)。
可微:检验
\[\frac{f(h,k)-f(0,0)-f_x(0,0)h-f_y(0,0)k}{\sqrt{h^2+k^2}}\to0\]
极坐标或夹逼常用。
二阶混合偏导:按定义的差商计算,若二阶偏导在邻域连续则可交换次序(Schwarz)。
二重极限:极坐标或找不同路径;累次极限按顺序计算内外极限。