전방후방 제어 시스템의 확률 검증 정리와 점성 해법

초록

본 논문은 제어가 드리프트, 확산 및 BSDE 생성자에 모두 포함된 전방‑후방 확률 미분 방정식(FBSDE) 시스템을 다룬다. 기존의 고전적 검증 정리는 가치함수의 미분이 필요했지만, 저자는 점성 해법(Viscosity Solution) 틀 안에서 파생된 새로운 검증 정리를 제시한다. 이 정리는 가치함수의 미분 존재 여부와 무관하게 최적 제어를 검증할 수 있어 적용 범위가 크게 확대된다. 또한, 전방‑후방 시스템에 대한 최적 피드백 제어법을 논의한다.

상세 분석

논문은 먼저 전방‑후방 확률 제어 문제를 일반적인 형태로 정의한다. 전방 SDE는 상태 변수 X_t의 동역학을 기술하고, 후방 BSDE는 비용 함수와 관련된 Y_t, Z_t를 제공한다. 제어 변수 u_t는 드리프트 b(t,X_t,u_t), 확산 σ(t,X_t,u_t) 그리고 BSDE 생성자 f(t,X_t,Y_t,Z_t,u_t)에 모두 등장한다는 점에서 기존 연구보다 일반화된 모델이다. 저자는 이 시스템에 대한 가치 함수 V(t,x) = ess inf_u J(t,x;u) 를 정의하고, 동적 계획 원리(DPP)를 이용해 V가 비선형 편미분 방정식(HJB‑BSDE 연계식)의 점성 해법임을 보인다. 핵심은 V가 충분히 매끄럽지 않더라도 점성 해법 개념을 통해 서브‑및 슈퍼‑솔루션을 정의하고, 이를 이용해 검증 정리를 구성한다는 점이다. 구체적으로, 임의의 연속적이고 점성 서브솔루션 φ가 존재하면, φ(t,x) ≤ V(t,x) 가 성립하고, 반대로 슈퍼솔루션 ψ는 ψ(t,x) ≥ V(t,x) 를 만족한다. 이때, φ와 ψ가 동일한 경우 V가 점성 해가 된다. 저자는 이러한 점성 해법 기반 검증 정리를 정리 3.1에 제시하며, 기존의 미분 가능성 가정(예: C^1,2) 없이도 최적 제어 u를 식별할 수 있음을 증명한다. 특히, 최적 제어는 Hamiltonian H(t,x,y,z,u) 를 최소화하는 u (t,x) 로 정의되며, 이는 점성 해법의 접선(gradient) 대신 서브‑다이아몬드(∂^+V) 를 이용해 표현된다. 또한, 피드백 형태의 최적 제어를 구하기 위해 적절한 measurable 선택 정리를 적용하고, 이를 통해 실제 구현 가능한 제어 규칙을 도출한다. 논문은 또한 마코프성 가정 하에 FBSDE와 연계된 확률적 최대 원리와 점성 해법이 어떻게 조화되는지를 논의하고, 기존의 확률적 검증 정리와 비교해 일반성 및 적용 범위가 크게 확장됨을 강조한다. 마지막으로, 몇 가지 예시(선형‑이차 비용, 제어가 확산에만 등장하는 경우 등)를 통해 정리의 실용성을 시연한다.