无源对流扩散方程的两类修正差分格式

本文研究含参数ε的无源对流扩散问题的有限差分格式.首先在三点模板上将两边结点处的函数值关于中心点进行泰勒展开,反复利用原微分方程,通过"降阶"的思想将两个泰勒展式中的高阶导数项化为只含一阶导数的展式,联立展式消去一阶导数项从而得到形式上精确的差分格式.由于形式上精确的差分格式的系数含无穷项,如何保留有限项使得差分格式分别适用于求解参数较大或参数较小的对流扩散问题是本文研究的重点,为此本文分情形设计了两类差分格式:当参数较大时,因h的幂次对差分格式系数影响更大,本文设计出"横向系列修正差分格式(HDS)",其精度分别可达到二阶、四阶、六阶、八阶;而对小参数问题,相对于步长, 1/ε的幂次对差分格式的系数影响更大,据此本文设计出"纵向系列修正差分格式(VDS)".数值算例将横向、纵向系列格式与七种参考文献给出的差分格式进行了数值比对,验证了本文设计的横向差分格式(HDS)适用于求解ε较大时的对流扩散问题,而纵向系列修正差分格式(VDS)适用于求解ε较小时的问题,且数值解精度较参考格式更高.     

一类线性双曲型方程Neumann边值问题的高阶差分格式

对一维Neumann边界条件的线性双曲方程,利用有限差分方法建立高阶差分格式.由方程和边界条件得到在空间边界点的三阶和五阶导数值,进而分别在内点和边界点建立三点和两点紧差分格式,其截断误差关于时间和空间分别为二阶和四阶;利用离散的能量估计方法,分析差分格式的收敛性和稳定性;通过数值算例,验证理论分析结果.     

求解一维对流方程的高精度紧致差分格式

本文提出数值求解一维对流方程的一种两层隐式紧致差分格式,采用泰勒级数展开法以及对截断误差余项中的三阶导数进行修正的方法对时间和空间导数进行离散.格式的截断误差为O(τ~4+τ~2h~2+h~4),即该格式在时间和空间上均可达到四阶精度.利用von Neumann方法分析得到该格式是无条件稳定的.通过数值实验验证了本文格式的精确性和稳定性.     

空间分数阶偏微分方程非标准有限差分方法的稳定性和收敛性（英文）

本文研究空间分数阶偏微分方程非标准有限差分方法数值解的相关问题.采用Grünwald-Letnikov公式和平移Grünwald-Letnikov公式分别对两个空间分数阶导数进行离散.再运用带有时间和空间步长的分母函数构造非标准有限差分方法.进而利用von Neumann分析方法对差分格式的稳定性和收敛性进行研究,获得了一些新的结果.数值例子验证了非标准有限差分方法用于求解空间分数阶偏微分方程的有效性.     

分数阶扩散方程的隐差分格式

根据移位的Grnwald方法,得到求解分数阶扩散方程的三类隐差分格式.利用分数阶von Neumann方法,证明了求解亚扩散方程的两类差分格式是无条件稳定的,而求解超扩散方程的差分格式是条件稳定的,同时也给出了相应差分格式的局部截断误差估计.最后,通过两个数值例子证实了所提出的差分格式的正确性和有效性.     

一维线性Klein-Gordon方程Neumann边值问题的高阶差分格式

本文主要研究非线性Klein-Gordon方程Neumann边值问题的高阶差分格式.利用边界条件及非线性Klein-Gordon方程,得到其在空间上的三阶与五阶导数的边界值,进而分别在内点和边界点建立三点和两点紧差分格式.借助能量估计、Gronwall和Schwarz不等式、数学归纳法等技巧进行分析,得到截断误差是关于时间和空间上的二阶和四阶收敛.通过理论分析差分格式的收敛性和稳定性以及数值算例,验证了理论分析结果.     

五次非线性Schr?dinger方程的一个新型守恒紧致差分格式

本文研究了带五次项的非线性Schr?dinger方程初边值问题.利用有限差分法构造了一个四阶紧致差分格式,证明格式在离散意义下保持原问题的两个守恒性质,即质量守恒和能量守恒.引入"抬升"技巧,运用标准的能量方法和数学归纳法建立了误差的最优估计,证明数值解在空间和时间两个方向分别具有四阶和二阶精度.数值实验对理论结果进行了验证,并与已有结果进行了对比,结果表明本文格式在保持精度相当的前提下具有更高的计算效率.     

非饱和水流问题的迎风差分法及其数值模拟

本文考察了非饱和水流问题模型方程的守恒型迎风差分法.我们基于有限体积方法建立的非饱和流动的守恒形式,分别提出了一阶和二阶迎风差分格式,并对差分格式进行了误差估计,给出了收敛性定理.最后,数值模拟验证了计算格式的有效性.     

RLW-KdV方程的高阶紧致有限差分格式（英文）

对RLW-KdV方程提出一种新的四阶精度紧致有限差分格式.用离散能量法证明差分格式的能量守恒性、可解性、收敛性和稳定性.在离散L~∞-范数下,所建格式在空间上四阶收敛且在时间上二阶收敛.通过两个数值算例验证了该格式的有效性和可靠性.     

时间分数阶对流-扩散方程的局部间断Galerkin谱方法

提出了求解时间分数阶对流-扩散方程的局部间断Galerkin谱方法.在空间方向上,按局部间断Galerkin谱方法进行离散,时间方向上,对α阶Caputo时间分数阶导数按有限差分格式进行离散,非线性项和源项采用Chebyshev-Gauss-Lobatto插值,从而得到有限差分/局部间断Galerkin谱全离散格式,并且给出了其全离散格式线性情形下的稳定性和收敛性分析.最后给出了一些数值算例,比较了单区域方法和局部间断Galerkin谱方法的数值结果,得出后种方法更具优势.还通过对比Gorenflo-Mainardi-Moretti-Paradisi(GMMP)和有限差分这两种全离散格式下的数值结果,得出有限差分格式在某些问题中比GMMP格式精度更高,收敛速度更快.     

RECENT PROGRESS ON SPHERICAL HARMONIC APPROXIMATION MADE BY BNU RESEARCH GROUP ——In memory of Professor Sun Yongsheng

As early as in 1990, Professor Sun Yongsheng, suggested his students at Beijing Normal University to consider research problems on the unit sphere. Under his guidance and encouragement his students started the research on spherical harmonic analysis and approximation. In this paper, we incompletely introduce the main achievements in this area obtained by our group and relative researchers during recent 5 years （2001-2005）. The main topics are： convergence of Cesaro summability, a.e. and strong summability of Fourier-Laplace series; smoothness and K-functionals; Kolmogorov and linear widths.     

A unified approach to certain problems of best local approximation

In this paper we study best local quasi-rational approximation and best local approximation from finite dimensional subspaces of vectorial functions of several variables. Our approach extends and unifies several problems concerning best local multi-point approximation in different norms.     

Boundedness for commutators of multipliers on Hardy type spaces

In this paper, we study the commutators generalized by multipliers and a BMO function. Under some assumptions, we establish its boundedness properties from certain atomic Hardy space Hb^p（R^n） into the Lebesgue space L^p with p 〈 1.     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

<正>August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,Beijing Science is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by     

Bounds for the zeros of polynomials

Let P(z)=∑↓j=0↑n ajx^j be a polynomial of degree n. In this paper we prove a more general result which interalia improves upon the bounds of a class of polynomials. We also prove a result which includes some extensions and generalizations of Enestrǒm-Kakeya theorem.     

Boundedness of commutators related to Marcinkiewicz integrals on hardy type spaces

In this paper, the authors study the boundedness of the operator [μΩ, b], the commutator generated by a function b ∈ Lipβ(Rn)(0 ＜β≤ 1) and the Marcinkiewicz integrals μΩ, on the classical Hardy spaces and the Herz-type Hardy spaces in the case Ω∈ Lipα(Sn-1)(0 ＜α≤ 1).     

Jacobi polynomials used to invert the laplace transform

Given the Laplace transform F(s) of a function f(t), we develop a new algorithm to find an approximation to f(t) by the use of the classical Jacobi polynomials. The main contribution of our work is the development of a new and very effective method to determine the coefficients in the finite series expansion that approximation f(t) in terms of Jacobi polynomials. Some numerical examples are illustrated.     

Generalization of the interaction between Haar approximation and polynomial operators to higher order methods

In applications it is useful to compute the local average empirical statistics on u. A very simple relation exists when of a function f（u） of an input u from the local averages are given by a Haar approximation. The question is to know if it holds for higher order approximation methods. To do so, it is necessary to use approximate product operators defined over linear approximation spaces. These products are characterized by a Strang and Fix like condition. An explicit construction of these product operators is exhibited for piecewise polynomial functions, using Hermite interpolation. The averaging relation which holds for the Haar approximation is then recovered when the product is defined by a two point Hermite interpolation.