[논문 리뷰] Bohr-Sommerfeld quantization conditions for non-selfadjoint perturbations of selfadjoint operators in dimension one

Ophélie Rouby|arXiv (Cornell University)|2015. 11. 19.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 14인용 수 10

한 줄 요약

이 논문은 1차원에서 자기수반 $\hbar$-초등형 미분 연산자의 비자기수반 섭동에 대해 보어- Sommerfeld 양자화 조건을 수립하며, 고유값이 복소 행동 적분과 마스лов 지수 및 고위항 항의 보정을 통해 점점 더 잘 기술된다는 것을 보여준다. 이 방법은 복소 미세분석학과 Grushin 문제를 결합하여 반고전적 스펙트럼 이론을 비자기수반 설정으로 확장하며, $\mathcal{P}\mathcal{T}$-대칭 연산자에의 응용이 가능하다.

ABSTRACT

In this paper, we give a description of the spectrum of a class of non-selfadjoint perturbations of selfadjoint operators in dimension one and we show that it is given by Bohr-Sommerfeld quantization conditions. To achieve this, we make use of previous work by Michael Hitrik, Anders Melin and Johannes Sj{\\"o}strand. We also give an application of our result in the case of PT-symmetric pseudo-differential operators.

연구 동기 및 목표

• 반고전적 극한에서 1차원에서 자기수반 $\hbar$-초등형 미분 연산자의 비자기수반 섭동의 스펙트럼을 기술하는 것.
• 표준 자기수반 스펙트럼 이론이 실패하는 비자기수반 설정으로 보어- Sommerfeld 양자화 조건을 확장하는 것.
• 고유값을 $\hbar$와 작은 매개변수 $\epsilon$의 함수로 엄밀한 점근적 기술을 제공하며, 복소 행동 적분과 마스볼 지수 보정을 포함하는 것.
• $\mathcal{P}\mathcal{T}$-대칭 초등형 미분 연산자에 결과를 적용하여, 비자기수반성에도 불구하고 실수 스펙트럼을 가질 수 있음을 보여주는 것.
• L^2(\mathbb{R})와 L^2(\mathbb{S}^1) 위의 연산자에 대한 유한차원 절단을 통한 스펙트럼 계산을 통해 이론적 결과를 수치적으로 검증하는 것.

제안 방법

• 1차원에서 자기수반 연산자의 비자기수반 섭동의 스펙트럼 성질을 연구하기 위해 복소 미세분석학을 사용한다.
• Grushin 문제를 적용하여 전체 연산자의 스펙트럼 분석을 모형 연산자 위의 유한차원 문제로 축소한다.
• 작은 매개변수 $\epsilon$에 따라 매끄럽게 의존하는 기호의 Weyl 양자화를 사용하며, 섭동 $i\epsilon Q^\epsilon_\hbar$ 가 자기를수반성을 파괴한다.
• 고유값에 대한 점근 전개를 $\hbar$의 거듭제곱으로 유도하며, 주요 항은 위상공간 루프를 따라 적분된 복소 행동 적분의 역수로 주어진다.
• 행동-각도 좌표를 도입하고 토러스 위에서 섭동 기호를 평균하여 효과적 스펙트럼 함수 $g^\epsilon(\tilde{I})$를 계산한다.
• 연산자를 유한행렬으로 절단하고 이론적 보어- Sommerfeld 조건과 계산된 스펙트럼을 비교함으로써 결과를 수치적으로 검증한다.

실험 결과

연구 질문

• RQ1 1차원에서 자기수반 $\hbar$-초등형 미분 연산자의 비자기수반 섭동의 고유값은 반고전적 극한에서 어떻게 행동하는가?
• RQ2 보어- Sommerfeld 양자화 조건은 비자기수반 연산자로 일반화될 수 있는가? 만약 가능하다면, 그 형태는 어떠한가?
• RQ3 복소 행동 적분, 마스볼 지수, 고위항 항은 이러한 연산자의 스펙트럼 점근적 성질에서 어떤 역할을 하는가?
• RQ4 연산자의 $\mathcal{P}\mathcal{T}$-대칭성은 반고전적 영역에서 스펙트럼의 실수성과 분포에 어떤 영향을 미치는가?
• RQ5 스펙트럼의 수치적 근사치는 이론적 보어- Sommerfeld 예측과 어느 정도 일치하는가? 특히 조화 진동자 스펙트럼과 비교했을 때 어떻게 되는가?

주요 결과

• 비자기수반 연산자 $F^\epsilon_\hbar + i\epsilon Q^\epsilon_\hbar$ 의 스펙트럼은 복소 행동 적분, 마스볼 지수, 고위항 보정을 포함하는 보어- Sommerfeld 조건에 의해 점점 더 잘 기술된다.
• 고유값 전개의 주요 항은 주어진 주의 기호의 에너지 수준 집합에 속하는 루프 $\gamma_E$ 를 따라 적분된 복소 행동 적분 $\int_{\gamma_E} \alpha_0$ 의 역수로 주어진다.
• 고유값은 점점 더 잘 기술되며, $E = \hbar k + \mathcal{O}(\hbar^2)$ 형태이며, $k \in \mathbb{Z}$ 이고, 스펙트럼을 지배하는 함수 $g^\epsilon(\tilde{I})$ 는 $\epsilon$ 과 $\hbar$ 에 대해 해석적 전개를 갖는다.
• $\mathcal{P}\mathcal{T}$-대칭 연산자에 대해서는, 적절한 조건 하에서 실수 고유값을 얻을 수 있는 스펙트럼 기술을 제공하며, 보어- Sommerfeld 규칙의 적용 가능성을 확장한다.
• 수치적 결과는 마스볼 지수를 적절히 고려할 경우, 이론적 보어- Sommerfeld 예측이 조화 진동자 스펙트럼보다도 계산된 스펙트럼과 더 잘 일치함을 보여준다.
• L^2(\mathbb{R}) 위에서 Fock 공간과 Bargmann 변환을 사용한 수치적 구현은 이론적 프레임워크를 확인하며, 특히 조화 진동자의 다항식 섭동에 대해 뛰어난 결과를 보여준다.