固定周期脉冲微分方程到状态依赖脉冲的转化及应用

本文研究了一类二维状态依赖脉冲微分方程的阶1周期解存在性和轨道稳定性条件．然后,将一维固定周期脉冲的微分方程转化为二维状态依赖脉冲微分方程,研究其阶一周期解的存在性和稳定性．作为应用,我们研究了固定周期常数收获的Logistic方程的动力学性质,以及两个固定周期注射药物单室扩散模型的动力学性质．     

脉冲-扩散周期竞争系统解的渐近行为

研究了在周期变化环境中具有扩散及种群密度可能发生突变的两竞争种群动力系统的数学模型．模型由反应扩散方程组以及初边值及脉冲条件组成．文章建立了研究模型的上下解方法,获得了一些比较原理．利用脉冲常微分方程的比较定理以及利用相应的脉冲常微分方程的解控制和估计所讨论模型的解,研究了系统模型的解的渐近性质．     

时标上一捕食二食饵系统的周期解（英文）

研究时标上一捕食二食饵系统.运用时标上Gaines和Mawhin的连续拓扑度定理,得到了系统存在周期解的新的充分条件.其研究方法可以广泛地运用来研究微分或者差分方程的周期解存在性问题.     

Existence and global asymptotic stability of positive periodic solutions of n-species delay impulsive Lotka–Volterra type systems

In this paper, the existence and global asymptotic stability of positive periodic solutions of periodic n-species Lotka–Volterra impulsive systems with several deviating arguments are studied. By using the continuation theorem of coincidence degree theory and Lyapunov–Razumikhin method, sufficient conditions are obtained. Some known results are improved and generalized.     

具有阶段结构和脉冲控制的时滞生物防治害虫模型

基于昆虫病毒防治害虫的策略,建立具有脉冲效应的时滞微分方程模型,利用脉冲微分方程的Floquet乘子理论及比较定理,证明该模型害虫灭绝T周期解的全局吸引性.     

几类具有无穷时滞泛函微分方程正周期解的存在性

运用Leray-Schauder不动点定理研究具有无穷时滞的泛函微分方程的正周期解的存在性问题,获得了存在正周期解的充分条件,改进了文献[3]中的结果.     

具有阶段结构和群体防卫的脉冲捕食系统

讨论了食饵具有群体防卫和捕食者具有阶段结构的脉冲控制捕食系统,根据Floquet乘子理论和脉冲比较定理,获得了食饵（害虫）灭绝周期解局部稳定与系统持续生存的充分条件．利用Matlab软件对害虫灭绝周期解和害虫周期爆发现象进行了数值模拟,并揭示了诸如高倍周期振荡,混沌,吸引子突变等复杂的动力学现象．得出的结论为害虫治理提供了可靠的策略依据．     

具收获与脉冲的时滞捕食模型研究

研究了与生物资源管理相关的食饵具脉冲扰动与成年捕食者具连续收获的阶段结构时滞捕食-食饵模型.利用离散动力系统的频闪映射和脉冲时滞微分方程理论,得到了捕食者灭绝周期解的全局吸引和系统持久的充分条件,也证明了系统的所有解的一致完全有界.结论为现实的可再生生物资源管理提供了可靠的策略依据.     

SIR-SVS epidemic models with continuous and impulsive vaccination strategies

Vaccination is important for the control of some infectious diseases. This paper considers two SIR-SVS epidemic models with vaccination, where it is assumed that the vaccination for the newborns is continuous in the two models, and that the vaccination for the susceptible individuals is continuous and impulsive, respectively. The basic reproduction numbers of two models, determining whether the disease dies out or persists eventually, are all obtained. For the model with continuous vaccination for the susceptibles, the global stability is proved by using the Lyapunov function. Especially for the endemic equilibrium, to prove the negative definiteness of the derivative of the Lyapunov function for all the feasible values of parameters, it is expressed in three different forms for all the feasible values of parameters. For the model with pulse vaccination for the susceptibles, the global stability of the disease free periodic solution is proved by the comparison theorem of impulsive differential equations. At last, the effect of vaccination strategies on the control of the disease transmission is discussed, and two types of vaccination strategies for the susceptible individuals are also compared.     

Models of central pattern generators for quadruped locomotion I. Primary gaits

In this paper we continue the analysis of a network of symmetrically coupled cells modeling central pattern generators for quadruped locomotion proposed by Golubitsky, Stewart, Buono, and Collins. By a cell we mean a system of ordinary differential equations and by a coupled cell system we mean a network of identical cells with coupling terms. We have three main results in this paper. First, we show that the proposed network is the simplest one modeling the common quadruped gaits of walk, trot, and pace. In doing so we prove a general theorem classifying spatio-temporal symmetries of periodic solutions to equivariant systems of differential equations. We also specialize this theorem to coupled cell systems. Second, this paper focuses on primary gaits; that is, gaits that are modeled by output signals from the central pattern generator where each cell emits the same waveform along with exact phase shifts between cells. Our previous work showed that the network is capable of producing six primary gaits. Here, we show that under mild assumptions on the cells and the coupling of the network, primary gaits can be produced from Hopf bifurcation by varying only coupling strengths of the network. Third, we discuss the stability of primary gaits and exhibit these solutions by performing numerical simulations using the dimensionless Morris-Lecar equations for the cell dynamics.     

Existence and global exponential stability of periodic solution of a class of impulsive networks with infinite delays

Sufficient conditions are obtained for the existence and global exponential stability of a unique periodic solution of a class of impulsive tow-neuron networks with variable and unbounded delays. The approaches are based on Mawhin's continuation theorem of coincidence degree theory and Lyapunov functions.     

具常数时滞细胞神经网络概周期解

利用矩阵不等式的分析技巧和Banach空间中不动点定理,得到了具常数时滞细胞神经网络概周期解的存在性、唯一性和全局指数稳定性,推广和改进了已有文献的结论。     

具有脉冲和功能反应的扩散时滞的竞争系统正周期解的存在性

讨论一类具有脉冲和功能反应的两种群扩散时滞的竞争系统,利用重合度的理论得到了系统存在正周期解的充分条件,进而改进了现有的一些结果．     

A delay differential equation model for tumor growth

We present a competition model of tumor growth that includes the immune system response and a cycle-phase-specific drug. The model considers three populations: Immune system, population of tumor cells during interphase and population of tumor during mitosis. Delay differential equations are used to model the system to take into account the phases of the cell cycle. We analyze the stability of the system and prove a theorem based on the argument principle to determine the stability of a fixed point and show that the stability may depend on the delay. We show theoretically and through numerical simulations that periodic solutions may arise through Hopf Bifurcations.Send offprint requests to:Minaya Villasana     

具有放牧率的某些概周期生态模型

文［１］研究了具有放牧率的周期生态模型的周期解的存在性、唯一性与稳定性等问题．本文考虑更加广泛的生态模型,即具有放牧率的概周期生态系统的概周期解的存在性、稳定性,通过利用指数型二分性和不动点方法,得到一些新结果．     

Traveling Wave Solutions of a Nerve Conduction Equation

We consider a pair of differential equations whose solutions exhibit the qualitative properties of nerve conduction, yet which are simple enough to be solved exactly and explicitly. The equations are of the FitzHugh-Nagumo type, with a piecewise linear nonlinearity, and they contain two parameters. All the pulse and periodic solutions, and their propagation speeds, are found for these equations, and the stability of the solutions is analyzed. For certain parameter values, there are two different pulse-shaped waves with different propagation speeds. The slower pulse is shown to be unstable and the faster one to be stable, confirming conjectures which have been made before for other nerve conduction equations. Two periodic waves, representing trains of propagated impulses, are also found for each period greater than some minimum which depends on the parameters. The slower train is unstable and the faster one is usually stable, although in some cases both are unstable.     

不等剂周期性外给药模型

本文利用脉冲微分方程的理论,根据病情的轻重及发展趋势建立了周期性外给药的动态模型。     

Predicting the potential impact of a cytotoxic T-lymphocyte HIV vaccine: how often should you vaccinate and how strong should the vaccine be?

To stimulate the immune system's natural defenses, a post-infection HIV vaccination program to regularly boost cytotoxic T-lymphocytes has been proposed. We develop a mathematical model to describe such a vaccination program, where the strength of the vaccine and the vaccination intervals are constant. We apply the theory of impulsive differential equations to show that the model has an orbitally asymptotically stable periodic orbit, with the property of asymptotic phase. We show that, on this orbit, the vaccination frequency can be chosen so that the average number of infected CD4(+) T cells can be made arbitrarily low. We illustrate the results with numerical simulations and show that the model is robust with respect to both the parameter choices and the formulation of the model as a system of impulsive differential equations.     

脉冲浮游生物植化相克模型解的渐近行为

讨论了一类在周期变化环境中的浮游生物植化相克的竞争模型．模型由一个修正的周期系数Lotka-Volterra竞争模型及一些周期脉冲作用条件描述．利用脉冲微分方程的比较原理研究了系统的全局渐近性质,获得了系统持续生存的一组充分条件．     

Uniqueness of limit cycles in models for microparasitic and macroparasitic diseases

 The aim of this paper is to prove the uniqueness of isolated periodic solutions (i.e. limit cycles) in two simple models for microparasitic and macroparasitic diseases. Both models are described by systems of planar autonomous ordinary differential equations. After transformation of these systems to generalized Liénard systems, we will apply a modified theorem of Zhang and Dulac’s criterion to prove the uniqueness of limit cycles. Received 27 February; received in revised form 19 May 1997