[논문 리뷰] The Maslov and Morse indices for Schrödinger operators on $\mathbb{R}$

Peter Howard, Yuri Latushkin외 1명|arXiv (Cornell University)|2016. 08. 19.

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

한 줄 요약

이 논문은 실수축 위의 대칭 잠재력으로 수렴하는 슈뢰딩거 연산자에 대해 마스로프 지수와 모어스 지수 사이의 정확한 관계를 수립한다. 적절한 점점 가까이 다가가는 조건 하에서, 모어스 지수—음의 고유값의 수를 세는 지수—가 마스로프 지수의 음수와 같음을 증명하며, 이는 기하학적 위상수학 방법을 통해 스펙트럼 수를 수치적으로 계산할 수 있게 한다.

ABSTRACT

Assuming a symmetric potential that approaches constant endstates with a sufficient asymptotic rate, we relate the Maslov and Morse indices for Schrödinger operators on $\mathbb{R}$. In particular, we show that with our choice of convention, the Morse index is precisely the negative of the Maslov index.

연구 동기 및 목표

• 실수축 위의 슈뢰딩거 연산자에 대해 마스로프 지수와 모어스 지수 사이의 엄밀한 연결 고리를 확립하는 것.
• 모어스 지수—즉, 음의 고유값의 수를 세는 것—을 기하학적이고 수치적으로 다룰 수 있는 방법으로 다루는 데에 도전하는 것.
• 모어스 지수를 마스로프 지수를 통해 계산할 수 있음을 보이며, 심플렉틱 기하학과 라그랑주 부분공간 이론을 활용하는 것.
• 마스로프 지수를 이용해 스펙트럼 수를 수치적으로 계산할 수 있는 프레임워크를 제공하는 것—직접 고유값을 세는 것보다 알고리즘 구현에 더 적합하다.

제안 방법

• 행렬 J를 사용한 심플렉틱 기하학을 바탕으로 R^{2n} 내의 라그랑주 부분공간을 정의하고, 프레임을 사용해 이러한 부분공간을 표현하는 것.
• -∞에서 감쇠하는 해를 이용해 하나의 라그랑주 부분공간 가중치 가중치를 구성하고, +∞에서 감쇠하는 해를 이용해 다른 가중치를 구성하며, λ < ν_min 조건 하에서 매개변수화하는 것.
• 두 라그랑주 경로가 교차하는 횟수를 다중성과 방향성에 따라 세어 마스로프 지수를 계산하며, 이는 스펙트럼 변화를 추적하는 데 사용된다.
• 고유값에서 라그랑주 경로 ε^-(x;λ)의 연속성과 비연속성을 증명하며, 고유값이 교차점에 해당함을 보여주는 것.
• +∞에서의 잠재력의 고유벡터와 고유값의 비율을 사용해 ω^+(λ)와 유사한 회전수 양상을 정의하며, 이는 마스로프 지수를 추적하는 데 사용된다.
• 주어진 잠재력의 점점 가까이 다가가는 조건 하에서, 모어스 지수가 마스로프 지수의 음수와 같음을 증명하는 것.

실험 결과

연구 질문

• RQ1 대칭 잠재력이 일정한 끝 상태로 수렴하는 실수축 위의 슈뢰딩거 연산자에 대해, 마스로프 지수와 모어스 지수는 어떻게 관련되어 있는가?
• RQ2 모어스 지수—즉, 음의 고유값의 수를 세는 지수—는 마스로프 지수—위상적 불변량—를 통해 계산될 수 있는가?
• RQ3 잠재력 V(x)의 점점 가까이 다가가는 속도가 마스로프-모어스 지수 관계의 타당성을 확보하는 데 어떤 역할을 하는가?
• RQ4 고유값에서 라그랑주 경로의 비연속성은 연산자의 스펙트럼 성질과 어떻게 관련되어 있는가?
• RQ5 마스로프 지수가 수치적으로 계산 가능하고 모어스 지수와 동일한 조건은 무엇인가?

주요 결과

• 주어진 잠재력 V(x)의 점점 가까이 다가가는 조건 하에서, 슈뢰딩거 연산자 H의 모어스 지수는 마스로프 지수의 음수와 같다.
• 마스로프 지수는 잘 정의되어 있으며, +∞에서 감쇠하는 해의 프레임의 회전수를 통해 계산 가능하며, 기준 라그랑주 부분공간과의 교차를 추적한다.
• λ < ν_min일 때, ε^-(x;λ) 경로는 고유값에서 비연속적이며, 이 비연속성은 마스로프 지수의 ±1 변화와 대응된다.
• λ < ν_min일 때, x → -∞에서 정확히 n개의 선형 독립적인 해가 감쇠하고, x → +∞에서도 정확히 n개의 해가 감쇠하므로, 라그랑주 프레임의 존재가 보장된다.
• 마스로프 지수는 고유값 이외의 점에서 연속적이며, 고유값에서 ±1로 점프하며, 총 점프 횟수는 모어스 지수와 같다.
• 가정 (A1)과 (A2) 하에서, 즉 V(x) - V_±의 충분한 감쇠와 V_±의 음이 아닌 고유값이 성립할 경우, 관계 모어스 지수 = -마스로프 지수가 성립한다.