[논문 리뷰] On the integrability of the Benjamin-Ono equation on the torus

Patrick Gérard, Thomas Kappeler|arXiv (Cornell University)|2019. 05. 06.

Advanced Mathematical Physics Problems참고 문헌 24인용 수 15

한 줄 요약

이 논문은 $L^2(\mathbb{T})$ 위에서 전역 Birkhoff 좌표를 구성하여 원환위에서의 Benjamin-Ono 방정식이 가장 강력한 의미에서 통합 가능하다는 것을 증명한다. 이러한 좌표는 실해석적이고, 방정식을 행동각 변수의 체계로 변환한다. 이 좌표는 모든 $L^2$ 해를 시간에 대한 거의주기적 함수로 표현할 수 있게 하며, Lax 연산자의 스펙트럼 분석과 전체 계열을 기반으로 하는 생성 함수를 통해 달성된다.

ABSTRACT

In this paper we prove that the Benjamin-Ono equation, when considered on the torus, is an integrable (pseudo)differential equation in the strongest possible sense: it admits global Birkhoff coordinates on the space $L^2(\T)$. These are coordinates which allow to integrate it by quadrature and hence are also referred to as nonlinear Fourier coefficients. As a consequence, all the $L^2(\T)$ solutions of the Benjamin--Ono equation are almost periodic functions of the time variable. The construction of such coordinates relies on the spectral study of the Lax operator in the Lax pair formulation of the Benjamin--Ono equation and on the use of a generating functional, which encodes the entire Benjamin--Ono hierarchy.

연구 동기 및 목표

• 원환위에서의 Benjamin-Ono 방정식이 전역 Birkhoff 좌표를 갖는다는 것을 증명함으로써 가장 강력한 의미에서 통합 가능하다는 것을 확립한다.
• 실해석적 미분동형사상 $L^2_{r,0}$ 에서 $h^{1/2}_+$ 로의 구성으로, 해를 행동각 변수로 매핑한다.
• Lax 연산자의 스펙트럼 이론과 추적 공식을 이용하여 모든 $L^2$ 해가 시간에 대해 거의주기적임을 보인다.
• 해밀토니언이 오직 행동각 $|\zeta_n|^2$ 에서만 의존함을 증명함으로써 완전한 통합 가능성 확인.

제안 방법

• Benjamin-Ono 방정식과 관련된 Lax 연산자 $L_u$ 의 스펙트럼 성질을 분석하기 위해 Lax 쌍 형식의 사용.
• 전체 Benjamin-Ono 계열을 암호화하고 추적 공식 유도를 가능하게 하는 생성 함수의 구성.
• Lax 연산자의 스펙트럼 데이터를 통해 정의된 복소 Birkhoff 좌표 $\zeta_n(u)$ 의 활용으로 실해석성과 Poisson 괄호의 구조 보장.
• Toeplitz 연산자의 스펙트럼 이론과 하르디 공간의 활용을 통해 $L^2$ 함수와 $h^{1/2}_+$ 내의 수열 간의 관계 설정.
• 추적 공식 증명: $\|u\|^2 = 2\sum_{n=1}^\infty n|\zeta_n|^2$, 파르세발 항등식의 비선형 설정으로 일반화.
• L$^2(\mathbb{R})$ 와 $L^2(\mathbb{T} \times [0,1])$ 사이의 유니터리 동치를 맵 $\psi[f](x,\xi)$ 를 통해 활용하여 $\mathbb{R}$ 상에서 Lax 연산자의 스펙트럼 분석.

실험 결과

연구 질문

• RQ1 원환위에서의 Benjamin-Ono 방정식은 $L^2(\mathbb{T})$ 에서 전역 Birkhoff 좌표를 갖는가?
• RQ2 Lax 연산자의 스펙트럼 데이터는 방정식에 대한 완전한 행동각 변수의 집합을 구성하는 데 사용될 수 있는가?
• RQ3 Benjamin-Ono 방정식의 해밀토니언은 오직 행동각 $|\zeta_n|^2$ 로만 표현될 수 있는가?
• RQ4 모든 $L^2$ 해는 시간에 대해 거의주기적인가?
• RQ5 Lax 연산자 $L_u^\mathbb{R}$ 의 스펙트럼은 $\mathbb{R}$ 에서 어떻게 구성되어 있으며, 원환위 문제와 어떻게 관련되어 있는가?

주요 결과

• 원환위에서의 Benjamin-Ono 방정식은 전역 Birkhoff 좌표 $\Phi: L^2_{r,0} \to h^{1/2}_+$ 를 갖는다. 이 좌표는 실해석적이고 전역적으로 정의되어 있다.
• 좌표 간의 Poisson 괄호는 $\{\zeta_n, \overline{\zeta_k}\} = -i\delta_{nk}$ 와 $\{\zeta_n, \zeta_k\} = 0$ 를 만족하여 캐논ical 구조를 확인한다.
• 해밀토니언 $\mathcal{H} \circ \Phi^{-1}$ 는 오직 행동각 $|\zeta_n|^2$ 에서만 의존하며, 완전한 통합 가능성 확인.
• 모든 $L^2(\mathbb{T})$ 해는 시간에 대해 거의주기적이다. 이는 전역 Birkhoff 좌표의 존재에 직접적인 결과이다.
• 추적 공식이 성립한다: $\|u\|^2 = 2\sum_{n=1}^\infty n|\zeta_n|^2$, 이는 비선형 설정에서 파르세발 항등식을 일반화한다.
• Lax 연산자 $L_u^\mathbb{R}$ 의 스펙트럼은 절대 연속적이며, $\bigcup_{n=0}^\infty [\lambda_n(u), \lambda_n(u)+1]$ 과 같다. 스펙트럼 측도는 $[0,1]$ 에서의 $L^2$-가중 적분으로 주어진다.