[논문 리뷰] The Sylvester equation and the elliptic Korteweg-de Vries system

Ying‐ying Sun, Da‐jun Zhang외 1명|arXiv (Cornell University)|2015. 07. 20.

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

한 줄 요약

이 논문은 케일리 행렬 구조를 가진 실리에스터 유형의 행렬 방정식을 사용하여 타원 Korteweg-de Vries (KdV) 시스템을 위한 새로운 해결 프레임워크를 제안한다. 행렬 $\bm{k}$의 표준형을 통해 명시적 해를 유도함으로써, 저자들은 이산적(elpKdV) 및 연속적(epKdV) 타원 KdV 시스템을 재유도하고, 그들의 라크스 쌍을 수립하며, 스칼라 함수 $S^{(i,j)}$ 가 재귀 관계와 연속 근사에 의해 비선형 방정식을 생성하는 무한 대칭 행렬을 이룬다는 것을 보여준다.

ABSTRACT

The elliptic Korteweg-de Vries (KdV) system is a multi-component generalization of the lattice potential KdV equation, whose soliton solutions are associated with an elliptic Cauchy kernel (i.e., a Cauchy kernel on the torus). In this paper we generalize the class of solutions by using a Sylvester type matrix equation and rederiving the system from the associated Cauchy matrix. Our starting point is the Sylvester equation in the form of $~\boldsymbol{k} \boldsymbol{M}+ \boldsymbol{M} \boldsymbol{k} = \boldsymbol{r} {\boldsymbol{c}}^{T}-g\boldsymbol{K}^{-1} \boldsymbol{r} {\boldsymbol{c}}^{T} \boldsymbol{K}^{-1}$ where $\boldsymbol{k}$ and $\boldsymbol{K}$ are commutative matrices and obey the matrix relation ${\boldsymbol{k}}^2=\boldsymbol{K}+3e_1\boldsymbol{I}+g{\boldsymbol{K}}^{-1}$. The obtained elliptic equations, both discrete and continuous, are formulated by the scalar function $S^{(i,j)}$ which is defined using $(\boldsymbol{k},\boldsymbol{K}, \boldsymbol{M}, \boldsymbol{r},\boldsymbol{c})$ and constitute an infinite size symmetric matrix. Lax pairs for both the discrete and continuous system are derived. The explicit solution $\boldsymbol{M}$ of the Sylvester equation and generalized solutions of the obtained elliptic equations are presented according to the canonical forms of matrix $\boldsymbol{k}$.

연구 동기 및 목표

• 표준적인 직접 선형화 방법 대신 실리에스터 유형의 행렬 방정식을 사용하여 타원 KdV 시스템의 솔리톤 해를 일반화하는 것.
• 타원 곡선에 연결된 행렬 관계를 기반으로 한 케일리 행렬 공식화를 통해 이산(elpKdV) 및 연속(epKdV) 타원 KdV 시스템을 재유도하는 것.
• 행렬 $\bm{M}$ 의 명시적 해를 $\bm{k}$ 의 대각형 및 조르당 블록 형태를 사용하여 구성함으로써 솔리톤 해를 가능하게 하는 것.
• 유도된 행렬 구조와 스칼라 함수 $S^{(i,j)}$ 를 사용하여 이산 및 연속 시스템의 라크스 쌍을 수립하는 것.
• 스칼라 함수 $S^{(i,j)}$ 가 $(\bm{k}, \bm{K}, \bm{M}, \bm{r}, \bm{c})$ 에서 유도되며, 이는 재귀 및 연속 근사에 의해 비선형 방정식을 생성하는 무한 대칭 행렬 $\bm{S}$ 를 이룬다는 것을 보여주는 것.

제안 방법

• 연구는 실리에스터 방정식 $\bm{k}\bm{M} + \bm{M}\bm{k} = \bm{r}\bm{c}^T - g\bm{K}^{-1}\bm{r}\bm{c}^T\bm{K}^{-1}$ 로 시작하며, 여기서 $\bm{k}$ 와 $\bm{K}$ 는 $\bm{k}^2 = \bm{K} + 3e_1\bm{I} + g\bm{K}^{-1}$ 를 만족하는 가환 행렬로, 이는 시스템을 타원 곡선과 연결시킨다.
• 스칼라 함수 $S^{(i,j)}$ 는 $\bm{M}$ 의 행렬 원소를 통해 정의되며, 이는 비선형 역학을 코딩하는 무한 대칭 행렬 $\bm{S}$ 를 이룬다.
• 행렬 $\bm{k}$ 의 스펙트럼 분해를 사용하여, 대각형 $\bm{k}$, 조르당 블록 $\bm{k}$, 그리고 그 조합에 대해 $\bm{M}$ 의 명시적 해를 세 가지 표준형 케이스에서 구성한다.
• elpKdV 와 epKdV 시스템의 분산 관계는 이동 조건과 도함수 조건에서 유도된다: $ (a\bm{I} - \bm{k})\widetilde{\bm{r}} = (a\bm{I} + \bm{k})\bm{r} $, 및 $ \bm{r}_x = \bm{k}\bm{r}, \bm{r}_t = 4\bm{k}^3\bm{r} $.
• 행렬 진화 방정식과 스칼라 함수 $S^{(i,j)}$ 의 호환성 분석을 통해 두 시스템의 라크스 쌍을 유도한다.
• elpKdV 시스템의 연속 근사를 분석하여 epKdV 시스템을 복원함으로써, 이산 및 연속 공식화 간의 일관성을 보여준다.

실험 결과

연구 질문

• RQ1 실리에스터 유형의 행렬 방정식과 케일리 행렬 접근법을 사용하여 타원 KdV 시스템을 어떻게 재유도할 수 있는가?
• RQ2 행렬 $\bm{k}$ 가 대각형, 조르당 블록, 또는 그 조합일 경우 실리에스터 방정식의 행렬 $\bm{M}$ 에 대한 명시적 해는 무엇인가?
• RQ3 행렬 $\bm{M}$ 에서 유도된 스칼라 함수 $S^{(i,j)}$ 는 재귀 및 연속 근사를 통해 어떻게 비선형 elpKdV 와 epKdV 방정식을 생성하는가?
• RQ4 행렬 $\bm{k}$ 의 표준형은 어떻게 솔리톤 해를 구성하고 타원 KdV 시스템의 라크스 쌍을 유도하는 데 기여하는가?
• RQ5 실리에스터 방정식 프레임워크의 연속 근사를 통해 이산 및 연속 타원 KdV 시스템은 어떻게 관련되어 있는가?

주요 결과

• 행렬 $\bm{k}^2 = \bm{K} + 3e_1\bm{I} + g\bm{K}^{-1}$ 를 만족하는 실리에스터 방정식 $\bm{k}\bm{M} + \bm{M}\bm{k} = \bm{r}\bm{c}^T - g\bm{K}^{-1}\bm{r}\bm{c}^T\bm{K}^{-1}$ 는 타원 KdV 시스템을 유도하는 데 새로운 대수적 프레임워크를 제공한다.
• 행렬 $\bm{k}$ 의 표준형과 관련된 $\bm{r}, \bm{c}$ 벡터를 사용하여, 대각형 $\bm{k}$, 조르당 블록 $\bm{k}$, 그리고 그 조합에 대해 $\bm{M}$ 의 명시적 해를 구성한다.
• 행렬 $\bm{M}$ 에서 유도된 스칼라 함수 $S^{(i,j)}$ 는 $\mathbb{Z} \times \mathbb{Z}$ 상에서 재귀 관계를 만족하는 무한 대칭 행렬 $\bm{S}$ 를 이룬다. 이는 이산 elpKdV 시스템을 유도하는 데 필수적이다.
• 행렬 진화 방정식과 스칼라 함수 $S^{(i,j)}$ 를 기반으로 하여 elpKdV 와 epKdV 시스템의 라크스 쌍이 유도되었으며, 이는 적분 가능성의 확인을 가능하게 한다.
• 연속적 epKdV 시스템은 elpKdV 시스템의 연속 근사로 복원되며, 연속 역학을 지배하는 분산 관계로 $\bm{r}_x = \bm{k}\bm{r}, \bm{r}_t = 4\bm{k}^3\bm{r}$ 과 $\bm{c}^T_x = \bm{c}^T\bm{k}, \bm{c}^T_t = \bm{c}^T\bm{k}^3$ 가 존재한다.
• 행렬 $\bm{r}$ 과 $\bm{c}$ 의 해는 대각형 $\bm{k}$ 의 경우 $\rho_i = \left(\frac{a+k_i}{a-k_i}\right)^n\left(\frac{b+k_i}{b-k_i}\right)^m\rho_i^0$ 과 연속적 경우 $\rho_1 = e^{k_1x + 4k_1^3t + \xi_1^{(0)}}$ 로 명시적으로 주어지며, 이는 완전한 솔리톤 해의 구성이 가능하게 한다.