带有外部输入项的时间周期SIR传染病模型的周期行波解北大核心CSCD

研究了一类带有外部输入项的时间周期SIR传染病模型周期行波解的存在性和不存在性.首先,通过构造辅助系统适当的上下解并定义闭凸锥,将周期行波解的存在性转化为定义在这个闭凸锥上的非单调算子的不动点问题,利用Schauder不动点定理建立辅助系统周期解的存在性,并利用Arzela-Ascoli定理证明了原模型周期行波解的存在性.其次,借助分析技术得到了周期行波解的不存在性.     

一类带阻尼项的次二次二阶Hamilton系统的周期解

本文研究了一类带阻尼项的二阶Hamilton系统周期解的存在性问题.利用鞍点定理,在新的次二次条件下,获得了一个新的存在性结果,推广并改进了已有文献的相关存在性结论.     

生化反应中一类动力系统的定性分析

继续和完善了文[1-3]的工作,利用常微分方程定性理论,研究了生化反应中的一类动力系统dx并获得了该系统极限环的存在性,不存在性及极限环的存在惟一性的完整结果.     

带有凹凸非线性项的Klein-Gordon-Maxwell系统解的存在性和多重性

研究一类Klein-Gordon-Maxwell系统解的存在性和多重性.当非线性项是凹凸非线性项时,利用变分方法获得了系统解的存在性和多重性结果,并完善了此系统解的存在性的已有结果.     

一类泛函微分方程周期正解的存在性

本文研究了一类带参数的高维泛函微分程(1.1)的周期正解的存在性.利用一个著名的不动点指标定理,获得了该方程周期正解的存在性、多重性和不存在性.     

一类具有非线性发生率与时滞的非局部扩散SIR模型的临界波的存在性

研究了一类具有时滞的非局部扩散SIR传染病模型的行波解。首先, 利用反证法证明了I是有界的, 并根据I的有界性研究了波速c>c*时行波解(波速大于最小波速的行波)的存在性。其次，利用c>c*的行波的存在性结果证明了临界波(波速等于最小波速的行波)的存在性。最后, 讨论了R0对临界波存在性的影响.     

全空间上一类非齐次椭圆方程正解的衰减

本文研究了非齐次椭圆方程不同衰减正解的存在性和衰减问题.利用上下解方法,得到了两个有着不同衰减的正解的存在性,推广了文献[2]中非齐次方程正解的存在性.     

一类阻尼振动问题的周期解的存在性（英文）

本文致力于研究一类带阻尼问题周期解的存在性问题.借助于辅助函数,我们得到了一些新的超二次增长和渐进二次增长条件,利用临界点理论中的极大极小方法,获得一些新的存在性结果,推广了已有文献中相关存在性结论.     

两点边值问题解的存在性

本文讨论两点边值问题解的存在性,在没有孤立性条件下,获得了不动点定理,作为应用实例,给出了反应扩散方程稳态解的存在性证明。     

一类时滞微分系统的周期解

研究了一类具分布时滞的一阶微分系统的周期解的存在性和全局吸引性.先通过利用重合度理论中的Mawhin延拓定理讨论了周期解的存在性,建立了一些判断准则;进而通过构造适当的Lyapunov泛函以及周期解的存在性结果研究了该类时滞微分系统的周期解的全局吸引性,获得了保证其周期解全局吸引的充分性条件.     

Generalized KKM theorems and common fixed point theorems

In this paper, we first prove a generalized KKM theorem, and then use this generalized KKM theorem to establish the generalized equi-KKM theorem, common fixed point theorems for a family of multivalued maps, and the Kakutani-Fan-Glicksberg fixed point theorem. We also show that an existence theorem of the common fixed point theorem is equivalent to the Kakutani-Fan-Glicksberg fixed point theorem.     

一个新的Ky Fan匹配定理及其在L-凸度量空间中的应用

建立了转移开覆盖的一个新的Ky Fan型匹配定理．作为应用，获得了Fan-Browder重合定理，不动点定理、极大元定理，相交定理和截口定理．     

一类新的KKM定理及其应用*

本文得到一类新的KKM定理,统一和改进了[2,3,0,7,11]中的结果。作为应用,我们得到了几个匹配定理、重合定理、不动点定理、极大极小不等式定理及截口定理。     

几个随机算子定理

得到Banach空间中随机隐函数存在定理、随机反函数定理和随机Hahn-Banach定理，它们是著名隐函数定理、反函数定理和Hahn-Banach控制延拓定理的随机化推广，这些定理在随机算子理论中将起重要作用。     

向量在几何中的应用

近期将欧氏平面E2上的正弦定理和余弦定理推广到三维欧氏空间E3中,建立了E3中四面体空间角正弦定理、二面角正弦定理和四面体余弦定理,利用向量给出了三维余弦定理和三维正弦定理的简单证明.     

播挪运算及其性质

在现有的播挪定义基础上,引入了对偶播挪的概念和任意论域子集族的内并、内交两种新运算,提出了十个定理.它们是：平凡播挪空间定理,最小播挪定理,播挪内运算封闭性定理,播挪任意交定理,播挪上确界定理,播挪运算分配性定理,播挪基判定定理,播挪基闭包定理,播挪基约简定理,播挪基内运算封闭性定理.这些定理对于播挪空间的研究具有一定的理论价值.     

A relative interpolation theorem for infinitary universal Horn logic and its applications

In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From the theorem on surjective homomorphisms we also derive a non-standard Beth-style preservation theorem that yields a non-standard Beth-style definability theorem, according to which implicit definability of a relation symbol in an infinitary universal Horn theory implies its explicit definability by a conjunction of atomic formulas. We also apply our theorem on surjective homomorphisms, theorem on bimorphisms and definability theorem to algebraic logic for general propositional logic.     

连续型概率度量的特征及其应用

讨论了连续型概率度量空间,给出了连续型概率度量的特征定理.利用这个特征定理,我们获得了连续型概率度量空间的闭球套定理和M enger空间完备性特征定理.作为本文的应用获得了一个局部概率压缩映象不动点定理.     

Minimax Problems for Set-Valued Mappings

In this article, by virtue of the Fan-Browder fixed point theorem, we first obtain a minimax theorem and establish an equivalent relationship between the minimax theorem and a cone saddle point theorem for scalar set-valued mappings. Then, by using scalarization functions, we investigate an existence theorem of the cone saddle point for set-valued mappings. Simultaneously, we also establish a minimax theorem for set-valued mappings.     

The Kakutani's precompactness lemma

In this paper we establish a theorem that extends and sharpens an old precompactness lemma due to Kakutani. We use this theorem to derive the classical Arzelà-Ascoli theorem and a theorem of Defant and Floret for families of linear operators. We also use this theorem to derive a theorem for composition operators which yields as immediate corollaries a theorem of Geue and a locally convex version of a theorem of Aron and Schottenloher.