[논문 리뷰] Local convergence of spectra and pseudospectra

Sabine Bögli|arXiv (Cornell University)|2016. 05. 03.

Spectral Theory in Mathematical Physics인용 수 1

한 줄 요약

이 논문은 서로 다른 힐버트 공간에서 작용하는 선형 연산자 수열이 일반화된 강한 해열수렴의 의미에서 수렴할 때, 스펙트럼과 허위 스펙트럼의 국소 수렴을 확립한다. 비자기적이고 비컴 pact 연산자에 적용 가능한 새로운 프레임워크를 사용하여, 극한의 본질적 스펙트럼 외부와 본질적 ε-근처 스펙트럼 외부에서 각각 스펙트럼 정확성과 허위 스펙트럼 정확성을 증명한다. 이는 갈레르킨 방법과 도메인 절단 방법을 포함한 다양한 근사법에 적용 가능하다.

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 강하게 수렴함을 의미한다.
• 정규화된 벡터 수열이 D(Tₙ)에서 약한 수렴으로 0으로 수렴하고 ∥(Tₙ − λ)xₙ∥ → 0 인 λ의 집합으로 극한의 본질적 스펙트럼 σₗₑₛₛ((Tₙ)ₙ∈ℕ) 를 정의한다.
• ∥(Tₙ − λ)xₙ∥ → ε 인 조건으로 유사하게 극한의 본질적 ε-근처 스펙트럼 Λₑₛₛ,ₑ((Tₙ)ₙ∈ℕ) 를 정의한다.
• 이들의 수렴을 캄프acts 집합에서 Hausdorff 거리로 정량화한다.
• 왜곡을 다루고 수렴을 보장하기 위해 (Sₙ(Tₙ − λ₀)⁻¹)ₙ∈ℕ 의 수열에 대한 이산 콤���크턴스를 증명한다.
• 갈레르킨 근사와 도메인 절단에 이 이론을 적용하기 위해 푸리에 기저 사영과 유한 절단을 통한 근사 구조를 구성한다.

실험 결과

연구 질문

• RQ1 T가 비어 있지 않은 본질적 스펙트럼을 가질 때, 연산자 수열 Tₙ 의 스펙트럼이 국소적으로 T의 스펙트럼으로 수렴하는 조건은 무엇인가?
• RQ2 일반화된 강한 해열수 수렴 하에서, 극한의 본질적 ε-근처 스펙트럼 외부에서 허위 스펙트럼 수렴을 보장할 수 있는가?
• RQ3 왜곡은 연산자 근사에서 극한의 본질적 스펙트럼과 본질적 ε-근처 스펙트럼에 어떤 영향을 미치는가?
• RQ4 갈레르킨 방법과 도메인 절단 방법이 비자기적 문제에서 스펙트럼 및 허위 스펙트럼의 구조를 어느 정도 유지하는가?
• RQ5 이산 콤팩트성은 극한에서 스펙트럼 및 허위 스펙트럼 정확성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 극한의 본질적 스펙트럼 외부에서는 스펙트럼 수렴이 국소적으로 성립한다: σ(Tₙ) ∩K → σ(T) ∩K 이며, 이는 σₗₑₛₛ((Tₙ)ₙ∈ℕ) 와 서로소인 모든 컴팩트 K 에 대해 성립한다.
• 극한의 본질적 ε-근처 스펙트럼 외부에서는 허위 스펙트럼 수렴이 국소적으로 성립한다: σₑ(Tₙ) ∩K → σₑ(T) ∩K 이며, 이는 Λₑₛₛ,ₑ((Tₙ)ₙ∈ℕ) 와 서로소인 모든 컴팩트 K 에 대해 성립한다.
• 극한의 본질적 스펙트럼 σₗₑₛₛ((Tₙ)ₙ∈ℕ) 는 상대적으로 컴팩트한 왜곡에 대해 불변이며, 이는 스펙트럼 매핑 정리(정리 2.5)로 증명된다.
• 블록 대각 우세 행렬에 갈레르킨 방법을 적용할 경우, 극한의 본질적 스펙트럼 외부에서 스펙트럼 및 허위 스펙트럼 정확성이 성립한다(정리 4.4).
• 상수 계수 PDE에 대한 왜곡된 버전의 도메인 절단에서, 유한 푸리에 섹션을 통한 근사 An;n 이 스펙트럼 및 허위 스펙트럼 정확성을 유지한다(정리 4.5), 예제 4.6 에서 수치적 검증이 이루어졌다.
• 이 프레임워크는 자기를 요구하지 않거나, 유계성 또는 컴팩트 해열수를 요구하지 않아도 되므로, 기존 스펙트럼 근사 이론의 결과를 초월한다.