算子型Hilbert零点定理及构造弹性力学方程组一般解的符号算法

基于Ｈｉｌｂｅｒｔ零点定理，在统一理论框架中考虑了弹性力学方程组一般解的机械化构造问题。给出１．Ａ．Ｃ＝Ｂ．Ｄ．Ｃ．ＫｅｒＤ→ＫｅｒＡ满射与Ｃ．ＫｅｒＤ＝ＫｅｒＡ等价性；２．常系数线性算子型Ｈｉｌｂｅｒｔ零点定理及其简单构造性证明。     

Banach空间中一类常微分方程极解的存在性

在不涉及紧型条件的情形下，证明了Ｂａｎａｃｈ空间中一类常微分方程的最小，最大拟解对的存在性。     

二阶中立型泛函微分方程非振动解的存在性定理

本文研究二阶中立型泛函微分方程■的非振动解的存在性。其中C_i(t),P_i(t)∈C(t_0,∞),R~+),τ_i(t),g_i(t)∈C([t_0,∞),R)且满足 在更一般情形下本文得到     

Banach空间积分—微分方程初值问题解集的拓扑性

考虑Ｖｏｌｔｅｒｒａ型一阶非线性积分－微分方的初值问题的解集的拓扑性质，所得结果是常微分方程相应结果的推广。     

局部Lipschitz条件下的正倒向随机微分方程

在局部Lipschitz条件下得到了任意时间区间下，正倒向随机微分方程的解存在唯一性结果。     

一类一阶非线性泛函微分方程解的振动性

本文研究了一类一阶变系数非线性滞后型微分方程解的振动性,得到这类方程仅有振动解的充分条件.推广了G.Ladas和I.P.Stavroulakis的结果.     

一类微分代数系统并行仿真算法

利用对误差的预校正技术,本文提出一类微分代数系统的并行仿真算法,进行仿真误差估计。对于一个模型问题进行稳定性分析,画出稳定区域。计算实例表明算法是有效的。     

关于变导热系数的微分方程及其意义

本文叙述变导热系数的一般含义，并假定物体的导热系数枚直线和指数规律空间地改变，建立六个二阶热传导微分方程，指出这些方程不能描述真正的变系数热传导过程。     

中立型泛函微分方程在Carathéodory意义下解的存在性

本文研究中立型泛函微分方程在Carathéodory 条件下解的存在性问题,所得结果推广了文[1]、[2]、[3]或[4]中的相应结果。