[논문 리뷰] Regularity of weak solutions of the compressible isentropic Navier-Stokes equation

Boris Haspot|arXiv (Cornell University)|2010. 01. 11.

Navier-Stokes equation solutions참고 문헌 61인용 수 9

한 줄 요약

이 논문은 초기 밀도가 양의 하한을 갖지 않더라도 주기적 경계 조건 하에서 차원 $N=2,3$에서 압축 가능한 등엔트로피 나비에-스토크스 방정식의 약한 해의 정칙성과 유일성을 확립한다. 밀도가 임의로 작은 $
\epsilon>0$에 대해 $L^\infty(L^{(N+1+\epsilon)\gamma})$에서 유계이면 약한 해가 정칙이 되는 것을 증명하고, $
\rho \in L^\infty$일 때 약간의 초임계 초기 자료에서 폭발이 발생함을 보여준다. 분석은 리프스 변환과 압력 항을 포함한 고급 $L^p(L^q)$ 추정 및 교환자 추정에 기반한다.

ABSTRACT

Regularity and uniqueness of weak solution of the compressible isentropic Navier-Stokes equations is proven for small time in dimension $N=2,3$ under periodic boundary conditions. In this paper, the initial density is not required to have a positive lower bound and the pressure law is assumed to satisfy a condition that reduces to $γ>1$ when $N=2,3$ and $P(ρ)=aρ^γ$. In a second part we prove a condition of blow-up in slightly subcritical initial data when $ρ\in L^{\infty}$. We finish by proving that weak solutions in $\T^{N}$ turn out to be smooth as long as the density remains bounded in $L^{\infty}(L^{(N+1+\e)γ})$ with $\e>0$ arbitrary small.

연구 동기 및 목표

• 주기적 경계 조건 하에서 차원 $N=2,3$에서 압축 가능한 등엔트로피 나비에-스토크스 방정식의 약한 해의 존재성, 정칙성, 유일성을 확립하는 것.
• 초기 밀도에 양의 하한이 없도록 하여 진공 형성이 가능하도록 하되, 이를 제거하는 조건을 없애는 것.
• 약간의 초임계 초기 자료에서 해의 폭발을 $L^\infty$-노름의 밀도 성장에 따라 특징짓는 것.
• 임의로 작은 $
  \epsilon>0$에 대해 밀도가 $L^\infty(L^{(N+1+\epsilon)\gamma})$에서 유계일 경우 약한 해가 정칙이 되는 것을 증명하는 것.
• 압력 법칙이 $P(\rho) = a\rho^\gamma$이고 $\gamma>1$일 때, 특히 $\gamma$가 1에 가까울 경우에도 정칙성 이론을 확장하는 것.

제안 방법

• 압력 항 $P(\rho)$에 대해 $L^p(L^q)$ 추정을 사용하며, 특히 Coifman–Meyer 이론을 통해 교환자 $[(\Lambda^{-1}(P(\rho))_j, R_i R_j](\rho u_i)$를 분석한다.
• 리프스 변환과 Calderón–Zygmund 이론을 적용하여 속도 및 밀도 기울기의 정칙성을 제어한다.
• Gagliardo–Nirenberg 부등식을 사용하여 $\sqrt{t}\dot{u}$를 $L^2(L^3)$에서 제어함으로써 Germain의 유일성 결과 적용에 필수적인 조건을 확보한다.
• 밀도의 적분 가능성과 컴acts를 확보하기 위해 Bresch–Desjardins(BD) 엔트로피 부등식에 의존한다.
• 시간 가중 에너지 추정을 $\sigma(t)$와 $f(t)$를 사용하여 $\sqrt{t}\nabla u$, $\sqrt{t}\dot{u}$, $\sqrt{t}\nabla \dot{u}$를 $L^2$ 공간에서 제어한다.
• P. Germain [31]의 유일성 결과를 적용하기 위해, $\nabla \rho$ 및 $\nabla u$가 $L^1_{\text{loc}}(\mathbb{R}_+, B^{1+\epsilon}_{N,\infty})$에서 요구되는 적분 조건을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 초기 밀도에 양의 하한이 없을 때, 압축 가능한 등엔트로피 나비에-스토크스 방정식의 약한 해가 정칙성을 유지할 조건은 무엇인가?
• RQ2 초기 자료가 진공에서 멀리 떨어져 있지 않을 때, 약한 해의 유일성이 어떻게 확립될 수 있는가?
• RQ3 밀도의 $L^\infty(L^{(N+1+\epsilon)\gamma})$ 노름이 약한 해의 정칙성 보장에 어떤 정확한 역할을 하는가?
• RQ4 밀도의 $L^\infty$-노름 성장은 약간의 초임계 초기 자료에서 정칙성 붕괴와 어떻게 관련되는가?
• RQ5 압력 구조 $P(\rho) = a\rho^\gamma$에서 $\gamma>1$일 때, 이는 해의 정칙성과 폭발 행동에 어떤 정도로 영향을 미치는가?

주요 결과

• 초기 밀도에 양의 하한이 없더라도 $\rho \in L^\infty(L^\infty)$라는 조건 하에서, 압축 가능한 등엔트로피 나비에-스토크스 방정식의 약한 해가 $[0,T_0]$에서 정칙성과 유일성을 보임을 보였다.
• 해는 에너지 부등식 (1.4)와 시간 가중 추정 (7.90) 및 (7.91)을 만족하며, $\sqrt{t}\nabla u \in L^\infty_T(L^2)$ 및 $\sqrt{t}\dot{u} \in L^2_T(L^3)$를 포함하여 유일성에 필수적인 조건을 만족한다.
• Germain의 유일성 정리 [31]의 조건을 검증함으로써 해는 $[0,T_0]$에서 고유하며, 정칙성의 전파를 통해 $[T_0, \infty)$로 고유하게 연장됨을 증명하였다.
• $\rho \in L^\infty(L^{(N+1+\epsilon)\gamma})$이 임의의 작은 $\epsilon>0$에 대해 성립하면 약한 해가 정칙이 되며, 이는 날카로운 정칙성 기준을 확립한다.
• 논문은 $\rho_0 \in L^\infty$일 때 약간의 초임계 초기 자료에서 폭발이 발생함을 증명하여, 밀도의 $L^\infty$-노름이 정칙성 붕괴의 임계 지표임을 확인하였다.
• 분석을 통해 교환자 항을 제어하고 $\log \rho \in L^\infty$를 확보하기 위해 $q > 3(\gamma+1)$ 조건이 필수적임을 확인하였으며, 이는 $\rho \in L^\infty$ 및 $1/\rho \in L^\infty$를 암시한다.