一类非线性四阶双曲方程扩展的混合元方法的超收敛分析

对一类非线性四阶双曲方程利用双线性元Q_(1)及Nedelec's元建立一个扩展的协调混合元逼近格式.首先证明了逼近解的存在唯一性.其次,基于上述两个单元的高精度结果,给出了插值和投影之间的误差估计,再利用对时间t的导数转移技巧和插值后处理技术,在半离散和全离散格式下分别导出了原始变量u和中间变量v=-△u在H~1模及中间变量q=▽u,σ=-▽(△u)在(L~2)~2模意义下单独利用插值和投影所无法得到的具有O(h~2)和O(h~2+τ~2)阶的超收敛结果.最后通过数值算例,表明逼近格式是行之有效的.这里,h和τ分别表示空间剖分参数及时间步长.     

奇摄动分数阶微分方程的渐近解

本文研究了一类奇摄动非线性分数阶微分方程初值问题.利用伸长变量构造出解的形式展开式,并利用微分不等式理论,证明了解的一致有效的渐近式.所得的结果具有较好精度的近似解.     

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

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

Sobolev方程一个新的H~1-Galerkin混合有限元分析

研究了Sobolev方程的H~1-Galerkin混合有限元方法.利用不完全双二次元Q_2~-和一阶BDFM元,建立了一个新的混合元模式,通过Bramble-Hilbert引理,证明了单元对应的插值算子具有的高精度结果.进一步,对于半离散和向后欧拉全离散格式,分别导出了原始变量u在H~1-模和中间变量p在H(div)-模意义下的超逼近性质.     

具有时滞的时间离散反应扩散系统行波解的存在性

本文利用上下解和交叉迭代方法研究一类具有时滞的时间离散反应扩散系统行波解的存在性.所得结果能很好地应用到时间离散的竞争系统{u_n(x)-u_(n-1)(x)=d_1?~2/?x~2u_n(x)+r_1u_n(x)[1-a_1u_n(x)-b_1u_(n-t1)(x)-c_1u_(n-t2)(x)],u_n(x)-u_(n-1)(x)=d_2?~2/?x~2u_n(x)+r_2u_n(x)[1-a_2u_n(x)-b_2u_(n-t3)(x)-c_2u_(n-t4)(x)]中,而研究其行波解存在性转化为寻找一对合适的上下解.这些结果推广了已有的一些结果.     

一类四阶抛物方程一个低阶非协调混合元方法的超收敛分析

对一类四阶抛物方程利用EQ_1~(rot)元和零阶Raviart-Thomas元提出一个低阶非协调混合元逼近格式.首先证明半离散格式逼近解的存在唯一性.其次,基于上述两个单元的高精度分析,利用对时间变量的导数转移技巧并借助插值后处理技术,在半离散格式下得到了原始变量u,中间变量v=—△u的H~1-模意义下以及流量=—▽u的L~2-模意义下O(h~2)阶的超逼近性质和超收敛结果.最后,证明向后Euler全离散格式逼近解的存在唯一性,并通过采用一个新的分裂技巧,导出u和v在H~1-模意义下以及在L~2-模意义下关于h的无条件的O(h~2+τ)阶的超逼近性质和超收敛结果.这里,h及τ分别表示空间剖分参数和时间步长.     

Besov空间上Riemann-Liouville型重分数布朗单的弱收敛[英文]

本文研究Besov空间上Riemann-Liouville型重分数布朗单的弱收敛问题.分别利用平面上的Poisson过程和两列独立的Riemann-Liouville型重分数布朗运动的部分和,构造了Riemann-Liouville型重分数布朗单的弱极限定理.     

一类带有分数阶微分边值条件的分数阶微分方程在奇异的和非奇异的情况下的唯一正解 [英文]

在这篇文章中,我们研究下列奇异的和非奇异的分数阶微分方程边值问题D^{\alpha}_{0+}u(t)+f(t, u(t))=0, t\in (0,1), 3<\alpha \leq4, u(0)=0, D^{\alpha-1}_{0+}u(0)=0, D^{\alpha-2}_{0+}u(0)=0, D^{\alpha-3}_{0+}u(1)=0.通过计算得到格林函数,通过应用半序集上的不动点定理和u_{0}凸算子不动点定理,得到正解的存在性和唯一性。     

带阻尼项的非线性分数阶微分方程的振动性[英文]

本文研究一类带阻尼项的非线性分数阶微分方程的振动性问题. 利用Riemann-Liouville微积分、Riccati变换及不等式的方法, 获得带阻尼项的非线性微分方程振动性的充分条件, 推广了关于分数阶微分方程振动已有的结果.     

求解车辆路径问题的离散蝙蝠算法

根据车辆路径问题的数学模型,分析了它的具体特征,从而对BA的操作算子又进行了重新定义,设计了求解VRP问题的离散蝙蝠算法,并通过实例测试将离散蝙蝠算法与其他算法进行比较,验证了该算法求解VRP问题的有效性与可行性.