一个边界条件带有特征参数的Sturm-Liouville问题的特征函数系的完备性

研究了一个边界条件带有特征参数的Sturm-Liouville特征值问题,证明了谱问题有可列个特征值.应用泛函方法证明了特征函数系构成一个Hilbert空间中的正交完备系.     

完全二叉树理论的模型及性质

定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型.证明了完全二叉树理论的ω1-范畴性.     

一类非散度型退化抛物方程广义解的存在性

讨论一类非散度型退化抛物方程的初边值问题. 利用抛物正则化方法, 证明了该问题广义解的存在性. 对初边值和方程做了两重正则化, 并分别进行了一系列的估计. 利用分析方法, 证明了所得逼近解序列的弱收敛性, 进而证明了其弱解的存在性.     

一类非线性周期种群系统的最优收获控制

讨论了一类非线性周期种群系统的最优收获问题.证明了该系统解的适定性,并利用Mazurs引理证明了最优收获控制的存在性.     

Hilbert空间的张量积的连续性

给出了内积空间的正向系和归纳极限的概念,证明了在酉等价的意义下,内积空间的归纳极限是唯一的.构造了具体的内积空间的归纳极限.证明了Hilbert空间的张量积关于归纳极限是连续的     

具有一般反应函数的随机恒化器模型的动力学行为

研究了具有一般反应函数的随机恒化器模型,同时给出了一般反应函数所满足的条件.首先证明了模型全局正解的存在唯一性.其次给出了微生物灭绝的一些充分条件,并且进一步证明了在某些条件下, 微生物在恒化器中会持续存在.     

一类随机海洛因毒品传播模型的全局分析

研究了一类接触率受到白噪声干扰的海洛因毒品传播随机模型,证明了该模型正解的全局存在唯一性.当基本再生数R01时,证明了随机模型无海洛因传播平衡点的随机渐近稳定性.当R01时,讨论了随机模型的解会围绕确定性模型的海洛因传播平衡点振荡,进而证明了随机模型的解是平均持续的.     

具有改进的Leslie-Grower式的Holling-Tanner模型的稳定性分析

研究一个具有改进的Leslie-Grower式的Holling-Tanner模型.分析了该系统的平衡点性态,利用Dulac函数证明了系统在正平衡点外围不存在极限环,从而证明了正平衡点在第一象限内是全局渐近稳定的.     

两类正交矩阵的对角化

A是一个实正交矩阵,证明了一类特殊三阶正交矩阵的可能形式,并证明了这类矩阵可对角化.另外,证明了仅有实特征值的正交矩阵可对角化.     

四元数体上矩阵Schur补的一个行列式不等式

首先证明了一个实数不等式,并应用该不等式,证明了矩阵Schur补的一个行列式不等式,推广了某些结果.     

广义变分不等式的一个投影型算法及收敛速度

提出一个修改的投影类型方法来求解广义变分不等式.该方法保证了校正步长的一致有正下界性.在所含函数g-单调的条件下,证明了方法的全局收敛性.在所含函数Lipschitz连续和g-强单调的条件下讨论了广义变分不等式的全局误差界,并证明了预估步长的一致有正下界性.借助于全局误差界的分析,证明了所提方法具有R-线性收敛速度.     

Dirichlet级数的唯一性定理和随机Dirichlet级数的亏函数

证明了D irichlet级数的唯一性定理,并研究了全平面上的有限级随机D irichlet级数,证明了有限级的随机D irichlet级数几乎必然(a.s.)没有亏函数.     

闭格的性质

对闭格进行研究,给出了闭格的等价刻画,讨论了闭格与Locale的关系,并证明了闭格的笛卡尔乘积仍是闭格.同时,得到了闭格在保任意并的满态射下仍是闭格,最后证明了闭格在闭包运算下的像是闭格.     

量子金融的几个问题

从二项式金融市场出发,讨论量子金融理论的几个基本问题.证明了二项式金融市场的量子模型的风险中性世界有无穷多个量子态并给出了相应的刻画;研究了量子市场模型的对冲问题.最后,证明了单期量子市场必定是不完备的.     

一类奇异抛物方程最大弱解的存在性

研究了具有奇性的一类抛物方程的初边值问题.在较弱条件下,通过抛物正则化方法证明了此问题存在一个弱解,而且证明了这个弱解还是最大弱解.     

Hilbert空间中Lipschitz单调映像变分不等式解的逼近定理

给出了Hilbert空间中Lipschitz单调映像变分不等式解的迭代格式,证明了其收敛性.作为应用,证明了Hilbert空间中Lipschitz伪压缩映像的强收敛定理,扩展了已知的相关结果.     

具有正则图的有限格的一些注记

研究了一类具有正则图的有限格,称之为正则图格.证明了一个有限格是分配的正则图格当且仅当它是布尔格,同时找出了所有1阶和2阶的正则图格.特别地,证明了8-元素布尔格是最小的3阶正则图格.     

具有捕获的反应扩散浮游生物模型的动力学行为

研究了一类具有捕获的反应扩散浮游生物模型的动力学行为.首先证明了在无时滞时解的存在性和有界性;其次证明了平衡点渐近稳定的充分条件以及hopf分支的存在条件;最后,通过数值模拟验证所得结论.     

非线性方程的一种区间迭代算法

把区间算法与正割算法相结合,给出了一种新的区间正割算法 ,并证明了其收敛性.与Newton法相比,具有收敛快,误差小的优点,算例证明了其有效性.     

一类具有时滞的随机SISV传染病模型的稳定性

研究了一类具有非线性发生率和时滞的随机SISV传染病模型.利用Lyapunov函数和It?公式证明了随机模型存在全局唯一正解.对非时滞和含时滞随机SISV传染病模型进行了线性化并得到了对应模型的解的均方指数稳定性.在白噪声适当的扰动条件下,证明了系统是依概率稳定的.