[논문 리뷰] 2D Schrodinger Operator, (2+1) Systems and New Reductions. The 2D Burgers Hierarchy and Inverse Problem Data

P. G. Grinevich, А. Миронов외 1명|arXiv (Cornell University)|2010. 05. 04.

Spectral Theory in Mathematical Physics인용 수 7

한 줄 요약

이 논문은 2차원 슈뢰딩거 연산자를 기반으로 한 (2+1)-차원 적분 가능 계열인 GKMMN 시스템을 소개하며, 이 시스템의 2차원 버거스 감소가 핵심 적분 가능 시스템임을 규명한다. 또한 리만 곡면 위의 대수기하학적 데이터를 이용하여 2차원 슈뢰딩거 연산자에 대한 새로운 역스펙트럼 이론을 수립하고, 2차원 버거스 계열이 특정 바커-아키에제르 함수를 갖는 분해 가능 리만 곡면에서 유도됨을 증명하며, 스펙트럼 데이터를 통해 자기적 자기수렴 자기장 파울리 연산자와의 호환성을 보여준다.

ABSTRACT

The Theory of (2+1) Systems based on 2D Schrodinger Operator was started by S.Manakov, B.Dubrovin, I.Krichever and S.Novikov in 1976. The Analog of Lax Pairs introduced by Manakov, has a form $L_t=[L,H]-fL$ ("The $L,H,f$-triples") where $L=\partial_x\partial_y+G\partial_y+S$ and $H,f$-some linear PDEs. Their Algebro-Geometric Solutions and therefore the full higher order hierarchies were constructed by B.Dubrovin, I.Krichever and S.Novikov. The Theory of 2D Inverse Spectral Problems for the Elliptic Operator $L$ with $x,y$ replaced by $z,\bar{z}$, was started by B.Dubrovin, I.Krichever and S.Novikov: The Inverse Spectral Problem Data are taken from the complex "Fermi-Curve" consisting of all Bloch-Floquet Eigenfunctions $Lψ=const$. Many interesting systems were found later. However, specific properties of the very first system, offered by Manakov for the verification of new method only, were not studied more than 10 years until B.Konopelchenko found in 1988 analogs of Backund Transformations for it. He pointed out on the "Burgers-Type Reduction". Indeed, the present authors quite recently found very interesting extensions, reductions and applications of that system both in the theory of nonlinear evolution systems (The Self-Adjoint and 2D Burgers Hierarhies were invented, and corresponding reductions of Inverse Problem Data found) and in the Spectral Theory of Important Physical Operators ("The Purely Magnetic 2D Pauli Operators"). We call this system GKMMN by the names of authors who studied it.

연구 동기 및 목표

• 2차원 슈뢰딩거 연산자와 그 라크스 삼중항 표현을 기반으로 한 (2+1)-차원 적분 가능 시스템의 새로운 클래스를 개발하는 것.
• GKMMN 시스템의 자연스러운 감소로 나타나는 2차원 버거스 계열을 규명하고 특성화하는 것.
• 리만 곡면 위의 대수기하학적 역스펙트럼 데이터와 비선형 진동계 전체 계열 간의 연결 고리를 설정하는 것.
• 2차원 파울리 연산자에 있어서 스핀-1/2 입자에 대한 자기수렴 타원형 연산자와 2차원 버거스 시스템 간의 호환성을 보여주는 것.
• 역문제 데이터의 스펙트럼적 의미를 명확히 하며, 특히 펌프 곡선과 블로흐-플로케 고유함수의 역할을 규명하는 것.

제안 방법

• 논문은 연산자 $L = \partial_x\partial_y + G\partial_y + S$, $H = \partial_x^2 + F\partial_y + A$ 및 스칼라 $f$ 를 포함하는 라크스 삼중항 표현을 사용하며, $L_t = [L,H] - fL$ 를 만족한다.
• 리만 곡면 $\Gamma$ 에서 두 개의 무한점과 분점의 배치 $D$ 를 갖는 2점 바커-아키에제르 함수 $\psi(P,x,y,t)$ 를 통해 대수기하학적 해를 구성한다.
• S = 0 으로 설정함으로써 2차원 버거스 감소를 도출하며, 이는 선형계 $c_t - c_{xx} + c_{yy} = (U(x) + V(y))c$ 를 유도하며, 1차원 버거스 방정식을 일반화한다.
• 복소화된 경우 $x \to z, y \to \bar{z}$ 로 확장하여 $GKMMN$-II 및 $B_2$-II 시스템을 도출하며, 특정 스펙트럼 조건 하에서 자기수렴성이 유지됨을 보인다.
• 역스펙트럼 데이터는 복소대수기하곡선 $\Gamma$ 와 블로흐-플로케 고유함수에 암호화되며, 스펙트럼 데이터는 잠재력과 자기장의 결정을 내린다.
• 일반 시스템을 표준형으로 줄이기 위해 게이지 변환을 사용하며, 동역학이 실수 및 자기수렴 감소와 호환됨을 증명한다.

실험 결과

연구 질문

• RQ1 2차원 슈뢰딩거 연산자를 이용해 라크스 삼중항 표현을 통해 (2+1)-차원 적분 가능 계열을 어떻게 유도할 수 있는가?
• RQ2 2점 바커-아키에제르 함수는 GKMMN 시스템과 그 감소해를 구성하는 데 어떤 역할을 하는가?
• RQ3 2차원 버거스 계열은 GKMMN 시스템의 감소로 어떻게 유도되며, 그 스펙트럼적 해석은 무엇인가?
• RQ4 스핀-1/2 입자에 대한 파울리 해밀토니안 맥락에서 2차원 슈뢰딩거 연산자가 어떤 조건에서 자기수렴이 되는가?
• RQ5 2차원 슈뢰딩거 연산자의 역스펙트럼 데이터는 복소대수기하곡선과 블로흐-플로케 고유함수로부터 완전히 재구성될 수 있는가?

주요 결과

• GKMMN 시스템은 방정식 $G_t = G_{xx} - G_{yy} + (F^2)_x - (G^2)_x - A_x + 2S_y$ 와 $S_t = -S_{xx} + S_{yy} + 2(GS)_x - 2(FS)_y$ 를 포함하며, $F_x = 2G_y$, $A_y = 2S_x$, $f = 2G_x - F_y$ 를 만족하는 제약 조건이 수반된다.
• 2차원 버거스 시스템 $B_2$ 는 $S = 0$ 으로 설정함으로써 유도되며, 선형 방정식 $c_t - c_{xx} + c_{yy} = (U(x) + V(y))c$ 를 유도하며, 이는 1차원 버거스 방정식을 일반화한다.
• 2차원 버거스 계열은 분해 가능 리만 곡면 $\Gamma = \Gamma' \cup \Gamma''$ 과 분점 $D = D' + D''$ 에 기반하며, $\psi$ 는 교차점 $Q_s$ 에서 일치 조건을 만족하는 바커-아키에제르 함수이다.
• 복소변수 $z, \bar{z}$ 에서의 $GKMMN$-II 시스템에서는 실수 자기장과 잠재력 조건 하에서 자기수렴성이 시간 $t \in \mathbb{R}$ 에서 유지되며, 시스템 $c_t - 4c_{xy} = 8a_y c$ 와 $S_t + 4S_{xy} = 8[S\Phi_{xy} - S_x\Phi_y - S_y\Phi_x]$ 를 유도한다.
• S = 0 인 2차원 버거스 시스템 $B_2$-II 는 $c_t - 4c_{xy} = T(x,y,t)c$ 로 감소하며 $\Delta T = 0$ 이고, 자기장은 $B = -\frac{1}{2}\Delta(\log c) \in \mathbb{R}$ 이며, 이는 순수 자기장 2차원 파울리 연산자와 연결된다.
• 2차원 슈뢰딩거 연산자의 역스펙트럼 데이터는 복소대수기하곡선 $\Gamma$ 와 블로흐-플로케 고유함수에 암호화되며, 비자이지 열린 부분이 블로흐 다양체에 존재할 수 없다는 추측이 제기된다. 유일한 경우는 자명한 경우뿐이다.