[논문 리뷰] On the pseudospectrum of the harmonic oscillator with imaginary cubic potential

Radek Novák|arXiv (Cornell University)|2014. 11. 07.

Spectral Theory in Mathematical Physics참고 문헌 24인용 수 13

한 줄 요약

이 논문은 $ H = -\frac{d^2}{dx^2} + x^2 + i x^3 $의 가짜스펙트럼 성질을 연구하며, 반고전적 분석과 스케일링 기법을 결합하여 그 가짜스펙트럼이 스펙트럼으로부터 임의로 멀리 떨어진 고유값을 포함하고 있음을 보여준다. 핵심 결과는 $ H $가 유계 변환을 통해 자기수반 연산자와 유사하지 않으며, 고유함수는 완비이지만 샤페드 기저를 이루지 않는다는 것이다.

ABSTRACT

We study the Schrödinger operator with a potential given by the sum of the potentials for harmonic oscillator and imaginary cubic oscillator and we focus on its pseudospectral properties. A summary of known results about the operator and its spectrum is provided and the importance of examining its pseudospectrum as well is emphasized. This is achieved by employing scaling techniques and treating the operator using semiclassical methods. The existence of pseudoeigenvalues very far from the spectrum is proven, and as a consequence, the spectrum of the operator is unstable with respect to small perturbations and the operator cannot be similar to a self-adjoint operator via a bounded and boundedly invertible transformation. It is shown that its eigenfunctions form a complete set in the Hilbert space of square-integrable functions; however, they do not form a Schauder basis.

연구 동기 및 목표

• 비자기수반 스크뢰딩거 연산자 $ H = -\frac{d^2}{dx^2} + x^2 + i x^3 $의 가짜스펙트럼 구조를 $ L^2(\mathbb{R}) $에서 분석하기.
• 비자명한 가짜스펙트럼이 연산자의 스펙트럼 기저 성질과 물리적 해석 가능성에 미치는 영향을 조사하기.
• 연산자 $ H $가 유계이고 유계로 역행할 수 있는 변환을 통해 자기수반 연산자와 유사한가를 판단하기.
• $ H $의 고유함수들이 $ L^2(\mathbb{R}) $에서 완비성과 기저 성질을 갖는지 검토하기.
• 스케일링과 반고전적 방법을 통해 일반적 클래스 $ -\frac{d^2}{dx^2} + x^2 + i x^{2n+1} $, $ n \geq 1 $로 결과를 확장하기.

제안 방법

• 큰 스펙트럼 매개변수에 대해 $ H $의 리졸베이트 노름 증가를 연구하기 위해 반고전적 분석의 적용.
• 문제를 반고전적 매개변수 영역으로 축소하기 위해 스케일링 기법의 사용.
• 가짜스펙트럼 정의의 활용: $ \sigma_\varepsilon(H) = \{ \lambda \in \mathbb{C} \mid \|(H - \lambda)^{-1}\| > \varepsilon^{-1} \} $, 불안정성 탐지.
• 허수의 세제곱 진동자 사례와의 비교를 통해 지수적 리졸베이트 노름 증가 추정의 유도.
• 연산자 이론의 알려진 정리들(예: [8, Thm. 3] 및 [9, Thm. 8.2.1])을 활용하여 리졸베이트 노름 증가와 기저 및 반군 성질을 연결.
• 준자기수반성과 유계 메트릭 연산자 사이의 동치성을 활용하여 자기수반 연산자와의 유사성 배제.

실험 결과

연구 질문

• RQ1 $ H = -\frac{d^2}{dx^2} + x^2 + i x^3 $의 가짜스펙트럼이 스펙트럼으로부터 임의로 멀리 떨어진 점을 포함하는가?
• RQ2 완비성은 갖지만 샤페드 기저를 이루지 않는 $ H $의 고유함수들이 $ L^2(\mathbb{R}) $에서 샤페드 기저를 형성할 수 있는가?
• RQ3 $ H $가 유계이고 유계로 역행할 수 있는 변환을 통해 자기수반 연산자와 유사한가?
• RQ4 비자명한 가짜스펙트럼은 $ -iH $가 유계 반군의 생성자일 수 없음을 의미하는가?
• RQ5 일반적인 $ i x^{2n+1} $ 포텐셜에 대해 $ i x^3 $의 경우에 대한 결과를 동일한 방법으로 일반화할 수 있는가?

주요 결과

• $ H $의 고유함수들은 $ L^2(\mathbb{R}) $에서 완비 집합을 이룬다. 그러나 스펙트럼 프로젝션 노름의 지수적 증가로 인해 샤페드 기저를 이루지 않는다.
• 모든 $ \delta > 0 $에 대해, 충분히 작은 $ \varepsilon $에 대해 $ \sigma_\varepsilon(H) $는 $ |\lambda| \geq B (\log \frac{1}{\varepsilon})^{6/5} $ 이며 $ |\arg \lambda| < \arctan(\text{Re}\, \lambda) - \delta $ 를 만족하는 모든 $ \lambda \in \mathbb{C} $를 포함한다.
• 스펙트럼으로부터 멀리 떨어진 가짜고유값의 존재로 인해 $ H $는 유계이고 유계로 역행할 수 있는 변환을 통해 자기수반 연산자와 유사하지 않다.
• 필요로 하는 메트릭이 무한대가 되어야 하므로, $ H $는 유계이고 유계로 역행할 수 있는 메트릭을 갖는 준자기수반 연산자가 아니다.
• 큰 스펙트럼 매개변수에서 리졸베이트 노름이 너무 빨리 증가하므로 $ -iH $는 유계 반군의 생성자가 아니다.
• 모든 결과는 동일한 스케일링과 반고전적 기법을 통해 일반적인 경우 $ -\frac{d^2}{dx^2} + x^2 + i x^{2n+1} $, $ n \geq 1 $로 확장된다.