[논문 리뷰] Global existence for the two-dimensional Kuramoto-Sivashinsky equation with advection

Yuanyuan Feng, Anna L. Mazzucato|arXiv (Cornell University)|2020. 09. 08.

Stability and Controllability of Differential Equations참고 문헌 34인용 수 8

한 줄 요약

이 논문은 충분히 작은 소산 시간을 가진 이완 증강 성질을 갖는 광역 속도장이 존재할 경우, 임의의 초기 자료에 대해 $L^2$에서 두 차원 Kuramoto-Sivashinsky 방정식에 대한 온건한 해의 전역 존재성을 확립한다. 광역이 없을 경우, 전역 존재성은 성장 모드가 없고 초기 자료가 작을 때에만 증명되며, 혼합에 의한 향상된 확산을 활용하여 비선형 역학을 안정화시킨다.

ABSTRACT

We study the Kuramoto-Sivashinsky equation (KSE) in scalar form on the two-dimensional torus with and without advection by an incompressible vector field. We prove local existence of mild solutions for arbitrary data in L2. We then study the issue of global existence. We prove global existence for the KSE in the presence of advection for arbitrary data, provided the advecting velocity field v satisfies certain conditions that ensure the dissipation time of the associated hyperdiffusion-advection equation is sufficiently small. In the absence of advection, global existence can be shown only if the linearized operator does not admit any growing mode and for sufficiently small initial data.

연구 동기 및 목표

• 두 차원 Kuramoto-Sivashinsky 방정식에 대한 광역이 있는 $L^2$에서 임의의 초기 자료에 대해 온건한 해의 전역 존재성을 확립하는 것.
• 선형화된 연산자가 성장 모드를 포함할 경우에도 광역이 폭발을 방지하는 안정화 효과를 분석하는 것.
• 이전의 소규모 자료 전역 존재 결과를 두 차원에서 스칼라 형태의 KSE로 확장하는 것.
• 혼합과 소산 시간이 증가된 확산을 통해 전역 존재성을 가능하게 하는 역할을 정량화하는 것.
• 특화된 함수 공간에서 반복 함수 추론과 반복 함수 추론 원리를 활용한 온건한 해 존재를 위한 프레임워크 제공.

제안 방법

• 선형 광역이 있는 두 차원 Kuramoto-Sivashinsky 방정식의 스칼라 형태를 설정: $\partial_t\phi + \mathbf{v}\cdot\nabla\phi + \frac{1}{2}|\nabla\phi|^2 = -\Delta^2\phi - \Delta\phi$.
• 해와 그 기울기의 가중 $L^2$ 노름을 포함하고 시간 감쇠 $t^{1/4}$를 적용한 함수 공간 $\widetilde{X}_T$ 정의.
• 선형화된 연산자 $e^{-t\mathcal{L}}$에 대한 반응 군 추정을 사용하여 $\mathcal{L} = \Delta^2 + \Delta + \text{광역 항들}$ 이며 $\widetilde{X}_T$ 내의 진화를 제어.
• 소규모 자료 또는 유리한 혼합 조건 하에서 $\widetilde{X}_\infty$ 내에서 고정점 추론을 적용하여 온건한 해를 구성하고, 수축 사상 원리를 활용.
• 베셀 함수와 특이 적분을 포함한 적분 추정을 통해 비선형 항에 대한 추정을 확립하며, $L^1 \to L^2$ 및 $L^2 \to \dot{H}^1$ 연산자 노름을 활용.
• 광역-확산 시스템의 소산 시간 $\tau^*$를 정의하고, 이를 충분히 작게 유지하여 충분한 혼합과 증가된 확산을 보장.

실험 결과

연구 질문

• RQ1 광역이 존재할 경우, 임의의 $L^2$ 초기 자료에 대해 두 차원 Kuramoto-Sivashinsky 방정식에 대한 온건한 해의 전역 존재성을 확보할 수 있는가?
• RQ2 광역 속도장 $\mathbf{v}$가 어떤 조건을 만족해야 선형화된 연산자가 성장 모드를 포함하더라도 전역 존재성을 보장할 수 있는가?
• RQ3 혼합에 의해 유도된 증가된 확산은 두 차원 KSE의 비선형 역학을 어떻게 안정화하는가?
• RQ4 광역이 없을 경우 큰 초기 자료에 대해서도 전역 존재성이 달성될 수 있는가, 아니면 소규모 자료 제약이 필수적인가?
• RQ5 소산 시간 $\tau^*$는 해의 안정성과 장기적 행동을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 광역이 존재할 경우, 충분히 작은 소산 시간 $\tau^*$를 가진 이완 증강 성질을 갖는 광역장 $\mathbf{v}$를 조건으로 두 차원 KSE에 대해 임의의 $L^2$ 초기 자료에 대해 온건한 해의 전역 존재성이 증명된다.
• 광역이 없을 경우, 전역 존재성은 선형화된 연산자가 성장 모드를 포함하지 않으며 초기 자료가 $L^2$에서 충분히 작을 때에만 성립한다.
• 소산 시간 $\tau^*$는 초기 에너지의 고정 비율을 소산시키는 데 소요되는 시간으로 정의되며, 작은 $\tau^*$는 시스템을 안정화시키는 증가된 확산을 보장한다.
• 증명은 시간 가중 $L^2$ 노름을 사용한 특화된 함수 공간 $\widetilde{X}_\infty$ 내에서 고정점 추론에 기반하며, 비선형 항 $\nabla\phi \cdot \nabla\phi$ 를 제어한다.
• 비선형성의 특이성에 대응하기 위해 $e^{-t\mathcal{L}}$를 포함한 반응 군 추정이 개선되었으며, $\dot{H}^{-1}$ 유형의 제어가 필요하다.
• 분석 결과, 지수적 혼합 성질을 가진 고강도 흐름은 임의의 자료에 대해 전역 존재성을 달성하는 데 효과적인 광역장이 될 수 있음을 보여준다.