关于广义四元数代数上矩阵的迹的一个等式

众所周知,相似矩阵的迹相等对于非交换代数和环上的矩阵不一定成立,有趣的问题是给定一个条件使得相似矩阵的迹相等对于非交换代数或非交换环上的矩阵成立。本文对于特征不是2的任意域F上定义的广义四元数代数上的两个矩阵A和B,给出如果A和B相似并且它们的主对角线上的元素在F中,那么它们的迹相等。     

Cyclic cohomology and algebra extensions

We construct a spectral sequence to study cyclic cohomology for an extension A = R/I of algebras. When R is a free algebra we describe the cyclic cohomology of A in terms of traces defined on R or powers of I. Explicit cyclic cocycles representing the cyclic cohomology class belonging to the trace are constructed as analogues of Chern character and Chern-Simons forms.Dedicated to Alexander Grothendieck     

两个非线性方程的准确解

借助于计算机代数系统Ｍａｔｈｅｍａｔｉｃａ利用直接代数方法获得了两个有数学物理意义的非线性耗散－色散方程的准确解，这种方法也适用于高维非线性方程。     

Augmented Spinor Space

In this paper, based on the Pauli matrices, a notion of augmented spinor space is introduced, and a uniqueness of such augmented spinor space of rank n is proved. It may be expected that this new notion of spaces can be used in mathematical physics and geometry.     

Some Oscillatory Singular Integrals on Herz-type Spaces (Ⅱ)

In this paper, the authors prove that some oscillatory singular integral operators of non-convolution type with non-polynomial phases are bounded from the Herz-type Hardy spaces to the Herz spaces and from the Hardy spaces associated with the Beurling algebras to the Beurling algebras in higher dimensions, even though it is well-known that these operators are not bounded from the Hardy space H1(Rn) into the Lebesgue spaceL1(Rn).     

Urn模型的B网及其应用

Urn模型的离散概率分布被用于构造逼近格式,具有Bernstein多项式的许多特性。本文用B网技术对Urn模型概率分布给出新的解释,指出了Urn模型B网的诸多性质,导出分布函数曲线的导数公式,构造了Urn分布的对偶基及与此相关的拟插值算子。     

Symmetry of the Barochronous Motions of a Gas

We study the system of nonlinear differential equations which expresses the constancy of the algebraic invariants of the Jacobian matrix for smooth vector fields in three-dimensional space. This system is equivalent to the equations of gas dynamics which describe the barochronous motions of a gas (the pressure and density depend only on the time). We present the results of computation of the admissible local Lie group and construction of the general solution of the system. We mention a few new problems that arise here.     

Eigenvalue problem for arbitrary linear combinations of a boson annihilation and creation operator

The eigenvalue problem for arbitrary linear combinations kα + μα^? of a boson annihilation operator α and a boson creation operator α^? is solved. It is shown that these operators possess nondegenerate eigenstates to arbitrary complex eigenvalues. The expansion of these eigenstates into the basic set of number states | n >, (n = 0, 1, 2, …), is found. The eigenstates are normalizable and are therefore states of a Hilbert space for | ζ | < 1 with ζ ? μ/k and represent in this case squeezed coherent states of minimal uncertainty product. They can be considered as states of a rigged Hilbert space for | ζ | ? 1. A completeness relation for these states is derived that generalizes the completeness relation for the coherent states | α 〉. Furthermore, it is shown that there exists a dual orthogonality in the entire set of these states and a connected dual completeness of the eigenstates on widely arbitrary paths over the complex plane of eigenvalues. This duality goes over into a selfduality of the eigenstates of the hermitian operators kα + k* α^? to real eigenvalues. The usually as nonexistent considered eigenstates of the boson creation operator α^? are obtained by a limiting procedure. They belong to the most singular case among the considered general class of eigenstates with ζ ? μ/k as a parameter.     

无原子布氏代数理论的计算复杂性

研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1　无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2　无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3　无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 .     

复制受限的环境演算中模态逻辑的内涵性

环境演算(MA)的模态逻辑AL进行了研究．在考虑了复制操作和限制操作的情况下，提出了逻辑等价的协归纳操作描述，并利用协归纳关系与进程结构同余关系进行比较，证明了若对MA加上约束条件得到子集MAIF^syn，此时逻辑等价(=L)与结构同余关系是等价的，即AL在MAIF^syn中是内涵的．同时发现由于复制操作的存在，AL的内涵性受到了影响，使得AL的区分能力被削弱，但通过对复制公式的构造验证了AL的表达能力．