完备度量空间中四个映象的一个新的不动点定理

目的为了降低公共不动点定理中对映象对相容性的要求,扩展不动点定理的应用范围。方法利用度量空间中映象对相容和次相容的条件进行研究。结果在完备度量空间建立了一个新的公共不动点定理。结论结果表明:完备度量空间中四个映象在如下压缩条件下,x,y∈X,有d(Sx,Ty)≤f[d(Sx,Ax),d(Ty,By)] ad(Sx,By) bd(Ty,Ax) cd(Ax,By),其中a,b,c∈[0,∞)且a b c<1,f:[0,∞)×[0,∞)→[0,∞);可以把相容性条件部分地放宽到次相容的情况,推广和统一了已有文献的相关结果。     

映象对的不动点和周期点

本文讨论了如下类型的压缩映象对: φ(d(Sx,Ty))≤a1d(x,y)+a2[d(x.Sx)+ d(y,Ty)]+a3[d(y.Sx)+d(x.Ty)]得到了一个新结果,推广和改进了Meir,keeler等人的结果     

交换映射的不动点定理

文献〔1〕和〔2〕分别证明了如下: 定理:令S和T是完备度量空间(X,d)到自身的交换映射,对所有x,y∈X,满足不等式 d(Sx,Ty)《k·max{d(x,y),d(x,Ty),d(y,Sx),d(x,Sx)d(y,Ty)}其中0《k<1,且不等式 Sup{d(S~(r 1)T~nx,S~rT~nx),d(S~rT~(n 1)x,S~rT~nx):r,n=0,1,2…}<∞对某些特殊的x∈X成立,则S和T有唯一的公共不动点z,而且,z是S和T的唯一不动点。定理2 令S和T是完备度量空间(X,d)到自身的映射,对所有的x,y∈X满足不等式     

2—距离空间中扩张型映象的不动点定理

木文以下假定(X,ρ)为完备的2—距离空间,并简记为 X。为简便计,关于2—距离空间及其 Cauchy 序列等定义可参阅引文[1]或[2]。下而直接给出本文的结果。定理1 设 T:X→X 为满足下述条件的扩张映象,即存在常数 h>1,对 Vx,y∈X,及 Va∈X,(1)ρ(Tx,Ty,a)≥hρ(x,y,a)如果 T 为满射,则 T 在 X 中存在唯一不动点.     

一致L-Lipschitz的渐近伪压缩非自映象不动点的迭代逼近

Chidume首次提出渐近非扩张非自映象、一致L-Lipschitz非自映象的定义,并证明了所引入的迭代序列强收敛于渐近非扩张非自映象的不动点.该文引入渐近伪压缩非自映象的概念,并对一致L-Lipschitz的渐近伪压缩非自映象T提出了具误差的修改的Ishikawa迭代序列{xn}.设K是实Banach空间E的收缩核,P是从E到K上的非扩张的收缩映象.若存在严格增加函数φ:[0,∞)→[0,∞),φ(0)=0,(E)j(xn+1-x*)∈J(xn+1-x*)使得〈T(PT)n-1xn+1-T(PT)n-1x*,j(xn+1-x*)〉≤kn‖xn+1-x*‖2-φ(‖xn+1-x*‖),(A)n≥1,x*是T的不动点,在对参数的一些限制条件下,本文证明了迭代序列{xn}强收敛于非自映象T的不动点x*,其目的是把对渐近伪压缩映象的迭代结果推广到渐近伪压缩非自映象上,从而推广了以前的结果.     

关于非唯一不动点的一些结果

引 PachPatlc(1979)对轨道完备度量空间(X,d)上的轨道连续映射T证明了一些非唯一不动点定理,这里T满足下面CIRIC型条件: min{〔d(Tx,Ty)」2,d(x,夕)d(Tx,T夕),rd(g,Ty)〕2} 一min{d(x,Tx)d(y,T夕),d(x,T夕)d(y,Tx)}(口d(x,Tx)d(g,Tg)(1)其中任意x,y〔X,常数q〔(0,1)。 在这篇文章中,我们得到了下面CIRIC型映射(2)的一些非唯一不动点定理,并且推广了PaehPatte的全部结果。 。in{〔d(Tx,T,)〕2,d(x,夕)d(Tx,Ty),d(x,y)d(y,T穿),d(x,Tx)d(Tx,T百), 「d(,,Ty)1“}一min{d(x,Tx)d(,,T,),d(x,T万)d(,,Tx)} (住max{d(劣,Tx)d(夕,…     

紧距离空间内的某些不动点定理

§1 引言Chen 和Shih 在〔1〕内建立了如下不动点定理:定理1 设T 是紧距离空间(X,d)的自映射,如果对一切x,yeX,x≠y 成立(1)d(Tx,Ty)相似文献   

2——距离空间中的平均非扩张映象不动点存在定理

1963年 G(?)hler 在文献〔1〕中引入2—距离空间,1976年 Isékj 等在〔2〕中首先讨论了2—距离空间中压缩映象不动点定理,之后许多作者对2—距离空间的映象不动点定理进行了讨论,将 Banach 空间中的映象不动点定理推广到2—距离空间中.本文讨论2—距离空间中的平均非扩张映象不动点,得到一些不动点存在定理,将〔4〕中重要结论定理1推广到2—距离空间中.定义 T 是2—距离空间(X,d)的自映象,若对一切 x,y∈X,和每个 a∈X,有     

C'iriC'型映射的不动点定理

设T是一距离空间(X,d)的自映射,对某α∈(0,1)和对一切x,y∈X 成立(1)min{d(Tx,Ty),d(x,Tx),d(y,Ty)}—min{d(x,Ty),d(y,Tx)}≤αd(x,y).C'iriC'首先在适当假设下对上述映射证明了某些不动点定理.Ise'ki 和Kasahara 已将〔1〕的结果推广到L(?)空间.最近Achari 将〔1〕的结果推广到了多值映射和Lal;Das 将〔1〕的结果改进并推广到了2(?)距离空间.本文目的是分别在L(?)空间和2(?)距离空间内将上述已知结果进一步改进并推广到交换型     

非Lipshitz一般集值变分不等式的广义投影算法

设K是实Hibert空间H的非空闭凸子集,T:H→2H为集值映象,g:H→H为单值映象且Kg(H)。所谓一般集值变分不等式问题,即是指,求x*∈H,使得g(x*)∈K,w∈T(x*)且〈w,g(y)-g(x*)〉≥0,g(y)∈K。在求解以上一般集值变分不等式中,投影算法是常用的算法,但是传统的投影算法需集值映象T关于Hausdoff距离是Lipschtz的。首先,在不需要集值映象T关于Hausdoff距离是Lipschtz的情况下,建立了求解一般集值变分不等式的广义投影算法:第0步:取数列{ρ}j使得0ρj1,∑!j=0ρj=+!,∑!j=0ρj2+!.取g(x0)∈K,令j:=0。第1步:令vj∈T(xj),如果vj=0,则停止,此时xj为问题的解。如果vj≠0,则找wj使得〈vj,g(y)-g(xj)〉+〈wj,g(y)-g(xj)〉≥0,g(y)∈K。如果wj=0,则停止,此时xj是问题的解;否则,进入第2步。第2步:计算xj+1使得g(xj+1)=PK[g(xj)+ρjwj];令j←j+1,回到第1步。然后,在{w}j有界和集值映象T为g-强伪单调的条件下,证明了由该算法产生的序列{x}j强收敛于一般集值变分不等式的解。最后,对广义投影算法作一些修正,保证算法中的序列{w}j是有界的。     

完备度量空间公共不动点定理

1.引言近年,Ciric开拓了著名的Banach压缩映射原理,证明了关于度量空间(X,d)的映射T的某些不动点定理,其中T对于一切x,y∈X,满足形如 d(Tx,Ty)≤P·max{d(x,y),d(x,Tx),d(y,Ty),d(y,Tx),d(x,Ty)}的条件,其中0≤P<1。本文将开拓他的结果,并证明某些不动点定理。至于有关的结果,我们参考了Yeh〔2,3〕。     

关于(次)相容映象的公共不动点定理

本文给出了次相容映象的概念,得到了四个关于(次)相容映象的公共不动点定理,它们统一和发展了文献[1—6]中的主要结果。定义集X上的两个自映象f,g移为次相容的C(?){t|f(t)=g(t)}(?){t|fg(t)=gf(t)} 定理1 设S,T是距离空间(X,d)上的自映象对,A,B是(ε,δ)—S,T—压缩的,若存在x_0∈x,使在A,B下X_0的S,T—迭代序列{y}有一个聚点W,S或T在点W存在逆象,且(A,S),(B,T)次相容,则A,B,S和T存在唯一公共不动点。     

距离空间的一个公共不动点定理

引入了渐近正则映象对概念．在适当条件下证明了完备距离空间中渐近正则映象对公共不动点的存在定理． 定理1设T,S是连续的渐近正则映象对,且满足如下条件： ①存在φ∈Ф1,使得d（Tx,Sy）≤φ（D（x,y））,x,y∈X;②d（Tx,Sy）〈D（x,y）, z,y ∈X且x≠y． 那么T和S有唯一的公共不动点．     

一个公共不动点定理的推广

Brian Fisher在[1]中证明了如下定理。定理1:设S和T是完备度量空间(X,ρ)到自身的连续映照,则S和T在X中有公共不动点当且仅当存在一个X到SX∩TX的连续映照A,它与S和T可交换,并且(?)x,y∈X,满足不等式: ρ(Ax,Ay)≤αρ(Sx,Ty) (1)这里0<α<1,并且实际上S、T和A有唯一的公共不动点。 Zhang Guang lu在[2]中把这个定理推广到如下形式: 定理2 设S和T是完备度量空间(X,ρ)到自身的连续映照,则S和T在X中有公共不动点当且仅当存在一个X到SX∩TX的连续映照A,它与S和T可交     

减弱定理条件拓宽应用范围

<正> 在微积分中,为解决含参量积分的求导与积分顺序可交换的问题,教科书上多采用下述定理1与定理2。 定理1 若函数f(x,y)与f_y(x,y)在R[a,b;c,d]上连续,则函数φ(y)=integral from n=a to b(f(x,y)dx)在[c,d]上可导,且 φ′(y)=integral from n=a to b(f_y(x,y)dx) (1)     

关于几类压缩映象间的相互关系

设(X,d)是一度量空间,T是映(X,d)到(X,d)的映象.T称为具Lipschitz常数C∈(0,1)的Banach压缩映象,如果对一切的x,y∈X,有(I)d(Tx,Ty)≤Cd(x,y).Banach压缩映象原理在近代数学的许多分枝所起的重要作用是众所周知的。近年来Banach压缩映象的概念和Banach压缩映象原理已为一些作者所推广。Edelstein     

非齐次边值条件下一类静态梁方程的正解

讨论带导数项的方程 y( 4) (x) =f(x ,y(x) ,y′(x) ,y″(x) ,y (x) )在非齐次边值条件 y(0 )=a ,y(1) =b ,y″(0 ) =c ,y″(1) =d下正解的存在性 ,其中a≥ 0 ,b≥ 0 ,c≤ 0 ,d≤ 0 .假定 f在零点次线性增长 ,在无穷远点超线性增长 ,则上述问题当max{a ,b ,-c ,-d}充分小时有非负解存在 ,当max{a ,b ,-c ,-d}充分大时无非负解存在 .     

一类新型的非线性压缩映射的不动点定理

在完备的度量空间X中,讨论了一类新型的在满足特定压缩条件ρ(Tx,Ty)≤hmax{ρ(x,y),ρ(xTx),ρ(y,Ty),1/2[ρ(x,Tx)+ρ(y,Ty)]}(0h1)下的自映射.通过构造迭代序列,证明了此类算子在空间X中不动点的存在唯一性,并给出了相应的误差估计不等式.丰富了非线性压缩映射的不动点理论.     

伪度量空间中第七类压缩型映象的不动点定理

通过将度量空间定义中的三角不等式条件减弱为d(x,y)≤Md(x,z)+d(z,y)对非空集合X中的所有x,y,z成立,其中,M≥1是一个常数,引入了伪度量空间,并通过实例说明伪度量空间是对度量空间的真推广。在完备的伪度量空间中,证明了第七类压缩型映象存在唯一不动点,并且,其迭代序列收敛于此唯一不动点。进一步,对第六类压缩型映象给出了迭代序列逼近于不动点的误差估计。     

一个四阶非线性微分方程李稚普诺夫函数的构造及其全局稳定性

Ponzo 关于四阶非线性方程x+a(z)x+b(x,(?))(?)+c(?)+d(x)=0(0.1)得到了以下结果[1]:定理0.1:如果 a(z),b(x,y),c(y),d(x)满足以下条件:(1)a(z)≥a>0,(2)b(x,y)≥β>0,(3)c(y)/y≥r>0,(4)0ε≥0,其中ε≥(?)[(?){(αδ/r)(A_1(z)/z-α)+c(y)/y-r}],(6)c(y)/y-rd′(x)/δ+(r/2αδ)d″(x)/y-1/y(?)b_x(x,u)udu≥0,(0.2)(7)ab(x,y)-c′(y)-(αδ/r)(A_1(z)/z)-6/2>0 (0.3)(8)当|x|→∞,D(x)→∞则(0.1)的零解全局渐近稳定。