포아송 공통 노이즈가 있는 확장 평균장 제어 문제: 최적 제어 원리와 HJB 방정식

초록

본 논문은 상태‑제어 결합 분포와 포아송형 공통 노이즈가 포함된 평균장 제어 문제를 다루며, 비볼록 제어 집합을 허용하는 강력한 완화 제어 접근법을 통해 확률적 최대 원리(SMP)를 구축한다. 이어서 조건부 분포의 점프 특성을 반영한 측정값 기반 포커-플랑크 방정식을 도입해 동적 계획 원리(DPP)를 이용한 HJB 방정식을 유도하고, 두 이론 사이의 정밀한 연결 고리를 제시한다.

상세 분석

이 연구는 기존 평균장 제어(MFC) 문헌이 주로 브라운 운동 기반의 공통 노이즈에 국한된 점을 극복하고, 포아송 공통 노이즈가 초래하는 조건부 분포의 불연속성을 체계적으로 다룬다. 핵심 기법은 ‘확장 변환(Extension Transformation)’으로, 상태‑제어 결합 분포를 정의하는 함수 h : 𝒫₂(ℝⁿ×U)→ℝ을 𝑢̃ : 𝒫₂(ℝⁿ×𝒫(U))→ℝ 형태로 확장함으로써 완화 제어 공간에서도 원래의 매끄러운 구조를 보존한다. 이 변환은 Lemma 2.2·2.3에서 Lipschitz 연속성과 Fréchet 미분 가능성을 유지함을 증명한다.

완화 제어는 확률 측정값으로 제어를 표현해 제어 집합의 비볼록성을 자연스럽게 완화시키며, 첫 번째 변분을 수행할 수 있게 한다. 그러나 포아송 공통 노이즈가 도입되면 조건부 결합 법칙이 점프하고, 이는 전통적인 ‘스파이크 변분’이나 ‘두 번째 차 변분’ 기법으로는 다루기 어렵다. 저자들은 이를 해결하기 위해 (i) 확장 변환을 통한 일관성 확보, (ii) Banach 공간 상의 선형 함수 미분을 활용한 미분 연산 정의, (iii) Chattering Lemma을 이용한 완화 제어와 엄격 제어 사이의 등가성 증명을 순차적으로 전개한다. 특히 Lemma 3.11·3.16은 완화 제어에서 얻은 최적 해가 엄격 제어 형태로 근사될 수 있음을 보이며, 이는 비볼록 제어 영역에서도 SMP를 성립시키는 핵심 논증이다.

SMP 결과는 Theorem 3.7·3.10(완화)과 Theorem 3.18·3.19(엄격)에서 명시되며, 최적 제어는 확장된 Hamiltonian의 최대화 조건을 만족한다. 여기서 Hamiltonian은 상태, 제어, 그리고 조건부 결합 분포에 대한 미분(위너스테인 미분)까지 포함한다.

HJB 방정식 유도에서는 조건부 분포의 점프를 정확히 반영하기 위해 ‘측정값 기반 포커-플랑크(Fokker‑Planck) 문제’를 구성한다. 이 문제는 커널값 제어(kernel‑valued control)를 도입해 포아송 공통 노이즈에만 적응하도록 설계되며, Lemma 4.2·4.5를 통해 조건부 분포 흐름의 Itô 공식과 점프 연산자를 명시한다. 결과적으로 (52)식에 나타난 HJB 방정식은 확률 측정값 공간 위의 비선형 편미분 방정식이며, 기존 브라운 노이즈 기반 HJB와는 구조적으로 차별화된다.

가치 함수와 HJB 방정식의 일치성은 Lemma 4.9, Proposition 4.10·4.13, Theorem 4.14를 통해 입증된다. 특히 ‘근최적 피드백 커널 제어’를 도입해 원래 문제와 포커‑플랑크 문제의 가치 함수가 동일함을 보이며, 이는 DPP와 연계된 강력한 정규성 가정 하에 이루어진다.

마지막으로 Theorem 4.17은 HJB 방정식의 매끄러운 해가 존재할 경우, adjoint BSDE 해가 가치 함수와 그 측정값 미분에 의해 명시적으로 표현될 수 있음을 보여 SMP와 HJB 사이의 완전한 연결 고리를 제공한다. LQ 예시를 통해 포아송 공통 노이즈가 최적 제어와 가치 함수에 미치는 구체적 영향을 분석하고, 이론적 결과의 실용성을 검증한다.

전반적으로 이 논문은 (1) 비볼록 제어 집합을 허용하는 완화 제어 기반 SMP, (2) 포아송 공통 노이즈에 대한 측정값 흐름을 이용한 HJB 방정식 도출, (3) 두 접근법의 상호 일관성을 증명하는 체계적 프레임워크를 제시함으로써, 확장 평균장 제어 이론에 새로운 장을 연다.