[논문 리뷰] Integrable Lagrangians and modular forms

E. V. Ferapontov, A. V. Odesskiĭ|ArXiv.org|2007. 07. 23.

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

한 줄 요약

이 논문은 3차원 라그랑지안과 모듈라 형식 사이의 깊은 연결 고리를 확립한다. 적분 가능 조건—라그랑지안 밀도 f에 대한 4계 편미분방정식계로 서술된 조건—이 20개의 매개변수를 가진 리 대칭군에 대해 불변임을 보여주며, 일반해는 복소 하이퍼볼릭 볼 위의 무게 1, 수준 3의 모듈라 형식에 대응한다. 이는 적분 가능 조건을 선형화하고 자동형 함수에 뿌리를 둔 마스터-라그랑지안의 구조를 드러낸다.

ABSTRACT

We investigate non-degenerate Lagrangians of the form $$ \int f(u_x, u_y, u_t) dx dy dt $$ such that the corresponding Euler-Lagrange equations $ (f_{u_x})_x+ (f_{u_y})_y+ (f_{u_t})_t=0 $ are integrable by the method of hydrodynamic reductions. We demonstrate that the integrability conditions, which constitute an involutive over-determined system of fourth order PDEs for the Lagrangian density f, are invariant under a 20-parameter group of Lie-point symmetries whose action on the moduli space of integrable Lagrangians has an open orbit. The density of the `master-Lagrangian' corresponding to this orbit is shown to be a modular form in three variables defined on a complex hyperbolic ball. We demonstrate how the knowledge of the symmetry group allows one to linearise the integrability conditions.

연구 동기 및 목표

• 3차원 라그랑지안 f(u_x, u_y, u_t)의 비퇴화성 조건을 만족시키며, 오일러-라그랑주 방정식이 수압 감소를 통해 적분 가능한 경우를 특성화하는 것.
• 적분 가능 조건의 전체 대칭군을 규명하고, 그 군이 적분 가능한 라그랑지안의 모듈리 공간에 작용하는 방식을 분석하는 것.
• 다변수의 모듈라 및 자동형 함수를 사용하여 적분 가능성 체계의 명시적 해를 구성하는 것.
• 적분 가능성 체계의 일반해가 무게 1, 수준 3의 모듈라 형식에 대응함을 보이는 것.
• 대칭 변환을 통한 알려진 다항식 라그랑지안(예: 분산 없는 KP, 보이어-핀리)의 기울어짐 극한과의 연결 고리를 탐색하는 것.

제안 방법

• 라그랑지안의 헤시안 H, 두 번째 도함수의 대칭 행렬 M, 그리고 대칭 미분 d^3f와 d^4f를 포함하는 압축된 미분 항등식을 통해 적분 가능 조건을 유도한다.
• 적분 가능성 체계가 프로젝티브 및 애파인 변환으로 구성된 20개의 매개변수를 가진 리 군에 대해 불변임을 증명하며, 이 군은 SL(4,R)와 동형임을 보인다.
• 대칭 축소 기법을 적용하여 군 작용 하에서 선형화된 체계를 만족하는 미분 불변량을 식별함으로써 적분 가능성 체계를 선형화한다.
• f = u_x u_y g(u_t)인 경우, g에 대한 상미분방정식을 유도하고 GL(2,R)-불변성에 의해 해를 구한다. 이로써 해는 θ 급수 형태가 되며, z = u_t / (2πi)에서 모듈라 형식이 된다.
• 일반적인 경우 f(u_x, u_y, u_t)는 두 개 또는 세 개의 변수에 대한 모듈라 형식의 급수 전개를 통해 자동형 해를 구성함으로써 분석된다.
• 대칭군의 열린 궤도를 식별하고, 해 공간을 도메인 D 위의 G-불변 함수로 표현함으로써, 복소 하이퍼볼릭 볼 위의 모듈라 형식으로서의 마스터-라그랑지안 밀도를 구성한다.

실험 결과

연구 질문

• RQ1 3차원 라그랑지안 f(u_x, u_y, u_t)의 적분 가능 조건에 대한 전체 대칭군은 무엇인가?
• RQ2 대칭군을 사용하여 적분 가능성 체계를 어떻게 선형화할 수 있는가?
• RQ3 적분 가능한 라그랑지안의 모듈리 공간의 기하학적 및 산술적 구조는 무엇인가?
• RQ4 적분 가능성 체계의 일반해는 모듈라 또는 자동형 형식으로 표현될 수 있는가?
• RQ5 기존의 다항식 라그랑지안(예: 분산 없는 KP, 보이어-핀리)은 마스터-라그랑지안의 기울어짐 극한으로 어떻게 유도되는가?

주요 결과

• f(u_x, u_y, u_t)에 대한 적분 가능 조건은 SL(4,R)와 동형인 20개의 매개변수를 가진 리 군에 대해 불변이며, 이 군은 적분 가능한 라그랑지안의 20차원 모듈리 공간 위에 열린 궤도를 가진다.
• f = u_x u_y g(u_t)이고 g(u_t) = ∑_{(α,β)∈ℤ²} e^{(α²−αβ+β²)u_t}일 때, 적분 가능성 체계의 일반해는 무게 1, 수준 3의 모듈라 형식인 아이젠스타인 급수 E_{1,3}(z)에 대응한다.
• u_t = 2πiz로 치환하면 급수 g(u_t)는 모듈라 군 Γ(3) 위의 무게 1의 정칙 캐시스 형식인 모듈라 형식 E_{1,3}(z)가 된다.
• 마스터-라그랑지안 밀도는 행렬 J로 정의된 헤르미트 형식을 보존하는 SL(4,ℂ)의 부분군 G ⊂ SL(4,ℂ)에 의해 보존되는 복소 하이퍼볼릭 볼 D 위의 모듈라 형식으로 실현된다.
• 마스터-라그랑지안의 기울어짐 극한은 분산 없는 KP 및 보이어-핀리 방정식과 같은 알려진 다항식 라그랑지안을 복원하며, 이는 통합적인 대칭 기반 프레임워크를 시사한다.
• 대칭군 작용을 통해 세 개의 미분 불변량 x, y, z를 식별함으로써, SL(4,R) 변환 하에서 선형 체계를 만족시키는 선형화된 체계를 달성할 수 있다.