[논문 리뷰] Regularity of weak solutions of the compressible barotropic Navier-Stokes equations

Boris Haspot|arXiv (Cornell University)|2011. 11. 10.

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

한 줄 요약

이 논문은 초기 밀도에 대해 양의 하한이 없더라도, 주기적 경계 조건 하에서 2차원 및 3차원에서 압축성 비압축성 나비에-스토크스 방정식의 약한 해의 정칙성과 유일성을 소규모 시간 동안 확립한다. 주요 기여는 프로디-세르린 유형의 조건이다: 밀도가 $ L^\tau(0,T; L^{(N+1+\nu)}(\mathbb{T}^N)) $ 에서 유계이면 약한 해는 정칙이 되며, 압력 노름 $ \|P(\rho)\|_{L^\infty(0,T; L^q)} $ 가 충분히 큰 $ q $ 에서 유한하면 폭발이 방지된다.

ABSTRACT

Regularity and uniqueness of weak solutions of the compressible barotropic Navier-Stokes equations with constant viscosity coefficients 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 $P(ρ)=aρ^γ$ with $γ>1$ (in dimension three, additional conditions of size will be ask on $γ$). The second part of the paper is devoted to blow-up criteria for slightly subcritical initial data for the scaling of the equations when the viscosity coefficients $(μ,λ)$ are assumed constant provided that their ratio is large enough (in particular $00$. Finally, we prove that weak solutions in the torus $\mathbb{T}^{N}$ turn out to be smooth as long as the density remains bounded in $L^{\infty}(0,T,L^{(N+1+\e)γ}(\mathbb{T}^{N}))$ with $\e>0$ arbitrary small. This result may be considered as a Prodi-Serrin theorem (see \cite{prodi} and \cite{serrin}) for compressible Navier-Stokes system.

연구 동기 및 목표

• 2차원 및 3차원에서 초기 밀도에 대해 양의 하한이 없더라도 소규모 시간 동안 압축성 비압축성 나비에-스토크스 방정식의 약한 해의 존재성과 유일성을 확립한다.
• 압력의 $ L^\tau(0,T; L^q) $ 노름에 기반한 폭발 기준을 유도한다. 특히 압력 $ P(\rho) = a\rho^\gamma $ 의 $ L^\infty(0,T; L^q) $ 노름이 큰 $ q $ 에서 유한할 경우를 중심으로 한다.
• 토러스 $ \mathbb{T}^N $ 에서의 약한 해가 임의의 작고 양의 $ \epsilon > 0 $ 에 대해 $ L^\infty(0,T; L^{(N+1+\epsilon)\gamma}(\mathbb{T}^N)) $ 에서 밀도가 유계이면 정칙이 된다는 것을 증명한다. 이는 고전적 프로디-세르린 프레임워크를 압축성 경우로 확장한다.
• 점성 계수 $ \mu $ 와 $ \lambda $ 의 역할을 분석한다. 특히 $ \lambda < \frac{5}{4}\mu $ 인 경우에 해의 정칙성과 폭발을 통제하는 데 미치는 영향을 다룬다.

제안 방법

• 비존재 공간 이론과 파라프로덕트 분해의 프레임워크를 활용하여 나비에-스토크스 방정식의 비선형 항, 특히 대류항과 압력항을 추정한다.
• 본의 파라프로덕트 분해를 적용하여 함수의 곱을 저주파수, 고주파수, 저-고주파수 상호작용으로 분리함으로써 특이항을 정밀하게 제어한다.
• 주파수 국소화에서 발생하는 오차항을 제어하기 위해 공식 $ \| [\Delta_q, u \cdot \nabla] a \|_{L^p} \lesssim \| \nabla u \|_{L^\infty} \| a \|_{L^p} $ 을 활용한다.
• 비존재 공간에서의 임bedding $ L^\infty \hookrightarrow B^0_{\infty,\infty} $ 와 보간 부등식을 사용하여 파라프로덕트 분해의 나머지 항을 유계로 제한한다.
• 스토크스 시스템에 대한 최대 정규성 추정과 에너지 추정을 적용하여 속도장과 그 도함수를 $ L^2 $ 와 $ L^\infty $ 노름에서 제어한다.
• 일정한 점성 계수를 가진 압축성 나비에-스토크스 시스템의 구조를 활용하여 속도와 밀도에 대한 임계 비존재 공간 $ B^\sigma_{p,r} $ 에서 사전 추정을 유도한다.

실험 결과

연구 질문

• RQ1 초기 데이터와 압력 법칙에 어떤 조건이 요구되어야 압축성 비압축성 나비에-스토크스 방정식의 약한 해가 초기 밀도가 0일 수 있는 경우에도 소규모 시간 동안 정칙성과 유일성을 보장할 수 있는가?
• RQ2 속도 기울기나 밀도 유계 조건이 아닌, 압력 $ P(\rho) $ 의 $ L^\infty(0,T; L^q) $ 노름에만 기반한 폭발 기준을 설정할 수 있는가?
• RQ3 임의의 작은 $ \epsilon > 0 $ 에 대해 $ L^\infty(0,T; L^{(N+1+\epsilon)\gamma}(\mathbb{T}^N)) $ 에서 밀도가 유계일 경우, 이 조건이 약한 해의 정칙성 보장에 얼마나 중요한가?
• RQ4 점성 계수 $ \mu $ 와 $ \lambda $, 특히 그 비율이 압축성 영역에서 해의 정칙성과 잠재적 폭발에 어떤 영향을 미치는가?
• RQ5 프로디-세르린 유형의 정칙성 기준을 압축성 나비에-스토크스 시스템으로 확장할 수 있는가? 만약 가능하면, 밀도 또는 압력에 대한 정확한 적분 조건은 무엇인가?

주요 결과

• 압축성 비압축성 나비에-스토크스 방정식의 약한 해는 초기 밀도 $ \rho_0 $ 가 양의 하한이 없더라도 2차원 및 3차원에서 소규모 시간 간격 $ (0,T) $ 에서 정칙성과 유일성을 보장한다.
• 밀도 $ \rho $ 가 임의의 $ \epsilon > 0 $ 에 대해 $ L^\infty(0,T; L^{(N+1+\epsilon)\gamma}(\mathbb{T}^N)) $ 에서 유계이면 해는 정칙성을 유지한다. 이는 정칙성에 대한 임계 적분 조건이 된다.
• 폭발 기준이 확립된다: $ \|P(\rho)\|_{L^\infty(0,T; L^q)} < \infty $ 이며 충분히 큰 $ q > 1 $ 에서 유한하면 해는 시간 $ T $ 이후로 연장 가능하다. 즉, 이 노름이 발산하지 않으면 폭발이 발생하지 않음을 의미한다.
• 3차원에서 $ \gamma > 1 $ 이고 $ \lambda < \frac{5}{4}\mu $ 인 경우, 추가적인 크기 조건이 $ \gamma $ 에 대해 필요하다. 이는 정칙성 결과가 점성 비율에 의존함을 나타낸다.
• 압력 항 $ P(\rho) = a\rho^\gamma $ 는 정칙성 상실을 통제하며, 해가 $ T $ 이후로 매끄럽게 연장되지 못할 경우 이 노름이 발산해야 한다. 이는 조건의 必要성 을 확인한다.
• 분석 결과, 속도 기울기 $ \nabla u $ 의 $ L^\infty $ 노름이 정칙성에 필수적인 것은 아님을 확인한다. 대신 임계 레베그 공간에서의 밀도 적분 조건이 충분함을 보여주며, 정칙성 문제에 대한 새로운 시각을 제공한다.