[논문 리뷰] Global classical solution to the Cauchy problem of 2D baratropic compressible Navier-Stokes system with large initial data

Jingchi Huang, Chao Wang|arXiv (Cornell University)|2014. 07. 20.

Navier-Stokes equation solutions참고 문헌 21인용 수 3

한 줄 요약

이 논문은 2차원 압축성 비점성 나비에-스토크스 방정식의 큰 초기 자료를 가진 경우, 체적 점성계수가 $\lambda = \rho^\beta$ 이고 $\beta > 1$ 인 조건에서 고전적 해의 전역 존재성과 유일성을 확립한다. 밀도와 속도 기울기의 사전 경계를 에너지 추정과 로그 소보레프 부등식을 통해 유도함으로써, 초기 자료의 $L^\infty$나 $L^2$ 노름에서의 작음 조건 없이 국소 해를 시간에 따라 전역으로 연장한다.

ABSTRACT

For periodic initial data with initial density, we establish the global existence and uniqueness of strong and classical solutions for the two-dimensional compressible Navier-Stokes equations with no restrictions on the size of initial data provided the shear viscosity is a positive constant and the bulk one is $\lam=ρ^{\b}$ with $\b>1.$

연구 동기 및 목표

• 2차원 압축성 나비에-스토크스 방정식에 대해 큰 초기 자료를 가진 경우 고전적 해의 전역 존재성과 유일성을 확립하는 것.
• 이전 문헌에서 전역 잘 정의된 해를 확보하기 위해 요구되었던 $\beta > 3$ 또는 $\beta > 4/3$ 조건을 제거하는 것.
• 밀도의 진동을 크게 허용하기 위해 밀도와 그 기울기의 균일한 상한을 증명하는 것.
• 사전 추정을 바탕으로 모순에 기반한 논증을 통해 국소 강한 해를 전역 해로 연장하는 것.
• 최소한의 가정 조건에서 결과를 증명하는 것: $\beta > 1$, $\gamma > 1$, 초기 밀도는 $W^{1,q}$에 속하고, 속도는 $H^2$에 속함.

제안 방법

• 밀도의 사전 경계를 유도하기 위해 $\Phi = (2\mu + \lambda(\rho))\nabla\rho$에 대한 이동 방정식을 사용하고, $|\Phi|^{q-2}\Phi$와 곱하여 적분하는 방법.
• 로그 소보레프 부등식을 적용하여 $\|\nabla u\|_{L^\infty}$를 $\|\nabla^2 u\|_{L^q}$와 $\|\nabla u\|_{L^2}$로 통제하는 것.
• 물질 도함수 $\dot{u} = u_t + u \cdot \nabla u$를 사용하여 $\|\rho^{1/2} \dot{u}\|_{L^2}$와 $\|\nabla \dot{u}\|_{L^2}$에 대한 에너지 추정을 도출하는 것.
• 밀도 기울기 추정 $\|\nabla \rho\|_{L^q}$에 대해 그론발의 부등식을 적용하기 이전에 $\|\rho \dot{u}\|_{L^q}$를 $L^2(0,T;L^q)$ 제어를 통해 유계화하는 것.
• 고차원 추정을 위해 $\|\nabla^2 u\|_{L^q}$를 $\|\nabla \text{div} u\|_{L^q} + \|\nabla \omega\|_{L^q}$로 근사하고, $\|\nabla \rho\|_{L^q}$에 대한 유계화를 활용하는 것.
• 모순 논증을 사용: 유한 수명 $T^*$를 가정하고, $\|\rho\|_{L^\infty}$와 $\|\nabla \rho\|_{L^q}$의 균일한 유계화가 $T^*$ 이후로도 해를 연장할 수 있음을 보여, 최대성에 모순됨을 밝힘.

실험 결과

연구 질문

• RQ1 체적 점성계수가 $\lambda = \rho^\beta$ 인 2차원 압축성 나비에-스토크스 방정식에 대해 큰 초기 자료를 가진 경우 전역 고전적 해가 존재할 수 있는가?
• RQ2 초기 자료에 대한 작음 조건 없이 전역 잘 정의된 해를 확보하기 위해 $\beta$에 대한 최소 요구 조건은 무엇인가?
• RQ3 초기 자료가 클 경우 $\beta > 1$ 이면 밀도에 대한 균일한 상한을 확보할 수 있는가?
• RQ4 폭발 기준을 어떻게 통제하여 국소 해를 전역 해로 연장할 수 있는가?
• RQ5 $L^q$-노름으로 $\nabla \rho$를 제어하고 $L^2(0,T;L^q)$-노름으로 $\rho \dot{u}$를 제어할 때, 밀도의 $L^\infty$-노름을 제어할 수 있는가?

주요 결과

• 논문은 큰 초기 자료를 가진 2차원 압축성 나비에-스토크스 방정식에 대해 강한 해와 고전적 해의 전역 존재성과 유일성을 증명한다.
• 체적 점성계수 $\lambda = \rho^\beta$ 에 대해 조건 $\beta > 1$ 이면 결과가 성립하며, 이는 이전 결과에서 요구되었던 $\beta > 3$ 또는 $\beta > 4/3$ 조건을 개선한 것이다.
• 밀도의 균일한 상한은 $\Phi = (2\mu + \lambda(\rho))\nabla\rho$에 대한 이동 방정식을 통해 확립되며, 이는 해를 전역으로 연장하는 데 핵심적이다.
• 밀도 기울기의 $L^q$-노름은 $\|\rho \dot{u}\|_{L^q}$와 $\|\nabla u\|_{L^\infty}$를 로그 소보레프 임bedding을 통해 추정한 후 그론발의 부등식을 적용하여 시간에 대해 균일하게 유계화된다.
• 고차원 추정 $\|\nabla^2 u\|_{L^q}$는 $\|\nabla \text{div} u\|_{L^q}$와 $\|\nabla \omega\|_{L^q}$에 대한 유계화로부터 유도되며, 이는 $\|\nabla \rho\|_{L^q}$와 $\|\rho \dot{u}\|_{L^q}$에 의해 제어된다.
• 모순 논증을 통해 해가 임의의 유한 시간 $T^*$ 이후로도 연장 가능함을 확인하여, 제시된 조건 하에서 전역 존재성이 증명된다.