APP下载

Banach空间上的两个不动点定理的新证法

2022-11-22裴明鹤

关键词:有界证法不动点

裴明鹤

(北华大学数学与统计学院,吉林 吉林 132013)

众所周知,Schauder不动点定理和Rothe不动点定理是非常著名的不动点定理,它们在常微分方程和偏微分方程的各种定解问题以及积分方程的可解性问题中有着非常广泛的应用.因此,受到微分方程学者的广泛关注.证明Schauder不动点定理的方法一般有3种:第一种如文献[1],首先用有限秩算子(Schauder投影)逼近全连续算子,然后利用Brouwer不动点定理来得到;第二种如文献[2],先证明Rothe不动点定理,然后利用全连续算子延拓定理来得到;第三种如文献[3],先利用Dugundji延拓定理来得到闭凸集的收缩核性质,然后利用Rothe不动点定理来得到.纵观上述Schauder不动点定理和Rothe不动点定理的证明,不论哪种证法,事先都需要做一些较繁琐的准备工作.本文给出Banach空间上的Schauder不动点定理和Rothe不动点定理的新的比较简洁的独立的证法.本文的证法主要基于全连续算子的延拓定理连同Leray-Schauder度理论.

首先,为叙述方便引入一些记号,并简要介绍全连续算子的延拓定理连同Leray-Schauder度理论中一些熟知的结果.

degLS(Φ,Ω,0)=degLS(Φ,Ω1,0).

有了以上准备,兹可以证明Banach空间上的Schauder不动点定理和Rothe不动点定理.首先,利用全连续算子延拓定理连同Leray-Schauder度的小扰动原理给出Schauder不动点定理的新证明.

定理1(Schauder不动点定理) 设D是实Banach空间E中的有界凸闭集,T:D→D是全连续算子,则T在D上至少有一个不动点.

(1)

(2)

又因为D是有界集,所以存在以原点为心、以r>0为半径的开球B(0,r)⊂E,使得D⊂B(0,r).记Ω=B(0,r).则由式(2)可得

注2在Schauder不动点定理中,关于空间E的条件可减弱为:E是实线性赋范空间.此时,代替全连续算子延拓定理,利用Dugundji延拓定理即可证明,详见文献[3].

其次,利用全连续算子延拓定理连同Leray-Schauder度的切除性和边界值性质,给出Rothe不动点定理的新证明.

(3)

(4)

于是,由引理4可得

(5)

又由式(4)及Ω的选取知

于是,由引理2可得

此式连同式(5)隐含

更进一步,由式(3)和引理5,得到

注3定理1不能用定理2的证明方法来证明,这是因为在一般的Banach空间中的有界凸闭集D不一定有内点,从而即使T在D的边界上无不动点,但degLS(I-T,intD,0)仍可能无定义.

猜你喜欢

有界证法不动点
Riech型Edelstein不动点定理
指数有界双连续n阶α次积分C群的次生成元及其性质
一道数列不等式题的多种证法
一类抽象二元非线性算子的不动点的存在性与唯一性
R.Steriner定理的三角证法
一类具低阶项和退化强制的椭圆方程的有界弱解
活用“不动点”解决几类数学问题
浅谈正项有界周期数列的一些性质
不动点集HP1(2m)∪HP2(2m)∪HP(2n+1) 的对合
基于sub-tile的对称有界DNA结构自组装及应用