代数体函数的性质

本文研究了亚纯函数的几个性质推广到多值的代数体函数.利用代数体函数的循环加,循环乘运算及特征的性质,证明了代数体函数的级与下级的几个性质,并研究了两个代数体函数的公共a值点的度量,且得到代数体函数的两个唯一性定理.     

一类具年龄结构n维食物链模型的最优收获控制

研究一类具有年龄结构n维食物链模型的最优收获控制.利用不动点定理,证明了系统非负解的存在性和唯一性.由Mazur定理,证明了最优控制策略的存在性,同时由法锥概念的特征刻画,还得到了控制问题最优解存在的必要条件.     

一类广义Boussinesq型方程的Cauchy问题

证明了一类广义Boussinesq型方程Cauchy问题整体解的存在性与唯一性,并给出解在有限时刻爆破的充分条件.     

第二类四阶变分不等式解的存在唯一性

本文考虑弹性力学平板理论中的单侧稳定问题,讨论了重调和方程边值问题及第二类四阶变分不等式,并证明它们的等价性,从而可以把高阶偏微分方程转化为相应的变分不等式加以解决,同时也为求解重调和方程提供了更多的方法和理论依据。并且最后给出了该类变分不等式解的存在唯一性的证明。     

无限时滞泛函微分方程概周期解的存在唯一性

对于无限时滞泛函微分方程,利用Liapunov泛函的方法,研究了方程概周期解的存在性、唯一性问题,得到了便于应用的概周期解的存在性、唯一性判据.     

常微分方程解的存在唯一性定理教学研究

探讨了常微分方程初值问题解的存在唯一性定理教学策略.为便于教学和有利于学生理解并掌握其思想方法,对定理证明过程的表述作了命题化处理,给出了Picard逐步逼近法的应用实例,提出了教学讨论与知识拓展的一些有益内容.     

二阶非线性脉冲微分方程边界值问题

研究二阶非线性脉冲微分方程边界值问题(BVPI).构造了BVPI的Green函数,并将非线性的BVPI转化为不动点问题,利用Banach不动点定理和Lipschitz条件,证明了该非线性BVPI解的唯一性,最后证明了BVPI解的存在性定理.     

高维无穷时滞脉冲积分微分方程概周期解的存在唯一性

研究一类高维无穷时滞的非线性脉冲积分微分方程x′(t)=A(t)x(t)+∫-t∞C(t,s)g(s,x(s))ds+f(t,x(t-τ))+b(t),t≠tkΔx(t)=Bkx(t)+Ik(x(t))+γk,t=tk,k∈Z概周期解的存在性、唯一性问题.利用不动点原理和线性系统的指数二分性理论,建立了保证其概周期解存在性、唯一性的充分条件,得到了一些新的结果.     

广义Tjon-Wu方程Cauchy问题强解的存在唯一性和稳态解的存在性

利用卷积的性质和schauder不动点原理等技巧,在L_(1,i)空间中证明了一类广义Tjon-Wu方程Cauchy问题强解的存在唯一性以及稳态解的存在性.     

一个时滞肿瘤生长的自由边界问题

研究了一个时滞肿瘤生长自由边界问题,它来源于描述考虑了由于肿瘤细胞分裂速率变化引起肿瘤细胞生长环境的变化而引起的肿瘤细胞凋亡的肿瘤生长模型.在这个问题中考虑两种因素引起肿瘤细胞消亡:一种是肿瘤细胞度过固有的生命周期后自身的凋亡,另一种是肿瘤细胞的分裂速率变化引起生长环境的变化而引起的肿瘤细胞的凋亡,第二种消亡具有时滞.研究了该问题解的非负性,稳态解的存在唯一性和渐近性以及周期解的存在性.