下册 7.2 多元函数的可微性 第11题

数学分析早年真题

📝 题目

11.设二元函数 $\displaystyle f(x, y)=\left\{\begin{array}{l}\frac{x y}{\sqrt{x^{2}+y^{2}}},(x, y) \neq(0,0) \text { ,证明:(1)} f(x, y) \text { 在点 }(0,0) \text { 连续;(2)} f_{x}(x, y) \text { ,} \\ 0,(x, y)=(0,0),\end{array}\right. f_{y}(x, y)$ 在全平面有界;(3)$f(x, y)$ 在点 $(0,0)$ 不可微.

💡 答案解析

\section*{解题过程:} 因为当 $x^{2}+y^{2} \neq 0$ 时有 $$ 0 \leqslant \frac{|x y|}{\sqrt{x^{2}+y^{2}}} \leqslant \sqrt{x^{2}+y^{2}} \rightarrow 0,(x, y) \rightarrow(0,0) $$ 所以 $\lim _{\substack{x \rightarrow 0 \\ y \rightarrow 0}} f(x, y)=0=f(0,0)$ ,因此 $f(x, y)$ 在点 $(0,0)$ 连续. 经计算得 $$ f_{x}(x, y)=\left\{\begin{array}{l} \frac{y^{3}}{\sqrt{\left(x^{2}+y^{2}\right)^{3}}}, x^{2}+y^{2} \neq 0, \\ 0, x^{2}+y^{2}=0, \end{array} f_{y}(x, y)=\left\{\begin{array}{l} \frac{x^{3}}{\sqrt{\left(x^{2}+y^{2}\right)^{3}}}, x^{2}+y^{2} \neq 0, \\ 0, x^{2}+y^{2}=0 . \end{array}\right.\right. $$ 当 $x^{2}+y^{2} \neq 0$ 时有 $|y|^{3} \leqslant \sqrt{\left(x^{2}+y^{2}\right)^{3}}$ ,从而有 $\displaystyle \left|\frac{y^{3}}{\sqrt{\left(x^{2}+y^{2}\right)^{3}}}\right| \leqslant 1$ .因此 $\forall(x, y) \in \mathbf{R}^{2}$ 有 $\left|f_{x}(x, y)\right| \leqslant 1$ .故 $f_{x}(x, y)$ 在整个平面上有界。同理 $f_{y}(x, y)$ 也在整个平面上有界。 $$ \begin{aligned} & f_{x}(0,0)=\lim _{\Delta x \rightarrow 0} \frac{f(0+\Delta x, 0)-f(0,0)}{\Delta x}=\lim _{\Delta x \rightarrow 0} \frac{0-0}{\Delta x}=0 \\ & f_{y}(0,0)=\lim _{\Delta y \rightarrow 0} \frac{f(0,0+\Delta y)-f(0,0)}{\Delta y}=\lim _{\Delta y \rightarrow 0} \frac{0-0}{\Delta y}=0 \end{aligned} $$ 即函数 $f(x, y)$ 在原点 $(0,0)$ 的两个偏导数都存在. $$ f(0+\Delta x, 0+\Delta y)-f(0,0)-f_{x}^{\prime}(0,0) \Delta x-f_{y}^{\prime}(0,0) \Delta y=\frac{\Delta x \Delta y}{\sqrt{\Delta x^{2}+\Delta y^{2}}} $$ 令 $\Delta x=r \cos \theta, \Delta y=r \sin \theta$ ,则 $\displaystyle \lim _{r \rightarrow 0^{+}} \frac{\Delta x \Delta y}{\Delta x^{2}+\Delta y^{2}}=\lim _{r \rightarrow 0^{+}} \sin \theta \cos \theta$ 不存在,故函数 $f(x, y)$ 在原点 $(0,0)$ 不可微。

📋 详细解题步骤

步骤 1/5
目标:证明连续性
当 $(x,y) \neq (0,0)$ 时,有 $0 \leq \frac{|xy|}{\sqrt{x^2+y^2}} \leq \sqrt{x^2+y^2}$。因为 $\sqrt{x^2+y^2} \to 0$ 当 $(x,y) \to (0,0)$,由夹逼定理得 $\lim_{(x,y)\to(0,0)} f(x,y)=0=f(0,0)$,故 $f(x,y)$ 在 $(0,0)$ 连续。
公式:$0 \leq \frac{|xy|}{\sqrt{x^2+y^2}} \leq \sqrt{x^2+y^2}$
提示:注意使用夹逼定理时,需要找到合适的上下界。
步骤 2/5
目标:计算偏导数表达式
当 $(x,y) \neq (0,0)$ 时,对 $f(x,y)=\frac{xy}{\sqrt{x^2+y^2}}$ 求偏导: $f_x(x,y)=\frac{y \cdot \sqrt{x^2+y^2} - xy \cdot \frac{x}{\sqrt{x^2+y^2}}}{x^2+y^2} = \frac{y(x^2+y^2) - x^2 y}{(x^2+y^2)^{3/2}} = \frac{y^3}{(x^2+y^2)^{3/2}}$。 同理 $f_y(x,y)=\frac{x^3}{(x^2+y^2)^{3/2}}$。在 $(0,0)$ 处,由定义得 $f_x(0,0)=0$,$f_y(0,0)=0$。
公式:$f_x(x,y)=\frac{y^3}{(x^2+y^2)^{3/2}}$,$f_y(x,y)=\frac{x^3}{(x^2+y^2)^{3/2}}$
提示:求偏导时注意分母的幂次,避免计算错误。
步骤 3/5
目标:证明偏导数有界
当 $(x,y) \neq (0,0)$ 时,$|f_x(x,y)| = \frac{|y|^3}{(x^2+y^2)^{3/2}} \leq 1$,因为 $|y|^3 \leq (x^2+y^2)^{3/2}$。当 $(x,y)=(0,0)$ 时,$|f_x(0,0)|=0 \leq 1$。故 $f_x$ 在全平面有界。同理 $f_y$ 有界。
公式:$\frac{|y|^3}{(x^2+y^2)^{3/2}} \leq 1$
提示:注意不等式 $|y| \leq \sqrt{x^2+y^2}$ 的运用。
步骤 4/5
目标:计算在原点处的偏导数
由偏导数定义: $f_x(0,0)=\lim_{\Delta x \to 0} \frac{f(\Delta x,0)-f(0,0)}{\Delta x} = \lim_{\Delta x \to 0} \frac{0-0}{\Delta x}=0$。 $f_y(0,0)=\lim_{\Delta y \to 0} \frac{f(0,\Delta y)-f(0,0)}{\Delta y}=0$。
公式:$f_x(0,0)=0$,$f_y(0,0)=0$
提示:注意 $f(\Delta x,0)=0$,因为分子 $xy=0$。
步骤 5/5
目标:验证可微性条件
考虑增量:$\Delta f = f(0+\Delta x,0+\Delta y)-f(0,0) = \frac{\Delta x \Delta y}{\sqrt{\Delta x^2+\Delta y^2}}$。 若 $f$ 在 $(0,0)$ 可微,则 $\Delta f = f_x(0,0)\Delta x + f_y(0,0)\Delta y + o(\sqrt{\Delta x^2+\Delta y^2})$,即 $\frac{\Delta x \Delta y}{\sqrt{\Delta x^2+\Delta y^2}} = o(\sqrt{\Delta x^2+\Delta y^2})$。 但取 $\Delta x = r \cos \theta$,$\Delta y = r \sin \theta$,则 $\frac{\Delta x \Delta y}{\Delta x^2+\Delta y^2} = \sin \theta \cos \theta$,极限与 $\theta$ 有关,故 $\lim_{r\to 0} \frac{\Delta x \Delta y}{\sqrt{\Delta x^2+\Delta y^2}} / \sqrt{\Delta x^2+\Delta y^2} = \sin \theta \cos \theta$ 不存在,因此 $f$ 在 $(0,0)$ 不可微。
公式:$\frac{\Delta x \Delta y}{\sqrt{\Delta x^2+\Delta y^2}} = o(\sqrt{\Delta x^2+\Delta y^2})$ 不成立
提示:可微的充分必要条件是增量与线性部分之差为高阶无穷小。

📷 拍照上传批改

拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。