[논문 리뷰] The incompressible limit in $L^p$ type critical spaces

Raphaël Danchin, Ling-Bing He|arXiv (Cornell University)|2014. 09. 25.

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

한 줄 요약

이 논문은 $L^p$-형 비판적 베소프 공간에서 압축성 라우르-스톡스 방정식의 저마하 수렴을 정립하며, 최소한의 정규성 조건 하에서 비압축성 라우르-스톡스 방정식으로의 수렴을 증명한다. 기존의 $L^2$-기반 에너지 방법을 비판적 정규성 프레임워크로 확장하여, $p \in [2,4]$ 및 $r \in [1,\infty]$ 일 때, $")\dot{B}^{d/p-1}_{p,r} \cap \dot{B}^{-1}_{\infty,1}$ 에서의 발산이 없는 초기 속도가 수렴을 보장함을 보이며, 저주파 성분에 대한 $L^2$-형 경계가 소리파의 영향으로 인해 피할 수 없다.

ABSTRACT

This paper aims at justifying the low Mach number convergence to the incompressible Navier-Stokes equations for viscous compressible flows in the ill-prepared data case. The fluid domain is either the whole space, or the torus. A number of works have been dedicated to this classical issue, all of them being, to our knowledge, related to $L^2$ spaces and to energy type arguments. In the present paper, we investigate the low Mach number convergence in the $L^p$ type critical regularity framework. More precisely, in the barotropic case, the divergence-free part of the initial velocity field just has to be bounded in the critical Besov space $\dot B^{d/p-1}_{p,r}\cap\dot B^{-1}_{\infty,1}$ for some suitable $(p,r)\in[2,4] imes[1,+\infty].$ We still require $L^2$ type bounds on the low frequencies of the potential part of the velocity and on the density, though, an assumption which seems to be unavoidable in the ill-prepared data framework, because of acoustic waves. In the last part of the paper, our results are extended to the full Navier-Stokes system for heat conducting fluids.

연구 동기 및 목표

• 압축성 유동에 대한 저마하 수렴을 비준비된 데이터 상황에서 $L^p$-형 비판적 정규성 공간을 사용하여 정당화하기.
• 기존의 $L^2$-기반 에너지 방법을 비판적 베소프 공간, 특히 $\dot{B}^{d/p-1}_{p,r}$ 와 $\dot{B}^{-1}_{\infty,1}$ 으로 확장하여 초기 속도의 발산이 없는 부분을 다루기.
• 비압축성 라우르-스톡스 방정식으로의 수렴을 보장하는 최소한의 정규성 조건을 규명하며, 저주파 성분에 대한 $L^2$-형 경계를 통해 소리파의 영향을 고려하기.
• 동일한 비판적 프레임워크 내에서 열전도를 고려한 전체 라우르-스톡스 시스템으로 결과를 일반화하기.

제안 방법

• 비판적 베소프 공간 $\dot{B}^{s}_{p,r}$ 를 정의하고 해의 주파수 국소화된 성분을 분석하기 위해 동차 리틀우드-파일리 분해 $(\dot{\Delta}_j)_{j \in \mathbb{Z}}$ 를 사용한다.
• 압축성 라우르-스톡스 시스템의 비선형 항을 다루기 위해 보니의 분해 $uv = T_u v + R(u,v) + T_v u$ 를 적용한다.
• 프라파로덕트 및 교환자 추정을 사용하며, 특히 $\| [\dot{S}_{j_0}A(D), T_a]b \|_{\dot{B}^{\sigma+s}_{p,1}} \lesssim \| \nabla a \|_{\dot{B}^{s-1}_{p_1,1}} \| b \|_{\dot{B}^{\sigma}_{p_2,\infty}}$ 와 같은 추정을 통해 비선형 상호작용을 제어한다.
• 수렴 속도를 추적하기 위해 $\| \delta \Theta^\varepsilon \|_{L^\infty(\dot{B}^{(d+1)/p-3/2}_{p,1} + \dot{B}^{d/p-2}_{p,1})}$ 와 $L^2$-형 노름을 포함하는 수정된 에너지 함수를 도입한다.
• 비판적 프레임워크의 척도 불변성: $(a,u) \mapsto (a, \ell u)(\ell^2 t, \ell x)$ 를 활용하여 함수 공간의 선택을 안내한다.
• 매끄러운 함수 $G$ 에 대해 $G(0) = 0$ 이면 $\| G(a) \|_{\dot{B}^s_{p,1}} \lesssim \| a \|_{\dot{B}^s_{p,1}}$ 와 같은 형태의 복합 추정을 사용하여 비선형 압력 및 점성 항을 제어한다.

실험 결과

연구 질문

• RQ1 저마하 수렴은 $L^2$-기반 에너지 공간 대신 $L^p$-형 비판적 공간에서 정당화될 수 있는가?
• RQ2 비준비된 데이터 케이스에서 수렴을 보장하기 위해 초기 속도의 발산이 없는 부분에 필요한 최소 정규성은 무엇인가?
• RQ3 소리파의 영향은 특히 저주파 성분에 대해 정규성 조건에 어떤 영향을 미치는가?
• RQ4 비판적 프레임워크는 열전도를 고려한 전체 라우르-스톡스 시스템으로 확장될 수 있는가?
• RQ5 교환자 및 프라파로덕트 추정은 비판적 정규성 설정에서 비선형성을 제어하는 데 어떤 역할을 하는가?

주요 결과

• 초기 속도의 발산이 없는 부분은 $p \in [2,4]$ 및 $r \in [1,\infty]$ 일 때, $")\dot{B}^{d/p-1}_{p,r} \cap \dot{B}^{-1}_{\infty,1}$ 에서 유계이면 충분하며, 이는 정확한 비판적 정규성 조건이다.
• 비준비된 데이터 상황에서 지속적인 소리파의 영향으로 인해 잠재 속도 및 밀도의 저주파 성분에 대한 $L^2$-형 경계는 여전히 필수적이다.
• 비압축성 라우르-스톡스 방정식으로의 수렴은 $L^p$-형 비판적 프레임워크 내에서 확립되며, $")\dot{B}^{(d+1)/p-3/2}_{p,1}$ 와 $")\dot{B}^{d/p-2}_{p,1}$ 정규성에 대한 $")\delta X^\varepsilon$-형 노름을 통해 수렴 속도가 제어된다.
• 결과는 열전도를 고려한 전체 라우르-스톡스 시스템으로 확장되었으며, 동일한 비판적 정규성 조건이 유지된다.
• 증명은 비체스 공간에서 $L^\infty$ 와 $L^2$-형 노름의 조합을 포함하는 정밀한 에너지 추정에 기반하며, 프라파로덕트 및 교환자 추정을 통해 비선형 항을 철저히 제어한다.
• 프레임워크는 척도 불변성 $(a,u) \mapsto (a, \ell u)(\ell^2 t, \ell x)$ 을 가지며, 이는 극한 시스템의 척도와 일관성을 유지한다.