非自治Fitzhugh-Nagumo方程在周期边界下的整体解

Hodgkin-Huxley方程是描述神经纤维膜电流、膜电压关系的微分方程,Fitzhugh-Nagumo方程是Hodgkin-Huxley方程的简化模型.讨论了具有周期边界的非自治FitzHugh-Nagumo系统在外刺激下的初边值问题,首先利用Galerkin方法及常微分方程理论证明了具有周期边界的非自治Fitzhugh-Nagumo方程存在局部解;其次利用了一种新的方法对局部解作一致先验估计证明了整体解的存在性;最后利用Gronwall不等式证明了非自治Fitzhugh-Nagumo系统整体解的唯一性.     

Fitzhugh-Nagumo方程在非齐次边界条件下解的动力学分析

Hodgkin-Huxley方程描述了生物神经的放电活动,Fitzhugh-Nagumo方程是Hodgkin-Huxley方程的简化模型.讨论了Fitzhugh-Nagumo神经传导方程在非齐次边界条件下的初边值问题,利用Galerkin方法证明了Fitzhugh-Nagumo方程在非齐次边界条件下整体解的存在性和唯一性;运用Lyapunov稳定性理论对Fitzhugh-Nagumo方程进行了稳定性分析.     

具周期边界的神经传播型方程的初边值问题解的存在唯一性

神经传播型方程的研究是非线性科学和神经科学交叉的前沿课题,既有实际应用背景,又有重要的理论意义.讨论了具周期边界的神经传播和非线性波动混合型方程的初边值问题,利用Galerkin方法及Sobolev空间理论证明了问题整体解的存在唯一性.     

拟线性p-Laplace方程周期边值问题的上下解方法

主要讨论了一类在非牛顿流体力学和多孔媒质中气体湍流等方面具有广泛应用的拟线性p-Laplace微分方程在周期边界条件下解的存在性，在证明过程中首先对原方程进行修正，证明了修正后的方程所有可能的解必在原方程的上下解之间，然后利用Leray-Schauder不动点定理证明了修正方程存在不动点，进而得到原p-Laplace方程在周期边界条件下解的存在性。     

三阶时滞Duffing方程周期解的存在性

考虑了三阶时滞Duffing方程,这是一个时滞微分方程.应用重合度延拓定理,证明了该方程至少存在一个周期解.     

一类具有逐段常变量扰动系统的渐近概周期解

针对一类具有逐段常变量扰动系统的渐近概周期解的存在性问题进行了研究.具有逐段常变量的微分方程不仅是微分方程,它还具有差分方程的性质,是离散和连续的统一.利用渐近概周期函数唯一分解性质,讨论了相关差分方程的渐近概周期序列解,得到了相关方程存在唯一有界渐近概周期解的条件,然后利用指数二分法及压缩映射原理讨论了所要研究的具有逐段常变量的扰动系统渐近概周期解的存在性及唯一性.     

一个视网膜血管肿瘤数学模型整体解的存在唯一性

研究了一个视网膜血管肿瘤的数学模型．该模型是肿瘤生长的固定边界问题,包含了反应扩散方程和常微分方程．文中先对模型进行分类讨论,然后通过运用Banach不动点定理,抛物方程的L^p估计,证明了模型在特定情况下局部解的存在唯一性.最后利用延拓的方法得到了模型在特定情况下整体解的存在唯一性．     

具有逐段常变量微分方程的概周期型解

利用渐近概周期微分方程的渐近概周期解,讨论了一类逐段常变量线性微分方程的概周期解的存在性.利用不动点理论给出了这类方程对应的非线性微分方程的渐近概周期解存在的条件.     

Banach空间柱形域上微分方程解的存在性

讨论Banach空间柱形域上摄动微分方程解的存在性,证明了关于局部解、整体解及周期解的一些结论,推广并完善了文献[6.8.9]等中的结果。     

广义DP方程的尖波解、孤立波类解和周期波解

运用一个基于利用积分因子求解常微分方程的方法和直接方法,研究了广义Degasperis-Procesi方程,并证明了该方程.在不同的参数条件下,可出存在尖波解,孤立波解和周期波解的显示精确表示式.     

带有脉冲的泛函微分方程周期边值问题

目的研究带有脉冲的泛函微分方程周期边值问题. 方法应用单调迭代技术结合上下解方法讨论最大解与最小解的存在性. 结果与结论获得了带有脉冲的泛函微分方程周期边值问题的最大解与最小解的存在性结果.     

线性严格双曲型方程组的初边值问题及其应用

考虑线性严格双曲型方程组初边值问题,利用特征线方法和局部解延拓方法,证明了其整体经典解的存在性和解对初始数据、边界数据的连续依赖性.     

一类二阶非线性方程的奇摄动问题的研究

本文研究了一类具有局部弱稳定退化解的二阶非线性方程的奇摄动问题的边界层现象.运用界定函数法找到具体的上下解,再通过微分不等式理论证明了解的存在性,并给出了解的渐近估计.     

高阶非线性微分方程的周期解

利用上、下ω－解概念和单调迭代方法，讨论了高阶非线性常微分方程周期解的存在性，把文献[4]中的一阶方程周期解的单调迭代方法推广到n阶非线性常微分方程，得到了高阶非线性微分方程类似的周期解存在定理。     

一个新的比较定理及其应用

证明了一个微分不等式—比较定理,将结果应用到一阶微分方程周期边值问题解的存在性证明中。所得结果与已有结论［２,６］是互不包含的。     

一阶时滞微分方程周期边值问题单调迭代法

将用于研究常微分方程周期边值问题地上下解方法与单调迭代技巧,拓展于研究泛函微分方程中一类一阶时滞微分方程周期边值问题,论证了此类方程周期边值问题地最大解和最小解的存在性,以及一致收敛于解地迭代逼近序列.     

具有空间扩散的捕食者-食饵模型的整体性态

讨论一类具有空间扩散的捕食者-食饵模型在齐次Neumann边界条件下解的存在唯一性和一致有界性,并由线性化方法和Lyapunov函数方法分别证明了该模型正平衡点的局部和全局渐近稳定。     

具线性阻尼项非线性梁方程解的存在性

考虑线性阻尼效应,建立了一类轴向载荷作用下的非线性梁方程,并利用Galerkin法证明了在非线性边界条件下问题整体解的存在唯一性。