非退化扩散过程的极性的必要性

设Ｘ（ｔ）是一Ｎ维非退化扩散过程．设 Ｅ（０，∞）和 Ｆ ＲＮ都为紧集．本文给出了：Ｐ（Ｘ－１（Ｆ）∩Ｅ≠φ）＞０，Ｐ（Ｘ－１（Ｆ）≠φ）＞０和Ｐ（Ｘ（Ｅ）≠φ）＞０的充分条件．证明了：ｉ）设 Ｎ≥ ３，ａ）若 ｄｉｍ（Ｆ）＜Ｎ－２，则 Ｐ（Ｘ－１（Ｆ）＝φ）＝１； ｂ）若ｄｉｍ（Ｆ）＞Ｎ－２，则 Ｐ（Ｘ－１（Ｆ）≠φ）＞０； ｃ）存在 Ｆ１ ＲＮ，Ｆ２ ＲＮ，ｄｉｍ（Ｆ１）＝ｄｉｍ（Ｆ２）＝Ｎ－２，但有Ｐ（Ｘ－１（Ｆ１）＝φ）＝１，Ｐ（Ｘ－１（Ｆ２）≠φ）＞０．ｉｉ）设Ｎ＝１，ａ）若ｄｉｍ（Ｅ）＞１／２，则ｘ∈Ｒ１，Ｐ（Ｘ－１（ｘ）∩Ｅ≠φ）＞０；ｂ）存在Ｅ（０，∞），ｄｉｍ（Ｅ）＝１／２，使得ｘ∈Ｒ１，Ｐ（Ｘ－１（ｘ）∩Ｅ≠φ）＞０．以上这些结果，不仅仅是Ｂｒｏｗｎ运动的推广，即使就Ｂｒｏｗｎ运动的情形而言，其中有些结果也是新的．     

值域有界的一类非线性算子不动点的带误差迭代逼近

设Ｘ为一致光滑实Ｂａｎａｃｈ空间·Ｔ：Ｘ→Ｘ为连续强增生算子·ｆ∈Ｘ·定义算子Ｓ：Ｘ→Ｘ为Ｓｘ＝ｆ－Ｔｘ＋ｘ,ｘ∈Ｘ·设αｎ｛｝∞ｎ＝０与βｎ｛｝∞ｎ＝０为两个给定的实数列在（０,１）中且满足条件：（ⅰ）αｎ→０,βｎ→０（ｎ→∞）·（ⅱ）∑∞ｎ＝０αｎ＝∞·假设ｕｎ｛｝∞ｎ＝０和ｖｎ｛｝∞ｎ＝０为Ｘ中两个序列且满足‖ｕｎ‖＝ｏ（αｎ）,‖ｖｎ‖→０（ｎ→∞）·ｘ０∈Ｘ,迭代序列ｘｎ｛｝定义为：（ＩＳ）ｘｎ＋１＝（１－αｎ）ｘｎ＋αｎＳｙｎ＋ｕｎｙｎ＝（１－βｎ）ｘｎ＋βｎＳｘｎ＋ｖｎ（ｎ≥０）｛若Ｓｘｎ｛｝,Ｓｙｎ｛｝有界,则ｘｎ｛｝强收敛于Ｓ的唯一不动点     

正规实型黎曼对称空间上Riesz平均的几乎处处收敛性

设Ｘ＝Ｇ０／Ｋ０是非紧致黎曼对称空间，Ｇ０的李代数ｇ０是其复化李代数ｇ的正规实型．若记ｎ０＝ｄｉｍＸ，则我们在该文中证明：对于ｆ∈Ｌｐ（Ｘ），１≤Ｐ≤２，当复数ｚ满足Ｒｅｚ＞δ（ｎ０，Ｐ）＝（ｎ０－１）（１／Ｐ—１／２）时，ｆ关于拉普拉斯算子本征函数展开的ｚ阶Ｒｉｅｓｚ平均几乎处处收敛于ｆ．这一结论与经典的欧氏空间，以及复的和一秩的非紧致黎曼对称空间中完全相同．     

一类无Lipschitz假设的非线性算子的带误差的Ishikawa迭代程序

１引言与预备知识 设Ｘ为一实赋范线性空间．Ｘ·是Ｘ的对偶空间,正规对偶映射Ｊ：Ｘ→２Ｘ定义为：其中＜·,·＞表示Ｘ和Ｘ的广义对偶组．由［１］知若Ｘ是一致光滑Ｂａｎａｃｈ空间,则Ｊ（·）单值且在Ｘ的任何有界子集上为一致连续．我们用ｊ（·）表示单值的正规对偶映射． 定义１［２］设Ｋ是Ｘ的一非空子集,算子Ｔ：Ｋ→Ｘ称为是　－强伪压缩的,如果存在一个严格增加函数　,存在使得 定义２［２,３］Ｔ称为　强增生算子的,如果（Ｉ－Ｔ）是　－强伪压缩算子（其中Ｉ是恒等算子）． 若定义１（相应地;定义２）中　（ｔ）＝ｋ…     

PID环上矩阵模的保秩1映射及应用

设Ｒ为含１主理想整环（简记为ＰＩＤ），本文刻划了矩阵模Ｍｎ（Ｒ）上保秩１线性映射的形式；作为其应用，给出了域上矩阵空间的保线性群及Ｍｎ（Ｒ）上保非零行列线性映射的形式，即它们为：Ｔ（Ｘ）＝ＰＸＱ，Ａ↑Ｘ∈Ｍｎ（Ｒ），或Ｔ（Ｘ）＝ＰＸｔＱ，Ａ↑Ｘ∈Ｍｎ（Ｒ）。其中ｄｅｔ（ＰＱ）≠０。     

Lax定理在局部凸空间中的推广

本文给出Ｌａｘ定理在局部凸空间中的几个推广，特别地，我们获得Ｌａｘ定理的如下推广：设Ｘ和Ｙ为自反Ｆｒｅｃｈｅｔ空间，其拓扑分别由半范序列ｑ１≤ｑ２≤…和半范序列ｐ１≤Ｐ２≤…所给出．设Ａ：Ｙ→Ｘ′为连续线性算子，则存在连续线性算子Ｇ：Ｙ′→Ｘ使满足：（Ｇｇ，Ａｙ）＝（ｇ，ｙ），ｇ∈Ｙ′，Ｖ∈Ｙ当且仅当：对于ｎ，存在ｃｎ＞０，使ｓｕｐ｛１（Ａｙ，ｘ）｜：ｑｎ（ｘ）≤１｝≤ｃｎｐｍ．（ｙ），ｙ∈Ｙ且Ａ的值域在互Ｘ′中具拓扑补，这里，Ｘ′和Ｙ′分别记Ｘ和Ｙ的强对偶．     

最佳L2局部逼近存在唯一的充分必要条件

本文给出了最佳Ｌ２局部逼近的存在唯一性定理，设ｆ∈Ｌ２（０，δ），Ｓｎ＝ｓｐａｎ（ｕ０，ｕ１，．．．Ｕｎ－１）Ｃ＾ｎ－１（０，δ），且ｄｅｔＷｎ（ｕ０，ｕ１，．．．ｕｎ－１；０）≠０，那么，当ｘ→０时，网（Ｐｘ（ｆ，Ｓｎ）收敛于Ｓｎ中某元素Ｐ０（ｆ，Ｓｎ）的充要条件为：ｆ＝Ｐｎ－１＋ｈ，其中Ｐｎ－１（ｔ）＝ｎ－１∑ｉ＝１ａｉｔｉ（ｈ，１）ｘ＝０（Ｘ＾ｎ），ｘ→０，且Ｐ０（ｆ，Ｓｎ）＝ＵＷ＾－１ｎＡ     

自反算子代数的环自同构

设A是Banach空间X上的自反算子代数,并且A的不变子空间格Lat A满足0+≠0和X_≠X,αA→A是环自同构.如果X是实空间,并且dim X±＞1,则存在X上的线性有界可逆算子A,使得α(T)=ATA-1,T∈A;如果X是复空间,并且dim X±=∞,则α(T)=ATA-1,T∈A.其中AX→X是线性、或者共轭线性有界可逆算子.     

本质正规算子的模小紧相似

本文证明了一类本质正规算子Ａ＇（Ω＇;１）（Ｔ∈Ａ＇（Ω＇;１）,如果Ｔ满足（１）Ｔ,Ｔ｜Ｈ（Ｔ）分别是本质正规算子;（２）σ（Ｔ）＝Ω,ρＦ（Ｔ）∩σ（Ｔ）＝Ω;（３）ｉｎｄ（Ｔ－λ）＝－１,ｎｕｌ（Ｔ－λ）＝０,λ∈Ω＇;（４）σ（Ｔ｜Ｈ（Ｔ））是一完全集,这里Ω＇是一连通的解析Ｃａｕｃｈｙ域, Ｈｌ（Ｔ）＝ Ｖ｛ｋｅｒ（Ｔ－λ）＊：λ∈ρｒｓ－Ｆ（Ｔ）｝是模小紧相似的．     

关于一个数列问题的完善和证明

命题设ａ１∈Ｎ＋，ａ１≠１０ｎ（ｎ＝０，１，２，…）．现构造数列｛ａｎ｝：ａｋ＋１是ａｋ的各位数字的平方和．如果存在Ｔ∈Ｎ＋，使得ａＴ＋１＝ａ１，则称ａ１是周期为Ｔ的“周期数”．证明：（１）周期数有且只有４，１６，３７，５８，８９，１４５，４２，２０...     

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     

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.     

(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).     

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

正~~     

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.     

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.     

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.