[논문 리뷰] Schrödinger operators with complex singular potentials

Vladimir Mikhailets, Volodymyr Molyboga|arXiv (Cornell University)|2013. 06. 03.

Spectral Theory in Mathematical Physics참고 문헌 7인용 수 3

한 줄 요약

이 논문은 복소수 계수 잠재력에 대해 일차원 슈뢰딩거 연산자에 대한 여러 정의가 공간 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 내에서 동치임을 확립하고, 자기수반성을 증명하며, 부드러운 잠재력에 의한 노름 해석자 근사화를 보이며, 스펙트럼을 복소 평면 내의 타원형 영역으로 국소화함으로써 이전 연구에서의 격차를 해결한다.

ABSTRACT

We study one-dimensional Schrödinger operators $\mathrm{S}(q)$ on the space $L^{2}(\mathbb{R})$ with potentials $q$ being complex-valued generalized functions from the negative space $H_{unif}^{-1}(\mathbb{R})$. Particularly the class $H_{unif}^{-1}(\mathbb{R})$ contains periodic and almost periodic $H_{loc}^{-1}(\mathbb{R})$-functions. We establish an equivalence of the various definitions of the operators $\mathrm{S}(q)$, investigate their approximation by operators with smooth potentials from the space $L_{unif}^{1}(\mathbb{R})$ and prove that the spectrum of each operator $\mathrm{S}(q)$ lies within a certain parabola.

연구 동기 및 목표

• 실수 계수 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 잠재력에 대해 [10]에서 제시된 자기수반성에 대한 완전하지 않은 증명을 해결하기 위해.
• 이전에 정의된 최소, 프리드리히스, 형식합, 최대 연산자 간의 완전한 조율이 이루어지지 않은 복소수 계수 잠재력에 대해 이론을 확장하기 위해.
• 복소수 $ q \in H_{\text{unif}}^{-1}(\mathbb{R}) $ 에 대해 연산자 $ \mathrm{S}_0(q) $, $ \mathrm{S}(q) $, $ \mathrm{S}_{\text{fs}}(q) $, $ \mathrm{S}_F(q) $ 가 일치하고 $ m $-섹터럴임을 확립하기 위해.
• 부드러운 잠재력이 포함된 $ L_{\text{unif}}^1(\mathbb{R}) $ 에서의 근사 연산자들이 제한 연산자 $ \mathrm{S}(q) $ 로 노름 해석자 수렴함을 증명하기 위해.
• 잠재력 노름과 정규성 매개변수에 기반하여 복소 평면 내에서 $ \mathrm{S}(q) $ 의 스펙트럼에 대한 정밀한 타원형 국소화를 제공하기 위해.

제안 방법

• 정규화 방법을 사용하여 $ \mathrm{S}(q) $ 를 $ \mathrm{S}(q)y = -(y' - Qy)' - Qy' + \tau y $ 로 정의하며, 여기서 $ q = Q' + \tau $ 이고 $ Q, \tau \in L_{\text{unif}}^2(\mathbb{R}) \times L_{\text{unif}}^1(\mathbb{R}) $ 이다.
• 형식합 방법과 프리드리히스 확장을 적용하여 연산자의 대체 정의를 만들고, $ m $-섹터럴성과 정의도가 일치함을 증명함으로써 그 동치성을 입증한다.
• 해석자 근사 기법을 활용하여 $ \|q - q_n\|_{H^{-1}(0,1)} \to 0 $ 이면 $ \mathrm{S}(q_n) \to \mathrm{S}(q) $ 가 노름 해석자 수렴함을 보였다.
• 예비 최소 연산자의 수치 범위에 대한 추정을 통해 스펙트럼의 섹터형 및 타원형 경계를 도출하였다.
• 형태 $ |t_q[u]| \leq a\varepsilon\|u'\|^2 + b\varepsilon^{-s}\|u\|^2 $ 의 변분 추정을 사용하여 허수부 스펙트럼을 $ a, b, s $ 에 따라 유계화하였다.
• 추상 정리 13 을 적용하여 잠재력의 정규성 매개변수에 따라 의존하는 명시적 타원형 영역 $ \mathcal{M}_{a,b,s} $ 를 유도하였다.

실험 결과

연구 질문

• RQ1 복소수 계수 잠재력에 대해 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 내에서 최소, 프리드리히스, 형식합, 최대 연산자 $ \mathrm{S}_0(q) $, $ \mathrm{S}_F(q) $, $ \mathrm{S}_{\text{fs}}(q) $, $ \mathrm{S}(q) $ 가 동치인가?
• RQ2 복소수 특이 잠재력이 $ H_{\text{unif}}^{-1}(\mathbb{R}) $ 에 속할 경우, $ L_{\text{unif}}^1(\mathbb{R}) $ 의 부드러운 잠재력 연산자에 의해 노름 해석자 의미에서 슈뢰딩거 연산자를 근사할 수 있는가?
• RQ3 이러한 잠재력에 대해 $ \mathrm{S}(q) $ 의 스펙트럼은 복소 평면 내에서 어떻게 정밀하게 국소화되는가?
• RQ4 잠재력 분해 $ q = Q' + \tau $ 에서 $ Q \in L_{\text{unif}}^2(\mathbb{R}) $, $ \tau \in L_{\text{unif}}^1(\mathbb{R}) $ 를 기반으로 스펙트럼 경계는 어떻게 의존하는가?
• RQ5 실수 계수 잠재력에 대해 이차형식 $ (\mathrm{S}(q)u, u) $ 의 실수부 하한은 무엇이며, 잠재력의 총 변동량에 따라 어떻게 달라지는가?

주요 결과

• 모든 $ q \in H_{\text{unif}}^{-1}(\mathbb{R}) $ 에 대해 연산자 $ \mathrm{S}_0(q) $, $ \mathrm{S}(q) $, $ \mathrm{S}_{\text{fs}}(q) $, $ \mathrm{S}_F(q) $ 는 $ m $-섹터럴이며 일치하며, 문헌에서의 기초적 격차를 해결한다.
• $ \mathrm{S}(q) $ 의 스펙트럼은 매개변수 $ a, b, s $ 를 포함하는 명시적 타원형 영역 $ \mathcal{M}_{a,b,s} \subset \mathbb{C} $ 내에 포함된다.
• 잠재력 $ q = Q' $ 에 대해 $ Q \in \mathrm{BV}_{\text{loc}}(\mathbb{R}) $ 이고 단위 간격에서 $ |q(I)| \leq K_0 $ 이면, 스펙트럼은 $ \left\{ \lambda \in \mathbb{C} \,\middle|\, |\mathrm{Im}\,\lambda| \leq 16K_0(\mathrm{Re}\,\lambda + (8K_0+1)^2)^{1/2} \right\} $ 내에 포함된다.
• 예비 최소 연산자 $ \mathrm{S}_{00}(q) $ 의 수치 범위는 $ K, \varepsilon $ 에 따라 의존하는 명시적 경계를 가진 섹터 $ \mathcal{S}_{K,\varepsilon} $ 내에 포함되며, 이는 섹터성 보장한다.
• 실수 계수 잠재력에 대해 이차형식은 $ K \geq 1/2 $ 이면 $ (\mathrm{S}(q)u, u) \geq -32K^4\|u\|^2 $ 이고, $ K < 1/2 $ 이면 $ \geq -4K\|u\|^2 $ 를 만족한다. 여기서 $ K $ 는 $ Q $ 의 총 변동량을 유계화한다.
• 항상 $ \|q - q_n\|_{H^{-1}(0,1)} \to 0 $ 이면 $ \mathrm{S}(q_n) \to \mathrm{S}(q) $ 가 노름 해석자 수렴함을 보여, 연산자의 근사에 대한 안정성을 확인한다.