43线性算子的正则集与谱.doc

4.3 线性算子的正则集与谱 4.3.1 特征值与特征向量 有限维线性空间上线性变换的特征值与特征向量的概念是大家了解的。在微分方程和积分方程中也有特征值与特征向量的概念。现在把它拓广到一般的线性空间上来。就有限维空间看，线性变换的特征值一般是复的，因此算子谱论一般总是在复空间上进行讨论。 伏特拉 (Volterra) 型积分方程 ， (4.3.1) 其中是一个常数。考察到的映射：对，： . (4.3.2) 对比(4.3.2)，考察一般的算子方程 . (4.3.3) 显然(4.3.3)式的解是否存在及唯一，都与的值有关： (1) 对的某些值，算子方程(4.3.3)可能存在唯一解； (2) 对的某些值，算子方程(4.3.3)可能存在解，但不唯一； (3) 对的某些值，算子方程(4.3.3)可能不存在解。 定义4.3.1 设是线性空间，是一个数，是线性算子。若中的非零向量，使得 , (4.3.4) 则称是的特征值（或本征值），而称为（相应于特征值）的特征向量（或本征向量）。 设为算子的（相应于特征值的）特征向量全体，在加入零向量，称为算子的（相应于特征值的）特征向量空间。 称的维数为特征值的重复度，也就是方程(4.3.)的最大线性无关组中向量的个数。 注 显然，相应于非零特征值的特征向量在算子的值域中。 是方程(4.3.1)的所有解的全体，容易看出：是的线性子空间。若是赋范线性空间，是连续算子，则是闭子空间。 例如，线性空间上相似算子的特征值只有，而且全空间就是特征向量空间. 由上述各例可见，算子的特征值及特征向量概念概括了线性代数、微分方程、积分方程的特征值及特征向量的概念。不仅许多经典的数学物理问题（如微分方程、积分方程、变分方程问题）可以归结为求特征值及特征向量的问题。在量子物理学中许多重要问题也是要求出特征值及特征向量的问题。 在数学物理（例如微分方程）问题中，除去求解形如的齐次方程外，还经常遇到非齐次方程，其中是给定的算子，是已知向量，是未知向量。为了研究这种方程的求解问题，引进算子的正则点和谱点的概念。 4.3.2 算子的正则点和谱点 定义4.3.2 设是复的赋范线性空间，是的线性子空间到的线性算子，是一复数。若是正则算子则称是的正则点，正则(regular value )；并称是的豫解算子(resolvent operator ) ，豫解. 复平面上正则点全体称为的正则集（或豫解集(resolvent set)），记为；不是正则点的复数称为的谱点(spectral point spectral value)。 谱点全体称为的谱集(spectral set)，或谱(spectrum)，记为. 显然就是整个复平面。 (1) 是的特征值。 这时算子就是不可逆的，因此特征值是谱点。算子的特征值全体称为算子的点谱，记作. (2) 不是的特征值，然而算子的值域. 也就是说：虽然存在，但. 即：齐次方程没有非零解，但非齐次方程不是对每个右端项都存在解。 (3) 算子在全空间有定义，但不是有界的. ：虽然对每个，方程有唯一的解，但不连续地依赖于右端项. 不是特征值的谱点全体称为算子的连续谱，记作. 注意：有的书将满足：是一对一的，并且在中稠密的称为连续谱。 例4.3.1 在维空间中考察由下三角矩阵 定义的算子：对， . (4.3.5) 显然，若记，则(4.3.5)为 (4.3.6) 由线性代数知：矩阵主对角线上的元素是算子的特征值。 而当时，就是算子的正则值。 例4.3.2 设复空间为Volterra积分算子 . (4.3.7) 对，于是方程 即 (4.3.8) 等价于方程 (4.3.9) 因为对，方程(4.3.9)存在唯一解。由逆算子定理知：存在有界逆算子，故任何复数都是的正则点；故. 现设，因为从方程 (4.3.10) 容易看出：的值域是，且是的真子空间。 若，则由的连续性知：在上，. 所以不是特征值。 存在，但的值域是所有形如的函数全体不是全空间；因此是算子属于(2)的谱. 例4.3.3 设复连续函数空间是乘法算子 . (4.3.7) 设，令 . 不难验证：是定义在上，值域的有界线性算子，且 对一切都成立，故；因此是的正则值。 现设 由 可知，当时，；因此的全体组成的集合在中不稠密，其中是任意的。 其次，不难证明：不可能