맥케인 블라소 방정식에 대한 펭 최대 원리의 새로운 접근법

초록

본 논문은 맥케인-블라소 확률 미분 방정식에 대한 펭 최대 원리 증명을 새롭게 전개한다. 핵심은 두 독립 복사본을 포함하는 2차 변분 항을 이중화하기 위해 조건부 맥케인-블라소 후방 SDE, 즉 제3의 어드조인트 방정식을 도입한 것이다. 이를 통해 기존의 2차 어드조인트만으로는 처리하기 어려운 혼합 Lions 미분항을 체계적으로 다룰 수 있다. 새로운 방법은 무한 차원 및 공통 노이즈 설정으로의 확장에도 유용함을 보인다.

상세 분석

이 연구는 기존 펭의 최대 원리(Peng’s maximum principle)가 표준 SDE에만 적용 가능하다는 한계를 맥케인-블라소(McKean‑Vlasov) SDE에 확장하려는 시도에서 출발한다. 맥케인-블라소 동역학은 상태와 그 분포가 동시에 시스템에 영향을 미치므로, 비용 함수의 2차 테일러 전개에서 나타나는 “혼합 Lions 미분”(∂_μ∂_x 등) 항은 기존의 1차·2차 어드조인트(BSDE)만으로는 직접적인 이중화가 불가능하다. 저자들은 이 문제를 해결하기 위해 제3의 어드조인트 방정식(식 26)을 도입한다. 이 방정식은 조건부 기대를 포함하는 맥케인-블라소 후방 SDE 형태이며, 두 독립 복사본(˜X,˜Y 등)의 결합을 통해 2차 변분 과정 Y^ε·Z^ε에 나타나는 이차 항을 정확히 대변한다.

핵심 기술은 다음과 같다. 첫째, 변분 과정 Y^ε와 Z^ε를 정의하고 각각 O(ε)·O(ε^2) 차수 추정(Lemma 3.2)을 확보한다. 둘째, 차이 K^ε=X^ε−X−Y^ε−Z^ε를 도입해 고차 오차를 정밀히 제어한다(Lemma 3.3). 셋째, 제3 어드조인트를 이용해 K^ε에 대한 동역학을 전개하고, Gronwall‑type 추정과 Lipschitz 가정을 결합해 모든 고차 항이 o(ε^2)임을 보인다. 넷째, 이중화 관계식(Section 5)에서 첫·두 어드조인트(p,q)와 제3 어드조인트(r,s)를 적절히 결합해 비용 함수의 2차 전개식을 정리하고, 최적 제어 α*에 대해 Hamiltonian의 최대화 조건을 도출한다.

특히, 제3 어드조인트는 실제 최적 조건에 직접 등장하지 않지만, 기존 방법에서 필요로 했던 “Sharper estimates”(Buckdahn et al. Prop 4.3) 없이도 동일한 최적성 결과를 얻을 수 있게 한다. 이는 공통 노이즈(common noise) 상황이나 무한 차원 Hilbert‑Schmidt 연산자 공간으로의 일반화에 필수적인 구조적 장점이다. 또한, 조건부 기대와 Lions 미분의 교환 법칙(∂_μ∂_x=∂_x∂_μ) 사용을 명시적으로 증명함으로써 수학적 엄밀성을 확보한다. 전체적으로 본 논문은 어드조인트 계산을 체계화하고, 복잡한 평균‑필드 상호작용을 포함한 최적 제어 문제에 대한 강력한 도구를 제공한다.