1.简介和序言
在过去的几十年里,非线性泛函分析中最吸引人的研究课题之一是求解分数阶微分方程和分数阶积分方程,这些方程可以分别适当地简化为标准微分方程和积分方程。本文旨在利用混合型压缩得到Volterra型分数阶积分方程的一个恰当解。为此,我们首先初始化结合线性不等式和非线性不等式的新的混合型压缩。
我们首先回顾一下我们应该有效使用的辅助功能:是所有非递减函数的集合在某种程度上
有和和收敛级数这样的话和对于和
每个称为-比较功能(参见[1,2]). 以下引理证明了此类辅助功能的可用性和功能:
柠檬 1 系列收敛于
收敛为0对于;
∧在0处连续;
对于任何
一路穿过纸,一双呈现一个完全度量空间如果没有另外提及。此外,这封信T型显示上的自映射.
在下文中,我们将阐述新混合收缩的定义:
定义 1 地图称为a型混合收缩Λ在里面Φ以便哪里和这样的话和哪里. Leu us强调了定义1中的一些特殊情况。
对于,和,用于我们得到了Reich-Rus-ch-irić类型的缩写:对于,其中参见[2,三,4]. 在上述声明中我们发现了Reich–Rus–Chic irić型收缩的特殊形式,对于. 如果、和,我们发现以下情况,为所有人,其中. 如果和,我们有一个坎南式收缩,为所有人,请参阅[5]. 如果和,我们有为所有人. 如果和,我们得到了Kannan类型的插值收缩:为所有人,其中,请参阅[6]. 如果和具有,然后为所有人它是Reich–Rus–Ch irić类型的内插收缩[7](有关其他相关的插值收缩类型映射,请参见[8,9,10,11]).
在本文中,我们提供了一些关于混合收缩(18)的不动点结果。最后,我们给出了一个具体的例子,并求解了一个Volterra分数型积分方程。
2.主要成果
我们的基本结果是
定理 1 假设一个自映射T是类型a的混合收缩。然后,T具有不动点ρ,对于任何,序列收敛到ρ,如果
- ()
T在ρ处连续;
- ()
或者,;
- ()
或者,.
证明。 我们将使用标准的Picard算法来证明定理中的主张。让由递归关系定义,,取任意一点并将其重命名为此后,我们假设事实上,很容易相反的情况是微不足道的,并终止证明。更准确地说,如果有以便,然后变成一个固定点T型. 现在,我们将审查案件和分别进行。我们首先考虑这个案子
根据给定的条件(18),我们发现哪里假设.在标签中进行初步估计(4)从右手边记住,我们发现矛盾。我们发现此外归纳起来,从上面的不等式中,我们推导出来自标签(7)并使用三角形不等式,我们有因此,构造序列柯西在吗.度量空间的完备性考虑到这一点,我们认为使得 现在,我们将指出是请求的固定点T型在给定的假设下。
假设持有,也就是说,T型是连续的。然后, 现在,我们假设持有,也就是说,.哪里作为,我们有哪里.自这是一个矛盾,也就是说,. 我们跳过了案件的细节因为这是案件的逐字证据事实上,唯一的区别在于自从不需要等于.
作为最后一步,我们将考虑这个案件此处,标签(18)和标签(三)成为为所有人,其中和.设置和在不等式中(10),我们发现假设对一些人来说因此,因此,不平等(11)产生这样的结果因此,我们得出结论:,这是一个矛盾。因此,我们有因此,是一个具有正项的非递增序列。基于以下简单观察,再加上一个基本消元,不等式(11)意味着为所有人由于不等式(13)等价于标签(6),通过遵循相应的行,我们得出迭代序列是柯西并收敛到也就是说,假设.自对于每个,通过出租和在(18)中,我们有出租在不等式中(14),我们得到,这是一个矛盾。那就是,. □ 推论 1 让T成为上的自映射。假设有这样的话哪里那么,如果满足以下任一条件,则存在T的不动点ρ - ()
T在该点ρ处是连续的;
- ()
或者,;
- ()
或者,;
定义 2 调用自映射TB型混合收缩,如果存在这样的话哪里, 这样的话和 注意类型的混合收缩A类和类型的混合收缩B类也称为类型的加权收缩A类和类型B类分别是。
作为定理1的推论,我们也有以下几点。
推论 2 让T成为上的自映射假设T是B型的混合收缩,或者以便哪里那么,如果满足以下任一条件,则存在T的不动点ρ - (i)
T在该点ρ处是连续的;
- (ii)
或者,;
- (iii)
或者,
推论 三。 让T成为上的自映射。假设:为所有人,其中 和然后,T有一个不动点ρ。 证明。 放入推论2,和 □
推论 4 让T成为上的自映射这样的话为所有人,其中那么,T有一个不动点ρ。 证明。 放入推论2,和 □
推论 5 让T成为上的自映射这样的话为所有人,其中. 那么,T有一个不动点ρ。
- (i)
T在该点是连续的;
- (ii)
或者,.
证明。 放入推论2,和
□
推论 6 让T成为上的自映射这样的话为所有人,其中那么T在X中有一个不动点。序列收敛到ρ。 - (i)
T在这一点上是连续的;
- (ii)
或者,.
证明。 放入推论2,和 □
推论2如下所示。
例子 1 选择(其中和为负实数)。采取
- 1
对于;
- 2
对于或;
- 三。
对于,考虑和对于.
对于,直接满足主要定理。因此,我们检查了这个案例请注意,没有这样的话也就是说,我们有,因此,推论5不适用。 使用(20),我们有即。,所以因此,结论4不适用。 结论6适用。事实上,对于,我们有,在这里,是T的不动点集。 3.Volterra分数阶积分方程的应用
分数阶薛定谔方程(FSE)被称为分数阶量子力学的基本方程。与标准薛定谔方程相比,它包含分数拉普拉斯算子,而不是通常的拉普拉斯算符。这种变化给波函数的行为带来了深刻的差异。Zhang等人[12]对具有谐波势的FSE中光束的传输进行了分析和数值研究。此外,Zhang等人[13]通过使用Dirac–Weyl方程,提出了一个真实的物理系统(蜂窝晶格)作为FSE系统的可能实现,而Zhang等人[14]使用-对称势。在分数阶微积分中,在本节中,我们研究一个非线性Volterra分数阶积分方程。 设置和在里面 ). 表示方式上的连续实值函数集J型.
现在,我们特别合并以下非线性Volterra分数阶积分方程(简称VFIE)为所有人,其中Γ是伽马函数,和是连续函数。VFIE(23)已经在分数微积分及其应用的文献中进行了研究,参见[15,16,17]. 在以下结果中,在一些假设下,我们确保了VFIE的解决方案的存在(23). 定理 2 假设
- (H1)
存在常量和使得为所有人; - (H2)
证明。 对于,考虑度量带上操作员 □ 显然,T型定义明确。让,然后针对每个,我们推断哪里对于.通过假设,.然后,对于,使用和.应用定理1,T型在中有一个固定点X(X),所以VFIE(23)在中有解决方案X(X). 4.结论
所得结果统一了一个定理中的几个现有结果。我们列出了一些后果,但很明显,我们的主要结果会带来更多后果。关于论文的长度,我们跳过了。