一类线性多步方法

本文对含有参数t(t=1,2,3,…,k)的一类线性K步方法,给出其系数的显式表达式。对于K=1～7,给出这类方法的系数表。整个计算过程均可在计算机上自动地完成。在这类方法中,当t=1时,显式即为著名的Adams—Bashforth(A—B)方法,隐式为Adams—Moulton(A—M)方法[1];当t=2时,则显式是Nystrom方法,隐式为广义的Milne—Simpson(M—S)方法[1];当t=K时,它是闭型Newton—Cotes(N—C)公式[2]。     

二元向量值有理插值存在性的一种判别方法

文章给出了对于矩形网格上基于二元Newton插值公式的二元向量值有理插值存在性的充要条件.在存在的情况下,建立了具有显式表达式的不同于向量连分式的二元向量值有理插值函数,并且这种方法具有承袭性.最后给出的实例说明了这种算法的有效性.     

求解半光滑方程组的近似Newton法

本文提出了求解半光滑方程组的近似Newton法，并证明了该算法的局部超线性收敛性。数值结果表明 该算法是有效的。     

关于离散Karamata不等式及其应用

本文获得了著名Karamata不等式的离散形式，利用这个结果推广了Newton不等式，应用推广的Newton不等式将张景中和杨路在[1]所得的几何不等式加以推广。     

关于Newton法的Kantorovich型定理及其优函数

本文研究Newton法的Kantorovich型定理的特点及其对Newton法的半局部收敛性研究的思想方法,论述广义Lipschitz条件下的Kantorovich型定理的概括性和统一性.同时,在理论上当x_0取定时,针对每一个满足广义Lipschitz条件的光滑算子,给出优函数的一个构造方法.     

一个解凸二次规划的预测-校正光滑化方法

本文为凸二次规划问题提出一个光滑型方法,它是Engelke和Kanzow提出的解线性规划的光滑化算法的推广。其主要思想是将二次规划的最优性K-T条件写成一个非线性非光滑方程组,并利用Newton型方法来解其光滑近似。本文的方法是预测-校正方法。在较弱的条件下,证明了算法的全局收敛性和超线性收敛性。     

确定广义Reed-Solomon码的深洞树及其应用

深洞在广义Reed-Solomon码译码中有重要的作用.本文研究广义Reed-Solomon码的深洞树及其应用.首先,基于Newton插值对广义Reed-Solomon码的期望深洞树给出了一个显式的刻画.然后,应用期望深洞树的结论给出一个限制和集的结果.     

向量值有理插值存在性的一种判别方法

对于向量值有理插值的计算,目前已经有多种求解算法.但其存在性的判别方法及其证明在现有的文献中还没有见到.这里利用标量有理插值函数插值存在性的思想,引入Newton基函数,给出并证明了向量值有理插值存在性的一种判别方法.同时给出有理插值函数的分子和分母的显式表达式,最后的实例说明了它的有效性.     

非线性均衡问题一个超线性收敛的光滑逼近SQP算法

研究非线性均衡问题,引入一个磨光算子将原问题转化为光滑问题,并用此光滑问题来逼近原来的问题而求解.在每步迭代中,通过转轴运算,求解一个线性约束二次规划问题和显式修正方向来得到主方向,并通过一个显式公式来得到高阶修正方向使得算法避免Maratos效应.在不需要上层互补条件下证明了算法具有全局收敛性和强收敛性且具有超线性收敛速度.     

广义Camassa-Holm方程的行波解

运用平面动力系统理论和方法给出了广义Camassa-Holm方程在各种参数条件下的相图与分支,分析了奇线对其行波解的影响,获得了广义Camassa-Holm方程光滑、非光滑孤立波解和周期波解的存在性及个数,求出了它的两组新周期尖波解的显式表达式.     

Qualitative Analysis of Bifurcating Solutions in the Lengyel-Epstein Model

One of the most fundamental problems in theoretical biology is to explain the mechanisms by which patterns and forms are created in the＇living world. In his seminal paper ＂The Chemical Basis of Morphogenesis＂, Turing showed that a system of coupled reaction-diffusion equations can be used to describe patterns and forms in biological systems. However, the first experimental evidence to the Turing patterns was observed by De Kepper and her associates（1990） on the CIMA reaction in an open unstirred reactor, almost 40 years after Turing＇s prediction. Lengyel and Epstein characterized this famous experiment using a system of reaction-diffusion equations. The Lengyel-Epstein model is in the form as follows     

(0,1 ;0)-INTERPOLATION ON INFINITE INTERVAL (-∞, +∞)

In this paper, we study the explicit representation and convergence of (0, 1; 0)-interpolation on infinite interval, which means to determine a polynomial of degree ≤ 3n - 2 when the function values are prescribed at two set of points namely the zeros of Hn(x) and H′n(x) and the first derivatives at the zeros of H′n(x).     

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.     

On a class of self-similar processes with stationary increments in higher order Wiener chaoses

We study a class of self-similar processes with stationary increments belonging to higher order Wiener chaoses which are similar to Hermite processes. We obtain an almost sure wavelet-like expansion of these processes. This allows us to compute the pointwise and local Hölder regularity of sample paths and to analyse their behaviour at infinity. We also provide some results on the Hausdorff dimension of the range and graphs of multidimensional anisotropic self-similar processes with stationary increments defined by multiple Wiener–Itô integrals.     

A REPRESENTATION FORMULA RELATED TO SCHR(O)DINGER OPERATORS

Schr(o)dinger operator is a central subject in the mathematical study of quantum mechanics.Consider the Schrodinger operator H = -△ V on R, where △ = d2/dx2 and the potential function V is real valued. In Fourier analysis, it is well-known that a square integrable function admits an expansion with exponentials as eigenfunctions of -△. A natural conjecture is that an L2 function admits a similar expansion in terms of "eigenfunctions" of H, a perturbation of the Laplacian (see [7], Ch. Ⅺ and the notes), under certain condition on V.     

On a class of Riemann surfaces

It is considered the class of Riemann surfaces with dimT1 = 0, where T1 is a subclass of exact harmonic forms which is one of the factors in the orthogonal decomposition of the spaceΩH of harmonic forms of the surface, namely The surfaces in the class OHD and the class of planar surfaces satisfy dimT1 = 0. A.Pfluger posed the question whether there might exist other surfaces outside those two classes. Here it is shown that in the case of finite genus g, we should look for a surface S with dimT1 = 0 among the surfaces of the form Sg\K , where Sg is a closed surface of genus g and K a compact set of positive harmonic measure with perfect components and very irregular boundary.     

Journal of the Operations Research Society of China Special issue on Operations Research in Healthcare Management

正Guest Editors:Hong Chen,Shanghai Jiao Tong University,Shanghai,China Guohua Wan,Shanghai Jiao Tong University,Shanghai,China David Yao,Columbia University,New York,USA Scope:Healthcare delivery worldwide has been fraught with high cost,low efficiency and poor quality of patient care service.For the field of operations research(OR),healthcare offers some of the biggest challenges as well as best opportunities in     

ANALYSIS IN THEORY AND APPLICATIONS Vol. 30, 2014 CONTENTS

正~~     

An alternative mathematical algorithm for the photo- and videokeratoscope

Due to the resolution of current laser technology, the accuracy of corneal topography as measured by the videokeratoscope is no longer adequate to provide precise enough data for refractive surgery or for the fitting of customized contact lenses. We present an algorithm for recovering corneal topography that makes use of modern differential geometric techniques and numerical descent in Sobolev spaces. We believe this algorithm may be used with the photo- and videokeratoscope to increase the accuracy of the recovered corneal topography.