压缩映射实例——隐函数存在定理

压缩映射例子

完备性定义

如果距离空间$X$中的任意柯西列都是收敛列，则称$X$为完备的距离空间。

压缩映射的定义

设$(X,d)$是距离空间，$T:X\to X$,若存在$\theta \in (0,1)$,使得
$$d(Tx,Ty)\le \theta d(x,y)$$
对任意$x,y\in X$都成立，则称$T$为$X$的压缩映射。

压缩映射原理：

设$X$是完备距离空间，$T:X\to X$是压缩映射，则$T$有唯一的不动点，即存在唯一$\overline{x}\in X$,

使得$T\overline{x}=\overline{x}$.

压缩映射的性质

命题：距离空间的压缩映射必为连续映射。

隐函数存在定理（张恭庆P7）：

$$设D=\{(x,y)|a\le x\le b,-\infty \le y\le +\infty \},F(x,y)在D上连续且m\le F_y(x,y)\le M,$$

$$其中0\le m\le M,(x,y)\in D.$$

$$则存在唯一的连续函数y=\phi (X).stF(x,\phi (X))\equiv 0,x\in [a,b].$$

证明：

思路：建立映射证明其完备性和是压缩映射。

（1）确定距离空间，建立映射

在连续函数$C[a,b]$考虑映射：
$$(T\phi )(x)=\phi (x)-\frac{1}{M}F(x,\phi (X)),x\in [a,b].$$
则$T$是$C[a,b]$到$C[a,b]$的映射。

(2)我们先证明连续函数空间$C[a,b]$是完备的

设$x_n$是$C[a,b]$的任意柯西列，由柯西列定义：

任意$\epsilon >0$,存在$N\ge 0$,当$n,m\ge N$时，对任意$t_0\in [a,b]$,
$$|x_n(t_0)-x_m(t_0)|\le d(x_n,x_m)<\epsilon .$$
固定$t_0$时， { x n ( t 0 ) } \{x_n(t_0)\} {xn​(t0​)}是$R$的柯西列。

利用**$R$的完备性**(极限不会出去），存在$x(t_0)\in R$，
$$st\underset{x\to \infty }{\lim }{x}_n(t_0)=x(0)$$
在上面的不等式中，

​ 令$m\to \infty$,则当$n\ge N$时，
$$|x_n(t_0)-x_m(t_0)|\le \epsilon$$

定义$x=x(t)$,$t_0\in [a,b]$,当$n\ge N$时,
$$|x_n(t_0)-x(t_0)|\le \epsilon$$
即柯西列收敛。

（3)验证$T$为压缩映射

$$d(T\phi ,T\psi )\le (1-\frac{m}{M})d(\phi ,\psi )$$

$(T\phi )(x)=\phi (x)-\frac{1}{M}F(x,\phi (X)),x\in [a,b]$

证：
$$\begin{gathered} d(T\phi ,T\psi )=\underset{x\in [a,b]}{\max }|(T\phi )(x)-(T\psi )(x)| \\ =\max |\phi (x)-\psi (x)-\frac{1}{M}[F(x,\phi (x))-F(x,\psi (x))]|(带入映射) \\ =\max |\phi (x)-\psi (x)-\frac{1}{M}{F}_y(x,\theta (x))[\phi (x)-\psi (x)]| \\ \le (1-\frac{m}{M})\underset{x\in [a,b]}{\max }|\phi (x)-\psi (x)| \\ =\le (1-\frac{m}{M})d(\phi ,\psi ). \end{gathered}$$

由于$0\le 1-\frac{m}{M}<1$,故$T$是完备距离空间$C[a,b]$上的压缩映射。

由压缩不动点定理知，存在唯一的$\phi \in C[a,b]$,使得$F(x,\phi (x))\equiv 0$.

多元隐函数存在定理可参考张恭庆泛函分析第七页