[논문 리뷰] Analysis of Schrödinger operators with inverse square potentials I: regularity results in 3D

Eugénie Hunsicker, Hengguang Li외 2명|arXiv (Cornell University)|2012. 05. 09.

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

한 줄 요약

이 논문은 3차원에서 역제곱 포텐셜을 가진 슈뢰딩거 연산자에 대한 고유함수의 정칙성과 감쇠 성질을 가중 칸토르 공간과 반경 방향 컴actification을 사용하여 수립한다. 고유함수들이 가중 공간에서 매끄럽고 적절한 조건 하에 무한대에서 지수 감쇠를 보임을 증명하며, 유한요소법과 확장된 평면파와 같은 수치적 방법의 엄밀한 오차 추정에 기여한다.

ABSTRACT

Let $V$ be a potential on $\RR^3$ that is smooth everywhere except at a discrete set $\maS$ of points, where it has singularities of the form $Z/ρ^2$, with $ρ(x) = |x - p|$ for $x$ close to $p$ and $Z$ continuous on $\RR^3$ with $Z(p) > -1/4$ for $p \in \maS$. Also assume that $ρ$ and $Z$ are smooth outside $\maS$ and $Z$ is smooth in polar coordinates around each singular point. We either assume that $V$ is periodic or that the set $\maS$ is finite and $V$ extends to a smooth function on the radial compactification of $\RR^3$ that is bounded outside a compact set containing $\maS$. In the periodic case, we let $Λ$ be the periodicity lattice and define $\TT := \RR^3/ Λ$. We obtain regularity results in weighted Sobolev space for the eigenfunctions of the Schrödinger-type operator $H = -Δ+ V$ acting on $L^2(\TT)$, as well as for the induced $\vt k$--Hamiltonians $\Hk$ obtained by restricting the action of $H$ to Bloch waves. Under some additional assumptions, we extend these regularity and solvability results to the non-periodic case. We sketch some applications to approximation of eigenfunctions and eigenvalues that will be studied in more detail in a second paper.

연구 동기 및 목표

• 3차원에서 역제곱 특이성을 가진 슈뢰딩거 연산자 고유함수에 대한 엄밀한 정칙성 결과를 수립하는 것.
• 이러한 결과를 주기적 및 비주기적 설정으로 확장하여, R^3의 반경 방향 컴actification을 포함하는 것.
• 유한요소법과 확장된 평면파와 같은 수치적 근사 방법의 이론적 기초를 제공하는 것.
• 비콤팩트 경우에서 슈뢰딩거 방정식의 본질적 스펙트럼과 해의 존재성을 규명하는 것.
• 지수 가중 함수를 사용하여 고유함수와 슈뢰딩거 방정식의 해가 무한대에서 감쇠 추정을 도출하는 것.

제안 방법

• 역제곱 특이성 근처의 정칙성 분석을 위해 반경 방향 컴actification $\overline{\mathbb{R}^3_{rad}}$ 상에서의 가중 칸토르 공간 $\mathcal{K}_a^m$ 의 사용.
• 특이점들을 2차원 구로 대체함으로써 비콤팩트 문제를 경계가 있는 콤팩트 문제로 변환하기 위해 반경 방향 컴actification의 적용.
• $\rho$를 특이점에서 0이 되는 반경 함수로 정의하고 $Z = \rho^2 V$ 를 정의하여, 역제곱 특이성을 콤팩트 공간 상의 매끄러운 포텐셜로 흠집 처리하는 것.
• 비콤팩트 경우에서의 역행성과 스펙트럼 성질 분석을 위해 프레드홀름 이론과 SG 미적분의 적응.
• 비콤팩트 영역 외부에서 $r(x) = |x|$ 인 지수 가중 함수 $e^{\epsilon r}$ 를 사용하여 고유함수의 감쇠 추정을 유도하는 것.
• 변형된 연산자 $e^{\epsilon r} H_{\mathbf{k}} e^{-\epsilon r}$ 의 연속성과 편미분 방법을 적용하여 가중 지수 공간에서의 역행성 증명.

실험 결과

연구 질문

• RQ1 역제곱 포텐셜을 가진 슈뢰딩거 연산자 고유함수는 가중 칸토르 공간에서 특이점 근처에서 어떻게 행동하는가?
• RQ2 유한 개의 역제곱 특이성을 가진 비콤팩트 경우에서 $H = -\Delta + V$ 의 본질적 스펙트럼의 구조는 어떠한가?
• RQ3 $ (C + H_{\mathbf{k}})u = f $ 의 해가 정칙성을 유지하고 무한대에서 감쇠하는 조건은 무엇인가?
• RQ4 고유함수의 정칙성과 감쇠 성질을 어떻게 활용하여 유한요소법의 오차 추정을 도출할 수 있는가?
• RQ5 주기적 시스템에 대한 결과가 유한 개의 특이성과 무한대에서 유계 포텐셜을 가진 비주기적 경우로 얼마나 넓게 확장될 수 있는가?

주요 결과

• $H_{\mathbf{k}}$ 의 고유함수는 주어진 $V$ 에 대한 조건 하에서 3차 토러스 $\mathbb{T} = \mathbb{R}^3 / \Lambda$ 상에서 가중 칸토르 공간 $\mathcal{K}_a^m$ 에 속한다.
• 비콤팩트 슈뢰딩거 연산자 $H$ 의 본질적 스펙트럼은 $\sigma_e(H) = [b_e, \infty)$ 로 특징지어지며, 여기서 $b_e$ 는 무한대에서 $V$ 의 하한이다.
• $\lambda < b_e$ 인 경우, $C > C_0$ 일 때 $C + H_{\mathbf{k}}$ 는 가중 칸토르 공간에서 역행성 존재를 보이며, $C_0$ 는 명시적으로 유계이다.
• $H_{\mathbf{k}}$ 의 고유함수 $u$ 는 충분히 작은 $\epsilon > 0$ 에 대해 $e^{\epsilon r} u \in \mathcal{K}_\nu^m(\overline{(\mathbb{R}^3 \setminus \mathcal{S})_{rad}})$ 를 만족하며, 이는 무한대에서의 지수 감쇠를 의미한다.
• $C + H_{\mathbf{k}}$ 는 동일한 역행성 조건 하에 작은 $|\epsilon|$ 과 $|a|$ 에 대해 지수 가중 공간 $e^{\epsilon r} \mathcal{K}_{a+1}^m$ 에서도 여전히 역행성 존재를 보인다.
• 격자 메esh와 확장된 평면파를 사용한 수치적 시험은 이론적 오차 추정을 확인하며, 실용적 계산을 위한 이론적 프레임워크의 타당성을 검증한다.