[논문 리뷰] Existence and uniqueness of weak solutions to viscous primitive equations for certain class of discontinuous initial data

Jinkai Li, Edriss S. Titi|arXiv (Cornell University)|2015. 12. 02.

Navier-Stokes equation solutions참고 문헌 27인용 수 5

한 줄 요약

이 논문은 초기 자료가 불연속 함수의 클래스에 속할 때, 점성 프리미티브 방정식에 대한 약한 해의 전역 존재성과 유일성을 확립한다. 특히, 공간 $X = \{v \in (L^6(\Omega))^2 \mid \partial_z v \in (L^2(\Omega))^2\}$ 에 속하는 함수의 소규모 $L^∞$ 편미분에 대해 다룬다. 이 결과는 연속성 및 $z$-약한 해에 대한 이전의 유일성 결과를 일반화하며, 조건부 유일성 프레임워크를 도입하고, 정규화 및 컴팩턴스 추론을 통해 불연속 초기 자료를 다루는 데에 기여한다.

ABSTRACT

We establish some conditional uniqueness of weak solutions to the viscous primitive equations, and as an application, we prove the global existence and uniqueness of weak solutions, with the initial data taken as small $L^\infty$ perturbations of functions in the space $X=\left\{v\in (L^6(Ω))^2|\partial_zv\in (L^2(Ω))^2 ight\}$; in particular, the initial data are allowed to be discontinuous. Our result generalizes in a uniform way the result on the uniqueness of weak solutions with continuous initial data and that of the so-called $z$-weak solutions.

연구 동기 및 목표

• 초기 자료가 불연속일 때 점성 프리미티브 방정식에 대한 약한 해의 존재성과 유일성을 확립하는 것.
• 연속된 초기 자료 및 $z$-약한 해에 대한 이전의 유일성 결과를 통합된 프레임워크로 일반화하는 것.
• 프리미티브 방정식의 잘 정의된 이론을 $X$ 공간의 함수에 대한 $L^\infty$ 편미분을 포함하는 더 넓은 초기 자료 클래스로 확장하는 것.
• 특히 수직 속도에 대한 동역학 방정식의 부재로 인해 일반적인 경우에서 약한 해의 유일성 문제가 해결되지 않은 상태에서, 이 문제를 다루는 것.

제안 방법

• 모리피어를 사용한 초기 자료의 정규화를 통해 매끄러운 설정에서 근사 해를 구성하는 것.
• 정규화된 해에 대해 $L^\infty(0,T;L^6(\Omega))$, $L^2(0,T;H^1(\Omega))$, 및 $L^\infty(0,T;L^2(\Omega))$ 에서의 균일한 사전 추정치를 도출하는 것.
• Aubin–Lions 보조정리를 적용하여 $L^2(\Omega \times (0,t))$ 에서의 강한 수렴성과 적절한 함수 공간에서의 약한-* 수렴성을 추출하는 것.
• 노름의 약한 하측 연속성을 이용해 극한으로의 전이를 수행하고, 극한이 프리미티브 방정식의 약한 형태를 만족함을 확인하는 것.
• 수직 속도 성분 $V$ 의 $L^\infty$ 노름 감쇠에 기반한 조건부 유일성 프레임워크를 도입하는 것.
• 시간에 따라 변화하는 바인드 $\mu(t)$ 를 $\|V\|_{L^\infty}$ 에 대해 설정하여, 초기 자료의 소규모 조건을 통해 유일성을 보장하는 것.

실험 결과

연구 질문

• RQ1 초기 자료가 불연속일 때 점성 프리미티브 방정식에 대한 약한 해가 유일하게 특정될 수 있는가?
• RQ2 약한 해의 유일성이 연속적이거나 $z$-약한 초기 자료를 초월하여 확장될 수 있는가?
• RQ3 연속 해 및 $z$-약한 해 유일성 결과를 모두 수용할 수 있는 통합된 프레임워크를 개발할 수 있는가?
• RQ4 특히 도함수 손실 상황에서 수직 속도 성분이 약한 해의 유일성에 어떤 역할을 하는가?

주요 결과

• 공간 $X = \{v \in (L^6(\Omega))^2 \mid \partial_z v \in (L^2(\Omega))^2\}$ 에 속하는 함수의 소규모 $L^\infty$ 편미분을 가진 초기 자료에 대해 약한 해의 전역 존재성이 확립된다.
• 조건부 유일성 결과가 증명되었으며, 이는 수직 속도 성분 $V$ 의 $L^\infty$ 노름이 시간에 따라 충분히 작게 유지될 경우에 유일성이 성립함을 의미한다.
• 해 $v$ 는 $v \in C([0,\infty);W_{\text{per}}^{-1,\frac{5}{4}}(\Omega)) \cap L^\infty_{\text{loc}}([0,\infty);L^2(\Omega)) \cap L^2_{\text{loc}}([0,\infty);H^1_{\text{per}}(\Omega) \cap \mathcal{H})$ 를 만족한다.
• 에너지 부등식이 극한 해에서 등식으로 성립함을 확인하여, 이 해가 $t=0$ 을 제외한 영역에서 강한 해임을 확인한다.
• 극한 해 $v$ 가 비압축성 조건과 운동량 방정식을 포함한 프리미티브 방정식의 약한 형태를 만족함을 보였다.
• 이 결과는 $z$-약한 해의 유일성 및 연속된 초기 자료에 대한 유일성 결과를 하나의 균일한 프레임워크로 일반화한다.