扭转映射的Aubry—Mather理论及其应用

本文介绍Ａｕｂｒｙ－Ｍａｔｈｅｒ理论近年来的发展情况。文章讨论了该理论与ＫＡＭ理论、保面积映射不动点理论的联系，简单地介绍了它的一些推广。作为该理论的应用，对平面Ｈａｍｉｌ－ｔｏｎ系统Ｍａｔｈｅｒ集的存在性给出了一些结果。     

光滑映射芽关于群A的一个子群的无穷小稳定性

在「１」中,Ｃ＾∞映射芽在Ｍａｔｈｅｒ定义的群Ａ＾「２」中的一个子群下的万有开折得到了讨论,本文则刻画了开折的无穷小稳定性。     

关于双重时序AR-MA模型的相关结构及与ARMA模型的比较

本文在文［４］的基础上讨论了双重时序ＡＲ（１）－ＭＡ（ｑ）模型的相关结构，在不假定白噪声序列为正态的情况下，证明了安鸿志［２］关于模型的相关结构的猜想是正确的，具体地构造了ＡＲ（１）－ＭＡ（３）模型的相关结构，并与ＡＲＭＡ模型进行了初步的比较，给出了一些抛砖引玉的讨论．     

Hadamard积和酉不变范数不等式

设Ｍｎ，ｍ是ｎ×ｍ复矩阵空间，Ｍｎ≡Ｍｎ，ｎ．对于Ｈｅｒｍｉｔｅ阵Ｇ，Ｈ∈Ｍｎ，ＧＨ表示Ｇ－Ｈ半正定．记Ａ和Ｂ的Ｈａｄａｍａｒｄ积为ＡＢ．本文证明了若Ａ，Ｂ∈Ｍｎ正定，而Ｘ，Ｙ∈Ｍｎ，ｍ任意，则（ＸＡ－１Ｘ）（ＹＢ－１Ｙ）（ＸＹ）（ＡＢ）－１（ＸＹ），ＸＡ－１Ｘ＋ＹＢ－１Ｙ（Ｘ＋Ｙ）（Ａ＋Ｂ）－１（Ｘ＋Ｙ）．这推广和统一了一些现存的结果．设‖·‖为任意酉不变范数，Ｉ是单位矩阵．本文还证明了对于Ｘ∈Ｍｎ，ｍ和Ａ∈Ｍｎ，Ｂ∈Ｍｍ，若ＡＩ，ＢＩ，则函数ｆ（ｐ）＝‖ＡｐＸ＋ＸＢｐ‖在［０，∞）上单调递增．     

奇异M─矩阵的图相容弱正则分裂

设Ａ是奇异Ｍ－矩阵，Ａ＝Ｍ－Ｎ是Ａ的图相容弱正则分裂．本文研究迭代矩阵Ｍ－１Ｎ的谱性质，得到与迭代矩阵的指数有关的一个定理：ｉｎｄ０（Ａ）＝ｉｎｄ１（Ｍ－１Ｎ）．它推广了Ｈ．Ｓｃｈｎｅｉｄｅｒ和作者的结果．     

奇异M—矩阵的图相容弱正则分裂

设Ａ是奇异Ｍ－矩阵，Ａ＝Ｍ－Ｎ是Ａ的图相容弱正则分裂。本文研究迭代矩阵Ｍ＾－１Ｎ的谱性质，得到与迭代矩阵的指数有关的一个定理：ｉｎｄ０（Ａ）＝ｉｎｄ１（Ｍ＾－１Ｎ）．它推广了Ｈ．Ｓｃｈｎｅｉｄｅｒ和作者的结果。     

一类非线性拟变分不等式

本文利用伪单调算子理论研究如下变分不等式问题：求ｘ∈Ｍ，使得〈Ａｘ，ｙ－ｘ〉＋〈Ｇｘ，ｙ－ｘ〉≥〈ｆ，ｙ－ｘ〉，?ｙ∈Ｍ．并将所得结果应用于拟线性椭圆型边值问题的求解．     

一个与G－分次环和G－集的Smash积有关的Maschke－Type定理

对任意群Ｇ，［１］研究了有单位元１的Ｇ－分次环与有限可迁Ｇ－集的Ｓｍａｓｈ积．在本文中，我们对任意可迁Ｇ－集Ａ讨论了具有局部单位元的Ｇ－分次环与Ｇ－集Ａ的Ｓｍａｓｈ积，证明了有关的一个Ｍａｓｃｈｋｅ－ｔｙＰｅ定理．推广了［２］［３］中的一些重要结果．     

MATCH（14,3,1）—设计的一个构造法

一个ＭＡＴＣＨ（ｎ，ｋ，λ）－设计就是完全图Ｋｎ的一个ｋ－匹配集合，使得Ｋｎ的每一对狡立边恰好出现在λ个ｋ－匹配中，本文构造了一个ＭＡＴＣＨ（１４，３，１）－设计，解决了文献（１）中一个尚未解决的问题，同时还得到了个ＭＡＴＣＨ（４２，３，１）－设计。     

一个与G—分次环和G—集的Smash积有关的Maschke—Type定理

对任意群Ｇ，〔１〕研究了有单位元１的Ｇ－分次环与有限可迁Ｇ－集的Ｓｍａｓｈ积，在本文中，我们对任意可迁Ｇ－集Ａ讨论了具有局部单元元的Ｇ－分次环与Ｇ－集Ａ的Ｓｍａｓｈ积，证明了有关的一个Ｍａｈｃｈｋｅ－ｔｙｐｅ定理，推广了〔２〕〔３〕中的一些重要结果。     

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.     

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.     

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.     

A note on Sobolev orthogonality for Laguerre matrix polynomials

Let {Ln(A,λ)(x)}n≥0 be the sequence of monic Laguerre matrix polynomials defined on [0, ∞) by Ln(A,λ)(x)=n!/(-λ)n∑nk=0(-λ)κ/k!(n-1)! (A I)n[(A I)k]-1 xk,where A ∈ Cr×r. It is known that {Ln(A,λ)(x)}n≥0 is orthogonal with respect to a matrix moment functional when A satisfies the spectral condition that Re(z) ＞ - 1 for every z ∈σ(A).In this note we show that forA such that σ(A) does not contain negative integers, the Laguerre matrix polynomials Ln(A,λ) (x) are orthogonal with respect to a non-diagonal SobolevLaguerre matrix moment functional, which extends two cases: the above matrix case and the known scalar case.     

CONTENTS OF VOLUME 30

正~~