15巴拿赫不动点定理.docVIP

1.5 Banach不动点定理及应用 巴拿赫不动点定理Banach Fixed Point Theorem)，又称为压缩映射定理或压缩映射原理，压缩映射原理映射不动点的存在性和唯一性，Banach不动点定理及推论 定义 1.5.1 不动点(Fixed points) 设是一个非空集合，为映射，如果存在满足，则称为映射的不动点． 例如(1)从到上的映射有两个不动点，即和．(2)从到上的映射有无穷多个不动点，即直线上的所有点均是不动点． 设是空间到自身的映射，方程的求解可转化为求映射 的不动点，其中常数(显然当时，即，可得)．关于不动点的定理，最简单而又最广泛应用的是著名的压缩映射原理． 定义 1.5.2 压缩映射(Contraction mapping)是一个度量空间，为映射，如果存在常数，对于任何，有 则称为上的压缩映射．称常数为压缩系数． 显然压缩映射是连续映射．下面的压缩映射原理Banach不动点定理． 定理 1.5.1 Banach不动点定理(压缩映射原理Contraction mapping principle是完备的度量空间，是压缩映射，则在中具有唯一的不动点，即存在唯一的，使得． 证明 任取，构造点列： ，，，，…，，…． 下面证明 (1)证为基本列；(2)证，；(3)证的唯一性． (1)证为基本列． 因为是压缩映射，所以不妨设，其中，记，于是有 ； ； ； …… …… ． 因此对于正整数有 () 故为基本列． (2)证，． 因为是完备的度量空间，所以基本列收敛，不妨设()；又知压缩映射是连续映射以及，于是 ． (3)证的唯一性． 若存在且，那么 于是，从而，即．□ 注1 Banach不动点定理给出了在完备度量空间中求解不动点的迭代法，即，由()获得不动点． 第次迭代后的近似解与不动点的误差估计：根据上述定理证明的第二部分知，于是令有 ． 即． 注2 Banach不动点定理中的两个条件压缩性和空间的完备性都是十分重要的．例如当时，未必存在不动点． 设，，那么，有 (由Lagrange中值定理知存在或) ． 但是，当时，方程无解，因此映射在中没有不动点． Lagrange中值定理：如果函数在闭区间连续，在开区间内可导，那么在内至少存在一点()，使得． 推论 1.5.1 设是完备的度量空间，映射是闭球上的压缩映射，并且，其中是压缩系数，那么在中具有唯一的不动点． 证明 显然是完备度量空间的闭子集，所以是完备的子空间．，有，于是 即．可见是完备度量空间到上的压缩映射，因此在中具有唯一的不动点．□ 设映射，记，那么映射． 推论 1.5.2 设是完备的度量空间，映射，如果存在常数和正整数，使得有 那么在中存在唯一的不动点． 证明 显然是压缩映射，所以在中存在唯一的不动点，即．于是 可得也是的不动点，由不动点的唯一性知：．同时易得，，…， 下面证明的唯一性．设存在且，得，，…，，那么 于是，从而，即．□ 1.5.2 Banach不动点定理的应用 ◇ 求方程的近似解 定理 1.5.2 设是可微函数，且，则方程 具有唯一解． 证明 根据Lagrange中值定理知存在，使得 ， 因此是完备度量空间上的压缩映射，于是由压缩映射原理知，具有唯一解． 例 1.5.1 求方程的根． 解 显然函数的导函数为，即单调递增，且，，所以原方程只有一个根而且在内．原方程可写为 由于不是一个压缩映射，即在内并不小于．将上式改造为，即为 ， 于是当及时有 ． 令，，那么在上满足 于是得是上的压缩映射，取，由迭代可得 ，，，， ，，，，…． 若取作为不动点的近似解，其误差为 ．□ ◇ 解线性代数方程组 定理 1.5.3 设，，，若对每个，矩阵满足，即，则线性方程组具有唯一解． 证明 在上定义距离，其中，，易验证是完备的度量空间．令映射为 ． 记，，于是 ，． 因此 由可知是压缩映射，从而存在唯一的不动点，即线性方程组具有唯一解，且可根据迭代求得方程的近似解．□ ◇ 证明隐函数存在定理 定理 1.5.4 设二元函数在区域上连续，关于的偏导数存在，且满足条件，其中，是正常数，则存在连续函数，满足：，． 证明 在完备度量空间中定义映射： ，． 由于是连续函数，所以，即．下面证是压缩映射． 设，根据微分中值定理得，存在，使得 ． 记，显然，于是有，因此 因此是压缩映射，由压缩映射原理知存在唯一的，使得 即，．□ ◇ 在微分方程方面的应用 设在矩形区域连续，那么存在使得有，进一步假定关于变量满足李普希兹(Lipshitz)条件：存在常数，有，那么有微分方程为 (2.4) 定理 1.5