[논문 리뷰] The Morse and Maslov Indices for Schrödinger Operators

Yuri Latushkin, Alim Sukhtayev외 1명|arXiv (Cornell University)|2014. 11. 06.

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

한 줄 요약

이 논문은 스미스-스모락 인덱스 정리의 다차원 일반화를 제시하며, 심플렉틱 힐버트 공간에서의 추상 경계값을 통한 연결을 통해 주기적 및 준주기적 경계 조건을 갖는 슈뢰딩거 연산자에 대해 모어스 인덱스(음의 고유값 수)와 매스лов 인덱스를 연결한다. 추상 경계값을 기반으로 한 함수해석학적 프레임워크를 통해 약한 해와 추적 연산자와 관련된 기술적 난이도를 피하면서, 불안정한 고유값과 라그랑주 그라스만이안 내의 공액점 사이의 직접적 대응을 유도한다.

ABSTRACT

We study the spectrum of Schrödinger operators with matrix valued potentials utilizing tools from infinite dimensional symplectic geometry. Using the spaces of abstract boundary values, we derive relations between the Morse and Maslov indices for a family of operators on a Hilbert space obtained by perturbing a given self-adjoint operator by a smooth family of bounded self-adjoint operators. The abstract results are applied to the Schrödinger operators with quasi-periodic, Dirichlet and Neumann boundary conditions. In particular, we derive an analogue of the Morse-Smale Index Theorem for the multidimensional Schrödinger operators with periodic potentials. For quasi convex domains in $\mathbb{R}^n$ we recast the results connecting the Morse and Maslov indices using the Dirichlet and Neumann traces on the boundary of the domain.

연구 동기 및 목표

• 기존의 모어스-스모락 인덱스 정리를 주기적 및 준주기적 경계 조건을 갖는 다차원 슈뢰딩거 연산자로 확장하는 것.
• 무한차원 심플렉틱 공간에서 모어스 인덱스(음의 고유값 수)와 매스лов 인덱스(공액점 수) 사이의 엄밀한 연결 고리를 확립하는 것.
• 약한 해와 경계 연산자 추적과 관련된 기술적 과제를 피할 수 있는 추상 경계값을 기반으로 한 함수해석학적 접근법을 개발하는 것.
• 비디리클레 및 뉴먼 경계 조건을 갖는 준볼록 도메인에서 슈뢰딩거 연산자에 이 프레임워크를 적용하는 것.
• 심플렉틱 불변량을 통한 슈뢰딩거 연산자의 이산 스펙트럼에 대한 위상적 특성화를 제공하는 것.

제안 방법

• 저자는 자기수반 확장 A_D와 그에 대한 매끄러운 유계 자기수반 연산자 가중치 V_t의 가중치를 포함한 경계값 문제 분석을 위해, dom(A*)/dom(A)로 정의된 추상 경계값의 공간을 사용하여 심플렉틱 힐버트 공간의 구조를 구성한다.
• 자기수반 확장 A_D와 그에 대한 매끄러운 유계 자기수반 연산자 가중치 V_t의 가중치를 포함한 경계값 문제 분석을 위해, dom(A*)/dom(A)로 정의된 추상 경계값의 공간을 사용하여 심플렉틱 힐버트 공간의 구조를 구성한다.
• 공액점(교차점)은 라그랑주 경로가 γ(D)의 트레인과 겹치는 t 값으로 식별되며, 이는 고유값 문제의 비자명한 해에 해당한다.
• 추상 이론 [BF]에 기반하여, A_D + V_t의 모어스 인덱스가 매스лов 인덱스와 같음을 보이며, 이는 이러한 교차점의 수를 중복도를 포함하여 세는 것이다.
• 이 프레임워크는 라그랑주 경로의 미분 가능성 검증이 필요로 하는 경우가 없이도 보장되므로, 이는 이전 연구에서의 사례별 검증이 필요로 하는 문제를 피한다.
• 결과는 R^n 내의 준볼록 도메인에서의 슈뢰딩거 연산자에 적용되며, 디리클레 및 뉴먼 경계값을 통해 추상 경계값과 물리적 경계 조건을 연결한다.

실험 결과

연구 질문

• RQ1 주기적 또는 준주기적 경계 조건을 갖는 다차원 슈뢰딩거 연산자의 모어스 인덱스는 어떤 심플렉틱 불변량으로 표현될 수 있는가?
• RQ2 라그랑주 경로 내 공액점의 수를 세는 매스лов 인덱스를 사용하여 슈뢰딩거 연산자의 음의 고유값 수를 계산할 수 있는가?
• RQ3 복잡한 경계 조건을 갖는 미분 연산자에 대해 매스лов 인덱스 분석을 단순화하는 데 추상 경계값이 수행하는 역할은 무엇인가?
• RQ4 추상 경계값 프레임워크는 약한 해와 경계 연산자 추적과 관련된 경계값 문제의 기술적 장애를 어떻게 제거하는가?
• RQ5 디리클레 경계 조건 이외의 조건(예: 뉴먼 또는 혼합 조건)을 갖는 도메인에서 모어스-스모락 인덱스 정리의 일반화는 어느 정도까지 가능한가?

주요 결과

• 편미분 연산자 A_D + V_t의 모어스 인덱스는 추상 경계값 공간 내 라그랑주 부분공간의 경로와 관련된 매스볼 인덱스와 같다.
• 불안정한 고유값의 수(모어스 인덱스)는 라그랑주 경로가 γ(D)의 트레인과 겹치는 공액점의 수와 정확히 일치하며, 중복도를 포함하여 계산된다.
• 추상 경계값 프레임워크는 라그랑주 경로의 미분 가능성을 자동으로 보장하여, 이는 이전 연구에서의 사례별 검증이 필요로 하는 문제를 피한다.
• 준볼록 도메인에서는 디리클레 및 뉴먼 경계값을 사용하여 결과를 재구성하였으며, 이는 매스볼 인덱스가 비자명한 경계 데이터를 갖는 고유값 문제의 해의 수를 세는 것을 보여준다.
• 이 방법은 행렬형 잠재력을 갖는 슈뢰딩거 연산자에 적용 가능하며, 심플렉틱 불변량을 통한 이산 스펙트럼의 위상적 묘사를 제공한다.
• 이 프레임워크는 이전까지는 누락되어 있던 다차원 주기적 및 준주기적 설정으로 모어스-스모락 인덱스 정리를 성공적으로 일반화하였다.