[논문 리뷰] Almost global existence of solutions for capillarity-gravity water waves equations with periodic spatial boundary conditions

Massimiliano Berti, Jean-Marc Delort|arXiv (Cornell University)|2017. 02. 06.

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

한 줄 요약

이 논문은 일차원 공간에서 주기적이고 짝수인 소규모 초기 자료에 대해 표면장력-중력 수면파 방정식에서 거의 전역 존재성을 확립한다. 파라라인어화와 소수의 보정을 위해 파라디퍼렌셜 정규화를 활용하는 새로운 정규형 절차를 결합함으로써, 저자들은 중력-표면장력 매개변수의 영도집합을 제외한 거의 모든 경우에 대해 시간 순서 $\epsilon^{-N}$ 동안 해가 존재함을 증명한다. 이는 임의의 $N$에 대해 성립한다.

ABSTRACT

The goal of this monograph is to prove that any solution of the Cauchy problem for the capillarity-gravity water waves equations, in one space dimension, with periodic, even in space, initial data of small size $ε$, is almost globally defined in time on Sobolev spaces, i.e. it exists on a time interval of length of magnitude $ε^{-N}$ for any $N$, as soon as the initial data are smooth enough, and the gravity-capillarity parameters are taken outside an exceptional subset of zero measure. In contrast to the many results known for these equations on the real line, with decaying Cauchy data, one cannot make use of dispersive properties of the linear flow. Instead, our method is based on a normal forms procedure, in order to eliminate those contributions to the Sobolev energy that are of lower degree of homogeneity in the solution. Since the water waves equations are a quasi-linear system, usual normal forms approaches would face the well known problem of losses of derivatives in the unbounded transformations. In this monograph, to overcome such a difficulty, after a paralinearization of the capillarity-gravity water waves equations, necessary to obtain energy estimates, and thus local existence of the solutions, we first perform several paradifferential reductions of the equations to obtain a diagonal system with constant coefficients symbols, up to smoothing remainders. Then we may start with a normal form procedure where the small divisors are compensated by the previous paradifferential regularization.The reversible structure of the water waves equations, and the fact that we look for solutions even in $x$, guarantees a key cancellation which prevents the growth of the Sobolev norms of the solutions.

연구 동기 및 목표

• 일차원에서 주기적이고 짝수이며 소규모인 초기 자료를 갖는 표면장력-중력 수면파 방정식의 해에 대해 거의 전역 존재성을 확립한다.
• 정규형 절차를 통해 준선형 시스템에서 유도되는 도함수 손실 문제를 파라라인어화와 결합함으로써 극복한다.
• 정규형 절차에서 발생하는 소수를 고려하기 위해 방정식의 사전 파라디퍼렌셜 정규화를 통해 보완한다.
• 시스템의 가역성 구조와 대칭성(짝수 성질)을 활용하여 소볼레프 노름 증가를 방지한다.
• 산란 효과가 없는 주기적 경계 조건으로의 장시간 존재성 결과를 확장한다. 이는 실수선에서는 산란 효과가 존재하지만 주기적 조건에서는 그렇지 않기 때문이다.

제안 방법

• 표면장력-중력 수면파 방정식에 파라라인어화를 적용하여 에너지 추정을 확보하고 국소 존재성을 확보한다.
• 다중 파라디퍼렌셜 축소를 수행하여, 스무딩 잔여항을 제외한 상수 계수 기호를 갖는 대각형으로 시스템을 변환한다.
• 소수 보정을 위한 사전 정규화를 통해 정규형 절차에서 하향 차수의 동차 항을 제거함으로써 소볼레프 노름 성장에 기여하는 항을 제거한다.
• 방정식의 가역성과 짝수 성질 유지를 통해 핵심적인 상쇄 효과를 유도하여 노름 붓기(증가)를 방지한다.
• 자유 경계 조건을 다루기 위해 파라디퍼렌셜 및 파라-푸아송 연산자를 사용하여 딜리클레-노이만 연산자의 파라트리크스를 구성한다.
• 복소좌표 표현에서 기호 계산을 용이하게 하기 위해 좋은 미지수 표현을 사용하여 시스템을 단순화한다.

실험 결과

연구 질문

• RQ1 산란 효과가 없는 주기적 공간 경계 조건을 갖는 표면장력-중력 수면파에 대해 거의 전역 존재성을 확립할 수 있는가?
• RQ2 정규형 절차의 맥락에서 준선형 파라디퍼렌셜 시스템에서 발생하는 도함수 손실 문제는 어떻게 극복할 수 있는가?
• RQ3 초기 자료의 가역성과 짝수 성질의 구조적 특성이 소볼레프 노름 증가를 방지하는 데 어떤 역할을 하는가?
• RQ4 산란 감쇠가 없는 상황에서 소수가 나타날 경우 정규형 절차는 어느 정도 적응 가능한가?
• RQ5 파라디퍼렌셜 정규화를 통해 상수 계수 기호로의 감소가 가능해지며, 이는 효과적인 정규형 변환을 가능하게 하는가?

주요 결과

• 소규모이고 부드럽고 주기적이며 짝수인 초기 자료를 갖는 해는 임의의 $N$에 대해 시간 간격 $\epsilon^{-N}$ 동안 존재함을 보여, 거의 전역 존재성을 입증한다.
• 정규형 절차는 하향 차수의 에너지 기여를 성공적으로 제거하여 장시간에 걸친 소볼레프 노름 증가를 방지한다.
• 파라디퍼렌셜 미적분 프레임워크 내에서 딜리클레-노이만 연산자의 기호가 순서 $-1$ 임을 입증하였으며, 이는 에너지 추정에 핵심적이다.
• 가역성과 대칭성에 기인한 핵심 상쇄 효과는 정규형 항이 도함수 손실이나 노름 붓기를 유도하지 않음을 보장한다.
• 해는 중력-표면장력 매개변수의 영도집합을 제외한 거의 모든 경우에서 강건하며, 거의 전역 존재성이 일반적으로 성립함을 보장한다.
• 반복적인 파라디퍼렌셜 축소를 통해 상수 계수 기호로의 감소가 달성되었으며, 이는 효과적인 소수 보정을 가능하게 한다.