완전단조 커널을 가진 확률적 볼테라 방정식 최적 제어와 무한 차원 SDE

초록

본 논문은 완전단조 커널을 갖는 확률적 볼테라 적분 방정식(SVIE)의 최적 제어 문제를 최근 제안된 마코프리안 리프트 기법을 이용해 힐베르트 공간 위의 추상적인 확률 미분 방정식(SDE) 형태로 변환한다. 변환된 시스템은 분석적 반군집을 생성하는 반군집 연산자와 비유한 제어·확산 연산자를 포함한다. 저자들은 이 구조에서 오르슈테인-우렌베르크 전이 반군집의 새로운 ‘Γ‑스무딩’ 성질을 입증하고, 이를 바탕으로 해밀턴‑자코비‑벨만(HJB) 방정식의 약해석 존재·유일성을 확보한다. 검증 정리와 최적 피드백 제어법을 제시함으로써, 완전단조 커널을 갖는 SVIE 최적 제어에 대한 최초의 전반적 결과를 제공한다.

상세 분석

논문은 먼저 완전단조 커널 k(t) 가 갖는 특성을 이용해 SVIE
 X(t)=x₀+∫₀ᵗ k(t‑s) F(X(s),u(s)) ds+∫₀ᵗ k(t‑s) G(X(s),u(s)) dW(s)
를 무한 차원 힐베르트 공간 H에 정의된 상태 변수 Y(t) 로 리프트한다. 이때 리프트 연산자는 k의 라플라스 변환을 이용해 (A, B) 형태의 선형 연산자쌍을 구성하고, A는 분석적 반군집을 생성하는 비자기공역 연산자이며, B는 제어와 확산을 담당하는 비유한 연산자이다. 기존 문헌에서는 비유한 제어·확산 연산자를 동시에 다루는 것이 거의 불가능했으나, 저자들은 ‘관측 연산자 Γ’를 도입해 제어 방향에 대한 스무딩 효과를 별도로 분석한다. 구체적으로, Ornstein‑Uhlenbeck 전이 반군집 Pₜ는 Γ‑스무딩을 만족한다는 정리를 증명한다. 이는 임의의 연속·제한된 함수 φ에 대해
 ‖Γ ∇Pₜφ‖ ≤ C t^{‑α} ‖φ‖∞
와 같은 형태의 추정식을 제공하며, 여기서 α∈(0,1) 은 커널의 완전단조성에 의해 결정된다. 이 추정은 제어 변수가 작용하는 무한 차원 방향에서도 충분한 정규성을 확보함을 의미한다.

이러한 스무딩을 기반으로 저자들은 HJB 방정식
 λ v(x) −⟨A x,∇v(x)⟩ − H(x,∇v(x)) − ½ Tr