退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

奇非线性多调和方程的整体正解

证明了具有奇性的一类非线性多调和方程在R^n(n≥3)上的整体正解的存在性和多解性，用两个具体的例子说明定理的应用．     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

有限群的某些数量关系

在有限单群分类过程中，其阶恰包含3个素因子的群，即所谓K3-群构成了一类需要单独进行处理的单群类．利用Sylow定理和G1auberman正规p-补定理分别对两类阶具有3个素因子的群：p^2qr和p^3qr阶群进行了讨论，在一定条件下证明了它们都是非可换单群，即K3-群，并且分别同构于A5和L(2，7)．     

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

第二积分中值定理“中间点”渐近值的进一步完善

本文通过引入Ｂｅｔａ函数，用统一的方法继续探讨了第二积分中值定理“中间点”的一些渐近性质，得出一系列新结论，作为本文的结论在相当大幅度上推广和概括了文（１－６）的重要结论。     

校准曲线法定量分析数据微机处理方法

本文给出了一个处理校准曲线法定量分析大批量单一组分样品的分析数据的通用程序，将有效地提高计算结果的准确度，数据处理速度的分析化验工作的效率，同时对分析检验工作的数据处理自动化建设有所促进。     

自由C*-代数与非交换Hahn-Banach定理中的完全收缩扩张的唯一性问题

1 引言及主要结果Arveson 把经典的Hahn—Banach扩张定理推广到了C-代数的自伴线性闭子空间上.从此,许多数学工作者对Arveson扩张定理作了推广,下述结果属于G,Wittstock,命题1.1(见文献[2]定理4.2)设X是-算子空间,A是一有单位元的 C-代数且A(?)X,若(?):X→B(H)是一完全收缩映射,则存在完全收缩映射(?):A→(H)使得(?)|X=(?)且||(?)||_cb=||(?)||_cb利用该命题易得:推论1.1 设X与Y均为算子空间且Y(?)X,若(?):Y→(H)是一完全收缩映射,则存在完全收缩映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb但命题1.1中的(?)的唯一性问题从未被人涉及,本文用自由C-代数和遗传C-代数为工具,给出了命题1.1中扩张(?)对任何Hilbert空间H均具唯一性的一个充要条件,即下述的:定理1.1 设X和Y均为算子空间,且Y(?)X,1∈X,则下述等价:(1)对每个Hilbert空间H及每个完全收缩映射(?):Y→B(H),都唯一存在完全收缩扩张映射(?):x→B(H)使得(?)|Y=(?)且||(?)||_cb=||(?)||_cb(2)C(Y)是C(X)的遗传C-子代数,定理1.2 记号同于命题1.1,则对每个Hilbert空间H,(?)均唯一存在的充要条件为:I(X)是A的遗传C-子代数,其中I(X)是由X生成的A的C-子代数,     

非紧致一秩Riemann对称空间上的中心极限定理

Terras,于1984年得到了Poincar(?)上半平面M=SL(2,R)/SO(2)的中心极限定理.这是在非紧致Riemann对称空间上得到的第一个非Euclid中心极限定理.以球Fourier变换作基础,利用Lohoue和Rychner得到的热核表达式,我们在本文中建立起非紧致一秩Rie-mann对称空间上的非Euclid中心极限定理.设M=G/K为非紧致Riemann对称空间,9和(?)分别是G和K的Lie代数,(?)=(?) (?)为Cartan分解,a是(?)中的极大Abel子空间,a是a的对偶空间,a~ 是a中的正Weyl室,Ω~ 是Lie代数 (?)相对于a~ 的全体正根之集,ρ=1/2∑_(λ∈Ω)~ mλ·λ是(?)的半正根和,其中m_λ为根λ的重数,(?)=(?) a n为相应的Iwasawa分解,x∈G,H(x)∈a是x在a中的投影.G上的初等球函数定义成     

Holub定理的非线性推广及其应用

设E为Banach空间,T为E上的有界线性算子。如果下式成立: ‖I T‖=1 ‖T‖,I为恒等算子,（1）则称T满足Daugavet方程。由于Daugavet方程在逼近论、Banach空间几何理论以及算子的可逆性等方面具有基本重要的应用,因此,有关Daugavet方程的研究受到广泛的关注（有关文献及研究近况可参见文献[1～3]）。 自Daugavet证明每个C[0,1]上的紧算子满足Daugavet方程以来,关于Daugavet方程研究的最为出色的工作之一是下面的本质上属于Holub的结论: Holub定理 设T为L~1（μ）（一般地,AL或AM空间）上的有界线性算子,则T满足: 1 ‖T‖=max{‖I T‖,‖I-T‖},（2）即T或-T满足Daugavet方程。 设f:E→E为Lipschitz连续算子,f的最小Lipschitz常数L（f）与Dalhquist常数M（f）分别定义为: