[논문 리뷰] Pseudospectra of the Schroedinger operator with a discontinuous complex potential

Raphaël Henry, David Krejčiřı́k|arXiv (Cornell University)|2015. 03. 09.

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

한 줄 요약

이 논문은 $ \mathbb{R} $ 위에서 불연속 허수 잠재력 $ i\,\mathop{\mathrm{sgn}}\nolimits(x) $ 를 가진 슈뢰딩거 연산자의 가짜 스펙트럼 성질을 조사한다. 잠재력이 유계이면서 스펙트럼이 반평면에 놓여 있음에도 불구하고, 해석적 연산자 노름이 무한대에서 폭발하여 매우 비정상적인 가짜 스펙트럼을 유도하며, 이는 작은 외란에 대한 강한 스펙트럼 불안정성을 보여주며, 자기수반 또는 약한 결합 시스템과는 뚜렷한 대비를 이룬다.

ABSTRACT

We study spectral properties of the Schroedinger operator with an imaginary sign potential on the real line. By constructing the resolvent kernel, we show that the pseudospectra of this operator are highly non-trivial, because of a blow-up of the resolvent at infinity. Furthermore, we derive estimates on the location of eigenvalues of the operator perturbed by complex potentials. The overall analysis demonstrates striking differences with respect to the weak-coupling behaviour of the Laplacian.

연구 동기 및 목표

• 비자기수반 슈뢰딩거 연산자에서 불연속 허수 잠재력이 존재할 경우의 스펙트럼 불안정성을 분석하는 것.
• 부드럽지 않은 경우와 본질적 스펙트럼이 존재하는 상황에서의 가짜 스펙트럼의 구조를 조사하는 것.
• 이 연산자와 자기수반 또는 부드러운 비자기수반 연산자의 약한 결합 영역의 행동을 대조하는 것.
• 비르만-슐라이머 원리에 의해 복소 외란 하에서 고유값 위치에 대한 엄밀한 추정을 수립하는 것.
• 유계이자 불연속 잠재력일지라도 스펙트럼 불안정성이 발생할 수 있음을 보여주어 전통적 기대에 도전하는 것.

제안 방법

• 비동차 방정식의 해를 이용하여 $ L^2(\mathbb{R}) $ 위에서 슈뢰딩거 연산자 $ H = -\frac{d^2}{dx^2} + i\,\mathop{\mathrm{sgn}}\nolimits(x) $ 의 해석적 커널을 명시적으로 구성하는 것.
• 가짜 스펙트럼을 정의 $ \sigma_\varepsilon(H) = \{ z \in \mathbb{C} : \|(H - z)^{-1}\| > \varepsilon^{-1} \} $ 를 통해 연산자 노름 $ \|(H - z)^{-1}\| $ 을 분석하여 특성화하는 것.
• 해를 왼쪽과 오른쪽 반직선 성분으로 나누기 위해 $ x = 0 $ 에서 딜리클레 경계 조건을 사용하여 해석적 커널의 명시적 계산을 가능하게 하는 것.
• 비르만-슐라이머 원리를 적용하여 복소 잠재력 $ V \in L^1(\mathbb{R}, (1+x^2)dx) $ 에 대한 고유값 외란을 분석함으로써, 연산자 $ K_z^D = |V|^{1/2}(H^D - z)^{-1}|V|^{1/2} $ 의 힐베르트-슈미트 노름을 분석하는 것.
• 해석적 커널 $ \mathcal{R}_z^D(x,y) $ 에 대한 균일한 경계를 증명하여 $ |\mathcal{R}_z^D(x,y)| \leq C(1 + |x| + |y|) $ 를 보이고, 이는 힐베르트-슈미트 노름의 균일한 유계성을 암시하는 것.
• 연산자 $ H $ 와 그 딜리클레 정규화된 형태인 $ H^D $ 의 가짜 스펙트럼을 비교하여, $ H^D $ 는 비어 있는 가짜 스펙트럼를 가지지만 $ H $ 는 그렇지 않음을 보여주는 것.

실험 결과

연구 질문

• RQ1 불연속 허수 잠재력을 가진 슈뢰딩거 연산자의 가짜 스펙트럼은 자기수반 또는 부드러운 비자기수반 연산자와 어떻게 다를까?
• RQ2 잠재력이 유계이면서 스펙트럼이 반평면에 포함되어 있을 때조차도 스펙트럼 불안정성(가짜 스펙트럼으로 측정됨)이 발생할 수 있는가?
• RQ3 잠재력의 불연속성이 무한대에서 해석적 연산자 노름의 폭발을 유도하여 비정상적인 가짜 스펙트럼을 초래하는 데 어떤 역할을 하는가?
• RQ4 약한 결합 복소 외란이 스펙트럼 외부에 고유값을 생성할 수 있는 정도는 어느 정도이며, 이를 정량화할 수 있는가?
• RQ5 딜리클레 정규화된 형태인 $ H^D $ 는 $ H $ 와 동일한 스펙트럼을 가지지만 비어 있는 가짜 스펙트럼를 가지는 이유는 무엇이며, 이는 경계 조건의 역할에 대해 어떤 시사점을 제공하는가?

주요 결과

• 슈뢰딩거 연산자 $ H = -\frac{d^2}{dx^2} + i\,\mathop{\mathrm{sgn}}\nolimits(x) $ 의 가짜 스펙트럼은 비정상적이며, 스펙트럼 $ \sigma(H) \subset \overline{\mathcal{S}} = [0,\infty) + i(-1,1) $ 의 고정된 이웃 영역 외부에서 해석적 연산자 노름 $ \|(H - z)^{-1}\| $ 이 임의로 커지는 것으로 나타난다.
• 잠재력이 유계이면서 스펙트럼이 반평면에 포함되어 있음에도 불구하고, 무한대에서의 해석적 연산자 노름 폭발으로 인해 스펙트럼 외부로 확장되는 강력한 스펙트럼 불안정성이 존재한다.
• 동일한 스펙트럼 $ \sigma(H^D) = \mathbb{R}_+ + i\{ -1, +1 \} $ 을 가지는 딜리클레 정규화된 연산자 $ H^D $ 는 비어 있는 가짜 스펙트럼를 가지며, 이는 $ H $ 의 비정상적인 가짜 스펙트럼가 $ x = 0 $ 에서 경계 조건이 없기 때문에 발생한다는 것을 강조한다.
• 작은 $ \varepsilon > 0 $ 에 대해, $ V \in L^1(\mathbb{R}, (1+x^2)dx) $ 인 경우의 외란 연산자 $ H^D_\varepsilon = H^D + \varepsilon V $ 는 스펙트럼이 그대로 유지된다: $ \sigma(H^D_\varepsilon) = \mathbb{R}_+ + i\{ -1, +1 \} $, 이는 약한 결합 고유값이 존재하지 않음을 시사한다.
• 비르만-슐라이머 연산자 $ K_z^D $ 의 힐베르트-슈미트 노름은 균일하게 유계이다: $ \|K_z^D\|_{\mathrm{HS}} \leq C \int_{\mathbb{R}} (1+x^2)|V(x)|\,dx $, 이는 다항식 가중치를 가진 작은 $ L^1 $-외란 하에서 스펙트럼의 안정성을 보장한다.
• 이 결과는 비자기수반 연산자에 대해 하디 부등식의 비정상적 일반화를 확립하며, 딜리클레 정규화된 경우에 허구적 유한 상태(즉, 약한 결합 고유값)가 발생하지 않음을 보여준다.