⬅️

说明: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: 若二重极限存在,则(若累次极限存在)各累次极限等于二重极限。但反过来不成立:两个累次极限存在且相等也不能保证二重极限存在。


典型函数与易错点

  1. \(f(x,y)=xy(x^2−y^2)/(x^2+y^2)\)\(f(0,0)=0\)
  1. \(g(x,y)=(x^2+y^2)\cdot\sin(1/(xy))\)\(xy\neq0\), 在坐标轴上取0

常用解题方法(速查)

\[\frac{f(h,k)-f(0,0)-f_x(0,0)h-f_y(0,0)k}{\sqrt{h^2+k^2}}\to0\]

极坐标或夹逼常用。