具有免疫时滞、饱和CTL免疫反应和免疫损害的HTLV-I感染模型的动力学性态

该文研究一类具有免疫时滞、饱和CTL免疫反应和免疫损害的HTLV-I感染动力学模型.通过计算得到了免疫未激活再生率和免疫激活再生率.通过构造适当的Lyapunov泛函,并利用LaSalle不变性原理,证明了当免疫未激活再生率小于1时,病毒未感染平衡点是全局渐近稳定的;当免疫激活再生率小于1且免疫未激活再生率大于1时,免疫未激活平衡点是全局渐近稳定的;在免疫时滞为0的情形下,当免疫激活再生率大于1时,免疫激活平衡点是全局渐近稳定的.当免疫时滞大于某一临界值时,给出了免疫激活平衡点处产生Hopf分支的条件.最后,通过数值模拟对理论结果进行了说明.     

一类具有时滞的反应扩散登革热传染病模型的行波解

该文研究了一类时滞反应扩散登革热传染病模型行波解的存在性与不存在性.首先,利用辅助系统并结合Schauder不动点定理,证明了当基本再生数R₀> 1,c>c_*时,系统存在单调有界正行波解.其次,当R₀> 1,0 *时,借助双边Laplace变换,得到行波的不存在性;运用比较原理和反证法,证明了当R₀≤1,c> 0时行波的不存在性.最后,从理论和数值方面探讨了潜伏期和扩散率对阈值速度c_*的影响.结论表明:适当延长潜伏期或减少个体扩散可降低疾病传播速度.     

SUPERCONVERGENCE OF A DISCONTINUOUS GALERKIN METHOD FOR FIRST-ORDER LINEAR DELAY DIFFERENTIAL EQUATIONS

This paper deals with the discontinuous Galerkin (DG) methods for delay differential equations.By an orthogonal analysis in each element,the superconvergence re...     

具有非局部时滞的扩散Nicholson苍蝇方程的波前解

研究了具有非局部时滞的扩散Nicholson苍蝇方程,其中时滞由一个定义在所有过去时间和整个一维空间区域上的积分卷积表示.当时滞核是强生成核时,根据线性链式技巧和几何奇异扰动理论,获得了小时滞时波前解的存在性.     

具有时滞的非线性强迫微分方程振动的充分必要条件

对于一类特殊的具有时滞的二阶次线性强迫微分方程x"(t) +a (t)|x(τ(t))|γsgnx(τ(t)) =g(t)(0＜τ＜1),给出了它的所有解振动的一个充要条件.     

中立型时滞微分方程解的振动性

1.引言 近十多年来,时滞微分方程的振动理论得到了迅速发展,但大部分是针对滞后型的。对中立型情况的研究结果还比较少,其中变系数方程的结果则更少。关于中立型方程解的振动性研究,不仅具有理论上的意义,从应用的观点来看也是十分重要的。例如,可以参看文献[3]和[6]。 最近,阮炯,Grammatikopoulos,Grove和Ladas,及Ladas和Sficas分别研究了中立型时滞微分方程     

非线性含时滞阻尼项的双曲型方程解的振动性质

本文研究一类含时滞阻尼项的非线性双曲型方程解的振动问题．所得判别振动的充分条件揭示了这类方程的振动由时滞量引起这一重要结论；从理论上指出了与普通双曲型方程质的差异并且实际应用十分便利．     

一类积分微分方程概周期解的存在性和唯一性

考虑具无穷时滞的非线性积分微分方程概周期的存在性和唯一性问题,利用矩阵测度和不动点方法获得了一类方程的概周期的存在性和唯一性的充分条件,推广了相应文献的结果.     

一类具时滞HollingⅡ型的扩散方程组

考虑带有扩散项并具有连续时滞的ＨｏｌｌｉｎｇⅡ型问题。     

Procreating tiles of double commutative-step digraphs

Double commutative-step digraph generalizes the double-loop digraph. A double commutative-step digraph can be represented by an L-shaped tile, which periodically tessellates the plane. Given an initial tile L（l, h, x, y）, Aguil5 et al. define a discrete iteration L（p） = L（l ＋ 2p, h ＋ 2p, x ＋ p, y ＋ p）, p = 0, 1, 2,..., over L-shapes （equivalently over double commutative-step digraphs）, and obtain an orbit generated by L（l, h, x,y）, which is said to be a procreating k-tight tile if L（p）（p = 0, 1, 2, ~ ~ ~ ） are all k-tight tiles. They classify the set of L-shaped tiles by its behavior under the above-mentioned discrete dynamics and obtain some procreating tiles of double commutative-step digraphs. In this work, with an approach proposed by Li and Xu et al., we define some new discrete iteration over L-shapes and classify the set of tiles by the procreating condition. We also propose some approaches to find infinite families of realizable k-tight tiles starting from any realizable k-tight L-shaped tile L（l, h, x, y）, 0 ≤ y - x ≤ 2k ＋ 2. As an example, we present an infinite family of 3-tight optimal double-loop networks to illustrate our approaches.