[논문 리뷰] A note on a new existence result for reflected BSDEs with interconnected obstacles

Tiziano De Angelis, Giorgio Ferrari외 1명|arXiv (Cornell University)|2017. 10. 06.

Stochastic processes and financial applications참고 문헌 18인용 수 3

한 줄 요약

이 논문은 각 성분의 드라이버 $ f_i $ 가 $ Z $-프로세스의 모든 성분에 의존하는, 상호 연결된 장벽을 가진 마코프성 후행 확률미분방정식(BSDE) 시스템의 해가 존재함을 확립한다. 주요 기여는 표준 비교 원리가 적용되지 않는 새로운 프레임워크에서, 페널라이제이션 기반의 새로운 존재성 증명법을 제시한 것이다. 이는 페널라이징 항목의 균일한 유계성과 기저 확산의 전이 밀도에 대한 지배 조건을 포함한다. 이는 이전 이론에서 드라이버가 $ Z^i $ 에만 의존한다고 가정한 바를 확장한다.

ABSTRACT

In this note we prove existence of a solution to a system of Markovian BSDEs with interconnected obstacles. A key feature of our system, and the main novelty of this paper, is that we allow for the driver $f_i$ of the $i$-th component of the $Y$-process to depend on all components of the $Z$-process. This extends the existing theory on reflected BSDEs, which only addresses problems where $f_i$ depends on $Z^i$.

연구 동기 및 목표

• 드라이버 $ f_i $ 가 $ Z^i $ 뿐 아니라 전체 $ Z $-프로세스 성분에 의존하는 경우, 기존의 비교 원리가 무효화되는 반사 BSDE 이론의 격차를 메운다.
• 드라이버 $ f_i $ 가 $ (Z^k)_{k \neq i} $ 와 $ Y $-성분 모두에 의존하는 마코프성 환경에서, 상호 연결된 장벽을 가진 반사 BSDE 시스템의 해 존재성을 확립한다.
• 기존 프레임워크에서 비교 원리가 부재하므로, 페널라이제이션과 약한 수렴 기반의 새로운 분석적 접근법을 개발하여 이를 극복한다.
• 해 $ (Y^i, Z^i) $ 가 시간과 상태 프로세스 $ X^{t,x} $ 의 결정적 함수로 표현됨을 보이며, 이는 응용에 있어 핵심적이다.
• 비마코프성 환경에서의 최적 스위칭 문제와의 연결 고리를 마련하고, 향후 유일성에 대한 연구의 기초를 다진다.

제안 방법

• 상호 연결된 장벽을 가진 반사 BSDE 시스템의 반사 제약 조건을 다루기 위해 페널라이제이션 체계를 도입한다.
• Proposition 3.1 을 통해 페널라이징 항목의 시간 도함수의 균일 유계성을 확립함으로써, 근사의 안정성을 보장한다.
• 기저 확산의 전이 밀도에 대한 지배 조건을 활용하여, 페널화된 방정식의 해에 대한 약한 수렴을 고려한다.
• 체비셰프 부등식과 균일 수렴을 적용하여, 극한 프로세스가 거의 확실히 반사 조건을 만족함을 보인다.
• $ Z^{i,n} $-성분이 $ (t, X^{t,x}_t) $ 의 가측 함수로 표현됨을 활용하여, 극한이 마코프성 표현을 그대로 이어받을 수 있음을 보장한다.
• 극한 프로세스 $ (Y^i, Z^i, K^i) $ 가 원래 반사 BSDE 시스템의 세 조건—반사 조건, 보완성 조건, 그리고 해의 정의 조건—을 모두 만족함을 증명한다.

실험 결과

연구 질문

• RQ1 드라이버 $ f_i $ 가 $ Z^i $ 가 아닌 $ Z $-프로세스의 모든 성분에 의존할 경우, 상호 연결된 장벽을 가진 반사 BSDE 시스템의 해가 존재할 수 있는가?
• RQ2 일반적으로 존재성 결과의 기초가 되는 비교 원리가 존재하지 않는 상황에서, 어떻게 존재성을 증명할 수 있는가?
• RQ3 계수와 확산 프로세스에 대해 어떤 조건이 이 일반화된 프레임워크에서 해의 존재성을 보장하는가?
• RQ4 해 $ (Y^i, Z^i) $ 는 마코프성 경우와 같이 시간과 상태 프로세스 $ X^{t,x} $ 의 결정적 함수로 표현될 수 있는가?
• RQ5 페널라이제이션 체계가 수렴하는 부분수열을 생성하며, 그 극한이 원래의 상호 연결된 장벽을 가진 반사 BSDE 시스템을 만족하는가?

주요 결과

• 드라이버 $ f_i $ 가 $ Z $-프로세스의 모든 성분에 의존하는 상황에서, 반사 BSDE 시스템은 $ \rho\theta\theta^\top $ 가 유계이면서 균일 타원형인 조건 하에 해를 가진다.
• 스위칭 비용 $ g_{ij} $ 가 충분히 규칙적이라는 조건 하에, 페널라이제이션 체계에서 기본적인 유계성을 확보할 수 있어 존재성이 보장된다.
• 페널라이징 항목의 시간 도함수는 균일하게 유계이며, 이는 Proposition 3.1 에서 증명된 핵심 기술적 결과이다.
• 극한 해 $ (Y^i, Z^i, K^i) $ 는 반사 조건을 만족한다: $ Y^i_s \to \text{max}_{j \neq i} (Y^j_s - g_{ij}(s, X^{t,x}_s)) $ 이며, 보완성 조건은 거의 확실히 성립한다.
• 해 성분 $ Y^i $ 와 $ Z^i $ 는 $ (t, X^{t,x}_t) $ 의 결정적 함수로 표현되며, 즉 $ Y^i_{s} = u^i(s, X^{t,x}_s) $ 와 $ Z^i_{s} = v^i(s, X^{t,x}_s) $ 로 표현되며, Corollary 3.6 에서 이를 보였다.
• 증명은 $ X^{t,x}_s $ 의 전이 밀도에 대한 지배 조건에 의존하며, 이는 국소 시간 측도 $ dK^{i,n} $ 가 $ dK^i $ 로 약한 수렴함을 보장한다.