数学分析(十八)-隐函数定理及其应用2-隐函数组3：反函数组与坐标变换【反函数组的雅可比行列式互为倒数】【例：弦振动方程】

在 $\S 1$ 例 4 中, 我们通过隐函数定理讨论了一元函数反函数存在的 (充分)条件.现在讨论由二元函数组所确定的反函数组存在的(充分) 条件.

设函数组

$$u=u(x,y),v=v(x,y)(9)$$

是定义在 $xy$ 平面点集 $B\subset {\mathbf{R}}^2$ 上的两个函数, 对每一点 $P(x,y)\in B$, 由方程组 (9) 有 $uv$平面上惟一的一点 $Q(u,v)\in {\mathbf{R}}^2$ 与之对应. 我们称方程组 (9) 确定了 $B$ 到 ${\mathbf{R}}^2$ 的一个映射 (变换), 记作 $T$. 这时映射 (9) 可写成如下函数形式:

$$\begin{array}{rl}T:B& \to {\mathbf{R}}^2,\\ P(x,y)& \mapsto Q(u,v)\end{array}$$

或写成点函数形式 $Q=T(P),P\in B$, 并称 $Q(u,v)$ 为映射 $T$ 下$P(x,y)$ 的象, 而 $P$ 则是 $Q$的原象. 记 $B$ 在映射 $T$ 下的象集为 $B^{\prime }=T(B)$.

反过来, 若 $T$ 为一一映射 (即不仅每一原象只对应一个象, 而且不同的原象对应不同的象). 这时每一点 $Q\in B^{\prime }$, 由方程组 (9) 都有惟一的一点 $P\in B$ 与之相对应. 由此所产生的新映射称为映射 $T$ 的逆映射 (逆变换), 记作 $T^{-1}$, 即

$$\begin{array}{c}{T}^{-1}:B^{\prime }\to B,\\ Q\mapsto P\end{array}$$

或

$$P=T^{-1}(Q),Q\in B^{\prime }.$$

亦即存在定义在 $B^{\prime }$ 上的一个函数组

$$x=x(u,v),y=y(u,v),(10)$$

把它代人(9)而成为恒等式:

$$u\equiv u(x(u,v),y(u,v)),v\equiv v(x(u,v),y(u,v)),(11)$$

这时我们又称函数组 $(10)$ 是函数组 $(9)$ 的反函数组.

关于反函数组的存在性问题, 其实是隐函数组存在性问题的一种特殊情形. 这只需把方程组 (9) 改写成

$$\{\begin{array}{lc}F(x,y,u,v)=u-u(x,y)=0,& \\ & (12)\\ G(x,y,u,v)=v-v(x,y)=0,& \end{array}$$

并将定理 18.4 应用于 (12), 便可得到函数组 (9)在某个局部范围内存在反函数组 (10) 的下述定理.

定理 18.5 (反函数组定理)

设函数组 (9) 及其一阶偏导数在某区域 $D\subset {\mathbf{R}}^2$ 上连续, 点 $P_0\left(x_0,y_0\right)$ 是 $D$ 的内点,且

$$u_0=u\left(x_0,y_0\right),v_0$$