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

数学分析早年真题

📝 题目

19.讨论下列函数的可微性. (1)设二元函数 $\displaystyle f(x, y)=\left\{\begin{array}{l}x^{\frac{4}{3}} \sin \frac{y}{x}, x \neq 0, \\ 0, x=0 .\end{array}\right.$ 确定 $f(x, y)$ 在平面中所有可微的点及不可微的点,并说明理由. (2)讨论 $\displaystyle f(x, y)=\left\{\begin{array}{l}\left(1-\cos \frac{x^{2}}{y}\right) \sqrt{x^{2}+y^{2}}, y \neq 0 \\ 0, y=0\end{array}\right.$ 在点 $(0,0)$ 处的可微性.

💡 答案解析

\section*{解题过程:} (1)当 $x^{2}+y^{2} \neq 0$ 时,有 $$ f_{x}(x, y)=\frac{4}{3} x^{\frac{1}{3}} \sin \frac{y}{x}-\frac{y}{x^{\frac{2}{3}}} \cos \frac{y}{x}, f_{y}(x, y)=x^{\frac{1}{3}} \cos \frac{y}{x} $$ 因为 $f_{x}(x, y)$ 与 $f_{y}(x, y)$ 在点 $(x, y) \neq(0,0)$ 连续,所以 $f(x, y)$ 在点 $(x, y) \neq(0,0)$ 可微. 按偏导数定义 $$ 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 . $$ 即函数 $f(x, y)$ 在原点 $(0,0)$ 的两个偏导数都存在. $$ \Delta f-f_{x}(0,0) \Delta x-f_{y}(0,0) \Delta y=f(0+\Delta x, 0+\Delta y)-f(0,0)-f_{x}(0,0) \Delta x-f_{y}(0,0) \Delta y=\Delta x^{\frac{4}{3}} \sin \frac{\Delta y}{\Delta x} $$ 令 $\Delta x=r \cos \theta, \Delta y=r \sin \theta$ ,则 $$ \frac{\Delta f-f_{x}(0,0) \Delta x-f_{y}(0,0) \Delta y}{r}=\frac{(r \cos \theta)^{\frac{4}{3}}}{r} \sin (\tan \theta)=r^{\frac{1}{3}}(\cos \theta)^{\frac{4}{3}} \sin (\tan \theta) $$ 由于 $\displaystyle \lim _{r \rightarrow 0^{+}} r^{\frac{1}{3}}(\cos \theta)^{\frac{4}{3}} \sin (\tan \theta)=0$ ,所以 $\displaystyle \lim _{r \rightarrow 0^{+}} \frac{\Delta z-f_{x}(0,0) \Delta x-f_{y}(0,0) \Delta y}{r}=0$ 。因而函数 $f(x, y)$ 在原点 $(0,0)$ 可微.所以函数 $f(x, y)$ 在平面中所有的点都可微. (2)不可微.若函数 $f(x, y)$ 在点 $(0,0)$ 可微,则存在常数 $A, B$ ,使得在点 $(0,0)$ 的某邻域内有 $$ f(x, y)=A x+B y+o\left(\sqrt{x^{2}+y^{2}}\right) . $$ 由 $f(0, y)=0=B y+o(y)$ 得 $B=0$ .由 $f(x, 0)=0=A x+o(x)$ 得 $A=0$ .于是 $f(x, y)=o\left(\sqrt{x^{2}+y^{2}}\right)$ ,但 $\displaystyle \frac{f(x, y)}{\sqrt{x^{2}+y^{2}}}=1-\cos 1 \longmapsto 0$ ,矛盾.故 $f(x, y)$ 在点 $(0,0)$ 处不可微.

📋 详细解题步骤

步骤 1/6
目标:分析非原点处的可微性
当 $x^2+y^2 \neq 0$ 时,计算偏导数: $$f_x(x,y)=\frac{4}{3}x^{\frac{1}{3}}\sin\frac{y}{x}-\frac{y}{x^{\frac{2}{3}}}\cos\frac{y}{x}, \quad f_y(x,y)=x^{\frac{1}{3}}\cos\frac{y}{x}.$$ 由于 $f_x$ 和 $f_y$ 在 $(x,y)\neq(0,0)$ 处连续,故 $f$ 在这些点可微。
公式:$$f_x(x,y)=\frac{4}{3}x^{\frac{1}{3}}\sin\frac{y}{x}-\frac{y}{x^{\frac{2}{3}}}\cos\frac{y}{x}, \quad f_y(x,y)=x^{\frac{1}{3}}\cos\frac{y}{x}.$$
提示:注意 $x=0$ 时偏导数公式不适用,需单独处理。
步骤 2/6
目标:计算原点处的偏导数
按定义求偏导: $$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}=\lim_{\Delta y\to 0}\frac{0-0}{\Delta y}=0.$$ 所以两个偏导数存在且为0。
公式:$$f_x(0,0)=0,\quad f_y(0,0)=0.$$
提示:注意 $f(\Delta x,0)=0$ 和 $f(0,\Delta y)=0$ 由定义直接得到。
步骤 3/6
目标:验证原点处的可微性
考虑增量: $$\Delta f - f_x(0,0)\Delta x - f_y(0,0)\Delta y = f(\Delta x,\Delta y) = (\Delta x)^{\frac{4}{3}}\sin\frac{\Delta y}{\Delta x}.$$ 令 $\Delta x=r\cos\theta,\ \Delta y=r\sin\theta$,则 $$\frac{\Delta f - f_x(0,0)\Delta x - f_y(0,0)\Delta y}{r}=r^{\frac{1}{3}}(\cos\theta)^{\frac{4}{3}}\sin(\tan\theta).$$ 当 $r\to 0^+$ 时,$r^{\frac{1}{3}}\to 0$,且 $|(\cos\theta)^{\frac{4}{3}}\sin(\tan\theta)|\leq 1$,故极限为0。因此 $f$ 在原点可微。
公式:$$\lim_{r\to 0^+}\frac{\Delta f - f_x(0,0)\Delta x - f_y(0,0)\Delta y}{r}=0.$$
提示:注意 $\sin(\tan\theta)$ 可能无界,但 $r^{1/3}$ 因子保证极限为0。
步骤 4/6
目标:总结第一问的可微性
函数 $f(x,y)$ 在平面上所有点都可微。
提示:非原点处由偏导数连续得可微,原点处通过定义验证。
步骤 5/6
目标:分析第二问:假设可微导出矛盾
假设 $f$ 在 $(0,0)$ 可微,则存在常数 $A,B$ 使得 $$f(x,y)=Ax+By+o\left(\sqrt{x^2+y^2}\right).$$ 取 $y=0$,得 $f(x,0)=0=Ax+o(x)$,故 $A=0$。取 $x=0$,得 $f(0,y)=0=By+o(y)$,故 $B=0$。于是 $f(x,y)=o\left(\sqrt{x^2+y^2}\right)$。
公式:$$f(x,y)=Ax+By+o\left(\sqrt{x^2+y^2}\right).$$
提示:注意 $f(x,0)=0$ 和 $f(0,y)=0$ 由定义直接得到。
步骤 6/6
目标:计算极限矛盾
考虑路径 $y=x^2$,则 $$\frac{f(x,x^2)}{\sqrt{x^2+x^4}}=\frac{\left(1-\cos\frac{x^2}{x^2}\right)\sqrt{x^2+x^4}}{\sqrt{x^2+x^4}}=1-\cos 1\neq 0.$$ 因此 $\lim_{(x,y)\to(0,0)}\frac{f(x,y)}{\sqrt{x^2+y^2}}\neq 0$,与 $f(x,y)=o\left(\sqrt{x^2+y^2}\right)$ 矛盾。故 $f$ 在 $(0,0)$ 不可微。
公式:$$\lim_{(x,y)\to(0,0)}\frac{f(x,y)}{\sqrt{x^2+y^2}}=1-\cos 1\neq 0.$$
提示:注意路径选择:$y=x^2$ 使 $\frac{x^2}{y}=1$,避免分母为零。

📷 拍照上传批改

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