中立型泛函微分方程的稳定性问题

关于中立型泛函微分方程(dD(t)x_t)/(dt)=f(t,x_t)(1)的一致渐近稳定性问题,[2,3]在假设“f 关于φ是有界”的条件下已作了研究.本文在省掉“f关于φ有界”的条件下,讨论了系统(1)的零解稳定性问题,获得了某些结果.同时,在时滞有界的情形,若取D(t)x_t=x(t),则本文的定理1’即为[1]的定理1.     

一类泛函微分方程的渐近性质

本文考虑形如(t)=f(x_t)的泛函微分方程,其中f是“互助”映射(依Smith)。本文的主要结果(定理3)证明了以下事实:在一定条件下,对任何正的“初始函数”φ,方程(?)(t)=f(x_t)的解x(t,φ)渐近于一个唯一的正平衡状态。     

定积分換元法則的一点改进

通常所见Riemann积分换元公式的形式是:若φ(α)=a,φ(β)=b,则在适当条件下有 integral from a to b(f(x)dx)=integral from α to β(f[φ(t)]φ′(t)dt)。在常义R(Riemann)积分时须假定:f(x)在[a,b]上连续,φ(t),φ′(t)在[α,β]上连续。这时上述等式成立。或者假定:f(x)在[a,b]上R可积,φ(t),φ′(t)在[α,β]上连续,且φ′(t)≥0(或φ′(t)≤0,即φ(t)单调)。本文证明了:若f(x)在[a,b]上有界,φ(t)可表成R可积函数φ(t)的不定积分,则f(x)在[a,b]上R可积的充要条件为f[φ(t)]φ(t)在[α,β]上R可积,并且有上述等式成立(详见下文定理1)。     

中立型泛函微分系统的稳定性

本文研究形如导d/(dt)D(t,x_t)=f(t,x_t)的中立型系统的稳定性,给出了适用于度量空间 C_0与 C_1中稳定性分析的 Liapunov 型定理.依此获得了线性中立型大系统在 C_1中一致渐近稳定的充分条件.将其应用于具有线性状态反馈的滞后型系统与不确定的时滞微分系统的稳定性分析时,扩大了文[2]的相应结果.     

一阶微分方程的渐近平稳和周期边值问题

假定函数 f∈C[R_+×R,R],我们考虑非线性问题u'=f(t,u),u(t_0)=u_0,t_0≥0.(A)[1]附录的定理 A.1.2就(A)的渐近平稳(Asymptotic Equilibrium)给出如下的定理 A。假定 g(t,u)∈C[R_+×R_+,|R_+]对于每个 t 关于 u 单调非减,且使得|f(t,u)|≤g(t,|u|),(t,u)∈R_+×R.如果问题u′=g(t,u),u(t_0)=u_0≥0的所有解 u(t)在[t_0,∞)上有界,那么问题(A)渐近平稳.利用这个定理,[1]在假定,f(t,u)满足单边的 Lipschitz 条件     

2阶泛函微分方程的周期边值问题

本文考虑如下的泛函微分方程边值问题:x″(t)=f(t,x_t,x′(t))(0≤t≤b),x_0=x_t,x′(0)=x′(b),利用基于度理论的一定不动点定理,得到了以上边值问题有非负解的某些充分条件。     

一阶泛函微分方程非振动解的存在性

本文的定理1改正了文[1]的错误并去掉原来要求导数一致有界的条件,同时也给出了局部凸拓扑向量空间中拓扑度理论的一个自然的应用;定理2则在一定条件下去掉了p_i(t),T_i(t)一致有界的条件。     

具有小时滞非自治线性中立型方程解的渐近性态

本文利用中立型方程解的可微性,研究了具有小时滞非自治线性中立型方程 d/(dt)D(t,x_t)=f(t,x_t)(*)解的渐近性态,即:x(t,t_0,φ)=Y(t,t_0)(l(φ)+o(1)),t→+∞,其中,D、f:R×C=R×C([-r,0],R~n)→R~n(r>0充分小)线性连续,x(t,t_0,φ)为方程(*)过(t_0,φ)∈S(R×C)的解,l是由φ确定的某向量,Y(t,t_0)是特解矩阵。     

概周期系统的概周期解的存在问题

如所周知,Amerio 虽在[4]中证明了满足“可分离条件”的概周期系统一定有概周期解存在这一著名定理,但系统本身需要满足什么条件才能保证具有“可分离条件”,这在[4]中是没有解决的问题。 本文从系统(1)本身出发,利用概周期系统的性质,结合运用第二方法,在适当的条件下,首先证明了(1)的有界解的稳定性和“继承性”,进而证明系统(1)在Amerio意义下是“可分离”的,从而建立了概周期解的存在定理,所得结果解决了[4]中未解决的问题,也推广了[3]的有关结论。     

关于两类函数方程的连续解与解析解

在本文中,我们首先考察了一类非齐次线性函数方程 φ[f(x)]=g(x)φ(x)+F(x), 在所谓的“不定情况”下,给出了连续解存在唯一性条件及其稳定性条件,并讨论了它的属于数λ的正规解的存在性问题。另外,本文还藉助优级数法给出一类非线性函数方程 f[φ(x)]=φ(ax)+F(x) 的局部解析解的存在唯一性定理。     

四阶边值问题正解的存在性与多解性

本文讨论了非线性四阶边值问题u^(4)(t)=φ（t）f(u(t),u“(t),t∈(0,1),u(0)=u(1)=u“(0) =u“(1)=0正确的存在性，其中φ（t)∈C([0,1],[0,∞)),f(u,v)∈C（[0,∞],[0,∞))。利用锥压缩与锥拉伸不动点定理，给出了该问题正解存在与多个正解存在的充分条件。     

一类中立型泛函微分方程解的Kamke型唯一性定理

本文引进了一种“D-算子拟距”的概念,对NFDEs系统给出了若干Kamke型的唯一性结果。并且使用同样的方法,可以研究一般NFDEs系统 d/dtD(t,x_t)=f(t,x_t)的唯一性问题。     

高维非自治系统的平稳振荡

众所周知,在解决高维非自治周期系统:(?)=f(t,x),[f(t ω,x)=f(t,x),t∈[t_0, ∞),x∈R~n,ω>0](0.1)的存在唯一稳定周期解(即,存在平稳振荡)问题当中,著名的 Lasalle 平稳振荡定理起着非常重要的作用.国内外许多文献[1—6]借助于此定理得到一系列成果.尤其是文献[2]解决了一般强迫振动研究中难于解决的问题.本文用一新的方法,引进系统(0.1)的强非常稳定的概念,避免使用 Lasalle 平稳振荡定理中所要求系统有一个有界解的条件,建立一般性平稳振荡定理.对于具体系统运用这一定理,可以简化系统存在平稳振荡的证明过程,得到一些好的结果,改进和推广了文献[2,3,4]的结果.     

具有m个非线性执行机构的线性泛函型调节系统的绝对稳定性(英文)

本文中我们考虑下面系统 dx(t)/dt=L(x_t)+Rf(σ(t)), (1) σ(t)=Cx(t)以及 dx(t)/dx=L(x_t)+Rf(σ(t)), (2) dξ(t)/dt=f(σ(t)), σ(t)=Cx(t)+ Dξ(t)其中x,f是n维向量,σ、ξ是m维向量,C、D是m×n矩阵,R是n×m矩阵,m>1。 我们引入了系统的广义H-绝对稳定性,并给出了系统(1),(2)的广义H-绝对稳定性的充分性判据。本文中我们推广和简化了文[1,2)中的方法。对非线性项f(σ)去掉了f_i仅依赖于σ_j的限制。     

构造求方程重根高阶迭代公式的基本定理

在[1]中已经介绍了构造高阶多点迭代公式的基本定理:设φ(x)d是p阶的,则φ(x)=φ(x)-f(φ(x))/f′(x)是P 1阶的,[2]中又给出了[1]的一个改进了的基本定理,但这些定理仅适用于方程f(x)是单根的情况.本文针对φ′(x_*)的性质,提出了在重根情况下亦适用的多点迭代构造定理.     

中立型泛函微分方程解的可微性

本文主要讨论形如(N)d/(dt)D(t,x_t)=f(t,x_t)的中立型泛函微分方程解对 t 的可微性问题.给出了方程(N)和初始函数使得其对应的解在其存在范围内对 t 连续可微的充分条件,并证明了满足以上条件的初始函数全体在初始函数集合中是稠密的.     

共振情况下m点p-Laplacian算子边值问题解的存在性

本文研究了在共振情况下m点P-Laplacian算子边值问题解的存在性问题.在非线性项f(t,u,v)有界的条件下,根据Mawhin的连续定理和m点P-Laplacian算子的边值问题的上下解理论,得出共振问题解的存在的结论.     

Volterra型积分微分方程奇摄动边值问题

本文首先研究积分微分方程x″=f(t,X,x′,Tx)满足边界条件x(0)=A,x(1)=B的边值问题,其中[Tx](t)=φ(t)+integral from 0 to t K(t,s)x(s)ds,K(t,s)≥0于[0,1]×[0,1]上连续,φ(t)于[0,1]上连续,证明解的存在定理,然后研究奇摄动积分微分方程εx″=f(t,X,X′,Tx,ε)＇满足同类边界条件的边值问题,其中ε>0是小参数。我们利用构造上下解的方法,证明解的存在定理,给出解的估计。     

二阶带偏差变元的微分方程的解的振动性

本文讨论下述二阶带偏差变元的非线性微分方程[r(t)y′(t)]′+f(t,y(t),y(g(t)),y′(t),y′(h(t)))=0为振动的充分性与必要性条件,其中g(t)与h(t)当t趋于无穷时均趋于无穷,非线性项f为“端有界”。 本文得到的振动的充分性与必要性条件,对于f是超线性,亚线性,拟线性的情形也适用,适用范围比文[1—4]广。本文还区分了情形,又区分了g(t)是滞后与超步的情形。     

关于矩阵族G~n(θ,△t)一致有界性的局部(J)条件

本文第一个作者曾基于Kreiss预解条件给出稳定性问题的(J)条件([1]).本文应用[2]中的局部化技巧得到了矩阵族G~n(θ,△t)一致有界(稳定)的局部(J)条件.作为一个有趣的应用,我们在较弱的条件下改进了[2]、[3]、[4]中的主要结果.