[논문 리뷰] On local perturbations of Shrodinger operator in axis

R. R. Gadyl’shin|ArXiv.org|2002. 02. 11.

Spectral Theory in Mathematical Physics인용 수 7

한 줄 요약

이 논문은 스펙트럼 매개변수 $ \lambda = -k^2 $ 와 관련된 복소 주파수 매개변수 $ k $ 를 사용하여, 실수축 위의 1차원 슈뢰딩거 연산자에 대한 소규모 국소적 교란 하에서 고유값이 나타나는 데 필요한 필수조건과 충분조건을 확립한다. 주요 결과는 고유값이 존재하기 위한 조건이 교란에 의해 유도된 해석적 함수의 극점이 오른쪽 반평면 $ \mathrm{Re}\,k > 0 $ 으로 이동할 때에만 성립하며, 교란 연산자에 대한 고유값과 고유함수의 명시적 점근 공식을 도출한다.

ABSTRACT

We adduce the necessary and sufficient condition for arising of eigenvalues of Shrodinger operator in axis under small local perturbations. In the case of eigenvalues arising we construct their asymptotics.

연구 동기 및 목표

• 실수축 위의 슈뢰딩거 연산자 $ H_0 = -d^2/dx^2 $ 에 대한 소규모 국소적 교란이 이산 고유값을 생성할 수 있는 정확한 조건을 규명하는 것.
• 스펙트럼 매개변수 $ \lambda = -k^2 $ 와 관련된 복소 주파수 매개변수 $ k $ 를 기반으로 한 새로운 분석적 프레임워크를 개발하여 교란된 연산자의 스펙트럼 행동을 연구하는 것.
• 소규모 교란의 극한에서 고유값과 관련된 고유함수에 대한 명시적 점근 전개를 유도하는 것.
• 이전에 실수값 잠재력에 대해서만 유효했던 결과를 복소수 잠재력으로 일반화하여, 평균 잠재력이 0임에도 불구하고 고유값이 나타날 수 있는 비직관적인 행동을 드러내는 것.

제안 방법

• 스펙트럼 매개변수 $ \lambda = -k^2 $ 와 관련된 복소 주파수 매개변수 $ k $ 를 도입하여, 전체 복소평면으로의 해의 해석 continuation 을 가능하게 한다.
• 해석적 연산자 $ A(k)g = -\frac{1}{2k}\int e^{-k|x-t|}g(t)dt $ 를 정의하여, $ L_2(\mathbb{R};Q) $ 에서 $ W^{2}_{2,loc}(\mathbb{R}) $ 로 사상하는 리졸베이트 연산자로 사용한다.
• 교란의 구조를 포함하는 연산자 $ T_\varepsilon^{(0)}(k) = \mathcal{L}_\varepsilon[A(k)g] + \frac{\langle g\rangle}{2k}\mathcal{L}_\varepsilon[1] $ 를 구성한다.
• 복소수 $ \varepsilon $ 가 작을 때 $ k $ 에 대해 해석적인 연산자 $ S_\varepsilon(k) = (I + \varepsilon T_\varepsilon^{(0)}(k))^{-1} $ 를 정의하고, 고유값 조건 $ k - \frac{\varepsilon}{2}\langle S_\varepsilon(k)\mathcal{L}_\varepsilon[1]\rangle = 0 $ 을 유도하는 데 사용한다.
• 이 방정식의 해 $ k_\varepsilon $ 의 위치를 분석한다: $ \mathrm{Re}\,k_\varepsilon > 0 $ 이면 고유값 $ \lambda_\varepsilon = -k_\varepsilon^2 $ 가 존재한다.
• 고유함수를 $ \phi_\varepsilon = A(k_\varepsilon)S_\varepsilon(k_\varepsilon)\mathcal{L}_\varepsilon[1] $ 로 표현하여, 교란과 리졸베이트의 구조와 직접 연결한다.

실험 결과

연구 질문

• RQ1 실수축 위의 슈뢰딩거 연산자 $ H_0 = -d^2/dx^2 $ 에 대한 소규모 국소적 교란이 이산 고유값을 생성할 조건은 무엇인가?
• RQ2 스펙트럼 매개변수 $ \lambda = -k^2 $ 와 관련된 복소 주파수 매개변수 $ k $ 는 정규 교란 하에서 고유값 발생 현상을 더 깊이 이해하는 데 어떻게 기여하는가?
• RQ3 왜 평균 잠재력이 0인 교란에서도 고유값이 나타날 수 있는가? 이는 고전적 기대와 반대되는 현상이다.
• RQ4 소규모 교란의 극한 $ \varepsilon \to 0 $ 에서 고유값 $ \lambda_\varepsilon $ 와 그에 관련된 고유함수 $ \phi_\varepsilon $ 의 정확한 점근 행동은 무엇인가?
• RQ5 교란의 부호와 복소수 성격은 고유값의 존재성과 위치에 어떤 영향을 미치는가?

주요 결과

• 교란된 슈뢰딩거 연산자 $ H_\varepsilon $ 에 고유값이 존재하기 위한 필요충분조건은 방정식 $ k - \frac{\varepsilon}{2}\langle S_\varepsilon(k)\mathcal{L}_\varepsilon[1]\rangle = 0 $ 의 해 $ k_\varepsilon $ 가 $ \mathrm{Re}\,k_\varepsilon > 0 $ 를 만족할 때이다.
• 고유값은 $ \lambda_\varepsilon = -k_\varepsilon^2 $ 의 점근 형태를 가지며, 여기서 $ k_\varepsilon = \varepsilon \frac{1}{2}(m_\varepsilon^{(1)} + \varepsilon m_\varepsilon^{(2)} + O(\varepsilon^2)) $ 이고, $ m_\varepsilon^{(1)} = \langle \mathcal{L}_\varepsilon[1] \rangle $ 이며 $ m_\varepsilon^{(2)} $ 는 교란 커널에 대한 이重적분을 포함한다.
• 복소수 잠재력 $ V $ 에 대해 $ \langle V \rangle = 0 $ 이라는 조건은 고유값이 존재하지 않는다는 것을 보장하지 못한다; $ m_\varepsilon^{(2)} $ 의 실수부가 음수일 수 있지만, $ \mathrm{Re}\,k_\varepsilon > 0 $ 이면 여전히 고유값이 존재할 수 있다.
• 잠재력 $ V_{\varepsilon} = \exp(i\varepsilon^{-1})V $ 이고 $ \langle V \rangle > 0 $ 인 경우, 특정 $ \varepsilon $-구간에서 고유값이 존재하며, 점근형은 $ \lambda_\varepsilon = -\left(\varepsilon \cos(1/\varepsilon)\right)^2 \frac{1}{4}\langle V \rangle^2 + O(\varepsilon^3) $ 로 주어진다.
• 비국소적 교란 $ \mathcal{L}_\varepsilon[g] = \varkappa(Q)\langle \rho g \rangle $ 에서는 $ \mathrm{Re}\langle \rho \rangle > 0 $ 이면 고유값이 존재하며, 점근형은 $ \lambda_\varepsilon = -\varepsilon^2 \frac{1}{4}(|Q|\langle \rho \rangle)^2 + O(\varepsilon^3) $ 이다.
• 교란이 $ \mathcal{L}_\varepsilon[g] = \varkappa(Q)\int_{-\infty}^x \rho(t)g(t)dt $ 로 주어질 경우, 고유값이 존재하기 위한 조건은 $ |Q|\langle \rho \rangle - \langle x\rho \rangle > 0 $ 이며, 점근형은 $ k_\varepsilon = \varepsilon \frac{1}{2}( |Q|\langle \rho \rangle - \langle x\rho \rangle ) + O(\varepsilon^2) $ 로 주어진다.