一类非线性Volterra-Fredho''''m型积分方程解的存在性

本文在Banach空间X中考虑以下非线性Volterra-Fredholm型积分微分方程其中t_0≤t≤t_0+T.我们所得主要结果如下:定理 设y(t)∈C＇([t_0,t_0+T];X),K~i,K_t~i∈C(t_0,t_0+T]×[t_0,t_0+T]×X×X;X)(i=1,2).又设这里i=1,2.并且对(?)x_i,y_1∈X(i=1,2)及t,s∈[t_0,t_0+T]有其中i=1,2,0<σ≤1/(2T+1),则方程(*)在C’([t_0,t_0+T];X)中存在唯一的解x(t),且迭代序列 X_0(t)=y(t)n=0,1,2,…依C′([t_0,t_0+T];X)中的范数收敛于X_*(t).     

Hilbert空间中带时滞的倒向随机发展方程

一些作者近期提出并研究了一类新的带时滞的倒向随机微分方程．文章考虑一类Hilbert空间中带时滞的无穷维倒向随机发展方程,获得了其mild解的存在性和惟一性,推广了一些最新结果．     

Hilbert空间中带时滞的倒向随机发展方程

一些作者近期提出并研究了一类新的带时滞的倒向随机微分方程．文章考虑一类Hilbert空间中带时滞的无穷维倒向随机发展方程,获得了其mild解的存在性和惟一性,推广了一些最新结果．     

序Hilbert空间中的时脉冲中立型泛函微分方程

研究了时变脉冲中立型泛函微分方程解的存在性, 即(d)/(dt)[y(t)-g(t,y(t))]=f(t,y(t)) a.e. t∈J=[0,T]; t≠τk(y(t))y(t )=Ik(y(t)) t=τk(y(t)); k=1,2,...,my(0)=ξ由于脉冲函数τk(y(t))≠ck,k=1,2,...,m,上述问题通常在有限维空间中有所研究.在此将以往有限维空间中的结论拓展至无穷维的序Hilbert 空间,利用Schaefer不动点定理得到了上述问题解的一个存在性定理.对Ik,τk附加一定的条件,保证了由解确定的脉冲函数τk(y(t))最多只与t相交1次.     

中立型时滞微分方程的渐近性

关于滞后型时滞微分方程解的渐近性的研究尚不多,而中立型时滞微分方程解的渐近性的结果就更少。在文献[4]中,O'Malley教授采用了于文献[5]中得到的如下结果: 设中立型时滞微分方程     

非局部条件下脉冲微分方程的适度解

讨论非局部条件下脉冲微分方程适度解的存在性,通过考察分段连续函数空间PC([0,b];X)上非紧测度的性质,利用Hausdoff非紧测度和不动点的方法给出非紧半群条件下适度解存在的充分条件,改进和推广了这一领域的相关结果.     

[A,[A,X]]=0的解空间

设A是复数域C上的n阶方阵.本文中确定方程[A,[A,X]]=0的解空间的一组基以及维数.方程[A,[A,X]]=0的解空间即线性空间Mn×n(C)上线性变换φA(X)=[A,X]=AX-XA平方的核空间.     

抽象泛函微分方程解的存在性

设X是一Banach空间,r≥0,f:Ω(?)R×C([-r,0],X)→X考虑泛函微分方程x’(t)=f(t,x_t).主要结果指明:若f满足一定集压缩性条件,则初值问题“x’(t)=f(t,x_t),x_ο=(?)”有解.所用的主要工具是Kuratowski非紧测度.     

非线性时滞微分方程解的渐近性质

考虑非线性时滞微分方程 X'(t)=r(t)x(t)(1-x(t-τ)/1-cx(t-τ)),t≥0 其中r(t)∈C([0,∞),(R~+),0≤c≤1为常数,τ>0常数。获得了保证这个方程的全局解趋向于其平衡解X=1的充分条件,改进了文[1]的结果。     

二阶线性常微分方程基本解的Hadamard展式及其系数的对换性质

本文是对我们的两位老师工作[1],[2]的补充,对于方程的基本解,[2]中已经解决了当a(x)≡1的情形。本文将考虑当a(x)(≠0)为一般的x的解析函数的情形。本文的前两节是[2]中前两节的直接推广。在[1]中曾给出了一类变数分离的二阶线性偏微分方程基本解的Hadamard展式的构造定理。在本文中构造了二阶线性常微分方程基本解的Hadamard展式后,[1]中关于构成算子的维数大于1的限制可以去掉。基本解的Hadamard展式系数的对换性质这一问题是由J.S.Hadamard提出来的(见     

关于无穷维算子的有限维最佳逼近

设H和K为实或复的无穷维Hilbert空间，(有界线性)算子A：H→K称为是无穷维算子如果A的值域是无限维的．而值域为有限维的线性算子称为有限维算子．在分布参数与时滞系统的研究中，会遇到无穷维的控制或识别问题，这往往给解析研究和计     

关于线性半群的稳定性理论和镇定问题

分布参数控制理论和泛函微分方程理论的发展提出了研究C_0-类半群的渐近稳定性问题.本文在Hilbert空间中得到了C_0-类线性半群渐近稳定的最佳条件和其无穷小生成算子具紧预解式的C_0-类半群渐近稳定的充要条件就线性情况而论它比Hale推广的不变原则在应用上更方便.同时在实际问题中,大量出现的是半群的扰动渐近稳定性问题,比如,若A是离散型谱算子,T是有界线性算子,问在什么条件下,半群e~(t(A T))渐近稳定?对于这一问题,[2]中用谱扰动方法,对A具单重谱(除有限个外)的情况     

一类具有无限时滞Volterra型积微分方程周期解的存在性(英文)

利用王克发展的内凸紧集法,研究了一类具有无限时滞积微分方程的周期解的存在性.在王克所研究的Volterra型积微分方程的基础上,本文将王克所选取的相空间Ch空间替换为Arino,Burton和Haddock建立的相空间Cg空间,以王克在文献建立的引理为基础,在适当的条件下,得到无限时滞Volterra型积微分方程存在周期解的主要结论。研究表明:由于不同作者所选取的相空间不同,所以,得到的条件也会不同,但是,他们所得结论却相同:即在不同的相空间下,具无限时滞的积微分方程在凸紧集S0中存在一个周期解。文章的结果与王克在文献[2]所得的结果互不包含。     

关于Lyapunov算子方程

本文将[1]中关于Lyapunov矩阵方程的结果推广到无限维Hilbert空间,主要定理为: 定理1 设A为Hilbert空间上有界算子,方程AX+XA~*=XA+A~*X=I有自共轭解当仅当存在可逆自共轭算子H和两个自共轭算子u、v,满足A=H+u+iv,uH+Hu=0,vH-Hv=0。在这时X=-1/2H~(-1)是它的一个自共轭解。     

具有小时滞的线性泛函微分方程解的稳定性

本文讨论一般的线性自治泛函微分方程(t)=L(x_i)(*)其中L:C([-r,0],R~n)→R~n,r>0很小.L 是线性连续泛函.在某些假设下,我们通过某常微分方程(t)=Ax(t)(**)的平凡解的稳定性来研究(*)的平凡解的稳定性.主要结果是:当r>0很小时,(**)的平凡解的渐近稳定性可推(*)的解x=0的渐近稳定性.并且对具体方程(t)=ax(t)+b∫~0_(-r)x(t+θ)dθ计算出r 的变化范围.     

具有多变时滞中立型微分方程的振动性

讨论具有多变时滞的中立型微分方程[x(t)-r(t)x(t-τ)]’+p(t)x(t-σ1)-q0(t)x(t-σ2)+Σmi=1qi(t)x(t-γi(t))=0,得到方程所有解振动的一个充分条件.     

Hilbert空间上的加权测度框架

文推广了Hilbert空间上的离散框架,引入并研究了Hilbert空间上的加权测度框架.刻画了Bessel加权测度、Parseval加权测度框架的性质,给出了加权测度框架的判定条件.此外,我们引入伪对偶及近似对偶的概念,研究了加权测度框架的近似对偶问题.最后给出了有限维Hilbert空间上加权测度框架的相关性质.     

一类完全非线性四阶微分方程正周期解的存在性

讨论一类完全非线性四阶微分方程■正周期解的存在性，其中，a(t)∈C([0,ω],(0,+∞)),f∈C([0,ω]×[0,+∞)×R³,[0,+∞)).在允许非线性项满足超线性增长不等式条件的情况下，利用Green函数和锥上的不动点理论，获得上述四阶微分方程正周期解的存在性结果，并通过例子验证了主要结果的有效性.     

轧制压力的数值算法与摩擦系数分布模型

一、问题的提出 1925年,Karman在分析轧制变形区内微分单元体受力状态(图1)的基础上,建立了变形区内的力平衡微分方程dσx/dx-Px-σx/z·dz/dx(?)tx/z0 (1)式中:px—单位压力,[公斤/毫米~2];tx—单位摩擦力,[公斤/毫米~2];σx—由接触摩擦力与张力引起的纵向应力,[公斤/毫米~2];z—微分体高度之半,[毫米]。式中正、负号分     

有限维Hilbert空间中框架的正交投影算子

本文研究了有限维Hilbert空间中框架的正交投影算子的特征根和特征向量,并给出了有限维框架{Pfi}i=1^m的框架算子的特征根和特征向量的一种划分.