修正的Navier—Stokes方程的再生性质和周期解

本文证明了由提出的修正的Navier-Stokes方程在小外力的条件下对t_1∈(0,T]存在唯一的初始速度分布使得相应的初边值问题的广义解具再生性质:(t_1)=(0)=.从而当外力还是时间t的周期函数时,是周期解.进而证明此周期解以指数方式吸引相应于同一外力但初值可任意的其它解.上述结论的证明基于对广义解v的导数v在空间L~∞(0,T;L~2(Ω))中估计.     

关于简化Newton方法收敛性的注记

在假设算子方程解存在的前提下,给出了以解为中心的一个球域,证明了当初始点落到这个球域时,用于判断简化Newton方法收敛性的Kantorovich定理的条件必然满足,从而由简化Newton方法产生的迭代序列收敛.     

图像处理中的数学问题

主要介绍了图像处理中应用最新和最广的数学方法之一，通过偏微分方程及变分原理和Euler-lagrange方程的应用，可以得到基于曲率的几何图像模型，使图像恢复光滑的边界，并指出了要解决的难点及热点问题．     

一类拟线性耦合方程组的初边值问题

引用带权的Sobolev模和牛顿迭代格式,讨论了拟线性对称双曲抛物耦合方程组的初边值问题,得到了可微解的存在和唯一性定理。     

二阶非线性微分方程解的振动性与渐近性

讨论了一类二阶非线性微分方程解的振动性与渐近性,得到了该方程有界解的振动性与渐近性的新的充分条件,改进并推广了已有的结果。     

MATLAB在常微分方程初值问题的应用

现代科学计算和工程等很多问题中都是用微分方程的形式进行描述,因而研究微分方程具有非常重要的实际意义。本文主要介绍如何使用MATLAB求解常微分方程初值问题。     

关子齐次微分方程的积分曲线

记所论微分方程为(E_λ)_n,本文拓广的不变直线法,在(E_λ)_n的“有理相曲线”与临界、中介水平线”的交、切点与型号间建立起对应关系.依次以各水平线上交、切点型号串得的型列为行,使构成(E_λ)_n的型阵.它表达出λ遍取不同实数值(由-∞至,+∞)时,(E_λ)_n积分曲线的定性变化图景.实际上,它就是的均匀旋转向量场的完全族.     

正交激励超声切削装置的椭圆轨迹偏转与校正

为研究超声椭圆振动切削（ultrasonic elliptical vibration cutting,UEVC）刀尖轨迹形成及控制,解决刀尖轨迹非正椭圆问题,建立二维正交柔性导波UEVC装置刀尖轨迹的运动学模型;分析90°相位差下非正椭圆轨迹产生原因,建立刀尖轨迹校正模型,并推导出基于正椭圆轨迹下的刀尖轨迹偏转模型。通过实验对刀尖轨迹校正模型进行验证,校正后轨迹偏离坐标轴1.67°,小于校正前偏离角度。实验结果表明,该模型能够有效地校正刀尖轨迹,可在轨迹控制方面为后续研究刀尖轨迹偏转及变刀尖轨迹超声振动加工提供理论基础。     

Sylvester矩阵方程的改进IO迭代算法

通过对Sylvester矩阵方程的理论分析,可知IO迭代算法中迭代矩阵的谱半径随内迭代次数的增大而减小,更新了IO迭代算法中内迭代次数的选择方法,并证明了该算法收敛性与初始矩阵无关。Sylvester矩阵在满足一些特定条件下,为了进一步提高收敛速度,可通过选择适当的相关参数,使得IO迭代算法有较好的收敛速度且比Smith算法的迭代次数明显减少。