[논문 리뷰] Second order quasilinear PDEs and conformal structures in projective space

P. A. BUROVSKIY, E. V. Ferapontov외 1명|ArXiv.org|2008. 02. 19.

Nonlinear Waves and Solitons참고 문헌 33인용 수 7

한 줄 요약

이 논문은 3개의 변수를 가진 2계 쿼드라틱 선형 미분방정식의 적분 가능성을 기하학적으로 분류한다. 이는 계수들이 사영 공간 위의 등각 구조를 정의하며, 적분 가능성은 등각 평탄성과 무한히 많은 3-공액 영좌표계의 존재와 동치임을 보여준다. 이러한 적분 가능성 방정식의 모듈리 공간은 정확히 20차원임을 증명하였고, 모든 해는 분산 없는 라크스 쌍을 갖는 보존형임을 보였다.

ABSTRACT

We investigate second order quasilinear equations of the form f_{ij} u_{x_ix_j}=0 where u is a function of n independent variables x_1, ..., x_n, and the coefficients f_{ij} are functions of the first order derivatives p^1=u_{x_1}, >..., p^n=u_{x_n} only. We demonstrate that the natural equivalence group of the problem is isomorphic to SL(n+1, R), which acts by projective transformations on the space P^n with coordinates p^1, ..., p^n. The coefficient matrix f_{ij} defines on P^n a conformal structure f_{ij} dp^idp^j. In this paper we concentrate on the case n=3, although some results hold in any dimension. The necessary and sufficient conditions for the integrability of such equations by the method of hydrodynamic reductions are derived. These conditions constitute a complicated over-determined system of PDEs for the coefficients f_{ij}, which is in involution. We prove that the moduli space of integrable equations is 20-dimensional. Based on these results, we show that any equation satisfying the integrability conditions is necessarily conservative, and possesses a dispersionless Lax pair. Reformulated in differential-geometric terms, the integrability conditions imply that the conformal structure f_{ij} dp^idp^j is conformally flat, and possesses an infinity of 3-conjugate null coordinate systems. Integrable equations provide an abundance of explicit examples of such conformal structures parametrized by elementary functions, elliptic functions and modular forms.

연구 동기 및 목표

• 3개의 독립 변수를 가진 2계 쿼드라틱 선형 PDE의 적분 가능성에 대한 통합적이고 내재적인 특성화를 제공한다.
• 이러한 PDE의 자연스러운 동치군을 사영 변환을 통해 1차 도함수 공간에 작용하는 SL(4,R)로 식별한다.
• 수체적 감소 방법을 사용하여 적분 가능성의 필요 및 충분 조건을 유도한다.
• 단순화된 가정 하에서 적분 가능성 방정식을 분류하여 초월함수, 타원함수, 모듈러 함수를 이용한 새로운 예를 도출한다.
• 등각 평탄성과 3-공액 영좌표계의 존재를 통한 적분 가능성의 미분기하학적 특성화를 수립한다.

제안 방법

• 수체적 감소 방법을 적용하여 계수 $f_{ij}$에 대한 과잉정의된 PDE 시스템을 유도한다. 이는 적분 가능성의 필요 및 충분 조건이다.
• 자연스러운 동치군을 $SL(4,\mathbb{R})$로 식별하며, 이는 사영 공간 $\mathbb{P}^3$에 좌표 $p^1, p^2, p^3$를 통해 1차 도함수에 작용한다.
• 적분 가능성 조건을 등각 구조 $f_{ij}(\mathbf{p})dp^i dp^j$가 등각 평탄하고, 무한히 많은 3-공액 영좌표계를 포함해야 한다는 조건으로 재구성한다.
• 기호 계산을 통해 수백만 개의 항을 가진 시스템을 4500개 이하의 항을 가진 다항식 시스템으로 압축한 후, $f_{ij}$의 2차 도함수에 대한 30개의 독립 방정식을 풀었다.
• 시스템을 단순화하기 위해 정규화 $f_{22} = 1$를 적용하고, $d^2f_{ij} = \frac{1}{F}R(f_{kl}, df_{kl})$ 형태의 닫힌 표현식을 유도한다. 여기서 $R$은 $f_{kl}$과 $df_{kl}$에 대해 이차형이다.
• 시스템이 포함성(involution)임을 확인하여, 적분 가능성 방정식의 20차원 모듈리 공간이 존재함을 확인한다.

실험 결과

연구 질문

• RQ1 계수들이 1차 도함수에만 의존하는 3변수 2계 쿼드라틱 선형 PDE의 자연스러운 동치군은 무엇인가?
• RQ2 이러한 PDE가 수체적 감소를 통해 적분 가능하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 이러한 PDE의 적분 가능성은 미분기하학적으로 어떻게 특성화할 수 있는가?
• RQ4 이러한 유형의 적분 가능성 방정식의 모듈리 공간의 차원은 얼마인가?
• RQ5 초월함수, 타원함수, 모듈러 함수 중 어떤 것이 이 클래스의 계수를 매개변수화할 수 있는가?

주요 결과

• 3개의 변수를 가진 2계 쿼드라틱 선형 PDE의 적분 가능성 방정식의 모듈리 공간은 정확히 20차원이며, 이는 5개의 계수 $f_{ij}$와 그 3개의 1차 도함수에 대한 제약 조건 없이 유도된다.
• 이 클래스의 모든 적분 가능성 방정식은 보존적이며, 적분 가능성 조건의 결과로 분산 없는 라크스 쌍을 갖는다.
• $\mathbb{P}^3$ 위의 등각 구조 $f_{ij}(\mathbf{p})dp^i dp^j$는 반드시 등각 평탄하고, 한 변수의 임의 함수 3개로 매개변수화된 무한한 3-공액 영좌표계를 포함한다.
• 적분 가능성 조건은 $f_{ij}$의 2차 도함수에 대한 30개의 선형 독립 방정식으로 표현되며, 이들은 포함성 조건을 만족하고 닫힌 해를 갖는다.
• 바이어슈트르 $\wp$-함수와 모듈러 형식을 사용하여 적분 가능성 방정식의 구체적 예를 구성하였다. 그 중 하나는 수준 2의 모듈러 형식과 관련된 3차 ODE를 만족하는 계수 함수를 포함한다.
• 주요 기술적 성취로는 분산관계와 정규화를 활용한 체계적 취소를 통해 수백만 개의 항을 가진 시스템을 4500개 이하의 항을 가진 다항식 시스템으로 압축한 것이다.