[논문 리뷰] A bound from below on the temperature for the Navier-Stokes-Fourier system

Eric Baer, Alexis Vasseur|arXiv (Cornell University)|2014. 11. 05.

Navier-Stokes equation solutions참고 문헌 16인용 수 5

한 줄 요약

이 논문은 비선형 압력 의존성을 갖는 압축성 나비에-스토크스-푸아죄르 시스템에 대한 약한 해에 대해 국소화된 엔트로피 부등식과 수정된 데 지오르기 반복 기법을 사용하여 온도의 균일한 하한을 확립한다. 주요 결과는 온도가 물리적으로 타당한 가정 하에 압력이 온도에 대해 선형이 아닐 경우에도 공간과 시간에 걸쳐 영으로부터 멀리 떨어져 있음을 보여준다.

ABSTRACT

We give a uniform bound from below on the temperature for a variant of the compressible Navier-Stokes-Fourier system, under suitable hypotheses. This system of equations forms a mathematical model of the motion of a compressible fluid subject to heat conduction. Building upon the work of [16], we identify a class of weak solutions satisfying a localized form of the entropy inequality (adapted to measure the set where the temperature becomes small) and use a form of the De Giorgi argument for $L^\infty$ bounds of solutions to elliptic equations with bounded measurable coefficients.

연구 동기 및 목표

• 압축성 나비에-스토크스-푸아죄르 시스템에 대한 L∞ 경계 확장을 비선형 압력 의존성과 함께 데 지오르기 방법에 적용하는 것.
• 물리적으로 타당한 구성 관계 하에서 약한 해에 대한 온도의 균일한 하한을 확립하는 것.
• 이전 연구에서 요구한 압력의 선형성 조건을 더 일반적이고 열역학적으로 일관된 모델로 일반화하는 것.
• 국소화된 엔트로피 부등식을 만족하는 약한 해의 범주를 규명하여 데 지오르기 기법의 적용을 가능하게 하는 것.
• 이러한 해에 대해 온도가 공간과 시간에 걸쳐 균일하게 영으로부터 멀리 떨어져 있음을 증명하는 것.

제안 방법

• 유한 가측 계수를 갖는 타원형 방정식에 대한 데 지오르기 반복 기법을 시간에 의존하는 나비에-스토크스-푸아죄르 시스템에 적용한다.
• 온도가 영에 가까이 갈 때의 증가를 제어하기 위해 엔트로피 부등식(식 14)의 국소화된 형태를 사용한다.
• 체비셰프 부등식을 기반으로 한 비선형 반복 기법을 사용하여 온도의 하한을 전파한다.
• 엔트로피 차이를 측정하고 저온 영역에서의 에너지 소산을 제어하기 위해 가중치 함수 W(θ, Ck, ‖ρ‖L∞)를 도입한다.
• 온도의 하한을 점진적으로 향상시키기 위해 잘라내기 수준(Ck)의 수열을 사용한다.
• 밀도의 유계성과 영으로부터 멀리 떨어진 초기 온도를 포함하여 응력 텐서 S의 약간의 비선형 성장을 다룰 수 있다.

실험 결과

연구 질문

• RQ1 압력이 온도에 대해 선형이 아닐 경우, 압축성 나비에-스토크스-푸아죄르 시스템의 약한 해에 대해 균일한 온도 하한을 확립할 수 있는가?
• RQ2 비선형 엔트로피 및 압력 법칙을 갖는 시스템에 대해 데 지오르기 방법을 어떻게 적응시킬 수 있는가?
• RQ3 어떤 종류의 약한 해가 국소화된 엔트로피 부등식을 통해 온도의 하한을 제어하는 데 사용될 수 있는가?
• RQ4 밀도의 유계성과 초기 온도의 영리한 분리가 압력 모델이 선형이 아닐 경우에도 방법을 확장하는 데 어떤 역할을 하는가?
• RQ5 물리적으로 타당한 구성 관계와 약한 해의 가정 하에 온도가 여전히 균일하게 영으로부터 멀리 떨어져 있을 수 있는가?

주요 결과

• 모든 τ ∈ (0, T)에 대해 ητ,T > 0 가 존재하여 τ < t < T 이고 거의 모든 x ∈ Ω 에 대해 θ(t, x) ≥ ητ,T 인 것으로 보장되며, 이는 온도에 대한 균일한 하한을 확립한다.
• 결과는 初기 밀도와 속도가 ρ ∈ L∞(0,T;Lω(Ω)) (ω > 3) 및 u ∈ L²(0,T;H¹₀(Ω)) 를 만족할 때 성립한다.
• 온도의 하한은 국소화된 엔트로피 부등식과 체비셰프 부등식에 기반한 데 지오르기 유형 반복에 의해 확립된다.
• 밀도가 유계이고 初기 온도가 영으로부터 멀리 떨어져 있을 경우 더 강력한 결과가 성립한다: 모든 t ∈ [0,T] 와 거의 모든 x ∈ Ω 에 대해 θ(t,x) ≥ ηT > 0 이다.
• 증명은 온도가 임계값 이하로 떨어지면 엔트로피 균형과 질량 보존 법칙이 위반될 수 없으며, 따라서 온도는 아래로 유계여야 한다고 보여준다.
• 응력 텐서 S가 약간의 비선형 성장을 보일 경우에도 초기 온도가 영으로부터 멀리 떨어져 있으면 이 방법이 적용 가능하다.