무작위 계수를 가진 확률 미분 방정식의 딘킨 게임과 뒤쪽 확률 편미분 변분 부등식

초록

본 논문은 무작위 계수를 갖는 확률 미분 방정식(SDE) 하에서 정의되는 딘킨 게임을 연구한다. 게임의 가치와 내시 균형점을 뒤쪽 확률 편미분 변분 부등식(BSPDVI) 형태의 Hamilton‑Jacobi‑Bellman‑Isaacs 방정식의 강해(solution)으로 규정하고, 이를 위한 일반화된 Itô‑Kunita‑Wentzell 공식, Krylov 추정, 그리고 페널티 방법을 도입한다. 강해 존재·유일성, 비교 정리, 자유 경계의 성질을 증명하고, 최적 정지 문제가 특수한 딘킨 게임임을 보인다.

상세 분석

이 연구는 두 개의 독립적인 표준 브라운 운동 (W)와 (B)에 의해 구동되는 비마르코프 확률 미분 방정식(1.1)을 기반으로 한다. 계수 (\beta,\gamma,\theta)는 (\mathcal{F}^B)-예측가능하고, (B)의 경로에만 의존하도록 가정함으로써 초탄성(parabolic) 조건을 확보한다. 이러한 구조는 기존의 마르코프 과정에 대한 Krylov 추정을 비마르코프 상황으로 확장하는 핵심적인 동기를 제공한다. 저자들은 Qiu와 Tang의 최대 원리를 활용해, 임의의 Sobolev 공간에 속하는 테스트 함수에 대해 일반화된 Itô‑Kunita‑Wentzell 공식을 도출한다. 이는 강해 솔루션이 (D^2 V)까지는 (L^2) 적분 가능하지만 연속성을 보장하지 못하는 상황에서도 (V_t(X_t))의 미분을 정당화한다.

딘킨 게임의 보상 구조는 실행 비용 (f)와 두 개의 장벽 (V,\underline V)를 포함한다. Nash 균형 ((\tau_1^,\tau_2^))는 각각 플레이어가 최적 정지를 선택할 때의 최적화 문제로 정의되며, 게임 가치 (V_t(x))는 상하 장벽 사이에 존재하는 BSPDVI (1.2)의 강해 해와 일치한다. 여기서 연산자 (L)와 (M^k)는 SDE의 확산 계수에 의해 정의된 2차 및 1차 미분 연산자이며, 뒤쪽 SPDE 형태의 변분 부등식은 두 장벽에 대한 불평등 조건을 동시에 만족한다.

강해 해의 존재와 유일성 증명은 전통적인 페널티 접근법을 변형한다. 저자들은 두 장벽이 존재함에도 불구하고, 해열 (V^n)가 카우치(Cauchy) 수열임을 보이고, 이를 통해 강해 해의 한계점을 확보한다. 이 과정에서 Sobolev 공간의 컴팩트 임베딩이 실패하는 문제를 회피하기 위해, 두 번째 차 미분에 대한 추가적인 에너지 추정과 비교 정리를 결합한다. 비교 정리는 해의 단조성 및 자유 경계(스위칭 경계)의 존재를 보장한다. 자유 경계는 (V_t=\underline V_t) 혹은 (V_t=\overline V_t)가 되는 시공간 집합으로 정의되며, 이는 최적 정지 시점과 직접 연결된다.

마지막으로, 최적 정지 문제를 딘킨 게임의 특수 경우로 재구성함으로써, 앞서 구축한 BSPDVI 이론이 최적 정지 문제에도 그대로 적용됨을 확인한다. 이는 기존 문헌에서 다루어지던 단일 장벽 BSPDE와는 달리, 두 장벽을 동시에 고려한 변분 부등식이 최적 정지와 게임 이론을 통합하는 새로운 프레임워크를 제공한다는 점에서 의의가 크다.

전반적으로 이 논문은 비마르코프 SDE, 뒤쪽 SPDE, 변분 부등식, 그리고 게임 이론을 하나의 통합된 수학적 구조로 묶어, 강해 해의 존재·유일성, 비교 정리, 자유 경계 분석까지 포괄적인 결과를 제시한다. 이는 확률 제어와 금융 공학 분야에서 불확실성이 높은 시스템에 대한 최적 전략을 설계하는 데 중요한 이론적 토대를 제공한다.