作为完备度量空间概念的应用,我们介绍巴拿赫( Banach)的压缩映射原理,它在许多关于存在唯一性的定理(例如微分方程、代数方程、积分方程等)的证明中是一个有力的工具
定义
设 X X X 是度量空间, T T T 是 X X X 到 X X X 中 的映射,如果存在一个数 α , 0 < α < 1 , \alpha , 0 < \alpha < 1 , α,0<α<1, 使得对所有的 x , y ∈ X , x , y \in X , x,y∈X,
d ( T x , T y ) ⩽ α d ( x , y ) , ( 1 ) d ( T x , T y ) \leqslant \alpha d ( x , y ) ,\quad\quad(1) d(Tx,Ty)⩽αd(x,y),(1)
则称 T T T 是压缩映射。
压缩映射在几何上的意思是说点 x x x 和 y y y 经 T T T 映射后,它们像的距离缩短了,不超过 d ( x , y ) d ( x , y ) d(x,y) 的 α \alpha α 倍 ( α < 1 ) . ( \alpha < 1 ) . (α<1).
定理3(皮卡)
设 f ( t , x ) f ( t , x ) f(t,x) 是矩形
D = ∣ ( t , x ) ∣ ∣ t − t 0 ∣ ⩽ a , ∣ x − x 0 ∣ ⩽ b ∣ D = ∣\left(t,x\right)∣\left|t−t_{0}\right|⩽a,\left|x−x_{0}\right|⩽b∣ D=∣(t,x)∣∣t−t0∣⩽a,∣x−x0∣⩽b∣
上的二元连续函数,设 ∣ f ( t , x ) ∣ ⩽ M , ( t , x ) ∈ D , | f ( t , x ) | \leqslant M , ( t , x ) \in D , ∣f(t,x)∣⩽M,(t,x)∈D,又 f ( t , x ) f ( t , x ) f(t,x) 在 D D D 上关于 x x x 满足利普希茨条件,即存在常数 K , K , K, 使对任意的 ( t , x ) , ( t , v ) ∈ D , ( t , x ) , ( t , v ) \in D , (t,x),(t,v)∈D, 有
∣ f ( t , x ) − f ( t , v ) ∣ ⩽ K ∣ x − v ∣ , ( 4 ) | f ( t , x ) - f ( t , v ) | \leqslant K | x - v | ,\quad\quad(4) ∣f(t,x)−f(t,v)∣⩽K∣x−v∣,(4)
那么方程 d x d t = f ( t , x ) \frac { \mathrm { d } x } { \mathrm { ~ d } t } = f ( t , x ) dtdx=f(t,x)在区间 J = [ t 0 − β , t 0 + β ] J = \left[ t _ { 0 } - \beta , t _ { 0 } + \beta \right] J=[t0−β,t0+β]上有唯一的满足初值条件 x ( t 0 ) = x 0 x \left( t _ { 0 } \right) = x _ { 0 } x(t0)=x0