一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

Asymptotique de la norme $L^2$ d'un cycle géodésique dans les revêtements de congruence d'une variété hyperbolique arithmétique

Let M be an arithmetic hyperbolic manifold and be a codimension 1 geodesic cycle. In this paper, we study the asymptotic growth of the -norm of the lifts of F in the congruence tower above M. We obtain an explicit value for the growth rate of this norm. In particular, we provide a new proof of a celebrated result of Millson [Mi] on the homology of the arithmetic hyperbolic manifolds. The method is quite general and gives a new way of getting non zero homology classes in certain locally symmetric spaces. Received: 20 April 2001; in final form: 26 September 2001 / Published online: 28 February 2002     

Defect operators, defect functions and defect indices for analytic submodules

This paper mainly concerns defect operators and defect functions of Hardy submodules, Bergman submodules over the unit ball, and Hardy submodules over the polydisk. The defect operator (function) carries key information about operator theory (function theory) and structure of analytic submodules. The problem when a submodule has finite defect is attacked for both Hardy submodules and Bergman submodules. Our interest will be in submodules generated by polynomials. The reason for choosing such submodules is to understand the interaction of operator theory, function theory and algebraic geometry.     

Positions of convex bodies associated to extremal problems and isotropic measures

We show that there are close relations between extremal problems in dual Brunn-Minkowski theory and isotropic-type properties for some Borel measures on the sphere. The methods we use allow us to obtain similar results in the context of Firey-Brunn-Minkowski theory. We also study reverse inequalities for dual mixed volumes which are related with classical positions, such as ?-position or isotropic position.     

Unavoidable Traces Of Set Systems

Sauer, Shelah, Vapnik and Chervonenkis proved that if a set system on n vertices contains many sets, then the set system has full trace on a large set. Although the restriction on the size of the groundset cannot be lifted, Frankl and Pach found a trace structure that is guaranteed to occur in uniform set systems even if we do not bound the size of the groundset. In this note we shall give three sequences of structures such that every set system consisting of sufficiently many sets contains at least one of these structures with many sets.     

On modular inequalities in variable L p spaces

We show that the Hardy-Littlewood maximal operator and a class of Calderón-Zygmund singular integrals satisfy the strong type modular inequality in variable L^p spaces if and only if the variable exponent p(x) ∼ const. Received: 15 September 2004     

氢原子光谱实验研究

氢原子的结构简单，其光谱具有明显的规律，各种原子光谱线规律性的研究首先是在氢原子上得到突破。通过测量氢光谱可见谱线的波长，能较准确测定氢的里德伯常数，可使学生对近代物理测量有初步了解。     

On a conjecture of Fefferman and Graham

In 1985, Fefferman and Graham have constructed a local embedding of an arbitrary real-analytic manifold, of odd dimension n, into a Ricci-flat manifold of dimension n+2 admitting a homothety. They conjectured that their result remains valid in even dimensions, if logarithms are allowed in the expansion of the metric. In this paper, we (i) prove that such expansions exist and converge and (ii) establish the degree of non-uniqueness of the solution in terms of the coefficients in the expansion.     

Heteroclinic orbits between rotating waves of semilinear parabolic equations on the circle

We investigate heteroclinic orbits between equilibria and rotating waves for scalar semilinear parabolic reaction-advection-diffusion equations with periodic boundary conditions. Using zero number properties of the solutions and the phase shift equivariance of the equation, we establish a necessary and sufficient condition for the existence of a heteroclinic connection between any pair of hyperbolic equilibria or rotating waves.     

Long Abelian ideals

We study Abelian ideals of a Borel subalgebra consisting of long roots. It is shown that methods of Cellini and Papi can be extended to this situation. A uniform expression for the number of long Abelian ideals is given. We also show that there is a one-to-one correspondence between the long Abelian ideals and B-stable commutative subalgebras in the little adjoint representation of the Langlands dual Lie algebra.