具有记忆项的kirchhoff型梁方程整体解的存在性和衰减性

设Ω是具有光滑边界的Rn的有界开区域,H=L2(Ω).在空间H上考虑了具有记忆项的非退化kirch-hoff型梁方程.utt+A2u+(a+M(‖A1/2u‖2))Au-∫0tg(t-τ)Au(τ)dτ+but=f(u).其中A是H上的一个线性算子,M和g是实函数.针对方程的初始能量非负且充分小的情况证明了整体弱解的存在性和唯一性.我们还研究了解的渐近行为,在衰减项和记忆项满足适当的条件下证明了解的指数衰减性.     

Structures of higher dimensional projective varieties with non-integral nef-values

设M是仅有Goremtein有理可分奇点的n维正规射影簇,L是M上的丰富线丛,τ是(M,L)的nef值.当n -7＜τ＜n-6时,证明了dimM≤14,并且对dimM=12,13和14的情形,给出了(M,L)的完整结构刻画.     

IMEXθ法对延迟微分方程的GP稳定性

先从标量测试方程u′(t)=λu(t) μu(t-τ)出发,介绍了它的渐近稳定性,这里τ是正延迟,λ,μ是复数参数.然后将IMEXθ法应用于方程u′(t)=λu(t) μu(t-τ),证明了IMEXθ法当且仅当θ=1时是GP稳定的.最后给出数值试验.     

代数群上由模糊(拟)伪度量诱导的拓扑

设G是一个代数群,(M,*)是G上的一个模糊(拟)伪度量.本文主要研究了由(M,*)在G上诱导的拓扑τ_M.主要结果有:设G是一个抽象群,(M,*)是G上的一个模糊伪度量,如果(M,*)是不变的,那么(G,τ_M)是一个拓扑群.     

一类含时滞反应扩散方程波前解的存在性

利用J.Wu和X.Zou(J.Dynam.Diff.Eqns.,2001,13(3):651～687.)建立的解的存在性理论,研究 2u1(x,t) u1(x,t) t=D1b1+a1u2(x,t-τ2)], x2+r1u1(x,t)[1-u1(x,t-τ1) u2(x,t) 2u2(x,t) t=D2b2+a2u1(x,t-τ4)], x2+r2u2(x,t)[1-u2(x,t-τ3)的行波解,其中x∈R,t∈R,ui(x,t)∈R,Di>0,ri>0,ai>0,bi>0,i=1,2,a1a2<1,τj>0,j=1,2,3,4,得到了这个系统波前解存在的充分条件.     

Fuzzy拓扑空间的奇异同调群

设L是具有逆序对合映射的完全分配格,(X,τ)是L■fuzzy 拓扑空间.本文的目的是引进Fuzzy 代数拓扑中的一个重要概念——Fuzzy 拓扑空间(X,τ)的奇异同调群H_n〔X,τ),Z〕,n=0,1,2,…,它以分明情形为特款;并证明它是Fuzzy 同胚的不变量.     

τ-C_(11)模的直和分解

设τ=(T,F)是遗传挠理论.该文研究了τ-C_(11)模的性质.证明了τ-C_(11)模的直和仍是τ-C_(11)模,讨论了τ-C_(11)模关于直和项的封闭性.进而,证明了M是τ-C_(11)模当且仅当存在M的直和项K,使得M=Z~2_τ(M)■K,并且Z~2_τ(M)和K都是τ-C_(11)模.     

脉冲依赖状态的发展方程初值问题解的存在性

研究Rn中脉冲依赖状态的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t))a.e.t∈J=[0,a],t≠τk(u(t)),k=1,2,…,m;u(t+)=Ik(u(t)),t=τk(u(t)),k=1,2,…,m;u(0)=u0解的存在性.其中-A生成Rn的等度连续C0-算子半群的生成元.在f满足较弱的L1-Caratheodory条件下,逐段使用Schaefer不动点定理获得其mild解的存在性结果.     

一类高阶中立型微分方程的正周期解

用全连续算子与压缩算子和的Krasnoselskii不动点定理研究高阶中立型时滞微分方程d~n/dt~n(u(t)-cu(t-δ))+M(u(t)-cu(t-δ))=f(t,u(t-τ_1),…,u(t-τ_m))正2π-周期解的存在性,其中:δ0;0c1;M0为常数;f:R×[0,∞)~m→[0,∞)连续,关于t以2π为周期;τ_1,τ_2,…,τm≥0为常数,获得了该方程正周期解的存在性与多重性结果.     

Lyaponov函数与方程的指数衰减性

研究了以下2类抽象发展方程解的指数衰减性.其中一类为非线性波方程utt-Δu+a∫t0g(t-τ)Δu(τ)dτ+but=u|u|p-2,另一类则为带线性记忆的双曲型方程utt+αut-k(0)Δu-∫+∞0k’(s)Δu(t-s)ds+u|u|p-2=0.利用已有的相关定理,通过构造合适的Lyaponov函数,借用一定的计算技巧从而得到以上方程解的指数衰减性结论.该结论在光学、流体力学、通信等自然科学领域具有非常重要的实际意义.     

奇异半正微分系统边值问题正解的存在性

利用不动点定理,考虑了二阶两点奇异半正微分系统边值问题的多个正解的存在性。该微分系统的非线性项f1(t,u,v),f2(t,u,v)可能在t=0,t=1,u=0,v=0奇异并且可能在某些t,u,v处为负。     

中立型方程的稳定性：边界准则

研究了中立型方程x‘(t)=Lx(t) Mx(t-τ） Nx‘（t-τ）的渐近稳定性,其中L,M,N∈Cd*d是常数复阵,τ为常数时量,利用在一个区域边界上对一种相应的调和函数的估计,得到了判别其稳定性的两种稳定性准则。     

一类非线性椭圆型方程边值问题的近似解

本文主要讨论一类非线性椭圆型方程边值问题在Galerkin投影近似下,其近似解的存在性,并证明了其一致有界的近似解序列在集合收敛意义下,也收敛于它的有界解。     

关于变换半群的子群结构

本文主要讨论变换半群的子群的性质和结构,得到的主要结果是:定理1 设B是A的一个非空子集,H是M(B)的一个子群,则有M(A)的子群G使得G_B=H且G与G_B同构。定理2 (1)设G是M(A)的一个子群,e是G的单位元,则G是M(A)的一个极大子群当且仅当G_Ae=∑_(Ae)。(2)M(A)的任何两个不同的极大子群之交是空集。     

多个区间上平稳序列的最大值及最小值

在条件D(υ_n,u_n),D′ (υ_n,u_n)下,本文将平稳序列的最大值与最小值的渐近独立性推广到有限个不相交区间上,得到定理 {ξ_n}为平稳序列,满足D(υ_n,u_n),D′(υ_n,u_n),u_n=x/a_x+b_x,υ_n=-y/c_n+d_n,a_n>0,c_n>0,J=(α_in,β_in,),i=1,2,…,s,0≤α_1<β_1≤α_2<β_2≤…≤α_n<β_n<∞.如果P(α_n(M_n-b_n)≤x,c_n(M_n-d_n)>-y)→G(x,y)     

关于指数丢番图程ax+by=cz的一个Jacobi 符号

设r是大于 1的奇数 ,u ,v是适合 2 ｜u ,gcd(u ,v) =1,u >2rv/π的正整数 .又设a ,b ,c是适合a+b - 1=(u+v - 1) r 以及c=u2 +v2 的正整数 .确定了Jacobi符号的值 .这一结果有助于指数Diophantine方程ax+by =cz 的求解     

近双三图的两个定理

本文考虑一类有向图(一近双三图)的性质,用归纳法证明一些近双三图中存在一些特别的子图—可调形。     

没有某些圈的平面图的3可选择性

设G=(V,E)是一个图,对G的每一点v给一颜色集L(v).G称为L列表可染的,如果存在G的点染色f满足:f(u)≠f(v),(u,v)∈E(G),且f(u)∈L(u),u∈V(G).G称为k可选择的,对于任何列表L(v)(这里每一个L(v)恰有k个元素)G都是L列表可染的.本文研究了没有某些圈的平面图的可选择性,证明了没有4,5,7,10圈的平面图是3可选择的.     

树的孤立点

设G=(V,E)为连通图,L为它的Laplace矩阵,Y为L的对应于特征值λ的特征向量.相对于向量Y,顶点u∈V称为是G的孤立点,如果Y[u]=0,并且对任意与u相邻的顶点v,均有Y[v]=0.论文证明:对于树T,如果mL[T-v](λ)=mL(λ),则对λ的任意特征向量Y,v都是孤立点.