滞后线性定常微分系统反向延拓的存在性与唯一性

考虑线性定常系统的反向延拓问题，在不要求原子性质的条件下，得到了由描述微分方程的线性算子和初始函数所刻画的反向延拓存在性和唯一性的等价条件．     

具三阶段结构的非自治单种群模型正周期解的存在性

建立一类具三个阶段结构的非自治单种群模型：{x‘1(t)=a(t)x3(t-τ)-b1(t)x1(t)-c(t)x1(t),x‘2(t)=c(t)x1(t)-d2(t)x2(t)-e(t)x2(t)-θ(t)x2^2(t),x‘3(t)=e(t)x2(t)-f(t)x3(t)。利用重合度理论中的延拓定理研究该模型的正周期解的存在性，得到了正周期解存在的充分条件。     

一类具Ⅲ类功能性反应的非自治捕食系统的持久性

研究一类具Ⅲ类功能性反应的非自治捕食系统dxdt=x[r(t)-a(t)xθ-α(t)xθyθc2(t)+x2θ],dydt=y[-e(t)-b(t)yθ-β(t)xθyθc2(t)+x2θ](θ>0).在一定条件下,该系统一致持续生存且存在唯一全局渐近稳定的周期解.     

关于C~∞延拓问题

本文讨论C~∞延拓问题,利用Borel技术简洁地证明了定义在一闭区间上取值在一局部凸线性拓扑空间中的C~∞抽象函数总可保持C~∞性质而延拓到该区间的邻域,由此又可得定义在任一有边界C~∞微分流形上的C~∞函数必可随着流形的扩张而作C~∞延拓,进而得到有关拟微分算子符号及算子本身C~∞延拓的一些性质. 设V为局部凸线性拓扑空间,f(x)为[-1,0]→V的连续映照,则成立如下的定     

一类捕食-食饵模型平衡解的分歧与稳定性

研究了一类捕食者能产生休眠卵的捕食-食饵模型正解的分岐及其稳定性.利用特征值和单特征值的局部分歧理论,证明了系统在半平凡解(θ,0)附近出现分支;且局部分支能延拓到整体;并利用线性算子的扰动性理论和分歧解的稳定性理论,说明了此平衡解在一定条件下是稳定的.     

二维赋范空间单位球面间的等距映射的线性延拓

研究二维实赋范空间E和F的单位球面S(E)和S(F)之间的等距线性延拓问题,证明了在一定条件下,定义在单位球面S(E)和S(F)之间的满等距算子V0可延拓为全空间E上的等距线性算子V。     

非线性脉冲扰动下带强迫项的次线性时滞微分方程解的渐近性

讨论了非线性脉冲扰动下带强迫项的二阶次线性时滞微分方程(r(t)x'(t)'+p(t)x'(t)+ ∑n(i=1)qi(t)xθ(t-σi)+h(t)=0,t≠tk,0<θ<1,x'(tk+)+x'(tk)=Ik(x'(tk)),x(tk+)-x(tk)=Jk(x(tk)),t=tk,k=1,2…,t≥t0,解的渐近性.利用脉冲微分不等式和分析技巧获得了该方程所有非振动解或振动解趋于零的一系列充分性条件, 所得结果推广了现有文献中的结论.     

关于参数矩阵的线性经验Bayes估计

设X为p×q随机矩阵,θ为p×q参数矩阵,且θ有先验分布G(Vec(θ)),给定θ,X有条件密度f(Vec(X)｜Vec(θ)).选取矩阵损失L(D(X),θ)=(D(X)-θ)′(D(X)-θ),并在风险矩阵的迹的大小比较标准下讨论θ的线性经验tr Bayes估计及其渐近性质.获得经验tr Bayes估计D tr(X)= X+U(X- X),及具有o(N-1δ-2N)的渐近收敛速度.     

一个最优设计问题

设试验点集是X={x(t)=kt b:t∈[0,1],|k|≤B_1,|b|≤B_2},其中B_1>0,B_2>0都是已知数,参数空间={θ:θ∈L_2[0,1]}。被观察的随机过程为 Y(x,t)=∫_0~tθ(u)x(u)du N(t),t∈[0,1]其中{N(t),t∈[0,1]}是Weiner过程。本文得到关于线性泛函脉θ_0~*(θ)=∫_0~1θ(u)du的线性估计的最优设计为ξ_0=(x_1,x_2 α, 1-α)其中x_1=-B_1t-B_2,x_2=B_1t B_2,α满足0≤α<1。在得到这个设计时用到了Spruill[2]的一个定理。发现Spruill[2]中(16)式的证明是错的,因为他的叙述“因是对称的且凸的,对充分小的ε>0,(β-ε)θ~*∈”是错的,本文已将这个错误订正。     

造血模型正平衡解的全局吸引性

作者得到造血模型dN(t)/dt=-δN(t) βθ^nN(t-τ)/θ^n N^n(t-τ），dN(t)/dt=-δN(t)-βθ^n(t)/θ^n N^n(t) 2βθ^nN(t-τ)/θ^n N(t-τ)e-π，正平衡解全局吸引的充分条件。这里δ，β，θ，r，τ∈（0, ∞），n∈(0,1]。     

一类带偏差变元p拉普拉斯算子方程周期解的存在性

通过Mawhin重合度拓展定理和一些分析的技巧,我们研究得到了一类四阶带偏差变元p拉普拉斯算子方程[φp(u″(t))]″+f(t,u(t))+g(t,u(t-τ(t)))=e(t)周期解存在的充分性条件.     

一类具偏差变元的二阶微分方程周期解

利用M ahwin重合度拓展定理研究了一类具偏差变元的二阶微分方程x″(t)+f(x'(t))+h(x(t))x'(t)+g(x(t-τ(t)))=p(t)周期解问题,得到了周期解存在的一组充分条件。     

Runge-Kutta方法求解多延迟积分微分方程的稳定性

讨论了用Runge.Kutta方法求解带有两个延迟常量的多延迟积分微分方程du/dt=Lu(t)+M1u(t-T1)+M2u(t-T2)+K1∫5t-T1u(θ)dθ+K2∫5t-T2u(θ)dθ的数值稳定性,并给出了其渐进稳定的充分条件.这里的L,M1,M2,K1,K2都是复矩阵.特别当K1,K2=0时,亦可以得到相同的结论,即每一个A稳定的RK方法都可以证明其解的延迟独立稳定性.     

一类具偏差变元三阶微分方程周期解存在的充分条件

本文利用Mawhin's拓展定理,研究具偏差变元三阶微分方程x′′′(t)+f(x(t),x′(t)x″(t)+g(t,x(t),x(t-r(t)))=P(t),得到其周期解存在的充分条件.     

一类具多时滞二阶非线性微分方程的周期解

研究一类具有多变时滞的二阶非线性微分方程x″(t)+f1(x(t))x′(t)+f2(x(t-τ1(t)))(x′(t))2+g(t,x(t-τ2(t)))的周期解的存在性问题.利用重合度理论中的连续定理和一些分析技巧,得到该方程存在周期解的一些新结果,所得结果推广和改进了刘斌的结果.     

一类具有偏差变元的二阶泛函微分方程周期解

利用重合度理论,研究一类具有偏差变元的二阶微分方程x″+f(t,x′(t))+g(t,x(t-τ(t)))=p(t)的周期解的存在性问题.其中,f,g∈C(R×R,R),且对任意的x∈R,g(t+ω,x)=g(t,x),p∈C(R,R),τ∈C(R,R)是ω-周期的.在不要求对所有的y∈R,函数f(t,y)≤0(f(t,y)≥0),t∈R的情况下,得到该类方程至少存在一个ω-周期解的充分条件.     

一类时滞微分系统的周期解

研究了如下一类具分布与离散时滞的一阶微分系统x＇（t）=gradG（x（t）＋∫^0-rf（t,s,x（t＋s））ds＋g（t,x（t-θ（t））的周期解的存在性,其中G∈C^2（R^n,R）,f∈C[R×-τ,0]×R^n,R^n）,g ∈ C（R×R^n,R^n）.利用重合度理论中的Mawhin延拓定理讨论了该时滞微分系统的周期解的存在性,建立了一些保证其周期解存在的充分性条件．     

复时标上的Δ-解析函数

利用Δ-解析的定义及实解析扩张定理,研究复时标上复值函数Δ-解析与经典解析的关系,得到了两类复时标上Δ-解析函数可局部开拓为经典解析函数的充要条件,并讨论了单项式pn(z)=zn在复时标上的Δ-解析性,对n=3和n=4的情形得到了部分结果.     

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

在一定条件下，研究了一类二阶非线性微分方程的解的渐近性态，并研究了其解的单调性和可延拓性条件以及其解有界的充分必要条件，得到了这类介非线性微分方程的解与二阶线性微分方程的解的渐近关系，以及这两个方程的某些解的等价性条件。