[논문 리뷰] Perturbations of selfadjoint operators with periodic classical flow

Johannes Sjoestrand|ArXiv.org|2003. 03. 03.

Spectral Theory in Mathematical Physics참고 문헌 12인용 수 5

한 줄 요약

이 논문은 두 차원에서 고유값에 대한 완전한 점근적 기술을 제공한다. 비자기적 편항을 가진 자기적 $h$-편미분 연산자의 고유값에 대해, 원래 연산자의 고전적 흐름이 주기적일 경우를 다룬다. 행동-각도 변수를 기반으로 한 기하적 양자화 방법과 주기적 궤도를 따라 평균화하는 기법을 사용하여, 복소 평면에서 폭 $\mathcal{O}(1)$인 직사각형 내에서 고유값에 대한 보어- Sommerfeld 유형의 양자화 조건을 수립한다. 이는 편항 강도 $\epsilon$가 작지만 $h$에 종속되지 않을 때에도 유효하다. 주요 결과는 $\widetilde{h} = h/\epsilon^2$인 $\widetilde{h}$-전개를 가지는 기호 $\widehat{P}$를 통해 고유값을 명시적으로 매개변수화하는 것으로, 실축 근처의 $\epsilon$-밴드에서 스펙트럼 분포를 기술한다.

ABSTRACT

We consider non-selfadjoint perturbations of a self-adjoint $h$-pseudodifferential operator in dimension 2. In the present work we treat the case when the classical flow of the unperturbed part is periodic and the strength $ε$ of the perturbation satisfies $h^{δ_0} 0$. We get a complete asymptotic description of all eigenvalues in certain rectangles $[-1/C,1/C]+iε[F_0-1/C,F_0+1/C]$. In particular we are able to treat the case when $ε>0$ is small but independent of $h$.

연구 동기 및 목표

• 2차원에서 고전적 흐름이 주기적인 자기적 $h$-편미분 연산자 $P$의 비자기적 편항 $P + i\epsilon Q$의 스펙트럼 분포를 분석한다.
• 고유값이 고정된 폭의 스트립 $\operatorname{Im} z \sim \mathcal{O}(\epsilon)$ 내에서 복소 평면에 어떻게 분포하는지 기술한다. 이는 $\epsilon$가 작지만 $h$에 종속되지 않을 때에도 유효하다.
• 이전 방법이 $\epsilon \ll h$ 조건을 필요로 하였던 점을 고려해, 주기적 고전적 역학을 가진 비자기적 설정으로 보어- Sommerfeld 양자화 조건을 확장한다.
• 점근적 전개를 $\widetilde{h} = h/\epsilon^2$에 대해 완전히 기술하며, $h^\delta \ll \epsilon \leq \epsilon_0$ 이며 $\delta < 1/4$일 때 유효하다.
• 주기적 해밀턴 흐름과 비자기적 편항이 존재할 때 고유값의 군집화와 간격을 이해하기 위한 기하적 및 분석적 프레임워크를 제공한다.

제안 방법

• 주기적 $H_{p_2}$-흐름에 적합한 행동-각도 변수를 사용하는 기하적 양자화 방법에 기반한다. 여기서 $p_2$는 주기적 기호의 제곱항이다.
• 해밀턴 벡터장 $H_{p_2}$의 주기적 궤도를 따라 평균화를 수행하여 평균화된 보조기호 항 $\langle p_3 \rangle$를 정의한다.
• 고유값 문제는 $\widetilde{h} \to 0$일 때 $\widetilde{h} = h/\epsilon^2$의 거듭제곱에 대해 점근 전개를 가지는 기호 $\widehat{P}(\xi, \epsilon; \widetilde{h})$로 축소된다.
• 고유값은 이동한 행동 변수 $\widetilde{h}(k - \alpha/4) - S/2\pi$를 통해 매개변수화되며, 여기서 $S$는 에너지 토러스의 기본 사이클을 따라 적분한 행동 적분이다.
• 정규화된 행동 변수 $\xi_j$는 토러스 $\Lambda_{E,F}$ 위의 사이클을 따라 행동 적분의 차이로 정의되며, 적절한 스케일링과 주기성을 보장한다.
• 일차원으로 축소하지 않고 2차원 문제의 구조를 유지하며, 반복적 복소해석적 성질과 반지름의 점근적 스펙트럼 이론에 의존한다.

실험 결과

연구 질문

• RQ1 고전적 흐름이 주기적이고 $\epsilon$가 작지만 $h$에 종속되지 않을 때, 비자기적 편항 $P + i\epsilon Q$의 고유값은 복소 평면에 어떻게 분포하는가?
• RQ2 2차원에서 주기적 고전적 흐름을 가진 비자기적 연산자에 대해 보어- Sommerfeld 유형의 양자화 조건을 수립할 수 있는가?
• RQ3 고유값의 점근적 구조는 $\epsilon$-밴드 $\operatorname{Im} z \sim \mathcal{O}(\epsilon)$ 내에서 어떻게 되며, 이는 재스케일링된 플랑크 상수 $\widetilde{h} = h/\epsilon^2$에 어떻게 의존하는가?
• RQ4 기호 전개에서 $\epsilon$의 음의 거듭제곱은 어떻게 발생하며, 스펙트럼 점근적 성질에서 어떤 역할을 하는가?
• RQ5 평균화된 보조기호 항 $\langle p_3 \rangle$는 실축 근처의 고유값 분포를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 직사각형 $[1 - \mathcal{O}(1)^{-1}, 1 + \mathcal{O}(1)^{-1}] + i\epsilon[F_0 - \mathcal{O}(1)^{-1}, F_0 + \mathcal{O}(1)^{-1}]$ 내의 고유값은 $z = \widehat{P}(\widetilde{h}(k - \alpha/4) - S/2\pi, \epsilon; \widetilde{h}) + \mathcal{O}(h^\infty)$로 주어지며, $k \in \mathbb{Z}^2$마다 하나의 고유값이 존재한다.
• 기호 $\widehat{P}(\xi, \epsilon; \widetilde{h})$는 $\widetilde{h} \to 0$일 때 점근 전개 $\sum_{n=0}^\infty \widetilde{h}^n \widetilde{p}_n^{(\infty)}(\xi, \epsilon)$를 가지며, $\widetilde{p}_0(\xi, \epsilon) = p_2(\xi) + i\epsilon e^{3\pi i/4} \langle p_3 \rangle(\xi) + \mathcal{O}(\epsilon^2)$이다.
• 주요 항 $\widetilde{p}_0$는 평균화된 보조기호 $\langle p_3 \rangle$에 의존하며, 그 실수부는 복소 평면에서 고유값 밴드의 위치를 결정한다.
• 행동 변수 $\xi_j$는 정규화된 행동 적분 $\frac{1}{2\pi} \left( \int_{\gamma_j(E,F)} \eta\,dy - \int_{\gamma_j(1,F_0)} \eta\,dy \right)$로 정의되며, 적절한 스케일링과 주기성을 보장한다.
• 이 방법은 $\epsilon$가 $h^\delta$-수준으로 작을 수 있으며, 특히 $\epsilon$가 $h$에 종속되지 않을 수 있음을 보장한다. 이는 이전의 평균화 기반 방법으로는 접근할 수 없는 부분이다.
• 결과는 복소 평면에서 폭 $\mathcal{O}(1)$인 고정된 직사각형 내에서 완전한 스펙트럼 기술을 제공하며, $\epsilon \gg h$일 때에도 유효하다. 이는 이전 연구들이 다루던 $\epsilon \ll h$ 영역을 초월한다.