下册 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批改。