具有标准发生率和因病死亡率的离散SIS传染病模型的全局稳定性分析

主要研究了具有标准发生率和因病死亡率的离散SIS传染病模型的动力学性质,利用构造Lyapunov函数,得到模型无病平衡点和地方性平衡点的全局稳定性,即无病平衡点是全局渐近稳定的当且仅当基本再生数R_0≤1,地方病平衡点是全局渐近稳定的当且仅当R_0>1.     

一类边界条件带有谱参数且具有转移条件的四阶微分算子

本文研究一类在内部不连续点具有转移条件且特征参数不仅出现在微分方程中而且出现在四个边界条件中的四阶正则微分算子.通过构造与问题相关的新线性算子A,证明在适当的希尔伯特空间H中算子A是自共轭的当且仅当条件CTQ1C=ρQ1,θzATQ2A=θ1BTQ2B=θ1θ2Q1,θ2AQ1AT=θ1BQ1BT=θ1θ2Q2成立.利用微分方程的基本解证明λ是问题的特征值当且仅当det(Aλ+BλΦ(1,λ))=0.最后得到算子A仅有点谱.     

带Poisson跳年龄相关随机时滞种群系统的均方稳定性

本文研究了带Poisson跳年龄相关随机时滞种群系统均方稳定性的问题.在一定条件下,给出了数值解均方稳定的定义.利用补偿随机θ法讨论系统数值解的均方稳定性,给出数值解稳定的充分条件.获得了当1/2≤θ≤1时,对于任意的步长?τ/m,数值解是均方稳定的;当0≤θ1,时,如果步长?t∈(0,?t0),数值解是指数均方稳定的的结果.最后通过数值算例推广并验证了结果的有效性和正确性.     

一类中立型延迟积分微分方程线性θ-方法的渐近稳定性

研究了一类非线性中立型延迟积分微分方程的线性θ-方法.在一定的条件下证明了该方法渐近稳定的充要条件是2/1≤θ≤1.对于线性θ-方法求解所讨论的方程,本文的渐近稳定性条件比其它参考文献中已有的条件更为有效.     

求解热传导方程的一类新的加权差分格式

本文提出了数值求解热传导方程的一类新的Ｏ（ｋ,ｈ２）加权差分格式,并利用Ｆｏｕｒｉｅｒ方法讨论了格式的稳定性,证明了当１／（１＋ｅε）≤θ≤１时,格式是无条件稳定的,而当０≤θ＜１／（１＋ｅε）时,只有０＜ｒ≤ｆ（θ,ε）,格式才稳定,其中ｆ（θ,ε）对任何固定的θ是正实数ε的严格单调增函数．最后通过数值算例检验了文中格式的高稳定性．     

基于理想的半单序超半群

本文给出了序超半群上几类正则序超半群的等价刻画和半单偏序超半群的等价刻画,并研究了几类相关性质。本文的主要结论是:设(S,。,≤)为序超半群,f是S上的模糊子集,S为左拟正则的当且仅当f≤1°f°1°f,类似地我们给出右拟正则的刻画;S是半单的当且仅当f≤1°f°1°f°1。     

随机微分方程分步单支theta方法的稳定性(英文)

本文研究随机微分方程单支theta方法的均方稳定性.首先,对线性检验方程,当0≤θ<1时,分步单支theta方法在一定的步长限制下能保持原系统的均方稳定性,当θ=1时,方法按任意步长都能保持原系统的稳定性.其次,对满足单边Lipschitz条件的非线性随机微分方程,当1/2<θ0<θ<1时,方法能保持原系统的均方指数稳定性,但对步长有限制,如果θ=1,对步长限制消失.     

环上的拓扑和偏序

在环R上引入了拓扑O[R]和偏序≤R,证明了(R,O[R])是可分的,第一可数的局部紧空间,并得出了如下结论:(1)(R*,O*[R])是T1的当且仅当O*[R]是离散的当且仅当R中的任一元r满足r=r2=-r;(2)若(R,O[R])是T0的,则U∈O[R]当且仅当U=↓U;(3)若R是伪有限的且对任意r都有〈r〉>2,则(R,≤R)是代数Domain;(4)若环R的特征数chR为2,则R是伪有限的当且仅当Rop是代数Domain。     

非线性中立型随机延迟微分方程随机θ方法的稳定性

本文研究非线性中立型随机延迟微分方程随机θ方法的均方稳定性.在方程解析解均方稳定的条件下,证明了如下结论:当θ∈[0,1/2)时,随机θ方法对于适当小的时间步长是均方稳定的;当θ∈[1/2,1]时,随机θ方法对于任意步长都是均方稳定的.数值结果验证了所获结论的正确性.     

非线性泛函微分与泛函方程线性θ-方法的渐近稳定性

将线性θ-方法用于求解一类非线性泛函微分与泛函方程,结果表明:在问题真解渐近稳定的条件下,A-稳定的线性θ-方法(即1/2≤θ≤1)是渐近稳定的.数值试验的结果验证了所获理论的正确性.     

2-边连通3-正则非上可嵌入图的扩充（英文）

2-边连通3-正则图G是上可嵌入的当且仅当G可由图θ_1,θ_2或k_4通过一系列的M-或N-扩充得到(见[Acta Math.Appl.Sin.,Engl.Ser.,1998,14(4):337-346]).本文证明了若2-边连通3-正则图G是非上可嵌入的,则G可由图θ_3或双哑铃图通过一系列的M-或N-扩充得到.     

争鸣

问题　　问题6 7　　设实数m ,n ,x ,y满足m2+n2 =a ,x2 +y2 =b ,求mx +ny的最大值.观点1　∵mx +ny≤m2 +x22 + n2 +y22=(m2 +n2 ) + (x2 +y2 )2 =a +b2 ,∴(mx +ny) max=a +b2 .观点2　由已知,设m =acosθ,n =asinθ,θ∈[0 ,2π) ,x =bcosφ,y =bsinφ,φ∈[0 ,2π) ,则mx +ny =abcosθcosφ+absinθsinφ=abcos(θ- φ)≤ab ,当且仅当θ=φ时取等号.∴(mx +ny) max=ab .观点3　由观点2 ,得mx +ny≤ab ,又ab≤a +b2 ,∴mx +ny≤a +b2 ,当且仅当θ=φ且a =b时取等号.∴(mx +ny) max=a +b2 .到底谁对谁错,还是题目本身就有错?问题6 8　人教…     

仿紧性与性质b_1

本文建立关于仿紧性的下列 Alexandroff-urysohn 型特征定理:空间 X 是仿紧的当且仅当 X 的每个良序单调开覆盖有开的局部θ-加细序列.我们还讨论了正紧与点星形正紧性(或离散正紧性)的等价性.     

赋序列范数的矢值Banach序列空间ss(E)的凸性

本文对赋序列范数的矢值Banach序列空间ss(E)的一些凸性进行了讨论,得到的主要结果如下: 1.ss(E)是局部一致凸的当且仅当ss和E是局部一致凸的; 2.ss(E)是强凸的当且仅当ss和E是强凸的; 3.设ss和ss*具有AK性质,则ss(E)是非常凸的当且仅当ss和E是非常凸的.     

扩散问题的一类带有加权系数的隐格式及多子域并行算法

针对扩散问题提出了一类带有加权系数的隐格式,采用分组显式和区域分解思想,又构造了若干分组显式格式.结合初边值条件,建立了求解扩散问题的一种多子域并行算法.虽然格式是隐式的,但在算法实现过程中可显式且并行地计算,这样避免了求解线性方程组的复杂性.并且当加权系数1≤θ≤2.4时,格式是无条件稳定的;0θ1时,趋向于1的方向,格式也是无条件稳定的;θ=2时,算法收敛的最快,收敛速率接近于2.通过数值试验证明此类隐格式和并行算法是有效的,计算速度快,精确度高,易于实现并行.     

读“sinx≤x≤tan x的简单运用“后的思考

武增明老师在文[1]中提到重要不等式:sinx≤x≤tanx,x∈0,2π,当且仅当x=0时等号成立.思考:x→0时,则sinx→x,tanx→x.在导数中,研究瞬时速度时会涉及这一知识的应用.例1、如图所示,质点P在半径为1的圆上逆时针作匀速圆周运动,且角速度为2rad/s,设A(1,0)为起始点,求t时刻时,点P在x轴上的射影M的速度.思路解析:设经过t时刻∠MOP=θradOM=OP·cosθ=cosθ,则影子的位移S=AM=-(1-cosθ)ΔSΔt=-[1-cos(θ ΔΔθt)] (1-cosθ)=cos(θ ΔΔθt)-cosθ=cosθ·cosΔθ-siΔntθ·sinΔθ-cosθ当Δθ→0时,cosΔθ→1,sinΔθ→Δθ∴ΔS=…     

关于适中稳定环

引入了一类新的稳定环--适中稳定环,证明了如果R是Artin本原因子的置换环,则R是适中稳定环当且仅当1R=α+β,其中α,β∈U(R).如果R是适中稳定环,则K1(R)(≌)U(R)/θ(R),这里θ(R)是V(R)与U(R)'之间的适中子群.作为应用,计算了Artin本原因子的置换环的K1群.     

几乎概率度量空间(Ⅱ)

本文是作者文[1]的继续.该文中证明了 APM 空间的完备性与诱导一致结构的完备性等价;乘积 APM 空间是完备的当且仅当每个坐标空间是完备的;APM 空间是 m- 紧的当且仅当它是紧的;APM 空间的概率预紧性与诱导一致结构的预紧性等价;概率预紧的 APM 空间的诱导一致拓扑具有基数≤m 的基;m-紧的 APM 空间是 m-几乎可度量化;每个 t- 范数都连续的 APM 空间是可以完备扩张的。     

锥形坐标系中3维定常位势流方程的椭圆性原理

本文研究状态方程满足p′(ρ)=ρ~(γ-1)的3维定常可压缩位势流方程,其中p和ρ分别表示压强和密度,γ≥-1是一个已知常数.在锥形坐标系中,位势流方程是一个典型的混合型方程,其类型可由一个拟Mach数L决定:方程是椭圆型的当且仅当L1,是双曲型的当且仅当L1.本文首先证明一个椭圆性原理:当γ≥-1时,此方程在抛物-椭圆区域的内部是椭圆型的.特别地,当γ-1时,可找到一个与区域无关的函数δ_00使得L≤1-δ_0.然后利用该椭圆性原理,可以更进一步地说明,当γ≥-1时,此方程在严格远离退化边界的任一子区域上是一致椭圆型的.     

随机微分方程高阶分裂步(θ_1,θ_2,θ_3)方法的强收敛性

本文首先提出一类高阶分裂步(θ_1,θ_2,θ_3)方法求解由非交换噪声驱动的非自治随机微分方程.其次在漂移项系数满足多项式增长和单边Lipschitz条件下,证明了当1/2≤θ_2≤1时该方法是1阶强收敛的.此类方法包含很多经典的方法:如随机θ-Milstein方法,向后分裂步Milstein方法等.最后数值实验验证了所得结论.