[논문 리뷰] Eigenvalue upper bounds for the magnetic Schroedinger operator

Bruno Colbois, Ahmad El Soufi외 2명|arXiv (Cornell University)|2017. 09. 27.

Spectral Theory in Mathematical Physics참고 문헌 16인용 수 5

한 줄 요약

이 논문은 콪 pact Riemann 다성분에서 자기장 슈뢰딩거 연산자 $H_{A,q}$의 고유값에 대한 날카운 상계를 구축한다. 이는 다성분의 기하학—특히 coexact 1-forms 위에서의 Hodge-de Rham 라플라스 연산자의 첫 번째 고유값 $ olambda_{1,1}^{\prime\prime}(M)$—과 잠재력의 $L^2$-노름 및 평균값을 고려하여 이루어진다. 핵심 결과는 고유값 상계가 자기장 강도, 스칼라 잠재력, 그리고 자기장 잠재력이 정수 코homology 클래스로부터의 거리에 따라 달라진다는 것이다.

ABSTRACT

We study the eigenvalues of the magnetic Schroedinger operator associated with a magnetic potential A and a scalar potential q, on a compact Riemannian manifold M, with Neumann boundary conditions if the boundary is not empty. We obtain several bounds for the spectrum. Besides the dimension and the volume of the manifold, the geometric quantity which plays an important role in these estimates is the first eigenvalue of the Hodge-de Rham Laplacian acting on co-exact 1-forms. In the 2-dimensional case, this is nothing but the first positive eigenvalue of the Laplacian acting on functions. As for the dependence of the bounds on the potentials, it brings into play the mean value of the scalar potential q, the L^2-norm of the magnetic field B=dA, and the distance, taken in L^2, between the harmonic component of A and the subspace of all closed 1-forms whose cohomology class is integral (that is, having integral flux around any loop). In particular, this distance is zero when the first cohomology group is trivial.

연구 동기 및 목표

• Neumann 경계 조건을 갖는 콤팩트 Riemann 다성분에서 자기장 슈뢰딩거 연산자 $H_{A,q}$의 고유값에 대한 상계를 유도하기 위해.
• 자기장 잠재력 $A$, 스칼라 잠재력 $q$, 그리고 다성분의 기하학이 $H_{A,q}$의 스펙트럼에 미치는 영향을 정량화하기 위해.
• $\lambda_{1,1}^{\prime\prime}(M)$, 즉 coexact 1-forms 위에서의 Hodge-de Rham 라플라스 연산자의 첫 번째 고유값을 고유값 추정에서 중심적인 기하학적 매개변수로 식별하기 위해.
• 자기장 잠재력 $A$가 닫혀 있을 경우(즉, 자기장이 0)에 날카운 상계를 확립하기 위해, 특히 첫 번째 고유값이 조화 1-forms의 정수 라티스로부터의 거리와 관련되어 있음을 밝혀내기 위해.

제안 방법

• Rayleigh 몫 $R_{A,q}(u) = \frac{\int_M (|\nabla^A u|^2 + q|u|^2)\, dv}{\|u\|^2}$ 을 통한 고유값의 변분 특성화를 활용한다.
• 자기장 문제를 표준 슈뢰딩거 연산자로 줄이기 위해 부등식 $\lambda_k(H_{A,q}) \leq \lambda_k(\Delta + |A|^2 + q)$ 를 적용한다.
• 핵심 스펙트럼 제어 매개변수로 $\Gamma(M,A,q) = \frac{1}{|M|}\left( d(h,\mathcal{L}_\mathbb{Z})^2 + \frac{\|B\|^2}{\lambda_{1,1}^{\prime\prime}(M)} + \int_M q\, dv \right)$ 를 도입한다.
• 1-forms의 Hodge 분해를 활용하여 $A$의 조화, 정확, coexact 성분을 분리하고, $\lambda_{1,1}^{\prime\prime}(M)$ 을 통한 coexact 부분에 초점을 맞춘다.
• Weyl 유형의 渐近 추정과 Riesz 평균을 사용하여 고유값의 합과 추적에 대한 상계를 유도한다.
• 효과 잠재력 $|A|^2 + q$ 에 대해 [13]의 결과를 적용하여 슈뢰딩거 연산자에 대한 고유값 추정에 활용한다.

실험 결과

연구 질문

• RQ1 자기장 슈뢰딩거 연산자 $H_{A,q}$의 고유값은 다성분의 기하학, 특히 $\lambda_{1,1}^{\prime\prime}(M)$ 을 통해 어떻게 의존하는가?
• RQ2 자기장 $B = dA$ 는 $H_{A,q}$의 스펙트럼을 제약하는 데 어떤 역할을 하는가?
• RQ3 자기장 잠재력 $A$ 가 조화 1-forms의 정수 플럭스 라티스로부터의 거리가 첫 번째 고유값 $\lambda_1(H_{A,q})$ 에 영향을 주는가?
• RQ4 기하학적 및 잠재력 매개변수에 대해 $\lambda_k(H_{A,q})$ 에 대한 날카운 상계를 확보할 수 있는가?
• RQ5 이 상계는 $H_{A,q}$의 Riesz 평균과 열핵 추적에 어떤 함의를 갖는가?

주요 결과

• 고유값 $\lambda_k(H_{A,q})$ 는 $\lambda_k(\Delta + |A|^2 + q)$ 에 의해 상한으로 제한되며, 이는 표준 슈뢰딩거 연산자에 알려진 상한을 자기장 경우로 이전할 수 있음을 허용한다.
• 기하학적 매개변수인 $\lambda_{1,1}^{\prime\prime}(M)$, 즉 coexact 1-forms 위에서의 Hodge-de Rham 라플라스 연산자의 첫 번째 고유값은 유도된 모든 상한에서 중심적인 역할을 한다.
• 유계 영역 $\Omega \subset \mathbb{R}^n$ 에서 첫 $k$ 개 고유값의 합은 $\frac{1}{k}\sum_{j=1}^k \lambda_j(H_{A,q}) \leq \frac{n}{n+2}\mathcal{W}_n\left(\frac{k-1}{|\Omega|}\right)^{2/n} + \Gamma(\Omega,A,q)$ 를 만족하며, 여기서 $\Gamma$ 는 잠재력과 필드 노름을 통합한다.
• 열핵 추적은 $\sum_{j\geq 1} e^{-t\lambda_j(H_{A,q})} \geq \frac{|\Omega|}{(4\pi t)^{n/2}} e^{-t\Gamma(\Omega,A,q)}$ 를 만족하며, 이는 $\Gamma$ 에 의해 제어되는 지수적 감쇠를 보여준다.
• 자기장 잠재력 $A$ 가 닫혀 있을 경우(즉, $B=0$), 첫 번째 고유값은 $\lambda_1(H_{A,q}) \leq \Gamma(\Omega,A,q)$ 를 만족하며, $A$ 가 정수 코homology 라티스로부터 거리가 0일 경우 등호가 성립할 수 있다.
• 성분 수 $\gamma \geq 2$ 인 콤팩트 온리언트 표면에서 $\lambda_k(H_{A,q})|M| \leq ak + b\gamma + c\Gamma(M,A,q)$ 를 만족하며, 여기서 $a,b,c$ 는 일반 상수이며, 고유값이 성분 수와 잠재력 기하학과 연결됨을 보여준다.