[논문 리뷰] On the minimax principle for Coulomb-Dirac operators

S. V. Morozov, David Müller|arXiv (Cornell University)|2014. 01. 23.

Spectral Theory in Mathematical Physics참고 문헌 10인용 수 6

한 줄 요약

이 논문은 대칭 세미선형 형식의 형식 섭동으로 정의된 자기수반 연산자의 스펙트럼 간극 내 고유값에 대한 일반적인 최소최대 원리를 수립한다. 이 추상적 결과를 삼차원 디랙 연산자와 강한 쿠론트 포텐셜에 적용하여, $ V \notin \bar{\frak{P}}_{\text{core}} $ 인 경우에도 에스테반–세레 및 탈만–다타–데바야흐 최소최대 특성화를 엄밀히 정당화하며, 형식 도메인 분석과 수렴 추론을 통해 $ V \notin \bar{\frak{P}}_{\text{core}} $, 특히 $ V \notin \bar{\frak{P}}_1 $ 에까지 유효성을 확장한다.

ABSTRACT

Let q and v be symmetric sesquilinear forms such that v is a form perturbation of q. Then we can associate a unique self-adjoint operator B to q+ v. Assuming that B has a gap (a, b) in the essential spectrum, we prove a minimax principle for the eigenvalues of B in (a, b) using a suitable orthogonal decomposition of the domain of q. This allows us to justify two minimax characterisations of eigenvalues in the gap of three-dimensional Dirac operators with electrostatic potentials having strong Coulomb singularities.

연구 동기 및 목표

• 스펙트럼 간극 내 고유값에 대한 일반적인 최소최대 원리를, 대칭 세미선형 형식의 형식 섭동으로 정의된 자기수반 연산자에 대해 수립하기.
• 강한 쿠론트 포텐셜을 가진 디랙 연산자에 대한 에스테반–세레 및 탈만–다타–데바야흐 최소최대 특성화의 유효성에 대한 격차를 해결하기.
• 특히 $ V \notin \bar{\frak{P}}_1 $ 인 경우, $ (-1,1) $ 간극 내 고유값의 최소최대 특성화를 직접 형식 도메인 내에서 정당화하기.
• 이전 증명이 $ C_0^\flat $-밀도에 의존하는 한계를 극복하기 위해 형식 기반 접근법을 사용하여, $ \tilde{\nu} \neq 1 $ 인 $ V \notin \bar{\frak{P}}_{\tilde{\nu}} $ 에서만 성립하던 조건을 넘어서기.

제안 방법

• 자기수반 연산자 $ B = q + v $ 에 대해, $ v $ 가 대칭 세미선형 형식 $ q $ 의 형식 섭동이며, $ B $ 가 본질 스펙트럼 내에 간극 $ (a,b) $ 를 가진다는 가정 하에, 일반적인 최소최대 원리를 개발한다.
• 형식 $ q $ 의 도메인에 대한 직교 분해를 사용하여, 비어 있는 연산자와 섭동된 연산자의 이차형식 $ h_0 $ 과 $ v $ 를 포함하는 최소최대 공식을 통해 $ (a,b) $ 내 고유값을 특성화한다.
• 이 추상 결과를 디랙 연산자 $ H = H_0 + V $ 에 적용하며, $ H_0 $ 은 자유 디랙 연산자이고 $ V \notin \bar{\frak{P}}_1 $ 이다. 이때 $ \frak{H}^{1/2} $-소볼레프 공간 도메인 내에서 작업한다.
• 수렴 추론과 카토 부등식을 사용하여, 형식 $ g_{\nu,\nu} $ 가 $ \frak{D}_+ $ 에서 비음성임을 보이고, 최소최대 원리의 타당성을 확보한다.
• 자기수반 연산자 $ H_0 $ 의 스펙트럼 프로젝터 $ P_\nu $ 를 사용하여, 이전의 $ C_0^\flat $-밀도 하위공간에 의존하는 것 대신, $ P_+ \frak{H}^{1/2} $ 를 하위공간으로 정의한다.
• 강한 연산자 위상에서 $ (C_{\nu,\nu} - C_{\nu,0}) \to 0 $ 이 수렴함을 증명하여, $ \nu \to 0 $ 으로의 극한으로의 전이를 가능하게 한다.

실험 결과

연구 질문

• RQ1 자기수반 디랙 연산자 스펙트럼 간극 $(-1,1)$ 내 고유값에 대한 에스테반–세레 최소최대 특성화가, 이전에 알려진 $ V \notin \bar{\frak{P}}_\nu $ ($ \nu < 1 $) 를 초월하여 $ V \notin \bar{\frak{P}}_1 $ 인 경우에도 엄밀히 정당화될 수 있는가?
• RQ2 특히 $ C_0^\flat $-핵 조건이 실패할 경우, 탈만–다타–데바야흐 최소최대 원리가 $ V \notin \bar{\frak{P}}_1 $ 에서도 성립하는가?
• RQ3 연산자 핵에 의존하지 않고, 오직 형식 도메인 기반 기법만을 사용하여 스펙트럼 간극 내 고유값에 대한 일반적인 최소최대 원리를 제시하고 증명할 수 있는가?
• RQ4 $ \frak{H}^{1/2} $-소볼레프 공간은 쿠론트 특이성을 가진 디랙 연산자에 대한 고유값의 변분 특성화에서 어떤 역할을 하는가?
• RQ5 수렴이 $ \nu \to 0 $ 으로 갈 때, 고유값의 최소최대 수준이 연속성을 유지하기 위해, 고유값의 수렴과 이차형식의 수렴을 어떻게 확립할 수 있는가?

주요 결과

• 자기수반 연산자 $ B = q + v $ 에 대해, $ v $ 가 형식 섭동이고 $ B $ 가 간극 $ (a,b) $ 를 가진다는 조건 하에, 형식 $ q $ 의 도메인에 대한 직교 분해를 사용하여 일반적인 최소최대 원리를 수립하였다.
• 에스테반–세레 최소최대 특성화는 이전에 $ V \notin \bar{\frak{P}}_\nu $ ($ \nu \neq 1 $) 에서만 성립했던 것을, $ V \notin \bar{\frak{P}}_1 $ 전역으로 확장하여 엄밀히 정당화하였다.
• 탈만–다타–데바야흐 최소최대 원리는 $ V \notin \bar{\frak{P}}_{2/(2/\nu + \nu/2)} $ 에 대해 검증되었으며, 이는 $ V \notin \bar{\frak{P}}_{\text{core}} $ 를 포함한다. 이는 $ \frak{D}_+ $ 에서 형식 $ g_{\nu,0} $ 의 비음성성을 증명함으로써 이루어졌다.
• 이전의 $ C_0^\flat $-밀도에 의존하는 증명 방식을 피하기 위해, $ V \notin \bar{\frak{P}}_1 $ 일 때 $ H $ 의 형식 도메인으로서 적절한 $ \frak{H}^{1/2} $-소볼레프 공간 내에서 직접 작업하였다.
• $ \nu \to 0 $ 으로의 극한에서 강한 연산자 위상에서 $ (C_{\nu,\nu} - C_{\nu,0}) \to 0 $ 이 수렴함을 증명하여, 최소최대 수준의 연속성을 확보하였다.
• $ \frak{D}_+ $ 에서 $ g_{\nu,0} $ 의 비음성은 카토 부등식과 점근 수렴 정리에 의해 증명되었으며, 이는 $ V \notin \bar{\frak{P}}_1 $ 인 경우 최소최대 원리의 타당성을 확인한다.