紀(jì)玉德 吳冰 楊翠

摘 要：為了推廣算子代數(shù)中的基本理論，對一類非線性映射成為套代數(shù)上的可加中心化子的條件進(jìn)行了研究。首先，基于Hilbert空間上的非平凡套定義與該套有關(guān)的套代數(shù)，并定義套代數(shù)上的一個(gè)非線性映射；其次，采用矩陣分塊方法獲得關(guān)于此映射的幾個(gè)性質(zhì)；最后，證明套代數(shù)上滿足某種條件的非線性映射為可加中心化子，給出刻畫該映射的具體形式。結(jié)果表明，套代數(shù)上滿足某種條件的非線性映射為可加中心化子，且可完全刻畫。研究結(jié)果推廣了非線性映射成為套代數(shù)上可加中心化子的結(jié)論，豐富了算子代數(shù)拓?fù)浣Y(jié)構(gòu)的分類問題，為套代數(shù)上其他類型非線性映射問題的刻畫提供了借鑒與參考。

關(guān)鍵詞：算子代數(shù)；中心化子；非線性映射；Hilbert空間；矩陣分塊

中圖分類號：O151.23? 文獻(xiàn)標(biāo)識碼：A??文章編號：1008-1542（2024）02-0176-05

A class of nonlinear centralizers on nest algebras

JI Yude1， WU Bing2， YANG Cui2

（1.School of Sciences，Hebei University of Science and Technology，Shijiazhuang，Hebei 050018，China；2.School of Engineering Management，Hebei Polytechnic Institute，Shijiazhuang，Hebei 050091，China）

Abstract：In order to extend the basic theory of operator algebras， the conditions for a class of nonlinear mappings to become additive centralizers on nest algebras were studied. Firstly， the nest algebras related to a non-trivial nest based on a Hilbert space was defined， and a nonlinear mapping on the nest algebra was defined. Secondly， several properties about this mapping were obtained by using the matrix partitioning method. Finally， it was proved that a nonlinear mapping on the nest algebra that satisfies certain conditions was an additive centralizer， and a specific form for characterizing this mapping was provided. The results show that the nonlinear mapping satisfying some conditions on nested algebras is additive centralizer and can be characterized completely. The research results promote the conclusion that nonlinear mappings become additive centralizers on nested algebras， enrich the classification problem of topological structure for operator algebras， and provide reference and guidance for characterizing other types of nonlinear mappings on nested algebras.

Keywords：operator algebras；centralizer；nonlinear mapping；Hilbert space；matrix partitioning

設(shè)ψ是環(huán)或代數(shù)M上的一個(gè)自映射。若?A，B∈M，有ψ（AB）=ψ（A）B或ψ（AB）=Aψ（B），則稱ψ是M上的左中心化子或右中心化子。如果ψ既是左中心化子又是右中心化子，則稱ψ是中心化子。作為環(huán)或代數(shù)上一類重要的變換，關(guān)于具有滿足哪些條件的映射為中心化子的研究一直受到許多學(xué)者的關(guān)注[1-13]，但大多要求映射具有可加性或線性性。例如：文獻(xiàn)[1]證明了2-無擾自由半素環(huán)M上滿足2ψ（A2）=ψ（A）A+Aψ（A）（?A∈M）的可加映射ψ是中心化子；文獻(xiàn)[2]證明了J-子空間格代數(shù)中全體有限秩算子構(gòu)成的代數(shù)F（L）上滿足ψ（P）=ψ（P）P=Pψ（P）的線性映射ψ是中心化子；文獻(xiàn)[3]刻畫了完全分配可交換子空間格代數(shù)Alg L上滿足條件ψ（Am+n+1）-Amψ（A）An∈FI（?A∈Alg L）的可加映射ψ的具體形式，即存在Alg L中心里的元素λ，使得ψ（A）=λA；文獻(xiàn)[4]研究了完全分配可交換子空間格代數(shù)上的廣義Jordan中心化映射。事實(shí)上，自然界和工程技術(shù)中出現(xiàn)的大量問題都是非線性的，因此對各種非線性問題的研究成為熱點(diǎn)問題[14-21]。本文將考慮套代數(shù)上滿足某種條件的非線性映射，證明此映射為可加中心化子，并給出完全刻畫。

1 預(yù)備知識

定義1 設(shè)H為實(shí)或復(fù)數(shù)域F上的Hilbert空間，B（H）表示H上的全體有界線性算子構(gòu)成的代數(shù)。如果N是B（H）中的一個(gè)包含零算子I和單位算子I的全序投影族，且在強(qiáng)算子拓?fù)湎率情]的，則稱N是一個(gè)套。與套N相對應(yīng)的套代數(shù)記為Alg N，并定義為Alg N={T∈B（H）：TX?X，X∈N}。

如果套N至少含有一個(gè)非平凡投影，則稱套N是非平凡的；否則，稱套N是一個(gè)平凡套。顯然，平凡套N對應(yīng)的套代數(shù)Alg N即為B（H）。

本文假設(shè)套N是非平凡的，并取P1∈N為一個(gè)固定非平凡投影，記P2=I-P1且Mij=（Pi）Alg（NPj）（1≤i≤j≤2），則Alg N=M11⊕M12⊕M22，其中⊕表示直和。

2 主要結(jié)果

定理1 設(shè)H為實(shí)或復(fù)數(shù)域F上的Hilbert空間，N為H上的非平凡套，Alg N是與套N有關(guān)的套代數(shù)，并且ψ：Alg N→Alg N是一個(gè)映射（無可加或線性假設(shè)）。如果存在滿足（m+n）（m-n）≠0的非零整數(shù)m，n，使得

2mψ（AB）+2nψ（BA）=mψ（A）B+mAψ（B）+nψ（B）A+nBψ（A）（1）

對所有的A，B∈Alg N成立，則存在λ∈F，使得對所有的A∈Alg N，有ψ（A）=λA。

引理1 設(shè)Aij∈Mij（1≤i≤j≤2），則

1）若A11M12=0，則A11=0；

2）若M12A22=0，則A22=0；

3）若M11A12=0，則A12=0；

4）若A12M22=0，則A12=0。

引理2 ψ（0）=0。

證明：由式（1）得，2mψ（0）+2nψ（0）=mψ（0）0+m0ψ（0）+nψ（0）0+n0ψ（0），故2（m+n）ψ（0）=0，從而ψ（0）=0。證畢。

引理3 ψ（Mij）?Mij（1≤i≤j≤2）。

證明：由式（1）得，2mψ（P1）+2nψ（P1）=mψ（P1）P1+mP1ψ（P1）+nψ（P1）P1+nP1ψ（P1），化簡得

2ψ（P1）=ψ（P1）P1+P1ψ（P1）。（2）

對式（2）等號兩邊同時(shí)乘P2，得P2ψ（P1）P2=0。對式（2）等號左邊乘P1右邊乘P2，得P1ψ（P1）P2=0。所以ψ（P1）∈M11。類似可以證明ψ（P2）∈M22。

對任意的A11∈M11，由于A11P2=P2A11=0，從而由式（1）及引理2，有

0=2mψ（A11P2）+2nψ（P2A11）=mψ（A11）P2+mA11ψ（P2）+nψ（P2）A11+nP2ψ（A11），化簡得

mψ（A11）P2+nP2ψ（A11）=0。（3）

對式（3）等號兩邊同時(shí)乘P2，得P2ψ（A11）P2=0。對式（3）等號左邊乘P1右邊乘P2，得P1ψ（A11）P2=0。從而ψ（A11）∈M11。類似可以證明ψ（A22）∈M22。

對任意的A12∈M12，由于A12P1=0，從而由式（1）及引理2，有

2nψ（A12）=2mψ（A12P1）+2nψ（P1A12）=mψ（A12）P1+mA12ψ（P1）+nψ（P1）A12+nP1ψ（A12）=mψ（A12）P1+nψ（P1）A12+nP1ψ（A12）。（4）

對式（4）等號兩邊同時(shí)乘P1，得2nP1ψ（A12）P1=（m+n）P1ψ（A12）P1，即（m-n）P1ψ（A12）P1=0，從而P1ψ（A12）P1=0。對式（4）等號兩邊同時(shí)乘P2，得P2ψ（A12）P2=0，從而ψ（A12）∈M12。

引理4 設(shè)Aij，Bij∈Mij（1≤i≤j≤2），則

1）ψ（A11A12）=ψ（A11）A12=A11ψ（A12）；

2）ψ（A12A22）=ψ（A12）A22=A12ψ（A22）；

3）ψ（A11B11）=ψ（A11）B11=A11ψ（B11）；

4）ψ（A22B22）=ψ（A22）B22=A22ψ（B22）。

證明：由式（1）、引理2和引理3可知，2mψ（A11A12）=2mψ（A11A12）+2nψ（A12A11）=mψ（A11）A12+mA11ψ（A12）+nψ（A12）A11+nA12ψ（A11）=mψ（A11）A12+mA11ψ（A12），從而

2ψ（A11A12）=ψ（A11）A12+A11ψ（A12）。（5）

在式（5）中取A11=P1，并注意到P1ψ（A12）=ψ（A12），故ψ（A12）=ψ（P1）A12。

同理得2ψ（A12A22）=ψ（A12）A22+A12ψ（A22），進(jìn)而ψ（A12）=A12ψ（P2），則ψ（A11A12）=A11A12ψ（P2）=A11ψ（A12），再由式（5），有ψ（A11A12）=ψ（A11）A12。

類似可以證明ψ（A12A22）=ψ（P1）A12A22=ψ（A12）A22，ψ（A12A22）=A12ψ（A22）。

由引理4的（1），對任意的A12∈M12，有ψ（A11B11）A12=ψ（A11B11A12）=ψ（A11）B11A12，

且ψ（A11B11）A12=ψ（A11B11A12）=A11ψ（B11A12）=A11ψ（B11）A12，

從而（ψ（A11B11）-ψ（A11）B11）A12=0， （ψ（A11B11）-A11ψ（B11））A12=0。

由引理1的（1）和引理3，可得ψ（A11B11）=ψ（A11）B11=A11ψ（B11）。

類似可以證明ψ（A22B22）=ψ（A22）B22=A22ψ（B22）。證畢。

引理5 設(shè)Aij∈Mij（1≤i≤j≤2），則

1）ψ（A11+A12）=ψ（A11）+ψ（A12）；

2）ψ（A12+A22）=ψ（A12）+ψ（A22）。

證明：由式（1）、引理2和引理4，可得

2mψ[WB]（A11+A12）+2nψ（A11）=2mψ（P1（A11+A12））+2nψ（（A11+A12）P1）=mψ（P1）（A11+A12）+mP1ψ（A11+A12）+nψ（A11+A12）P1+n（A11+A12）ψ（P1）=（m+n）ψ（A11）+mψ（A12）+mP1ψ（A11+A12）+nψ（A11+A12）P1，即

2mψ（A11+A12）=（m-n）ψ（A11）+mψ（A12）+mP1ψ（A11+A12）+nψ（A11+A12）P1。 （6）

對式（6）等號兩邊同時(shí)乘P2，得P2ψ（A11+A12）P2=0。對式（6）等號左邊乘P1右邊乘P2，得

2mP1ψ（A11+A12）P2=mψ（A12）+mP1ψ（A11+A12）P2，從而P1ψ（A11+A12）P2=ψ（A12）。

對式（6）等號兩邊同時(shí)乘P1，得2mP1ψ（A11+A12）P1=（m-n）ψ（A11）+（m+n）P1ψ（A11+A12）P1。移項(xiàng)，有（m-n）P1ψ（A11+A12）P1=（m-n）ψ（A11），從而P1ψ（A11+A12）P1=ψ（A11）。所以ψ（A11+A12）=ψ（A11）+ψ（A12）。

類似可以證明ψ（A12+A22）=ψ（A12）+ψ（A22）。證畢。

引理6 設(shè)Aij，Bij∈Mij（1≤i≤j≤2），則

1）ψ（A12+B12）=ψ（A12）+ψ（B12）；

2）ψ（A11+B11）=ψ（A11）+ψ（B11）；

3）ψ（A22+B22）=ψ（A22）+ψ（B22）。

證明：對任意的A12，B12∈M12，因?yàn)锳12+B12=（P1+A12）（P2+B12）且（P2+B12）（P1+A12）=0，由式（1）、引理2—引理5，有

2mψ（A12+B12）=2mψ（（P1+A12）（P2+B12））+2nψ（（P2+B12）（P1+A12））=mψ（P1+A12）（P2+B12）+m（P1+A12）ψ（P2+B12）+nψ（P2+B12）（P1+A12）+n（P2+B12）ψ（P1+A12）=2mψ（B12）+2mψ（A12）。

故ψ（A12+B12）=ψ（A12）+ψ（B12）。

對任意的A11，B11∈M11，一方面，由引理4，有ψ（（A11+B11）A12）=ψ（A11+B11）A12；另一方面，由引理4和引理6的1），有ψ（（A11+B11）A12）=ψ（A11A12）+ψ（B11A12）=ψ（A11）A12+ψ（B11）A12。

比較以上2個(gè)式子，可得（ψ（A11+B11）-ψ（A11）-ψ（B11））A12=0。

由引理1中的1），得ψ（A11+B11）=ψ（A11）+ψ（B11）。

類似可以證明ψ（A22+B22）=ψ（A22）+ψ（B22）。證畢。

引理7 設(shè)Aij∈Mij（1≤i≤j≤2），則

ψ（A11+A12+A22）=ψ（A11）+ψ（A12）+ψ（A22）。

證明：由式（1）及引理4可知，

2（m+n）[WB]ψ（A22）+2nψ（A12）=2mψ（P2（A11+A12+A22））+2nψ（（A11+A12+A22）P2）=mψ（P2）（A11+A12+A22）+mP2ψ（A11+A12+A22）+nψ（A11+A12+A22）P2+n（A11+A12+A22）ψ（P2）=（m+n）ψ（A22）+nψ（A12）+mP2ψ（A11+A12+A22）+nψ（A11+A12+A22）P2，從而

（m+n）ψ（A22）+nψ（A12）=mP2ψ（A11+A12+A22）+nψ（A11+A12+A22）P2。（7）

對式（7）等號左邊乘P1右邊乘P2，得ψ（A12）=P1ψ（A11+A12+A22）P2。對式（7）等號兩邊同時(shí)乘P2，得ψ（A22）=P2ψ（A11+A12+A22）P2。類似可以證明ψ（A11）=P1ψ（A11+A12+A22）P1，從而ψ（A11+A12+A22）=ψ（A11）+ψ（A12）+ψ（A22）。證畢。

注1 引理1—引理7給出了定義在套代數(shù)上的映射（無可加或線性假設(shè)）在滿足式（1）下的相關(guān)性質(zhì)，為定理1證明其成為可加中心化子提供了理論基礎(chǔ)。

定理1的證明： 設(shè)A，B∈Alg N，則A=A11A12A22，B=B11B12B22，其中Aij，Bij∈Mij（1≤i≤j≤2）。由引理6和引理7，有

ψ（A+B）=ψ（A11+B11）+ψ（A12+B12）+ψ（A22+B22）=ψ（A11）+ψ（B11）+ψ（A12）+ψ（B12）+ψ（A22）+ψ（B22）=ψ（A11+A12+A22）+ψ（B11+B12+B22）=ψ（A）+ψ（B），

故ψ具有可加性。又由引理3和引理4可知，

ψ（AB）=[WB]ψ（A11B11+A11B12+A12B22+A22B22）=ψ（A11B11）+ψ（A11B12）+ψ（A12B22）+ψ（A22B22）=ψ（A11）B11+ψ（A11）B12+ψ（A12）B22+ψ（A22）B22=A11ψ（B11）+A11ψ（B12）+A12ψ（B22）+A22ψ（B22）=ψ（A11+A12+A22）（B11+B12+B22）=（A11+A12+A22）ψ（B11+B12+B22）=ψ（A）B=Aψ（B）。

這說明ψ是套代數(shù)Alg N上的一個(gè)中心化子。進(jìn)而對任意的A∈Alg N，有ψ（A）=ψ（I）A=Aψ（I）。而套代數(shù)的一次換位是恒等算子的常數(shù)倍，則存在λ∈F，使得ψ（I）=λI，從而對任意的A∈Alg N，有ψ（A）=λA。證畢。

3 結(jié) 語

本文運(yùn)用矩陣分塊方法研究了套代數(shù)上的一類非線性映射，通過幾個(gè)引理給出了此映射的性質(zhì)，獲得了其成為可加中心化子的條件，并得到具體形式。該結(jié)果可為將來中心化子的研究提供依據(jù)與參考。

但是本文是在非線性映射滿足特定條件下考慮的可加中心化子問題，限制條件較強(qiáng)。在今后的研究中，將會(huì)探索削弱非線性映射所滿足的條件，進(jìn)一步研究此類問題的更一般化結(jié)果。

參考文獻(xiàn)/References：

[1]VUKMAN J.An identity related to centralizers in semiprime rings[J].Commentationes Mathematicae Universitatis Carolinae，1999，40（3）：447-456.

[2] WEI Qiong，LI Pengtong.Centralizers of J-subspace lattice algebras[J].Linear Algebra and Its Applications，2007，426（1）：228-237.

[3] 馬飛，張建華，任剛練.完全分配可交換子空間格代數(shù)上的中心化映射[J].吉林大學(xué)學(xué)報(bào)（理學(xué)版），2017，55（1）：48-54.

MA Fei，ZHANG Jianhua，REN Ganglian.Centralizer mappings on completely distributive commutative subspace lattice algebras[J].Journal of Jilin University（Science Edition），2017，55（1）：48-54.

[4] VUKMAN J，KOSI-ULBL I.On centralizers of semiprime rings[J].Aequationes Mathematicae，2003，66（3）：277-283.

[5] QI Xiaofei，HOU Jinchuan.Characterizing centralizers and generalized derivations on triangular algebras by acting on zero product[J].Acta Mathematica Sinica English Series，2013，29（7）：1245-1256.

[6] VUKMAN J，KOSI-ULBL I.Centralizers on rings and algebras[J].Bulletin of the Australian Mathematical Society，2005，71（2）：225-234.

[7] KOSI-ULBL I，VUKMAN J.On centralizers of standard operator algebras and semisimple H*-algebras[J].Acta Mathematica Hungarica，2006，110（3）：217-223.

[8] KOSI-ULBL I，VUKMAN J.On（m，n）-Jordan centralizers of semiprime rings[J].Publicationes Mathematicae-Debrecen，2003，66（3）：277-283.

[9] 齊霄霏．環(huán)與算子代數(shù)上中心化子的刻畫[J]．?dāng)?shù)學(xué)學(xué)報(bào)，2013，56（4）：459-468．QI Xiaofei.Characterization of centralizers on rings and operator algebras[J]．Acta Mathematica Sinica，2013，56（4）：459-468．

[10]楊翠，張建華.套代數(shù)上的廣義Jordan中心化子[J].數(shù)學(xué)學(xué)報(bào)，2010，53（5）：975-980.YANG Cui，ZHANG Jianhua.Generalized Jordan centralizers on nest algebras[J].Acta Mathematica Sinica，2010，53（5）：975-980.

[11]許文思，安潤玲.三角代數(shù)上的中心化子[J].太原理工大學(xué)學(xué)報(bào)，2016，47（6）：814-817.XU Wensi，AN Runling.Centralizers on triangular algebras[J].Journal of Taiyuan University of Technology，2016，47（6）：814-817.

[12]李倩，李鵬同.完全分配CSL代數(shù)上的中心化子[J].數(shù)學(xué)年刊A輯，2011，32（3）：375-384.LI Qian，LI Pengtong.Centralizers of completely distributive CSL algebras[J].Chinese Annals of Mathematics，Series A，2011，32（3）：375-384.

[13]張海芳，費(fèi)秀海.套代數(shù)上的（m，n）-導(dǎo)子[J].計(jì)算機(jī)工程與應(yīng)用，2016，52（7）：13-16.ZHANG Haifang，F(xiàn)EI Xiuhai.On（m，n）-derivation on nest algebras[J].Computer Engineering and Applications，2016，52（7）：13-16.

[14]FU Wenlian，XIAO Zhankui，DU Xiankun.Nonlinear jordan higher derivations of triangular algebras[J].Communications in Mathematical Research，2015，31（2）：119-130.

[15]郭春靜，孟凡猛，陳坤，等.具有Hilfer分?jǐn)?shù)階脈沖微分方程邊值問題解的存在性[J].河北科技大學(xué)學(xué)報(bào)，2023，44（2）：132-143.GUO Chunjing，MENG Fanmeng，CHEN Kun，et al.Existence of solutions for boundary value problems of fractional impulsive differential equations with Hilfer[J].Journal of Hebei University of Science and Technology，2023，44（2）：132-143.

[16]魏文英，紀(jì)玉德，郭彥平.非線性二階差分方程三點(diǎn)邊值問題的研究[J].河北科技大學(xué)學(xué)報(bào)，2021，42（4）：360-368.WEI Wenying，JI Yude，GUO Yanping.Research of the three-point boundary value problems for nonlinear second-order difference equation[J].Journal of Hebei University of Science and Technology，2021，42（4）：360-368.

[17]FEI Xiuhai，ZHANG Jianhua.Nonlinear generalized Lie derivations on triangular algebras[J].Linear and Multilinear Algebra，2017，65（6）：1158-1170.

[18]江衛(wèi)華，韓晴晴，楊君霞.具有變號非線性項(xiàng)的分?jǐn)?shù)階微分方程邊值問題正解的存在性[J].河北科技大學(xué)學(xué)報(bào)，2019，40（4）：294-300.JIANG Weihua，HAN Qingqing，YANG Junxia.Existence of positive solutions for boundary value problems of fractional differential equations with sign-changing nonlinear term[J].Journal of Hebei University of Science and Technology，2019，40（4）：294-300.

[19]郝劍偉，黃永艷.帶有Hatree和對數(shù)非線性項(xiàng)的Schrdinger方程非平凡解的存在性[J].河北科技大學(xué)學(xué)報(bào)，2019，40（6）：482-487.HAO Jianwei，HUANG Yongyan.Existence of nontrivial solution for schrdinger equations with Hatree and logarithmic nonlinearities［J］.Journal of Hebei University of Science and Technology，2019，40（6）：482-487.

[20]LING Zhengchu，LU Fangyan.Jordan maps of nest algebras[J].Linear Algebra and Its Applications，2004，387：361-368.

[21]DAVIDSON K R.Nest Algebras[M].Waterloo：Longman Scientific and Technical Publishing Company，1988.

責(zé)任編輯：張士瑩

基金項(xiàng)目：國家自然科學(xué)基金（61972093）；河北省自然科學(xué)基金（F2022208007）；河北省高等學(xué)?？茖W(xué)技術(shù)研究項(xiàng)目（ZD2022136）

第一作者簡介：紀(jì)玉德（1979—），男，內(nèi)蒙古赤峰人，副教授，博士研究生，主要從事微分方程邊值問題方面的研究。

通信作者：吳冰，副教授。E-mail：wubing2018@126.com紀(jì)玉德，吳冰，楊翠.套代數(shù)上的一類非線性中心化子［J］.河北科技大學(xué)學(xué)報(bào)，2024，45（2）：176-180.JI Yude，WU Bing，YANG Cui.A class of nonlinear centralizers on nest algebras［J］.Journal of Hebei University of Science and Techno-logy，2024，45（2）：176-180.