[논문 리뷰] The minimum entropy principle for fluid flows in a nozzle with discontinuous cross-section

Dietmar Kroener, Philippe G. LeFloch외 1명|ArXiv.org|2007. 12. 21.

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

한 줄 요약

이 논문은 압축성 유체 흐름에 대해 불연속적인 단면을 가진 노즐에서 엔트로피 부등식의 보존형을 유도하여, 불연속 단면을 가진 노즐에서의 탄성 유체 흐름에 대한 최소 엔트로피 원리를 수립한다. 이는 리만 해법기반의 유한체적 스킴에서 밀도의 수치적 안정성과 양성 보장을 보장하는 이산 최소 엔트로피 원리를 증명한다.

ABSTRACT

We consider the Euler equations for compressible fluids in a nozzle whose cross-section is variable and may contain discontinuities. We view these equations as a hyperbolic system in nonconservative form and investigate weak solutions in the sense of Dal Maso, LeFloch, and Murat. Observing that the entropy equality has a fully conservative form, we derive a minimum entropy principle satisfied by entropy solutions. We then establish the stability of a class of numerical approximations for this system.

연구 동기 및 목표

• 불연속적인 단면을 가진 노즐에서의 탄성 유체 흐름에 대한 최소 엔트로피 원리를 수립하기.
• 달 마소-레플로흐-무라 이론을 사용하여 비보존 형태의 오일러 방정식의 약한 해를 분석하기.
• 엔트로피 부등식이 비보존적 곱의 형태 없이 완전히 보존형으로 표현될 수 있음을 보여주기.
• 수치적 안정성과 밀도의 양성 보장을 보장하기 위해 수치 스킴이 최소 엔트로피 원리를 유지함을 증명하기.
• 타드모르의 최소 엔트로피 원리를 변수적이고 불연속적인 단면을 가진 노즐 흐름으로 확장하기.

제안 방법

• 변형 가능한 단면을 가진 노즐에서의 탄성 유체 흐름에 대한 오일러 방정식을 비보존 형태의 쌍곡형 시스템으로 수식화하기.
• 불연속적인 단면을 시스템의 일부로 다루기 위해 ∂ₜa = 0이라는 자명한 방정식을 도입하기.
• 물리적 엔트로피 𝒰 = ρS와 엔트로피 쌍 (g(S), f(U))를 사용하여 보존형 엔트로피 부등식을 유도하기. 여기서 g(S)는 엄밀히 감소하고 볼록함.
• 엔트로피 해의 이론을 적용하고 엔트로피 함수의 볼록성을 활용하여 수치 스킴에 대한 이산 엔트로피 부등식을 유도하기.
• 리만 해법을 사용하여 세포 경계에서 수치적 플럭스를 계산하는 크로너와 탄의 유한체적 스킴을 변형 적용하기.
• 고전적인 볼록성 부등식 (4.20)을 사용하여 스킴이 수치 엔트로피 부등식을 만족함을 보여주고, 이로 인해 이산 설정에서 최소 엔트로피 원리가 도출됨을 확인하기.

실험 결과

연구 질문

• RQ1 불연속적인 단면을 가진 노즐에서의 탄성 유체 흐름에 대해 최소 엔트로피 원리를 수립할 수 있는가?
• RQ2 이러한 흐름의 엔트로피 부등식은 비보존적 곱의 형태 없이 보존형으로 표현될 수 있는가?
• RQ3 최소 엔트로피 원리와 밀도의 양성을 모두 유지하는 수치 스킴을 구성할 수 있는가?
• RQ4 유한체적 스킴의 맥락에서 이산 엔트로피 부등식은 연속 엔트로피 부등식과 어떻게 관련이 있는가?
• RQ5 수치 해가 물리적으로 타당한 상태(예: 음이 아닌 밀도)를 유지하기 위해 필요한 조건은 무엇인가?

주요 결과

• 노즐 흐름의 엔트로피 부등식이 완전히 보존형으로 표현됨을 보여주어, 비보존적 곱의 형태 없이 분포 해를 사용할 수 있다.
• 특정 엔트로피 S는 시간에 따라 감소하지 않으며, 이는 타드모르의 최소 엔트로피 원리를 변수적이고 불연속적인 단면을 가진 노즐로 일반화한 것이다.
• 크로너와 탄의 유한체적 스킴은 이산 최소 엔트로피 원리를 만족하며, 각 시간 단계에서 Sⱼⁿ⁺¹ ≥ min{Sⱼ₋₁ⁿ, Sⱼ₊₁ⁿ} 임을 보장한다.
• 최대 속도와 압력 도함수를 포함하는 CFL 유사 조건 하에서 밀도 ρⱼⁿ⁺¹ > 0의 양성이 유지된다.
• 함수 h(ρ, S) = (γ−2)p(ρ,S)/ρ²의 오목성과 루사노프 유형 수치 플럭스의 경계 조건에 기반한 증명이 이루어진다.
• 엔트로피 부등식에서 p → ∞로 한없이 갈 때 이산 최소 엔트로피 원리가 도출되며, 이는 수치 해에서 엔트로피가 시간에 따라 증가하지 않음을 확인한다.