[논문 리뷰] Non-self-adjoint harmonic oscillator, compact semigroups and pseudospectra

Lyonell Boulton|ArXiv.org|1999. 09. 29.

Numerical methods in inverse problems참고 문헌 10인용 수 49

한 줄 요약

이 논문은 $ L^2(\mathbb{R}) $ 위에서 비자기적 복소 조화진동자 $ H_c = -\frac{d^2}{dx^2} + c x^2 $ 의 가짜 스펙트럼을 조사한다. 여기서 $ \operatorname{Re}(c) > 0 $ 이고 $ \operatorname{Im}(c) > 0 $ 이다. 두 가지 핵심 결과를 도출한다: 첫째, JWKB 분석을 통해 $ \eta \to \infty $ 일 때, $ z = b\eta + c\eta^p $ 형태의 곡선을 따라 해석적 연산자 노름이 발산함을 보인다. 둘째, 메일러의 공식의 비자기적 변형을 통해 $ -H_c $ 가 생성하는 석대가 최대 각도 영역 내에서 힐베르트-슈미트임을 증명하고, 이는 $ z = \eta + ib $ 와 $ z = c\eta - ib $ 라인을 따라 해석적 연산자 노름의 균일한 유계성을 보장하며, 이는 가짜 스펙트럼 불안정성에 대한 수치적 증거를 확인한다.

ABSTRACT

We provide new information concerning the pseudospectra of the complex harmonic oscillator. Our analysis illustrates two different techniques for getting resolvent norm estimates. The first uses the JWKB method and extends for this particular potential some results obtained recently by E.B. Davies. The second relies on the fact that the bounded holomorphic semigroup generated by the complex harmonic oscillator is of Hilbert-Schmidt type in a maximal angular region. In order to show this last property, we deduce a non-self-adjoint version of the classical Mehler's formula.

연구 동기 및 목표

• 비자기적 복소 조화진동자의 가짜 스펙트럼에 대한 E. B. 데이비스의 결과를 복소 평면상의 새로운 곡선으로 확장한다.
• JWKB 근사와 반군 이론이라는 두 가지 다른 분석 기법을 사용하여 $ H_c $ 의 해석적 연산자 노름 추정치를 확립한다.
• 비자기적 반군이 생성하는 해석적 반군이 최대 각도 영역 내에서 힐베르트-슈미트 유형임을 증명하고, 이를 통해 정밀한 스펙트럼 안정성 분석을 가능하게 한다.
• 특히 고에너지 고유값의 불안정성에 대한 수치적 증거를 확인하고 확장한다.

제안 방법

• 비자기적 조건에 맞는 메일러의 공식의 변형을 유도하여 $ -H_c $ 의 열핵을 명시적으로 계산하고, 반군의 힐베르트-슈미트 성질 분석을 가능하게 한다.
• 연산자 노름 분해를 통해 해석적 연산자 노름을 추정하기 위해 스펙트럼 프로젝션 분해 $ H_c = \sum_{n=0}^m H_c|_{\operatorname{Ran}(Q_n)} \oplus H_c|_{\operatorname{Ran}(I-P_m)} $ 를 사용한다.
• 해석적 연산자 항등식 $ (H_c - z)^{-1} = \sum_{n=0}^m (H_c|_{\operatorname{Ran}(Q_n)} - z)^{-1} Q_n + (H_c|_{\operatorname{Ran}(I-P_m)} - z)^{-1} (I - P_m) $ 을 적용하여 전체 해석적 연산자 노름을 유계화한다.
• JWKB 방법을 사용하여 근사 고유상태를 구성하고, $ \eta \to \infty $ 일 때 $ \|(H_c - (b\eta + c\eta^p))^{-1}\| \to \infty $ 임을 보여, $ 1/3 < p < 3 $ 인 경우를 다룬다.
• 반군 $ e^{-H_c \tau} $ 가 섹터 내에서 컴팩트하고 해석적임을 이용하여 그 생성자인 $ -H_c $ 가 복소 평면의 일정한 반직선을 따라 해석적 연산자 노름이 유계짐을 유도한다.
• 스펙트럼 프로젝션 추정치와 반군의 힐베르트-슈미트 성질을 조합하여 $ z $ 가 $ \eta + ib $ 와 $ c\eta - ib $ 근처일 때 $ \|(H_c - z)^{-1}\| $ 에 대한 균일한 유계성을 도출한다.

실험 결과

연구 질문

• RQ1 큰 스펙트럼 매개변수에 대해 비자기적 조화진동자 $ H_c $ 의 가짜 스펙트럼은 어떻게 행동하는가?
• RQ2 모든 $ \eta \to \infty $ 에 대해 $ z = \eta + ib $ 와 $ z = c\eta - ib $ 라인을 따라 $ H_c $ 의 해석적 연산자 노름이 균일하게 유계진다 할 수 있는가?
• RQ3 JWKB 방법을 비자기적 슈뢰딩거 연산자에 대해 복소 잠재력이 존재할 때 해석적 연산자 노름의 발산 추정치를 유도하는 데 얼마나 확장할 수 있는가?
• RQ4 해석적 반군이 힐베르트-슈미트 유형인 최대 각도 영역은 무엇인가?

주요 결과

• 모든 $ b > 0 $ 와 $ 1/3 < p < 3 $ 에 대해 $ \|(H_c - (b\eta + c\eta^p))^{-1}\| \to \infty $ 이다. 이는 이러한 곡선을 따라 고유값의 강한 불안정성을 나타낸다.
• 모든 $ b > 0 $ 에 대해 상수 $ M_b > 0 $ 가 존재하여 $ \lim_{\eta \to \infty} \|(H_c - (\eta + ib))^{-1}\| \leq M_b $ 과 $ \lim_{\eta \to \infty} \|(H_c - (c\eta - ib))^{-1}\| \leq M_b $ 를 만족한다. 이는 이러한 반직선을 따라 해석적 연산자 노름이 균일하게 유계임을 보여준다.
• 유계 해석적 반군이 생성하는 $ -H_c $ 는 최대 각도 영역 내에서 힐베르트-슈미트 유형이며, 이는 비자기적 메일러의 공식의 변형으로 유도된 핵심 성질이다.
• 가짜 스펙트럼 집합 $ \operatorname{Spec}_\varepsilon(H_c) $ 는 첫 번째 $ m+1 $ 개 고유값 주변의 디스크와 $ \lambda_{m+1} $ 에서 시작하는 섹터 형태 영역의 합집합에 포함된다. 이는 데이비스의 수치적 관찰을 확인한다.
• 불안정성 지수 $ \kappa(\lambda_n) $ 는 $ n $ 의 어떤 거듭제곱보다도 더 빠르게 증가하므로, $ \varepsilon $-근접 영역이 $ m $ 에 따라 지수적으로 감소함을 의미한다.
• 만약 $ 0 < p < 1/3 $ 에 대해 $ \operatorname{Spec}_\varepsilon(H_c) \subset \Omega_{m,p} \cup \bigcup_{n=0}^m \{ z : |z - \lambda_n| < \delta \} $ 라는 추측이 참이라면 기존 유계성의 개선이 가능하며, $ p < 1/3 $ 이 조건이 최적이며, $ p > 1/3 $ 일 때 결과가 실패하므로 이는 최적의 조건임을 보여준다.