关于商高数的Jemanowicz猜想

本文研究了商高数的Jemanowicz猜想的整数解问题.利用初等数论方法,获得了该猜想的两个新结果并给出证明,推广了文献[4–8]的结果.     

关于丢番图方程中的柯召—Terjanian—Rotkiewicz方法

1962年,柯召[1]为了证明丢番图方程 x~2-1=y~p,p>3是素数,(1)无整数解,提出了计算Jacobi符号 (Q_p(y)/Q_q(y))来处理丢番图方程的方法,这里Q_n(y)=y~n 1/y 1,2十n.后来,1977年,Terjanian[2]为了证明丢番图方程     

关于一组勾股数的Jemanowicz猜想(英文)

设n是正整数,本文证明了丢番图方程(36n)~((x))+(77n)~((y))=(85n)~((z))除了(x,y,z)=(2,2,2)之外没有其它整数解,从而得到Jesmanowicz猜想在该类情况下的正确性.     

一类丢番图方程与有限域上对角方程的解

给出了一类丢番图方程的解数为11,…,18时,其最小整数解的具体表达式,并推广得到该类丢番图方程的解数为素数p时,其最小整数解的具体表达式.还补充了该类丢番图方程的解数为6,8,10时,w的具体值,其中w为有限域Fq上简单对角方程的次数向量d=(d1,…,dn)的压缩向量.     

关于丢番图方程X~3±1=1267y~2的整数解

关于丢番图方程x³±1=1267y3±1=1267y²的初等解法至今仍未解决.主要利用递归序列、同余式、平方剩余、Pell方程的解的性质、Maple小程序,证明了丢番图方程x2的初等解法至今仍未解决.主要利用递归序列、同余式、平方剩余、Pell方程的解的性质、Maple小程序,证明了丢番图方程x³-1=1267y3-1=1267y²有整数解(x,y)=(1,0),(60817,±421356),而丢番图方程x2有整数解(x,y)=(1,0),(60817,±421356),而丢番图方程x³+1=1267y3+1=1267y²仅有整数解(x,y)=(-1,0).     

关于丢番图方程(an)x+(bn)y=(cn)z

设n,a,b,c是正整数,gcd(a,b,c)=1,a,b≥3,且丢番图方程a~x+b~y=c~z只有正整数解(x,y,z)=(1,1,1).证明了若(x,y,z)是丢番图方程(an)~x+(bn)~y=(cn)~z的正整数解且(x,y,z)≠(1,1,1),则yzz或xzy.还证明了当(a,b,c)=(3,5,8),(5,8,13),(8,13,21),(13,21,34)时,丢番图方程(an)~x+(bn)~y=(cn)~z只有正整数解(x,y,z)=(1,1,1).     

Fermat素数与Jemanowicz猜想

设r是正整数.本文运用初等数论方法证明了方程((2~(r+1)+1)n)~x+((2~(2r+1)+2~(r+1)n)~y=((2~(2r+1)+2~(r+1)+1)n)~2适合(x,y,z)≠(2,2,2)以及n1的正整数解(x,y,z,n)都满足xzy特别是当2~(r+1)是素数时,该方程仅有正整数解(x,y,z,n)=(2,2,2,t),其中t是任意正整数,即此时Jemanowicz猜想成立.     

关于线性丢番图方程的Frobenius问题

本文考虑线性丢番图方程a_1x_1+…+a_kx_k=b的非负整数解的存在性问题.为解答Frobenius开问题,对于k2,给出整数G(a_1,…,a_k)的表示形式,该整数是使得b≥G a(_1,…,a_k)时,上述丢番图方程总存在非负整数解的最小整数.     

丢翻图方程x~2+a~2=2y~n解法的计算研究

本文研究了一类丢番图方程的解.利用对Thue方程解的估计和方程解的连分式展开,获得了所求丢番图方程解的个数、解上界的估计和一般的求解算法.最后利用该算法给出了1≤a≤108的所有解.     

丢翻图方x2 + a2=2yn解法的计算研究

本文研究了一类丢番图方程的解.利用对Thue方程解的估计和方程解的连分式展开,获得了所求丢番图方程解的个数、解上界的估计和一般的求解算法.最后利用该算法给出了1≤a≤108的所有解.     

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.     

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.     

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.