含中介值ξ-η-ζ等式的证明方法

介绍含三个中介值ξ-η-ζ等式的几种证明方法,并结合实例加以说明.     

非线性双曲型守恒律的高精度MmB差分格式

构造了一维非线性双曲型守恒律方程的一个高精度、高分辨率的广义G odunov型差分格式。其构造思想是:首先将计算区间划分为若干个互不相交的小区间,再根据精度要求等分小区间,通过各细小区间上的单元平均状态变量,重构各等分小区间交界面上的状态变量,并加以校正;其次,利用近似R iem ann解算子求解细小区间交界面上的数值通量,并结合高阶R unge-K u tta TVD方法进行时间离散,得到了高精度的全离散方法。证明了该格式的Mm B特性。然后,将格式推广到一、二维双曲型守恒方程组情形。最后给出了一、二维Eu ler方程组的几个典型的数值算例,验证了格式的高效性。     

二重数值积分公式的高精度对偶公式及其应用

给出了计算二重积分的Simpson公式与两点高斯公式的对偶公式的构造过程,得到与之对应的高精度对偶修正解,提高了二重数值积分公式的计算精度,同时给出了二重积分的一种估值方法.最后,应用于几个典型的数值算例,计算结果表明：对偶修正解比对应的数值积分公式及其对偶公式的解有更高的计算精度和更快的收敛速度.     

一类基于通量分裂的二阶精度TVD差分格式

基于通量分裂和逆风特性，选取单元交界面上的正、负数值通量，并结合高阶Runge-Kutta TVD时间离散方法，构造了一维非线性双曲型守恒律的一类二阶精度的差分格式，证明了差分格式的TVD特性。按分量形式推广到方程组。通过几个典型的数值算例验证了格式的有效性。     

一种生成迭代数列的新方法

围绕两个典型迭代数列的构造问题,以问题为驱动,提出一种生成迭代数列的新方法,并通过数值实验或理论证明验证迭代数列的收敛性.     

不定积分的代数解法

基于积分运算是微分运算的逆运算,利用线性代数方法,提出了一种求解几类特殊函数不定积分的新方法,并结合实例验证了方法的有效性.     

高阶常系数非齐次线性微分方程的逆特征算子分解法

提出一种求任意高阶常系数非齐次线性微分方程通解的逆特征算子分解新方法.其基本思想是:将逆特征算子按有理真分式的因式分解定理分解为一次因式逆算子的形式,使问题转化为求多个一阶常系数非齐次线性微分方程的通解.得到了二阶与三阶及两种特殊情况下更高阶常系数非齐次线性微分方程通解的一般公式.之后,通过实例验证了方法的可行性和有效性.     

一类高精度TVD差分格式及其应用

构造了一维非线性双曲型守恒律的一个新的高精度、高分辨率的守恒型TvD差分格式。其构造思想是：首先，将计算区间划分为若干个互不相交的小区间，再根据精度要求等分小区间，通过各细小区间上的单元平均状态变量，重构各细小区间交界面上的状态变量，并加以校正；其次，利用近似Riemann解计算细小区间交界面上的数值通量，并结合高阶Runge—Kutta TVD方法进行时间离散，得到了高精度的全离散方法。证明了该格式的TVD特性。该格式适合于使用分量形式计算而无须进行局部特征分解。通过计算几个典型的问题，验证了格式具有高精度、高分辨率且计算简单的优点。     

一种计算和式数列极限的方法

本文利用等价无穷小与定积分的定义,将和式数列极限的计算问题转化为相应的定积分的计算,并通过实例展示这一方法.     

不定积分计算方法注记

针对不定积分分部积分公式中各部分函数的选择问题，给出一个口诀，并通过实例加以验证。针对含根式被积函数不定积分换元法中换元变换的问题，给出一个注记。