[논문 리뷰] On the Bound States of Schr\"odinger Operators with $\delta$-interactions on Conical Surfaces

Vladimir Lotoreichik, Thomas Ourmières-Bonafos|arXiv (Cornell University)|2015. 10. 19.

Spectral Theory in Mathematical Physics참고 문헌 35인용 수 22

한 줄 요약

이 논문은 차원 $d \geq 3$ 에서 원뿔 표면 위에 있는 $\delta$-상호작용을 가진 슈뢰딩거 연산자에 대해 연구한다. 각운동량 성분으로의 스펙트럼 분해를 통해, 이산 스펙트럼이 존재하는 것은 오직 $d=3$ 에서에만이며, 그 경우 고유값들은 본질 스펙트럼 임계값 $-\alpha^2/4$ 아래에서 로그적으로 집적된다. 집적의 정확한 점 清도는 $\varepsilon \to 0^+$ 일 때 $N_{-\alpha^2/4 - \varepsilon}(H_{\alpha,C}) \sim \frac{\cot\theta}{4\pi} |\ln \varepsilon|$ 로 주어지며, 고유값들은 원뿔의 괴두 $\theta$ 에 대해 비감소함을 보인다. $d \geq 4$ 에서는 이산 스펙트럼이 존재하지 않는다.

ABSTRACT

In dimension greater than or equal to three, we investigate the spectrum of a Schr{\"o}dinger operator with a $\delta$-interaction supported on a cone whose cross section is the sphere of co-dimension two. After decomposing into fibers, we prove that there is discrete spectrum only in dimension three and that it is generated by the axisymmetric fiber. We get that these eigenvalues are non-decreasing functions of the aperture of the cone and we exhibit the precise logarithmic accumulation of the discrete spectrum below the threshold of the essential spectrum.

연구 동기 및 목표

• 차원 $d \geq 3$ 에서 $\mathbb{R}^d$ 에서 원뿔 초표면에 지지된 $\delta$-상호작용을 가진 슈뢰딩거 연산자의 이산 스펙트럼 존재성과 구조를 규명하는 것.
• 특히 원뿔의 괴두 $\theta$ 를 포함한 기하학적 특성이 본질 스펙트럼 아래의 고유값에 미치는 영향을 분석하는 것.
• 3차원에서 본질 스펙트럼 임계값 $-\alpha^2/4$ 아래에 집적되는 고유값의 수에 대한 정밀한 스펙트럼 점근적 해를 확립하는 것.
• 4차원 이상에서 이산 스펙트럼이 존재하지 않음을 증명하여, 3차원 사례와 대비시키며 차원 의존성의 본질을 부각하는 것.

제안 방법

• 구면 조화함수를 이용해 각운동량 성분으로 문제를 분해함으로써, $d$차원 문제를 $(r,z)$-평면 위의 2차원 문제의 집합으로 환원하는 분리 변수법 적용.
• 각각의 각운동량 양자수 $l$ 에 대해 유도된 섬유 연산자 $Q^{[l]}_{\alpha,\Gamma_\theta}$ 를 분석하며, 정의역은 $L^2(\mathbb{R}^2_+; r^{d-2} dr dz)$ 이다.
• 3차원에서 $l=0$ 인 최저 섬유 연산자가 전체 연산자의 이산 스펙트럼을 결정함을 보여, 이는 $-\alpha^2/4$ 이하의 스펙트럼을 결정함을 의미함.
• 최저 섬유 연산자와 $\theta$ 에 독립적인 정의역을 가진 형태 사이의 유니타리 동치를 확립함으로써, 단조성 분석이 가능하도록 함.
• 변분 방법과 레일리 몫을 이용해, $d=3$ 에서 고유값 $E_k(H_{\alpha,C})$ 가 원뿔의 괴두 $\theta$ 에 대해 비감소 함수임을 보임.
• 참고 문헌 [11] 에 영감을 얻은 스펙트럼 점근적 기법을 적용하여, 3차원에서 $-\alpha^2/4$ 근처에 집적되는 고유값의 정확한 로그적 속도를 유도함.

실험 결과

연구 질문

• RQ1 4차원 이상에서 원뿔 표면 위에 있는 $\delta$-상호작용을 가진 슈뢰딩거 연산자의 이산 스펙트럼이 존재하는가? 만약 존재한다면, 몇 개인가?
• RQ2 3차원에서 본질 스펙트럼 임계값 $-\alpha^2/4$ 아래로 고유값이 집적되는 정확한 속도는 무엇인가?
• RQ3 3차원에서 원뿔의 괴두 $\theta$ 는 고유값의 위치에 어떤 영향을 미치는가?
• RQ4 왜 원뿔 표면 위에 매력적 $\delta$-상호작용이 존재함에도 불구하고, $d \geq 4$ 에서는 이산 스펙트럼이 사라지는가?
• RQ5 3차원에서 최저 섬유 연산자($l=0$)는 전체 이산 스펙트럼을 충분히 기술하는가?

주요 결과

• 3차원에서 연산자 $H_{\alpha,C}$ 는 본질 스펙트럼 임계값 $-\alpha^2/4$ 아래로 무한히 많은 유한 상태를 가지며, 즉 $\#\sigma_{\text{dis}}(H_{\alpha,C}) = \infty$ 이다.
• $d \geq 4$ 에서 연산자 $H_{\alpha,C}$ 는 이산 스펙트럼이 없으며, 즉 $\#\sigma_{\text{dis}}(H_{\alpha,C}) = 0$ 이다. 이는 스펙트럼이 $-\alpha^2/4$ 이하로 떨어지지 않는 직교 합성 섬유 연산자들로의 유니타리 동치 때문이다.
• 3차원에서 고유값 $E_k(H_{\alpha,C})$ 는 $(0, \pi/2)$ 에서 원뿔의 괴두 $\theta$ 에 대해 비감소 함수이며, 이는 더 넓은 괴두(더 큰 원뿔)일수록 유한 상태 에너지가 더 높거나 동일함을 의미한다.
• 3차원에서 $-\alpha^2/4 - \varepsilon$ 이하의 고유값 수는 다음 점근적 관계를 만족한다: $N_{-\alpha^2/4 - \varepsilon}(H_{\alpha,C}) \sim \frac{\cot\theta}{4\pi} |\ln \varepsilon|$ as $\varepsilon \to 0^+$.
• 3차원에서의 이산 스펙트럼은 전적으로 축대칭($l=0$) 섬유에 의해 생성되며, 이에 대응하는 고유값 문제는 $\theta$ 에 독립적인 정의역을 가진 형태와 유니타리 동치이다.
• 섬유 연산자 $Q^{[l]}_{\alpha,\Gamma_\theta}$ 의 형태 핵심은 $d \geq 4$ 또는 $l \geq 0$ 에서는 $C_0^\infty(\mathbb{R}^2_+)$ 이며, $d=3$, $l>0$ 에서는 $C_0^{\infty,0}(\mathbb{R}^2_+)$ 이다. 이는 변분 방법의 타당성을 보장한다.