Singular limit for nonlocal conservation laws with non-locality in density and velocity

문제 정의
본 논문은 밀도와 속도 모두에서 비국소성(non-locality)을 포함하는 스칼라 비국소 보존 법칙의 특이 극한(singular limit)을 조사한다. 지배 방정식은 다음과 같다:
$$\begin{cases} \partial_t u^\varepsilon + \partial_x \left( V_1(V_2(u^\varepsilon) * \eta_\varepsilon) u^\varepsilon \right) = 0, \\ u^\varepsilon(0, x) = u_0(x), \end{cases}$$
여기서 $V_1$과 $V_2$는 속도 함수이며, $\eta_\varepsilon$는 항등 함수를 근사하는 재조정된 커널(rescaled kernel)이다. 저자들은 비국소 해 $u^\varepsilon$가 대응하는 비선형 보존 법칙의 고전적 해 $u$로 수렴함을 엄밀하게 정당화하는 것을 목표로 한다:
$$\partial_t u + \partial_x \left( V_1(V_2(u)) u \right) = 0,$$
$\varepsilon \to 0$일 때. 이 특정 문제는 이전 연구 [10]에서 제기된 열린 문제였으며, 해당 연구는 비국소 모델의 적정성(well-posedness)은 확립했으나 극한은 증명하지 못했다.

맥락 및 난제
본 논문은 퇴화된 경우(즉, $V_2 = \text{Id}$인 경우)의 특이 극한은 잘 연구되어 왔으나, 속도에서의 비국소성을 포함하는 일반적인 경우에는 상당한 어려움이 존재한다고 언급한다. 표준적인 컴팩트성 논증(예: $L^1$ 보존 및 Banach-Alaoglu를 통한 방식)은 비선형 항 $V_1(V_2(u^\varepsilon) * \eta_\varepsilon)u^\varepsilon$에 대해 극한을 취하는 데 불충분하다. 일반적인 경우를 다루려 했던 이전의 시도들은 대개 단조 초기 데이터나 특정 커널 선택(예: 지수 커널)에 국한되었다. 주요 과제는 충격파 형성 전까지의 고전적 해에 대해 수렴을 보장하기 위해 필요한 커널 $\eta$와 속도 함수에 대한 정확한 가정을 식별하는 것이다.

방법론
증명 전략은 충격파가 형성되기 전의 고전적 해($W^{2,\infty}$)에 대한 수렴성을 확립하는 데 기초한다. 방법론은 다음 단계로 진행된다:

1. 변수 변환: 저자들은 변수 $U^\varepsilon = V_2(u^\varepsilon)$와 $U = V_2(u)$를 도입한다. 증명의 핵심은 차이 $U^\varepsilon - U$에 대한 진화 방정식을 유도하고 이것이 0으로 수렴함을 확립하는 데 집중된다.
2. 최대 원리 분석: $U^\varepsilon - U$를 지배하는 방정식을 분석함으로써, 저자들은 최댓값 지점에서 $L^\infty$ 노름 $\| (U^\varepsilon - U)(t, \cdot) \|_\infty$의 시간 미분값을 평가한다. 이는 차이 방정식에 차이의 부호 함수(sign function)를 곱하는 과정을 포함한다.
3. 항 추정: 결과적으로 얻어진 미분 부등식은 플럭스(flux)의 차이와 비국소적 상호작용을 나타내는 항들($I$와 $J$)로 분해된다.
   • 저자들은 $V_2$의 bi-Lipschitz 성질과 $V_1, V_2$의 정칙성(regularity)을 활용하여 플럭스 항의 차이를 유계(bound)로 만든다.
   • 결정적으로, 이방성 커널 $\eta$( $\mathbb{R}^-$에 지지되어 있고, 단조 증가하며, 비음수인 커널)의 특수한 구조를 활용하여 비국소 합성(convolution) 항을 처리한다. 구체적으로, 커널의 미분과 부호 함수 사이의 상호작용이 비양(non-positive)의 기여를 생성하여 유리한 추정이 가능함을 보여준다.
4. 근사 논증: 증명은 커널 $\eta$가 리프시츠 연속(Lipschitz continuous)이라는 가정하에 먼저 수행된다. 대상 커널을 만족하는 일반적인 커널(가적분이고, 유계이며, $\mathbb{R}^-$에 지지되고, 단조 증가하는 커널)로 결과를 확장하기 위해, 저자들은 근사 보조정리를 사용한다. 그들은 타겟 커널로 수렴하는 리프시츠 커널 시퀀스를 구성하고, 커널에 대한 해의 안정성을 사용하여 극한을 취한다.
5. 그론월(Grönwall) 부등식: 추정 결과는 $\frac{d}{dt} \|U^\varepsilon - U\|_\infty \leq O(\varepsilon) + C \|U^\varepsilon - U\|_\infty$ 형태의 미분 부등식으로 이어진다. 그론월 부등식을 적용하면 원하는 수렴 속도를 얻을 수 있다.

주요 결과
주요 결과인 정리 1.1은 다음 가정 하에 성립한다:

• 초기 데이터 $u_0 \in W^{2,\infty}(\mathbb{R})$ 이며 $u_0 \geq 0$이다.
• 커널 $\eta$는 이방성 조건 (I)을 만족한다: $\eta \in L^1 \cap L^\infty$, $\text{supp}(\eta) \subset \mathbb{R}^-$, $\int \eta = 1$, 그리고 $\eta$는 $\mathbb{R}^-$ 상에서 단조 증가한다.
• 속도 함수 $V_1, V_2$는 충분히 정칙적($W^{3,\infty}_{loc}$)이며 특정 단조성 조건($V_1' \geq 0, V_2' \leq 0$)을 갖고, $V_2$는 해의 범위 내에서 bi-Lipschitz이다.

그러면, 고전적 해 $u$의 최대 존재 시간 $T^*$보다 엄격히 작은 임의의 시간 $T$에 대하여, 비국소 해 $u^\varepsilon$는 $L^\infty$ 노름에서 선형 속도로 $u$로 수렴한다:
$$\sup_{t \in [0, T]} \| (u^\varepsilon - u)(t, \cdot) \|_\infty = O(\varepsilon).$$

의의 및 범위
본 논문은 [10]에서 제기된 속도와 밀도 모두에서의 비국소성을 가진 비국소 보존 법칙의 특이 극한에 관한 질문에 긍정적인 답변을 제공한다. 저자들은 자신들의 방법이 일반적인 이방성 커널을 다룰 수 있음을 강조하며, 이를 통해 기존 문헌에서 발견되는 특정 커널 형태(예: 지수 커널)나 단조 초기 데이터에 대한 제한을 제거하였다.

저자들은 현재 연구의 한계를 명시적으로 밝힌다: 결과는 충격파 형성 전까지의 고전적 해에 대해 유효하다. 저자들은 이 유도를 전역 시간(global-in-time) 엔트로피 허용 해(충격파 형성을 다룰 수 있는 해)로 확장하는 것은 향후 연구로 남겨진 열린 문제임을 언급한다. 본 논문은 새로운 응용이나 실험적 설정을 제안하기보다는, 지정된 부류의 방정식에 대한 극한의 엄밀한 수학적 정당화에 집중한다.