四阶四点边值问题的上下解方法

应用单调迭代法建立了一类四阶四点边值问题｛u~(4)(t)=f(t,u(t)),0相似文献   

一类线性偏微分方程的相似解

研究方程((e)u)/((e)t)=xpΔu, (x,t)∈R2×(0, ∞)的具有形式u(x,t)=(t 1)λw(ξ)的相似解的存在惟一性及渐近性质,这里0≤p<2,λ∈R,ξ=(xβ)/((t 1)α),α>0,β=α(2-p).     

非线性项变号的奇异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不动点定理和上下解方法,证明了上述边值问题正解的一些存在性法则.作为应用,给出了一个例子验证了主要结果.     

四阶四点边值问题的上下解方法及正解存在性

应用单调迭代法建立四阶四点边值问题u(4)(t)=f(t,u(t)),0相似文献   

非齐次渗流型方程解的存在性和渐近状态

本文讨论一类非齐次渗流型方程的初边值问题: a/(at)u-△β(u)+▽·G(u)=f_1(x,t)+f_2(x,t)|u|~μu, u|_(aΩ)=0,u(x,0)=u_0(x). 我们从非退缩方程的初边值问题着手,导出对解的估计的一个微分不等式,由此可以建立上述问题广义解的存在性和渐近性的结论。本文的工作是[3]的改进和推广。     

一类泛函边值问题正解的存在性

讨论方程u″ a(t)f(u)=0在边界条件u’(0)=u(b)-u(a)，u(1)=∫α^βu(ξ）dξ下正解的存在性，给出了该问题至少存在一个正解的存在性定理．     

一类复Schrdinger方程和实Klein-Gordon方程耦合方程组解的整体存在性

本文主要对下面一类复非线性Schrodinger方程和实非线性Klein-Gordon方程的耦合方程组(1)研究其解的整体存在性和渐近性态,这里f,g满足|f(λ)|,|g(λ)|=O(|λ|~(α 1)) 在λ=0附近(2)其中λ=(λ_0,λ_1……λ_(n 1),λ_(n 2)),α是≥1的整数。我们在适当的光滑性的假定下,证明了当n>2α 2/α~2时,问题(1)对“小”初值存在唯一的整体光滑解u,v,且当t→ ∞时,u,v具有衰减性质||u(t)||_L~(2α 2)=O(t~(-απ/2α 2),||v(t)||_L~(2α 2)=O(t~(-απ/2α 2)。     

二阶弱双曲方程的混合边值问题

在柱形区域Q_T=Ω×[0,T]内考虑下述弱双曲方程的混合边值问题其中Ω是R~n中具有光滑边界的紧流形,系数光滑且属于(?)(Q_T),且本文有下述定理:若条件(1.4)-(1.7)满足,且α_(ij),α_1,α_o,α,b_j∈(?)(Q_T),α_(ij)(x,t)ξ_iξ_j≥则问题(1.1)～(1.3)存在唯一解u∈H~(∞)(Q_T),文[5]的结果是定理当α≡1,α_(ij)=t~k(?),(?)ξ_iξ_j≥d|ξ|~2的特殊情况.     

一类高阶非线性微分方程解的渐近性

研究了 2n阶微分方程的渐近性 ,得到了如下两个结果 .在E×R上有f(t,z)z≥ 0 ,且对于每一有界子集I,f(t,z)在E×I上有界 ,则 (A)方程(- 1) nu( 2n) f(t,u) =0 ,E =(α ,∞ ) ,u(i) (ξ) =0 ,i=0 ,1,2 ,… ,n- 1,ξ∈ (α ,∞ ) ,的每一非平凡解都是无界 .(B)假设在R×R上f(t,z)z≥ 0 ,且对于每一有界子集I,f(t,z)在R×I上有界 ,则方程 (- 1) nu( 2n) f(t,u) =0在R内的每一有界解都是常数 .这些结论推广了JonesGD (1991)的结果     

RN上奇异非线性P--调和方程的正整体解

本文研究形如△((△u)p-1*)=f(|x|,u,|(△)u|)u-β的奇异非线性p-调和方程在RN上的正整体解,此处1＜p≤N/2,β≥0是常数,N≥3,f-R+×R+×-R+→R是一个连续函数,ξa*=|ζ|α-1ξ,ξ∈R,α＞0,给出了该类方程具有无穷多个(1)有界的,(2)其渐进阶刚好为|x|(2p-N)/(p-1)(当p＞N/2)或logt(当p=N/2)的正整体解的条件.     

一类流行病数学模型解的研究

该文讨论了如下一类非线性抛物线方程组解的性质｛(e)u/(e)t=d1△u-a11u+∫Ωk(ξ)v(ξ,t)dξ (e)v/(e)t=d2△v-a22v+um (x,t)∈Ω×(0,∞) u(x,0)=u0(x) v(x,0)=v0(x) x∈Ω (1) B[u]=a(x)(e)u/(e)n+β(x)u=0 B[v]=a(x)(e)v/(e)n+β(x)v=0 x∈(e)Ω 利用微分方程上、下解方法证明了初值适当小时,方程存在整体解;初值适当大时,解在有限时间上爆破,推广了文献[1]的结果.     

二阶微分方程m点边值问题的可解性

考虑如下m点边值问题解的存在性:u″=f(t,u,u′)+e(t)(00,i=1,2,…,m-2;0<ξ1<ξ2<…<ξm-2<1;∑m-2i=1aiξi≠1.通过对一族边值问题解的先验估计,利用Leray-Shauder连续性定理,得到解的存在性.     

一个超临界高耗散三维Navier-Stokes方程的整体解

研究了全空间R3中一个超临界高耗散Navier-Stokes方程模型的整体正则性,此模型修正了经典Navier-Stokes方程中的耗散项,方程中耗散项Δu被-D~2u替代,这里D是一个傅里叶乘子,当D的特征是m(ξ)=|ξ|~α,α≥5/4时,Navier-Stokes方程临界和超临界高耗散情形的整体正则性已经得到了证明.考虑当D的特征m(ξ)=|ξ|~α/g(|ξ|),α≥5/4时的整体正则性,其中ξ任意充分大,g:R~+→R~+为非减函数,满足∫_1~∞ds/(sg(s)~4)=+∞.通过经典的能量方法,在更弱的条件下证明了该模型的整体正则性.     

三维部分粘性Boussinesq方程的对数型正则性准则

主要讨论当扩散系数κ=0时,三维不可压Boussinesq方程光滑解的对数型正则性准则,采用能量估计的方法证明了如果速度满足integral from 0 to T ‖▽×u‖_(BMO)/( ln(e+‖▽×u‖_(BMO)))~(1/2)dt∞,则光滑解(u,θ)在(0,T)可以延拓到t=T.     

一类中立型双曲微分方程的强迫振动性

本文研究了一类双曲微分方程2/t2[u+c(t)u(x,t-τ)]=a0(t)Δu+a1(t)Δu(x,t-ρ)-a∫bq(x,t,ξ)f(u[x,g(t,ξ)])du(ξ)+g(x,t),(x,t)∈Ω×R+≡G,在边界条件下u/N+v(x,t)u=0,(x,t)∈uΩ×R+解的振动性问题,得到c(t)≥1情况下边值问题解的振动条件。     

一类半线性退化抛物方程的全局吸引子

利用Sobolev嵌入定理和渐近先验估计方法研究一类半线性退化抛物方程在?tu(x, t)=Δ_λu(x, t)+f(u(x,t))+g(x)解的长时间行为,其中非线性项f满足任意p-1(p≥2)次多项式增长,得到了半群{s (t)}_(t≥0)在L~2 (Ω),L~p(Ω)(p2)中的紧性,并由此得到L~2(Ω),L~p(Ω)中全局吸引子的存在性。     

三维空间中半线性波方程整体解的渐近性

研究三维空间中半线性波方程utt-△u=εf(u ,ε) ,　t >0 ,u(0 ,x ,ε) =u0 (x ,ε) ,ut(0 ,x ,ε) =u1 (x ,ε) ,(其中 x∈R3 ,u是一个实值未知函数 ,△ =∑3i =1 2 x2 i,ε充分小且 0 <｜ε｜≤ε0 1,)整体解的渐近性 ,得到了在C2 空间中时间T =∞时形式近似解的合理性及适定性 .这一结果描述了形式整体解的渐近行为     

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

用全连续算子与压缩算子和的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为常数,获得了该方程正周期解的存在性与多重性结果.     

奇异四阶m-点边值问题解的存在性

研究了四阶常微分方程m-点边值问题{u(4)(t)=f(t,u(t),u'(t)),a.e.t∈(0,1),u'(0)=0,u(1)=∑m-2 i=1 ai u(ξi),u?(0)=0,u″(1)=∑m-2 i=1 ai u″(ξi)解的存在性,其中ξi∈(0,1),i=1,2,…,m-2,0<ξ1<ξ2<…<ξm-2...     

一类两指标Volterra型随机积分方程解的存在性、唯一性

本文利用随机积分压缩函数的方法讨论两指标 Volterra—It0方程x(Z)=Φ(Z)+∫_(n1)(K(Z,ξ)f_1(ξ,X(ξ))dξ+∫_(n1)f_2(ξ,X(ξ))dB(ξ),Z∈R~2+其中 B(Z)是平面上 Win-nel-Yeh 过程。在较 Lip 更一般的条件下,得到解的存在唯一性。