微分方程解的存在区间的确定

从六个方面说明了确定一阶微分方程解的存在区间的方法.     

具有重值分担的亚纯函数

在考虑重值分担的情况下,得到一个具有三个分担值的亚纯函数的唯一性定理及若干推论,推广并改进了仪洪勋、Lah iri等人的结果.     

分数阶模糊时滞神经网络模型解的存在唯一性和有限时间稳定性

本文介绍了一类分数阶模糊时滞神经网络模型.利用压缩映射原理,讨论了带时滞的分数阶神经网络模型解的存在性和唯一性,并根据Gronwall不等式结合分数阶微分方程的性质,证明了分数阶神经网络模型平衡点的有限时间稳定性,给出了有限时间稳定性的判断准则.最后,给出数值仿真说明了理论结果的正确性.     

ZnO衍射花样180°不唯一性的消除

晶体电子衍射花样涉及到界面、位错等缺陷的晶体学性质测定时,需要设法消除180°不唯一性这一问题.应用Tecnai G~2 F20场发射透射电镜精密的倾斜样品台使晶体做有系统的倾转,观察衍射花样的变化并加以分析,从而消除了ZnO粉末单晶花样的180°不唯一性.     

粘弹性波动方程的H1-Galerkin时空混合有限元分裂格式

构造一维粘弹性波动方程的H¹-Galerkin时空有限元分裂格式.这种新的分裂格式在时空两个方向同时利用有限元离散,具有H¹-Galerkin混合有限元方法和时空有限元方法的优点,如在不受LBB相容性条件限制的同时能够高精度逼近流体的压力和达西速度,有限元空间可以利用不同次数的多项式空间,能同时得到时间和空间两个变量的形式高阶精度等.通过构造时空投影算子并讨论其相关逼近性质,证明了解的存在唯一性和稳定性,给出混合时空有限元解的误差估计,给出数值算例验证了理论推导结果的合理性和算法的有效性,并和传统H¹-Galerkin方法做比较,得到了更小的误差和超收敛阶.     

一个分数阶生长-抑制系统的参数反问题

本文研究一个分数阶生长-抑制线性系统模型及其参数反问题.首先利用Laplace逆变换得到正问题解的唯一存在性.其次,考虑一个利用内点观测数据确定微分阶数与衰减率的反问题,应用极值原理在Laplace像空间中证明反演的唯一性.最后,基于正问题的有限差分解,应用同伦正则化算法进行数值反演.计算结果表明算法的收敛性及反问题的数值稳定性.     

一个捕食椭圆型方程组正解的存在性、唯一性与稳定性

研究一个修正的Leslie-Gower和 Holling-Type II型的捕食模型的椭圆型方程组的齐次Dirichlet边值问题的正解. 给出了存在性、 唯一性、不存在性、分支和稳定性. 特别地, 得到了连接半平凡解和极限方程的唯一正解的连通分支.     

可数多个Brown运动驱动的带跳随机微分方程

本文研究了由可数个Brown运动驱动的带跳随机微分方程.利用线性逼近(即Picard迭代)方法,在非Lipsclritz系数的条件下得到该类方程的解的存在性及唯一性.