Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

标的资产服从几何分数布朗运动的期权定价

本文在M ogens B ladt和T ina H av iid R ydberg无市场假设,仅利用价格过程的实际概率的期权保险精算定价模型的基础上,得出了标的资产服从几何分数布朗运动的欧式期权定价公式,并说明了几何布朗运动是本文的一种特殊情况.     

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

众所周知,相似矩阵的迹相等对于非交换代数和环上的矩阵不一定成立,有趣的问题是给定一个条件使得相似矩阵的迹相等对于非交换代数或非交换环上的矩阵成立。本文对于特征不是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).