[논문 리뷰] Accuracy on eigenvalues for a Schrodinger operator with a degenerate potential in the semi-classical limit

Abderemane Morame, Françoise Truc|ArXiv.org|2006. 06. 09.

Spectral Theory in Mathematical Physics참고 문헌 27인용 수 4

한 줄 요약

이 논문은 비퇴화 최소값을 가진 $ f $ 와 차수 $ a > 0 $ 인 동차 함수인 $ g $ 를 가진 열악한 잠재력 $ V(x,y) = f(x)g(y) $ 를 갖는 반고전적 슈뢰딩거 연산자의 낮은 고유값에 대해 날카운 점근 전개를 수립한다. 보른-오펜하이머 근사의 정밀화와 준해(Quasimode) 구성 기법을 통해 $ \mathcal{O}(\hslash^2) $ 까지 정밀한 고유값 전개를 도출하며, 고유값과 관련된 준해에 대한 완전한 점근 급수를 제공한다.

ABSTRACT

We consider a semi-classical Schrodinger operator with a degenerate potential V(x,y) =f(x) g(y) . g is assumed to be a homogeneous positive function of m variables and f is a strictly positive function of n variables, with a strict minimum. We give sharp asymptotic behaviour of low eigenvalues bounded by some power of the parameter h, by improving Born-Oppenheimer approximation.

연구 동기 및 목표

• 반고전적 극한에서 열악한 잠재력 $ V(x,y) = f(x)g(y) $ 를 갖는 슈뢰딩거 연산자의 낮은 고유값의 점근적 행동을 분석한다. 여기서 $ f $ 는 비퇴화 최소값을 가지며, $ g $ 는 동차 함수이다.
• 스펙트럼의 저부 근처 고유값에 대해 보른-오펜하이머 근사를 개선하여 날카운 고유값 전개를 도출한다.
• 낮은 고유값에 관련된 고유함수의 정확한 점근적 구조를 반영하는 준해를 구성한다.
• 반고전적 매개변수 $ \hslash = h^{2/(2+a)} $ 를 기준으로 한 고유값에 대한 완전한 점근 전개를 수립하며, 고차항 보정 항까지 포함한다.

제안 방법

• 반고전적 매개변수 $ \hslash = h^{2/(2+a)} $ 를 도입하고, 연산자 $ \widehat{H}^{\hslash} = \hslash^2 D_x^2 + D_y^2 + f(x)g(y) $ 로 변환하여 $ g $ 의 동차성의 특성을 활용한다.
• 문제를 연속적인 연산자 가닥 $ Q_x(y,D_y) = D_y^2 + f(x)g(y) $ 로 분해하며, 이들의 최소 고유값은 $ \lambda_1(x) = \mu_1 f^{2/(2+a)}(x) $ 로 주어지며, 여기서 $ \mu_1 $ 은 $ D_y^2 + g(y) $ 의 기본 상태 에너지이다.
• 보른-오펜하이머 근사를 적용하여 $ \lambda_1(x) $ 를 $ x $ 자유도에 대한 효과적 잠재력으로 간주하고, 효과적 슈뢰딩거 연산자 $ \hslash^2 D_x^2 + \mu_1 f^{2/(2+a)}(x) $ 를 유도한다.
• 형태 $ \phi_k^\hslash \sim \hslash^{-m_k} e^{-\psi(x)/\hslash} \sum_{j \geq 0} \hslash^{j/2} a_{kj}(x,y) $ 의 준해를 구성하며, 여기서 $ \psi(x) $ 는 효과적 잠재력과 관련된 아그몬 거리이다.
• 최소점 근처에서 $ x $ 와 $ y $ 를 분리하기 위해 변수변환 $ y \to f^{1/(2+a)}(x) y $ 를 사용하여 국소적 분석을 가능하게 한다.
• 특정 좌표계에서 $ x=0 $ 근처의 세밀한 스펙트럼 분석을 수행하며, 딜리클레 절단을 도입하고, 축소된 연산자 $ H^{h_j}_0 $ 에 대한 근사 고유함수를 구성함으로써 완전한 점근 전개를 이끌어낸다.

실험 결과

연구 질문

• RQ1 반고전적 극한에서 열악한 잠재력 $ V(x,y) = f(x)g(y) $ 를 갖는 슈뢰딩거 연산자의 낮은 고유값은 어떻게 행동하는가?
• RQ2 이러한 시스템에서 보른-오펜하이머 근사를 $ \mathcal{O}(\hslash^2) $ 초과하는 날카운 고유값 전개로 개선할 수 있는가?
• RQ3 관련 고유함수의 정확한 구조는 무엇이며, 그 점근적 행동을 반영하는 준해를 구성할 수 있는가?
• RQ4 고유값 보정 항은 잠재력 $ g(y) $ 의 동차도 수준 $ a $ 에 따라 어떻게 의존하는가? 또한 $ f $ 의 최소점에서의 헤시안 행렬은 어떤 역할을 하는가?
• RQ5 고유값에 대한 완전한 점근 전개를 유도할 수 있으며, 이는 $ \hslash $ 의 고차항까지 포함하는가? 그리고 관련 준해의 형태는 어떠한가?

주요 결과

• 연산자 $ \widehat{H}^{\hslash} $ 의 고유값 $ E_k(\hslash) $ 는 점근 전개 $ E_k(\hslash) \sim \mu_1 + \hslash e_k + \sum_{j \geq 1} \alpha_{kj} \hslash^{j/2} $ 를 갖는다. 여기서 $ e_k $ 는 효과적 연산자 $ D_x^2 + \frac{\mu_1}{2+a} \langle \partial^2 f(0) x, x \rangle $ 의 고유값이다.
• 기본 상태($ k=1 $) 에서는 비퇴화성과 대칭성 덕분에 고유값 전개의 오차가 $ \mathcal{O}(\hslash^{3/2}) $ 가 아니라 $ \mathcal{O}(\hslash^2) $ 로 향상된다.
• 형태 $ \hslash^{-m_k} e^{-\psi(x)/\hslash} \sum_{j \geq 0} \hslash^{j/2} a_{kj}(x,y) $ 의 준해 $ \phi_k^\hslash $ 가 존재하며, $ \| (\widehat{H}^{\hslash} - E_k(\hslash)) \phi_k^\hslash \| \leq C_J \hslash^{(J+1)/2} $ 를 만족함으로써 점근 전개의 타당성을 확인한다.
• 고유값 $ \lambda_k(\widehat{H}^{\hslash}) $ 는 $ \lambda_k(\widehat{H}^{\hslash}) = \mu_1 + \hslash \lambda_k( D_x^2 + \frac{\mu_1}{2+a} \langle \partial^2 f(0) x, x \rangle ) + \mathcal{O}(\hslash^{3/2}) $ 를 만족하며, $ k=1 $ 에서는 $ \mathcal{O}(\hslash^2) $ 이다.
• 지역 모델에서 고유값에 대해 완전한 점근 전개 $ \lambda^{h}_{j\alpha} \sim h^{2m/(m+1)} \sum_{k=0}^{\infty} c_{j\ell k\alpha} h^{k/(m+1)} $ 가 유도되었으며, $ j $ 가 유계일 때 성립한다.
• 관련 준해는 $ u^{h}_{j\ell\alpha} \sim c(h) e^{-\psi(x)/h^{1/(m+1)}} \chi_0(t/\epsilon_0) \sum_{k=0}^{\infty} h^{k/(2m+2)} a_{j\ell k\alpha}(x) \phi_{jk}(t/h^{1/(m+1)}) $ 와 같은 정밀한 형태를 가지며, 올바른 척도와 구조를 반영한다.