证明多元函数极限不存在的一个解法

对于多元函数$f(x)$来说，证明其在某一点$(x_0,y_0)$处极限不存在的方法就是找到两条不同的趋于$(x_0,y_0)$的路径，使得$f(x,y)$在这两条路径上趋于不同的值。
对于二元函数$f(x,y)$来说,$(x,y)$沿任意路径趋于$(x_0,y_0)$时二元函数$f(x,y)$趋于同一个值A，则重极限$\underset{(x,y)\to \left(x_0,y_0\right)}{\lim }f(x,y)$存在且也等于A.
这一性质常常用来证明二元函数$f(x,y)$在$(x_0,y_0)$这点的极限不存在，即找到两条趋于$(x_0,y_0)$的路径，使得二元函数$f(x)$在这两条路径上趋于不同的值。然而，在绝大多数的数学分析教科书中，常常只介绍利用相对简单的径向路径来证明一个二元函数在某一点的极限不存在，即当二元函数$f(x,y)$沿着$y=kx$这些路径趋于$(x_0,y_0)$时，若极限与径向的斜率$k$相关，则二元函数$f(x,y)$在$(x_0,y_0)$这点的极限不存在。而这种方法对些相对较为复杂的二元函数$f(x,y)$通常是失效的例如，考虑二元函数$f(x,y)=\frac{x^2{y}^2}{x^3+y^3}$在$(x,y)$趋于$(0,0)$的极限时，不难发现$(x,y)$沿着径向路径$y=kx$的极限都为0.然而$f(x,y)=\frac{x^2{y}^2}{x^3+y^3}$在$(x,y)$趋于$(0,0)$是不存在极限的，若考虑路径$y=-x+\frac{\alpha }{2}{x}^2$,则
$$\begin{array}{rl}& \underset{(x,y)\to (0,0)}{\lim }\frac{x^2{y}^2}{x^3+y^3}=\underset{y=-x+\frac{\alpha }{2}{x}^2+2}{\lim }\frac{{\left(\frac{\alpha }{2}\right)}^3{x}^3-\alpha x^2+x}{{\left(\frac{\alpha }{2}\right)}^3{x}^3-3{\left(\frac{\alpha }{2}\right)}^2{x}^2+3\frac{\alpha }{2}x}\\ & =\frac{2}{3\alpha }\end{array}$$

下面我们老考虑这些极限是怎样计算出来的

事实上，从解析几何的观点来看，$(x,y)$沿某一路径趋于$(x_0,y_0)$可以被理解为$(x,y)$在趋于$(x_0,y_0)$的过程中，变量y是一个关于变量x的函数，即$y=y(x)$，而且这个函数还满足$y_0=y\left(x_0\right)$。因此，$(x,y)$沿某一路径趋于$(x_0,y_0)$时,$f(x,y)$的极限可以理解为复合函数$\pounds f(x,y(x))$在$x⟶x_0$时的极限。在这种观点下，我们将利用一元函数的洛必达法则来探索上述这些路径是如何被发现的。

首先考虑$f(x,y)=\frac{x^3+y^3}{x^2+y}$，由于此时我们将$y$看成是一个$x$的函数，故当$y=-x^2+g(x)$且$\underset{x\to 0}{\lim }g(x)=0$时，$\underset{(x,y)\to (0,0)}{\lim }\frac{x^3+y^3}{x^2+y}$是一个关于变量$x$的$\frac{0}{0}$极限，我们知道，$\frac{0}{0}$不定式的极限与分子和分母两个因子的阶数有关。我们假设$y=-x^2+g(x)$，分子分母同时求导可得：
$$\underset{x\to 0}{\lim }\frac{3x^2+3y^{2}y}{2x+y^{\prime }}$$
若进一步，还有$\underset{x\to 0}{\lim }{g}^{\prime }(x)=0$，再次进行求导，可得
$$\underset{x\to 0}{\lim }\frac{6x+6y{y}^{\prime }+3y^2{y}^{\prime \prime }}{2+y^{\prime \prime }}$$
若再一次假设$\underset{x\to 0}{\lim }{g}^{\prime \prime }(x)=0$，再次求导得

$$\underset{x\to 0}{\lim }\frac{6+6(y{)}^2+12y{y}^{\prime \prime }+3y^2{y}^{\prime \prime \prime }}{y^{\prime \prime \prime }}$$
由于$\underset{x\to 0}{\lim }g(x)=\underset{x\to 0}{\lim }g(x)=\underset{x\to 0}{\lim }{g}^{\prime \prime }(x)=0$，我们对上式进行积分，可得$y=-x^2+\frac{\alpha }{6}{x}^3$

下面几个例题都可以采用上述方法

例题一：求极限$\underset{(x,y)\to (0,0)}{\lim }\frac{x-y}{x+y}$
解析：当$(x,y)$沿$y=kx$趋向于$(0,0)$时，有
$$\underset{\genfrac{}{}{0ex}{}{x\to 0}{y\to 0}}{\lim }\frac{x-y}{x+y}=\underset{\genfrac{}{}{0ex}{}{x\to 0}{y=kx}}{\lim }\frac{x-y}{x+y}=\underset{x\to 0}{\lim }\frac{x-kx}{x+kx}=\frac{1-k}{1+k}$$
所以极限不存在。

例题二：求极限$\underset{(x,y)\to (0,0)}{\lim }\frac{x^2{y}^2}{x^2{y}^2+(x-y{)}^2}$

解析：当$(x,y)$沿着$y=x$趋向于$(0,0)$时，有
$$\begin{array}{rl}\underset{(x,y)\to (0,0)}{\lim }\frac{x^2{y}^2}{x^2{y}^2+(x-y{)}^2}& =\underset{x\to 0}{\lim }\frac{x^2{y}^2}{x^2{y}^2+(x-y{)}^2}\\ & =\underset{x\to 2}{\lim }\frac{x^2{x}^2}{x^2{x}^2+(x-x{)}^2}=1\end{array}$$
当$(x,y)$沿着$y=0$趋向于$(0,0)$时，有
$$\begin{array}{rl}\underset{(x,y)\to (0,0)}{\lim }\frac{x^2{y}^2}{x^2{y}^2+(x-y{)}^2}& =\underset{x\to 0}{\lim }\frac{x^2{y}^2}{x^2{y}^2+(x-y{)}^2}\\ & =\underset{x\to 0}{\lim }\frac{x^2{0}^2}{x^2{0}^2+(x-0{)}^2}=0\end{array}$$
因此极限不存在。

例题三：求极限$$\underset{(x,y)\to (0,0)}{\lim }\frac{x^3+y^3}{x^2+y}$$

解析：当$(x,y)$沿着$y=k{x}^3-x^2$趋向于$(0,0)$时，有
$$\begin{array}{rl}\underset{(x,y)\to (0,0)}{\lim }\frac{x^3+y^3}{x^2+y}& =\underset{x\to 0}{\lim }\frac{x^3+y^3}{x^2+y}\\ & =\underset{x=k{x}^3-x^2}{\lim }\frac{x^3+{\left(k{x}^3-x^2\right)}^3}{x^2+k{x}^3-x^2}\\ & =\frac{1}{k}\end{array}$$
显然其随着k值得变化而变化，所以不是极值。

例题四：求极限$\underset{(x,y)\to (0,0)}{\lim }x\frac{\ln (1+xy)}{x+y}$
解析：当$(x,y)$沿着$y=x^{\alpha }-x$趋向于$(0,0)$时，
$$\begin{array}{rl}\underset{(x,y)\to (0,0)}{\lim }x\frac{\ln (1+xy)}{x+y}& =\underset{(x,y)\to (0,0)}{\lim }\frac{x^{2}y}{x+y}\\ & =\underset{\genfrac{}{}{0ex}{}{x\to 0}{y=x^{\alpha }-x}}{\lim }\frac{x^{2}y}{x+y}=\underset{x\to 0}{\lim }\frac{x^{\alpha +2}-x^3}{x^{\alpha }}\\ & =\underset{x\to 0}{\lim }\left(x^2-x^{3-\alpha }\right)=\{\begin{array}{ll}-1,& \alpha =3\\ 0,& \alpha <3\\ 0,& \alpha >3\end{array}\end{array}$$
故极限不存在。

例题五：求极限$\underset{(x,y)\to (0,0)}{\lim }\frac{xy}{x+y}$

解析：当$(x,y)$沿着$y=x^2-x$趋向于$(0,0)$时，有
$$\begin{array}{rl}\underset{(x,y)\to (0,0)}{\lim }\frac{xy}{x+y}& =\underset{\genfrac{}{}{0ex}{}{x\to 0}{y=x^2-x}}{\lim }\frac{xy}{x+y}\\ & =\underset{x\to 0}{\lim }\frac{x\left(x^2-x\right)}{x+x^2-x}\\ & =\underset{x\to 0}{\lim }(x-1)=-1\end{array}$$
当$(x,y)$沿着$y=x$趋向于$(0,0)$时，有
$$\underset{(x,y)\to (0,0)}{\lim }\frac{xy}{x+y}=\underset{\genfrac{}{}{0ex}{}{x\to 0}{y=x}}{\lim }\frac{xy}{x+y}=\underset{x\to 0}{\lim }\frac{x^2}{2x}=0$$
故极限不存在。

例题六：求证$\underset{(x,y)\to (0,0)}{\lim }{x}^y$不存在
证明：当$(x,y)$沿着$y=\frac{k}{\ln x}$趋向于$(0,0)$时，有
$$\underset{(x,y)\to (0,0)}{\lim }{x}^y=e^k$$
所以极限不存在

例题七：求证$\underset{(x,y)\to \left(1,\frac{1}{3}\right)}{\lim }\frac{\frac{\tan 3\pi y}{12y-4}-\arctan x}{1-x^4}$不存在
证明：
因为
$$\frac{\tan 3\pi y}{12y-4}=\frac{\pi }{4}+\frac{{\pi }^3}{12}(3y-1{)}^2+O\left((3y-1{)}^4\right)$$
取$x=3y$,则
$$\begin{array}{l}\frac{\tan 3\pi y}{12y-4}-\arctan x=\frac{1-x}{2}+o(1-x)\\ {\lim }_{(x,y)\to \left(1,\frac{1}{3}\right)}\frac{\frac{\tan 3\pi y}{12y-4}-\arctan x}{1-x^4}={\lim }_{x\to 1}\frac{\frac{1-x}{2}+o(1-x)}{1-x^4}=\frac{1}{8}\end{array}$$
取$3y-1=\sqrt[3]{1-x}$
则有
KaTeX parse error: Expected group after '_' at position 239: …{1-x^{4}}=\lim _̲\limits{x \righ…
故极限不存在。