Quantitative homogenization of convex Hamilton-Jacobi equations in the Wasserstein space

기술 요약: 와서스타인 공간에서의 볼록한 해밀턴-자코비 방정식의 정량적 균질화

문제 정의
본 논문은 유한한 2차 모멘트를 갖는 보렐 확률 측도들의 와서스타인 공간 $P_2(\mathbb{R}^d)$에 정의된 1차 해밀턴-자코비(HJ) 방정식의 점근적 거동과 정량적 수렴 속도를 조사한다. 연구되는 주요 방정식은 다음과 같다:
$$\begin{cases} -\partial_t U^\varepsilon + \int_{\mathbb{R}^d} H\left(\frac{x}{\varepsilon}, x, D_m U^\varepsilon(t, m, x), m\right) m(dx) = 0, & (t, m) \in [0, T) \times P_2(\mathbb{R}^d), \\ U^\varepsilon(T, m) = G(m), & m \in P_2(\mathbb{R}^d), \end{cases}$$
여기서 $H$는 빠른 변수 $x/\varepsilon$를 통해 $\varepsilon > 0$ 스케일에서 급격한 공간적 진동을 보이는 볼록한 해밀턴이다. 솔루션 $U^\varepsilon$는 이질적인 환경에서 대규모 상호작나 작용하는 에이전트 집단이 공통의 비용 범함수를 최소화하는 평균장 제어 문제의 가치 함수를 나타낸다.

저자들은 해밀턴 $H(y, x, p, m)$의 의존성에 따라 두 가지 구별된 설정을 다룬다:

1. 비다중스케일 설정 (가정 A1'): $H$가 거시적 변수 $x$ 및 측도 $m$과는 독립적으로, 오직 빠른 변수 $y = x/\varepsilon$와 모멘텀 $p$에만 의존한다.
2. 다중스케일 설정 (가정 A1): $H$가 빠른 변수 $y$, 거시적 변수 $x$, 모멘텀 $p$, 그리고 측도 $m$에 모두 의존한다.

목표는 $\varepsilon \to 0$일 때 $U^\varepsilon$가 균질화된 해밀턴 $\bar{H}$를 갖는 유효 HJ 방정식으로 수렴함을 증명하고, 이 수렴에 대한 날카로운 정량적 속도를 확립하는 것이다.

방법론
저자들은 와서스타인 공간에 맞게 조정된 최적 제어 이론, 점성 해(viscosity solution) 기법, 그리고 확률론적 방법의 조합을 사용한다.

1. 제어 표현 및 제어 집합의 동등성:
   중심적인 기술적 난관은 $P_2(\mathbb{R}^d)$의 국소 콤팩트성 결여로 인해, 유한 차원에서 사용되는 표준적인 변수 중복(doubling-of-variables) 논법을 적용하기 어렵다는 점이다. 이를 우회하기 위해, 저자들은 먼저 $U^\varepsilon$가 서로 다른 클래스의 가적 제어(admissible controls) 하에서 불변임을 입증한다. 그들은 표준적인 점진적 가측 제어 집합 $\mathcal{A}$를 더 큰 집합 $\mathcal{A}_1$ (시간 및 필트레이션에 대해 가측)과 $\mathcal{A}_2$ (독립적인 가우시안 랜덤 변수에 대해 가측)로 확장한다. 이를 통해 이들은 확률적 제어 문제를 초기 및 종단 랜덤 변수 $X$와 $Y$를 연결하는 랜덤 경로 $\gamma$를 포함하는 결정론적 최적 운송 문제로 재구성할 수 있다.

2. 비용 함수로의 축소:
   제어 집합의 동등성을 활용하여, 저자들은 $U^\varepsilon$를 진동하는 라그랑지안 $L$을 갖는 시간 간격 동안 입자를 $x$에서 $y$로 운송하는 데 필요한 최소 작용량을 나타내는 러닝 코스트 함수 $h^\varepsilon$에 관한 식으로 다시 쓴다. 구체적으로, 그들은 다음과 같이 $U^\varepsilon$를 표현함을 보인다:
   $$U^\varepsilon(t, m) = \inf_{\nu \in P_2} \left( \inf_{(X,Y) \in E_{m,\nu}} \mathbb{E}[h^\varepsilon(t, T, X, Y)] + G(\nu) \right).$$
   이러한 축소는 무한 차원 설정에서도 유한 차원 균질화(특히 Tran과 Yu의 연구)에서 개발된 기법들을 적용할 수 있게 한다.

3. 부가성(Subadditivity) 및 초가법성(Superadditivity):
   비다중스케일 사례의 경우, 비용 함수의 부가성 및 초가가성 성질을 사용하여 수렴 속도를 도출한다. 유한 차원 결과로부터 상속된 이러한 성질들은 평균화된 비용 $h$의 존재를 보장하며 $O(\varepsilon)$ 오차 범위를 제공한다.

4. 다중스케일 의존성을 위한 시간 분할:
   느린 변수($x$와 $m$)가 존재하는 일반적인 다중스케일 사례의 경우, 느린 변수들 때문에 $O(\varepsilon)$ 논법을 직접 적용할 수 없다. 대신, 저자들은 시간 구간 $[t, T]$를 $N$개의 하위 구간으로 분할한다. 각 하위 구간에서 그들은 느린 변수들을 초기값에서 "동결(freeze)"시켜, 문제를 국소적으로 비다중스케일 사례로 환원시킨다. 그 후, 균질화 오차($O(\varepsilon)$)와 동결 오차($O(1/N)$$) 사이의 균형을 맞추기 위해 분할 수$N$을 최적화하여$O(\sqrt{\varepsilon})$ 속도를 얻는다.

5. 극한의 식별:
   균등 수렴이 확립되면, 저자들은 리프트된 힐베르트 공간 $L^2(\Omega; \mathbb{R}^d)$에서 섭동된 테스트 함수 방법(변수 중복)을 사용하여 극한 $U$가 유효 방정식의 유일한 $L$-점성 해임을 검증한다. 와서스타인 공간에서의 점성 해의 유일성(기존 문헌에서 확립됨)은 극한의 식별을 보장한다.

주요 기여 및 결과

• 비다중스케일 설정에서의 최적 속도 (정리 1.1): 가정 (A1') 하에서, 저자들은 $U^\varepsilon$가 $\bar{H}$를 갖는 유효 방정식의 해로 $O(\varepsilon)$의 속도로 균등 수렴함을 증명한다. 이는 빠른 변수와 모멘텀에만 의존하는 볼록한 HJ 방정식에 대해 알려진 최적 속도와 일치한다.
• 다중스케일 설정에서의 정량적 속도 (정리 1.2): 거시적 변수 및 측도에 의존하는 일반적인 가정 (A1) 하에서, 저자들은 와서스타인 공간에서의 다중스케일 균질화 결과를 확장하여 $O(\sqrt{\varepsilon})$ 수렴 속도를 확립한다.
• 동적 최적 운송 (정리 1.3): 종단 조건이 최종 분포에 대한 제약을 가하는(즉, $m \neq \nu$이면 $G(m) = +\infty$) 동적 최적 운송 문제로 결과를 확장한다. 저자들은 운송 비용 $U^\varepsilon_{ot}$의 수렴 속도를 도출하며, 단순화된 경우 $O(\varepsilon)$, 일반적인 경우 $O(\sqrt{\varepsilon})$를 보이고, 초기 및 대상 측도 사이의 와서스타인 거리와의 명시적 의존성을 나타낸다.
• 제한된 제어에 관한 추론 (추론 1.5): 비원자적(non-atomic) 초기 측도에 대해, 초기 상태의 $\sigma$-대수에 대해 가측인 제어로 제어 집합을 제한하더라도 가치 함수가 변하지 않음을 보여준다. 이는 초기 측도가 디라크 질량(Dirac mass)인 고전적 HJ 방정식의 유한 차원 최적 속도 $O(\varepsilon)$를 특수 사례로 회복한다.

의의 및 주장
저자들은 본 연구가 와서스타인 공간에서의 해밀턴-자코비 방정식에 대한 최초의 정량적 수렴 결과를 제공한다고 주장한다. 무한 차원 HJ 방정식 및 동적 최적 운송에 대한 질적 균질화(속도 없는 수렴)는 이전에 연구된 바 있으나(예: Gang-bo 및 Tudorascu), 본 논문은 날카로운 속도를 확립한다.

구체적으로, 논문은 다음과 같이 주장한다:

1. 볼록한 HJ 방정식의 최적 $O(\varepsilon)$ 수렴 속도를 유한 차원에서 무한 차원 와서스타인 공간으로 확장하였다.
2. 와서스타인 공간에서의 다중스케일 설정에 대한 최초의 정량적 분석을 제공하여 $O(\sqrt{\varepsilon})$ 속도를 도출하였다.
3. 본 방법론은 제어 무작위화(control randomization) 및 동등한 정식화를 활용함으로써 와서스타인 공간의 국소 콤팩트성 결여를 성공적으로 우회하였으며, 저자들은 이러한 기법이 개별적 노이즈(idiosyncratic noise)나 공통 노이즈(common noise)를 포함하는 문제에는 직접 적용될 수 없음을 언급하였다.

결론적으로, 본 논문은 이러한 결과들이 유한 차원 균질화 이론과 이질적 환경에서의 평균장 제어/최적 운송 문제 사이의 간극을 메우며, 대규모 상호작용 시스템의 유효 역학에 대한 엄밀한 토대를 제공한다고 밝히고 있다.