[논문 리뷰] Exactly solvable two-dimensional Schrodinger operators and Laplace transformations

S. P. Novikov, А. П. Веселов|ArXiv.org|2000. 03. 10.

Spectral Theory in Mathematical Physics참고 문헌 9인용 수 20

한 줄 요약

이 논문은 위상적으로 비자명한 설정에서 정확히 해를 구할 수 있는 2차원 슈뢰딩거 연산자를 구성하기 위해 라플라스 변환을 이산 대칭으로 신규 적용한다. 이러한 변환을 활용하여 저자들은 ℤ 위의 이산 슈뢰딩거 연산자에 대해 명시적인 고유값 스펙트럼과 고유함수를 유도한다. a > 1 또는 a < 1 인 경우 λ ∈ [0,1) 에서 유한한 이산 스펙트럼을 보이며, q-포흐하머 유사 곱과 타우 함수를 포함한 닫힌 형태의 표현식을 제공한다.

ABSTRACT

Different cases of sequences of the Laplace Transformations for the 2D Schrodinger operator in the periodic magnetic field and electric potential are considered. They lead to the exactly solvable operators with nonstandard spectral properties including the double-periodic operators with algebraic Fermi surface known from the periodic soliton theory. Two appendices are added. In the Appendix I (the author - S. Novikov) two discretizations of the 2D operators and Laplace transformations are constructed. In the Appendix II (the authors - S. Novikov and I. Taimanov) some nonstandard 1D discrete operators are constructed with very interesting spectral properties.

연구 동기 및 목표

• 위상적으로 자명하지 않은 경우로 정확히 해를 구할 수 있는 슈뢰딩거 연산자 이론을 확장한다.
• 라플라스 변환을 이산 대칭으로 활용하여 새로운 종류의 정확히 해를 구할 수 있는 2차원 슈뢰딩거 연산자를 생성한다.
• 정수 격자 ℤ 위의 이산 슈뢰딩거 연산자 L(c,a)의 스펙트럼 성질—특히 고유값과 고유함수—를 규명한다.
• 이전 연구에서의 모호함과 오류를 해결하며, 특히 λ ≥ 1 인 경우의 스펙트럼과 스펙트럼 생성 대칭 대수의 타당성에 관해 수정한다.
• 라플라스 변환의 순환 체인과 이산 슈뢰딩거 연산자의 스펙트럼 구조 사이의 연결고리를 설정하며, 타우 함수를 통한 기본 상태 정규화를 다룬다.

제안 방법

• Lψ = 0의 해에 작용하는 라플라스 변환을 이산 대칭으로 활용하여 잠재력이 변형된 새로운 슈뢰딩거 연산자 L'를 생성한다.
• 차분 연산자 Q와 Q⁺를 사용하여 매개변수 c와 a로 매개변수화된 ℤ 위의 이산 슈뢰딩거 연산자 L(c,a)의 가닥을 구성한다.
• Q와 Q⁺ 연산자의 반복적 적용을 통해 고유값 스펙트럼과 고유함수를 도출하며, ψₙ(k,c,a)의 명시적 닫힌 형태 표현식을 Pₙ(k,c,a)와 ψ₀ₖ(c,a)로 기술한다.
• 연속 근사에서 기본 상태 ϕ₀(x)를 정규화하기 위해 타우 함수 Θ[u|a]를 사용하여 Lϕ₀ = 0 이며 ℝ 위에서 적분 가능하도록 보장한다.
• 초타원형 Θ-함수 이론과 리만 곡면 기하학을 적용하여 스펙트럼 곡선 Γ를 분석하며, 특히 유한 차수의 경우에 중점을 둔다.
• 이전에 [SVZ]에서 제기된 주장에 대해 수정한다. 즉, 고유함수가 지수적으로 증가할 경우 스펙트럼 생성 대칭 대수의 주장은 타당하지 않으며, λ ≥ 1 인 경우 연속 스펙트럼이 존재할 것으로 추측한다.

실험 결과

연구 질문

• RQ1 위상적으로 비자명한 설정에서 라플라스 변환을 체계적으로 이산 대칭으로 활용하여 새로운 정확히 해를 구할 수 있는 2차원 슈뢰딩거 연산자를 생성할 수 있는가?
• RQ2 매개변수 a > 1 및 a < 1 인 경우, ℤ 위의 이산 슈뢰딩거 연산자 L(c,a)의 스펙트럼 구조는 어떻게 되며, 특히 [0,1) 내의 고유값에 대해 어떻게 되는가?
• RQ3 Q와 Q⁺ 연산자의 반복적 적용에 따라 L(c,a)의 고유함수는 어떻게 행동하는가? 그리고 닫힌 형태로 표현할 수 있는가?
• RQ4 왜 [SVZ]에서 제기한 스펙트럼 생성 대칭 대수의 주장이 잘못되었는가? 어떤 조건에서 그 타당성이 상실되는가?
• RQ5 Hilbert 공간 L₂(ℤ)에서 λ ≥ 1 인 경우의 스펙트럼의 성격은 무엇이며, 기본 상태의 행동과 어떻게 관련되어 있는가?

주요 결과

• a > 1 인 경우, L₂(ℤ) 위의 L(c,a) 스펙트럼은 n ≥ 0 에 대해 λₙ = 1 − a⁻²ⁿ 이며, 고유함수는 ψₙ(k,c,a) = Pₙ(k,c,a)ψ₀ₖ(c,a) 로 주어지며, 여기서 Pₙ(k,c,a) = (a⁻²ᵏ − ca²ⁿ⁻²)ⁿ 이다.
• a < 1 인 경우, 스펙트럼은 n ≥ 1 에 대해 λₙ = 1 − a²ⁿ 이며, 고유함수는 ψₙ(c,a) = Q⁺(c/a²,a)⋯Q⁺(c/a²ⁿ⁻²,a)ψ₁(c/a²ⁿ⁻²,a) 이며, ψ₁(c,a) = τψ₀(c/a²,1/a) 이다.
• 연속 근사에서 연산자 ℝ 위의 기본 상태 ϕ₀(x) 는 ϕ₀(x) = γˣ⁽ˣ⁻¹⁾ᐟ² / Θ[(m+1−2x)lnγ | 2lnγ] 로 주어지며, 여기서 γ = eᵃ 이고 a > 0 이다.
• λ ≥ 1 인 경우의 스펙트럼은 연속적이고 전체 구간 [1, ∞) 을 메운다로 추측되며, 이는 이전 연구에서의 이산적 구조 주장과 정면으로 배치된다.
• 논문은 [SVZ]의 오류를 수정하며, 고유함수가 지수적으로 증가할 경우 스펙트럼 생성 대칭 대수가 타당하지 않음을 보여주며, 특히 q > 1 인 경우에 해당한다.
• 라플라스 변환의 순환 체인 Bα₁⋯Bαₙ 은 L 을 공액 연산자 L′ 으로 매핑하며, 이는 ℝ 위의 연속적 실현에서 이동과 상수 배수 스케일링을 제외하고 L 과 동치이다.