SOME RESULTS ON BEST APPROXIMATION IN SPACES WITH CONVEX STRUCTURE

Some generalizations of the result proved by S.P. Singh [J. Approx. Theory 25（1979）, 89-90] are presented in convex metric spaces. The results proved contain several known results on the subject.     

On a criterion of universal spectra

For positive integers N1 , N2 , . . . , Nn , let L = Zn + A and Λ = N1Z ×···× NnZ + Γ be two rational periodic sets, where A(1/N1 )Z ×···× (1/Nn)Z and ΓZn are finite sets with (A-A) ∩ Zn = {0} and (Γ-Γ) ∩ (N1Z ×···× NnZ) = {0}. In this note, we shall determine conditions under which the tiling set L has universal spectrum Λ. We first obtain a criterion of universal spectra. This criterion combined with the properties of compatible pair yields many necessary and sufficient conditions for Λ to be a universal spectrum for L. We then show that, under some mild additional conditions, the conjecture of Lagarias and Szabó is true. The results here extend the corresponding results of Lagarias, Szabó and Wang.     

On the Clique-Transversal Number in （Claw,K4）-Free 4-Regular Graphs

A clique-transversal set D of a graph G is a set of vertices of G such that D meets all cliques of G.The clique-transversal number,denoted by τC(G),is the minimum cardinality of a clique-transversal set in G.In this paper,we first present a lower bound on τC(G) and characterize the extremal graphs achieving the lower bound for a connected(claw,K4)-free 4-regular graph G.Furthermore,we show that for any 2-connected(claw,K4)-free 4-regular graph G of order n,its clique-transversal number equals to [n/3].     

Stable Border Bases for Ideals of Numerical Cartesian Sets

In this paper, we discuss a special class of sets of bivariate empirical points, namely, numerical cartesian sets. We find that the stable quotient bases for numerical cartesian sets are unique if they exist. Furthermore, the corresponding border bases are the unique stable border bases for the vanishing ideals of numerical cartesian sets.     

CONSTRUCTION OF GEOMETRIC PARTIAL DIFFERENTIAL EQUATIONS FOR LEVEL SETS

Geometric partial differential equations of level-set form are usually constructed by a variational method using either Dirac delta function or co-area formula in the energy functional to be minimized. However, the equations derived by these two approaches are not consistent. In this paper, we present a third approach for constructing the level-set form equations. By representing various differential geometry quantities and differential geometry operators in terms of the implicit surface, we are able to reformulate three classes of parametric geometric partial differential equations （second-order, fourth-order and sixth- order） into the level-set forms. The reformulation of the equations is generic and simple, and the resulting equations are consistent with their parametric form counterparts. We further prove that the equations derived using co-area formula are also consistent with the parametric forms. However, these equations are of much complicated forms than these given by the equations we derived.     

RESERVOIR DESCRIPTION BY USING A PIECEWISE CONSTANT LEVEL SET METHOD

We consider the permeability estimation problem in two-phase porous media flow. We try to identify the permeability field by utilizing both the production data from wells as well as inverted seismic data. The permeability field is assumed to be piecewise constant, or can be approximated well by a piecewise constant function. A variant of the level set method, called Piecewise Constant Level Set Method is used to represent the interfaces between the regions with different permeability levels. The inverse problem is solved by minimizing a functional, and TV norm regularization is used to deal with the ill-posedness. We also use the operator-splitting technique to decompose the constraint term from the fidelity term. This gives us more flexibility to deal with the constraint and helps to stabilize the algorithm.     

A NEW TRUST-REGION ALGORITHM FOR NONLINEAR CONSTRAINED OPTIMIZATION

We propose a new trust region algorithm for nonlinear constrained optimization problems. In each iteration of our algorithm, the trial step is computed by minimizing a quadratic approximation to the augmented Lagrange function in the trust region. The augmented Lagrange function is also used as a merit function to decide whether the trial step should be accepted. Our method extends the traditional trust region approach by combining a filter technique into the rules for accepting trial steps so that a trial step could still be accepted even when it is rejected by the traditional rule based on merit function reduction. An estimate of the Lagrange multiplier is updated at each iteration, and the penalty parameter is updated to force sufficient reduction in the norm of the constraint violations. Active set technique is used to handle the inequality constraints. Numerical results for a set of constrained problems from the CUTEr collection are also reported.     

A Remark on Pal Type Interpolation on Non-Uniformly Distributed Nodes on the Unit Circle

In this paper we study the problem of explicit representation and convergence of Pal type （0;1） interpolation and its converse, with some additional conditions, on the non-uniformly distributed nodes on the unit circle obtaIned by projecting the interlaced zeros of Pn （x） and Pn′ （x） on the unit circle. The motivation to this problem can be traced to the recent studies on the regularity of Birkhoff interpolation and Pal type interpolations on non-uniformly distributed zeros on the unit circle.     

Parametrizing the abstract Ellentuck theorem

We give a parametrization with perfect subsets of 2^∞ of the abstract Ellentuck theorem (see [T.J. Carlson, S.G. Simpson, Topological Ramsey Theory, in: J. Ne?etrˆil, V. Rödl (Eds.), Mathematics of Ramsey Theory, Algorithms and Combinatorics, vol. 5, Springer, Berlin, 1990, pp. 172-183], [S. Todorcevic, Introduction to Ramsey spaces, to appear] or [S. Todorcevic, Lecture notes from a course given at the Fields Institute in Toronto, Canada, Autumn 2002]). The main tool for achieving this goal is a sort of parametrization of an abstract version of the Nash-Williams theorem. As corollaries, we obtain some known classical results like the parametrized version of the Galvin-Prikry theorem due to Miller and Todorcevic [A.W. Miller, Infinite combinatorics and definability, Ann. Pure Appl. Logic 41 (1989) 179-203], and the parametrized version of Ellentuck's theorem due to Pawlikowski [Parametrized Ellentuck theorem, Topology Appl. 37 (1990) 65-73]. Also, we obtain parametized vesions of nonclassical results such as Milliken's theorem [K.R. Milliken, Ramsey's theorem with sums or unions, J. Combin. Theory (A) 18 (1975) 276-290], and we prove that the family of perfectly Ramsey subsets of is closed under the Souslin operation.     

Uncertainty Principles for the Generalized Fourier Transform Associated with Spherical Mean Operator

The aim of this paper is to establish an extension of qualitative and quantitative uncertainty principles for the Fourier transform connected with the spherical mean operator.     

A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM

We give a simple game-theoretic proof of Silver's theorem that every analytic set is Ramsey. A set P of subsets of ω is called Ramsey if there exists an infinite set H such that either all infinite subsets of H are in P or all out of P. Our proof clarifies a strong connection between the Ramsey property of partitions and the determinacy of infinite games.     

一类三阶有理差分方程的奇点集和解的渐近性

研究三阶有理差分方程x_(n+1)=ax_(n-1)+x_(n-1)x_n/bx_(n-2)+cx_n,n=0,1,2,...的奇点集和解{x_n}_(n=-2)~∞的渐近性,其中a,b,c∈R,初始值x_(-2),x_(-1),x_0∈R.由a,b,c的取值的不同,而得到解的不同的渐近性.     

The Sumcient and Necessary Condition of Lagrange Stability of Quasi-periodic Pendulum Type Equations

The quasi-periodic pendulum type equations are considered. A sufficient and necessary condition of Lagrange stability for this kind of equations is obtained. The result obtained answers a problem proposed by Moser under the quasi-periodic case.     

Uniqueness Theorems for Meromorphic Mappings in Several Complex Variables into PN（c） with Two Families of Moving Targets

The authors prove some uniqueness theorems for meromorphic mappings in several complex variables into the complex projective space PN(C)with two families of moving targets,and the results obtained improve some earlier work.     

向量优化中Free Disposal集的某些对偶性质

在分离局部凸空间中考虑free disposal集的对偶性质,其中free disposal集是指与凸锥的代数和仍是其本身的集合.在E_1或E_2是free disposal集的条件下,证明了(E_1∩E_2)~+=E_1~++E_2~+和E_1~+∩E_2~+=(E_1+E_2)~+等对偶结果.     

Solutions to Boundary Value Problem of Nonlinear Impulsive Differential Equation of Fractional Order

This paper is devoted to study the existence and uniqueness of solutions to a boundary value problem of nonlinear fractional differential equation with impulsive effects.The arguments are based upon Schauder and Banach fixed-point theorems. We improve and generalize the results presented in[B.Ahmad,S.Sivasundaram, Existence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations,Nonlinear Analysis：Hybrid Systems,3（2009）,251- 258].     

关于Ramsey数下界的部分结果

本文得到 Ramsey数下界的一个计算公式 :R( l,s+ t-2 )≥ R( l,s) + R( l,t) -1 ,(式中 l、s、t≥ 3) .用此公式算得的 Ramsey数的下界比用其它公式算得的下界好 .     

SATURATION THEOREMS FOR GENERALIZED BERNSTEIN POLYNOMIALS

In the present paper, we give the explicit formula of the principal part of ∑k=0^n（{k}q-[n]qx）^sxk ∏m=0^n-k-1（1-q^mx） with respect to [n]q for any integer s and q ∈ （0, 1]. And, using the expressions, we obtain saturation theorems for Bn （f , qn,x） approximating to f（x） ∈ C[O, 1], 0 〈 qn ≤ 1, qn → 1.     

Liouville type theorems for a system of integral equations on upper half space

In this paper,we consider the following system of integral equations on upper half space {u(x) = ∫Rn + (1/|x-y|n-α-1/|-y|n-α) λ1up1(y) + μ1vp2(y) + β1up3(y)vp4(y) dy;v(x) = ∫Rn + (1/|x-y|n-α-1/|-y|n-α)(λ2uq1(y) + μ2vq2(y) + β2uq3(y)vq4(y) dy,where Rn + = {x =(x1,x2,...,xn) ∈ Rn|xn 0}, =(x1,x2,...,xn-1,-xn) is the reflection of the point x about the hyperplane xn= 0,0 α n,λi,μi,βi≥ 0(i = 1,2) are constants,pi≥ 0 and qi≥ 0(i = 1,2,3,4).We prove the nonexistence of positive solutions to the above system with critical and subcritical exponents via moving sphere method.     

Julia集及其Hausdorff维数的连续性

对于d≥2,考虑多项式族Pc=Zd+c,c∈C.Kc={z∈C|{Pcn(z)}n≥0有界}为Pc的填充Julia集,Jc=(?)Kc为其Julia集.HD(Jc)为Jc的Hausdorff维数.设ω(0)为Pc0的临界点0的轨道的聚点集.我们假定Pc0在ω(0)上是扩张的,且O∈Jc0,|c0|>ε>0.如果一序列Cn→c0,则Jcn→Jc0,Kcn→Jc0,在Hausdorff拓扑下.如果存在一常数C1>0和一序列cn→c0,使得d(cn,Jc0)≥C1|cn-c0|1+1/d,则HD(Jcn)→HD(Jc0).这里d(cn,Jc0)为cn与Jc0间距离.