非线性Caputo型分数阶微分方程耦合系统边值问题解的存在性和唯一性

研究了一类带有积分边界条件非线性Caputo型分数阶微分方程耦合系统{~cD~αu(t)+f(t,ν(t))=0,0t1,~cD~βν(t)+g(t,u(t))=0,0t1,u(0)=u′(0)=…=u~((n-2))(0)=u~((n))(0)=0,u(1)=λ∫01u(s)ds,ν(0)=ν′(0)=…=ν(n-2)(0)=ν(n)(0)=0,ν(1)=λ∫01v(s)ds解的存在性和唯一性问题.利用Schauder不动点定理和Banach压缩映射原理,得到了该耦合系统解的存在性和唯一性的充分条件,并举例说明定理的有效性.     

λ=1的强正则图的必要条件

研究了参数为(ν,κ,λ,μ)且λ=1的强正则图的必要条件.说明了当,λ=1时,κ必为偶数,进而得到κ和μ应满足的一些关系式.     

n阶α次积分C半群的逼近

借助算子半群逼近的相关理论及经典算子理论的研究方法,对算子A,An分别次生成的n阶α次积分C半群{T(t)}t≥0和{Tn(t)}t≥0,在一定条件下,当Tn(t)x逼近于T(t)x,则有Rc(λ,An)x逼近于Rc(λ,A)x,反之也成立.从而丰富了n阶α次积分C半群的研究内容.     

t=3和4时平衡t叶三元系存在性

研究了平衡t叶三元系的存在性,给出了平衡t叶三元系存在的必要条件.利用循环三元系和横截设计证明了平衡3叶三元系的充要条件是λ(v-1)≡0(mod 18)且v≥7;平衡4叶三元系存在的充要条件是λ(v-1)≡0(mod 24)且v≥9.     

完全多重图λKν的{p2*,p3}-因子分解

λKν是完全多重图.如果λKν的边集可以划分成一个p2-因子和若干个p3-因子的并,则称λKν存在{p2*,p3}-因子分解.文章主要研究完全多重图λKν的{p2*,p3}-因子分解的充分必要条件为:(1)λ≡1(mod 4),ν≡6(mod 12)或(2)λ≡3(mod 4),ν≡0(mod 12).     

微分方程系渐近等价关系的一个定理

讨论线性微分方程系(1)ax/dt=A(t)x A(t)对t≥0连续有界。对于实数λ,如果dx/dt=(A(t)-λE)x不具有指数型二分法,就称λ是系统(1)的谱点。其中,E为n阶单位方阵,n为向     

指数有界双连续n阶α次积分C半群的逼近

利用经典算子半群理论中的研究方法，基于双连续n阶α次积分C半群的生成定理，讨论了指数有界双连续n阶α次积分C半群的逼近定理。{T(t)}_t≥0，{Tn(t)}_t≥0分别是由A、A_n次生成的指数有界双连续n阶α次积分C半群，在一定条件下，可以得到Ra(λ，A_n) x→Ra(λ，A) x与T_n(t)x→T (t)x等价。研究结果推广了n阶α次积分C半群相关的逼近定理。     

具有脉冲的时滞方程x′（t）=r（t）1—ex（t—x）／1λe^x（t—τ）的解的渐近分析

考虑具有脉冲的时滞方程x′(t) =r(t) 1-ex(t-τ)1+λex(t-τ) ,t≥t0 ,t≠tk,k=1,2 ,… ,x(t+ k) -x(tk) =bkx(tk) ,k =1,2 ,… ,( )其中τ >0 ,λ>0 ,r(t)∈C([t0 ,+∞ ) ,R+ ) ,bk>- 1且 {tk}满足t0 相似文献   

关于MTS（υ，2）与MTS（υ，3）的支撑数的谱

一个ν阶λ重Ｍｅｎｄｅｌｓｏｈｎ三元系ＭＴＳ（ν，λ）中不同区组的个数ｂ叫作这个ＭＴＳ（ν，λ）的支撑数．对给定的ν与λ，令ＳＭ（ν，λ）＝｛ｂ｜存在支撑数为ｂ的ＭＴＳ（ν，λ）｝．ＳＭ（ν，λ）叫作ＭＴＳ（ν，λ）的支撑数的谱．研究λ＝２与３时ＭＴＳ（ν，λ）的支撑数的谱，并且在λ＝２的情形给出了ＳＭ（ν，２）的完整刻划，在λ＝３的情形，给出了ＳＭ（ν，３）的近于完整的刻划．     

渐近等价定理

讨论线性微分方程系A(t)对t≤0为连续有界,即有正实数κ,使‖A(t)‖≤κ。对于实数λ,如果系统不具有指数型二分法,就称λ是系统(1)的谱点。其中,E为n阶单位方阵,n为向量x的维数。 众所周知,(1)的谱点集合为有限个闭区间(此闭区间可以退化为一点),其个数不超过n。如果有非退化的闭区间出现,就说(1)具有连续谱,否则就说(1)具有     

二元一阶常系数线性微分方程组的新解法

对于二元一阶常系数线性微分方程组:x′=Ax+f(t),引入特征根方程|A-λE|=0的特征行向量K=(k_1,k_2)(其中K满足:K~T(A-λE)=0)概念,将二元一阶常系数线性微分方程组,化为二元一次代数线性方程:k_1x_1+k_2x_2=C_1e~(λt)+e~(λt)∫(k_1f_1+k_2f_2)e~(-λt)dt,并结合代数线性方程和一阶线性微分方程的理论,给出原微分方程组的解.     

带有强阻尼时滞项的m-Laplacian型波方程解的爆破

研究带有强阻尼时滞项的m-Laplacian型波方程:utt-Δmu-Δu+g*Δu-μ1Δut(x,t)-μ2Δut(x,t-τ)=(u)p-2u解的爆破:当初始能量00,ν>0,t≥0),在(0,t)...     

分数阶混合差分方程边值问题解的存在性

本文研究分数阶混合差分方程边值问题Δν〖JB(［〗〖SX(〗x(t)〖〗f(t,x(t))〖SX)〗〖JB)］〗=g(t+ν－1,x(t+ν－1)),x(ν－2)=x(ν+b)=0 解的存在性, 其中 g∈C(［ν－1,ν+b－1］Nν－1×〖WTHZ〗R,R〖WTBX〗),f∈C(［ν－2,ν+b］Nν－2×〖WTHZ〗R,R〖WTBX〗＼{0}) 且 1<ν≤2. 我们给出该问题解的表达式, 并运用布劳威尔不动点定理和上下解方法得到了解的两个存在性定理.     

具有棱凝聚度≤1的顶点之个数估计

本文证明:当简单图G的棱连通度λ=1或当G的阶n≤2λ(λ≥2)时,G的任何点x部满足其梭凝聚度c’(x)≤1; 而当n>2λ(λ≥2)时,满足c’(x)≤l的顶点x的数目至少有(λ+2)个。     

分数阶混合差分方程边值问题解的存在性

本文研究分数阶混合差分方程边值问题Δν〖JB(［〗〖SX(〗x(t)〖〗f(t,x(t))〖SX)〗〖JB)］〗=g(t+ν－1,x(t+ν－1)),x(ν－2)=x(ν+b)=0 解的存在性, 其中 g∈C(［ν－1,ν+b－1］Nν－1×〖WTHZ〗R,R〖WTBX〗),f∈C(［ν－2,ν+b］Nν－2×〖WTHZ〗R,R〖WTBX〗＼{0}) 且 1<ν≤2. 我们给出该问题解的表达式, 并运用布劳威尔不动点定理和上下解方法得到了解的两个存在性定理.     

W(2)到Kac模的0阶上同调

确定了特征p≥3的域上Witt型模李超代数W(2)到所有限制以及非限制Kac模K_S(λ)的0阶上同调.得出以下结论:当S=0,λ=(0,2)时,W(2)到限制Kac模K_S(λ)的0阶上同调空间是一维的;否则,W(2)到Kac模K_S(λ)的0阶上同调空间都是零维的.     

强连续余弦算子函数的不可约性

讨论了强连续余弦算子函数的不可约性及其共轭扰动余弦算子函数的不可约性,建立了以下两个结果:1)设(X,‖·‖)为Banach格,{C(t)}t≥0是正的强连续余弦算子函数,B∈B(X,XΘ)是一个正算子,那么,扰动余弦算子函数{CB(t)}t≥0是不可约的充要条件为:J={0}及J=x是仅有的满足C(t)J J,K(λ)J J的闭理想,这里t≥0,K(λ)=R(λ2,AΘ)B.2)设{C(t)}t≥0是Banach格上的具有生成元为A的正余弦算子函数,则以下论断等价:①{C(t)}是不可约的;② 0>0;③对λ>S(A),R(λ2,A)是强不可约的;④对λ>S(A),R(λ2,A)是不可约的.     

一类单叶函数的从属结果

设函数f(z)=z+a_2z~2+a_3z~3+…属于K类(单位圆盘D内凸象函数)或S类(D内单叶函数)。对于全体实数λ,μ和ν,本文讨论D内函数类(λz)/(1-μa_2z-νa_3z~2)。给出单叶条件及其象区域。并对K中所有函数f(z),绐出z/2(?)(λz)/(1-μa_2z-νa_3z~2)(?)f(z)的必要条件和(λz)/(1-μa_2z-νa_3z~2)(?)f(z)的充分条件。对S中所有函数f(z),给出z/4(?)(λz)/(1-μa_2z-νa_3z~2)(?)f(z)的必要条件及(λz)/(1-μa_2z-νa_3z~2)(?)f(z)的充分条件。     

r-正则图的边连通度和k-对等性质

既是κ-覆盖又是κ-消去的图称为κ-对等图．给出了边连通度为λ的r-正则图是后．对等图的若干充分条件，得到了如下结论：设r，κ，λ均为正整数，G是边连通度为λ的r-正则图，λ≥2且｜V（G）｜为偶数、若r／λ≤κ≤r-r／λ，则G是κ-对等图．设r为奇数，后为偶数，G边连通度为λ（G）=λ≥2的r-正则图，λ^＊=2[λ／2]＋1．若2≤κ≤r-r／A^＊。则G为κ-对等图．     

拟常曲率空间及射影变换

拟常曲率空间M(维数大于2)是曲率张量满足下面条件的黎曼空间: K_(ωνμ)~λ=a(δ_ω~λg_(νμ)-δ_ν~λg_(ωμ))+b(δ_ω~λV_νV_μ-δ_ν~λV_ωV_μ+V_ωV~λg_(νμ)-V_νV~λg_(ωμ)),(1)其中a,b是数量函数,V_λ是M的单位生成向量场,g_(λμ)是空间M的基本度量张量。本文主要是给出这种空间的几个性质。