Existence of weak solutions for fast diffusion equation with a divergence type of drift term

기술 요약: 드리프트 항이 포함된 빠른 확산 방정식의 약한 해의 존재성과 그 응용

문제 정의
본 논문은 유계 영역 $\Omega \subset \mathbb{R}^d$ ($d \geq 2$) 내에서 시간 간격 $(0, T)$ 동안 다음과 같이 정식화된, 발산 유형의 드리프트 항을 가진 빠른 확산 방정식(Fast Diffusion Equation, FDE)에 대한 비음수 약한 해의 존재성을 조사한다:
$$\partial_t \rho = \nabla \cdot (\nabla \rho^m - V \rho), \quad 0 < m < 1,$$
이 시스템은 무플럭스(no-flux) 경계 조건을 따르며, 비음수 초기 데이터 $\rho_0 \in L^q(\Omega)$를 가진다. 주요 과제는 드리프트 벡터장 $V(x,t)$에 대한 적분 가능성 조건(특히 $V$가 스케일링 불변(scaling-invariant) 또는 초임계(super-critical) 클래스에 속하는 경우) 하에서 전역 약한 해를 구성하는 것이다. 저자들은 드리프트에 대해 세 가지 구조적 경우를 구분한다: 특정 적분 가능성 조건을 만족하는 일반적인 드리프트, $\nabla V$가 적분 가능성 조건을 만족하는 드리프트, 그리고 발산 없는(divergence-free) 드리프트($\nabla \cdot V = 0$).

방법론
저자들은 와서스테인 공간(Wasserstein space) 프레임워크 내에서 분할 방법(splitting method)과 컴팩트성 논증(compactness arguments)에 기반한 구성적 접근 방식을 채택한다. 방법론은 다음과 같은 세 가지 주요 단계로 진행된다:

1. 정칙 해(Regular Solutions)의 존재성: 와서스테인 공간 $P_2(\Omega)$에서의 분할 방법을 사용하여, 저자들은 먼저 매끄러운 초기 데이터와 매끄러운 드리프트 필드에 대한 정칙 해의 존재성을 확립한다. 이는 교대적인 시간 단계에서 균일한 FDE와 수송 방정식(transport equation)을 각각 푸는 과정을 포함한다.
2. 사전 추정(A Priori Estimates): 분석의 핵심은 정칙 해 시퀀스에 대한 균등 사전 추정치를 도출하는 데 있다. 여기에는 다음이 포함된다:
   • 에너지 추정치: $L^q$-에너지 바운드와 엔트로피 바운드(q=1인 경우)가 도출된다. 결정적으로, 저자들은 발산 없는 드리프트의 경우 에너지 추정치가 드리프트 항 $V$와 독립적임을 입증하며, 이를 통해 $V$에 대한 더 약한 조건을 허용한다.
   • 속도 추정치: 와서스테인 공간에서의 해 곡선의 "속도"에 대한 추정치를 얻는다. 이는 $w = -\nabla \rho^m / \rho + V$에 대해 $\int |w|^2 \rho \, dx dt$를 바운딩하는 과정을 포함하며, 해 곡선이 와서스테인 메트릭에서 절대 연속(AC)임을 보장한다.
   • 컴팩트성: 정교한 컴팩트성 논증이 개발되었다. $\rho^q$ 수준에서 컴팩트성을 확립했던 이전 연구들과 달리, 본 논문은 적절한 음의 소볼레프 공간(negative Sobolev spaces)에서 시간 및 공간 미분($\partial_t \rho$ 및 $\nabla \rho$)을 추정함으로써 $\rho$에 대해 직접적으로 컴팩트성을 확립한다. 이를 통해 스케일링 불변 클래스에 비해 초임계 레짐(super-critical regimes)에 있는 드리프트 항을 다룰 수 있게 된다.
3. 극한으로의 통과(Passage to the Limit): 정칙 해 시퀀스가 아우빈-리옹 보조정리(Aubin-Lions lemma)와 와서스테인 공간에서의 좁은 수렴(narrow convergence) 성질을 통해 약한 해로 수렴함을 보인다. 드리프트 항 $\rho_n V_n$의 수렴은 보간 부등식(interpolation inequalities)과 $V$에 정의된 특정 적분 가능성 클래스를 사용하여 신중하게 처리된다.

주요 기여 및 결과

• 새로운 드리프트 클래스: 논문은 $S^{(q_1, q_2)}_{m,q}$, $\tilde{S}^{(\tilde{q}_1, \tilde{q}_2)}_{m,q}$, $D^{(q_1, q_2)}_{m,q}$ (및 그 변형들)로 명명된 특정 드리프트 필드 클래스를 도입하고 분석한다.
  • 일반적인 드리프트의 경우, 클래스 $S^{(q_1, q_2)}_{m,q}$는 에너지 추정치가 유지되도록 스케일링 불변 클래스에 대한 하위 임계(sub-critical) 적분 가능성 조건을 부과한다.
  • 발산 없는 드리프트의 경우, 저자들은 $D^{(q_1, q_2)}_{m,q}$ 및 $D^{(q_1, q_2)}_{m,q,s}$ 클래스를 도입한다. 이 클래스들은 스케일링 불변 클래스에 대해 초임계 레짐까지 확장되며, 이는 다공성 매질 방정식(PME) 및 FDE에 대한 기존 결과보다 유의미한 개선이다.
• 존재성 정리:
  • 정리 2.6 & 2.8: $V \in S^{(q_1, q_2)}_{m,q}$ 또는 $\nabla V \in \tilde{S}^{(\tilde{q}_1, \tilde{q}_2)}_{m,q}$인 일반적인 드리프트에 대한 절대 연속(AC) $L^q$-약한 해의 존재성을 확립한다. 이 결과는 $1 - 1/d < m < 1$ 범위를 다룬다.
  • 정리 2.10 & 2.11: 발산 없는 드리프트에 대한 $L^q$-약한 해(및 AC 해)의 존재성을 확립한다. 특히, 이 정리들은 더 넓은 $m$의 범위, 즉 $(1 - 2q/d)_+ \leq m < 1$을 허용하며, 초임계 클래스인 $D^{(q_1, q_2)}_{m,q}$ 및 $D^{(q_1, q_2)}_{m,q,s}$에 속하는 드리프트를 수용한다.
• 개선된 컴팩트성: 논문은 $\rho$에 대한 직접적인 컴팩트성 논증(Proposition 4.6)이 핵심적인 기술적 진보라고 주장한다. 이는 드리프트가 스케일링 불변 클래스에 있어야 했던 기존 방법의 한계를 극복하여, 발산 없는 필드에 대해 초임계 드리프트 레짐으로 존재성 이론을 확장할 수 있게 한다.
• 부시네스크 시스템(Boussinesq System)에 대한 응용: 응용으로서, 저자들은 자신들의 존재성 이론을 빠른 확산 유형의 점성 부시네스크 시스템에 적용한다. 저자들은 온도 방정식이 발산 없는 드리프트(유체 속도)를 가진 FDE인 결합된 시스템에 대한 약한 해의 존재성을 증명한다. 속도장의 발산 없는 특성은 온도 방정식이 주어지는 것이 아니라 결정되는 드리프트임에도 불구하고, 온도 방정식이 주요 정리에서 요구되는 에너지 추정치를 만족할 수 있게 한다.

의의 및 주장
본 논문은 자신의 연구를 다공성 매질 방정식의 드리프트 존재성 이론([18, 19]에서 개발된)을 빠른 확산 범위($0 < m < 1$)로 확장하는 것으로 포지셔닝한다. 저자들은 $m > 1$에서 $m < 1$로의 전이가 빠른 확산의 경우 더 약한 강성 제어(coercive control)로 인해 비자명하다는 점을 강조한다.

주된 의의는 발산 없는 경우 드리프트 항에 대한 적분 가능성 조건을 완화했다는 점에 있다. 개선된 컴팩트성 논증과 와서스테인 공간에서의 속도 추정치를 활용함으로써, 저자들은 드리프트가 스케일링 불변 임계값에 대해 초임계 클래스에 속하는 경우에도 약한 해가 존재함을 입증한다. 이는 FDE와 PME 모두에 대한 기존 결과들을 개선한 것이다. 또한, 부시네스크 시스템에 대한 응용은 이러한 이론적 개선의 물리적 관련성을 보여주며, 이론이 드리프트가 유체 역학에 의해 결정되는 결합된 시스템을 다룰 수 있음을 보여준다.

저자들은 $q > 1$인 경우, 발산 없는 조건이 충족되지 않으면 FDE를 위한 허용 가능한 드리프트 클래스가 스케일링 불변 클래스보다 더 제한적이라는 점을 명시적으로 언급하며, $L^1$ 기반 및 $L^q$ ($q>1$) 기반 초기 데이터 사이의 구분을 명확히 하여, 후자가 드리프트에 대해 다른 적분 가능성 레짐을 허용함을 보여준다.