[논문 리뷰] A Beale-Kato-Majda Blow-up criterion for the 3-D compressible Navier-Stokes equations

Yongzhong Sun, Chao Wang외 1명|arXiv (Cornell University)|2010. 01. 08.

Navier-Stokes equation solutions참고 문헌 19인용 수 15

한 줄 요약

이 논문은 3차원 압축성 나비에-스토크스 방정식에 대해 베일-카토-마자다 유형의 폭발 기준을 수립하며, 밀도가 유계이면 강한 해가 항상 정칙 상태를 유지함을 증명한다. 증명은 밀도의 상한을 가정한 사전 추정과 그론발의 부등식을 활용하며, 초기 진공과 일반 도메인을 允허하는 바탕으로 이전 결과를 확장한다.

ABSTRACT

We prove a blow-up criterion in terms of the upper bound of the density for the strong solution to the 3-D compressible Navier-Stokes equations. The initial vacuum is allowed. The main ingredient of the proof is extit{a priori} estimate for an important quantity under the assumption that the density is upper bounded, whose divergence can be viewed as the effective viscous flux.

연구 동기 및 목표

• 초기 진공이 존재하는 3차원 압축성 나비에-스토크스 방정식의 강한 해에 대한 폭발 기준을 수립하는 것.
• 밀도의 상한과 연결된 폭발 조건을 통해 기존의 베일-카토-마자다 유형 기준을 압축성 경우로 확장하는 것.
• 강한 해의 최대 존재 시간이 $ L^\infty $에서의 밀도의 균일 유계성에 의해 제어됨을 증명하는 것.
• 유계 밀도 가정 하에 효과적 점성 유동계수와 속도 구배에 대한 사전 추정을 개발하는 것.
• 라메 체계를 도입하고 소볼레프 임베딩 및 그론발의 부등식을 사용하여 이전 결과의 폭발 기준을 일반화하는 것.

제안 방법

• 속도 구배를 대칭 및 반대칭 부분으로 분해하여 효과적 점성 유동계수에 대한 사전 추정을 유도하는 것.
• 연속 방정식과 그 도함수를 사용하여 에너지 유형 추정을 통해 $ \|\nabla \rho\|_{L^q} $ 의 진화를 제어하는 것.
• BMO 노름과 로그 소볼레프 부등식을 적용하여 $ \|\nabla v\|_{L^\infty} $ 를 $ \|\nabla \rho\|_{L^q} $ 로 유계화하며, $ \rho $ 의 유계성에 기반한다.
• 라메 체계를 활용하여 $ \nabla^2 w $ 와 $ \nabla^2 v $ 를 속도 및 밀도 구배와 연결하는 것.
• $ \|\nabla w\|_{W^{1,q}} $ 와 $ \|\nabla^2 w\|_{L^q} $ 의 유계성에 기반해 $ \nabla \rho $ 의 $ L^q $-노름에 그론발의 부등식을 적용하는 것.
• 그론발의 부등식을 통해 증명을 닫기 위한 핵심 추정 $ \|\nabla \rho\|_{L^q} \leq C(1 + \ln(e + \|\nabla \rho\|_{L^q})) $ 을 수립하는 것.

실험 결과

연구 질문

• RQ1 3차원 압축성 나비에-스토크스 방정식의 강한 해가 시간에 따라 전역적으로 존재하지 않는 조건은 무엇인가?
• RQ2 해의 폭발이 속도 구배 노름이 아닌 밀도의 상한에 의해 특징지워질 수 있는가?
• RQ3 초기 진공이 강한 해의 정규성과 최대 존재 시간에 어떤 영향을 미치는가?
• RQ4 효과적 점성 유동계는 밀도 구배의 증가를 어떻게 제어하는가?
• RQ5 오직 밀도 유계성만을 사용하여 압축성 경우에 베일-카토-마자다 유형 기준을 수립할 수 있는가?

주요 결과

• 강한 해의 최대 존재 시간 $ T^* $ 는 $ t \to T^* $ 일 때 밀도 $ \rho $ 의 $ L^\infty $-노름이 무한해지면 유한함과 동치이다.
• 유계 밀도 가정 하에 $ \|\rho\|_{L^\infty} $ 가 유계이면 $ [0, T^*) $ 에서 $ \|\nabla \rho\|_{L^q} $ 의 $ L^q $-노름이 균일 유계로 유지되며, 이는 $ \lambda < 7\mu $ 를 만족할 때 성립한다.
• $ \|\nabla v\|_{L^\infty} \leq C(1 + \ln(e + \|\nabla \rho\|_{L^q})) $ 의 추정이 속도 구배 증가를 제어하는 데 핵심적이다.
• 효과적 점성 유동계 $ \nabla w $ 는 $ \|\nabla w\|_{L^2(0,T;L^\infty)} \leq C $ 와 $ \|\nabla^2 w\|_{L^2(0,T;L^q)} \leq C $ 를 만족하며, $ C $ 는 $ T $, $ M $, 그리고 초기 자료에 의존한다.
• 증명은 모순에 기반한다: $ \|\rho\|_{L^\infty} < \infty $ 이면 $ \|\nabla \rho\|_{L^q} $ 는 여전히 유계이므로 $ T^* = \infty $ 가 되며, 이는 유한 시간 내 폭발의 가정과 모순된다.
• 이전 기준을 일반화하여 $ \nabla u $ 의 $ L^1(0,T;L^\infty) $-노름을 밀도의 $ L^\infty $-유계성으로 대체함으로써 정규성에 대한 새로운 기준을 제공한다.