[논문 리뷰] The Primitive Equations in the scaling invariant space $L^{\infty}(L^1)$

Yoshikazu Giga, Mathis Gries외 3명|arXiv (Cornell University)|2017. 10. 12.

Navier-Stokes equation solutions참고 문헌 20인용 수 4

한 줄 요약

이 논문은 초기 자료가 유계 균일 연속성과 유계 $L^1$-값을 갖는 성분들로 분해된 경우, 스케일 불변 공간 $L^∞(L^1)$ 에서 원시 방정식의 전역 강한 잘 정의됨을 확립한다. 수평 스트로크 반경의 반경을 갖는 $L^∞(L^1)$ 에서의 유체 정적 스트로크 반경의 사상 성질을 활용하여, $L^1$-성분의 $L^∞(L^1)$-노름이 작을 경우 유일한 국소 미약 해가 존재함을 증명하고, 초기 자료가 수평적으로 주기적일 경우 전역 존재를 보이며, 고전적인 라우리-나비에-스토크스 반복 프레임워크를 거친 자료를 갖는 원시 방정식으로 확장한다.

ABSTRACT

Consider the primitive equations on $\R^2 imes (z_0,z_1)$ with initial data $a$ of the form $a=a_1+a_2$, where $a_1 \in BUC_σ(\R^2;L^1(z_0,z_1))$ and $a_2 \in L^\infty_σ(\R^2;L^1(z_0,z_1))$ and where $BUC_σ(L^1)$ and $L^\infty_σ(L^1)$ denote the space of all solenoidal, bounded uniformly continuous and all solenoidal, bounded functions on $\R^2$, respectively, which take values in $L^1(z_0,z_1)$. These spaces are scaling invariant and represent the anisotropic character of these equations. It is shown that, if $\|a_2\|_{L^\infty_σ(L^1)}$ is sufficiently small, then this set of equations has a unique, local, mild solution. If in addition $a$ is periodic in the horizontal variables, then this solution is a strong one and extends to a unique, global, strong solution. The primitive equations are thus strongly and globally well-posed for these data. The approach depends crucially on mapping properties of the hydrostatic Stokes semigroup in the $L^\infty(L^1)$-setting and can thus be seen as the counterpart of the classical iteration schemes for the Navier-Stokes equations for the situation of the primitive equations.

연구 동기 및 목표

• 거친 스케일 불변 함수 공간에서의 초기 자료에 대해 원시 방정식의 전역 강한 잘 정의됨을 확립하는 것.
• 최소한의 정규성 가정 하에 라우리-나비에-스토크스 방정식에 대한 고전적 반복 체계를 원시 방정식으로 확장하는 것.
• 원시 방정식이 거친 초기 자료에서 전역 강한 해를 갖는 데 있어 가능한 한 큰 함수 공간—특히 $L^\infty(L^1)$—을 규명하는 것.
• 비대칭성의 역할을 $BUC_\sigma(L^1)$ 및 $L^\infty_\sigma(L^1)$ 공간을 통해 분석하는 것.

제안 방법

• 스케일 불변성과 비대칭성을 활용하기 위해 초기 자료를 $a = a_1 + a_2$로 분해하며, $a_1 \in BUC_\sigma(L^1)$ 및 $a_2 \in L^\infty_\sigma(L^1)$ 이다.
• 미약 해에 대한 사전 추정치를 도출하기 위해 $L^\infty(L^1)$-설정에서의 수평 스트로크 반경을 적용한다.
• $\|a_2\|_{L^\infty_\sigma(L^1)}$ 의 작음 조건 하에서 시간 가중 $L^\infty$-공간에서 고정점 정리를 사용하여 국소 미약 해를 구성한다.
• $L^p$-$L^1$ 추정치와 반경의 부드러움 성질을 통해 해의 연속성과 정규성을 분석한다.
• 적분 표현식에서 비선형 항을 제어하기 위해 수열 $K_m$ 과 $H_m$ 에 대한 귀납법과 반복 추정치를 사용한다.
• 주기성과 정규화를 통해 국소 해를 전역 강한 해로 확장한다: $t>0$ 이후 해는 $W^{1,1}$ 및 $L^p$-공간에서 정규성을 획득한다.

실험 결과

연구 질문

• RQ1 초기 자료가 $L^\infty(L^1)$ 에서이고 미분 가능성 가정이 전혀 없을 경우 원시 방정식이 전역 잘 정의됨을 보장할 수 있는가?
• RQ2 원시 방정식이 전역 강한 해를 갖는 데 있어 가능한 한 큰 스케일 불변 함수 공간은 무엇인가?
• RQ3 수평 스트로크 반경은 $L^\infty(L^1)$-설정에서 어떻게 행동하는가? 그리고 고정점 방법을 통해 해를 구성하는 데 사용될 수 있는가?
• RQ4 국소 미약 해가 전역 강한 해로 확장되기 위한 조건은 무엇인가?
• RQ5 수평 주기성은 거친 자료의 정규성과 전역 존재성과 어떻게 상호작용하는가?

주요 결과

• 초기 자료 $a = a_1 + a_2$ 에 대해 $a_1 \in BUC_\sigma(L^1)$ 이고 $\|a_2\|_{L^\infty_\sigma(L^1)}$ 가 충분히 작을 경우, 유일한 국소 미약 해가 존재한다.
• 해 $v$ 는 모든 $p \in (1,\infty)$ 에 대해 $C([0,T), BUC_\sigma(L^p))$ 에 속하며, 즉각적인 정규화를 나타낸다.
• 초기 자료가 수평적으로 주기적일 경우, 국소 미약 해는 강한 해가 되며 시간에 따라 전역적으로 연장된다.
• 해는 임의의 $t>0$ 이후에 정규성을 획득하며, $p \geq 2$ 에 대해 $BUC(W^{1,1})$ 와 $BUC(L^p)$ 에 속하게 되어 기존의 정규성 이론을 통해 전역 확장을 가능하게 한다.
• 증명은 수평 스트로크 반경의 $L^\infty(L^1)$-유계성과 이방향 함수 공간에서의 부드러움 성질에 의존한다.
• $\|a_2\|_{L^\infty_\sigma(L^1)}$ 의 작음 조건은 고정점 정리에 필수적이며 반복적 방법의 수렴을 보장한다.