(泛函分析)线性算子谱的定义,谱的分类,谱的性质。
文章目录
- 一、定义
- 二、谱的性质
- 1. 基本性质
- 2. 谱的拓扑性质
- 3. 谱的结构
- 4. 谱的扰动性质
- 三、谱的应用
- 1. 量子力学
- 2. 信号处理
- 3. 微分方程
- 4. 数值分析
一、定义
设 X X X 为复 Banach 空间, T : D ( T ) ⊆ X → X T: D(T) \subseteq X \to X T:D(T)⊆X→X 为闭线性算子,称复数 λ ∈ C \lambda \in \mathbb{C} λ∈C 属于 T T T 的预解集 ρ ( T ) \rho(T) ρ(T),若满足:
- λ I − T \lambda I - T λI−T 是单射( I I I 为恒等算子);
- λ I − T \lambda I - T λI−T 的值域 R ( λ I − T ) = X R(\lambda I - T) = X R(λI−T)=X;
- ( λ I − T ) − 1 (\lambda I - T)^{-1} (λI−T)−1 存在且为有界线性算子。
谱集 σ ( T ) \sigma(T) σ(T) 定义为预解集的补集:
σ ( T ) = C ∖ ρ ( T ) . \sigma(T) = \mathbb{C} \setminus \rho(T). σ(T)=C∖ρ(T).
根据算子 λ I − T \lambda I - T λI−T 的性质,谱分为三类:
1. 点谱(Point Spectrum) σ p ( T ) \sigma_p(T) σp(T)
- 定义: λ ∈ σ p ( T ) \lambda \in \sigma_p(T) λ∈σp(T) 当且仅当存在非零 x ∈ D ( T ) x \in D(T) x∈D(T),使得 T x = λ x Tx = \lambda x Tx=λx。
- 特点:
- 此时 λ \lambda λ 是 T T T 的特征值,对应非平凡解的存在性。
- 点谱中的每个 λ \lambda λ 对应至少一个非零特征向量 x x x。
- 在有限维空间中,谱完全由点谱构成(即所有谱点都是特征值)。
- 例子:
- 矩阵 A A A 的特征值属于点谱。
- 无限维空间中的紧算子(如希尔伯特空间上的紧自伴算子)的非零谱点均为点谱。
2. 连续谱(Continuous Spectrum) σ c ( T ) \sigma_c(T) σc(T)
- 定义: λ ∈ σ c ( T ) \lambda \in \sigma_c(T) λ∈σc(T) 当且仅当:
- λ I − T \lambda I - T λI−T 是单射(无非零解);
- R ( λ I − T ) R(\lambda I - T) R(λI−T) 在 X X X 中稠密;
- ( λ I − T ) − 1 (\lambda I - T)^{-1} (λI−T)−1 无界。
- 特征:算子不可逆,但值域稠密且逆算子无界。
- 例子:
- 乘法算子 T f ( x ) = x f ( x ) Tf(x) = xf(x) Tf(x)=xf(x) 在 L 2 ( R ) L^2(\mathbb{R}) L2(R) 上的谱为 R \mathbb{R} R,且所有点均为连续谱。
3. 剩余谱(Residual Spectrum) σ r ( T ) \sigma_r(T) σr(T)
- 定义: λ ∈ σ r ( T ) \lambda \in \sigma_r(T) λ∈σr(T) 当且仅当:
- λ I − T \lambda I - T λI−T 是单射;
- R ( λ I − T ) R(\lambda I - T) R(λI−T) 在 X X X 中不稠密。
- 特点:
- 算子不可逆,且值域不稠密。
- 在自伴算子中,剩余谱通常为空。
- 例子:
- 非自伴算子可能具有剩余谱,例如右移算子 S S S 在 ℓ 2 ( N ) \ell^2(\mathbb{N}) ℓ2(N) 上的谱中, ∣ λ ∣ < 1 |\lambda| < 1 ∣λ∣<1 的点属于剩余谱。
4.三种谱的关系
σ ( T ) = σ p ( T ) ∪ σ c ( T ) ∪ σ r ( T ) . \sigma(T) = \sigma_p(T) \cup \sigma_c(T) \cup \sigma_r(T). σ(T)=σp(T)∪σc(T)∪σr(T).
二、谱的性质
1. 基本性质
- 非空性:
- 有界线性算子的谱 σ ( A ) \sigma(A) σ(A) 总是非空的(即使在无限维空间中)。
- 无界算子的谱可能为空(如某些非闭算子)。
- 紧性:
- 对于有界算子 A A A,谱 σ ( A ) \sigma(A) σ(A) 是紧集(即闭且有界)。
- 对于无界算子,谱可能是非紧的(如无界自伴算子的谱为实轴 R \mathbb{R} R)。
- 对称性:
- 若 A A A 是自伴算子( A = A ∗ A = A^* A=A∗),则谱 σ ( A ) ⊂ R \sigma(A) \subset \mathbb{R} σ(A)⊂R。
- 若 A A A 是正规算子( A A ∗ = A ∗ A AA^* = A^*A AA∗=A∗A),则谱 σ ( A ) \sigma(A) σ(A) 在复平面上对称于实轴。
- 谱的闭性:
- 谱集 σ ( T ) \sigma(T) σ(T) 是复平面中的紧集(对有界算子)。
- 预解集 ρ ( T ) \rho(T) ρ(T) 是开集。
- 谱映射定理:
- 若 f f f 为解析函数,则 σ ( f ( T ) ) = f ( σ ( T ) ) \sigma(f(T)) = f(\sigma(T)) σ(f(T))=f(σ(T))(在适当意义下)。
2. 谱的拓扑性质
- 开映射定理:
- 若 A A A 是闭算子,且 λ ∈ ρ ( A ) \lambda \in \rho(A) λ∈ρ(A)(正则点),则 R λ ( A ) R_\lambda(A) Rλ(A) 是有界线性算子。
- 谱半径:
- 对于有界算子 A A A,谱半径 r ( A ) = sup { ∣ λ ∣ : λ ∈ σ ( A ) } r(A) = \sup\{ |\lambda| : \lambda \in \sigma(A) \} r(A)=sup{∣λ∣:λ∈σ(A)} 满足:
r ( A ) = lim n → ∞ ∥ A n ∥ 1 / n . r(A) = \lim_{n \to \infty} \|A^n\|^{1/n}. r(A)=n→∞lim∥An∥1/n.
- 对于有界算子 A A A,谱半径 r ( A ) = sup { ∣ λ ∣ : λ ∈ σ ( A ) } r(A) = \sup\{ |\lambda| : \lambda \in \sigma(A) \} r(A)=sup{∣λ∣:λ∈σ(A)} 满足:
3. 谱的结构
- 紧算子的谱:
- 紧算子的非零谱点均为点谱,且谱为可数集(可能有极限点 0)。
- 示例:Hilbert-Schmidt 算子的谱为离散点集。
- 自伴算子的谱:
- 自伴算子的谱全为实数,且剩余谱为空。
- 根据谱定理,自伴算子可分解为投影算子的积分(谱分解)。
4. 谱的扰动性质
- 连续依赖性:
- 算子 A A A 的谱 σ ( A ) \sigma(A) σ(A) 在扰动下连续变化(如 A + ϵ B A + \epsilon B A+ϵB 的谱随 ϵ → 0 \epsilon \to 0 ϵ→0 收敛到 σ ( A ) \sigma(A) σ(A))。
- 稳定性:
- 对于紧扰动(如 A + K A + K A+K,其中 K K K 是紧算子),谱的结构可能保持稳定(如 Fredholm 算子的谱理论)。
三、谱的应用
1. 量子力学
- 哈密顿算子 H H H 的谱对应系统的能量本征值。
- 连续谱对应自由态(如粒子的传播),点谱对应束缚态(如原子能级)。
- 观测量的可能取值对应自伴算子的谱。
2. 信号处理
- 傅里叶变换和小波变换的谱分析用于信号的频率分解和滤波设计。
- 算子的谱特性决定了系统的稳定性(如滤波器的收敛性)。
3. 微分方程
- 偏微分方程的特征值问题(如波动方程、热传导方程)的谱分析提供了解的存在性和唯一性条件。
- Sturm-Liouville 问题的谱分析对应算子谱的离散性。
4. 数值分析
- 矩阵的谱半径决定了迭代法的收敛速度。
- 算子的谱分解用于构造高效的数值算法(如共轭梯度法)。