[논문 리뷰] On the long-time statistical behavior of smooth solutions of the weakly damped, stochastically-driven KdV equation

Nathan Glatt-Holtz, Vincent R. Martinez외 1명|arXiv (Cornell University)|2021. 03. 24.

Advanced Mathematical Physics Problems인용 수 5

한 줄 요약

이 논문은 토러스 위에서 약하게 감쇠되고 확률적으로 구동되는 코르티제-데브리스(Korteweg-de Vries, KdV) 방정식에 대해, 모든 소볼레프 정규성에서 일관된 시간에 대해 유계인 모든 소볼레프 노름을 제어할 수 있도록 적분의 운동량을 수정하여 리아푸노프 구조를 구성함으로써, 불변 측도의 존재성, 유일성 및 매끄러움을 확립한다. 이는 기대값에 대한 새로운 약한 포아스-프로디 추정과 큰 감쇠 영역에서의 스펙트럼 갭 분석을 통해 지수 혼합성과 유일한 에르고딕성을 증명한다.

ABSTRACT

This paper considers the damped periodic Korteweg-de Vries (KdV) equation in the presence of a white-in-time and spatially smooth stochastic source term and studies the long-time behavior of solutions. We show that the integrals of motion for KdV can be exploited to prove regularity and ergodic properties of invariant measures for damped stochastic KdV. First, by considering non-trivial modifications of the integrals of motion, we establish Lyapunov structure by proving that moments of Sobolev norms of solutions at all orders of regularity are bounded globally-in-time; existence of invariant measures follows as an immediate consequence. Next, we prove a weak Foias-Prodi type estimate for damped stochastic KdV, for which the synchronization occurs in expected value. This estimate plays a crucial role throughout our subsequent analysis. As a first novel application, we combine the Foias-Prodi estimate with the Lyapunov structure to establish that invariant measures are supported on smooth functions provided that the external driving forces are smooth. We then establish ergodic properties of invariant measures, treating the regimes of arbitrary damping and large damping separately. For arbitrary damping, we demonstrate that the framework of `asymptotic coupling' can be implemented for a compact proof of uniqueness of the invariant measure provided that sufficiently many directions in phase space are stochastically forced. Our proof is paradigmatic for SPDEs for which a weak Foias-Prodi type property holds. Lastly, for large damping, we establish the existence of a spectral gap with respect to a Wasserstein-like distance, and exponential mixing and uniqueness of the invariant measure follows.

연구 동기 및 목표

• 약하게 감쇠되고 확률적으로 구동되는 KdV 방정식의 매끄러운 해에 대한 장기적 통계적 행동을 이해하기 위해.
• 적분의 운동량에서 유도된 리아푸노프 구조를 사용하여 불변 측도의 존재성을 확립하기 위해.
• 외부 힘이 매끄럽다면 불변 측도가 $C^{ u}$ 함수에 지지됨을 증명하기 위해.
• 충분히 많은 모드가 비에이전 노이즈로 구동될 경우, 임의의 감쇠 조건 하에서 고유한 에르고딕성을 보여주기 위해.
• 큰 감쇠 영역에서 지수 혼합성과 스펙트럼 갭을 확립하기 위해.

제안 방법

• 모든 소볼레프 노름을 시간에 대해 균일하게 유계로 제어할 수 있도록 적분의 운동량을 수정하여 리아푸노프 구조를 구성하기 위해.
• 선형화된 적분의 운동량에서 유도된, 기대값에서 성립하는 약한 포아스-프로디 유형 추정을 도입하기 위해.
• 리아푸노프 구조와 약한 포아스-프로디 추정을 사용하여, 외부 힘이 매끄럽다면 불변 측도가 $C^{ u}$ 함수에 지지됨을 증명하기 위해.
• 임의의 감쇠 조건 하에서 충분히 많은 확률적으로 구동되는 모드를 가진 경우, 고유한 불변 측도를 증명하기 위해 渐近 결합 프레임워크를 구현하기 위해.
• 지수 혼합성과 큰 감쇠 영역에서의 스펙트럼 갭을 증명하기 위해 일력-일해결 유형의 추론을 적용하기 위해.
• 전역 모멘트 유계성에서 불변 측도의 존재성을 유도하기 위해 크리요프-보골류브 방법을 적용하기 위해.

실험 결과

연구 질문

• RQ1 KdV 방정식의 적분의 운동량은 확률적이고 약하게 감쇠된 설정에서 모든 소볼레프 정규성에 대해 리아푸노프 함수를 구성하는 데 사용될 수 있는가?
• RQ2 기대값에 대한 약한 포아스-프로디 추정은 불변 측도의 고차 정규성에 대한 간결한 증명을 가능하게 하는가?
• RQ3 어떤 조건에서 약한 감쇠와 임의의 감쇠 조건을 가진 확률적 구동 KdV 방정식에 대해 고유한 에르고딕성이 성립하는가?
• RQ4 스펙트럼 갭 추론을 사용하여 큰 감쇠 영역에서 지수 혼합성을 확립할 수 있는가?
• RQ5 불변 측도의 정규성은 외부 힘과 노이즈의 매끄러움에 어떻게 의존하는가?

주요 결과

• 모든 소볼레프 노름의 모멘트가 시간에 대해 전역적으로 유계이므로, 크리요프-보골류브 방법을 통해 불변 측도의 존재성을 보장한다.
• 외부 힘과 노이즈가 매끄럽다면, 리아푸노프 구조와 약한 포아스-프로디 추정 덕분에 불변 측도는 항상 $C^{ u}$ 함수에 지지된다.
• 충분히 많은 모드가 확률적으로 구동될 경우, 임의의 감쇠 조건 하에서 渐近 결합 프레임워크를 통해 고유한 에르고딕성이 확립된다.
• 큰 감쇠 영역에서 일력-일해결 유형의 추론을 통해 지수 혼합성과 스펙트럼 갭이 증명된다.
• 기대값에 대한 약한 포아스-프로디 추정은 확률적 정규성과 고유성 증명을 가능하게 하는 핵심 기술적 도구이다.
• 결과들은 약한 감쇠와 완전한 적분 가능성의 조합이 강한 감쇠 시스템과는 다를 만한 강력한 에르고딕성 및 혼합 성질을 가능하게 한다는 것을 보여준다.