[논문 리뷰] Global weak solutions to compressible quantum Navier-Stokes equations with damping

Alexis Vasseur, Cheng Yu|arXiv (Cornell University)|2015. 03. 24.

Navier-Stokes equation solutions참고 문헌 11인용 수 7

한 줄 요약

이 논문은 큰 초기 자료에 대해 3차원 압축성 양자 라우지-스토크스 방정식의 시간에 대해 전역적인 약한 해의 존재를 확립한다. 데임핑과 열화된 점성도 포함된 경우이다. 페이도-갈레르킨 방법과 컴팩턴스 추론을 사용하여, 비선형 제3계 양자 보함 퍼텐셜의 도전 과제에도 불구하고 근사해의 수렴을 증명한다. 이는 열화된 점성 압축성 라우지-스토크스 방정식에 대한 장기적인 열린 문제인 전역 약한 해 존재성 문제를 해결하는 데 중요한 단계를 제공한다.

ABSTRACT

The global-in-time existence of weak solutions to the barotropic compressible quantum Navier-Stokes equations with damping is proved for large data in three dimensional space. The model consists of the compressible Navier-Stokes equations with degenerate viscosity, and a nonlinear third-order differential operator, with the quantum Bohm potential, and the damping terms. The global weak solutions to such system is shown by using the Faedo-Galerkin method and the compactness argument. This system is also a very important approximated system to the compressible Navier-Stokes equations. It will help us to prove the existence of global weak solutions to the compressible Navier-Stokes equations with degenerate viscosity in three dimensional space.

연구 동기 및 목표

• 3차원에서 데임핑과 열화된 점성을 가진 압축성 양자 라우지-스토크스 방정식에 대해 전역 약한 해의 존재를 확립한다.
• 표준 Mellet-Vasseur 유형 추정이 무효화되는 강력한 비선형 제3계 양자 보함 퍼텐셜이 유도하는 수학적 과제를 극복한다.
• 열화된 점성 압축성 라우지-스토크스 방정식에 대해 전역 약한 해 존재성을 증명하기 위한 기초가 되는 근사 시스템을 제공한다.
• 에너지 및 컴팩턴스 추정을 신중히 수행하여 Bresch-Desjardins 엔트로피 구조를 양자-데임핑 시스템에까지 확장한다.

제안 방법

• 유한 차원 부분공간 위에서 갈레르킨 프로젝션을 사용하여 근사해를 구성하기 위해 페이도-갈레르킨 방법을 적용한다.
• 두 단계의 정규화를 시행한다: 제3계 양자 항을 다루기 위해 인위적 점성(η)과 제4계 확산(δ)을 추가한다.
• 에너지 추정과 BD-엔트로피 구조를 사용하여 정규화 매개변수에 독립적인 균일한 경계를 도출한다.
• Aubin-Lions 보조정리와 보간 부등식을 이용한 컴팩턴스 추론을 통해 η, δ → 0일 때의 극한을 취한다.
• 데임핑 항 $-r_0\mathbf{u} - r_1\rho|\mathbf{u}|^2\mathbf{u}$ 와 양자 항 $\kappa\rho\nabla(\Delta\sqrt{\rho}/\sqrt{\rho})$ 를 이용하여 컴팩턴스를 위한 핵심 추정을 도출한다.
• 시험 함수 $\rho\varphi$ 와 가중 에너지 추정을 사용하여 약한 형태에서의 대류항과 양자항을 제어한다.

실험 결과

연구 질문

• RQ1 큰 초기 자료에 대해 3차원 압축성 양자 라우지-스토크스 방정식의 열화된 점성과 데임핑을 고려할 때 전역 약한 해를 구성할 수 있는가?
• RQ2 Mellet-Vasseur 유형 추정이 존재하지 않는 상황에서 비선형 제3계 양자 보함 퍼텐셜의 존재는 어떻게 다뤄질 수 있는가?
• RQ3 데임핑 항 $-r_0\mathbf{u} - r_1\rho|\mathbf{u}|^2\mathbf{u}$ 는 근사해의 컴팩턴스와 수렴을 가능하게 하는 데 어떤 역할을 하는가?
• RQ4 정규화 및 극한 과정 동안 에너지 부등식과 BD-엔트로피 구조는 유지되는가?
• RQ5 이 시스템은 3차원에서 열화된 점성 압축성 라우지-스토크스 방정식에 대해 실용적인 근사로 작용할 수 있는가?

주요 결과

• 큰 초기 자료가 $L^\infty \times L^2$ 에서 존재할 때, 데임핑과 열화된 점성을 가진 3차원 압축성 양자 라우지-스토크스 방정식에 대해 전역 약한 해가 존재한다.
• 극한 해에 대해 에너지 부등식 $E(t) + \int_0^T \int_\Omega \rho|\mathbb{D}\mathbf{u}|^2 + r_0|\mathbf{u}|^2 + r_1\rho|\mathbf{u}|^4 \,dx\,dt \leq E_0$ 이 성립한다.
• 정규화 매개변수 $\delta \to 0$ 일 때 $\delta \int_0^T \int_\Omega \rho_\delta \nabla \Delta^9 \rho_\delta \varphi \,dx\,dt \to 0$ 이 되어 양자 정규화의 수렴을 보장한다.
• Aubin-Lions 보조정리와 균일한 경계를 이용하여 $\sqrt{\rho_\kappa} \mathbf{u}_\kappa \to \sqrt{\rho} \mathbf{u}$ 가 $L^2((0,T)\times\Omega)$ 에서 강한 수렴이 됨을 증명한다.
• 극한 해는 약한 형태의 시스템을 만족하며, 양자항 $\kappa\rho\nabla(\Delta\sqrt{\rho}/\sqrt{\rho})$ 도 포함된다. 여기서 $\rho\mathbf{u} \in C([0,T];L^{3/2}_{\text{weak}}(\Omega))$ 이다.
• 이 결과는 3차원에서 열화된 점성 압축성 라우지-스토크스 방정식에 대해 전역 약한 해 존재성을 증명하는 데 핵심적인 근사 프레임워크를 제공한다.