[논문 리뷰] Hamiltonian Birkhoff normal form for gravity-capillary water waves with constant vorticity: almost global existence

Massimiliano Berti, Alberto Maspero외 1명|arXiv (Cornell University)|2022. 12. 23.

Nonlinear Waves and Solitons인용 수 7

한 줄 요약

이 논문은 1차원 중력-마찰수면파에 대해 일정 비선형성과 공간 주기적 해에 대해 거의 전역 존재 결과를 확립한다. 이는 새로운 해밀턴 파라디퍼렌셜 비르코프 정규형 축약 기법을 사용한 것이다. 저자들은 심플렉틱 구조를 유지하기 위해, 표준 파라디퍼렌셜 미적분학이 심플렉틱 제약 조건 하에서 붕괴되는 문제를 해결하기 위해, 해밀턴 구조를 유지하는 새로운 대칭 보정 다르부 알고리즘을 개발하였다. 이는 임의의 동차 차수까지의 보정을 가능하게 하며, 해밀턴성에 기인한 소볼레프 노름 보존을 보장한다. 이는 비통합 가능한 경우에도 성립한다. 또한 표면 장력 값의 전 measure 집합에 대해 존재 시간이 긴 수준을 확보한다.

ABSTRACT

We prove an almost global in time existence result of small amplitude space periodic solutions of the 1D gravity-capillary water waves equations with constant vorticity. The result holds for any value of gravity, vorticity and depth and any surface tension belonging to a full measure set. The proof demands a Hamiltonian paradifferential Birkhoff normal form reduction for quasi-linear PDEs in presence of resonant wave interactions: the normal form may be not integrable but it preserves the Sobolev norms thanks to its Hamiltonian nature. A major difficulty is that usual paradifferential calculus used to prove local well posedness (as the celebrated Alinhac good unknown) does not preserve the Hamiltonian structure. A major novelty of this paper is to develop an algorithmic perturbative procedure à la Darboux to correct usual paradifferential transformations to symplectic maps, up to an arbitrary degree of homogeneity. The symplectic correctors turn out to be smoothing perturbations of the identity, and therefore only slightly modify the paradifferential structure of the equations. The Darboux procedure which recovers the nonlinear Hamiltonian structure is written in an abstract functional setting, in order to be applicable also in other contexts.

연구 동기 및 목표

• 1D 중력-마찰수면파에 대해 일정 비선형성과 작은 진폭, 공간 주기적 해의 거의 전역 존재성을 확립한다.
• 표준 파라디퍼렌셜 미적분학이 정규형 축약 과정에서 해밀턴 구조를 유지하지 못하는 문제를 해결한다.
• 임의의 동차 차수까지 비심플렉틱 파라디퍼렌셜 변환을 심플렉틱 사상으로 보정하는 체계적인 알고리즘 절차를 개발한다.
• 비통합 가능하더라도 해밀턴성에 기인해 소볼레프 노름이 보존되는 최종 정규형을 증명한다.
• 공진적 파동 상호작용과 비영이 아닌 비선형성을 가진 비선형 편미분방정식에 대해 해밀턴 정규형 기법의 적용 범위를 확장한다.

제안 방법

• 일정 비선형성을 가진 해밀턴 자카르프-크레이그-수레움 프레임워크를 사용하여 수면파 방정식을 기술한다. 이는 일반화된 속도 포텐셜과 딜리클레-노이만 연산자를 사용한다.
• 알리냐크의 복잡한 양호한 미지수를 도입하여 시스템을 선형화하고, 파라디퍼렌셜 형태로 방정식을 축약한다.
• 표준 파라디퍼렌셜 사상에서 심플렉틱 사상으로 변환하기 위해 추상적 다르부 유형 절차를 통해 심플렉틱 보정을 구성한다. 이는 해밀턴 성질을 유지한다.
• 각 동차 차수 수준에서 보정을 반복적이고 알고리즘적으로 수행하여, 보정이 항등사상의 스무딩 편향임을 보장한다.
• 표면 장력에 비공진 조건을 적용하여 측도가 0인 값을 제외함으로써, 정규형을 임의의 차수까지 구성할 수 있도록 보장한다.
• 수정된 정규형의 크기를 제어함으로써 소볼레프 공간에서 에너지 추정을 확립하고, 거의 전역 존재성을 도출한다.

실험 결과

연구 질문

• RQ1 공진적 상호작용이 존재하는 상황에서, 일정 비선형성을 가진 중력-마찰수면파의 해밀턴 구조는 비르코프 정규형 축약 과정에서도 유지될 수 있는가?
• RQ2 비선형 편미분방정식의 정규형 축약 과정에서 심플렉틱성을 유지하기 위해 파라디퍼렌셜 미적분학은 어떻게 수정되어야 하는가?
• RQ3 일정 비선형성과 공간 주기적 해를 가진 수면파 시스템에 대해, 소규모 진폭 해의 최대 존재 시간은 얼마인가?
• RQ4 정규형 절차가 소수의 분모 문제를 피하고 장시간 존재를 보장하는 표면 장력 값의 전 measure 집합을 식별할 수 있는가?
• RQ5 보정된 정규형의 해밀턴 성질이 장시간에 걸쳐 소볼레프 노름 보존을 얼마나 잘 보장하는가?

주요 결과

• 논문은 표면 장력 값의 전 measure 집합에서, 중력, 비선형성, 깊이, 모든 조건에 대해 일정 비선형성을 가진 1D 중력-마찰수면파 방정식에 대해 소규모 진폭, 공간 주기적 해의 거의 전역 존재성을 증명한다.
• 저자들은 비통합 가능하더라도 심플렉틱 성질에 기인해 소볼레프 노름을 보존하는 해밀턴 비르코프 정규형을 구성한다.
• 표준 파라디퍼렌셜 변환을 심플렉틱 사상으로 변환하는 데 사용되는 새로운 심플렉틱 보정 다르부 알고리즘을 개발하였으며, 보정은 항등사상의 스무딩 편향이다.
• 기존의 파라디퍼렌셜 미적분학(예: 알리냐크의 양호한 미지수)이 해밀턴 구조를 유지하지 못하는 장애를 극복한다.
• 표면 장력에 대한 비공진 조건은 제외되는 값의 집합이 측도 0임을 보장하며, 존재 시간은 초기 자료 크기의 역수에 대해 거의 다항식 수준이다.
• 이 결과는 중력, 비선형성, 깊이의 모든 값에 대해 균일하게 성립하며, 무한 깊이 경우를 포함하여 깊이가 무한하거나 유한한 경우 모두 적용 가능하다.