[논문 리뷰] Galoisian Approach to integrability of Schrödinger Equation

Primitivo B. Acosta-Humánez, Juan J. Morales-Ruiz외 1명|arXiv (Cornell University)|2010. 08. 20.

Quantum Mechanics and Non-Hermitian Physics참고 문헌 32인용 수 5

한 줄 요약

이 논문은 다양한 잠재력과 함께 일차원 슈뢰딩거 방정식의 적분 가능성을 분석하기 위해 미분 갈루아 이론을 적용한다. 당김을 통한 대수화와 코바치의 알고리즘을 사용하여 정확한 해법 조건, 고유값, 고유함수, 그리고 정확히 해를 구할 수 있는 잠재력과 형태가 같은 잠재력에 대한 미분 갈루아 군을 결정함으로써, 해가 대수적 또는 리우빌리안인지 식별하는 체계적인 방법을 수립한다.

ABSTRACT

In this paper, we examine the non-relativistic stationary Schrödinger equation from a differential Galois-theoretic perspective. The main algorithmic tools are pullbacks of second order ordinary linear differential operators, so as to achieve rational function coefficients ("algebrization"), and Kovacic's algorithm for solving the resulting equations. In particular, we use this Galoisian approach to analyze Darboux transformations, Crum iterations and supersymmetric quantum mechanics. We obtain the ground states, eigenvalues, eigenfunctions, eigenstates and differential Galois groups of a large class of Schrödinger equations, e.g. those with exactly solvable and shape invariant potentials (the terms are defined within). Finally, we introduce a method for determining when exact solvability is possible.

연구 동기 및 목표

• 임의의 잠재력을 가진 일차원 슈뢰딩거 방정식의 적분 가능성을 결정하는 갈루아 이론적 프레임워크를 개발하는 것.
• 미분 갈루아 군을 사용하여 해가 대수적 또는 리우빌리안인지 여부에 따라 잠재력을 분류하는 것.
• 특히 형태가 같은 잠재력과 준정확하게 해를 구할 수 있는 잠재력에 대해, 슈뢰딩거 방정식이 정확히 해를 구할 수 있는지 여부를 결정하는 알고리즘적 방법을 제공하는 것.
• 동일한 갈루아 이론적 형식론 아래 다르부 변환, 크룸 반복, 그리고 초대칭 양자역학을 통합하는 것.
• 대수화 방법을 통해 코바치의 알고리즘의 적용 범위를 초월하는 잠재력으로 확장함으로써 체계적인 해석 분석을 가능하게 하는 것.

제안 방법

• 이차 선형 미분 연산자의 당김을 적용하여 초월 계수를 가진 방정식을 유리 계수로 변환하는 대수화 방법을 사용한다.
• 변환된 방정식의 미분 갈루아 군을 분류하기 위해 코바치의 알고리즘을 사용하여 적분 가능성과 해의 유형을 결정한다.
• 연산자 $\widehat{\partial_z}$ 를 통한 대수화 방법을 구현하여 유리 또는 초월 잠재력을 가진 방정식을 등가의 유리 계수 형태로 매핑한다.
• 다항식, 유리식, 형태가 같은 잠재력을 가진 슈뢰딩거 방정식에 알고리즘을 적용하여 해 구조를 통해 고유값과 고유함수를 계산한다.
• 고유환원과 피카르-베시에 테오리로 갈루아 군의 구조를 분석하여 $SL(2,\mathbb{C})$, $\mathbb{G}_m$, $\mathbb{G}_a$, 그리고 유한 단조로이 군을 구별한다.
• 다르부 변환과 크룸 반복을 갈루아 이론적 프레임워크에 통합하여, 이들이 갈루아 군과 해의 유형을 어떻게 유지하거나 변화시키는지 분석한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 주어진 잠재력을 가진 슈뢰딩거 방정식이 미분 갈루아 이론의 관점에서 정확히 해를 구할 수 있는가?
• RQ2 대수화 방법을 어떻게 체계적으로 초월 잠재력에 적용하여 코바치의 알고리즘에 적합한 유리 계수 방정식으로 축소할 수 있는가?
• RQ3 초대칭 양자역학에서의 형태 불변성과 해당 슈뢰딩거 방정식의 미분 갈루아 군 사이의 관계는 무엇인가?
• RQ4 다르부 변환과 크룸 반복은 슈뢰딩거 방정식의 적분 가능성과 갈루아 군의 구조에 어떻게 영향을 미치는가?
• RQ5 대규모의 정확히 해를 구할 수 있는 잠재력과 준정확하게 해를 구할 수 있는 잠재력에 대해 갈루아 이론적 도구를 사용하여 고유값과 고유함수의 완전한 분류를 도출할 수 있는가?

주요 결과

• 논문은 대수화와 코바치의 알고리즘을 사용하여 유리 및 초월 잠재력을 가진 슈뢰딩거 방정식의 정확한 해법 가능성을 결정하는 완전한 알고리즘적 방법을 수립한다.
• 만약 $\circ(r_c) = 1$ 이면 가능한 고유값의 집합은 $E_c = \{4\}$이며, $\circ(r_c) = 2$ 이면 $E_c = \{2 + k\sqrt{1+4b} : k = 0, \pm 2\}$이며, $\circ(r_c) > 2$ 이면 $E_c = \{v\}$이며, 무한대에서도 유사한 결과가 성립한다.
• 만약 $\circ(r_\infty) > 2$ 이면 무한대에서의 고유값 집합은 $E_\infty = \{0, 2, 4\}$이며, $\circ(r_\infty) = 2$ 이면 $E_\infty = \{2 + k\sqrt{1+4b} : k = 0, \pm 2\}$이다.
• 만약 $\circ(r_\infty) = v < 2$ 이면 고유값 집합은 $E_\infty = \{v\}$이며, $\circ(r_\infty) \geq 2$ 이면 $E_\infty = \{6 + \frac{12k}{m}\sqrt{1+4b} : k = 0, \pm1, \dots, \pm6, m \in \{4,6,12\}\}$이다.
• 특정 삼차 미분방정식을 만족하는 차수 $n$의 모닉 다항식 $P_n$ 이 존재하는 것은 방정식의 적분 가능성 여부를 결정한다. 이때 해는 $\zeta = e^{\int \omega}$ 로 구성되며, $\omega$ 는 차수 $m$ 다항식의 해이다.
• 만약 케이스 1~3에서 해가 존재하지 않으면 방정식는 비적분 가능하며 갈루아 군은 $SL(2,\mathbb{C})$ 를 이루며, 이는 비리우빌리안 해의 존재를 확인한다.