[논문 리뷰] Compressible Navier-Stokes system : large solutions and incompressible limit

Raphaël Danchin, Piotr B. Mucha|arXiv (Cornell University)|2016. 03. 23.

Navier-Stokes equation solutions참고 문헌 24인용 수 60

한 줄 요약

이 논문은 큰 체적 점도를 가진 상황에서, 임의의 큰 初기 속도와 거의 일정한 밀도를 가진 2차원 압축성 나비에-스토크스 방정식에 대해 강한 해의 전역 존재성을 확립한다. 이는 체적 점도 ν = λ + 2μ가 충분히 클 경우, 해가 전역적으로 정칙성을 유지하고 ν → ∞의 극한에서 비압축성 나비에-스토크스 해로 수렴함을 증명하며, 비판적 베소프 공간 프레임워크와 에너지-정칙성 추정을 활용한다.

ABSTRACT

Here we prove the existence of global in time regular solutions to the two-dimensional compressible Navier-Stokes equations supplemented with arbitrary large initial velocity $v\\_0$ and almost constantdensity $\\varrho\\_0$, for large volume (bulk) viscosity. The result is generalized to the higher dimensional case under the additional assumption that the strong solution of the classical incompressible Navier-Stokes equations supplemented with the divergence-freeprojection of $v\\_0,$ is global. The systems are examined in $R^d$ with $d \\geq 2$, in the critical $\\dot B^s\\_{2,1}$ Besov spaces framework.

연구 동기 및 목표

• 임의의 큰 초기 속도와 거의 일정한 초기 밀도를 가진 2차원 압축성 나비에-스토크스 방정식에 대해 강한 해의 전역 존재성을 확립하는 것.
• 체적 점도 ν → ∞의 극한에서 압축성 시스템의 비압축성 극한을 분석하여, 비압축성 나비에-스토크스 방정식으로의 수렴을 보이는 것.
• 비압축성 시스템이 투영된 초기 자료를 갖는 경우, d ≥ 3 차원으로 결과를 확장하는 것.
• 비판적 베소프 공간 프레임워크 ẆḂs₂,₁(Rᵈ)를 사용하여 정밀한 정칙성과 안정성 추정을 보장하는 것.
• 특히 L∞(R₊; ẆḂ⁰₂,₁) 및 L₁(R₊; ẆḂ²₂,₁) 노름을 포함한 초기 자료 노름과 점도 매개변수에 대한 해의 정량적 경계를 제공하는 것.

제안 방법

• 초기 밀도와 속도에 대해 비판적 ẆḂ⁰₂,₁(R²) 및 ẆḂ¹₂,₁(R²) 공간을 사용하여 최적의 정칙성과 L²에의 임베딩을 보장한다.
• 초기 속도를 무차원성과 잠재력 성분으로 분해하기 위해 레일리-헬름홀츠 프로젝션 P를 적용하며, V₀ = Pv₀는 비압축성 시스템의 초기 자료로 사용된다.
• 동차 베소프 공간에서 스토크스 시스템에 대한 최대 정칙성 추정을 활용하며, 특히 종점 추정: ‖V‖L∞(R₊;ẆḂ⁰₂,₁) + ‖Vt, μ∇²V‖L₁(R₊;ẆḂ⁰₂,₁) ≤ C(‖V·∇V‖L₁(R₊;ẆḂ⁰₂,₁) + ‖V₀‖ẆḂ⁰₂,₁)을 사용한다.
• 베소프 공간에서의 보간 부등식과 곱셈 법칙을 활용하여 비선형 항을 제어하며, 예를 들어 ‖V·∇V‖ẆḂ⁰₂,₁ ≤ C‖V‖ẆḂ¹/₂₂,₁‖∇V‖ẆḂ¹/₂₂,₁와 같은 표현을 사용한다.
• V의 L⁴(R₊;ẆḂ¹/₂₂,₁) 노름에 대한 지수적 의존성을 가진 그론발라 타입 추정을 사용하여, exp(C/μ⁴‖V₀‖ₗ²⁴)를 포함하는 경계를 도출한다.
• 실수 보간과 부스팅 추론을 적용하여 L² 에너지 해에서 비판적 베소프 클래스의 전역 해로 정칙성을 향상시키며, ∇²V ∈ L₁(R₊;ẆḂ⁰₂,₁)를 확보한다.

실험 결과

연구 질문

• RQ1 큰 체적 점도 조건 하에, 임의의 큰 初기 속도와 거의 일정한 밀도를 가진 2D 압축성 나비에-스토크스 방정식에 대해 전역 강한 해가 존재할 수 있는가?
• RQ2 큰 체적 점도 ν = λ + 2μ는 어떻게 압축성 시스템을 안정화시키고 큰 자료에 대한 전역 존재성을 가능하게 하는가?
• RQ3 ν → ∞의 극한에서 압축성 시스템의 해는 어떻게 행동하며, 비압축성 나비에-스토크스 시스템의 해로 수렴하는가?
• RQ4 3차원 이상의 차원 d ≥ 3 에서, 투영된 초기 속도를 갖는 비압축성 시스템이 전역 강한 해를 갖는다고 가정할 경우, 전역 존재성이 확립될 수 있는가?
• RQ5 비판적 베소프 공간 프레임워크에서 초기 자료 노름과 점도 매개변수에 대한 해의 정밀한 정량적 경계는 무엇인가?

주요 결과

• d = 2인 경우, 체적 점도 ν가 충분히 클 경우, 임의의 초기 속도 v₀ ∈ ẆḂ⁰₂,₁(R²) 및 초기 밀도 ϱ₀ − 1 ∈ ẆḂ⁰₂,₁ ∩ ẆḂ¹₂,₁(R²)에 대해 압축성 나비에-스토크스 시스템에 대해 전역 강한 해가 존재한다.
• 해는 경계 ‖v‖L∞(R₊;ẆḂ⁰₂,₁) + ‖vt, ∇²v‖L₁(R₊;ẆḂ⁰₂,₁) ≤ C‖V₀‖ẆḂ⁰₂,₁ exp(C/μ⁴‖V₀‖ₗ²⁴)를 만족하며, C는 일반 상수이다.
• 밀도 편차 a = ϱ − 1은 a ∈ C(R₊; ẆḂ⁰₂,₁ ∩ ẆḂ¹₂,₁) ∩ L₂(R₊; ẆḂ¹₂,₁)를 만족하여 정칙성과 감쇠를 보장한다.
• 비압축성 극한이 정당화된다: ν → ∞일 때, 압축성 시스템의 해는 초기 자료 V₀ = Pv₀를 갖는 비압축성 나비에-스토크스 시스템의 해로 수렴한다.
• d ≥ 3 차원에서, 비압축성 시스템이 초기 자료 V₀ = Pv₀를 갖는 에너지 범주에서 전역 강한 해를 갖는다고 가정할 경우 전역 존재성이 성립한다.
• 해는 안정성을 보이며, v의 무차원 부분과 비압축성 해 V 사이의 차이가 ν¹/² 계수를 가진 ẆḂ⁰₂,₁ 노름으로 제어된다.