初等算子的一个重要性质及其应用

本文在§1里定义了初等算子及其相应的模函数,并利用配对函数定义一个函数f的堆积函数f~Δ。 在§2里,引入了初等算子的代表函数,从而给出初等算子的一个重要性质,即,如果初等算子δ作用于函数f而得函数g,则g的堆积函数g~Δ可由f的堆积函数f~Δ及δ的代表函数、δ的模函数作迭置而得。由此推得:初等函数类可以由某些开始函数出发,纯由迭置(不必使用初等算子)而作成。 在§3里,进而证明,嵌套单重递归式以及定义算子的单重递归式,即使含有初等算子,也都可化归为原始递归式及迭置,从而推广了文献[2]的结果。     

多元Sikkema-Kantorovitch算子的Lp逼近

在单纯形上定义多元Sikkema-Kantorovitch算子kn(f),利用Ditizan-Totik光滑模讨论该算子的逼近问题,给出其强型正定理,估计出它在空间Lp的收敛速度并给予证明.文中的结果可以推广到K(K>2)维单纯形上.     

关于算子迹的H(o)lder不等式的等价命题

本文将Jan R.Magnus关于矩阵迹的一个命题推广到 Hilbert空间上算子迹的相应命题,由此得到一个证明算子迹的 H(o)lder不等式的方法,同时得到关于算子迹的H(o)lder不等式的几个等价命题.最后给出算子迹的Minkowski不等式的一个证明.     

Cn中单位球上推广的Roper-Suffridge算子的性质

进一步推广了Roper-Suffridge算子,并讨论推广后的算子保持双全纯映照子族的一些性质.从定义出发证明推广后的算子在Cn中的单位球Bn上保持强α次殆星形性及强β型螺形性,并作为特殊情况得出推广后的算子在相应域上保持强星形性.     

B~n上一类螺形映照子族的不变性

将Roper-Suffridge算子在C~n中单位球B~n上加以推广,讨论了α次强β型螺形映照在推广后的Roper-Suffridge算子下的不变性.从定义出发,利用双全纯映照的增长定理证明了推广后的Roper-Suffridge算子在一定条件下保持α次强β型螺形性.     

基于蕴涵算子上的模糊子环与模糊理想

为了将通常的模糊子环(理想)推广到蕴涵算子上的模糊子环,首先给出了基于蕴涵算子上的R—模糊子环和R—模糊理想的定义。然后采用了公理化的方法,利用模糊集截集及蕴涵算子的性质,获得了当R(x,y)对变量x递减(递增)时两个R—模糊子环(理想)的交(并)仍是R—模糊子环(理想);R—模糊子环(理想)的满同态像仍是R为模糊子环(理想),R—模糊子环(理想)的同态原像仍是R—模糊子环(理想)。这些结果有较重要的理论价值及应用前景。     

基于值域包含的不适定算子方程的收敛速度

讨论了不适定的算子方程Af=Bg的收敛速度问题.方程的不适定是指方程的解对初始条件缺乏连续依赖的性质.这里的算子B是定义在某个恰当的Hilbert空间上的算子,它可能是无界算子,而且有值域包含关系R(A)■R(B).     

关于算子迹的Hoelder不等式的等价命题

本文将Jan R．Magnus关于矩阵迹的一个命题推广到Hilbert空间上算子迹的相应命题，由此得到一个证明算子迹的Hoelder不等式的方法，同时得到关于算子迹的Hoelder不等式的几个等价命题。最后给出算子迹的Minkowski不等式的一个证明。     

无界算子组的Taylor联合谱

本文将Banach空间上两两可交换的有界线性算子组的Taylor联合谱的定义推广到含有一个闭算子的算子组的情况,并证明了这种算子组的谱是C~n中的一个闭集.对于Hilbert空间的情况,本文推广了F.H.Vassilescu和R.E.Curto的二个结果.     

实函数的归约性

本文才巴 Ker-IKO 文中实数归约性推广到实函数,讨论了推广后各种归约之间的关系。证明了两种递归实函数定义的等价性。引入了算子图灵机的概念,利用算子图灵机给出了 C[1,0]上的一个分层(不可解度的分层)。证明了该分层有一个子结构与(?)同构。     

基于一般关系下的双论域粗糙集模型

通过构造性方法对原始的粗糙集模型进行推广,提出了一般关系下的双论域粗糙集模型,并且讨论了该近似空间的上、下近似算子的一些性质,初步探讨了定义在双论域上的某些特殊关系下的近似算子的一些性质.     

乘积空间上的Calderón-Zygmund算子:H~p(0

朱学贤 《北京大学学报(自然科学版)》1989,(5)

递归定义与归纳证法

递归定义与归纳证法是数学中最基本、最原始的手段,它不象一般人所认为的那样只是自然数所特有的。本文通过揭示递归定义与归纳证法的实质表明它们是本质上不依赖于自然数的逻辑系统内的特征,因而也适用于许多非自然数的对象。     

关于Hilbert空间上的有界算子和封闭算子

一个在Hilbert空间R上处处定义的线性算子是否一定有界?回答是否定的,因为利用超限归纳法可以把T=d/d_x擴张成整个空间上的线性算子,它显然是无界的.     

关于非线性方程的单调Steffensen型迭代法

本文引进一类重要的非凸算子——可凸分解算子的概念,并对可凸分解算子类讨论了一般化的 Steffensen 型单调包含迭代法.作者证明:在通常假设下,所引进的 Steffensen 型单调迭代法至少平方收敛到所考虑算子方程的极小解和极大解.所得结果包含并推广了有关单调 Newton 法和单调 Steffensen 方法的已知结果.数值例题说明,本文所引进的 Steffensen 型方法在计算上是非常有效的,因而值得推荐.     

B~n上螺形映照的子族与推广的Roper-Suffridge算子

讨论在C~n中单位球B~n上强α次殆β型螺形映照在一些推广的Roper-Suffridge算子下的不变性.从定义出发,利用双全纯映照的偏差结论证明推广后的Roper-Suffridge算子在一定的条件下保持强α次殆β型螺形性,从而得到推广后的算子保持强β型螺形性、强α次殆星形性及强星形性.     

广义算子s-预不变凸函数及其积分不等式

凸函数及其推广是分析不等式研究中的一个热点,它在纯粹数学和应用数学的众多领域中具有广泛的应用.推广了凸函数的概念,定义了广义算子s-预不变凸函数,然后讨论了广义算子s-预不变凸函数的积分不等式,得到了若干个结果.     

带固定参数的Monadic递归

针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.     

模糊数值直觉模糊群的性质及一个重要结论

定义了模糊数值直觉模糊群,讨论它的一些运算,研究它的一些性质并加以证明.最后在两个非空有限经典群同态意义下,证明了这种模糊数值直觉模糊群的像仍是模糊数值直觉模糊群.     

Banach空间上的非游荡算子序列

讨论无穷维可分Banach空间上的非游荡算子序列.根据Banach空间上非游荡算子以及Banach空间上的PDE的非游荡算子半群的定义,给出Banach空间上非游荡算子序列的定义,运用特征向量的方法证明在无穷可分解析函数Banach空间上非游荡算子序列的存在性.并给出非游荡算子序列的一些性质.