[논문 리뷰] Higher jet prolongation Lie algebras and Backlund transformations for (1+1)-dimensional PDEs

С.А. Игонин|arXiv (Cornell University)|2012. 12. 10.

Nonlinear Waves and Solitons참고 문헌 22인용 수 5

한 줄 요약

이 논문은 $(1+1)$차원 진화 PDE에 대해 높은 임계도 연장 리 대수 $\bbF^p(\fE,a)$를 도입하며, 워플리스트-에스타브루크 대수를 임계도에 관계없이 일반화한다. 모든 영곡률 표현은 국소적으로 $\bbF^p(\fE,a)$의 벡터장 표현으로부터 유도된 표현과 게이지 동치임을 증명하며, $\bbF^p(\fE,a) \to \bbF^{p-1}(\fE,a)$의 사영 사상의 핵이 중심에 포함됨을 보여, 이로 인해 사영 사슬에서의 핵들이 단순히 중심에만 국한되지 않고 노름 가능함을 암시한다. 이는 PDE 간 Bäcklund 변환 존재에 대한 필요 조건을 제공한다.

ABSTRACT

For any (1+1)-dimensional (multicomponent) evolution PDE, we define a sequence of Lie algebras $F^p$, $p=0,1,2,3,...$, which are responsible for all Lax pairs and zero-curvature representations (ZCRs) of this PDE. In our construction, jets of arbitrary order are allowed. In the case of lower order jets, the algebras $F^p$ generalize Wahlquist-Estabrook prolongation algebras. To achieve this, we find a normal form for (nonlinear) ZCRs with respect to the action of the group of gauge transformations. One shows that any ZCR is locally gauge equivalent to the ZCR arising from a vector field representation of the algebra $F^p$, where $p$ is the order of jets involved in the $x$-part of the ZCR. More precisely, we define a Lie algebra $F^p$ for each nonnegative integer $p$ and each point $a$ of the infinite prolongation $E$ of the evolution PDE. So the full notation for the algebra is $F^p(E,a)$. Using these algebras, one obtains a necessary condition for two given evolution PDEs to be connected by a Backlund transformation. In this paper, the algebras $F^p(E,a)$ are computed for some PDEs of KdV type. In a different paper with G. Manno, we compute $F^p(E,a)$ for multicomponent Landau-Lifshitz systems of Golubchik and Sokolov. Among the obtained Lie algebras, one encounters infinite-dimensional algebras of certain matrix-valued functions on some algebraic curves. Besides, some solvable ideals and semisimple Lie algebras appear in the description of $F^p(E,a)$. Applications to classification of KdV and Krichever-Novikov type equations with respect to Backlund transformations are also briefly discussed.

연구 동기 및 목표

• $(1+1)$차원 진화 PDE에 대해 워플리스트-에스타브루크 연장 방법을 임계도에 관계없이 일반화한다.
• 무한 연장 $\fE$의 각 점 $a$에서 $\bbF^p(\fE,a)$라는 리 대수의 수열을 정의하여, 순서 $p$ 이하의 모든 라크 쌍과 영곡률 표현(ZCR)을 포괄한다.
• 모든 ZCR이 국소적으로 $\bbF^p(\fE,a)$의 표현과 게이지 동치임을 보여, ZCR에 대한 표준 정규형을 제공한다.
• $\bbF^p(\fE,a)$의 구조적 성질을 확립하며, 특히 $\bbF^p(\fE,a) \to \bbF^{p-1}(\fE,a)$의 사영 사상의 핵이 $\bbF^p(\fE,a)$의 중심에 포함됨을 증명한다.
• 이 프레임워크를 KdV 유형 및 크리체버-노빅프 유형 방정식에 적용하여 Bäcklund 변환에 의한 분류를 수행한다.

제안 방법

• $(1+1)$차원 진화 PDE의 무한 연장 $\fE$의 각 비음수 정수 $p$와 점 $a$에 대해 리 대수 $\bbF^p(\fE,a)$를 정의한다.
• 게이지 변환을 이용해 모든 ZCR을 정규형으로 줄이며, 모든 ZCR이 국소적으로 $\bbF^p(\fE,a)$의 벡터장 표현으로부터 유도된 ZCR과 게이지 동치임을 보인다.
• $\bbF^p(\fE,a) \to \bbF^{p-1}(\fE,a)$의 준동형 사상을 구성하고, 그 핵을 분석하며, $\text{ker}(\bbF^p(\fE,a) \to \bbF^{p-1}(\fE,a))$ 가 $\bbF^p(\fE,a)$의 중심에 포함됨을 증명한다.
• 귀납법을 사용하여 $\bbF^k(\fE,a) \to \bbF^0(\fE,a)$의 합성 사상의 핵이 노름 가능함을 증명하며, 이는 연속된 핵의 중심성에 기반한다.
• $\bbF^p(\fE,a)$를 KdV 유형 방정식과 다중성분 랑두-리프시츠 시스템에 대해 계산하여, 대수적 곡선 위의 행렬 함수로 구성된 무한차원 대수, 해소 가능 아이디얼, 그리고 반단순 부분대수를 드러낸다.
• 이 프레임워크를 적용하여 두 진화 PDE가 Bäcklund 변환으로 연결되기 위한 필요 조건을 도출한다. 이는 각각의 $\bbF^p(\fE,a)$ 대수 간의 사영 사슬과 핵 조건의 호환성에 기반한다.

실험 결과

연구 질문

• RQ1 임계도 연장 기법을 사용하여 $(1+1)$차원 진화 PDE의 모든 영곡률 표현(ZCR)을 체계적으로 분류할 수 있는 방법은 무엇인가? 이는 비선형 표현까지 포함한다.
• RQ2 게이지 변환이 ZCR을 정규화하는 데 어떤 역할을 하는가? 이를 통해 ZCR에 대한 표준형을 정의할 수 있는가?
• RQ3 $\bbF^p(\fE,a)$ 대수는 두 진화 PDE 간 Bäcklund 변환의 존재와 어떻게 관련되어 있는가?
• RQ4 특정 PDE, 예를 들어 KdV 유형 방정식에 대해 $\bbF^p(\fE,a)$ 대수에서 나타나는 구조적 성질(예: 중심성, 노름 가능성, 반단순성)은 무엇인가?
• RQ5 $\bbF^p(\fE,a)$ 대수는 다양한 임계도에서 라크 쌍과 ZCR을 통합된 프레임워크로 탐지할 수 있는가?

주요 결과

• 모든 $(1+1)$차원 진화 PDE의 영곡률 표현은 $x$-성분의 임계도가 $p$인 경우, 리 대수 $\bbF^p(\fE,a)$의 표현과 국소적으로 게이지 동치이다.
• $\bbF^p(\fE,a) \to \bbF^{p-1}(\fE,a)$ 사영 사상의 핵은 $\bbF^p(\fE,a)$의 중심에 포함되어 있으며, 이는 워플리스트-에스타브루크 방법의 이전 결과를 일반화하는 구조적 성질이다.
• $\bbF^k(\fE,a) \to \bbF^0(\fE,a)$의 합성 사상의 핵은 노름 가능하며, 이는 연속된 핵의 중심성과 관련이 있으며, ZCR에 강력한 대수적 제약 조건을 암시한다.
• KdV 유형 방정수의 경우, $\bbF^p(\fE,a)$ 대수는 대수적 곡선 위의 행렬 함수로 이루어진 무한차원 부분대수를 포함하며, 깊은 기하적 구조를 반영한다.
• 다중성분 랑두-리프시츠 시스템의 $\bbF^p(\fE,a)$ 대수는 해소 가능 아이디얼과 반단순 리 대수를 모두 포함하며, 이러한 시스템의 통합성 계층을 반영한다.
• 이 프레임워크는 두 진화 PDE가 Bäcklund 변환으로 연결되기 위한 필요 조건을 제공한다: 각각의 $\bbF^p(\fE,a)$ 대수는 사영 사슬과 핵 조건에서 호환되어야 한다.