具非正则奇异性的偏微分方程的形式解（Ⅱ）

本文研究了具非正则奇异性的一阶全特征型偏微分方程的形式幂级数解.利用待定系数法证明了形式幂级数解的存在唯一性,并给出了其Gevrey类指标的计算公式.     

非正则奇性全特征型偏微分方程的形式解(Ⅰ)

本文研究了一类含两个空间变量的具有非正则奇异性的全特征型偏微分方程的形式解.利用幂级数的比较系数法,得到了适当的形式幂级数解的Gevrey指标,并证明了形式解的存在唯一性.     

线性微分方程的非正规性与Gevrey类解(英文)

本文简要介绍了超函数(hyperfunction)的一个重要子类——Gevrey类超分布(ultra-distribution of Gevrey class),在此基础上介绍了线性微分算子的一些有关结果,并证明了线性双曲型方程 P(x,)u=f(x)的Cauchy问题,当算子P(x,)适合非正规性条件(irregularity condition)时,若定解资料属于Gevrey类,则它的解亦必属于该Gevrey类。     

完全非线性偏微分方程解的Gevrey微局部正则性

本文中，我们首先简要回顾了Gevrey类中的仿微分运算，然后考察了相关的完全非线性偏微分方程的象征的一些性质。作为应用，我们得到解在椭圆点附近的Gevrey微局部正则性。     

GEVREY CLASS REGULARITY FOR THE GLOBAL ATTRACTOR OF A TWO-DIMENSIONAL NON-NEWTONIAN FLUID

This article investigates Gevrey class regularity for the global attractor of an incompressible non-Newtonian fluid in a two-dimensional domain with a periodic boundary condition.This Gevrey class regularity reveals that the solutions lying in the global attractor are analytic in time with values in a Gevrey class of analytic functions in space.     

模糊形式背景下的类近似算子

分别在形式背景和模糊形式背景下定义类下近似算子和类模糊下近似算子,并研究它们的性质.证明这两种算子分剐等价于形式背景和模糊形式背景下的*算子和模糊*算子.进一步给出类下近似算子与类模糊下近似算子的公理刺画.最后,对偶地讨论类上近似算子和类模糊上近似算子的定义和性质.     

Davey-Stewartson方程组的近似惯性流形

本文研究了二维Davey--Stewartson方程组,证明了解的时间解析性和Gevrey类正则性,构造了指数式的近似惯性流形.本文结果表明,如果一个方程的线性主部算子能生成一个解析半群,那么其平坦近似惯性流形(Galerkin近似)和非平坦近似惯性流形具有相同的逼近精度,都可以是指数式的.     

一维广义Ginzburg-Landau方程解的正则性及线性与非线性Galerkin近似

本文得到了一维广义Ginzburs－Landau方程解的Gevrey类正则性和关于时间的解析性．在此基础上得到线性Galerkin近似和非线性Galerkin近似的收敛性．     

The Gevrey smoothing effect for the spatially inhomogeneous Boltzmann equations without cut-off

In this article we study the Gevrey regularization effect for the spatially inhomogeneous Boltzmann equation without angular cut-off.This equation is partially elliptic in the velocity direction and degenerates in the spatial variable.We consider the nonlinear Cauchy problem for the fluctuation around the Maxwellian distribution and prove that any solution with mild regularity will become smooth in the Gevrey class at positive time with the Gevrey index depending on the angular singularity.Our proof relies on the symbolic calculus for the collision operator and the global subelliptic estimate for the Cauchy problem of the linearized Boltzmann operator.     

Invariant hyperbolic tori for Gevrey-smooth Hamiltonian systems under Rüssmann’s non-degeneracy condition

In this paper, we prove the persistence of hyperbolic lower dimensional invariant tori for Gevrey-smooth perturbations of partially integrable Hamiltonian systems under Riissmann＇s nondegeneracy condition by an improved KAM iteration, and the persisting invariant tori are Gevrey smooth, with the same Gevrey index as the Hamiltonian.     

Correction to the paper ``Duality and flat base change on formal schemes'

In §8.3 of our paper ``Duality and Flat Base Change on Formal Schemes" some important results concerning localization and preservation of coherence by basic duality functors were based on the false statement that any closed formal subscheme of an open subscheme of the completion of a relative projective space is an open subscheme of a closed formal subscheme of . In this note, the said results are provided with solid foundations.

     

D-log and formal flow for analytic isomorphisms of n-space

Given a formal map of the form terms, we give tree expansion formulas and associated algorithms for the D-Log of and the formal flow . The coefficients that appear in these formulas can be viewed as certain generalizations of the Bernoulli numbers and the Bernoulli polynomials. Moreover, the coefficient polynomials in the formal flow formula coincide with the strict order polynomials in combinatorics for the partially ordered sets induced by trees. Applications of these formulas to the Jacobian Conjecture are discussed.

     

Transferred Chern classes in Morava -theory

Let be a complex -plane bundle over the total space of a cyclic covering of prime index . We show that for the -th Chern class of the transferred bundle differs from a certain transferred class of by a polynomial in the Chern classes of the transferred bundle. The polynomials are defined by the formal group law and certain equalities in .

     

Transcendence of Binomial and Lucas' Formal Power Series

The formal power series[formula]is transcendental over (X) whentis an integer ≥ 2. This is due to Stanley forteven, and independently to Flajolet and to Woodcock and Sharif for the general case. While Stanley and Flajolet used analytic methods and studied the asymptotics of the coefficients of this series, Woodcock and Sharif gave a purely algebraic proof. Their basic idea is to reduce this series modulo prime numbersp, and to use thep-Lucas property: ifn = ∑n_ipⁱis the basepexpansion of the integern, then[equation]The series reduced modulopis then proved algebraic over _p(X), the field of rational functions over the Galois field _p, but its degree is not a bounded function ofp. We generalize this method to characterize all formal power series that have thep-Lucas property for “many” prime numbersp, and that are furthermore algebraic over (X).