Binet—Cauchy公式及其应用

本给出了Binet-Cauchy公式的一种证法，并介绍了它在代数上的若干应用。     

Clifford分析中双正则函数的Taylor展式及其性质

首先借助实Clifford分析中双正则函数的累次积分的换序公式,给出了双正则函数的Cauchy积分公式,然后由特征边界的Cauchy积分公式,得到了双正则函数的Taylor展式,并由此给出了双正则函数的唯一性定理,柯西不等式和Weierstrass定理.     

以ρ=αr＋βlnr为坐标网点的Hartree—Fock完备基矢计算程序

本文以Ｆｉｓｃｈｅｒ编写的多组态ＨＦ Ｆｏｒｔｒａｎ程序为基础，将坐标网点由ρ＝ｌｎＺｒ改为ρ＝αｒ＋βｌｎｒ，同时，增加计算连续态的功能，从而得到一个可以同时处理束缚态和连续态的ＨＦ完备基矢程度包。为了检验基矢的完备性，我们计算了库仑场下的Ｔｈｏｍａｓ－Ｒｅｉｃｈｅ－Ｋｕｈｎ求和。     

一类可导入随机积分的过程

给出了一个随机过程可以用来导入一种随机积分的充要条件，这个条件将随机积分与随机测度联系起来，从而更清楚地认识了随机积分的本质。     

无限矩阵环和完备环

无限矩阵环和完备环郭善良（复旦大学）Ｓｈａｎｎｙ在１９７１证明了一个环Ｒ是半单Ａｒｔｉｎ环当且仅当Ｒ上的无限矩阵环是ＶｏｎＮｅｕｍａｎｎ正则环［１］。这也就是说一个环的无限矩阵环在一定程度上唯一确定了Ｒ本身。我们注意到若ＥｎｄＦ，为ＶｏｎＮｅｕｍｍａ...     

一个新的极大极小定理及应用

本文得到一个新的极大极小定理及其几个等价形式．作为这一结果的应用，我们得到区间空间上的Ｋｙ Ｆａｎ型截口定理，匹配定理和几个集值映象的不动点定理．     

关于Levesque的信念逻辑的完备性

Ｈ．Ｊ．Ｌｅｖｅｓｑｕｅ最近为了研究非单调推理提出了含有两个模态词Ｂ，Ｎ的信念逻辑系统，并猜想它是完备的．本文提出了Ｔ~＊－集合的概念，并证明一句子集合如果是Ｔ~＊－集合，那么是可满足的．本文的定理是［１］中定理Ａ２的推广．并得到［１］中定理Ａ．２的一个简单的证明．     

全相对论多组态原子结构及物理量的精密计算——构建准完备基以及组态相互作用

从第一原理出发计算原子结构有多种理论方法,它们都是基于变分原理的,其关键是构建一组最适合描述真实物理体系的且适用于变分原理的准完备基.本文阐明了如何利用全相对论计算程序GRASPVU,通过单组态Dirac-Fock计算以及多组态Dirac-Fock自洽场计算建立准完备基.然后利用该准完备基进行组态相互作用计算以充分考虑关联作用;在此基础上,进一步考虑电磁相互作用的延迟效应和量子电动力学等修正.该准完备基对原子结构和电磁跃迁等物理量可进行精密的理论计算.最简单的He体系的能级和跃迁速率等物理量的计算值与目前最准确的理论计算值以及精密的实验测量值符合很好,验证了本文提出的方案的适用性.本文计算是全相对论的,可推广到相对论效应很重要的高Z类He体系,以面向重离子储存环相关实验测量.同时该方案也适用于其他任何多电子原子体系;对Mg进行了精密理论计算,阐明了其33D,43D精细结构次序变化的机理.     

旋转构件变形的完备性论证与分析

问题 处于重力场中的工程机械主机上安装的旋转部件如图 1 所示:四根质量均为 m、长度均为 L的杆件以铰接构成菱形,竖直固定主轴与其一条对角线重合,菱形最上方的点被锁定而最下方的点是一个可在主轴上自由滑动的轴套且此两点间连接有一根刚度系数为k、自然长度为2L的螺绕弹簧(密布缠绕在主轴上).