Banach代数中Fredholm型元及其谱理论.docxVIP

? ? Banach代数中Fredholm型元及其谱理论* ? ? 孔莹莹, 蒋立宁 (北京理工大学数学与统计学院,100081,北京市) 0 引 言 1898年，弗雷德霍姆求解第二类型的Fredholm积分方程的研究工作，使得希尔伯特灵感突发，以积分方程为源头开始了泛函分析的多种研究. 希尔伯特在讨论特征值问题时首先使用“谱”这个术语，并且指出：“无穷多个变量的理论研究，当初完全是出于纯粹数学的兴趣，我甚至管这理论叫谱分析[1]”. Fredholm理论及其谱理论由此而生. Fredholm理论和谱理论作为泛函分析理论体系中重要的组成部分，广泛应用于偏微分方程、物理学、工程学、非线性科学和量子力学等领域. 例如：求振动的频率、判定系统的稳定性等均涉及到相应算子的谱分布问题，在量子力学中，能量算符是L2空间上的一个自伴算子，其特征值对应着该系统束缚态的能级，而光谱是某个算子的特征值分布[2]. 设H是无限维复可分的Hilbert空间，记从H到H的有界线性算子的集合为B(H)，从H到H的紧算子集合为K(H)，则K(H)是C*-代数B(H)的理想，称取商所得的C*-代数为Calkin代数，并记为C(H)，故有正合列[3]：0→K(H)→B(H)→C(H)→0. 20世纪初期，Atkinson F V指出T∈B(H)是Fredholm算子当且仅当T模K(H)是可逆的[4]. Fredholm算子的公理化定义促进了Fredholm理论的迅速发展. 1987年，Harte H给出了Fredholm 算子的另一种刻画，指出T∈B(H) 为Fredholm 算子当且仅当T的值域是闭的，并且T的零空间的维数和值域的余维数都有限[5，6]. 与此同时，他也对特殊的Fredholm算子，即Weyl算子和Browder算子进行了研究. 对于这3种算子，国内外学者主要关注于算子的摄动、谱映射定理以及指标理论等[7,8]. 随后，在1997年，Schmoeger C[9-11]将Fredholm算子进行推广，定义了广义Fredholm 算子，并讨论了Banach空间上的广义Fredholm算子的摄动理论. 几乎同时，Berkani M[12]也给出了Fredholm算子的另外一种推广，即拟Fredholm算子. 注意到一个算子T是Fredholm算子当且仅当T模K(H)是可逆的. 随后,众多学者对Fredholm算子进行推广，将其中的可逆性条件弱化为Drazin可逆等，来定义更“弱”的Fredholm算子. 例如：Berkani M[13]定义了B-Fredholm算子，即模F(H)是Drazin可逆的；进一步地，B-Weyl算子、B-Browder算子也被引入. 以上Fredholm算子、Weyl算子、B-Weyl算子等由Fredholm算子演变而来的统称为Fredholm型算子. 几乎同一时间，抽象的Fredholm理论也得到了发展. 1968年，Barnes B[14,15]定义了环中的拟Fredholm元和Fredholm元. 具体的，一个元素被称作是Fredholm元如果它模Socle是可逆的. 1982年，Barnes B A，Murphy G J，Smyth M[16,17]等学者通过Banach代数中最小幂等元和Barnes幂等元等工具，运用左正则表示的方法，讨论了本原Banach代数中的Fredholm元. 随着Fredholm算子及其谱理论的发展，近些年，关于Fredholm型元及其谱理论的研究出现了新的趋势，越来越多的学者将特殊的Banach代数B(H)推广到一般的Banach代数，来研究一般的Banach代数中的Fredholm理论. 例如：Mannle D和Schmoeger C[18]研究了半单Banach代数中的广义Fredholm理论. Berkani M给出了环和代数中的B-Fredholm理论[19]；进一步地，序Banach代数中的Fredholm理论也被考虑[20]. 除此之外，一些学者另辟蹊径，将Banach代数中的Fredholm理论进行推广，提出了依存于Banach代数同态的Fredholm理论及其谱理论，以及Fredholm族及其解析指标等[21,22]. 环或Banach代数中的Fredholm元、B-Fredholm元等由Fredholm元演变而来的元统称为Fredholm型元. 本文以Hilbert空间上的Fredholm算子及其谱理论为出发点，分两条脉络对Fredholm型元及其谱理论作出简要概述，一条脉络是对给定的Banach代数B(H)，讨论了Fredholm型算子及其谱理论；另一条脉络则是研究抽象的Fredholm理论，即研究Banach代数中的Fredholm型元. 此外，本文也给