多元函数的极限

学习导语

多元函数的极限在多元函数的定义的基础上, 引入极限的思想, 说明函数值在高维空间中是否会趋向某一固定数值.

---

问题

单变量极限研究 $x\to x_0$ 时 $f(x)$ 的变化趋势.
当变量扩展到 $\mathbf{x}=(x_1,x_2,\dots ,x_n)$ 时, 问题变为:

当一个点在 $n$ 维空间中无限接近 ${\mathbf{x}}_0$ 时, 函数值是否趋于同一个数？

这就是多元极限的基本问题: 方向不同, 结果是否一致？

---

定义

设 $f:D\subseteq {\mathbb{R}}^n\to \mathbb{R}$, 若存在实数 $A$,
对任意 $\epsilon >0$, 都存在 $\delta >0$,
使得当

$$0<\Vert \mathbf{x}-{\mathbf{x}}_0\Vert <\delta ,\mathbf{x}\in D$$

时有

$$|f(\mathbf{x})-A|<\epsilon$$

则称当 $\mathbf{x}\to {\mathbf{x}}_0$ 时, 函数 $f(\mathbf{x})$ 的极限存在, 记作:

$$\underset{\mathbf{x}\to {\mathbf{x}}_0}{\lim }f(\mathbf{x})=A$$

此定义直接继承自n维空间的度量结构, 是”邻域” 概念的应用.

---

几何解释

在二维情形 $f(x,y)$ 中, 自变量是平面上的点.
我们令 $(x,y)$ 从不同方向靠近 $(x_0,y_0)$:

• 若所有方向上 $f(x,y)$ 都趋向同一数值 $A$, 则极限存在;
• 若不同方向上极限不同, 则极限不存在.
  换言之, 多元极限要求方向无关性.
  一元极限有”左极限” “右极限” ; 而多元极限要面对无穷多条逼近路径.

---

计算

1. 路径法 (必要条件)

若极限存在, 则沿任意路径逼近该点的极限必须相同.
若两条路径给出不同结果, 则极限不存在.
示例:

$$f(x,y)=\frac{xy}{x^2+y^2}$$

沿 $y=x$ 得 $\frac{1}{2}$, 沿 $y=-x$ 得 $-\frac{1}{2}$.
结果不相同, 则极限不存在.

---

2. 极坐标法 (充分判定的常用工具)

当 $f(x,y)$ 在原点附近定义时, 可令

$$x=r\cos \theta ,y=r\sin \theta$$

若

$$f(r,\theta )\to A(r\to 0)$$

且极限与角度 $\theta$ 无关, 则多元极限存在且等于 $A$.
示例:

$$f(x,y)=\frac{x^{2}y}{x^2+y^2}=r{\cos }^2\theta \sin \theta \to 0$$

结果与方向无关 → 极限存在且为 0.

---

3. 夹逼准则

若存在函数 $g,h$ 满足

$$g(\mathbf{x})\le f(\mathbf{x})\le h(\mathbf{x})$$

且

$$\underset{\mathbf{x}\to {\mathbf{x}}_0}{\lim }g(\mathbf{x})=\underset{\mathbf{x}\to {\mathbf{x}}_0}{\lim }h(\mathbf{x})=A$$

则

$$\underset{\mathbf{x}\to {\mathbf{x}}_0}{\lim }f(\mathbf{x})=A$$

---

性质

1. 唯一性: 若极限存在, 则唯一.
2. 局部有界性: 若极限存在, 则函数在该点附近必有界.
3. 四则运算:
   若 $\lim f=A$, $\lim g=B$, 则 $$\lim (f\pm g)=A\pm B,\lim (fg)=AB,\lim \frac{f}{g}=\frac{A}{B}(B\ne 0)$$
4. 组合律: 若 $\lim f(\mathbf{x})=\mathbf{a}$, 且 $\lim g(\mathbf{y})=b$,
   则 $\lim g(f(\mathbf{x}))=b$.

---

例题

例 1

$$f(x,y)=\frac{x^{2}y}{x^2+y^2}$$

化极坐标得

$$f=r{\cos }^2\theta \sin \theta$$

当 $r\to 0$, $f\to 0$, 结果与方向无关 → 极限存在且为 0.

例 2

$$f(x,y)=\frac{x^2-y^2}{x^2+y^2}$$

沿 $x=0$ 得 $-1$, 沿 $y=0$ 得 $1$, 极限不同 → 不存在.

---

小结

多元函数极限的本质是”任意方向趋近时的稳定性” .
它是连续性与可微性的前提条件.
理解这一点, 就能从几何直觉上把握多元分析的核心逻辑——
局部逼近, 全局平滑, 变化可导.