[논문 리뷰] Radon measure-valued solutions of first order hyperbolic conservation laws

Michiel Bertsch, Flavia Smarrazzo외 2명|arXiv (Cornell University)|2018. 03. 27.

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

한 줄 요약

이 논문은 비음성 Radon 측도 값의 초기 자료를 가진 일阶 히퍼볼릭 보존법칙에 대해 엔트로피 해의 존재성과 유일성을 확립한다. 측도 값의 엔트로피 공식화를 도입하고, 해의 특이 부분이 특성선 沿해 연속적으로 진화함을 증명하며, 뚜렷한 이분법이 존재한다: $φ$의 점근적 행동에 따라, 해는 즉시 $L^1$ 함수로 정규화되거나(하중선적 $φ$의 경우), 특이성이 영구히 유지된다(예: 선형 경우 $φ(u)=u$), 이는 $φ$의 무한대에서의 행동에 따라 달라진다.

ABSTRACT

We study nonnegative solutions of the Cauchy problem $$ \begin{cases} u_t+[φ(u)]_x=0 & ext{in } \mathbb{R} imes (0,T) \\ u=u_0\ge 0& ext{in } \mathbb{R} imes \{0\}, \end{cases} $$ where $u_0$ is a Radon measure and $φ:[0,\infty)\mapsto \mathbb{R}$ is a globally Lipschitz continuous function. We construct suitably defined entropy solutions in the space of Radon measures. Under some additional conditions on $φ$, we prove their uniqueness if the singular part of $u_0$ is a finite superposition of Dirac masses. In terms of the behaviour of $φ$ at infinity we give criteria to distinguish two cases: either all solutions are function-valued for positive times (an instantaneous regularizing effect), or the singular parts of certain solutions persist until some positive {\em waiting time} (in the linear case $φ(u)=u$ this happens for all times). In the latter case we describe the evolution of the singular parts.

연구 동기 및 목표

• 초기 자료가 비음성 유한 Radon 측도일 때, 일阶 히퍼볼릭 보존법칙에 대한 엔트로피 해를 정의하고 구성하는 것.
• 특이 부분의 시간에 따른 진화를 분석하여, 특히 그 유지 또는 소멸 여부를 다루는 것.
• 특정 조건 하에서의 유속 함수 $φ$에 대해 엔트로피 해의 유일성을 확립하는 것, 특히 초기 특이 부분이 유한한 Dirac 델타의 초월합일 경우.
• 특이 부분의 유지 또는 즉각적인 정규화 여부에 따라 두 해석 영역으로 해를 분류하는 것, 이는 $φ$의 점근적 행동에 기반한다.
• 부드러운 초기 자료로부터의 일致한 근사 절차를 제공하여 측도 값의 엔트로피 해로 수렴하는 것.

제안 방법

• 측도 값의 엔트로피 해는 테스트 함수 $ξ$ 와 쌍대 곱 $\langle u_s(\cdot,t), \xi_\nu \rangle_{\mathbb{R}}$ 를 포함하는 약한 공식화를 통해 정의되며, 여기서 $\xi_\nu = \xi_t + C_\varphi \xi_x$ 이고 $C_\varphi = \lim_{u\to\infty} \varphi(u)/u$ 이다.
• 초기 자료가 Dirac 델타로 수렴하는 부드러운 초기 자료를 사용하는 근사 절차를 적용하여 $n \to \infty$ 에서의 극한으로 해를 구성한다.
• 특이 부분은 특성선 $x = x_0 + C_\varphi t$ 沿해 비증가함을 보이며, $C_\varphi = 0$ 인 경우 등호가 성립한다.
• 상대 엔트로피 논증을 사용하여 유일성을 증명하며, 동일한 초기 자료를 가진 두 엔트로피 해는 거의 모든 공간-시간 영역에서 일치함을 보인다.
• 증명은 비교 원리에 기반하며, 절대 연속 부분 $u_r$ 가 Radon 측도 공간 값의 연속 함수임을 이용한다.
• 명시적 예시를 통해 구성의 타당성을 검증한다. 예를 들어 $\varphi(u) = \text{sgn}(p)[(1+u)^p - 1]$ ($p < 1$) 의 경우, 해를 명시적으로 계산하고 엔트로피 해임을 검증한다.

실험 결과

연구 질문

• RQ1 유속 함수 $\varphi$ 에 어떤 조건이 성립할 경우, 히퍼볼릭 보존법칙의 해가 $t > 0$ 에서 즉시 정규화되며($L^1$-값을 가짐) 되는가?
• RQ2 특이 부분이 모든 양의 시간 동안 유지되는가, 그리고 특성선을 따라 어떻게 진화하는가?
• RQ3 초기 자료가 유한한 Dirac 델타의 초월합일 경우, 측도 값의 엔트로피 해가 유일한가?
• RQ4 무한대에서의 $\varphi(u)$ 의 점근적 행동은 특이성이 즉각적으로 정규화되는지, 아니면 유지되는지를 어떻게 결정하는가?
• RQ5 해는 부드러운 초기 자료로부터 일致한 근사 절차를 통해 구성될 수 있는가?

주요 결과

• 하중선적 유속 함수($C_\varphi = 0$)의 경우, 예를 들어 $p < 1$ 인 $\varphi(u) = \text{sgn}(p)[(1+u)^p - 1]$ 에 대해, 해는 즉시 정규화된다: $t > 0$ 에서 특이 부분이 사라진다.
• 선형 경우 $\varphi(u) = u$ ($C_\varphi = 1$) 에서는 특이 부분이 모든 $t > 0$ 에 걸쳐 유지되며, 모든 양의 시간 동안 해는 측도 그대로 유지된다.
• 함수 $φ$ 가 오목이면서 하중선적일 경우($p < 1$, $p \neq 0$), 특이 부분이 사라지거나 제어 가능한 방식으로 진화하기 전에 대기 시간 $t_0$ 가 존재한다.
• 모든 $p < 0$ 에 대해, 특이 부분은 $\max\{1-t, 0\}\delta_0$ 로 주어지며, $t = 1$ 이후로 사라진다. 반면 정규 부분은 명시적으로 $[(|p|tx^{-1})^{1/(1-p)} - 1]\chi_A$ 로 주어진다.
• 모든 $0 < p < 1$ 에 대해, 해는 순수하게 정규이다: $u(x,t) = [(|p|tx^{-1})^{1/(1-p)} - 1]\chi_B$ 로 주어지며, $t > 0$ 에서 특이 부분이 존재하지 않으며, 대기 시간 $t_0 = 0$ 이다.
• 초기 자료가 유한한 Dirac 델타의 초월합이고 $φ$ 가 특정 오목성 및 성장 조건을 만족할 경우, 엔트로피 해의 유일성이 확립된다.