Non-Uniqueness for Nonlinear Fokker--Planck Equations and Their Associated Distribution-Dependent SDEs

기술 요약: 비선형 포커-플랑크 방정식 및 이와 관련된 분포 의존적 SDE의 비유일성

문제 정의
본 논문은 분포 의존적 확률 미분 방정식(DDSDE)과 이와 관련된 비선형 포커-플랑크 방정식(nFPE)의 적정성(well-posedness)을 조사한다. 구체적으로, 본 연구는 이 시스템에서 발생하는 법(law)의 비유일성 현상을 다룬다. 고전적 이론은 충분히 정규적인 계수(예: $\frac{d}{p} + \frac{2}{r} < 1$인 $L^r_t L^p_x$ 공간의 드리프트)를 가진 DDSDE에 대해 적정성을 확립하고 있으나, 본 연구는 드리프트가 거친 임계(critical) 및 초임계(supercritical) 영역을 탐구한다. 핵심 질문은, 충분히 거칠고 발산이 없는(divergence-free) 미소한 드리프트 섭동이 정지 상태(stationary state)로부터 시작하는 시간 진화와 정지 상태 자체 모두에서 해의 유일성을 파괴할 수 있는지 여부이다.

연구는 두 가지 주요 설정을 고려한다:

1. 주기적 설정: 도메인은 토러스 $\mathbb{T}^d$ ($d \ge 2$)이다.
2. 전체 공간 설정: 도메인은 $\mathbb{R}^d$ ($d \ge 2$)이며, 가둠 포텐셜(confining potentials)과 비선형 확산을 가진 방정식에 집중한다.

고려되는 방정식은 다음과 같은 일반적인 형태를 띤다:
$$dX_t = v(t, X_t) dt + (V * \rho_t)(X_t) dt + \sqrt{2}\sigma(t, X_t, \rho_t) dW_t,$$
여기서 $\rho_t$는 $X_t$의 확률 밀도이며, $v$는 외부 드리프트, $V$는 상호작용 커널, $\sigma$는 분포 의존적 확산 계수를 나타낸다. 연관된 nFPE는 다음과 같다:
$$\partial_t \rho - \text{div}\text{div}((\sigma\sigma^T)(\rho)\rho) + \text{div}(v\rho) + \text{div}((V*\rho)\rho) = 0.$$

방법론
주요 도구로 유체 역학(예: 오일러 및 나비에-스토크스 방정식)에서 개발된 **볼록 결합법(convex integration method)**을 사용하며, 이를 통해 와일드 솔루션(wild solutions)을 구성한다. 저자들은 이 기법을 비선형, 분포 의존적 포물선 방정식의 맥락에 맞게 조정하고 적용한다.

주요 기술적 혁신 및 적응 사항은 다음과 같다:

• 비선형성 처리: 선형 포커-플랑크 방정식에서는 해들의 볼록 결합이 여전히 해가 되지만, nFPE는 진정으로 비선형이다. 저자들은 해들을 단순히 중첩할 수 없다. 대신, 결합된 방정식들의 응력 항(stress terms)을 반복적으로 제거함으로써 무수히 많은 서로 다른 해를 구성한다.
• 무한 시스템 구성: 무수히 많은 해를 생성하기 위해(정리 1.3), 저자들은 정수열 $\{N_q\}$를 구성하고 단계 $q+1$에서 오직 첫 $N_{q+1}$개의 방정식에 대해서만 볼록 결합 스킴을 적용한다. 또한 인덱스 $i > N_{q+1}$인 방정식들의 응력 항에 쇠퇴 인자 $2^{-i}$를 도입하여, 활성화된 방정식들에 대한 추정치를 유지하면서 전체 섭동이 수렴하도록 보장한다.
• 빌딩 블록(Building Blocks): 구성에는 특정 "간헐적 시공간 제트(intermittent spatial-time jets)"(시간 의존적 경우)와 "미카도형 흐름(Mikado-type flows)"(정적 경우)이 사용된다. 이러한 빌딩 블록들은 서로 분리된 지지 집합(support)과 특정한 진동 특성을 갖도록 설계되어, 오차 항(진동, 비선형, 선형 및 코뮤테이터 오차)을 상쇄하면서 드리프트의 정규성을 제어한다.
• 정규성 임계치: 구성은 $C_t L^{d-}$ 공간($d$ 미만의 $L^p$ 공간에서의 시간 연속성)의 드리프트를 목표로 하며, 이는 자연스러운 임계 정규성 임계치에 해당한다. 본 논문은 낮은 정규성 위상 내에서 매끄러운 드리프트의 임의의 근방에서 적정성이 실패함을 입증한다.
• 전체 공간 적응: $\mathbb{R}^d$의 경우, 저자들은 국소적 지지 집합을 보존하면서 역 발산 문제를 처리하기 위해 **보고스키-오퍼레이터(Bogovskii operator)**를 활용한다. 이를 통해 섭동이 무한대에서의 시스템 거동이나 가둠 포텐셜에 영향을 미치지 않도록 구성을 특정 도메인으로 국소화할 수 있다.

주요 기여 및 결과

1. 시간 진화의 비유일성 (정리 1.3 및 1.6):

   • 저자들은 $d \ge 2$인 경우, 매끄러운 드리프트에 임의로 가까운 발산이 없는 드리프트 필드 $v \in C_t L^{d-}$가 존재하여, 동일한 정지 초기 밀도(예: 토러스 상의 균등 측도 또는 $\mathbb{R}^d$ 내의 특정 정지 상태)로부터 시작하는 nFPE가 무수히 많은 서로 다른 확률 밀도 해를 가짐을 증명한다.
   • 중첩 원리에 의해, 이는 대응하는 DDSDE에 대해 무수히 많은 서로 다른 마팅게일 솔루션(martingale solutions)이 존재함을 의미한다.
   • 이 결과는 $C_t L^{d+}$ 공간의 드리프트에 대해서는 적정성이 기대된다는 점에서 본 연구의 결과가 본질적으로 날카로움(sharp)을 보여준다.

2. 정지 상태의 비유일성 (정리 1.5 및 1.7):

   • $d \ge 3$인 경우, 저자들은 임의의 정수 $N \in \mathbb{N}$에 대해 정지 nFPE가 적어도 $N$개의 서로 다른 정지 확률 밀도 해를 갖도록 하는 발산이 없는 드리프트를 구성한다.
   • 이러한 평형 상태의 다중성은 물리 시스템의 다중 안정성(multistability) 및 상전이 현상과 유사하다.
   • 이 결과는 정규 상호작용 커널과 더 특이한 경우(예: $V \sim |x|^{1-d}$인 그린 함수 상호작용) 모두에 적용된다.

3. 특이 상호작용으로의 확장 (정리 1.4):

   • 비선형 상호작용 항을 포함하는 특이 커널(예: $V = \text{div } b$이며 $b \in L^{\frac{d}{d-\gamma}, \infty}$)을 가진 경우로 비유일성 메커니즘을 확장한다.
   • 이 영역에서 저자들은 특이 커널을 포함하는 비선형 상호작용 항을 정당화하기 위해 개선된 시간 정규성 추정치($C_t$ 바운드)를 얻는다.

4. 특정 물리 모델:
   본 프레임워크는 다음을 포함한 광범위한 클래스의 모델에 적용될 수 있음을 보여준다:

   • 거친 드리프트를 가진 분포 독립적 SDE.
   • 컨볼루션 유형의 맥케인-브라브스(McKean–Vlasov) 방정식.
   • 푸로제-미디어(Porous-medium) 유형 방정식.
   • 켈러-셀러(Keller–Segel) 방정식 (화학 주성/chemotaxis).
   • 2D 와도(vorticity) 나비에-스토크스 방정식.
   • 란다우(Landau) 유형 방정식.

의의 및 주장
본 논문은 광범위한 비선형 및 분포 의존적 포커-플랑크 방정식에 대한 최초의 비유일성 결과를 확립했다고 주장한다. 저자들은 무수히 많은 해를 구성하는 것이 선형 사례와 근본적으로 다르다는 점을 강조하는데, 이는 비선형 설정에서 해들의 볼록 결합이 일반적으로 해가 되지 않기 때문이다.

결과는 낮은 정규성 노름 내에서 드리프트가 발산이 없고 임의로 작더라도, 거친 드리프트의 존재 하에서 적정성이 매우 취약함을 보여준다. 이 연구 결과는 이 시스템들의 유일성에 대한 임계 정규성 임계치가 날카롭다는 것을 시사한다. 또한, 다중 정지 상태의 구성은 고정된 확산 계수를 가진 고전적 모델을 넘어, 평균장 시스템(mean-field systems)에서의 상전이를 이해하는 수학적 메커니즘을 제공하며 다중 안정성을 설명한다.

본 연구는 새로운 실험적 응용을 제안하기보다는, 상호작용하는 입자 시스템 극한의 임계 정규성 영역에서 유일성 가설에 대한 엄밀한 이론적 반례를 제공하는 데 목적이 있다.