【高等数学基础进阶】多元函数微分学-重极限、连续、偏导数、全微分

二元函数

定义：设$D$是平面上的一个点集，若对每个点$P(x,y)\in D$，变量$z$按照某一对应法则$f$有一个确定的值与之对应，则称$z$为$x,y$的二元函数，记为
$$z=f(x,y)$$
其中点集$D$称为该函数的定义域，$x,y$称为自变量，$z$称为因变量，函数$f(x,y)$的全体所构成的集合称为函数$f$的值域，记为$f(D)$

通常情况下，二元函数$z=f(x,y)$在几何上表示一张空间曲面

二元函数的极限

定义：设函数$f(x,y)$在区域$D$上有定义，点$P_0(x_0,y_0)\in D$或为$D$的边界点，如果$\forall \xi >0$，存在$\xi >0$，当$P(x,y)\in D$，且$0<\sqrt{(x-x_0{)}^2+(y-y_0{)}^2}<\xi$时，都有
$$|f(x,y)-A|<\xi$$
成立，则称常数$A$为函数$f(x,y)$当$(x,y)\to (x_0,y_0)$时的极限，记为
$$\underset{(x,y)\to (x_0,y_0)}{\lim }f(x,y)=A或\underset{\begin{array}{c}x\to x_0\\ y\to y_0\end{array}}{\lim }f(x,y)=A或\underset{P\to P_0}{\lim }f(P)=A$$

注：

1. 这里的极限是要求点$(x,y)$在$D$内以任意方式趋近于点$(x_0,y_0)$时，函数$f(x,y)$都趋近于同一确定的常数$A$，否则该极限不存在

当一元的时候，$x$趋近于$x_0$只能沿着$x$轴趋向于$x_0$，可以左边趋向、右边趋向、两边同时趋向
但是对于多元的时候，是要求$(x,y)$以任意方式趋向$(x_0,y_0)$。明显的，过$(x_0,y_0)$的直线有无穷多条，而且是任意方式，$(x,y)$还可以沿着曲线趋向$(x_0,y_0)$，沿着离散点趋向$(x_0,y_0)$。即如果按照任意方式趋向于$(x_0,y_0)$如果极限不存在，那么极限就不存在

2. 一元函数极限中的下列性质对多元函数仍然成立：
   • 局部有界性：若$\underset{x\to x_0}{\lim }f(x)$存在，则$f(x)$在$x_0$某去心邻域有界（即局部有界）
   • 保号性：设$\underset{x\to x_0}{\lim }f(x)=A>0$，如果$A>0$（或$A<0$），则存在$\delta >0$，当$x\in \mathring{U}(x_0,\delta )$时，$f(x)>0$（或$f(x)<0$）
   • 有理运算法则：若$\lim f(x)=A,\lim g(x)=B$，那么
     • $\lim (f(x)\pm g(x))=\lim f(x)\pm \lim g(x)$
     • $\lim (f(x)\cdot g(x))=\lim f(x)\cdot \lim g(x)$
     • $\lim \frac{f(x)}{g(x)}=\frac{\lim f(x)}{\lim g(x)}(B\ne 0)$
   • 极限与无穷小的关系：$\lim f(x)=A\iff f(x)=A+\alpha (x)$，其中$\lim \alpha (x)=0$
   • 夹逼定理：若存在$N$，当$n>N$时，$x_n\le y_n\le z_n$，且$\underset{n\to \infty }{\lim }{x}_n=\underset{n\to \infty }{\lim }{z}_n=a$，则$\underset{n\to \infty }{\lim }{y}_n=a$

多元函数没有洛必达法则

例1：求极限$\begin{array}{r}\underset{\begin{array}{c}x\to 0\\ y\to 0\end{array}}{\lim }\frac{x{y}^2}{x^2+y^2}\end{array}$

对于$\frac{0}{0}$初步判断，如果上面次数高极限为$0$，如果下面次数高极限为无穷，如果上下次数一样极限不存在

$$0\le \left|\frac{x{y}^2}{x^2+y^2}\right|\le |x|\to 0$$
因此极限为$0$

初步判断后如果判断为$0$，常用方法为取绝对值，用夹逼
此处需要条件
$$f(x)\to 0\iff |f(x)|\to 0$$
用极限的定义可以证明，
对于$x\to x_0,f(x)\to 0$，有$\forall \xi >0,\exists \delta$，当$0<|x-x_0|<\delta$时,有
$$\begin{array}{rl}|f(x)-0|& <\xi \\ |f(x)|& <\xi \end{array}$$
对于$x\to x_0,|f(x)|\to 0$，有$\forall \xi >0,\exists \delta$，当$0<|x-x_0|<\delta$时,有
$$\begin{array}{rl}||f(x)|-0|& <\xi \\ |f(x)|& <\xi \end{array}$$
显然二者等价，因此推广到多元函数，有
$$f(x,y)\to 0\iff |f(x,y)|\to 0$$

例2：证明极限$\begin{array}{r}\underset{\begin{array}{c}x\to 0\\ y\to 0\end{array}}{\lim }\frac{xy}{x^2+y^2}\end{array}$不存在

lim ⁡ x → 0 y = k x k x 2 x 2 + k 2 x 2 = k 1 + k 2 \lim\limits_{\substack{x\to 0 \\y=kx }}\frac{kx^{2}}{x^{2}+k^{2}x^{2}}=\frac{k}{1+k^{2}}