跳到内容
BY-NC-ND 3.0许可证 开放式访问 发布人:De Gruyter开放存取 2016年12月28日

拟上的一个Ulam稳定性结果-b条-类度量空间

  • Hamed H.Alsulami公司 电子邮件徽标 , 塞尔马·居利亚兹 , 埃尔达尔卡拉普讷尔 伊恩西·埃尔汉
来自日志开放数学

摘要

本文中的一类一般类型α-拟上的容许压缩映射-b条-定义了类度量空间。讨论了这类映射不动点的存在唯一性,并将结果应用于Ulam稳定性问题。得到了主要结果的各种结果,并给出了示例。

1简介和前言

函数方程的稳定性问题是由S.M.Ulam在1940年提出的一个问题引发的:“方程的解与给定方程稍有不同,必然与给定方程的解接近,这是真的吗?”D.H.Hyers的回答,发表于[1],开创了乌拉姆稳定性理论。本文利用不动点技术研究了Ulam稳定性结果。有关该主题的更多信息和结果,请读者参阅[2-4].

首先,我们在不动点理论的背景下给出了一组用于Ulam稳定性结果的工具。

概念α-Samet等人引入的容许映射[5]2012年是近年来不动点理论中最重要的推广之一。它是一个非常一般的概念,可以用于各种抽象空间。另一方面,b条-度量空间最近受到了相当大的关注,并与α可容许性他们也被证明是不动点理论中吸引人的研究之一。在他们最近的研究中,Bota等人[6]调查α——ψ-框架中类型-(b)的压缩映射b条-公制空间。在另一项工作中,Bilgili等人[7]已讨论αψ拟度量空间中的压缩映射,并证明了此类映射不动点的存在唯一性。最近,Gülyaz[8]提供了一些关于α-拟上的容许映射-b条-类似公制的空格。

在这项工作中α-一般类型的可容许压缩映射是在拟的上下文中考虑的-b条-讨论了类度量空间及其不动点的存在唯一性。

首先,我们定义了续集中要使用的一些基本概念。

Amini-Harandi于[9].

定义1.1

设X为非空集,γ:X×X[0, + ∞)是满足以下条件的映射

所有x,y,z的条件X:

(ML1)γ(x个,年)=0x个=y;

(ML2)γ(x个,y) =γ(y、 x个);

(ML3)γ(x个,年)γ(x、 z(z)) +γ(z(z),).

那么映射γ被称为度量类,并且对(十、 γ)称为类韵律空间(错位空间)

显然,在X与公制的条件一致,但γ(x个,x个)通常不需要为0。因此,度量空间总是类度量空间,但类度量空间一般不是度量空间。Alghamdi等人[10]结合了b条-最近度量空间和类度量空间引入了所谓的b条-类似度量的空间。

定义1.2

[10]).设X是非空集,设γb条:X(X)[0, + ∞)成为这样一种功能:

x、 y,z∈X和常数s≥1,满足以下条件:

(BML1) γb条(x、 年)=0x个=y;

(BML2)γb条(x、 年)= γb条(y、 x个);

(BML3)γb条(x、 年)[γb条(x、 z(z)) +γb条(z、 年)].

地图γb条称为b-metric-like和(十、 γb条)称为具有常数s的b-类度量空间

让(十、 γb条)成为b条-格律般的空间。对于任何x个X当r>0时,集合B(x、 对) = {y∈X: |γb条(x、 y)-γb条(x、 x个)|<r}被称为以x个半径r>0。

也是在最近,Zhu等人[11]定义了拟拟米空间的概念,证明了拟米空间上的一些不动点定理。接下来给出了类准米线的定义。

定义1.3

([11]).设X是非空集。映射ρ:X(X)[0, + ∞)被称为准计量类,如果

对于所有x,y,z∈X,

(QML1)ρ(x、 年)=0x=y;

(QML2)ρ(x、 z(z))ρ(x、 年)+ ρ(y、 z(z)).

这对(X,ρ)称为准度量空间

备注1.4

由于拟米类空间不需要对称条件,因此每当ρ(x、 年)=0我们可能有ρ(y、 x)≠0.因此,我们不使用(QML1),而是使用[12],

(M(M)L(左)1)ρ(x个,)=ρ(,x个)=0x个=

在他们对拟米类空间的结果之后,Zhu等人[13]合并b条-度量空间和拟度量类空间,并引入了拟的概念-b条-类似度量的空间。作者还给出了一些关于拟-b条-类似度量的空间。另一方面,也是最近的Klin eam和Suanoom[12]研究了拟上的循环Banach和Kannan型压缩映射-b条-格律般的。接下来我们给出拟的定义-b条-类似度量的空间。

定义1.5

([12]).非空集X上的拟b-矩阵类是函数ρb条:X×X[0, + ∞)这样的话

对于所有x,y,zX和常数s> 1,

(QML1)ρb条(x、 年) =ρb条(y、 x个) = 0 x=y;

(QML2)ρb条(x、 z(z))≤[ρb条(x、 z(z))+ ρb条(z、 年].

这对(Xρ,b条)称为具有常数s的拟b类米空间

灵感来自Klin-eam和Suanoom的工作[12]我们给出以下准-b条-类似度量。

示例1.6

例1.6。函数ρb条: × [0, ∞)定义为

对于所有x,y∈是一个准b-米级的常数s=2

ρb条(x个,)=|x个|2+|2x个+|2
示例1.7

功能:ρb条: x个ℝ → [0, ∞)定义为

ρb条(x个,)=|x个|4+|x个|2+2||2

对于所有x,y是一个准b-米级的使用常量= 8.

拟上的一些拓扑概念-b条-接下来定义类度量空间。

定义1.8

([13]).(十、 ρb条)是一个拟b类空间

1A序列n个}⊂据说X收敛到一点ξ ∈X当且仅当

n个ρb条(ξ,ξn个)=n个ρb条(ξn个,ξ)=ρb条(ξ,ξ)

2A序列n个}⊂如果m、 n个→ ∞ρb条(ξn个)和m、 n个→ ∞ρb条n个)存在且是有限的

3. (十、 ρb条)被认为是一个完全的拟b-度量类空间,当且仅当对于每个Cauchy序列n个}在X中存在一些ξ∈X,这样

n个ρb条(ξ,ξn个)=n个ρb条(ξn个,ξ)=ρb条(ξ,ξ)=,n个ρb条(ξ,ξn个)=,n个ρb条(ξn个,ξ)

4A序列η}C类如果X是0-Cauchy序列

,n个ρb条(ξn个,ξ)=,ρb条(ξ,ξn个)=0

5(X,ρb条)如果对于每个0-Cauchy序列η}在X中存在一个ξ ∈X,这样

n个ρb条(ξ,ξn个)=n个ρb条(ξn个,ξ)=ρb条(ξ,ξ)=,n个ρb条(ξ,ξn个)=,n个ρb条(ξn个,ξ)

6地图ƒ:ΧX在ξ0ϵX,如果每个ε>0中,存在δ>0这样f(Bο, δ))⊂Β0)).

上述定义清楚地表明,在-b条-类度量空间(十、 ρb条),每个0-柯西序列都是柯西序列,并且非常完整的拟-b条-类度量空间也是0-完全的。然而,请注意,这些说法的转换可能不是真的。

由于交换对称条件在拟度量型空间上是不必要的,因此我们需要回忆右柯西序列和左柯西序列以及右柯西和左完备定义。

定义1.9

(十、 ρb条)是一个拟b类空间

(i)A序列n个}在X中称为左柯西序列当且仅当每个ε>0存在一个正整数(ε)这样ρb条n个, ξ)<ε(对于所有n)m> N;

(ii)A序列n个}在X中称为右柯西序列当且仅当每个ε>0存在一个正整数(ε)这样ρb条n个, ξ)<ε,对于所有m≥n>n;

(iii)如果每个左柯西序列都是左完备的,则称拟b-矩阵类空间为左完备空间{ξn个}X是收敛的,

(iv)如果每个右柯西序列都是右完备的,则称拟b-矩阵类空间为右完备的n个}X是收敛的,

(五)拟b-矩阵空间是完备的当且仅当X中的每个Cauchy序列是收敛的

备注1.10

从定义1.9可以明显看出,序列n个}在拟b-类空间中是Cauchy当且仅当它同时是左-柯西和右-柯西,而拟b-型空间是完备的当且仅如果它是左完备和右完备

在下面的讨论中,我们将使用所谓的比较函数及其变体。这些功能由Berinde引入[14]和Rus[15]. 接下来我们给出比较的定义(c(c))-比较和(b条)-比较函数。应该提到的是贝林德[14]引入了(c(c))-比较函数,以研究由不动点方法生成的迭代序列的收敛特性,以及(b条)-要在上使用的比较函数b条-度量空间(请参见[16,17]详细信息)。

定义1.11

CF(参见[14, 15]). 比较函数是一个递增的映射φ: [0,+∞) [0,+∞)满足φn个(t吨)0中,n个→ ∞对于任何t∈ [0, ∞).

共因失效(参见[14])A类(c)-比较函数是函数φc(c): [0, +∞) [0, +∞)令人满意的

(c(c)1)φc(c)正在增加,

(c(c)2)存在k0ℕ, a∈(0,1)和一系列收敛的非负项k个=1v(v)k个这样的人φc(c)k个+1t吨φc(c)k个t吨+v(v)k个对于kk个0和任何t∈ [0, ∞).BCF(参见[16,17])对于实数s≥ 1(b) -比较函数是函数φb条: [0,+∞) [0,+∞)满足条件

(b条1)φb条,正在增加,

(b条2)存在k0ℕ,∈ (0, 1)和a收敛的非负项级数k个=1v(v)k个这样的话k个+1φb条k个+1t吨k个φb条k个t吨+v(v)k个,如果o个第页k个k个0和任何t∈ [0, ∞).

在后面,我们用Φ表示比较函数的类(c(c))-通过Φ比较函数c(c)以及(b条)-通过Φ比较函数b条显然(b条)-比较函数减少为(c(c))-比较函数秒=1.此外(c(c))-比较函数是一种比较函数。

在进一步的讨论中,我们需要以下基本属性。

引理1.12

(贝林德[14],俄罗斯[15]).对于比较函数φ: [0, +∞) [0, +∞)以下保持:

(1)每个迭代φk个φk的≥ 1,也是一个比较函数;

(2)φ在0;

(3)φ(t吨)<t,对于任何t>0

引理1.13

([17]).tora(b)-比较函数φb条: [0, +∞) [0, +∞)以下保持:

(1)系列k个=0k个φb条k个t吨(0对任何t收敛∈ [0, +∞);

(2)函数b: [0, +∞) [0, +∞)由定义b条t吨=k个=0k个φb条k个t吨,t吨[0,)增加并持续于0

有关比较函数和示例的更多详细信息,请参阅[14,15].

最后,我们回顾一下α-Samet引入的容许映射[5].

定义1.14

A映射T:XX称为α-可容许ξ,n∈X我们有

(1)α(ξ,η)1α(T型ξ,T型η)1,

其中α:Χ ×X[0, ∞)是给定的函数

有关以下方面的最新结果α-容许映射,请参见[18,19]. 在他们的工作中Samet等人[5],已研究α — ψ-压缩映射及其不动点。

最近,Gülyaz[8]已定义α — ψ-拟框架下的压缩映射-b条-类似度量的空间。

定义1.15

(十、 ρb条)是一个拟b-度量类空间,并且:XX是一个给定的映射。我们说,如果存在两个函数a,则T是α-ψ-压缩映射:Χ×X[0, ∞)和ψ∈Φb条这样所有人ξ、 n∈十、 我们有

(2)α(ξ,η)ρb条(T型ξ,T型η)ψ(ρb条(ξ,η))

古利亚兹[8]还证明了不动点的存在性α — ψ-拟上的压缩映射-b条-类似度量的空间。

定理1.16

(X、 ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:XX是α-ψ-压缩映射。假设也是这样

(i)T是α-可受理;

(ii)存在ξ0X,这样α(T型ξ0, ξ0) ≥ 1α(ξ0ξ0) ≥ 1;

(iii)T是连续的,

那么T有一个固定点

定理1.17

(十、 ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:XX是α-ψ-压缩映射。还假设

(i)T为α-容许值;

(ii)存在ξ0X使得α(Tξ0, ξ0)≥ 1和α(ξ0, Τ ξ0)≥ 1;

(iii)如果{ξn个}是中收敛于ξ且满足α的序列(ξn个+1, ξn个)≥ 1α(ξn个, ξn+1个) ≥ 1对于所有n

那么,存在一个子序列{ξn个(k个)}属于{ξn个}这样α(ξ, ξn个(k个)))≥ 1α (ξn个(k个), ξ)≥ 1对于所有k

那么T有一个固定点

2完全拟的存在唯一性定理-b条-类度量空间

在本节中,我们将介绍我们的主要结果。我们集中研究了一类广义不动点的存在唯一性α-容许压缩映射。

定义2.1

(十、 ρb条)是一个具有常数s的拟b-度量类空间≥ 1并设α:Χ×X[0, ∞)和

φb条∈ Φb条是两个函数

(i)α-φb条收缩映射T:XX属于类型(A类)如果

(3)α(ξ,η)ρb条(T型ξ,T型η)φb条(M(M)(ξ,η)),如果o个第页ξ,ηX,

哪里

M(M)(ξ,η)=最大值{ρb条(ξ,η),ρb条(T型ξ,ξ),ρb条(T型η,η),14[ρb条(T型ξ,η)+ρb条(T型η,ξ)]}

(ii)α-φb条收缩映射T:XX为类型(B)如果

(4)α(ξ,η)ρb条(T型ξ,T型η)φb条(N个(ξ,η)),如果o个第页ξ,ηX,

哪里

N个(ξ,η)=最大值{ρb条(ξ,η),12[ρb条(T型ξ,ξ)+ρb条(T型η,η)],14[ρb条(T型ξ,η)+ρb条(T型η,ξ)]}

(iii)α-φb条收缩映射T:XX为类型(C类)如果

(5)α(ξ,η)ρb条(T型ξ,T型η)φb条(K(K)(ξ,η)),如果o个第页ξ,ηX,

哪里

K(K)(ξ,η)=最大值{ρb条(ξ,η),ρb条(T型ξ,ξ),ρb条(T型η,η)}
备注2.1

注意ρb条,个)≤Κ,个)≤Ν,η)≤Μ,个)为所有人ξ,个Χ

我们的第一个定理给出了类(a)中映射存在不动点的条件。

定理2.3

设(X,ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:XX是α-φb条类型的压缩映射(A类)满足以下要求:

(i)T是α-容许的;

(ii)存在ξ0X使α(Τξ00)≥ 1和α0, Τξ0)≥ 1;

(iii)T是连续的;

那么T有一个不动点

证明

像往常一样,我们取ξ0X这样的话α(Τξ0, ξ0)≥1和α(ξ0,T型ξ0)≥1并构造序列{ξn个}作为

ξn个+1=T型ξn个对于n个N个

请注意,如果对于某些n个0≥0我们有ξn个0=ξn个0+1然后进行证明,即。,ξn个0是的固定点Τ.假设ξn个≠ξn个+1为所有人n个≥ 0. 由于准b-类度量空间中缺乏对称条件,我们将证明序列{ξn个}既有左也有右——柯西。

从条件来看()和(ii(ii)),我们有

(6)α(ξ1,ξ0)=α(T型ξ0,ξ0)1α(T型ξ1,T型ξ0)=α(ξ2,ξ1)1,

(7)α(ξ0,ξ1)=α(ξ0,T型ξ0)1α(T型ξ0,T型ξ1)=α(ξ1,ξ2)1,

或者,一般来说

(8)α(ξn个+1,ξn个)1α(ξn个,ξn个+1)1n个N个

关于(8),带有ξ的收缩条件(3)=ξn个+1n个=ξn个成为

(9)ρb条(ξn个+1,ξn个)=ρb条(T型ξn个,T型ξn个1)α(ξn个,ξn个1)ρb条(T型ξn个,T型ξn个1)φb条(M(M)(ξn个,ξn个1)),

哪里

M(M)(ξn个,ξn个1)=最大值{ρb条(ξn个,ξn个1),ρb条(T型ξn个,ξn个),ρb条(T型ξn个1,ξn个1),14[ρb条(T型ξn个,ξn个1)+ρb条(T型ξn个1,ξn个)]}=最大值{ρb条(ξn个,ξn个1),ρb条(ξn个+1,ξn个),ρb条(ξn个,ξn个1),14[ρb条(ξn个+1,ξn个1)+ρb条(ξn个,ξn个)]}

观察中的最后一个学期Μn个, ξn-1个),根据三角形不等式

(10)14[ρb条(ξn个+1,ξn个1)+ρb条(ξn个,ξn个)]14[ρb条(ξn个+1,ξn个)+ρb条(ξn个1,ξn个)+ρb条(ξn个,ξn个+1)ρb条(ξn个+1,ξn个)]14[ρb条(ξn个+1,ξn个)+ρb条(ξn个,ξn个1)+ρb条(ξn个,ξn个+1)+ρb条(ξn个+1,ξn个)]=14[2ρb条(ξn个+1,ξn个)+ρb条(ξn个,ξn个1)+ρb条(ξn个,ξn个+1)]最大值{ρb条(ξn个+1,ξn个),ρb条(ξn个,ξn个1),ρb条(ξn个,ξn个+1)},

因此,要么Μn个,ξn-1个)=最大值{ρb条n+1个n个), ρb条n个, ξn-1个)}或n个, ξn-1个)≤ρb条n个, ξn+1个). 现在,我们将检查所有三个案例。

案例1。假设Μn个, ξn-1个)= ρb条n+1个n个)对一些人来说n个≥1。ρb条n+1个n个)>0,从(9)开始,我们有

ρb条(ξn个+1,ξn个)φb条(M(M)(ξn个,ξn个1))=φb条(ρb条(ξn个+1,ξn个))<ρb条(ξn个+1,ξn个)

这是一个矛盾。因此,对于所有人来说n个≥1或M(M)n个, ξn-1个)= ρb条n个, ξn-1个)或M(M)n个, ξn-1个) ≤ρb条(ξn个, ξn+1个).

案例2。假设Μn个, ξn个-1)= ρb条n个,ξn个-1)对一些人来说n个≥ 1. 关于φb条∈ Φb条和(9),我们得到

ρb条(ξn个+1,ξn个)φb条(M(M)(ξn个,ξn个1))φb条(ρb条(ξn个,ξn个1))<ρb条(ξn个,ξn个1)

对于所有n≥1。归纳起来,我们得到

(11)ρb条(ξn个+1,ξn个)φb条n个(ρb条(ξ1,ξ0)),如果o个第页n个1

反复应用三角形不等式(QBML公司2)关于(11)k个≥1,我们得到

(12)ρb条(ξn个+k个,ξn个)[ρb条(ξn个+k个,ξn个+1)+ρb条(ξn个+1,ξn个)]2[ρb条(ξn个+k个,ξn个+2)+ρb条(ξn个+2,ξn个+1)]+ρb条(ξn个+1,ξn个)k个ρb条(ξn个+k个,ξn个+k个1)+k个1ρb条(ξn个+k个1,ξn个+k个2)++2ρb条(ξn个+2,ξn个+1)+ρb条(ξn个+1,ξn个)k个φb条n个+k个1(ρb条(ξ1,ξ0))+k个1φb条n个+k个2(ρb条(ξ1,ξ0))++φb条n个(ρb条(ξ1,ξ0))=1n个1n个+k个1φb条n个+k个1(ρb条(ξ1,ξ0))+n个+k个2φb条n个+k个2(ρb条(ξ1,ξ0))++n个φb条n个(ρb条(ξ1,ξ0))

定义

(13)S公司n个=第页=0n个第页φb条第页(ρb条(ξ1,ξ0))对于n个1

我们获得

(14)ρb条(ξn个+k个,ξn个)1n个1[S公司n个+k个1S公司n个1],n个1,k个1

由于假设ξn个≠ξn个+1为所有人n个和引理1.13,我们得出如下结论:第页=0第页φb条第页(ρb条(ξ1,ξ0))收敛于某些S公司≥ 0. 因此,n个ρb条(ξn个+k个,ξn个)=0或者,换句话说,为了m>n

(15),n个ρb条(ξ,ξn个)=0

案例3。假设Μn个, ξn个-1)≤ρb条n个, ξn个+1)对一些人来说n个≥ 1. 利用以下事实φb条∈Φb条和不等式(9),我们得到

(16)ρb条(ξn个+1,ξn个)φb条(M(M)(ξn个,ξn个1))φb条(ρb条(ξn个,ξn个+1))<ρb条(ξn个,ξn个+1)

为所有人n个≥ 1. 另一方面,如果我们把ξ=ξn个η =ξn个+1在(3)中,考虑到(8),我们发现

(17)ρb条(ξn个,ξn个+1)=ρb条(T型ξn个1,T型ξn个)α(ξn个1,ξn个)ρb条(T型ξn个1,T型ξn个)φb条(M(M)(ξn个1,ξn个)),

哪里

M(M)(ξn个1,ξn个)=最大值ρb条(ξn个1,ξn个),ρb条(T型ξn个1,ξn个1),ρb条(T型ξn个,ξn个),14[ρb条(T型ξn个1,ξn个)+ρb条(T型ξn个,ξn个1)]=最大值ρb条(ξn个1,ξn个),ρb条(ξn个,ξn个1),ρb条(ξn个+1,ξn个),14[ρb条(ξn个,ξn个)+ρb条(ξn个+1,ξn个1)]

为所有人n个≥ 1. 注意,应用三角形不等式(QBML公司2)到最后一学期Μn个-1, ξn个)我们有

(18)14[ρb条(ξn个,ξn个)+ρb条(ξn个+1,ξn个1)]14[ρb条(ξn个,ξn个+1)+ρb条(ξn个+1,ξn个)+ρb条(ξn个+1,ξn个)+ρb条(ξn个,ξn个1)]=14[ρb条(ξn个,ξn个+1)+2ρb条(ξn个+1,ξn个)+ρb条(ξn个,ξn个1)]最大值{ρb条(ξn个,ξn个+1),ρb条(ξn个+1,ξn个),ρb条(ξn个,ξn个1)}=ρb条(ξn个,ξn个+1),

因为我们在案例3中。另一方面,从(16)中我们可以看出

ρb条(ξn个,ξn个1)ρb条(ξn个1,ξn个),ρb条(ξn个+1,ξn个)ρb条(ξn个,ξn个+1)

因此,要么M(M)n个-1, ξn个) ≤ρb条n个, ξn+1个)或M(M)n个-1, ξn个) =ρb条n个-1, ξn个).

如果Μn个-1, ξn个) ≤ρb条n个, ξn+1个)对一些人来说n个ℕ,自ρb条n个+1,ξn个)>0,不等式(17)意味着

ρb条(ξn个,ξn个+1)φb条(M(M)(ξn个1,ξn个))φb条(ρb条(ξn个,ξn个+1))<ρb条(ξn个,ξn个+1),

这是一个矛盾。

因此,我们应该M(M)n-1个, ξn个)= ρb条n-1个,ξn个)为所有人n个≥ 1. 不等式(17)变为

ρb条(ξn个,ξn个+1)φb条(M(M)(ξn个1,ξn个))φb条(ρb条(ξn个1,ξn个))<ρb条(ξn个1,ξn个)

为所有人n个≥1,使用以下事实φb条∈Φb条

通过归纳,我们得到

(19)ρb条(ξn个,ξn个+1)φb条n个(ρb条(ξ0,ξ1)),为所有人n个1

因此,结合(16)和(19)我们推断

(20)ρb条(ξn个+1,ξn个)φb条n个(ρb条(ξ0,ξ1)),为所有人n个1

由于(QBML2),加上(20)k个≤1,我们得到

ρb条(ξn个+k个,ξn个)[ρb条(ξn个+k个,ξn个+1)+ρb条(ξn个+1,ξn个)]2[ρb条(ξn个+k个,ξn个+2)+ρb条(ξn个+2,ξn个+1)]+ρb条(ξn个+1,ξn个)k个ρb条(ξn个+k个,ξn个+k个1)+k个1ρb条(ξn个+k个1,ξn个+k个2)++2ρb条(ξn个+2,ξn个+1)+ρb条(ξn个+1,ξn个)k个φb条n个+k个1(ρb条(ξ0,ξ1))+k个1φb条n个+k个2(ρb条(ξ0,ξ1))++φb条n个(ρb条(ξ0,ξ1))=1n个1n个+k个1φb条n个+k个1(ρb条(ξ0,ξ1))+n个+k个2φb条n个+k个2(ρb条(ξ0,ξ1))++n个φb条n个(ρb条(ξ0,ξ1))

定义

(21)n个=第页=0n个第页φb条第页(ρb条(ξ0,ξ1))对于n个1

然后,使用(21),我们得到

ρb条(ξn个+k个,ξn个)1n个1[n个+k个1n个1],n个1,k个1

使用以下事实:第页=0第页φb条第页(ρb条(ξ0,ξ1))收敛到某些𝒬 ≤ 0,我们推断,limn个→∞ρb条n+k, ξn个)=0,这意味着m>n,

(22),n个ρb条(ξ,ξn个)=0

因此,在所有可能的情况下,我们得出以下结论:序列{ξn个}是左柯西序列。

为了证明这也是正确的柯西,我们继续如下。

设ξ=ξn个η =ξn个+1在(3)中。使用(8),我们得到

(23)ρb条(ξn个,ξn个+1)=ρb条(T型ξn个1,T型ξn个)α(ξn个1,ξn个)ρb条(T型ξn个1,T型ξn个)φb条(M(M)(ξn个1,ξn个))

哪里

M(M)(ξn个1,ξn个)=最大值{ρb条(ξn个1,ξn个),ρb条(T型ξn个1,ξn个1),ρb条(T型ξn个,ξn个),14[ρb条(T型ξn个1,ξn个)+ρb条(T型ξn个,ξn个1)]最大值ρb条(ξn个1,ξn个),ρb条(ξn个,ξn个1),ρb条(ξn个+1,ξn个),14[ρb条(ξn个,ξn个)+ρb条(ξn个+1,ξn个1)]

关于不平等(18),我们有

14[ρb条(ξn个,ξn个)+ρb条(ξn个+1,ξn个1)]最大值{ρb条(ξn个,ξn个+1),ρb条(ξn个+1,ξn个),ρb条(ξn个,ξn个1)},

因此,要么

(24)M(M)(ξn个1,ξn个)=最大值{ρb条(ξn个1,ξn个),ρb条(ξn个,ξn个1),ρb条(ξn个+1,ξn个)},

n个-1, ξn个)≤ρb条n个, ξn个+1)为所有人n个≥1.我们将分别讨论这四个案例。

案例一假设M(M)n个-1, ξn个)≤ρb条n个, ξn个+1)对一些人来说n个≥ 1. 那么不等式(23)意味着

(25)ρb条(ξn个,ξn个+1)φb条(M(M)(ξn个1,ξn个))φb条(ρb条(ξn个+1,ξn个))<ρb条(ξn个,ξn个+1)

这是一个矛盾,因为ρb条n个, ξn个+1) > 0.

案例二。如果是一些n个≥1我们有M(M)n个-1, ξn个)= ρb条n个+1, ξn个),则不等式(23)变为

(26)ρb条(ξn个,ξn个+1)φb条(M(M)(ξn个1,ξn个))φb条(ρb条(ξn个+1,ξn个))<ρb条(ξn个+1,ξn个)

回顾(9)和(10),即:,

(27)ρb条(ξn个+1,ξn个)φb条(M(M)(ξn个,ξn个1))

哪里

M(M)(ξn个,ξn个1)最大值{ρb条(ξn个,ξn个1),ρb条(ξn个+1,ξn个),ρb条(ξn个,ξn个+1)},

因为根据假设

最大值{ρb条(ξn个1,ξn个),ρb条(ξn个,ξn个1),ρb条(ξn个+1,ξn个)}=ρb条(ξn个+1,ξn个)ρb条(ξn个,ξn个+1),

然后,不等式(26)和(27)得出

ρb条(ξn个,ξn个+1)ρb条(ξn个+1,ξn个)φb条(M(M)(ξn个,ξn个1))φb条(ρb条(ξn个+1,ξn个))<ρb条(ξn个+1,ξn个)

由于φb条。这显然是不可能的,因为ρb条n个+1, ξn个)>0,我们以矛盾告终。

案例三假设Μn个-1, ξn个)= ρb条n个-1, ξn个)对于某些n≥1。ρb条(ξn个-1, ξn个)>0,从(9)中,我们得到

ρb条(ξn个,ξn个+1)φb条(M(M)(ξn个1,ξn个))φb条(ρb条(ξn个1,ξn个))<ρb条(ξn个1,ξn个)

为所有人n个≥ 1. 递归地,我们推导出

(28)ρb条(ξn个,ξn个+1)φb条n个(ρb条(ξ0,ξ1)),n个1

反复应用三角形不等式(QBML公司2)关于(28),我们得到了所有k>0中,

(29)ρb条(ξn个,ξn个+k个)[ρb条(ξn个,ξn个+1)+ρb条(ξn个+1,ξn个+k个)]φb条n个(ρb条(ξ0,ξ1))+2φb条n个+1(ρb条(ξ0,ξ1))+++k个1φb条n个+k个2(ρb条(ξ0,ξ1))+k个φb条n个+k个1(ρb条(ξ0,ξ1))=1n个1[n个φb条n个(ρb条(ξ0,ξ1))+++n个+k个2φb条n个+k个2(ρb条(ξ0,ξ1))+n个+k个1φb条n个+k个1(ρb条(ξ0,ξ1))

回顾(21),我们看到

ρb条(ξn个,ξn个+k个)1n个1[n个+k个1n个1],n个1,k个1

因此,我们有,林n个→∞ρb条n个, ξn+k)=0或,换言之m>n,

,n个ρb条(ξn个,ξ)=0

案例四假设M(M)n个-1, ξn个)= ρb条n个-ξn个-1)对一些人来说n个≥ 1. 然后,(23)给出

(30)ρb条(ξn个,ξn个+1)φb条(M(M)(ξn个1,ξn个))φb条(ρb条(ξn个,ξn个1))<ρb条(ξn个,ξn个1)

为所有人n个≥ 1. 现在,重写(9)和(10)n个-1我们有

(31)ρb条(ξn个,ξn个1)=ρb条(T型ξn个1,T型ξn个2)α(ξn个1,ξn个2)ρb条(T型ξn个1,T型ξn个2)φb条(M(M)(ξn个1,ξn个2))

哪里

M(M)(ξn个1,ξn个2)最大值{ρb条(ξn个,ξn个1),ρb条(ξn个1,ξn个2),ρb条(ξn个1,ξn个)},

显然,最大值可以是ρb条(ξn个, ξn个−1)或ρb条n个−1, ξn个−2).

第一种可能性是,如果M(M)n个−1, ξn个−2)≤ρb条n个, ξn个−1)对一些人来说n个≥1,结果为

ρb条(ξn个,ξn个1)φb条(M(M)(ξn个1,ξn个2)φb条(ρb条(ξn个,ξn个1))<ρb条(ξn个,ξn个1),

这是一个矛盾。因此,我们应该Μn个−1, ξn个−2)≤ρb条n个−1, ξn个−2)为所有人n个≥ 1. 然后不等式(31)得出

(32)ρb条(ξn个,ξn个1)φb条(M(M)(ξn个1,ξn个2)φb条(ρb条(ξn个1,ξn个2))<ρb条(ξn个1,ξn个2),

为所有人n个≥1。因此,我们推断

(33)ρb条(ξn个,ξn个1)φb条n个1(ρb条(ξ1,ξ0))为所有人n个1

如果我们把不等式(30)和(33)结合起来,我们就可以得到

(34)ρb条(ξn个,ξn个+1)<ρb条(ξn个,ξn个1)φb条n个1(ρb条(ξ1,ξ0)),

为所有人n个≥ 1. 正如案例2中所做的那样,当对每个k个≥1,我们得到

ρb条(ξn个,ξn个+k个)[ρb条(ξn个,ξn个+1)+ρb条(ξn个+1,ξn个+k个)]ρb条(ξn个,ξn个+1)+2[ρb条(ξn个+1,ξn个+2)+ρb条(ξn个+2,ξn个+k个)]ρb条(ξn个,ξn个+1)+2ρb条(ξn个+1,ξn个+2)+++k个1ρb条(ξn个+k个2,ξn个+k个1)+k个ρb条(ξn个+k个1,ξn个+k个)φb条n个1(ρb条(ξ1,ξ0))+2φb条n个(ρb条(ξ1,ξ0))+++k个1φb条n个+k个(ρb条(ξ1,ξ0))+k个φb条n个+k个2(ρb条(ξ1,ξ0))1n个2n个1φb条n个1(ρb条(ξ1,ξ0))++n个+k个φb条n个+k个(ρb条(ξ1,ξ0))+n个+k个2φb条n个+k个2(ρb条(ξ1,ξ0))1n个2[S公司n个+k个2S公司n个2],n个1,k个1,

哪里S公司n个定义见(13)。因此,我们最终选择了limn个→∞ρb条n个, ξn+k)=0,或等效地,用于m>n,

,n个ρb条(ξn个,ξ)=0

我们得出结论{ξn个}是一个右柯西序列,因此也是一个柯西序列。此外,它是0-完全拟中的0-Cauchy序列b条-类度量空间(十、 ρb条). 因此,存在ρb条X这样,对于m>n我们有

n个ρb条(ξn个,ξ)=n个ρb条(ξ,ξn个)=ρb条(ξ,ξ)=0=,n个ρb条(ξ,ξn个)=,n个ρb条(ξn个,ξ)

通过连续性T型,我们获得

ξ=n个ξn个+1=n个T型ξn个=T型n个ξn个=T型ξ,

也就是说,ξ是Τ

定理2.4

添加条件

(U型)对于T不动点的每对ξ和η,α(ξ, η)≥ 1α(η, ξ)≥ 1.

定理2.3的陈述我们得到了不动点的唯一性

证明

根据定理2.3,我们知道映射Τ至少有一个固定点。为了显示唯一性,我们假设η是的另一个固定点T型,因此ξη.从条件(U型)我们有,α(ξ, η)≥1,因此,不动点的压缩条件ξη也就是说,

ρb条(ξ,η)=ρ(T型ξ,T型η)α(ξ,η)ρb条(T型ξ,T型η)φb条(M(M)(ξ,η)),

哪里,

M(M)(ξ,η)=最大值{ρb条(ξ,η),ρb条(T型ξ,ξ),ρb条(T型η,η),14[ρb条(T型ξ,η)+ρb条(T型η,ξ)]}=ρb条(ξ,η)

这就产生了

ρb条(ξ,η)φb条(ρb条(ξ,η))<ρb条(ξ,η),

这意味着ρb条n个, η)=0.以类似的方式,通过更改ξη在收缩状态下,我们得到

ρb条(η,ξ)=ρ(T型η,T型ξ)α(η,ξ)ρb条(T型η,T型ξ)φb条(M(M)(η,ξ)),

哪里,

M(M)(η,ξ)=最大值{ρb条(η,ξ),ρb条(T型η,η),ρb条(T型ξ,ξ),14[ρb条(T型η,ξ)+ρb条(T型ξ,η)]}=ρb条(η,ξ),

因此,

ρb条(η,ξ)φb条(ρb条(η,ξ))<ρb条(η,ξ)

因此,我们推断ρb条(η, ξ)=0,因此,ξ=η这就完成了定理的唯一性证明。

关于备注2.2,我们可以立即说明以下结果。

推论2.5

设(X,ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:XX是一个α-φb条类型(B)或类型(C)的压缩映射满足以下条件:

(i)T为α-容许值;

(ii)存在ξ0X使α(Τ ξ0, ξ0)≥ 1和α(ξ0, Τξ0)≥ 1;

(iii)T是连续的;

(iv)对于T不动点的每对ξ和η,α(ξ, η)≥ 1和α(η, ξ)≥ 1.那么T有一个唯一的不动点

我们还陈述了通过使用函数获得的主要结果的另一个结果α(x,y) = 1.

推论2.6

(十、 ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:XX是满足以下条件的连续映射

(35)ρb条(T型ξ,T型η)φb条(M(M)(ξ,η)),如果o个第页ξ,ηX,

哪里

M(M)(ξ,η)=最大值{ρb条(ξ,η),ρb条(T型ξ,ξ),ρb条(T型η,η),14[ρb条(T型ξ,η)+ρb条(T型η,ξ)]}

那么T有一个唯一的不动点

推论2.7

(X、 ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:XX是满足以下条件的连续映射

(36)ρb条(T型ξ,T型η)φb条(N个(ξ,η)),如果o个第页ξ,ηX

哪里

N个(ξ,η)=最大值{ρb条(ξ,η),12[ρb条(T型ξ,ξ)+ρb条(T型η,η)],14[ρb条(T型ξ,η)+ρb条(T型η,ξ)]}

(37)ρb条(T型ξ,T型η)φb条(K(K)(ξ,η)),如果o个第页ξ,ηX,

哪里

K(K)(ξ,η)=最大值{ρb条(ξ,η),ρb条(T型ξ,ξ),ρb条(T型η,η)}

那么T有一个唯一的不动点

我们还指出Gülyaz的主要结果[8],即定理1.16,从我们的主要定理2.3得出。此外,通过服用α(x、 年)=1,我们推导出另一个推论。

推论2.8

(十、 ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:XX是满足以下条件的连续映射

(38)ρb条(T型ξ,T型η)φb条(ρb条(ξ,η)),如果o个第页ξ,ηX,

其中φb条∈Φb条那么T有一个唯一的不动点

最近的一些研究表明,通过适当选择函数α,部分序空间上的不动点结果和循环压缩映射的不动站结果可以从α-容许映射(参见[19]详细信息)。利用这些研究的思想,我们在下面给出了一些定理及其结果。

我们回顾了拟上循环压缩映射的定义b条-类韵律空间最初由Kirket.al引入[20].

定义2.9

设X是非空集,A和β是X的非空子集。映射T:AU型BA类U型如果T为循环(A类)C类β和T(B)⊂A类

我们将类型的广义循环收缩定义如下。

定义2.10

(十、 ρb条)是一个具有常数s的拟b-度量类空间≥ 1并让φb条∈ Φb条是一个给定的函数。广义循环压缩映射T:AU型Β A类U型β是满足以下条件的循环映射

(39)ρb条(T型ξ,T型η)φb条(K(K)(ξ,η)),如果o个第页ξA类,ηB,

哪里

K(K)(ξ,η)=最大值{ρb条(ξ,η),ρb条(T型ξ,ξ),ρb条(T型η,η)}

接下来给出了上面定义的广义循环收缩的不动点定理。

定理2.11

(十、 ρb条)是一个具有常数s的0-完备拟b-矩阵空间≥ 1.假设T:A类U型BA类U型B是广义循环压缩映射。那么T在a中有一个唯一的不动点Β

证明

定义α:XX如下所示。

α(ξ,η)=1如果ξA类,ηB0o个t吨小时e(电子)第页w个e(电子)

然后满足推论2.5的所有条件,并且Τ有一个唯一的固定点。

最后,我们观察到[12]是定理2.11的结果。的确,通过选择φb条(t吨)=k个t吨并注意到ρb条, η)≤Μ, η)Klin-eam和Suanoom的主要成果[12]紧接着定理2.11。

我们以示例结束本节。

示例2.12

让X=[–1, 1]和ρb条, η)= |ξ– η|2+|2ξ+η|2.然后ρb条是一个类似于X的准b度量,常数s=2。定义T型ξ=ξ4.然后我们看到了

ρb条(T型ξ,T型η)=ξ41η42+2ξ4+η42=116ξη2+116ξ+η2=116(ρb条(ξ,η)φb条(第页b条(ξ,η)),

其中φb条(t吨)=kt,带116k个<12显然是a(b)-比较函数。根据推论2.8°有一个独特的

ξ不动点=0

示例2.13

让X=[0, 1]和ρb条, η)===========================================================|ξ– η|2+2|ξ|2+ |η|2.然后ρb条是一个类似于X的准b度量,常数s=2。定义T型ξ=18ξ2e(电子)ξ2在不丧失一般性的情况下,假设ξη. 那么我们有e(电子)ξ2e(电子)η21n个[0,1]

ρb条(T型ξ,T型η)=18ξ2e(电子)ξ218η2e(电子)η22+218ξ2e(电子)ξ22+18η2e(电子)η22164|ξ2e(电子)η2η2e(电子)η2|2+132|ξ2e(电子)ξ2|2+164|η2e(电子)η2|2=164|ξ2η2|2|e(电子)η2|2+132|ξ2|2|e(电子)ξ2|2+164|η|2|2|e(电子)η2|2164|ξη|2|ξ+η|2+132|ξ|2|ξ|2+164|η|2|η|2464|ξη|2+132|ξ|2+164|η|2116(|ξη|2+2|ξ|2+|η|2)=116ρb条(ξ,η)

选择a(b)-比较函数φb条(t吨)=kt,其中116k个<12我们看到映射T满足推论2.8的条件。因此,T有一个唯一的不动点ξ=0

3乌拉姆-海尔斯稳定性

在本节中,我们将主要结果应用于Ulam-Hiers稳定性问题。我们首先回顾度量空间上Ulam-Hyers稳定性的经典定义。

定义3.1

设(X,d)是度量空间且T:XX是操作员。不动点方程

(40)x个=T型x个,x个X

当且仅当存在递增函数φ时,称为广义Ulam-层稳定b条: [0, ∞) [0, ∞),在0和φ处连续b条(0) = 0对于每个ε>0对于不动点方程的每个ε-解(40),也就是说,对于每个ξ*十、 满足不等式

(41)d日(T型ξ,ξ)ε,

存在一个解决方案x*第X个,共X个(40)这样的话

(42)d日(x个,ξ)φb条(ε),

lfφb条(t吨):=所有t的ct∈ [0, ∞),其中c>0中,不动点方程(40)据说是Ulam Hyers稳定的

我们建议读者参考博塔·鲍里塞努(Bota-Boriceanu)和彼得鲁塞尔(Petrusel)[21],拉扎尔[22]和Rus[23],[24]对于某些Ulam-Hyers,不动点问题的稳定性结果。

在准-b条-度量类空间上述定义可以如下所述。

定义3.2

让(X,φb条)是一个拟b-矩阵类空间和T:XX是操作员。不动点方程

(43)x个=T型x个,x个X

当且仅当存在递增函数φ时,称为广义Ulam-层稳定b条: [0, ∞) [0, ∞),在0和φ处连续b条(0) = 0对于每个ε>0对于不动点方程的每个ε-解(43)中,也就是ξ*X,满足不等式

(44)ρb条(T型ξ,ξ)εn个d日ρb条(ξ,T型ξ)ε

存在一个解决方案x*第X个,共X个(43)这样的话

(45)ρb条(x个,ξ)φb条(ε)n个d日ρb条(ξ,x个)φb条(ε)

如果φb条(t): =所有t的ct∈ [0, ∞),其中c>0中,不动点方程式(43)据说是乌拉姆·海尔斯的马厩

事实上,准-b条-类度量空间可以引入两种类型的稳定性,即右稳定性和左稳定性。我们在下文中对这些新概念进行了定义。

定义3.3

(十、 ρb条)是一个拟b-矩阵类空间和T:XX是操作员。固定点方程式(43)称为广义右Ulam-层稳定当且仅当存在递增函数φb条: [0, ∞) [0,φb条),在0和φ处连续b条(0)=0对于每个ε>0对于每个ξ*,满足不等式

(46)ρb条(ξ,T型ξ)ε

存在一个解决方案x*第X个,共X个(43)这样的话

(47)ρb条(ξ,x个)φb条(ε)

如果φb条(t吨):=所有t的ct∈ [0, ∞),其中c>0中,不动点方程式(43)据说是对的乌兰·海尔斯稳定

类似地,不动点方程(43)称为广义左Ulam-层稳定当且仅当存在递增函数φb条: [0, ∞) [0, ∞),在0和φ处连续b条(0) = 0对于每个ε>0对于每个ξ*,满足不等式

(48)ρb条(T型ξ,ξ)ε

存在一个解决方案x*第X个,共X个(43)这样的话

(49)ρb条(x个,ξ)φb条(ε)

如果φb条(t吨):=所有t的ct∈ [0, ∞),其中c>0中,不动点方程(43)据说是乌拉姆-海尔斯的马厩

显然,如果固定点方程式(43)是广义右Ulam-层和广义左Ulam-H层稳定的,则是广义Ulam-h层稳定的。

我们还回顾了适定不动点问题的定义,并将其应用于拟-b条-类似度量的空间。

定义3.4

(十、 ρb条)是一个拟b-矩阵类空间和T:XX是一个映射。不动点问题(43)对于T,如果满足以下条件,则称其为适定性:

(i)T在x中有唯一的不动点x*;

(ii)对于任何序列{ξn个}以X表示,以便

n个ρb条(ξn个,T型ξn个)=n个ρb条(T型ξn个,ξn个)=0,

一个有

n个ρb条(ξn个,x个)=n个ρb条(x个,ξn个)=0

灵感来自乌拉姆·霍尔斯稳定性问题和Petra等人[25]我们陈述并证明了以下结果。

引理3.5

(十、 ρb条)成为0-具有常数s的完备拟b-类度量空间≥ 1和T:XX是一个映射。让函数β: [0, ∞) [0, ∞),ß(第页):=r-sφb条(第页)严格地递增。假设推论2.8的所有假设都满足。然后是固定点方程式(43)广义右Ulam-Hyers稳定

证明

根据推论2.8,有一个独特的x个*X这样的话x*=T x*也就是说,x*X是不动点的解方程式(43).让ε >0并让ξ*X满足

ρb条(ξ,T型ξ)ε

使用收缩条件(38)x=ξ*y=x*,以及我们得到的三角形不等式

ρb条(ξ,x个)[ρb条(ξ,T型ξ)+ρb条(T型ξ,x个)]=[ρb条(ξ,T型ξ)+ρb条(T型ξ,T型x个)][ε+φb条(ρ(ξ,x个))]

然后回顾β我们有

ρb条(ξ,x个)φb条(ρ(ξ,x个))=β(ρb条(ξ,x个))ε,

或者,

ρb条(ξ,x个)β1(ε),

从那以后β是连续的,严格地增加,然后,β——1也在不断增加β——1(0) = 0. 因此方程式(43)广义左Ulam-Hyers稳定。

以下关于右乌拉姆-霍尔稳定性的引理可以用类似的方法证明,所以我们只给出了一个声明,而没有证明。

引理3.6

(十、 ρb条)成为0-具有常数s的完备拟b类介质空间≥ 1和T:XX是映射。让函数β: [0, ∞) [0, ∞),ß(r):=r-sφb条(第页)严格地递增。假设推论2.8的所有假设都满足。然后是固定点方程式(43)广义左Ulam-Hyers稳定

利用上述引理,我们可以证明以下定理。

定理3.7

(十、 ρb条)成为0-具有常数s的完备拟b类介质空间> 1和T:XX是一个映射。设函数β: [0, ∞) [0, ∞),ß(r):=r-sφb条(第页)严格地递增。假设推论2.8的所有假设都满足。然后保持以下状态

(a)固定点方程式(43)广义Ulam-Hyers稳定

(b)如果n个}是X中的一个序列,因此== 0x*是T的不动点,那么不动点问题(43)姿势优美

(c)如果G:XX是一个映射,使得存在η>0具有

(50)ρb条(T型ξ,G公司ξ)η,n个d日ρb条(G公司ξ,T型ξ)ηξX,

那么对于G的任何不动点y*,我们有

(51)ρb条(x个,)β1(η)
证明

(a) 通过引理3.5和引理3.6,不动点方程式(43)广义右和左Ulam-Hyers稳定。因此,它是广义的乌拉姆·霍尔斯稳定的。

(b) 让{ξn个}成为一个序列X使得limn个→∞ρb条n个,T型ξn个)=n个→∞ρb条(T型ξn个, ξn个)=0并让x个*是唯一的固定点T型.利用收缩条件和三角形不等式,我们得到

ρb条(ξn个,x个)[ρb条(ξn个,T型ξn个)+ρb条(T型ξn个,x个)]=[ρb条(ξn个,T型ξn个)+ρb条(T型ξn个,T型x个)][ρ(ξn个,T型ξn个)+,φb条(ρb条(ξn个,x个))],

为所有人n个ℕ. 因此,我们有,

β(ρb条(ξn个,x个))=ρb条(ξn个,x个)φb条(ρb条(ξn个,x个))ρb条(ξn个,T型ξn个)

为所有人n个ℕ. 自lim以来n个→∞ρb条n个,T型ξn个)=0,我们得到

n个β(ρb条(ξn个,x个))=0

因此

(52)n个ρb条(ξn个,x个)=0

另一方面ξ=x*η = ξn个三角形不等式产生

ρb条(x个,ξn个)[ρb条(x个,T型ξn个)+ρb条(T型ξn个,ξn个)]=[ρb条(T型x个,T型ξn个)+ρb条(T型ξn个,ξn个)][φb条(ρb条(x个,ξn个))+ρb条(T型ξn个,ξn个)],

为所有人n个ℕ. 因此,

β(ρb条(x个,ξn个))=ρb条(x个,ξn个)φb条(ρb条(x个,ξn个))ρb条(T型ξn个,ξn个),

对于所有人和关于limn个→∞ρb条(T型ξn个, ξn个)=0,我们得到

n个β(ρb条(x个,ξn个))=0

因此,

(53)n个ρb条(x个,ξn个)=0

结果,(52)和(53)中的极限表明不动点问题(43)是适定的。

(c) 为了展示定理的最后一部分,我们假设G:X公司X是否存在映射η >0

具有

(54)ρb条(T型ξ,G公司ξ)η,n个d日ρb条(G公司ξ,T型ξ)ηξX,

然后让年*是…的固定点G公司然后,根据三角形不等式,我们得到

ρb条(x个,)=ρb条(T型x个,G公司)[ρb条(T型x个,T型)+ρb条(T型,G公司)][φb条(ρb条(x个,))+ρb条(T型,G公司)]

那么我们有

β(ρb条(x个,))=ρb条(x个)φb条(ρb条(x个,))ρb条(T型,G公司)η,

因此

(55)ρb条(x个,)β1(η)

以类似的方式,通过改变x个*年*在上面的讨论中,我们得到

(56)ρb条(,x个)β1(η),

这就完成了证明。

4结论

这项研究对不动点理论的主要贡献是定理2.3中给出的存在唯一性结果。这个定理为各种抽象空间上的一大类压缩映射提供了存在唯一性条件。事实上,准-b条-格律般的空间覆盖了b条-度量空间,准-b条-公制空间,b条-类韵律空间以及b条-度量空间、一般的拟度量空间和度量空间。

然而,本研究最重要的部分是定义左右乌拉姆层稳定性,以获得一些新的乌拉姆-层稳定性结果。这些结果在应用数学的许多领域都有应用,特别是在微分和积分方程中。目前正在进行一项与本结果在常微分方程理论中的应用有关的研究。

竞争性利益

作者声明,他们没有相互竞争的利益。

作者的贡献

所有作者对这项工作的贡献都是平等的。所有作者都阅读并批准了最后的手稿。


电子邮件:

工具书类

[1]Hyers D.H.,关于线性泛函方程的稳定性,Proc。美国国家科学院。科学。美国,1941、27、222-22410.1073/pnas.27.4.222在谷歌学者中搜索公共医学公共医学中心

[2]Hyers D.H.,Isac G.,Rassias T.M.,多变量函数方程的稳定性,Birkhäuser Verlag,Boston,Inc.,马萨诸塞州波士顿,1998年10.1007/978-1-4612-1790-9在谷歌学者中搜索

[3]Brillouet-Bellout N.,Brzdek J.,Cieplinski K.,《关于乌拉姆型稳定性的一些最新发展》,《抽象与应用分析》,2012,2012,文章ID71693610.1155/2012/716936在谷歌学者中搜索

[4]Brzdek J.,Cadariu L,Cieplinski K.,不动点理论和Ulam稳定性,函数空间杂志,2014,2014,文章ID:82941910.1155/2014/829419在谷歌学者中搜索

[5]Samet B.,Vetro C,Vetro.P.,不动点定理α -ψ-压缩型映射,非线性分析,2012,75,2154-216510.1016/j.na.2011.10.14在谷歌学者中搜索

[6]Bota M.,Karapinar E.,Mlesnite O.,Ulam-Hayers不动点问题的稳定性结果α -ψ-中的压缩映射(b)-公制空间,《抽象与应用分析》20132013,文章ID:82529310.1155/2013/825293在谷歌学者中搜索

[7]比尔吉利。,卡拉皮纳尔E.,萨米特β。,广义α-ψ拟度量空间中的压缩映射及相关不动点定理,不等式与应用杂志20142014,文章ID:3610.1186/1029-242X-2014-36在谷歌学者中搜索

[8]Gülyaz S.,不动点a-ψ拟上的压缩映射-b条-类度量空间,J.非线性与凸分析,2016,17,1439-144710.1186/s13663-016-0507-6号在谷歌学者中搜索

[9]阿米尼·哈兰迪。,类度量空间,部分度量空间与不动点,不动点理论应用。,2012年、2012年,文章编号:204186/10687-1812-2012在谷歌学者中搜索

[10]Alghamdi M.A.,Hussain N.,Salimi P.,类b-度量空间上的不动点和耦合不动点定理,不等式与应用杂志,2013,2013,文章ID:40210.1186/1029-242X-2013-402在谷歌学者中搜索

[11]朱磊,朱春霞,陈家福,斯托亚诺维奇。,拟米空间中广义^-拟压缩的多维不动点,不等式与应用杂志,2014,2014,文章ID:2710.1186/1029-242X-2014-27在谷歌学者中搜索

[12]Klin-eam C、Suanoom C、Dislocated准-b条-度量空间与循环压缩的不动点定理,不动点理论应用。,2015,2015,文章ID:7410.1186/s13663-015-0325-2在谷歌学者中搜索

[13]朱C.X.,陈C.F.,张X.,拟-b条-类度量空间,《不等式与应用杂志》,20142014,文章ID:43710.1186/1029-242X-2014-437在谷歌学者中搜索

[14]Berinde V,Contrac ii Generalízateši Aplica ii,第2卷,Editura Cub出版社,罗马尼亚贝亚马雷,1997年在谷歌学者中搜索

[15]Rus I.A.,《广义收缩和应用》,克鲁吉大学出版社,克鲁吉-纳波卡,罗马尼亚,2001年在谷歌学者中搜索

[16]Berinde V,拟度量空间中的算子序列和不动点,Mathematica,1996,41,23-27在谷歌学者中搜索

[17]Berinde V,拟度量空间中的广义压缩,不动点理论研讨会,预印本3第93卷,Babes-Bolyai大学,罗马尼亚Cluj-Napoca,1993,3-9在谷歌学者中搜索

[18]Alsulami H.H.,Gülyaz S.,Karapinar E.,Erhan i.M.,一类α-容许压缩的不动点定理及其在边值问题中的应用,抽象与应用分析,2014,2014,文章ID:18703110.1155/2014/187031在谷歌学者中搜索

[19]Karapinar E.,Samet B.,广义α-ψ压缩型映射和相关不动点定理及其应用,抽象与应用分析,2012,2012,文章ID79348610.1155/2012/793486在谷歌学者中搜索

[20]Kirk W.A.,Srinivasan P.S.,Veeramani P.,满足循环压缩条件的映射的不动点,不动点理论,2003,4,79-89在谷歌学者中搜索

[21]Bota-Boriceanu M.F,彼得鲁塞尔。,运算方程的乌拉姆·霍尔斯稳定性,Anale Stinitifice ale Universitatii,2011,57,65-7410.2478/v10157-011-0003-6在谷歌学者中搜索

[22]Lazár V.L.,部分微分包含的Ulam-Hayers稳定性,微分方程定性理论电子期刊,2012,21,1-1910.14232/ejqtde.2012.1.21在谷歌学者中搜索

[23]Rus I.A.,度量不动点定理的理论:理论和应用相关性,不动点理论,2008,9,541-559在谷歌学者中搜索

[24]Rus I.A.,操作方程的Ulam稳定性备注,不动点理论,2009,10,305-320在谷歌学者中搜索

[25]Petru T.P.、PetruşelΑ、。,姚J.C.,通过非自算子实现操作方程和包含的乌拉姆·霍尔斯稳定性,台湾数学杂志,2011,15,2195-221210.11650/twjm/1500406430在谷歌学者中搜索

收到:2016-8-8
认可的:2016-10-10
在线发布:2016-12-28
印刷出版:2016-1-1

©2016 Alsulami版权所有由De Gruyter Open出版

本作品根据Creative Commons Attribution-NonCommercial-NoDerivatives 3.0许可证授权。

于2024年5月10日从下载https://www.degruyter.com/document/doi/10.1515/math-2016-0097/html
滚动到顶部按钮