一个耦合系统自由边界问题的整体古典解

§ 1　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｔｈｉｓｐａｐｅｒｗｅｄｉｓｃｕｓｓｔｈｅｇｌｏｂａｌｃｌａｓｓｉｃａｌｓｏｌｕｔｉｏｎｏｆａｍｕｌｔｉｄｉｍｅｎｓｉｏｎａｌｑｕａｓｉｓｔａｔｉｏｎａｒｙｐｒｏｂｌｅｍ .Ｔｈｅｐｒｏｂｌｅｍｃｏｍｅｓｆｒｏｍｔｈｅｄｉｓｃｕｓｓｉｏｎｏｆａｇｒｏｗｔｈｍｏｄｅｌｏｆｓｅｌｆｍａｉｎｔａｉｎｉｎｇｐｒｏｔｏｃｅｌｌ(ｓｅｅ [1— 3])ｉｎｍｕｌｔｉｄｉｍｅｎｓｉｏｎａｌｃａｓｅ .Ｔｈｅｐｒｏｔｏｃｅｌｌｃａｎｂｅｖｉｓｕａｌｉｚｅｄａｓｈａｖｉｎｇａｐｏｒｏｕｓｓｔ…     

Dirichlet空间上的循环复合算子

该文主要证明了在Dirichlet空间上由复合算子{C\-φ:φ∈Aut(D)}生成的代数为循环算子代数;同时对任意的解析映射φ:D→D,C\-φ都不可能为超循环算子给出了证明.     

von Neumann代数中套子代数上的Lie导子

本文对因子von Neumann代数中套子代数上的线性映射L:alg_Mβ→M满足L(AB—BA)=L(A)B-BL(A)+AL(B)-L(B)A( A,B∈alg_Mβ)进行了刻划,证明了存在线性函数h:alg_Mβ→C;且对任意A,B∈alg_Mβ,有h(AB—BA)=0和算子T∈M,使得对任意X∈alg_Mβ,都有L(X)=XT-TX+h(X)I.     

关于对偶扩张代数有限维数的注记

没A是一个有限维代数，R为A的对偶扩张代数．本我们讨论R的有限维数findim R of R，证明了，在—般情况下findim R≠2findim A，这就回答了惠昌常教授所提的一个问题．     

群胚上的Dirac结构及泊松约化

本文详细讨论了李双代数胚中的Dirac结构、群胚上的Dirac结构。利用Dirac结构的特征对的概念,给出了作用不变Dirac结构,拉回Dirac结构等概念的新的刻画。最后利用Dirac结构的有关性质,讨论了泊松齐性空间和泊松群胚作用的约化。     

计算机上的抽象算符演算系统

本文在REDUCE语言环境下,利用公理化方法建立了一个“抽象算符演算”系统.使REDUCE系统可用于抽象的算符演算,逆演算;用于Laplace变换,逆变换及解微分方程,推导公式,以及验证有关定理等.     

Multidimensional transonic shocks and free boundary problems for nonlinear equations of mixed type

We establish the existence and stability of multidimensional transonic shocks for the Euler equations for steady potential compressible fluids. The Euler equations, consisting of the conservation law of mass and the Bernoulli law for the velocity, can be written as a second-order, nonlinear equation of mixed elliptic-hyperbolic type for the velocity potential. The transonic shock problem can be formulated into the following free boundary problem: The free boundary is the location of the transonic shock which divides the two regions of smooth flow, and the equation is hyperbolic in the upstream region where the smooth perturbed flow is supersonic. We develop a nonlinear approach to deal with such a free boundary problem in order to solve the transonic shock problem. Our results indicate that there exists a unique solution of the free boundary problem such that the equation is always elliptic in the downstream region and the free boundary is smooth, provided that the hyperbolic phase is close to a uniform flow. We prove that the free boundary is stable under the steady perturbation of the hyperbolic phase. We also establish the existence and stability of multidimensional transonic shocks near spherical or circular transonic shocks.

     

Coding the principal character formula for affine Kac-Moody lie algebras

In this paper, an algorithm for computing the principal character for affine Lie algebras is discussed and presented. The principal characters discovered using this program are given and/or proven. Results include level 2 and 3 character formulas in and the sole existence of the Rogers-Ramanujan products in , , , , , , .     

What is the Rees algebra of a module?

In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module may be computed in terms of a ``maximal' map from to a free module as the image of the map induced by on symmetric algebras. We show that the analytic spread and reductions of can be determined from any embedding of into a free module, and in characteristic 0--but not in positive characteristic!--the Rees algebra itself can be computed from any such embedding.

     

Lie algebras and separable morphisms in pro-affine algebraic groups

Let be an algebraically closed field of arbitrary characteristic, and let be a surjective morphism of connected pro-affine algebraic groups over . We show that if is bijective and separable, then is an isomorphism of pro-affine algebraic groups. Moreover, is separable if and only if (its differential) is surjective. Furthermore, if is separable, then .