[논문 리뷰] Formal solution to the KP hierarchy

S. M. Natanzon, A. Zabrodin|arXiv (Cornell University)|2015. 09. 15.

Nonlinear Waves and Solitons참고 문헌 16인용 수 3

한 줄 요약

이 논문은 $\alpha$-의존성 KP 계기계에 대한 완전한 형식적 해를 구축함으로써, 타우함수와 그 로그(즉, $F$-함수)에 대한 무한한 캐시-유사 초깃값 집합에 대한 명시적 급수 전개를 제공한다. 해는 계수에 대한 조합적 재귀 관계를 통해 주어지며, 임의의 미세하거나 형식적 초깃함수 $f_0(x), f_1(x), \dots$로부터 모든 형식적 해를 재구성할 수 있게 한다. $F$-함수의 명시적 공식은 슈어 함수와 $\alpha$-변형 미분 연산자에 기반한다.

ABSTRACT

We find all formal solutions to the $\hbar$-dependent KP hierarchy. They are characterized by certain Cauchy-like data. The solutions are found in the form of formal series for the tau-function of the hierarchy and for its logarithm (the F-function). An explicit combinatorial description of the coefficients of the series is provided.

연구 동기 및 목표

• 형식적 해를 무한한 형식적 멱급수의 형태로 $\alpha$-의존성 KP 계기계에 대해 전부 구성하기.
• 적분 가능 체계 및 수학적 물리학 분야의 응용에서 필수적인데도 불구하고 문헌에서 $F$-함수($F = \hbar^2 \log \tau$)에 대한 명시적 급수 전개가 부족한 문제를 해결하기.
• 무한한 집합의 초깃값 $f_0(x), f_1(x), \dots$로 불리는 캐시-유사 자료에 의해 결정되는 계수에 대한 명시적 재귀 절차를 통해 해의 공간을 완전히 특성화하기.
• 대칭 함수의 쌍대 기저와 $\alpha$-미분 연산자를 사용한 엄밀한 대수적 프레임워크를 구축하여 해 공간을 기술하기.

제안 방법

• 해는 $\alpha$-변형 편미분 연산자 $\partial_i^\hbar$를 도입함으로써 구성되며, 이는 표준 도함수를 일반화하고 계기계의 $\alpha$-의존성을 포함한다.
• $F$-함수는 슈어 함수 $s_\lambda$와 역 코스타 행렬 $\kappa_\lambda = (L^{-1})_{\lambda(k)}$로부터 유도된 구조 상수를 사용하여 $\hbar$에 대한 형식적 급수로 표현된다.
• 계수는 $\partial_i^\hbar$-연산자를 사용하여 기술된 $F$-함수에 대한 히로타 이중형 방정식에 기반한 재귀 절차를 통해 결정된다.
• 이 방법은 단항 대칭 함수 $m_\lambda$와 슈어 함수 $h_\lambda$ 사이의 쌍대 기저 구성에 의존하여 급수 전개의 명시적 역행렬을 가능하게 한다.
• 주어진 캐시-유사 자료 $\{f_0(x), f_1(x), \dots\}$에 대해 해는 유일함을 증명하였으며, $f_k(x)$는 $\mathbf{t}=0$에서 $F$의 $k$-번째 $\hbar$-도함수와 $\hbar^{\ell(\lambda)-1}$ 차수의 수정 항을 통해 연결된다.
• 행렬의 소수에 대한 자비의 항등식을 사용한 귀납적 증명을 통해, 타우함수에 대한 히로타 이중형 항등식과 해의 일致성을 확립하였다.

실험 결과

연구 질문

• RQ1 모든 형식적 해는 초깃값에 대해 어떻게 체계적으로 $\hbar$-KP 계기계에 대해 구성할 수 있는가?
• RQ2 $F$-함수의 형식적 급수 전개에서 계수의 명시적 조합적 구조는 무엇인가?
• RQ3 $\hbar$-변형 도함수 $\partial_i^\hbar$는 KP 계기계의 표준 시간 도함수와 어떻게 관련이 있는가?
• RQ4 캐시-유사 자료 $f_k(x)$와 $\mathbf{t}=0$에서 $F$-함수의 $k$-번째 $\hbar$-도함수 사이의 정확한 관계는 무엇인가?
• RQ5 임의의 초깃함수 집합 $f_0(x), f_1(x), \dots$로부터 $F$-함수를 닫힌 형태의 재귀 관계로 재구성할 수 있는가?

주요 결과

• 모든 형식적 해는 $f_0(x) = F(x; \mathbf{0})$인 무한한 캐시-유사 자료 $\{f_0(x), f_1(x), \dots\}$에 의해 유일하게 결정된다.
• $F$-함수는 명시적 전개 $F(x; \mathbf{t}) = \sum_{k=1}^\infty \sum_{|\lambda|=k} \frac{\kappa_\lambda}{\rho(\lambda)} f_\lambda^\hbar(x) \hbar^{\ell(\lambda)-1}$를 갖는다. 여기서 $\kappa_\lambda = (L^{-1})_{\lambda(k)}$이며, 계수의 완전한 조합적 기술을 제공한다.
• $\hbar$-변형 도함수 $\partial_i^\hbar$는 $\partial_i^\hbar = \partial_{t_i} + \frac{\hbar}{2} \sum_{j=1}^\infty \frac{1}{j} \partial_{t_j} \partial_{t_{i+j}} + \cdots$로 정의되며, 표준 시간 도함수를 일반화한다.
• 해는 히로타 이중형 항등식을 만족하며, 이는 행렬의 소수에 대한 자비의 항등식을 사용한 귀납적 증명을 통해 증명되었다.
• 역관계 $f_k^\hbar(x) = \partial_k F|_{\mathbf{t}=0} - k \sum_{|\lambda|=k, \ell(\lambda)>1} \frac{\kappa_\lambda}{\rho(\lambda)} f_\lambda^\hbar(x) \hbar^{\ell(\lambda)-1}$는 $F$-함수의 도함수로부터 $\hbar$-변형 자료를 재구성할 수 있게 한다.
• $\hbar \to 0$ 극한에서 해는 산란 없는 KP 계기계를 얻으며, 부드러운 극한이 존재하지 않더라도 형식적 급수는 이 극한에서도 잘 정의되어 있다.