一类Hilfer型分数阶微分方程解的存在和唯一性

用Banach不动点定理和上下解方法研究了α(1<α <2)阶数和β(0≤β ≤1)类型Hilfer分数阶微分方程的解,给出了方程解的存在和唯一性,并通过例证验证了本文所得结果的有效性.     

完备度量空间上不动点定理的推广及应用

Banach在1922年证明了完备度量空间上压缩映射不动点的存在性。通过对Banach不动点定理条件的研究,给出了Banach压缩映像原理的推广,并提出Banach不动点定理在存在唯一性方面的应用。     

一类二阶泛函微分方程 x″(t)+f(t,x(g(t)))·Φ(x′(h(t)))=0的振动性

关于方程 x″(t)+f(t,x(g(t))·Φ(x′(h(t)))=0的振动性给出若干判别定理,判别准则均采用了形如 integral from n=1 to ∞ (f(t,c)dt),integral from n=1 to ∞ (tf(t,c)dt)的积分的敛散性.James.S.W.Wong 分别研究了方程 x″(t)+f(t,x(t))=0,x″(t)+a(t)f(x)g(x′)=0.笔者只要求Φ(y)>0,在其它条件相当情况下.推广了文[1]中相应结果.同时也推广了文[2]中定理1.而条件Φ(y)>0比文[2]中所给出的条件0相似文献   

一类二阶常微分方程组两点边值问题三个正解的存在性

考虑二阶常微分方程组两点边值问题三个正解的存在性,适当定义半序巴拿赫空间及其上的锥,并利用Legget-Williams不动点定理,建立二阶常微分方程组两点边值问题三个正解的存在性结果.     

非线性分数阶发展方程耦合系统的非局部柯西问题

在任意的~Banach~空间中,研究了非线性分数阶发展方程耦合系统非局部柯西问题的适应性.基于某些条件下的Banach压缩定理,非线性交错Leray-Schauder型Schaefer不动点定理,得到了非线性分数阶发展方程耦合系统柯西问题存在唯一mild解.     

分数阶微分方程反周期边值问题解的存在性

分数阶微分方程边值问题具有良好的理论价值和广泛的应用背景,一直吸引不少学者对其进行研究.反周期边值问题是边值问题中重要的一类.作者利用Krasnoselskii不动点定理和一些分析技巧,研究一类分数阶微分积分方程反周期边值问题,获得了反周期边值问题解存在的一个充分条件.与以往的结果相比较,论文中所得的条件容易验证,在一定程度上推广了已有的结论.     

一种新的大气消光系数边界值确定方法

本文以激光雷达测量机场跑道斜程能见度为应用背景,提出了一种基于不动点原理的大气消光系数边界值确定方法,将确定消光系数边界值的问题转化为求解函数不动点。首先在边界层底部选取参考点,假设一个消光系数边界值,在Klett反演算法的基础上,构建消光系数均值与边界值之间的函数关系。然后依据函数不动点存在性和唯一性的条件判断不动点...     

非线性分数阶微分方程奇异两点边值问题的解(英文)

本文讨论了一类非线性分数阶微分方程奇异有界边值问题解的存在性.微分算子是Riemann-Liouville导算子,并且非线性项依赖于低阶分数阶导数.本文的理论分析基于Schauder不动点定理,并举例论证了结论的有效性.     

命题μ-演算局部模型检测高效算法设计

命题μ-演算局部模型检测算法中,目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析,得到迭代计算的中间迭代值间满足的一组偏序关系,然后利用该偏序关系设计了一个局部模型检测算法,算法时间复杂度的指数部分为d/2,大大提高了算法的计算效率。