在许多物理问题中,我们会遇到积分方程;他们的形式如下
其中 a=f(0),k 已经给定,我们假设 k 是连续的。
例如
是一样的。
我们可以用Arzela-Ascoli定理来分析方程1,然而目前我们只考虑满足某些特殊假设的情况,这样的话下面的定理就是可用的。
定理10
(压缩映射原理(Contraction Mapping Principle))令
T:ℓb(A,Rm)→ℓb(A,Rm)
是一个给定的映射,且满足存在一个常数
λ,0≤λ<1
使得对所有的
f,g∈ℓb(A,Rm)
那么
T
有一个唯一的不动点(fixed point);即存在唯一的一个点
注意:这个证明对任何完备度量空间都是有效的,所有
T
的条件可以看成
证明的方法叫做逐次逼近(successive approximations),我们从任意的
f∈ℓb
开始然后形成序列
接下里我们说明这个序列是柯西序列,这样的话它就收收敛到 ℓb 中并且极限函数就是要求的解。这个方法在构造上非常有用,我们可以逐次计算逼近序列的元素,另外如果我们从解出发,或者在迭代过程中幸运地遇到解的话,这个序列就停止了。
定理10的应用 如果 supx∈[0,r]∫x0|k(x,y)|dy=λ<1 ,那么方程1在 [0,r] 上有唯一的解。
实际上,将
T(f)
定义成
那么方程1的解就是
T
的不动点,反之亦然。为了应用定理10,我们必须确认
其中 |f(y)−g(y)|≤∥f−g∥ 是一个常数,因此 T 是一个压缩,故有唯一的一个不动点,也就是要求的解。
随后我们会给出该方法更多的应用,目前我们需要认识到这个方法在微分与积分方程理论中非常重要。
解:
令
X=R
,且满足通常的距离
d(x,y)=|x−y|
。令
T(x)=x+1
,显然,没有一个
x
满足
这个例子说明定理10中的 λ<1 是必不可少的, λ=1 不满足要求。
例2: 说明将逐次近似方法应用到 f(x)=1+∫x0f(y)dy 上将产生通常的形式 ex 。
解:
我们首先从0开始,因为
T(g)=1+∫x0g(y)dy
,所以可得:
所以这个序列收敛到 ex 。
例3: 令 k(x,y)=xe−xy ,在哪个区间 [0,r] 上,文中的方法可以保证方程1有解?
解:
估计
λ
并核对
λ<1
。
那么我们在任意区间 [0,r] 上可得到唯一解。