AM@重极限@多元函数增量@二元函数连续
文章目录
abstract
- 多元函数重极限
- 多元函数的增量:全增量和偏增量
- 二元函数连续
重极限
- 借助 n n n维空间邻域的概念可以定义出 n n n元函数的极限,称为 n n n重极限
- 这里主要讨论二元函数对应的二重极限
二重极限
- 和一重极限(一元函数的极限)类似地可以用 ϵ − δ \epsilon-\delta ϵ−δ语言描述二重极限,重点在于 x → ∗ x\to{*} x→∗的路径要求是任意路径
- 二元函数的二重极限表示为
- lim ( x , y ) → ( x 0 , y 0 ) f ( x , y ) \lim\limits_{(x,y)\to{(x_0,y_0)}}f(x,y) (x,y)→(x0,y0)limf(x,y)或 lim x → x 0 , y → y 0 f ( x , y ) \lim\limits_{x\to x_0,y\to{y_0}}f(x,y) x→x0,y→y0limf(x,y)或 lim x → x 0 y → y 0 f ( x , y ) \lim\limits_{\substack{x\to{x_0}\\{y\to{y_0}}}}f(x,y) x→x0y→y0limf(x,y)
- 选定趋近路径后
- 若选 y = ϕ ( x ) y=\phi(x) y=ϕ(x)可以表示为 lim x → x 0 y = ϕ ( x ) f ( x , y ) \lim\limits_{\substack{x\to{x_0}\\{y=\phi(x)}}}f(x,y) x→x0y=ϕ(x)limf(x,y)= lim x → x 0 f ( x , ϕ ( x ) ) \lim\limits_{x\to{x_0}}f(x,\phi(x)) x→x0limf(x,ϕ(x))(化为一元函数的极限问题)
- 类似的,可以选定 x = ψ ( y ) x=\psi(y) x=ψ(y), lim x = ψ ( y ) y → y 0 f ( x , y ) \lim\limits_{\substack{x={\psi(y)}\\{y\to{y_0}}}}f(x,y) x=ψ(y)y→y0limf(x,y)= lim y → y 0 f ( ψ ( y ) , y ) \lim\limits_{y\to{y_0}}f(\psi(y),y) y→y0limf(ψ(y),y)
- ϕ ( x ) , ψ ( x ) \phi(x),\psi(x) ϕ(x),ψ(x)都可能是常数
- 二重极限实质上和一重极限相同,单前者在自变量趋近方式上比后者复杂,因此判断和计算二重极限的问题上也要更加复杂
- 当为二重极限选定某一趋近方式后,二重极限转换为一重极限计算
- 例如,
f
(
x
,
y
)
f(x,y)
f(x,y)=
x
y
x
2
+
y
2
\frac{xy}{x^2+y^2}
x2+y2xy;则
lim
(
x
,
y
)
→
(
0
,
0
)
f
(
x
,
y
)
\lim\limits_{(x,y)\to{(0,0)}}f(x,y)
(x,y)→(0,0)limf(x,y)
(1)是否存在? - 若选定趋近路径为(
x
O
y
xOy
xOy上的直线)
y
=
k
x
y=kx
y=kx,表示为
-
lim
(
x
,
y
=
k
x
)
→
(
0
,
0
)
f
(
x
,
y
)
\lim\limits_{(x,y=kx)\to{(0,0)}}f(x,y)
(x,y=kx)→(0,0)limf(x,y)=
lim
x
→
0
f
(
x
,
k
x
)
\lim\limits_{x\to{0}}f(x,kx)
x→0limf(x,kx)=
lim
x
→
0
x
(
k
x
)
x
2
+
(
k
x
)
2
\lim\limits_{x\to{0}}\frac{x(kx)}{x^2+(kx)^2}
x→0limx2+(kx)2x(kx)=
lim
x
→
0
k
1
+
k
2
\lim\limits_{x\to{0}}\frac{k}{1+k^2}
x→0lim1+k2k=
k
1
+
k
2
\frac{k}{1+k^2}
1+k2k
(2) - 这是一个与 k k k的取值有关的极限值,当 k k k取不同值时,对应的趋近方式 y = k x y=kx y=kx也就不同,相应的极限值也会不同
- 这说明所求二重极限不存在
-
lim
(
x
,
y
=
k
x
)
→
(
0
,
0
)
f
(
x
,
y
)
\lim\limits_{(x,y=kx)\to{(0,0)}}f(x,y)
(x,y=kx)→(0,0)limf(x,y)=
lim
x
→
0
f
(
x
,
k
x
)
\lim\limits_{x\to{0}}f(x,kx)
x→0limf(x,kx)=
lim
x
→
0
x
(
k
x
)
x
2
+
(
k
x
)
2
\lim\limits_{x\to{0}}\frac{x(kx)}{x^2+(kx)^2}
x→0limx2+(kx)2x(kx)=
lim
x
→
0
k
1
+
k
2
\lim\limits_{x\to{0}}\frac{k}{1+k^2}
x→0lim1+k2k=
k
1
+
k
2
\frac{k}{1+k^2}
1+k2k
- 当选定好某一路径后(对于二重极限,趋近路径为二元函数定义域平面上的某一曲线或直线对应的函数),可以选好的路径以函数代入的方式表示,如式(2)的方式那样
趋近方式(路径)
-
在一元函数中,自变量 x → x 0 x\to{x_0} x→x0实质上仅有两种趋近方式,即 x → x 0 − 1 x\to{x_0^{-1}} x→x0−1和 x → x 0 + x\to{x_0^{+}} x→x0+
-
在二元函数中,自变量 ( x , y ) → ( x 0 , y 0 ) (x,y)\to{(x_0,y_0)} (x,y)→(x0,y0)的趋近方式是无穷无尽的,比如,它可可以沿着某一直线,或任何曲线,任何方向的趋近于 ( x 0 , y 0 ) (x_0,y_0) (x0,y0)
-
显然,若想要通过选取有限个趋近方式(路径)求极限判断一个二元函数的二重极限是否存在,是不靠谱的
重极限不存在的判定
- 但如果能够找到某两个趋近方式下极限不都存在或者不相等,则可以断定该极限不存在
- 对于某些函数,可以通过求其绝对值函数的极限,或经过放大等手法,结合重极限的定义来证明(验证)二重极限值
- f ( x , y ) ⩽ ∣ f ( x , y ) ∣ f(x,y)\leqslant{|f(x,y)|} f(x,y)⩽∣f(x,y)∣
常用路径选择
- x = x 0 x=x_0 x=x0
- y = k x y=kx y=kx
- y = x 2 y=x^2 y=x2
- ⋯ \cdots ⋯
例
- 设
f
(
x
,
y
)
f(x,y)
f(x,y)=
(
x
2
+
y
2
)
sin
1
x
2
+
y
2
(x^2+y^2)\sin\frac{1}{x^2+y^2}
(x2+y2)sinx2+y21,证明
lim
(
x
,
y
)
→
(
0
,
0
)
f
(
x
)
\lim\limits_{(x,y)\to{(0,0)}}f(x)
(x,y)→(0,0)limf(x)=0
(0)- 观察到 f ( x , y ) f(x,y) f(x,y)中有一个有界函数因子 ∣ sin 1 x 2 + y 2 ∣ ⩽ 1 |\sin{\frac{1}{x^2+y^2}}|\leqslant{1} ∣sinx2+y21∣⩽1,
- ∣ f ( x , y ) ∣ ⩽ ∣ x 2 + y 2 ∣ |f(x,y)|\leqslant|x^2+y^2| ∣f(x,y)∣⩽∣x2+y2∣
-
∀
ϵ
>
0
\forall{\epsilon>0}
∀ϵ>0,欲使
∣
f
(
x
,
y
)
−
0
∣
⩽
ϵ
|f(x,y)-0|\leqslant{\epsilon}
∣f(x,y)−0∣⩽ϵ
(1),放大为 ∣ f ( x , y ) − 0 ∣ ⩽ ∣ x 2 + y 2 ∣ ⩽ ϵ |f(x,y)-0|\leqslant|x^2+y^2|\leqslant{\epsilon} ∣f(x,y)−0∣⩽∣x2+y2∣⩽ϵ(1-1),只要取 δ = ϵ \delta=\sqrt{\epsilon} δ=ϵ,则当 0 < x 2 + y 2 < δ = ϵ 0<\sqrt{x^2+y^2}<\delta=\sqrt{\epsilon} 0<x2+y2<δ=ϵ时,总满足(1-1),也就满足(1),所以结论(0)成立
例
- 证明函数
f
(
x
,
y
)
f(x,y)
f(x,y)=
x
y
x
2
+
y
2
\frac{xy}{x^2+y^2}
x2+y2xy,
(
x
,
y
)
≠
(
0
,
0
)
(x,y)\neq{(0,0)}
(x,y)=(0,0);
f
(
x
,
y
)
=
0
f(x,y)=0
f(x,y)=0,
(
x
,
y
)
=
(
0
,
0
)
(x,y)=(0,0)
(x,y)=(0,0)在点
(
0
,
0
)
(0,0)
(0,0)处的极限
lim
(
x
,
y
)
→
(
0
,
0
)
f
(
x
,
y
)
\lim\limits_{(x,y)\to{(0,0)}}f(x,y)
(x,y)→(0,0)limf(x,y)不存在
(0)- 只要找到两条趋近 ( 0 , 0 ) (0,0) (0,0)的路径不满足极限相等,即可证明结论(0)
- 路径1:直线 x = 0 x=0 x=0,即 lim ( x , y ) → ( 0 , 0 ) f ( x , y ) \lim\limits_{(x,y)\to{(0,0)}}f(x,y) (x,y)→(0,0)limf(x,y)= lim x = 0 , y → 0 f ( x , y ) \lim\limits_{x=0,y\to{0}}f(x,y) x=0,y→0limf(x,y)= lim y → 0 f ( 0 , y ) \lim\limits_{y\to{0}}f(0,y) y→0limf(0,y)= lim y → 0 0 \lim\limits_{y\to{0}}0 y→0lim0=0
- 路劲2:直线 y = x y=x y=x,即 lim ( x , y ) → ( 0 , 0 ) f ( x , y ) \lim\limits_{(x,y)\to{(0,0)}}f(x,y) (x,y)→(0,0)limf(x,y)= lim x → 0 , y = x f ( x , y ) \lim\limits_{x\to 0,y=x}f(x,y) x→0,y=xlimf(x,y)= lim x → 0 f ( x , x ) \lim\limits_{x\to{0}}f(x,x) x→0limf(x,x)= lim x → 0 x 2 x 2 + x 2 \lim\limits_{x\to{0}}\frac{x^2}{x^2+x^2} x→0limx2+x2x2= 1 2 \frac{1}{2} 21
- 显然两个路径下得到的极限值不相等,因此结论(0)成立
二元函数连续👺
- 设二元函数
z
=
f
(
x
,
y
)
z=f(x,y)
z=f(x,y)在点
P
(
x
0
,
y
0
)
P(x_0,y_0)
P(x0,y0)处的某一邻域内有定义,若
lim
(
x
,
y
)
→
(
x
0
,
y
0
)
f
(
x
,
y
)
\lim\limits_{(x,y)\to{(x_0,y_0)}}f(x,y)
(x,y)→(x0,y0)limf(x,y)=
f
(
x
0
,
y
0
)
f(x_0,y_0)
f(x0,y0)
(1),则称 f ( x , y ) f(x,y) f(x,y)点 P 0 ( x 0 , y 0 ) P_0(x_0,y_0) P0(x0,y0)处连续, P 0 ( x 0 , y 0 ) P_0(x_0,y_0) P0(x0,y0)为 f ( x , y ) f(x,y) f(x,y)的 f ( x , y ) f(x,y) f(x,y)的连续点 - 否则称 P 0 P_0 P0为 f ( x , y ) f(x,y) f(x,y)的不连续点或间断点
全增量
- 设二元函数 z = f ( x , y ) z=f(x,y) z=f(x,y)的自变量 x , y x,y x,y在 x 0 , y 0 x_0,y_0 x0,y0处分别有增量 Δ x , Δ y \Delta{x},\Delta{y} Δx,Δy时,称相应的函数 z z z的增量为 Δ z \Delta{z} Δz= f ( x 0 + Δ x , y 0 + Δ y ) f(x_0+\Delta{x},y_0+\Delta{y}) f(x0+Δx,y0+Δy)- f ( x 0 , y 0 ) f(x_0,y_0) f(x0,y0)为函数 f ( x , y ) f(x,y) f(x,y)在 P 0 ( x 0 , y 0 ) P_0(x_0,y_0) P0(x0,y0)处的全增量
偏增量
- 函数 z = f ( x , y ) z=f(x,y) z=f(x,y)在点 P 0 ( x 0 , y 0 ) P_0(x_0,y_0) P0(x0,y0)处对 x x x的偏增量为 Δ x z \Delta_{x}z Δxz= f ( x 0 + Δ x , y 0 ) f(x_0+\Delta{x,y_0}) f(x0+Δx,y0)- f ( x 0 , y 0 ) f(x_0,y_0) f(x0,y0)
- 类似的,在 P 0 P_0 P0处对 y y y的偏增量为 Δ y z \Delta_{y}{z} Δyz= f ( x 0 + Δ x , y 0 ) f(x_0+\Delta{x},y_0) f(x0+Δx,y0)- f ( x 0 , y 0 ) f(x_0,y_0) f(x0,y0)
连续的增量式定义👺
- 令 x = x 0 + Δ x x=x_0+\Delta{x} x=x0+Δx; y = y 0 + Δ y y=y_0+\Delta{y} y=y0+Δy;则 x → x 0 , y → y 0 x\to{x_0},y\to{y_0} x→x0,y→y0分别对应有 Δ x → 0 \Delta{x}\to{0} Δx→0; Δ y → 0 \Delta{y}\to{0} Δy→0
- 若 lim Δ x → 0 , Δ y → 0 [ f ( x 0 + Δ x , y 0 + Δ y ) − f ( x 0 , y 0 ) ] \lim\limits_{\Delta{x}\to{0},\Delta{y}\to{0}}[f(x_0+\Delta{x},y_0+\Delta{y})-f(x_0,y_0)] Δx→0,Δy→0lim[f(x0+Δx,y0+Δy)−f(x0,y0)],即 lim Δ x → 0 , Δ y → 0 Δ z \lim\limits_{\Delta{x}\to{0},\Delta{y}\to{0}}\Delta{z} Δx→0,Δy→0limΔz=0时, f ( x , y ) f(x,y) f(x,y)在点 P 0 ( x 0 , y 0 ) P_0(x_0,y_0) P0(x0,y0)处连续
区域上连续@连续函数
- 若 f ( x , y ) f(x,y) f(x,y)在区域 D D D上的每一点都连续,则称该函数在区域 D D D上连续,或者称 f ( x , y ) f(x,y) f(x,y)为 D D D上的连续函数
- 由二元函数极限运算法则,可以证明二元函数的四则运算(和差积商,在分母不为0处)仍然为连续函数
- 二元连续函数的复合函数也是连续函数
- 多元函数和二元函数有类似的结论
多元初等函数👺
- 与一元函数类似,由常数及具有不同自变量( x 1 , x 2 , ⋯ x_1,x_2,\cdots x1,x2,⋯)的一元基本初等函数 f 1 ( x 1 ) , f 2 ( x 2 ) , ⋯ f_1(x_1),f_2(x_2),\cdots f1(x1),f2(x2),⋯经过有限次四则运算和复合运算构成的可以用一个式子表示的多元函数称为多元初等函数
- 一切多元初等函数在其定义区域内(包含在定义域内的区域或闭区域)都是连续的
由连续计算极限👺
-
直接由极限的定义计算二元函数 f ( x , y ) f(x,y) f(x,y)在某处的极限是不容易的,即便是验证极限值猜想,也是不容易
-
而若知道二元函数 f ( x , y ) f(x,y) f(x,y)在某区间上是连续的,则由连续的定义可知,可以通过求函数在 P 0 ( x 0 , y 0 ) P_0(x_0,y_0) P0(x0,y0)处的函数值 f ( x 0 , y 0 ) f(x_0,y_0) f(x0,y0)来得到函数 f f f在 P 0 P_0 P0处的极限,即 lim ( x , y ) → ( x 0 , y 0 ) f ( x , y ) \lim\limits_{(x,y)\to{(x_0,y_0)}}f(x,y) (x,y)→(x0,y0)limf(x,y)= f ( x 0 , y 0 ) f(x_0,y_0) f(x0,y0)
(2) -
例
- f ( x , y ) f(x,y) f(x,y)= 1 x 2 + y 2 − 1 \frac{1}{x^2+y^2-1} x2+y2−11是初等函数,其在定义域 { ( x , y ) ∣ x 2 + y 2 − 1 ≠ 0 } \set{(x,y)|x^2+y^2-1\neq{0}} {(x,y)∣x2+y2−1=0}上是连续函数,其间断点是整个圆周 { ( x , y ) ∣ x 2 + y 2 − 1 = 0 } \set{(x,y)|x^2+y^2-1={0}} {(x,y)∣x2+y2−1=0}
- lim x → 1 , y → 2 ( x 2 + x y + y 2 ) \lim\limits_{x\to{1},y\to{2}}(x^2+xy+y^2) x→1,y→2lim(x2+xy+y2)= ( 1 + 2 + 4 ) (1+2+4) (1+2+4)=7,直接应用上述公式(2)
-
有时需要通过变形来应用公式(2)
-
f ( x , y ) f(x,y) f(x,y)= 2 − x y + 4 x y \frac{2-\sqrt{xy+4}}{xy} xy2−xy+4
(3);求 A A A= lim x → 0 , y → 1 f ( x , y ) \lim\limits_{x\to{0},y\to{1}}f(x,y) x→0,y→1limf(x,y)-
f ( x , y ) f(x,y) f(x,y)= 2 − x y + 4 x y \frac{2-\sqrt{xy+4}}{xy} xy2−xy+4, ( x y ≠ 0 ) (xy\neq{0}) (xy=0)
-
g ( x , y ) g(x,y) g(x,y)= ( 2 − x y + 4 ) ( 2 + x y + 4 ) x y ( 2 + x y + 4 ) \frac{(2-\sqrt{xy+4})(2+\sqrt{xy+4})}{xy(2+\sqrt{xy+4})} xy(2+xy+4)(2−xy+4)(2+xy+4)= − x y x y ( 2 + x y + 4 ) \frac{-xy}{xy(2+\sqrt{xy}+4)} xy(2+xy+4)−xy= − 1 2 + x y + 4 \frac{-1}{2+\sqrt{xy+4}} 2+xy+4−1, ( x y > 0 ) (xy>0) (xy>0),
-
函数 f ( x , y ) f(x,y) f(x,y)和 g ( x , y ) g(x,y) g(x,y)并不相同(体现在定义域的不同)后者的定义域是前者的一个子集
-
x → 0 , y → 1 x\to{0},y\to{1} x→0,y→1时, x y → 0 xy\to{0} xy→0,从而 ( 2 + x y + 4 ) → 4 (2+\sqrt{xy+4})\to{4} (2+xy+4)→4
-
从而 A A A= lim x → 0 , y → 1 f ( x , y ) \lim\limits_{x\to{0},y\to{1}}f(x,y) x→0,y→1limf(x,y)= lim x → 0 , y → 1 g ( x , y ) \lim\limits_{x\to{0},y\to{1}}g(x,y) x→0,y→1limg(x,y)= − 1 4 -\frac{1}{4} −41
-
-
小结
- 从连续的定义可以看出,判断函数在某点处连续与否,取决于在该点处是否存在对应的极限,即连续问题就是极限问题
- 反之,利用已知连续的结论,可以求某些极限问题
有界闭区域上二元连续函数的性质
- 和一元连续函数的性质类似,在**有界闭区域 D D D**的二元连续函数具有如下性质:有界性和最值定理;介值定理
有界性和最值定理
- 有界闭区域 D D D上的二元连续函数,必定在 D D D上有界,且能取得它的最大值和最小值
介值定理
- 有界闭区域 D D D上的二元连续函数必取得介于最大值和最小值之间的任何值
【推荐】国内首个AI IDE，深度理解中文开发场景，立即下载体验Trae
【推荐】编程新体验，更懂你的AI，立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包，你的智能百科全书，全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell：AI 加持，快人一步
· 分享4款.NET开源、免费、实用的商城系统
· 全程不用写代码，我用AI程序员写了一个飞机大战
· MongoDB 8.0这个新功能碉堡了，比商业数据库还牛
· 记一次.NET内存居高不下排查解决与启示
· 白话解读 Dapr 1.15：你的「微服务管家」又秀新绝活了
2022-11-04 PC_算计机性能指标
2022-11-04 PC_ 计算机系统概述+冯诺依曼机+各种字长
2022-11-04 时钟夹角(C语言四舍五入与向下取整的应用)