不动点定理及其应用
不动点定理及其应用
一、不动点定理
不动点定理fixed-point theorem:如果f是n1维实心球Bn1{xR,n1x1} 到自身的连续映射(n1,2,3),则f存在一个不动点xBn1(即满足f(x0)x0)。
(一)、压缩算子:
1、定义: 设(1)X
距离空间;
(2)算子T:XX的映射。
若(01),s.t.x,yX,恒有(Tx,Ty)(x,y), 则称T是X上的压缩算子。为压缩系数。
2、性质:压缩算子T是连续的
证 :若xnx,即(xn,x)0,则(Txn,Tx)(xn,x)0 例:T:R1
R1
,则 ①Tx
1x是压缩算子
2
因为(Tx,Ty)TxTy
1x
1y
1(x,y),
1
2
2
2
2
②Txx0是压缩算子(0 ) ③Txx不是压缩算子(1 )
(二)、不动点定理
1、定义:设(1)X---- 是完备的距离空间;
(2)T:XX的压缩算子。
则T在X上存在唯一的不动点x*
,即x*X,s.t.x*Tx*
2、注意
(1)定理的证明过程就是求不动点的方法,称为构造性的证明。 (2)定理的条件是结论成立的充分非必要条件。
(3)迭代的收敛性和极限点与初始点无关。但T的选取及初始点x0的选取对迭代速度有影响。初始点离极限点越近,其收敛速度越快,而不影响精确度。
(4)误差估计
①事前(或先验)误差:根据预先给出的精确度,确定计算步数。此方法有时理论上分析困难。
设迭代到第n步,将xxn,则误差估计式为
(xn,x)
*
*
n
1
(Tx0,x0)
n
1
(x1,x0)
②事后(或后验)误差:计算到第n步后,估计相邻两次迭代结果的偏差(xn,xn1),若该值小于预定的精度要求,则取xxn。此方法简单,但有时无法估计计算步数。
设迭代到第n步,将x*xn,则误差估计式为
(xn,x)
*
*
1
(xn,xn1)
11
或 (xn,x*)
(xn1
,x )n
3、求解不动点的具体步骤: Step1 提供迭代初始点x0; Step2 计算迭代点x1Tx0;
Step3 控制步数,检查(x1,x0),若(x1,x0)。则以x1替换x0转到第二步,继续迭代,当(x1,x0)时终止,取x1为所求结果。误差不超过
1
。
对于不动点理论,为了便于应用,下面给出两种不同情况下所适合的方法。 推论1
设(1)X----完备的距离空间; (2)T:XX的算子。
(3)T在闭球(x0,r)X上是压缩算子,并且
(Tx0,x0)(1)r
则T在(x0,r)中存在唯一的不动点
推论2
设(1)X---完备的距离空间; (2)T:XX的算子。
(3)存在01及正整数n,使x,yX,都有
(Tx,Ty)(x,y)
则T在X中存在唯一的不动点。
定理的意义在于:如果不能直接得到T是压缩算子,可以研究Tn是否为压缩算子,从而得到T有唯一不动点。
nn
二、不动点定理的应用
不动点定理建立在距离空间基础上的,而距离空间是一个比较广泛的抽象空间,所以不动点定理有着广泛的应用。
应用不动点定理解决实际问题的步骤:
(1)寻找压缩算子T,将问题转化为求xTx的不动点; (2)构造迭代序列{xn},取极限点xxn; (3)误差分析;
(4)通过实际问题进行验证。
*
(一)、在线性代数中的应用
例如 Axbx(IA)xbTx,则迭代格式xn1(IA)xnb
(二)、不动点定理在常微分方程中的应用
科学技术中常常需要求解常微分方程的定解问题。除了一些简单的微分方程外,要找出解析解是非常困难的、甚至是不可能的。因此,许多类型的微分方程应用数值解法求近似解。数值解法是能够算出解在若干个离散点上近似结果的通用方法。本节只讨论应用不动点理论在函数空间中给出常微分方程解的存在性和唯一性定理,至于具体的求解方法可参考其它教材。下面以一阶微分方程的初值问题为例进行讨论。
定理1 (一阶微分方程的初值问题) 已知
dy
f(x,y)
, dx
y(x)y
00
若f(x,y)在R2上连续,并且满足李普西兹(Lipschitz)条件:
f(x,y1)f(x,y2)Ly1y2
(L0)
则通过点(x0,y0)必有且只有一条积分曲线yy(x)
(三)、不动点定理在积分方程中的应用
定理2 设有线性积分方程(Fredhlolme—弗雷德霍姆方程)
x(s)f(s)K(s,t)x(t)dt
ab
则对于充分小的,有
(1)f(s)C[a,b],K(s,t)C[a,b][a,b](正方形域)时,方程有唯一的连续函数解。 (2)f(s)L2[a,b],
证(1)思路:构造算子T,并证明T是压缩的。 ①C[a,b]按范数x(t)
ba
bK2(s,t)dsdtM
a
时,方程有唯一的平方可积函数解。
maxx(t)是完备的距离空间;
atb
② 在C[a,b]上,令Tx(s)f(s)K(s,t)x(t)dt,则
a
b
T:C[a,b]C[a,b]
的算子。下面证T的压缩性。
证(2)思路:构造算子T,并证明T是压缩的。
1
①L[a,b]按范数
2
x(t)
2
b2
x(t)dt是完备的距离空间; a
b
2
② 在L2[a,b]上,令Tx(s)f(s)K(s,t)x(t)dt,则
a
T:L[a,b]L[a,b]的算子。
2
2
下证T的压缩性。 第一种情形举例 例
s,
设在C[0,1]上有K(s,t)
t,
110
0stts1
,求方程
(t)1
10
K(s,t)(s)ds
的近似连续函数解,且要求误差不超过10-4。
解 :f(t)1,令T(t)1
110
110
,K(s,t)C[0,1][0,1],Mmax
0t1
10
K(s,t)ds1101M
12
,
10
K(s,t)(s)ds
,其中
110
1M
,,故由定理2(1)的证
明知,算子方程T存在唯一的不动点*C[0,1]。