SU(2)×SU(2)准自旋模型和自洽解的对称性恢复方法——Ⅰ.严格解和HF近似

本文提出了一个含有两类相互作用的准自旋模型,讨论了模型Hamilton量在SU(2)×SU(2)基中的严格解、基态相变和波函数的K结构,并用此模型探讨了HF近似的有效性。     

FORMATION OF SINGULARITIES FOR A KIND OF QUASILINEAR NON－STRICTLY HYPERBOLIC SYSTEM

The author gets a blow-up result of C1 solution to the Cauchy problem for a first order quasilinear non-strictly hyperbolic system in one space dimension.     

自由模的自同态环之间的同构

本文主要结果如下:(1)证明了两个自由模及是半线性同构当且仅当End_F与End_G是严格的环同构(见定义1)。(2)用不同方法证明并推广了1985年Bolla用范畴方法来描述End_F与End_G之间的环同构。(3)1962年Wolfson定理是我们的推论。     

4一致反超图的最小边数问题

混合超图是在超图的基础上添加一个反超边得到的图．超边和反超边的区别主要体现在着色要求上．在着色中,要求每一超边至少要有两个点着不同的颜色,而每一反超边至少有两个点着相同的颜色．最大最小颜色数分别称为混合超图的上色数和下色数。本文主要研究反超图,即只含反超边的超图。讨论了上色数为3的4一致超图的最小边数问题．给出了上色数为3的4一致反超图的最小边数的一个上界和一个下界．     

微积分严格化之后(续二)

一、复数域上的微积分Frobenius定理说 :实数域上所有有限维结合可除代数 ( Division Algebra)只有三个 ,即 :实数域 ,复数域 ,四元数 ( Quaternion)代数 ,如果去掉结合性要求 ,则实数域上还有另一个可除代数 Cay-ley-Dickson代数 ,即 Octonion代数。在实数域上的维数为 8。由于四元数代数不可交换 ,Cayley-Dickson代数既不可交换又不结合。而复数域既可交换又可结合 ,且复数早已为人们所熟悉 ,于是人们在考虑原有微积分 ,即实数域上的微积分之后 ,理所当然地考虑复数域上的微积分 ,这就形成了复分析。复分析既然是复数域上的微积分 ,那…     

NCD系统的数学理论

无索赔折扣系统(No Claim Discount system,简记为NCD系统)是世界各国机动车辆险中广泛采用的一种经验费率厘定机制.本文尝试建立了NCD系统严谨的数学理论, 重点讨论了NCD系统的数学建模和稳态分析.此外,作为本文必要的数学前提,首先在第2节着重探讨了随机矩阵间的随机优序关系,并将所得结论运用至齐次不可约且遍历的马尔科夫链的研究中,这些内容也有其独立的数学上的兴趣.     

应用自动微分的Newton-PCG算法

一类新的使用符号微分的Newton-PCG型算法在文献[1]和[2]被导出来了。本文建立和研究应用自动微分的相应的Newton-PCG算法，理论分析和数值实验结果显示应用自动微分之后，目标函数的维数或复杂性越大，Newton-PCG算法对Newton法的改进越显著。     

基半群为O—J—严格单半群的零直并的代数

设Ａ是代数闭域Ｋ上的一个具乘基Ｂ的有限维含幺结合代数，称半群Ｂ∪（０）为Ａ的基半群。本文给出了０－Ｊ－严格单半群的定义，对于基半群为Ｏ－Ｊ－严格单半群的零直并的代数，完全研究了它的代数表示型。     

关于实Hilbert环

通过引进“强实Hilbert环”这一概念,本文证明了,一个环A是强实Hilbert环,当且仅当多项式环A[X]是实Hilbert环,当且仅当A[X]的每个实极大理想在A上的局限是实极大的,从而文献[1]中两个主要结果被否定.此外,本文还研究了所谓的“严格的实Hilbert环”,这类环对于半代数零点定理等方面的探讨更具应用意义.