무한 차원 확률 진화 시스템 최적 제어와 비B연속성 비스코시티 해법

초록

본 논문은 힐베르트 공간에서 정의되는 선형 비유계 연산자 A가 등장하는 확률 진화 시스템의 최적 제어 문제를 다룬다. 기존 연구에서 필수적이던 계수들의 B‑연속성 가정을 없애고, 새로운 비스코시티(Viscosity) 해의 정의를 제시한다. 새 정의는 기존의 고전 해와 일치하며, 비교 원리, 안정성, 유일성 등을 증명한다. 핵심 기법으로는 Borwein‑Preiss 변분 원리와 강한 상위 반연속 함수에 대한 새로운 Crandall‑Ishii 보조정리를 활용한다. 결과적으로 가치 함수 V는 B‑연속성을 요구하지 않는 연속 비스코시티 해로서 HJB 방정식의 유일해임을 확인한다.

상세 분석

이 연구는 무한 차원 힐베르트 공간 H에서 정의되는 비유계 생성자 A와, 연속·리프시츠 연속성을 갖는 drift b와 diffusion σ를 갖는 확률 진화 방정식(SEE)
(dX_t = AX_tdt + b(t,X_t,u_t)dt + \sigma(t,X_t,u_t)dW_t)
을 제어 변수 u에 대해 최적화한다. 전통적인 동적 계획법에 의해 도출되는 HJB 방정식은
(V_t + \langle A^*\nabla_x V, x\rangle + H(t,x,V,\nabla_x V,\nabla_x^2 V)=0)
이며, 여기서 H는 제어에 대한 최적화 연산자를 포함한다. 기존 문헌에서는 A가 비유계일 경우, 해의 연속성을 보장하기 위해 B‑연속성(즉, 강한 위상보다 약한 위상인 B‑topology에서의 연속성)을 가정해야 했다. 이는 실제 모델에서 계수들이 B‑연속성을 만족하지 않을 경우 적용이 제한되는 큰 제약이었다.

본 논문은 B‑연속성을 완전히 배제하고, 대신 “강한 연속성”(strong continuity)만을 요구하는 새로운 비스코시티 해의 정의를 제시한다. 핵심 아이디어는 시험함수에 특수한 가중치 함수
(g(t,x)=|x-e^{(t-\hat t)A}\hat y|^4)
를 추가함으로써, Itô 부등식이 성립하도록 하는 것이다. 이 함수는 A가 생성하는 수축 반군집에 대해 자연스럽게 작용하며, 기존의 절대값 (|x|)만을 사용했을 때 발생하던 B‑연속성 요구를 회피한다.

비교 원리 증명에서는 전통적인 Ekeland‑Lebourg 정리를 사용할 수 없었다. 이유는 시험함수에 선형 함수 (\langle p,\cdot\rangle)를 추가하면 Itô 부등식이 깨지기 때문이다. 대신 저자들은 Borwein‑Preiss 변분 원리를 활용, 거리 함수
(\Upsilon((t,x),(s,y))=|t-s|^2+|e^{(t\vee s-t)A}x-e^{(t\vee s-s)A}y|^4)
에 기반한 변분 구조를 구축하였다. 이 접근법은 최대점 존재성을 보장하면서도 Itô 부등식을 유지한다.

또한, 강한 상위 반연속 함수에 대한 새로운 Crandall‑Ishii 보조정리(Theorem 5.3)를 증명하였다. 이는 기존의 B‑연속성 기반 보조정리와 달리, (