指数有界双连续n阶α次积分C半群的逼近

利用经典算子半群理论中的研究方法，基于双连续n阶α次积分C半群的生成定理，讨论了指数有界双连续n阶α次积分C半群的逼近定理。{T(t)}_t≥0，{Tn(t)}_t≥0分别是由A、A_n次生成的指数有界双连续n阶α次积分C半群，在一定条件下，可以得到Ra(λ，A_n) x→Ra(λ，A) x与T_n(t)x→T (t)x等价。研究结果推广了n阶α次积分C半群相关的逼近定理。     

n阶α次积分C半群的逼近

借助算子半群逼近的相关理论及经典算子理论的研究方法,对算子A,An分别次生成的n阶α次积分C半群{T(t)}t≥0和{Tn(t)}t≥0,在一定条件下,当Tn(t)x逼近于T(t)x,则有Rc(λ,An)x逼近于Rc(λ,A)x,反之也成立.从而丰富了n阶α次积分C半群的研究内容.     

Hilbert空间中非扩张半群的隐格式广义迭代程序

设H为实Hilbert空间,在H上考虑具有公共不动点的非扩张半群f={T(S):sE≥0),具有常数0<α<1的压缩映象f,和具有系数γ>0的强正线性有界算了A.设0<γ<γ/α,文章证明了由下列产生的序列{xn},强收敛于f={T(s):sE≥0}的某一公共不动点x3∈F(T),且x3是下列变分不等式的唯一解.〈(γf-A)x3,z-x3〉F0,对任意的z∈F(T)。     

半群CPO_n(A)的格林关系

设PO_n是X_n={1,2,…,n}上的保序部分变换半群,A是X_n的非空子集,令CPO_n(A)={α∈PO_n:(A∩dom(α))α■A,且x,y∈(A∩dom(α)),|xα-yα|≤|x-y|},则CPO_n(A)是PO_n的子半群.利用变换半群的保序和压缩性,刻画了半群CPO_n(A)的格林关系.     

具有稳定子集的有限奇异变换半群的幂等生成元

设S(Xn,A)是具有稳定子集A的有限奇异变换半群.借助已有的研究方法,首先考虑了半群S(Xn,A)中E(Jn*-1)的图论性质,得到了与E(J*n-1)相关联的有向图是极大强完备的.其次,确定了Jn*-1中所有由幂等元生成的元素以及由E(Jn*-1)的两个子集I1、I2生成的半群结构.这些结果对进一步研究该类半群的结构奠定了基础.     

竞赛图的零因子半群

讨论了竞赛图的零因子半群.一个半群S的零因子图是一个有向图Γ(S),其顶点是S中非零的零因子,S中两个不同的元x,y有一条有向边x→y当且仅当xy=0.该文证明了如果S是一个没有非零幂零元的有限半群且图Γ(S)的顶点数大于1,那么图Γ(S)不是一个竞赛图.另外对于任意的正整数n,该文完全决定了顶点数为n蹬任一个竞赛图的所有零因子半群.     

基于遍历矩阵的单向(陷门)函数的构造方案

针对基于特定非交换壹半群(m,.)中的困难问题,给出了单向(陷门)函数的一种新的构造方案,即已知A和B=xAy,而求x和y的难度;选取有限域Fq上的n×n矩阵,在Fq矩阵乘法下,以所构成的非交换壹半群作为研究对象,利用Fq上“遍历矩阵”的密码学特性,提出了基于Fq上遍历矩阵的实现方案,并对可能的攻击手段进行了分析。提出了“强壮矩阵”的概念,并对给定的两个遍历矩阵Q1和Q2,给出了关于Q1,Q2的强壮矩阵的判别标准和寻找算法;由〈Q1〉,〈Q2〉以及关于Q1,Q2的强壮矩阵,可以构造相应的单向(陷门)函数。     

关于■f(x_n)=f(x_0)时,有■x_n=x_0的充分条件及应用

一般分析书都介绍的有下列:定理1:设f(x)定义在〈a,b〉上,f(x)在点x_0∈〈a,b〉连续的充要条件是:对(?)x_n∈〈a,b〉,当x_n→x_0(n→ ∞)时.有f(x_n)→f(x_0)(n→ ∞)其中〈a、b〉可是开区间,半开半闭区间,无穷区间.由上述定理而引导我们考虑下列命题是否成立.     

2×2阶矩阵半环的强正则性

称半环S是强正则的,如果对任意的x∈S,都存在y∈S使得x=x2y.M2(S)是半环S上的矩阵半环.本文探究了含零元的加法交换半环S上的2×2阶矩阵半环M2(S)的强正则性.借助于矩阵的运算技巧,我们得到,如果加法交换半环〈S,+,·,0,1〉是antiring,则下列条件等价:(1)M2(S)是强正则的;(2)对任意的上三角矩阵A∈M2(S),方程A2X=A是可解的;(3)S是强正则的且〈S,+,·,0,1〉是一个布尔代数;(4)S是一个环且是一个Boolean idempotent orp-semiring.     

乘子算子与Lipschitz函数生成的交换子的有界性估计

引入了一类由卷积算子与Lipschitz函数生成的交换子Tbf(x)=b(x)Tf(x)-T(bf)(x),这里T表示一类乘子算子,b是lipschitz函数.利用Fourier变换,证明了此类交换子是由Lq(Rn)(1/q=1/2 β/n)到L2(Rn)的有界算子.     

半群T_(n,r)的极大(正则)子半群的完全分类

设S_n和T_n分别是X_n={1, 2,…,n}上的对称群和全变换半群.对1≤r≤n,令T(n,r)={α∈T_n:|im(α)|≤r},则T(n,r)是全变换半群T_n的双边理想.对1≤r≤n-1,考虑半群T_(n,r)=T(n,r)∪S_n,得到了半群T_(n,r)的极大子半群S有且仅有两类:S=T_(n,r)\[τ_i](1≤i≤p=p_r(n))和S=T(n,r)∪G,其中G是群S_n的极大子半群.同时,证明了半群T_(n,r)的极大子半群和极大正则子半群是一致的.所得结果推广了已有的结果.     

正定矩阵之逆的几何意义及其一个应用

已给一个正定矩阵A_(nxn)=[α_(ij)]。我们知道在n维欧氏空间中存在n个矢量e_1,e_2,……,e_n;记e_i与e_j的点乘积为〈e_i·e_j〉,它们使α_(ij)=〈e_i·e_j〉,对i,j=1,2,…,n。定义:称E(A|B_1,B_2,…,B_n)是A在B_1,B_2,…,B_n生成线性子空间x(B_1,…,B_n)中正交投影。若此矢量满足:     

半群上的一类变换及其性质

设S是一个半群,δ是S到S的一个映射,如果δ满足对于任意的x,y∈S,有δ(xyx)=xδ(y)x.则称δ为S的一个夹心变换.S的所有夹心变换的集合作成的半群称为S的夹心变换半群.本文讨论了夹心变换半群的一些性质,进一步利用夹心变换半群对一些特殊半群的进行了刻画.     

具有稳定子集的有限奇异变换半群的Green关系

设Xn为n元有限集,Singn为Xn上的奇异变换丰群,A为Xn中的任意非空子集,令S（Xn,A）={α∈singn：任意x∈A,xα∈A},则S（Xn,A）是singn的一个子半群。刘划了该半群的Green关系,Green＊关系及一些简单性质。     

一类时滞方程的适定性

通过设立半群的方法，研究了形如：x＇（t）=A0x（t）＋∑i=1^pAix（t—hi），t≥0的一类时滞方程的解的适定性，其中A0是Banach空间X上解析半群{e^A0t，t≥0}的无穷小生成元，Ai（i=1，2，…，p）均为（γ—A0）^α-相对有界线性算子，其中0〈α〈1，γ〉ω0（A0）为解析半群{e^A0t，t≥0}的增长界。     

守全π—正则半群环的单位元

一个完全 [0 - ]单半群 S具有如下性质 :若 0≠ e∈ E(S) ,a∈ S且 ea≠ 0 ,则存在 f∈ E(S)使得 a =f ea.本文利用完全 [0 - ]单半群的这一性质以及 [0 - ]单的完全π-正则半群必是完全 [0 - ]单的这一事实 ,考察了完全π-正则半群环的单位元 ,最终得到如下结果 :设 S是完全π-正则半群 ,则 RS含单位元当且仅当 R〈E(S)〉含单位元 ,且存在 E(S)的一个有限子集 U,使得 S=SU =US.另得到一个关于完全 [0 - ]单半群的一个等价描述 :一个 [0 - ]单半群 S是完全 [0 - ]单的当且仅当 S是左π-正则的且 S包含一个非零幂等元     

拟投射系

设S是幺半群，称A是拟投射S-系，如果对于S-满同态f:A→B和任意S-同态g:A→B，存在S-同态h:A→A使得fh=g.研究了拟投射S-系的性质，得出结论：(1)S是(半)完全幺半群任意右S-系(有限生成)有一个拟投射复盖S-系；(2)S是右遗传幺半群S的任意投射系是拟投射的.     

半群TO_n(k)的格林关系及正则元

设T_n是[n]上的全变换半群.对任意的k∈[n].令TO_n(k)={α∈T_n:(?x,y∈[n])x≤y≤k?xα≤yα≤k},则TO_n(k)是T_n的子半群,进一步获得了半群TO_n(k)的格林关系及正则元.     

关于Brualdi-Anstee猜想

著名的组合图论专家Brualdi和Anstee于1980年独立地提出了下述猜想:设R=(r1,r2,…,rm)、R'=(r'1,r'2,…,r'm)、S=(s1,s2,…,sn)、S'=(s'1,s'2,…,s'n)是非负整数向量,u(R,S)表示具有行和向量为R、列和向量为S的{0,1}-矩阵类,则存在矩阵A∈u(R,S),B∈u(R',S'),使A+B∈u(R+R',S+S')的充要条件是u(R,S)、u(R',S')和u(R+R',S+S')均非空.1986年,陈永川找到Brualdi-Anstee猜想的反例.对猜想的已知条件作补充,使得该猜想成立并证明之,并且由此得到了两个新定理.     

广义松弛余强制变分不等式体系及二步投影方法

设H为希尔伯特空间,〈.,.〉,‖.‖分别表示希尔伯特空间H中的内积和范数。K为H中的闭凸子集,T∶K×K→H为K×K上的任一映象。本文将重点讨论下面一类非线性变分体系(SNVI)问题:求x*,y*∈K使得〈ρT(y*,x*) x*-y*,y-x*〉≥0,y∈K,ρ>0,〈ηT(x*,y*) y*-x*,z-y*〉≥0,z∈K,η>0。文章中首先给出了希尔伯特空间H中一类带误差的二步投影方法,然后借助于投影方法的收敛性证明了由该算法生成的迭代序列强收敛于此类广义松弛余强制变分不等式体系(SNVI)问题的精确解。文中结果主要推广了Verma和S.S.Chang等的主要结论。