[논문 리뷰] A BGK approximation to scalar conservation laws with discontinuous flux

Florent Berthelin, Julien Vovelle|arXiv (Cornell University)|2010. 03. 22.

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

한 줄 요약

이 논문은 공간에서 불연속 유통계수를 가진 스칼라 보존법칙의 엔트로피 해로의 BGK 이완 모델 수렴성을 확립한다. BGK 방정식을 운동론적 공식화와 일반화된 해를 위한 새로운 감소 정리에 의해 분석함으로써, 이완 매개수 $\varepsilon \to 0$ 일 때 BGK 근사가 유일한 엔트로피 해로 강한 $L^p$ 수렴을 보임을 증명하며, 불연속 유통계수 문제에서의 선택 모순을 해결한다.

ABSTRACT

We study the BGK approximation to first-order scalar conservation laws with a flux which is discontinuous in the space variable. We show that the Cauchy Problem for the BGK approximation is well-posed and that, as the relaxation parameter tends to 0, it converges to the (entropy) solution of the limit problem.

연구 동기 및 목표

• 불연속 유통계수 함수를 가진 스칼라 보존법칙의 약한 해에서의 유일성 부족 문제를 다루기 위해.
• 이러한 방정식에 대한 BGK 근사의 잘 정의됨을 확립하기 위해.
• BGK 모델의 이완 극한이 원래 보존법칙의 엔트로피 해로 강하게 수렴함을 증명하기 위해.
• 일반화된 운동론적 해를 정의하는 데 사용된 감소 정리(정리 7)를 도입하고, 일반화된 운동론적 해가 고전적 엔트로피 해와 일치함을 증명하기 위해.
• 불연속 유통계수 문제에서 BGK 기반 수치적 방법의 엄밀한 기초를 제공하기 위해.

제안 방법

• 공간에서의 유통계수 불연속성을 갖는 이완 운동론 방정식으로 BGK 모델을 공식화하며, 불연속 계수 $k(x)$와 속도에 의존하는 유통계수 함수 $a(\xi)$를 사용한다.
• 이완 상태로의 수렴을 모델링하기 위해 구간 $(0, u^\varepsilon)$의 특성 함수인 평형 함수 $\chi_{u^\varepsilon}(\xi)$를 도입한다.
• 운동론적 조건을 [BV06]의 영향을 받아 적용하며, 비평형 효과를 나타내기 위해 운동론 측도 $m^\varepsilon$를 사용한다.
• 에너지 추정과 $L^\infty$에서의 약한 컴팩턴스를 통해 BGK 방정식의 해가 존재하고 유일함을 확립한다.
• 일반화된 운동론적 해가 반드시 고전적 엔트로피 해로 감소함을 보여주는 감소 정리(정리 7)를 개발한다.
• 감소 정리를 이용해 $\varepsilon \to 0$ 일 때 $f^\varepsilon$가 강한 $L^p$ 수렴을 보임을 유도하며, 이는 일관된 $L^\infty$ 유계성 조건 하에 성립한다.

실험 결과

연구 질문

• RQ1 BGK 모델은 불연속 유통계수를 가진 스칼라 보존법칙에 대해 잘 정의된 근사인가?
• RQ2 BGK 이완 극한은 원래 보존법칙의 엔트로피 해로 강하게 수렴하는가?
• RQ3 유통계수 불연속성으로 인해 발생하는 다수의 약한 해 중에서 고유한 해를 선택할 수 있는 엄밀한 방법이 있는가?
• RQ4 운동론 측도를 통해 정의된 일반화된 운동론적 해가 고전적 엔트로피 해로 감소함을 보일 수 있는가?
• RQ5 초기 조건이 평형 상태가 아니어도 BGK 모델의 수렴이 성립하는가?

주요 결과

• 모든 $\varepsilon > 0$ 에 대해 BGK 방정식은 잘 정의되며, 해는 $L^\infty$에 존재하고 일관된 유계성을 만족한다.
• 모든 $1 \leq p < \infty$ 에 대해 $\varepsilon \to 0$ 일 때 BGK 근사는 $L^p(Q \times \mathbb{R})$에서 엔트로피 해 $\chi_u$로 강하게 수렴한다.
• 감소 정리(정리 7)를 통해 수렴이 확립되며, 이는 임의의 일반화된 운동론적 해가 반드시 고전적 엔트로피 해와 일치함을 보여준다.
• BGK 모델과 관련된 운동론 측도 $m^\varepsilon$는 약한-* 수렴을 통해 음이 아닌 측도 $m$로 수렴하며, 엔트로피 조건과의 일致성을 보장한다.
• 초기 조건 $f_0^\varepsilon$가 평형 상태가 아니어도, $L^1$에서 초기 상태 $f_0$로 약한 수렴을 보일 경우 결과는 성립한다. 여기서 $u_0(x) = \int f_0(x,\xi) d\xi$이다.
• 원래 [BV06]의 증명에서 약간의 간극을 메우기 위해 운동론 공식화에서 나머지 항을 명시적으로 추적함으로써 증명을 보완한다.