[논문 리뷰] The essential numerical range for unbounded linear operators

Sabine Bögli, Marco Marletta외 1명|arXiv (Cornell University)|2019. 07. 22.

Numerical methods in inverse problems인용 수 1

한 줄 요약

이 논문은 힐버트 공간에서 유계가 아닌 선형 연산자에 대해 필수 수치 범위 We(T)를 도입하며, 이의 기본 성질을 규명하고, 사영 또는 도메인 절단 방법을 통한 근사 과정에서 스펙트럼 오염을 균일하고 최소한으로 포착하는 데서 그 역할을 보여준다. 주요 기여는 비자기 연산자 및 비자기 편미분방정식에서 유사 고유값을 통합하고 특징짓는 데에 기여하는 한계 필수 수치 범위 개념의 도입이다.

ABSTRACT

We introduce the concept of essential numerical range $W_{\!e}(T)$ for unbounded Hilbert space operators $T$ and study its fundamental properties including possible equivalent characterizations and perturbation results. Many of the properties known for the bounded case do \emph{not} carry over to the unbounded case, and new interesting phenomena arise which we illustrate by some striking examples. A key feature of the essential numerical range $W_{\!e}(T)$ is that it captures spectral pollution in a unified and minimal way when approximating $T$ by projection methods or domain truncation methods for PDEs.

연구 동기 및 목표

• 유계가 아닌 힐버트 공간 연산자에 대해 필수 수치 범위 We(T)를 정의하고 분석하기.
• We(T)의 등가적 특성화를 수립하고, 이들이 비유계 경우에서의 차이를 명확히 하기.
• We(T)가 사영 및 도메인 절단 방법에 걸쳐 스펙트럼 오염을 최소화하고 통합적으로 포착함을 보여주기.
• 비자기 강유계 편미분방정식 및 미분연산자에 적용 가능한 프레임워크 제공하기.
• 유계 연산자 도구가 비유계성으로 인해 실패하는 데서 오는 오랜 도전 과제 해결하기.

제안 방법

• 약한 극한을 통한 수치 범위의 약한 극한에 기반한 비유계 연산자에 대한 필수 수치 범위 We(T)의 새로운 정의 제안.
• 근사 연산자 시퀀스 (T_n)에 대해 한계 필수 수치 범위 개념을 도입하여 유계 경우를 일반화.
• 콤팩트 페르터베이션의 경우 필수 수치 범위가 유지됨을 보여주는 페르터베이션 정리 유도.
• 실수부와 허수부로 분해하여 특정 조건 하에서 We(T)를 계산.
• 해석적 연산자에 대한 이론을 적용하여, 해리형 미분연산자에 대해 리졸베인트 차이와 콤팩트성 기준을 사용.
• 한계 연산자의 스펙트럼 분석과 계수의 점근적 행동을 활용하여, 이동-확산형 연산자에 대해 σ_e(A) 및 We(A) 유도.

실험 결과

연구 질문

• RQ1 표준적인 유계 연산자 특성화가 실패할 때 비유계 연산자에 대해 필수 수치 범위를 일관되게 정의할 수 있는 방법은 무엇인가?
• RQ2 비유계 설정에서 여러 후보 정의가 일치하는 조건은 무엇인가?
• RQ3 비자기 설정에서 We(T)는 본질 스펙트럼과 스펙트럼 집합의 볼록결합과 어떻게 관련이 있는가?
• RQ4 We(T)는 다양한 근사 방법에 걸쳐 스펙트럼 오염을 어떻게 통합하고 최소화하는가?
• RQ5 변수 계수를 가진 미분연산자에 대해 We(T)를 명시적으로 계산할 수 있으며, 이는 수치 근사와 어떻게 관련이 있는가?

주요 결과

• We(T)는 사영 및 도메인 절단 방법에 걸쳐 스펙트럼 오염을 통합적이고 최소화된 방식으로 포착하며, 한계 필수 수치 범위가 정확한 특성화를 제공한다.
• Q1(x) → −2 및 Q0(x) → 0 인 이동-확산 연산자 A에 대해 We(A) = {λ ∈ C : Re λ ≥ (Im λ)^2 / 2}이며, 본질 스펙트럼을 둘러싸는 포물선 영역이다.
• 실수 계수의 경우, 유사 고유값은 We(A) ∩ [ess inf(eQ0), ∞)에 포함되며, 이 포함관계는 날카롭게 유지되며, Q1 ≡ −2, Q0 ≡ 0 인 예시에서 이를 확인할 수 있다.
• 절단된 연산자 An의 고유값은 [1, ∞)에 집중되며, 이는 We(A) 내부에 완전히 포함되어 있으며, 이들은 모두 유사 고유값임을 확인하여 σ_poll((An)) = [1, ∞)임을 확인한다.
• Q1 ≡ −2, Q0(x) = 20 sin(x)e^{-x^2} 인 경우, 한계 필수 수치 범위는 σ_poll((An)) ⊂ [0, ∞)를 예측하며, 수치 결과는 We(A) 외부에 있는 고유값만 진짜임을 확인한다.
• Re λ < 0 인 경우, 리졸베인트 차이 (A − λ)^{-1} − (A∞ − λ)^{-1} 는 콤팩트하며, σ_e(A) = σ_e(A∞) 임을 의미하여 본질 스펙트럼이 페르터베이션 하에 유지됨을 확인한다.