方企勤 第五章 多元函数微分学 第9题

教材习题

📝 题目

例 9 设 $f\left( {x,y}\right)$ 在开半平面 $x > 0$ 上二元连续,固定 $y$ ,极限 $\mathop{\lim }\limits_{{x \rightarrow {0}^{ + }}}f\left( {x,y}\right) = \varphi \left( y\right)$ 存在,在 $y$ 轴上函数补充定义 $f\left( {0,y}\right) = \varphi \left( y\right)$ 后, 问函数 $f\left( {x,y}\right)$ 是否在 $x \geq 0$ 上二元连续. 考虑例子:

$$ f\left( {x,y}\right) = \frac{{x}^{2}y}{{x}^{4} + {y}^{2}}\;\left( {x > 0}\right) . $$

💡 答案解析

解 不一定. 如函数 $f\left( {x,y}\right)$ 恒为常数,显然结论是对的. 但对所给的函数, 补充定义后的函数为

$$ f\left( {x,y}\right) = \left\{ \begin{matrix} \frac{{x}^{2}y}{{x}^{4} + {y}^{2}}, & x > 0, \\ 0, & x = 0. \end{matrix}\right. $$

令 $y = {x}^{2}$ ,则

$$ \mathop{\lim }\limits_{{\left( {x,y}\right) \rightarrow \left( {0,0}\right) }}\frac{{x}^{2}y}{{x}^{4} + {y}^{2}} = \mathop{\lim }\limits_{{x \rightarrow 0}}\frac{{x}^{4}}{2{x}^{4}} = \frac{1}{2} \neq 0 = f\left( {0,0}\right) , $$

所以 $f\left( {x,y}\right)$ 在 $x \geq 0$ 上不是二元连续函数.

说明 上述所给函数 $f\left( {x,y}\right)$ ,固定 $x \geq 0$ ,作为 $y$ 的函数在 $\left( {-\infty , + \infty }\right)$ 是连续的. 同样固定 $y$ ,作为 $x$ 的函数在 $\lbrack 0, + \infty )$ 上是连续的. 但它在 $x \geq 0$ 上不是二元连续的. 又固定 $a \in \left\lbrack {-\pi /2,\pi /2}\right\rbrack$ , 考虑过原点的射线 $x = t\cos \alpha ,y = t\sin \alpha \left( {t \geq 0}\right)$ ,函数限制在射线上是一元连续的. 尽管如此函数可以非二元连续.

📋 详细解题步骤

步骤 1/4
目标:分析问题:判断补充定义后的函数是否在x≥0上二元连续
已知f(x,y)在x>0上二元连续,固定y时极限存在,补充定义f(0,y)=φ(y)。问题:f(x,y)在x≥0上是否一定二元连续?答案是否定的,需要构造反例。
提示:注意二元连续要求极限与路径无关,而补充定义只保证沿特定路径的连续性。
步骤 2/4
目标:给出反例函数
考虑函数f(x,y)=x^2 y/(x^4+y^2) (x>0),补充定义f(0,y)=0。则补充后的函数为分段形式。
公式:f(x,y)= { x^2 y/(x^4+y^2), x>0; 0, x=0 }
提示:该函数在x>0上连续,且固定y时极限为0,因此补充定义合理。
步骤 3/4
目标:验证该函数在(0,0)处不连续
取路径y=x^2,则当(x,y)→(0,0)时,f(x,y)=x^4/(2x^4)=1/2,而f(0,0)=0,极限不等于函数值,故不连续。
公式:lim_{(x,y)→(0,0)} f(x,y) 沿 y=x^2 = 1/2 ≠ 0
提示:选择路径y=x^2是关键,它使得分子分母同阶,极限非零。
步骤 4/4
目标:说明该函数在其他方向上的连续性
固定x≥0,f作为y的函数在R上连续;固定y,f作为x的函数在[0,+∞)上连续;沿任何过原点的射线,函数也是一元连续的。但二元不连续。
提示:这展示了二元连续与一元连续、射线连续的区别。

📷 拍照上传批改

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