判定线性偏微分方程组解的完备性的一个符号计算方法

从微分代数的角度出发,借助于吴微分特征集理论,对于线性偏微分方程组,给出了判定它的解的完备性的一个符号计算方法.这个算法是一个机械化的算法,借助于符号计算软件Maple,可以在计算机上实现.     

严格集压缩映射和凝聚映射的延拓定理及应用(英文)

应用著名的Dugundji延拓定理和Urysohn引理,将Hilbert空间E中有界闭凸集D上的k-集压缩映射和聚映射延拓到全空间,并给出了其在拓扑度计算方面的应用.     

解含多个复杂分量函数无约束minimax问题的积极集光滑化算法

本文利用分段三次多项式方程构造了一种积极集策略的二次连续可微的光滑化max函数,给出积极集及稳定的光滑化max函数的计算方法.基于该光滑化max函数,结合Armijo线搜索,负梯度和牛顿方向及光滑化参数的更新策略,给出一种解含多个复杂分量函数无约束minimax问题的积极集光滑化算法.初步的数值实验表明了该算法的有效性.     

微分多项式系统的近微分特征列集

本文对微分多项式系统的近微分特征列集与微分特征列集之间的一些关系进行了研究,给出了在某些条件下近微分特征列集是微分特征列集的结论,从而对微分多项式系统特征列集理论（吴方法）进行了改进,并且建立的算法较大地提高了计算微分特征列集的效率.     

酉延拓矩阵的奇异值分解及其广义逆

从普通奇异值分解出发,导出了酉延拓矩阵的奇异值和奇异向量与母矩阵的奇异值和奇异向量间的定量关系,同时对酉延拓矩阵的满秩分解及g逆,反射g逆,最小二乘g逆,最小范数g逆作了定量分析,得到了酉延拓矩阵的满秩分解矩阵F*和G*与母矩阵A的分解矩阵F和G之间的关系.最后给出了相应的快速求解算法,并举例说明该算法大大降低了分解的计算量和存储量,提高了计算效率.     

一类六次微分系统的非退化中心问题

通过改进的形式级数法, 讨论了一类六次一致等时微分系统的非退化中心判定问题, 基于吴特征集法 给出系统具有等时中心的21组系数条件,这些条件是充要的.     

偏微分方程(组)完全对称分类微分特征列集算法

给出了一个确定含参数偏微分方程(组)的完全对称分类微分特征列集算法,该算法能够直接、系统地确定偏微分方程(组)的完全对称分类.用给出的算法获得了含任意函数类参数的线性和非线性波动方程完全势对称分类.这也是微分形式特征列集算法(微分形式吴方法)在微分方程领域中的新应用.     

一类微分系统的非退化中心问题

对于一类多项式微分系统,基于重新参数化提出改进的形式级数法,提高了焦点量序列的约化效率,在此方法的基础上,考虑一类一致等时微分系统的非退化中心判定问题,基于吴特征集法给出系统具有等时中心的12组系数条件,这些条件是充要的.     

广义非线性Sin-Gordon方程的整体解及数值计算

本文考察了一类广义非线性Sin-Gordon方程的周期初值问题，利用非线性Galerkin方法，证明了其整体解的存在性和唯一性，并给出了其有界吸引集的存在性．构造了全离散的Fourier拟谱显格式，利用有界延拓法证明了其格式的收敛性与稳定性，并给出了误差估计、算法分析及计算复杂度，最后，通过数值例子，检验了理论结果的可信性．为对此模型的数值分析提供了理论基础和一个有效的算法．     

时间可逆系统的等时中心问题

若在中心附近的闭轨线都具有相同的周期,则此中心称为等时中心. 时间可逆多项式系统的等时中心问题是一类公开问题. 为了构造性地解决这一难题,讨论一类范围更广的时间可逆解析动力系统, 给出相应横截交换系统的递推公式,此公式可以用于等时中心条件的推导. 在递推公式的基础上,以吴特征集方法为工具,给出一类时间可逆三次系统具有横截交换系统的充要条件.