Stochastic Homogenization of Non-local Hamilton-Jacobi-Bellman equations

기술 요약: 비국소적 해밀턴-자코비-벨만 방정식의 확률적 호모제니제이션(Homogenization)

문제 정의
본 논문은 정적 에르고딕(stationary ergodic) 무작위 매질 내에서의 비국소적 해밀턴-자코비-벨만(HJB) 방정식의 확률적 호모제니제이션을 다룬다. 연구 대상이 되는 특정 방정식은 다음과 같다:
$$\begin{cases} \partial_t u^\epsilon(t, x) = \epsilon^{\alpha-1} \mathcal{L} u^\epsilon(t, x) + H\left(\nabla u^\epsilon(t, x), \frac{x}{\epsilon}, \omega\right), & (t, x) \in [0, \infty) \times \mathbb{R}^n, \\ u^\epsilon(0, x) = u_0(x), & x \in \mathbb{R}^n, \end{cases}$$
여기서 $\alpha \in (1, 2)$이며, $\omega$는 확률 공간 $(\Omega, \mathcal{F}, P)$의 원소를 나타내고, $H$는 급격한 무작위 진동을 갖는 볼록하고 초선형적으로 성장하는 해밀턴(Hamiltonian)이다. 연산자 $\mathcal{L}$은 $K(\hat{y})|y|^{-n-\alpha}dy$ 형태의 레비 측도(Lévy measure)를 갖는 비국소적 적분-미분 연산자로 정의된다. 여기서 $K$는 단위 구면 위에서 매끄럽고, 비음이며, 균등하게 비퇴화(non-degenerate)인 함수이다. 이 연산자는 $\alpha$-안정형 점프-확산 과정(jump-diffusion process)의 무한 소 생성자(infinitesimal generator) 역할을 한다.

목표는 $\epsilon \to 0$일 때, $u^\epsilon$이 결정론적인 호모제니제이션 방정식의 해 $u$로 국소 균등하게(거의 확실하게) 수렴함을 증명하는 것이다:
$$\begin{cases} \partial_t u(t, x) = \bar{H}(\nabla u(t, x)), \\ u(0, x) = u_0(x), \end{cases}$$
여기서 $\bar{H}$는 공간 변수 $x$와 무작위 매개변수 $\omega$에 의존하지 않는 결정론적이고 볼록한 유효 해밀턴(effective Hamiltonian)이다.

방법론
저자들은 소멸하는 라플라시안 항을 갖는 국소적 HJB 방정식에 대해 개발된 Kosygina, Rezakhanlou, Varadhan (CPAM 2006)의 방법을 점프-확산이 포함된 비국소적 설정으로 적응시킨다. 방법론은 다음 세 가지 핵심 기둥에 의존한다:

1. 확률적 최적 제어 표현식: $u^\epsilon$은 점프-확산 과정에 의해 구동되는 확률적 제어 문제로 표현된다. 저자들은 비국소 연산자 $\mathcal{L}$을 $\mathcal{L}u = \nabla \cdot (\mathcal{R}\nabla u)$ (여기서 $\mathcal{R}$은 정규 적분 연산자)라는 "발산 형태(divergence form)"로 다시 쓸 수 있음을 확립한다. 이러한 구조적 특징은 호모제니제이션 과정에서 비국소 항을 다루는 데 매우 중요하다.

2. 환경 과정 및 유효 해밀턴: [24]의 접근 방식을 따라, 저자들은 물리적 공간 $\mathbb{R}^n$으로부터 확률 공간 $\Omega$로 점프-확산 과정을 들어 올려(lift) "환경 과정(environmental process)" $\theta_t$를 정의한다. 이 과정의 에르고드성을 사용하여, 저자들은 유효 라그랑지안 $\bar{L}$을 정의하고, 이후 환경 과정의 불변 측도를 포함하는 변분 공식을 통해 유효 해밀턴 $\bar{H}$를 정의한다.

3. 근사 초-보정자(Approximate Super-Correctors): 수렴의 상한(upper bound)을 확립하기 위해(어려운 방향), 저자들은 근사 초-해(super-solutions, 초-보정자)를 구성한다. 이는 특정 비국소 발산 연산자 $J$와 해밀턴 사이의 부등식을 만족하는 무작위 벡터장 $v$를 찾는 과정을 포함한다:
   $$Jv(\omega) + H(p + v(\omega), \omega) \leq \bar{H}(p).$$
   이 보정자들의 구성은 기술적 참신함의 핵심이며, 비국소 연산자의 특이성(singularity)과 표준적인 타원형 정칙성(elliptic regularity)의 결여를 처리해야 하는 과제를 안고 있다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.1): 표준적인 정적 에르고딕 가정 및 볼록성/초선형성 조건(Assumption A) 하에서, 본 논문은 $u^\epsilon$이 $u$로 거의 확실하게 국소 균등 수렴함을 증명한다. 이 결과는 다음 두 가지 추가적인 기술적 가정 중 하나 하에서 성립한다:

  • 가정 (B): 해밀턴 $H$에 대한 특정 볼록성-연속성 조건 (변수 분리와 관련된 조건).
  • 가정 (C): 해밀턴의 성장 지수 $\beta$가 $\beta > n$을 만족해야 한다는 조건으로, 이는 소볼레프 임베딩 정리(Sobolev embedding theorems)의 적용을 가능하게 한다.

• 발산 형태의 특징 규명: 본 논문은 비국소 연산자 $\mathcal{L}$을 그래디언트에 작용하는 정규 적분 연산자의 발산($\mathcal{L} = J \circ \nabla = \nabla \cdot \mathcal{R} \circ \nabla$)으로 명시적으로 규명한다(섹션 2.2). 이 표현은 무작위 환경에서 보정자를 정의하는 데 필수적이다.

• 정칙성 추정치(Regularity Estimates): 저자들은 공간 및 시간에 대한 $u^\epsilon$의 명시적인 정칙성 추정치를 도출하며, $\epsilon$에 대한 의존성을 보여준다(Theorem 4.1). 이러한 추정치는 점별 수렴(pointwise convergence)을 국소 균등 수렴으로 격상시키는 데 사용된다.

• 초-보정자의 구성: 본 논문은 비국소적 경우를 위한 근사 초-보정자의 구성을 상세히 설명한다. 국소적 경우에서 보정자가 흔히 PDE 방법을 통해 구성되는 것과 달리, 여기에서 저자들은 비국소 연산자 $J$를 처리하기 위해 무작위 변수 공간에서의 볼록 해석학(convex analysis)과 몰리피케이션(mollification) 기법을 활용한다.

의의 및 주장
본 논문은 정적 무작위 환경 내에서 소멸하는 비국소 항을 갖는 비국소적 HJB 방정식의 확률적 호모제니제이션을 다룬 최초의 연구라고 주장한다.

• 기존 이론의 확장: 이 연구는 국소적(확산) 설정에서 [24]의 획기적인 결과를 비국소적(점프-확산) 설정으로 확장한다.
• 방법론적 적응: 저자들은 소멸하는 라플라시안을 갖는 경우를 위해 설계된 제어 표현식 및 환경 과정 기법이 점프 과정에도 성공적으로 적응될 수 있음을 보여준다. 저자들은 비국소 HJB 방정식에 대한 점성 해(viscosity solution) 이론이 최근 연구되어 왔으나(예: [6, 17, 13]), 자신들의 접근 방식은 심도 있는 점성 해 이론보다는 주로 확률적 제어 표현식과 추상적 환경 과정에 의존한다고 언급한다.
• 범위 및 한계: 저자들은 질적인 호모제니제이션에 집중하며 연구 범위를 겸손하게 유지한다. 저자들은 수렴 속도(국소적 경우에도 어려운 것으로 알려진 문제)나 동적 무작위 환경(시간 의존적 계수)의 경우를 다루지 않음을 명시적으로 밝히며, 이를 향후 연구를 위한 자연스러운 방향으로 제시한다. 결과는 비국소 항($\epsilon^{\alpha-1} \mathcal{L}$)이 $\epsilon \to 0$으로 갈 때 소멸하는 경우로 제한된다.

요약하자-면, 본 논문은 점프-확산에 의해 구동되는 비국소적 HJB 방정식의 호모제니제이션을 위한 엄밀한 토대를 구축하며, 점프 과정에 대한 확률적 제어 이론과 무작위 매질에서의 호모제니제이션 이론 사이의 간극을 메운다.