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

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

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

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

一个一般形式的一致有界原理

本文定义了F性泛函族的概念,得出了这类泛函族的一致有界原理。定理指出了使F性泛函族一致有界原理成立的条件最弱的拓扑空间——Z_F空间。     

时滞差分系统基于两种测度的有界性

本文利用勒茹米辛型条件和向后差分算子获得一些定理可以确保时滞差分系统为(ho,h)一致有界(一致有界且最终有界,一致有界且一致最终有界).在所得到的定理中,对△V的限制较弱,便于应用.     

时滞差分系统基于两种测度的有界性

本文利用勒茹米辛型条件和向后差分算子获得一些定理可以确保时滞差分系统为(h_0,h)一致有界(一致有界且最终有界,一致有界且一致最终有界)。在所得到的定理中,对△V的限制较弱,便于应用。     

有序拓扑向量空间中的共鸣定理

本文研究有序拓扑向量空间中非线性映照的共鸣定理．对于取值于有序拓扑向量空间中的映照，利用序关系，引入了一类广泛的非线性映照．对于这类非线性映照，应用纲理论，并给出了关于点态序有界蕴涵一致序有界的共鸣定理．     

Wolk两个定理的推广

[1]中定理3.6是经典的Dini定理的推广。Wolk在证明了这个定理后指出,有例子说明,若将值域空间Y的全无序集(即反链)有限性条件去掉后,此定理将不成立。于是他提出了一个可供进一步思考的问题:是否可用另外一些拓扑代替Y中的Dedekind拓扑,去掉Y中全无序集有限性条件后,此定理或它的某种变形依然成立?按照这个思路我们将[1]中定理3.6和3.9进行了推广。为此,先摘录两个主要概念如下:     

一类n阶非线性微分方程的周期解的存在性

对微分方程周期解存在唯一性的研究有着广泛的应用背景,是定性理论的重要课题之一.R.Reissig对方程x~(n+1)+a_1x~(n)+…+a_nx+f(x)=p(t)应用Leray-Schauder不动点定理,在f(x)有界的条件下得到了一个存在性结果.本文应用拓扑度的方法,取消     

Massera定理的拓广

考虑纯量周期系统x=f(t,x),其中f:R×R→R连续,f(t+ω,x)=f(t,x),ω>0.Massera曾证明,若该系统的解满足唯一性,且存在一正向有界解,则系统存在一个ω-周期解。本文证明了Massera定理中关于解的唯一性的要求可以去掉,从而改进了该定理。     

有界Heyting代数上基于模糊LI理想的一致拓扑结构研究

为了从拓扑层面进一步揭示有界Heyting代数的内部特征,基于由模糊LI理想诱导的同余关系在有界Heyting代数上构造一致拓扑结构并研究其拓扑性质.证明了:1)一致拓扑空间是第一可数、零维、非连通、局部紧的完全正则空间;2)—致拓扑空间是T_1空间当且仅当是T_2空间;3)有界Heyting代数中格运算和蕴涵运算关于一致拓扑都是连续的,从而构成拓扑有界Heyting代数.同时,获得了一致拓扑空间是离散空间和紧致空间的充分必要条件.     

桶型空间的一些注记

Husain和Wong引进了s桶空间概念,统一处理桶空间和拟桶空间.本文给出各种S桶空间的特征,一个Banach-steinhaus型的结果以及一个S桶空间与S吸囿空间的关系的定理. 文中(E,(?)),(F,φ)是T_2局部凸拓扑线性空间.E＇是E的拓扑对偶空间.由E的某些(?)有界集组成的集族S称为E＇的拓扑化族是指s满足E={B∶B∈S}.L(E,F)上的在s上一致收敛的拓扑记为(?)_s(F).当F为数域K时.(?)_s(K)记为(?)_s.(?)_s便是E＇上的在S上一致收敛的拓扑.E＇上的全部(?)_s有界集(?)是一个E的拓扑化族.E上的在(?)上一致收敛的拓扑     

关于两点Birkhoff插值的一致收敛性

设给定函数F(t),它在[0,1]上有各阶导数,作级数: sum from j=0 to ∞[F~(2j)(0)f_(2j 1)(t) F~(2j)(1)g_(2j 1)(t)],0≤t≤1, (1)其中f_(2j 1)(t)与g_(2j 1)(t)为[1]中定义的2n 1次多项式。[2]中给出了下述定理: 定理A.已给函数F(t),0≤t≤1。若偶阶导数序列{F~(2j)(t)}在[0,1]上一致有界,即存在M>0,使得     

系统辨识中的一致性定理

1.引言 对系统辨识中参数估计的一致性问题,已有很多研究,其中鞅和微分方程是两种较有成效的方法。[1,2]对离散时间系统,对连续时间系统分别用鞅的收敛性定理,证明了保证最小二乘估计收敛且一致的简单条件,但是这一类证明方法很难用到稍异于最小二乘的算法上去,并且还要求噪声的条件协方差阵对(t,ω)一致有界。[3,4]把递推算     

一类带有趋化性扩散的细菌模型一致有界解的整体存在性

考虑二维空间中一类带有趋化性扩散的生物模型的一致有界解的整体存在性.利用细致的能量估计、不同希尔伯特空间(包括V_2(Q_(t,t+1))、W_(p,p)~(1,2)(Q_(t,t+1))、L_(p,q)(q_(t,t+1))的先验估计以及一致Gronwall不等式,证明了一类带有出生率和死亡率项的生物模型的一致有界解的整体存在性.     

不定常耦合型偏微分方程组非协调元方法的稳定性和收敛性

(1)a_(ij)~(k)(x)充分光滑,A~(k)(x)对x∈Ω为一致正定、有界的对称矩阵。 (2)对(x,p)∈Ω×R~2,D_1(x,p),一致有界且关于p满足Lipschitz条件。对(x,t,p)∈Ω×[0,T]×R~2,F(x,t,p)对P满足Lipschitz条件,F(x,t,0)∈L~∞([0,T];L~2(Ω)×L~2(Ω))。     

迭代逼近m-增生映象的零点

设E是具有一致正规结构的实Banach空间,其范数是一致Gateaux可微的.设A是m-增生映象,使得C=■是E的凸子集,数列{α_n)■[0,1],{r_n}■ (0,∞),在适当的条件下,则由(1.2)式定义的迭代序列{x_n}强收敛于A~(-1)(0)中的点.其次证明了:设E是一致凸Banach空间,其范数是Frechet可微的.设数列{α_n},{β_n)■(0,1),{r_n}■(0,∞),满足适当的条件.如果A~(-1)(0)∩B~(-1)(0)≠φ,则由(3.20)式定义的序列{x_n}弱收敛于A~(-1)(0)∩B~(-1)(0)中的点.其结果推广和改进了Kamimura,Takahashi(2000)的定理2及Xu H.K.(2006)的定理4.1,定理4.2和定理4.3:(i)Kamimura,Takahashi(2000)定理2中的假设"自反Banach空间E的每个有界闭凸子集对非扩张自映象有不动点性质"被去掉;(ii)Xu H.K.(2006)的假设"E是具有弱连续对偶映象J_φ的自反Banach空间",被本文的假设"E是具有一致正规结构且其范数是一致Gateaux可微的Banach空间"所取代.从而补充了Xu H.K.(2006)未包含的另外一些Banach空间.同时还证明了逼近两个m-增生映象的公共零点,其结果也推广和改进了Mainge的相应结果.     

“渐近非扩张映象不动点具误差的迭代逼近”的注记

本文在去掉条件"T在D上一致渐近正则"的情况下,在一致凸Banach空间中给出了几个渐近拟非扩张型映象和渐近非扩张型映象不动点的迭代逼近定理.这些定理推广和发展了最近一些文献的相关成果,并且改进了定理的证明方法.     

导算子连续和一致连续的充要条件

专著[1]论及导算子连续和一致连续的充要条件,给出过于下的定理。 设T_r={x|‖x-x_o‖0)有界.(见[1]36面定理3.8) 本文改进了以上结果。     

随机脉冲泛函微分方程的{\boldmath p}阶矩有界性

随机脉冲泛函微分方程是一个具有广泛应用前景的数学模型. 该文利用带Razumikhin条件的Liapunov直接法和比较原理, 得到了随机脉冲泛函微分方程的解的一致(一致且最终、一致且一致最终) p阶矩有界的充分条件, 其中在获得一致有界性和一致最终有界性时, 对dV(t, x(t))/dt 的限制条件也较少, 因此研究结果非常便于应用.     

随机脉冲泛函微分方程的p阶矩有界性

随机脉冲泛函微分方程是一个具有广泛应用前景的数学模型.该文利用带Razumikhin条件的Liapunov直接法和比较原理,得到了随机脉冲泛函微分方程的解的一致(一致且最终、一致且一致最终)p阶矩有界的充分条件,其中在获得一致有界性和一致最终有界性时,对dV(t,x(t))/dt的限制条件也较少,因此研究结果非常便于应用.