二阶脉冲微分方程解的等价性

本文研究的是二阶非齐次脉冲微分系统:{-u·(t)+ρ2u(t)=f(t,u(t)),t∈J,t≠tk(k=1,2,…,p)△u't=tk=-Ik(u(tk),u'(tk)),(k=1,2,…,p)u(0)=u(2π),u'(0)=u'(2π)=0,首先,利用常数变易法得到阶非齐次脉冲微分在连续情形下解的等价积分方程:u(t)=∫2x,0(t,s),(s,u(s))ds,t∈J其次,又利用还原的方法得到了二阶非齐次脉冲微分在一介导数带脉冲情形下解的等价积分方程:u(t)=∫2x,0 G(t,s)f(s,u(s))ds+∑p,k=1 G(t,tk)Ik(u(tk),u'(tk),u'(tk))     

一维离散p-Laplacian边值问题多个解的存在性

运用Brouwer度理论发展了一维离散p-Laplacian边值问题△(w(k)φp(△u(k-1)))+f(k,u(k))=0,k∈[1,T]Z,u(0)=0,u(T+1)={0的上下解方法,并获得了其多个解的存在性,其中,[1,T]-2Z:={1,2,…,T-1,T},φp(s)=|s|p s,p1,f:[1,T]Z×R→R连续,R=(-∞,+∞),w(k):[1,T+1]Z→(0,+∞).     

拟线性分数阶高阶脉冲微分方程边值问题解的存在性

研究了以下一类拟线性分数阶高阶脉冲微分方程边值问题{Dq0+y(t)=A(t,y)y(t)+f(t,y(t),Φy(t),Ψy(t)),■t∈[0,1],q∈(n-1,n],y(i)(0)=0,Δy(i)|t=tk=0,1≤i≤n-2,k=1,2,…,p,Δy|t=tk=Ik(y(t k)),Δy(n-1)|t=tk=Jk(y(tk)),k=1,2,…,p,y(0)=y0+g(y),y(n-1)(1)=y1+∑m-2j=1bjy(n-1)(ξj)解的存在性。通过定义一个压缩映射并利用Banach不动点定理和Krasnoselskii's不动点定理,得到了边值问题存在唯一解和至少存在一个解的充分条件,最后分别给出一个例子来验证主要结果。     

Banach空间含导数项的二阶脉冲微分方程的解

讨论了抽象空间中非线性项含一阶导数的二阶脉冲微分方程边值问题{-u″(t)=f(t,u(t),u'(t)),t≠tk,t∈J=[0,1],-Δu'|_(t=t_k)=I_k(u(t_k),u'(t_k)),k=1,2,…,m,u(0)=θ,u(1)=θ解的存在性与唯一性,其中f∈C(J×E×E,E),I_k∈C(E×E,E),k=1,2,…,m.通过选取恰当的工作空间及等价范数,在非线性项f(t,x,y)及脉冲函数Ik满足较一般的非紧性测度条件下,结合新的非紧性测度估计技巧与凝聚映射的Sadovskii不动点定理,得到解及正解的存在性结果.此外,进一步讨论该问题唯一解的存在性.     

关于整系数不可约多项式的判别法

本文给出了n次整系数多项式在有理数域上存在次数至少为k+1(k相似文献   

多调和算子组的谱估计

设Ω是R~m(m≥2)中一个有界区域,考虑多调和算子组的特征值问题AΛ(△)u~T=λu~T,x∈Ωu~k=(?)u~k/(?)n=…=(?)~(k-1)u~k/(?)n~(k-1)=0,x∈(?)Ω,k=1,2,…,N其中,u=(u~1,u~2,…,u~N),n是(?)Ω的单位外法向量。将特征值按增加的顺序排列为0<λ_1≤λ_2≤…≤λ_n≤…则成立如下不等式λ_(n 1)≤λ_n 4/m~2n~2(sum from i=1 to n sum from h=1 to N λ_i~(1/k))(sum from i=1 to n sum from k=1 to N k(2k m-2)λ_i~(1-1/k)) sum from i=1 to n sum from k=1 to N λ_i~(1/k)/λ_(n 1)-λ_i≥m~2n~2/(sum from i=1 to n sum from k=1 to N 4k(2k m-2)λ_i~(1-1/k))     

关于相关数列极限的注记

设 k 为某一自然数,数列{x}、{y}当n>k 时满足y_n=C_0x_n+C_1x_(n-1)+…+C(?),则称{y_n}为{x_n}的相关数列.设 g_1(t),g_2(t),…,g(t)在 u(t_0)内严格单调且连续,g(t_0)=x_0,i=1,2,…,k.g_i(t)的反函数为 g~(-1)(x),它在 u(x_0)内严格单调且连续,g~(-1)(x_0)=t_0,i=1,2,…,k设F(t)=C_1f〔g_1(t)〕+C_2f〔g_2(t)〕+…+Cf〔g(t)〕,且存在 l,1≤l≤k,使|C_1|>(?)|C_i|.     

抛物型方程变步长显格式的步长选取

对抛物型方程已有古典显格式算法可求其数值解: u_j~k=u_j~(k-1)+r(u_(j+1)~(k-1)-2u_j~(k-1)+u_(j-1)~(k-1))+τf_j~(k-1),其中f_j~k=f(jh,kτ),u_j~k是相应点u(x,t)的近似值,h,τ分别是关于x方向和t方向的步长,r=(aτ)/h~2.     

具有时滞的离散互惠系统的周期解

本文研究了一类散互惠系统x(k+1)=x(k)exp[r1(k)(1-(x(k-τ(k)))/(k1(k)))+a(k)y(k)] y(k+1)=y(k)exp[r2(k)(1-(y(k-τ(k)))/(k2(k))+b(k)x(k)],,运用迭合度和与其相关的连续性定理及先验估计,得到了系统存在正周期解的易于验证的充分条件,也就是,若下列条件i)ri(i=1,2),kj(j=1,2),a,b:Z→R+是ω周期的;ii)aL>(r1/k1)M,bL>(r2/k2)M;iii)rL1>aMkM1满足,则系统至少有一个正的ω周期解,所得结果是前人工作的重要的补充。     

一类更广泛的Korteweg-de Vries方程的初边值问题

本文利用Galerkin方法和解的先验估计,研究了一类更广泛的Korteweg-de Vries方程的初边值问题。 u_t+f(u)_x-αu_(xx)+u_(xxx)=0 (x,t)∈R~+×[0,T] u(x,t)|_(t=0)=u_0(x) x∈R~+ u(x,t)|_(x=0)=0 u(x,t)→0 (x→∞)及 u_t+f(u)_x-u_(xxx)=0 u(x,t)|_(t=0)=u_0(x) x∈R~+ u(x,t)|_(x=0)=u_x(x,t)|x=0=0 u(x,t)→0,(x→∞)弱解的存在性,在适当的条件下,还可以得到古典解的存在性。     

全空间上带 Hardy-Sobolev 临界指数的拟线性椭圆方程变号解的存在性

讨论了全空间上一类带Hardy-Sobolev临界指数的拟线性椭圆方程{-Δpu-μ|u|p-2 u/|x|p=λ|u|p(t)-2/|x|tu+f(x,u),x∈RNu∈D01,p(RN)其中:D01,p(RN)是C0∞(RN)的闭包,Δpu=-div(|▽u|p-2▽u),20,0≤t相似文献   

二阶脉冲微分方程的解的渐近性态

研究得到二阶脉冲微分方程{p(t)x'(t)' a(t)x(t)=0,t≥t0,t≠tk,k＝1,2,… x(tk^ )=gk(x(tk)),x'(tk^ )=hk(x'(tk)),k=1,2…的解有界或趋于零的充分条件。     

KUKN—TUCKER定理的推广

对于多目标规划问题厂v一m in(fl(?),fZ(,),…,fp(,))x〔E。(vp)谧 仁g;(:)》o1,2,·一”1相应的(vKT)条件是夕乙 优入;fa二(x)一乙u 595二(x)=0厂!日!伙11!以(vKT)91(x)>0u.>0,u 59:(“)==0久;=1,入;》0=1,2,…,P 刁lp艺一一并有如下推广了的K“kn一TuC瓦沙定理。 定理1设f;(X)(艺=1,2,…,p),一g,(x)(j=1,2,…,,”)为具有一阶连续偏导数的凸函数。记入=(久1,认2二,冲)T,以下结论成立:(i)若x,u,入满足(vKT)条件,且 a.入〔八+,则刃〔R’,p,b.入〔八十‘,则一〔R·p.,c.入〔+八,又二唯一,则又 任R.,。 其中,八+=王(久1,入2,…,入p)1入:…     

带临界指数非线性椭圆方程非平凡解的存在性

讨论了有界区域上的Dirichlet问题-△u-λu=α(x)│u│~(p-1)u+f(x,u),x∈Ω,u=0,x∈Ω非平凡解的存在性。其中 p=(n+2)/(n-2),n≥3,f(x,u)是关于│u│的增涨阶低于p的连续函数,λ是正参数。我们先证明了一个不具(PS)条件的临界点定理。据此并利用Sobolev嵌入定理的最优常数,克服了失去紧性的困难,从而得到非平凡解的存在性。与Brezis—Nirenberg结果不同的是,我们没有假设λ<λ_1,λ_1是-△:H_0~1(Ω)→H~(-1)(Ω)的第一本征值。     

VFS收敛的Dini判别法

Walsh引进函数φ_0(x+1)=φ_0(x),φ_n(x)=φ_0(2~nx)。由此得到[0,1]上完全正交系{φ_n(x)}。这里φ_0(x)=1, φ_n(x)=φ_n_1(x)·φ_n_2(x)…φ_n_r(x), n=2~n1+2~n2+…+2~nr,而n_(i+1)相似文献   

孙子定理的一种推广形式

本文给出了孙子定理的一种推广形式,并得到了它的解的表达式及解的个数。 孙子定理;设m_1,m_2…,m_k,是k个两两互质的正整数,m=Ⅱm_i,M_i=llm_j(j=1,2,…,k),则同余式组 的解是:x≡sum(M_j~'M_Jb_j)mod(m) 这里M_j~'M≡1 mod(m_j)(j=1,2,…,k),并且解是唯一的。     

全正矩阵的逆阵的P—范数的一个性质

首先引进必要的定义和記号。定义.n×n的方陣是全正的,是指它的任何子陣的行列式。A_r~(-1):=(α_(ij)~((r)))_(i,j)~r表示A_r的逆陣,r=1,2,…,n。向量x∈R~n的p范数定义为‖x‖_p:=(sum from i=1 to n(|x_i|~p))~(1/r),相应的矩阵,A_n的p范数定义为‖A_n‖_p:=(?)(‖A_nx‖_p)/(‖x‖_p)。     

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

研究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解的存在性结果.     

非线性项变号的奇异p-Laplacian动力方程正解的存在性

考虑了非线性项是变号的m-点奇异p-Laplacian动力方程(ψ_p(u~'(t)))~'+q(t)f(t,u(t))=0,t∈(0,1),u(0)=0,ψ_p(u'(1))=∑m-2i=1ψi(u~'(ξ_I)),其中ψ~p(s)=|s|~(p-2)s,,p>1,ψ~i:R→R是连续的、不增的,0<ξ_1<ξ_2<…<ξ_(m-2)<1.利用schauder不动点定理和上下解方法,证明了上述边值问题正解的一些存在性法则.作为应用,给出了一个例子验证了主要结果.     

非局部波动方程组解的半无界问题

主要考虑半无界域上非局部波动方程组的初边值问题:2u1t2=Δu1+‖u2(.,t)‖p,2tu22=Δu2+‖u1(.,t)‖q,0x+∞,t0,u1(x,0)=f1(x),u2(x,0)=f2(x),u1t(x,0)=g1(x),ut2(x,0)=g2(x),0x+∞,u1(0,t)≡0,u2(0,t)≡0,t0。(1)根据对称性,假定p≤q,证明了当0pq≤1时(1)的解全局存在;假定Φ1(T)=∫T+∞φ1(x)dx=O(T-α1),Φ2(T)=∫T+∞φ2(x)dx=O(T-α2),证明了当2+2/qα1+pα2,而且pq1时,(1)的解在有限时刻爆破。