二阶微分方程组边值问题2个正解的存在性

讨论了二阶微分方程组x″(t)+λa(t)f(x(t),y(t))=0,y″(t)+λb(t)g(x(t),y(t))=0,0≤t≤1,x(0)=y(0)=x′(1)=y′(1)=0,其中f,g连续,并赋予f,g一定的增长条件,证明了方程组至少存在2个正解。     

一类四阶三点边值问题解的存在性的上下解方法

设 f:[0,1]×R2→R连续,λ＞0 为常数,讨论四阶三点常微分方程:x(4)(t)-λxm(t)=f(t,x(t),x″(t))x(0)=x(1)=0,x″(0)=0,x″(1)-ax″(η)=0 边值问题的解的存在性,利用上下解方法给出了解的存在性结果.     

一类双边退缩的抛物型方程的Cauchy-Dirichlet问题——解的唯一性和极值原理

文[1]中讨论了下述Cauchy-Dirichlet问题. (I) (c(u))t=(a(u)u_x)_x+(b(u))_(xt) 在Q_r中 u(0,t)=0,u(1,t)=2 0相似文献   

二阶四点边值问题的三解存在性

讨论了二阶四点边值问题:-x″(t)=f(t,x(t),x′(t)), t∈I=［0,1］;x(0)=ax(ξ), x(1)=bx(η),其中0<ξ<η<1,0≤a,b≤1, f:［0,1］×［0,∞］→［0,∞］是连续的。利用拓扑度理论讨论了其多个解的存在性。     

一类非连续模糊系统与模糊Henstock积分

利用模糊Henstock积分理论,讨论了一类非连续模糊微分方程初值问题 x′(t)= f(t, x(t)), x(a)= x0解的存在性.这里不需要 f:[a,b]×E1E1是连续的.     

一阶常微分方程广义初值问题解的存在性

运用Leray-Schauder原理和上下解方法,讨论了一阶常微分方程广义初值问题x′(t)=f(t,x(t)),　a e t∈[0,T],x(0) ∫T0a(t)x(t)dt=c解的存在性.建立了该问题至少存在一个解的存在性定理.     

广义线性系统的极点配置

主要研究了广义线性系统-Ex(t)=Ax(t) Bu(t)，x(t0)=x0，t≥t0，y(t)=Cx(t) Du(t)的极点配置问题，利用矩阵的奇异值分解和矩阵的广义逆，得到了广义线性系统的奇异值标准形，使得广义线性系统的极点配置问题转变为正常系统的极点配置问题，从而给出广义线性系统极点配置的一种新方法。     

一类广义抛物型方程组的周期边界问题

本文用 Galerkin 方法讨论非线性抛物型方程组u_t+Au_(xxx)-Bu_(xx)-(gradg(u))_(xx)=f(x,t,u,u_x)(1)具有周期边界条件 u(x+2D,t)=u(x,t),t≥0,x∈R (2)及初始条件 u(x,o)=φ(x),x∈R (3)的整体广义解与整体古典解的存在唯一性。     

在半无限区间上二阶方程组边值问题的正解

半无限区间上的边值问题经常出现在应用数学的各种分支,Agarwal等人也对该类问题进行了讨论。然而,半无限区间上的非线性边值问题的一般理论还很不完善。本文讨论半无限区间上的二阶微分方程组x″(t)-k21x(t)+f(t,x(t),y(t))=0,y″(t)-k22y(t)+g(t,x(t),y(t))=0,x(0)=y(0)=0,limt→∞y(t)=0,其中f,g是非负t→∞x(t)=lim连续的函数,在具有Bielecki模的某一函数空间的一个锥K1×K2上定义积分算子A,利用锥上的Krasnoselskii不动点定理,赋予f,g一定的增长条件建立上述问题的正解存在性定理。同时,最近文献一个定理中的错误也被改正。     

一类半线性椭圆型方程的爆破解

讨论半线性椭圆型方程Δu=p(x)f(u),其中f(s)是(0,+∞)中非负连续可微的单调递增函数,且lims→0f(s)=0,lims→∞(f(s))/(s)=k(k＜∞),p(x)是RN(N≥3)中局部Hlder连续的非负函数.当p(x)=p(x)时,方程存在整体爆破解的充要条件是∫∞0tp(t)dt=∞;而当p(x)满足∫∞0tφ(t)dt＜∞,其中φ(t)=maxx=tp(x)时,方程存在整体有界解.     

四阶两点常微分方程边值问题解的存在性

讨论一类四阶两点常微分方程边值问题x(4)=f(t,x,x′,x″,x),边界条件的解的存在性,并给出相应的结论。其中边界条件如下:x(0)=A,x(1)=B,x″(0)=,x″(1)=, x(0)=A,x(1)=B,x″(0)=,x(1)=, x(0)=A,x(1)=B,x(0)=,x″(1)=, x(0)=A,x′(1)=B,x″(0)=,x″(1)=, x(0)=A,x′(1)=B,x″(0)=,x(1)=, x(0)=A,x′(1)=B,x(0)=,x″(1)=, x′(0)=A,x(1)=B,x″(0)=,x″(1)=, x′(0)=A,x(1)=B,x″(0)=,x(1)=, x′(0)=A,x(1)=B,x(0)=,x″(1)=。这些结论是在假设f(t,x,y,p,r)在形如［0,1］×Dx×Dy×Dp×I的区域内不变号的条件下给出的,其中Dx、Dy、Dp、I分别为某一区间。     

具有障碍的二阶Hamilton系统的周期解

二阶Hamilton系统:-=f(t,x)满足初始条件x(t)≥0,t∈R,且当x(t0)=0时,(t0-)=(t0+)=,在一定条件下,等价于系统{-=f(t,|x|)sgn(x),x(0)-x(2π)=(0)-(2π)=0{-=f(t,|x|)sgn(x),x(0)-x(2π)=(0)-(2π)=0本文使用非光滑情形下的一个新临界点定理得到系统(Ⅰ)或(Ⅱ)的一个周期解,进而得到二阶Hamilton系统的一个满足所述初始条件的解的存在性定理.     

两类非线性三阶三点边值问题解的存在性

研究非线性三阶微分方程x'=f(t,x,x',x″),t∈[0,1],分别满足三点边界条件x(0)=0,ax'(0)-bx″(0)=0,x'(1)=αx'(ξ)和x'(0)=βx'(η),x(1)=0,cx'(1)+dx″(1)=0的两类边值问题解的存在性.利用Leray-Schauder度理论,给出上述两类三阶三点边值问题解的存在性的若干充分条件.     

两类非线性三阶四点边值问题解的存在性

利用Leray-Schauder度理论,得到了非线性三阶微分方程x'=f(t,x,x',x″),t∈[0,1]分别满足下列四点边界条件x(0)=0,x'(0)=αx'(ξ),x'(1)=βx'(η)和x'(0)=αx'(ξ),x(1)=0,x'(1)=βx'(η)的两类边值问题解的存在性,并且作为应用给出了一个例子.     

一类拟线性微分方程组边值问题的3个正解

针对在分析非线性现象时,得到的许多数学模型仅仅是对正解有意义的问题,讨论二阶拟线性微分方程组(φｐ(ｘ′))′+ａ(ｔ)ｆ(ｔ,ｘ,ｙ)=0,(φｑ(ｙ′))′+ｂ(ｔ)ｇ(ｔ,ｘ,ｙ)=0在非线性边值条件ｘ(0)-Ｂ0(ｘ′(0))=0,ｘ′(1)=0,ｙ(0)-Ｂ1(ｙ′(0))=0,ｙ′(1)=0及ｘ′(0)=0,ｘ(1)+Ｂ0(ｘ′(1))=0,ｙ′(0)=0,ｙ(1)+Ｂ1(ｙ′(1))=0下的边值问题,其中ｆ,ｇ是非负连续的函数。利用5个泛函的不动点定理,并且赋予ｆ和ｇ一些增长条件得到至少存在3个正确的判据。     

模糊微分方程的边值问题

利用距离空间中的广义Schauder定理,在更一般的增长条件下,讨论了一类非齐次性的模糊微分方程x^n（t）=f（t,x（t））,x（0）=x0,x（1）=x1的边值问题的存在性,这时f是连续的模糊数值函数,推广了文献[4,5]的结果。     

Banach空间隐式常微分方程的解的存在性定理

证明了Banach空间中隐式常微分方程F(t,x,x’)=0，x(t0)=x0,x’(t0)=γ0的一个解存在的定理。运用Ascoli-Arzela定理，使结果比以往有了很大的改进。     

确定双曲型方程未知系数的反问题

本文在有界区域上讨论了一雏线性双曲型方程的初边值问题. {p(x)ux)x q(x)u(x,t) r(x)s(t), (x,t) ∈Ωu(x,0) =f1(x), u1(x,0) =f2(x), 0≤ x ≤ lαtu(0,t) β1ux(0,t)= g1 (t), α2u(l,t) β2ux(l,t)= g2(t), 0≤ x ≤ T 其中αi2 βi2≠0,i=1,2,由给定的平行附加条件u(x,t)=f3(x),确定未知函数r(x)的反问题,得到了反问题解的存在性和唯一性.     

具容许状态反馈Pritchard-Salamon系统的小时滞鲁棒稳定性

It has been observed that for many stable feedback control systems, the introduction of arbitrarily small delays into the loop causes instability. Therefore, robustness of stablility with respect to small delays is of great importance. The authors study the robustness with respect to small delays for exponential stability of Pritchard-Salamon systems with admissible state feedback,i.e. the exponential stability of the following systems are equivalent:{x(t)=S(t)x1 ∫o^tS(t-s)BFx(s)ds u(t)=Fx(t),x0∈V,t≥0and{x(t)=S(t)x0 ∫o^tS(t-s)BFx(s-r)ds u(t)=Fx(t-r),x0∈V,t≥0and obtain a number of necessary and sufficient conditions, particularly, frequency domain characterization for robustness with respect to small delays for exponential stability.     

Banach空间非柱形域上微分系统解的存在性

考虑在Banach空间非柱形域Ω上,微分系统 (IVP;τ,z0) z′=x′ y′=f1(t,x,y) f2(t,x,y)=f(t,z), (t,z)∈Ω, z(τ)=x(τ) y(τ)=z0=x0 y0 解的局部存在性,其中f1,f2分别满足紧性条件与耗散性条件,得到的结果推广并完善了已有的相关结果。