漫步数学分析三十八——反函数定理

注意$Jf(x)\neq0$意味着$Df(x):R^n\to R^n$是线性同构(即它的矩阵是可逆的)，从而根据事实：最佳线性近似是可逆的，我们想得出函数本身是可逆的。

然而，需要一些限制条件。为此考虑$f:R\to R$，如果$f$是$C^1$且$f^\prime(x_0)\neq0$，那么$f$在$x_0$的邻域内是可逆的。几何上来看这非常明显，因为$f^\prime(x_0)\neq0$意味着$f$在$x_0$附近斜率不为零。(如图1)

图1

因此我们主要关注的是局部可逆性，即$x$靠近$x_0$与$y$靠近$y_0=f(x_0)$时$f(x)$的可逆性。

根据链式法则很容易计算可逆函数$f^{-1}(y)$的导数：$f^{-1}(f(x))=x$，我们得出$(df^{-1}/dy)\cdot f^\prime(x)=1$，所以

$$\frac{df^{-1}}{dy}|_{y=f(x)}=\frac{1}{df/dx}$$

为了验证$f^{-1}$是可微的需要更小心点。

如果$f^\prime(x_0)=0$，那么$f$在$x_0$附近可能可逆，也可能不可逆；如图1所示，$f$在$x_1$附近是不可逆的，但是$f(x)=x^3$在$x_0=0$ 是可逆的。那么当$f^\prime(x_0)=0$时我们的不出结论。通常来讲，$f^\prime(x_0)\neq 0$不能保证对所有的$y,f(x)=y$有解。例如，在图1中不存在$x_3$使得$f(x_3)=y_1$。另外从图中也能看出$f(x_0)=f(x_2)$的解不唯一，但当我们只考虑$x_0$很小的邻域时解是唯一的。

因此我们考虑$f$在$f(x_0)$附近的可逆性，即$y$靠近$f(x_0)$时，使得$f(x)=y$的某些靠近$x_0$的$x$值是唯一的，有多靠近这个问题需要更细节分析，不过目前而言这个不重要。

定理1包含单变量的情况，它仅仅是一种特殊情况。

$\textbf{定理1}$ 令$A\subset R^n$是开集且$f:A\subset R^n\to R^n$是$C^1$类(即，$Df$存在且连续)，令$x_0\in A$ 并假设$Jf(x_0)\neq0$，那么存在$x_0$的邻域$U$与$f(x_0)$ 的开邻域$W$满足$f(U)=W$，$f$存在$C^1$逆$f^{-1}:W\to U$。此外，对于$y\in W,x=f^{-1}(y)$，我们有

$$Df^{-1}(y)=[Df(x)]^{-1}$$

$Df(x)$的逆意味着线性映射(对应于可逆矩阵)的逆，如果$f$是$C^p$类，$p\geq1$，那么$f^{-1}$同样如此。

我们讲$f$有可逆函数$f^{-1}$意味着给定$y\in W$，有唯一的$x\in U$满足$f(x)=y$。

定理的证明依赖一个存在的论据，即当$y$靠近$y_0$时我们需要证明存在$x$使得$f(x)=y$，最基本的工具是压缩映射原理；参看5.6节。在5.6节中我们看到这个结果如何用来证明简单积分方程解的存在性。在7.5节我们将利用同样的论据来求解微分方程。

$\textbf{例1：}$考虑方程$(x^4+y^4)/x=u(x,y),\sin x+\cos y=v(x,y)$，那么在哪些点附近我们可以用$u,v$的形式求解出$x,y$？

$\textbf{解：}$这里的函数是$u(x,y)=f_1(x,y)=(x^4+y^4)/x,v(x,y)=f_2(x,y)=\sin x+\cos y$，我们想知道在哪些点附近我们可以求出$x,y$，根据逆函数定理，我们必须先计算出$\partial(f_1,f_2)/\partial(x,y)$。对于$f=(f_1,f_2)$，我们取其定义域为$A=\{(x,y)\in R^2|x\neq 0\}$，接下来

$$\begin{align*} \frac{\partial(f_1,f_2)}{\partial(x,y)} &=\begin{vmatrix} \frac{\partial f_1}{\partial x}&\frac{\partial f_1}{\partial y}\\ \frac{\partial f_2}{\partial x}&\frac{\partial f_2}{\partial y} \end{vmatrix} =\begin{vmatrix} \frac{3x^4-y^4}{x^2}&\frac{4y^3}{x}\\ \cos x&-\sin y \end{vmatrix}\\ &=\frac{(\sin y)}{x^2}(y^4-3x^4)-\frac{4y^3}{x}\cos x \end{align*}$$

因此，对于没消失的点，我们可以用$u,v$来表示$x,y$。换句哈说，我们可以在靠近$x,y$的附近求出$x,y$，这种问题通常无法显式求出。例如如果$x_0=\pi/2,y_0=\pi/2$，那么我们可以在$x_0,y_0$附近求出$x,y$，因为$\partial(f_1,f_2)/\partial(x,y)\neq 0$。

根据定理1，通过求雅克比矩阵的逆就能得到导数$\partial x/\partial u$等，对于$2\times 2$的情况就是

$$\frac{\partial x}{\partial u}=\frac{1}{Jf(x,y)}\frac{\partial v}{\partial y},\quad\frac{\partial x}{\partial v}=\frac{-1}{Jf(x,y)}\frac{\partial u}{\partial y};$$

$$\frac{\partial y}{\partial u}=\frac{-1}{Jf(x,y)}\frac{\partial v}{\partial y},\quad\frac{\partial y}{\partial v}=\frac{1}{Jf(x,y)}\frac{\partial u}{\partial y}$$

在本例中

$$\frac{\partial x}{\partial u}=\frac{-(x^2\sin y)}{\{(\sin y)(y^4-3x^4)-4y^3x\cos x\}}$$

注意这个答案使用$x,y$而不是$u,v$来表示，所以$\partial x/\partial u$是在点$u(x,y),v(x,y)$处计算出来的。

逆函数定理是非常有用的，因为它告诉我们方程有解并说明如何求出解的微分，虽然可能无法显式求解出方程。

$\textbf{例2：}$令$u(x,y)=e^x\cos y,u(x,y)=e^x\sin y$，说明$(x,y)\mapsto(u(x,y),v(x,y))$是局部可逆的，但是本身不可逆。

$\textbf{解：}$

$$\begin{align*} \frac{\partial(u,v)}{\partial(x,y)} &=\begin{vmatrix} \frac{\partial u}{\partial x}&\frac{\partial u}{\partial y}\\ \frac{\partial v}{\partial x}&\frac{\partial v}{\partial y} \end{vmatrix} =\begin{vmatrix} e^x\cos y&-e^x\sin y\\ e^x\sin y&e^x\cos y \end{vmatrix}\\ &=e^{2x}(\cos^2y+\sin^2y)=e^{2x}\neq 0 \end{align*}$$

因此根据可逆函数定理，映射是局部可逆的。然而因为

$$u(x,y+2\pi)=u(x,y),\quad v(x,y+2\pi)=v(x,y)$$

所以它不是(全局)一对一的。

注意对于$f:R\to R$，如果$f$是可微的且对于所有的$x,f^\prime\neq0$，那么$f^\prime(x)$要么$>0$要么，因为$f^\prime$满足中值定理。从而$f$肯定是(全局)一对一的，$f$要么一直递增要么一直递减，上面的例子表明$R^2$中不一定如此。