与一元函数的极限相类似, 二元函数的极限同样是二元函数微积分的基础. 但因自变量个数的增多, 导致二元函数的极限要比一元函数的极限复杂很多.
定义 1
设 f f f 为定义在 D ⊂ R 2 D \subset \mathbf{R}^{2} D⊂R2 上的二元函数, P 0 P_{0} P0为 D D D 的一个聚点, A A A 是一个确定的实数. 若对任给正数 ε \varepsilon ε, 总存在某正数 δ \delta δ, 使得当 P ∈ U ∘ ( P 0 ; δ ) ∩ D P \in U^{\circ}\left(P_{0} ; \delta\right) \cap D P∈U∘(P0;δ)∩D 时, 都有
∣ f ( P ) − A ∣ < ε , |f(P)-A|<\varepsilon, ∣f(P)−A∣<ε,
则称 f f f 在 D D D 上当 P → P 0 P \rightarrow P_{0} P→P0 时以 A A A 为极限, 记作
lim P → P 0 P ∈ D f ( P ) = A ( 1 ) \lim \limits_{\substack{P \rightarrow P_{0} \\ P \in D}} f(P)=A \quad\quad(1) P→P0P∈Dlimf(P)=A(1)
在对于 P ∈ D P \in D P∈D 不致产生误解时, 也可简单地写作
lim P → P 0 f ( P ) = A . ( 1 ′ ) \lim \limits_{P \rightarrow P_{0}} f(P)=A .\quad\quad(1') P→P0limf(P)=A.(1′)
当 P , P 0 P, P_{0} P,P0 分别用坐标 ( x , y ) , ( x 0 , y 0 ) (x, y),\left(x_{0}, y_{0}\right) (x,y),(x0,y0) 表示时, ( 1 ′ ) \left(1^{\prime}\right) (1′) 式也常写作
lim ( x , y ) → ( x 0 , y 0 ) f ( x , y ) = A . ( 1 ′ ′ ) \lim \limits_{(x, y) \rightarrow\left(x_{0}, y_{0}\right)} f(x, y)=A .\quad\quad(1'') (x,y)→(x0,y0)limf(x,y)=A.(1′′)
例 1
依定义验证 lim ( x , y ) → ( 2 , 1 ) ( x 2 + x y + y 2 ) = 7 \lim \limits_{(x, y) \rightarrow(2,1)}\left(x^{2}+x y+y^{2}\right)=7 (x,y)→(2,1)lim(x2+xy+y2)=7.
证
因为
∣ x 2 + x y + y 2 − 7 ∣ = ∣ ( x 2 − 4 ) + x y − 2 + ( y 2 − 1 ) ∣ = ∣ ( x + 2 ) ( x − 2 ) + ( x − 2 ) y + 2 ( y − 1 ) + ( y + 1 ) ( y − 1 ) ∣ ⩽ ∣ x − 2 ∣ ∣ x + y + 2 ∣ + ∣ y − 1 ∣ ∣ y + 3 ∣ , \begin{aligned} & \left|x^{2}+x y+y^{2}-7\right| \\ = & \left|\left(x^{2}-4\right)+x y-2+\left(y^{2}-1\right)\right| \\ = & |(x+2)(x-2)+(x-2) y+2(y-1)+(y+1)(y-1)| \\ \leqslant & |x-2||x+y+2|+|y-1||y+3|, \end{aligned} ==⩽ x2+xy+y2−7 (x2−4)+xy−2+(y2−1) ∣(x+2)(x−2)+(x−2)y+2(y−1)+(y+1)(y−1)∣∣x−2∣∣x+y+2∣+∣y−1∣∣y+3∣,
先限制在点 ( 2 , 1 ) (2,1) (2,1) 的 δ = 1 \delta=1 δ=1 的方邻域
{ ( x , y ) ∣ ∣ x − 2 ∣ < 1 , ∣ y − 1 ∣ < 1 } \{(x, y)|| x-2|<1,| y-1 \mid<1\} {(x,y)∣∣x−2∣