讨论了求解椭圆型Fredholm偏积分微分方程(PIDE)的有效多网格有限差分方案。 该方案将PIDE问题的二阶精确有限差分离散化与包括Fredholm算子的快速多级积分在内的多网格方案结合在一起,从
论文研究-一类可修的人机系统解的渐近稳定性.pdf, 研究了两相同部件温储备可修的人机系统,利用由该系统所决定的算子A B生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A
构造了求解一类延迟二阶线性微分方程的两点边值问题的二阶有限体积法.对求解区间均匀离散,采用线性离散插值方法在每个小区间上对方程进行数值积分,得出相应的数值方法.误差分析显示,在离散H~1半范数、L~2
一类二阶混合边值问题的上下解方法,谢怡,,为一类二阶常微分方程混合边值问题发展上下解方法,给出相应的上下解定义和在正向上下解条件下的可解性定理的证明.
本文研究了一类双曲微分方程2/t2[u+c(t)u(x,t-τ)]=a0(t)Δu+a1(t)Δu(x,t-ρ)-a∫bq(x,t,ξ)f(u[x,g(t,ξ)])du(ξ)+g(x,t),(x,
为了解决Banach空间中一类变分不等式的包含解问题,给出了正规对偶映射、k强增生映射、次微分的概念,利用强增生映射性质证明了复合型映射的强增生性,并证明了对偶空间中,变分包含问题的不动点的存在性.利
针对一类能够由中立型变延迟非线性微分方程描述的神经网络模型,给出了全局渐近稳定的不依赖于时间延迟的充分条件.所得到的稳定判据不仅考虑了神经元的激励和抑制对网络的影响,而且易于验证.仿真示例验证了所得结
通过使用一种新的方法,证明了一类非线性粘弹性发展方程在D(A)×D(A)D(A)=H2(Ω)∩H10((Ω))上的全局吸引子,其中非线性项满足临界指数增长条件,积分项满足指数衰减条件。
一类半正四阶三点边值问题的解和正解的存在性 ,施恂栋,杨成,考察了非线性四阶三点边值问题的解和正解的存在性. 其中允许非线性项有一个负的下界. 主要结论表明该问题可以具有正解, 只要非线性
本文对一些稳定性结果进行了综述。使用Cartwright方法构造了适用于硬弹簧模型的合适且完整的Lyapunov函数。将该方法与现有结果进行了比较,该结果证实了优异的全局稳定性结果。我们的贡献取决于它
