一类二阶方程的解的收敛性

本文研究一类二阶常微分方程解的渐近性态，假设方程具有正阻尼及适当保证所有解有界的条件成立，我们证明了每个解收敛于奇点，该结果能够用于系统的奇点集是不可数的情形。     

关于广义Liénard系统解的有界性及整体渐近性态

本文研究非自治的广义 Liénard系统 :x=h(y) -F (x)y=-g(x) +e(t)解的有界性及整体渐近性态 ,获得了方程每个解是有界及收敛于原点的充分必要条件 ,推广与改进了文 [1～1 0 ]是于同样问题的一些重要结果     

一个具有可测数据的化学反应扩散系统

该文证明一个化学反应扩散系统当初始数据是有界非负犚犪犱狅狀测度时弱解整体存在,且给出了解收敛于正平衡解的充要条件．     

带内部耗散项的拟线性双曲型方程组的柯西问题

§1引言 对常系数常微分方程组的初值问题{其中x(t)是n维向量函数,A是n阶常数矩阵,由常微分方程理论知道,若A的特征值的实部均为非负,且关于实部为零的特征值所对应的初等因子是单重的,则(1.1)的解x(t)必是有界的。如果方程组(1.1)的右端还含未知函数的非线性项,即考虑初值问题     

一类合作系统的渐近性态的代数判别

A.Lajmanovich 和 J.Yorke 用如下的不可约的合作向量场来模拟淋病的传播:)=Ax+N(X),(1)其中 A=diag(c_1,c_2,…,c_n)B—diag(α_1,α_2,…,α_n),N=diag(x_1,x_2,…,x_n)Bx,B 为一个非负的不可约阵.在[1]中,Lajmanovich 和 Yorke 证明了(1)具有相当有趣的性质:当 A 的特征值的最大实部 S(A)为非正时,所有轨线收敛于原点;当 S(A)>0时,所有轨线收敛于一个正奇点.     

一类序保持系统解的收敛性

本文研究微分方程组ｘｉ＝Ｆｉ（ｘ１，…ｘｎ）（ｘ∈Ｒｎ＋）解的收敛性．如果该系统满足下列条件：（ｉ）Ｆ（Ｏ）Ｏ；（ｉ）Ｆｉ（ｘ１，…ｘｎ）关于ｘｋ是单调增的（ｋ≠ｉ）；（ｉｉ）Ｆ（ｘ＊ｇ（ｓ））ｈ（ｓ）＊Ｆ（ｘ）（０ｓ１），这里ｘ＊ｙ＝（ｘ１ｙ１，…ｘｎｙｎ），ｇ，ｈ：［０，１］→［０，１］ｎ满足ｇｉ（０）＝ｈｉ（０）＝Ｏ，ｇｉ（１）＝ｈｉ（１）＝１，Ｏ＜ｇｉ（ｓ），ｈｉ（ｓ）＜１，ｓ∈（０，１）；（ｉｖ）系统的每个解在Ｒｎ＋中有界，则每个解收敛于奇点．本文还把这一结果推广到离散的序保持动力系统．     

具有热储备的并行可修复系统指数稳定性分析

应用泛函分析的方法讨论了有两个相同部件和一个热储备的并行可修复系统的指数稳定性.我们通过分析系统算子生成C0半群的本质谱增长阶,证明了该半群是拟紧的.此外,该半群还是不可约的.于是作为半群拟紧性和不可约性的直接结果,得到了系统的时间依赖解指数收敛到其静态解,并且该静态解即为系统算子简单特征值0对应的正的特征向量.     

具有可选服务的M／M／1排队模型的一个特征值及其应用

证明0是具有可选服务的M／M／1排队模型的主算子及其共轭算子的几何重数为1的特征值,由此推出该模型的时间依赖解强收敛于该模型的稳态解．     

两同型部件温贮备可修系统解的指数渐近稳定性

运用强连续半群理论研究两同型部件温贮备可修系统解的指数渐近性质,首先证明系统所生成的C0半群T(t)是拟紧的.其次证明0是对应于系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,推出在右半平面和虚轴上除0以外其他所有点都属于该算子的豫解集,由此推出该系统的时间依赖解当时刻趋向于无穷时强收敛于系统的稳态解.     

关于无界区域和非齐次问题的无限元法

<正> 无限相似单元法(简称无限元法)是一种计算有奇点的椭圆型方程的近似解的方法.如果奇点是边界上的一个角点,那末它是有界区域上的无限元法,如果奇点是无穷远点,那末它是无界区域上的无限元法.Babu(s|ˇ)ka 曾经研究过无界区域上的有限元法,由于只有有限个自由度,因此求解区域不能不是有界的,尽管这个区域可以很大.现在,我们用无限元法处理这一类问题.我们证明了在无界区域上各种无限元方法解的存在唯一性.     

一类可靠性模型时间依赖解的渐近性质

研究了带无穷多个部件的，由一个可靠机器，一个不可靠机器与一个缓冲库构成的系统解的渐近性质．先讨论了对应于该系统的主算子的谱特征并且得到了在虚轴上除了0点外其它所有点都属于该主算子的豫解集，0是该主算子及其共轭算子几何重数为1的特征值．然后将该结果与作者以前的结果结合起来推出该系统的时间依赖解当时刻趋向于无穷时趋向于该系统的稳态解．     

半线性抛物型方程定义的光滑强单调流收敛于半渐近稳定的奇点

本文研究半线性抛物型方程定义的光滑强单调流的渐近性态，我们给出了具有有界轨线且不收敛于半渐近稳定奇点的点集在Ｘ￣α中是第一范畴的充要条件，我们还研究了全有序奇点弧的存在性和非平凡不变函数的存在性之间的等价关系。     

奇异半线性热方程初值问题解的存在性与Blow-up问题

本文讨论如下奇异半线性热方程的初值问题其中γ＞1，σ＞O，f（x）连续有界非负但不恒为零．我们讨论了问题（1），（2）非负局部经典解的存在性和非负整体解的不存在问题，得到当0＜σ＜1且时，（1），（2）没有非负整体解．当σ＝1且时，（1），（2）没有非负整体解，当σ＞1时（1），（2）没有非负整体解．     

阿贝尔群被超—（循环或有限）群的可裂扩张（I）

设F是由f(p)所局部定义的可解群系，G∈F，A是ZG—模．我们称A的一个p—主因子U／V在G中是F-中心的，如果G／CG(U／V)∈f(p)．否则称U／V在G中是非中心的．本文证明了：设G是超—(有限或插环)的局部可解群，A是ArtinianZG—模且所有的不可约ZG—因子都是有限的；F为由f(p)所局部定义的局部可解群系，且对任意的p∈π，f(p)≠Φ，f（∞)包含于f(p)．如果G∈F，且A的所有不可约ZG—因子在G中均是F—非中心的，则A被G的扩张在A上共轭可裂。     

离散系统的渐近稳定性

先讨论吋变离散系统 (1) x(τ+1)=f(τ,x(τ),τ=t_0+k,k=0,1,2,…,t_0≥0。其中f:[0,∞)×D→R~n,D是R~n中包含原点的开集,f(τ,0)≡0。对每个t_0≥0和每个x_0∈D,保证(1)有唯一的解x(τ)=x(τ,t_0,x_0),具有x(t_0,t_0,x_0)=x_0。对于连续的时变系统来说,只有Liapunov函数V(t,x)正定和它关于系统的导数V(t,x)负定性是不能保证零解的渐近稳定性的,通常附加V具有无穷小上界,或限定方程右端函数F(t,x)对有界的|x|有界,或限定V(t,x)→∞,当t→∞,x≠0时才能推出零解的渐近     

R上向量场的一个几何性质

本文讨论n维空间上的向量场在其奇点附近的几何性质,主要结果如下列定理所述。定理考虑n维微分系统 x=X(x),x∈R~n (E) 设X∈C~1(R~n),X(0)=0,L=DX(0)。 (Ⅰ) 假定0为(E)的双曲奇点,则下列三点等价: (ⅰ) 矩阵L的所有特征根为实数; (ⅱ) 对(E)的任何解X(t)≠0,只要limx(t)=0(当t→ ∞或-∞时),则极限limx(t)/||x(t)||存在; (ⅲ) 对x(E)的任何解x(t)≠0,只要limx(t)=0(当t→ ∞或-∞时),则极限lim(x′(t)/||x′(t)||)存在。 (Ⅱ) 如果L的特征值均为实数且不为零,则有: 当limx(t)=0时,有lim(x(t)/||x(t)||=-lim(x′(t)/||x′(t)||); 当limx(t)=0时,有lim(x(t)/||x(t)||)=lim (x′(t)/||x′(t)||)     

Hilbert空间中的不可微最优化问题的基路径增量目标水平算法

主要研究了Hilbert空间中的一类不可微最优化问题的基路径增量目标水平算法.证明了当约束集合为有界集时,问题的最优解集非空,且这时通过算法生成的迭代点列是弱收敛于最优解的..     

关于特征值问题有限元近似解的最大模估计及其校正加速估计

本文记通常CooeB空间W_p~m(Ω)(P=2时记为H~m(Ω))的模为||·||_(m,p),m=0,即空间L_p(Ω)的模简记为||·||_p。 设Ω为平面有界区域,边界?Ω分段光滑,则(1)的解存在,且特征值可列:     

Banach空间的弱序列紧性

本文研究了Banach空间的弱*序列紧性，Banach空间X称为有(ω)性质，如果X’（X的共轭空间）的每个有界序列有弱*收敛子列，我们证明了，如果Banach空间X有(ω)性质，那么lp(X)(1≤p＜ ∞)与c0(X)也有(ω)性质。     

奇异半线性椭圆方程的非径向正整体解

研究如下N维奇异半线性椭圆方程△u+f(x,u)=0, x∈RN(N≥3),其中函数f:RN× R+→R+连续,在u=0有奇异性;采用上-下解方法给出该方程具有满足如下性质的有界正整体解u的条件: u∈C2+θloc(RN)使得lim |x|→∞ u(x)=0且u(x)≥εmin{1,|x|2-N},其中ε＞0是常数;并证明:若条件添加"f关于u单调不增"的限制,则这种解是唯一的.