[论文解读] Local convergence of spectra and pseudospectra

Sabine Bögli|arXiv (Cornell University)|May 3, 2016

Spectral Theory in Mathematical Physics被引用 1

一句话总结

本论文建立了作用于不同希尔伯特空间的线性算子序列在广义强预解式意义下的谱和伪谱的局部收敛性。它通过一种新颖的框架，证明了在极限本质谱之外的谱精确性以及在极限本质ε-邻近谱之外的伪谱精确性，该框架适用于非自伴算子和非紧算子，包括伽辽金法和区域截断方法。

ABSTRACT

We prove local convergence results for the spectra and pseudospectra of sequences of linear operators acting in different Hilbert spaces and converging in generalised strong resolvent sense to an operator with possibly non-empty essential spectrum. We establish local spectral exactness outside the limiting essential spectrum, local $\varepsilon$-pseudospectral exactness outside the limiting essential $\varepsilon$-near spectrum, and discuss properties of these two notions including perturbation results.

研究动机与目标

• 解决非自伴算子逼近中常见的谱污染和缺乏包含性问题，以应对谱收敛的挑战。
• 将谱收敛结果从自伴算子或预解式紧致的算子扩展至具有非空本质谱的一般算子序列。
• 为伽辽金方法和区域截断提供统一的理论框架，适用于微分算子。
• 在弱于算子范数收敛或范预解式收敛的假设下，建立局部谱和伪谱精确性。
• 引入并分析极限本质谱和极限本质ε-邻近谱，作为收敛性的自然障碍。

提出的方法

• 在公共的环境希尔伯特空间 H₀ 中定义广义强预解式收敛，其中投影预解式 (Tₙ − λ)⁻¹Pₙ 强收敛于 (T − λ)⁻¹P。
• 将极限本质谱 σₗₑₛₛ((Tₙ)ₙ∈ℕ) 定义为所有满足序列 (xₙ) 在 D(Tₙ) 中归一化、弱收敛于零且 ∥(Tₙ − λ)xₙ∥ → 0 的 λ 的集合。
• 类似地，将极限本质ε-邻近谱 Λₑₛₛ,ₑ((Tₙ)ₙ∈ℕ) 定义为满足 ∥(Tₙ − λ)xₙ∥ → ε 的 λ 的集合。
• 使用Hausdorff度量量化在远离这些极限集合的紧子集上谱和伪谱的收敛性。
• 证明序列如 (Sₙ(Tₙ − λ₀)⁻¹)ₙ∈ℕ 的离散紧致性，以处理扰动并确保收敛性。
• 通过构造傅里叶基投影和有限截断，将理论应用于伽辽金逼近和区域截断。

实验结果

研究问题

• RQ1 在什么条件下，算子序列 Tₙ 的谱会局部收敛于 T 的谱，特别是当 T 具有非空本质谱时？
• RQ2 在广义强预解式收敛下，能否保证在极限本质ε-邻近谱之外的伪谱收敛？
• RQ3 扰动在算子逼近中如何影响极限本质谱和本质ε-邻近谱？
• RQ4 伽辽金法和区域截断法在非自伴问题中在多大程度上保持了谱和伪谱结构？
• RQ5 离散紧致性在确保极限中谱和伪谱精确性方面起到什么作用？

主要发现

• 在极限本质谱之外，谱收敛成立：对任意与 σₗₑₛₛ((Tₙ)ₙ∈ℕ) 不相交的紧集 K，有 limₙ→∞σ(Tₙ) ∩K = σ(T) ∩K。
• 在极限本质ε-邻近谱之外，伪谱收敛成立：对任意与 Λₑₛₛ,ₑ((Tₙ)ₙ∈ℕ) 不相交的紧集 K，有 limₙ→∞σₑ(Tₙ) ∩K = σₑ(T) ∩K。
• 极限本质谱 σₗₑₛₛ((Tₙ)ₙ∈ℕ) 在相对紧扰动下保持不变，这一结果由谱映射定理（定理 2.5）证明。
• 对块对角占优矩阵应用伽辽金法时，谱和伪谱精确性在极限本质谱之外成立（定理 4.4）。
• 在扰动常系数PDE的区域截断中，通过有限傅里叶截断构造的逼近 An;n 保持了谱和伪谱精确性（定理 4.5），并在例4.6中通过数值验证。
• 该框架允许在不依赖自伴性、有界性或预解式紧致性的条件下获得收敛结果，从而将经典谱逼近理论的结果进一步推广。