[논문 리뷰] Probabilistic Representation and Approximation for Coupled Systems of Variational Inequalities

Romuald Élie, Idris Kharroubi|arXiv (Cornell University)|2009. 09. 05.

Stochastic processes and financial applications참고 문헌 5인용 수 4

한 줄 요약

이 논문은 한 차원의 제약 조건이 있는 점프를 포함하는 후행 확률 미분 방정식(Backward SDE)을 통해 결합된 쿼드라틱 선형 변분부등식 시스템의 확률적 표현을 제안하며, 이는 새로운 몬테카를로 기반 수치적 방법을 가능하게 한다. 이 방법은 제약 조건이 있는 점프 과정을 활용하며, 비교적 약한 조건 하에서도 얻어진 알고리즘의 수렴 보장을 제공한다.

ABSTRACT

Our study is dedicated to the probabilistic representation and numerical approximation of solutions to coupled systems of variational inequalities. The dynamics of each component of the solution is driven by a different linear parabolic operator and suffers a non-linear dependence in all the components of the solution. This dynamics is combined with a global structural constraint between all the components of the solution including the practical example of optimal switching problems. In this paper, we interpret the unique viscosity solution to this type of coupled systems of variational inequalities as the solution to one-dimensional constrained BSDEs with jumps introduced recently in [6]. In the spirit of [3], this new representation allows for the introduction of a natural entirely probabilistic numerical scheme for the resolution of these systems.

연구 동기 및 목표

• 최적 전환 및 확률적 제어 문제에서 발생하는 고차원의 결합된 쿼드라틱 선형 변분부등식 시스템을 해결하는 데 있어 수치적 과제를 해결한다.
• 제어 상태 수 $ m $ 가 클 경우 고전적 PDE 방법의 계산 비용이 지나치게 높아지는 문제를 해결한다.
• 점성 해법과 제약 조건이 있는 점프를 포함하는 후행 SDE 간의 관계를 연결하는 확률적 피카르-타입 표현을 개발한다.
• 실제 수치적 해법을 위한 구현 가능한 몬테카를로 알고리즘을 이 표현 기반으로 설계하고 수렴성을 보장한다.
• 이전의 반사된 BSDE 및 점프를 포함하는 BSDE의 결과를 제어 상태 전환 동역학과 상호의존적인 제약 조건을 가진 시스템으로 일반화한다.

제안 방법

• 결합된 변분부등식 시스템의 해를 제어 상태 공간 $ \mathcal{I} $ 에서 순수 점프 과정에 의해 구동되는 한 차원의 제약 조건이 있는 후행 SDE의 $ Y $-성분으로 표현한다.
• 전진 과정 $ (I_s, X_s) $ 를 제어 상태 $ I_s $ 에서의 점프와 $ X_s $ 에서의 확산을 포함하는 SDE로 모델링하며, 브라운 운동과 포아송 측도에 의해 구동한다.
• 드라이버가 점프 성분 $ U_s(j) = v_j - v_{I_{s-}} $ 에 의존하는 BSDE의 역학을 유도하며, 제약 조건은 $ h(I_{s-}, j, X_s, Y_{s-}, Y_{s-}+U_s(j), Z_s) \geq 0 $ 를 만족시킨다.
• 시간 이산화 $ h $ 를 사용한 이산 시간 근사 방법을 구성하며, 시간 간격 $ [t_k, t_{k+1}) $ 에서 후방 재귀를 적용하고, 조건부 기댓값을 최소 제곱 회귀로 근사한다.
• 상태 변수 $ (I_{t_k}, X^{h}_{t_k}) $ 의 기저 함수를 사용한 OLS 회귀를 통해 조건부 기댓값을 근사하며, $ N $ 개의 시뮬레이션 경로와 $ L $ 개의 기저 함수를 사용한다.
• 이산 시간 수렴성과 통계적 오차 제어 기반으로, $ h \to 0 $, $ N, L \to \infty $ 일 때 전체 알고리즘의 수렴성을 확립한다.

실험 결과

연구 질문

• RQ1 제어 상태에 의존하는 생성자와 상호의존적인 제약 조건을 가진 쿼드라틱 선형 변분부등식의 결합 시스템에 대해 확률적 표현을 수립할 수 있는가?
• RQ2 점프를 포함하는 제약 조건이 있는 BSDE의 공식화가 PDE 시스템의 유일한 점성 해를 제공하는가?
• RQ3 이 표현 기반으로 수치적으로 안정적이고 수렴성이 보장되는 몬테카를로 알고리즘을 구성할 수 있는가?
• RQ4 제어 상태 과정에 점프를 포함함으로써, 확산만 포함하거나 점프가 없는 모델에 비해 표현 및 근사 성능이 어떻게 향상되는가?
• RQ5 시간 이산화, 경로 시뮬레이션, 그리고 회귀 기반 조건부 기댓값 근사의 조합으로 구성된 전체 알고리즘의 수렴 행동은 어떠한가?

주요 결과

• 결합된 변분부등식 시스템의 유일한 점성 해는 한 차원의 제약 조건이 있는 점프를 포함하는 BSDE의 $ Y $-성분으로 표현된다.
• BSDE 공식화는 확산 및 점프 성분을 모두 포함하며, 점프 부분은 제어 상태 간 가치 함수 성분 간의 상호의존성을 코딩한다.
• 시간 간격 $ h \to 0 $ 일 때, 미약한 정규성 조건 하에 $ \mathbf{S}^2 $, $ \mathbf{L}^2_W $, 및 $ \mathbf{L}^2_{\tilde{\mu}} $ 노름에서 알고리즘이 수렴한다.
• 경로 수 $ N $ 과 기저 함수 수 $ L $ 이 무한으로 갈 때, OLS 회귀를 통한 조건부 기댓값 근사는 수렴성을 확보한다.
• 이 방법은 이전의 반사된 BSDE 및 점프를 포함하는 BSDE의 결과를 제어 상태 전환 동역학과 비-마르코프 제약 조건을 가진 시스템으로 일반화한다.
• 이 접근법은 고차원 전환 문제의 효율적 수치적 해법을 가능하게 하며, 고전적 PDE 방법이 계산적으로 비현실적이 되는 상황에서 유용하다.