[논문 리뷰] Comparison Theorems of Infinite Horizon Forward-Backward Stochastic Differential Equations

Liangquan Zhang, Yufeng Shi|arXiv (Cornell University)|2010. 05. 22.

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

한 줄 요약

이 논문은 확률적 방법과 쌍대 기법을 사용하여 무한 시간 영역에 대한 전진-후행 확률미분방정식(FBSDE)에 대한 비교 정리를 수립한다. 단조성 및 적분 가능성 조건 하에서, 계수와 초기/최종 조건이 적절한 부등식을 만족할 경우, 한 FBSDE의 해 성분이 다른 FBSDE의 해 성분을 지배함을 증명하며, 이는 이전의 유한 시간 영역 결과를 다차원 전진 및 후행 성분을 가진 무한 시간 영역으로 확장한다.

ABSTRACT

By the methods of probability and duality technique, we give some comparison theorems for the solutions of infinite horizon forward-backwad stochastic differential equations.

연구 동기 및 목표

• 무한 시간 영역에서 완전히 결합된 전진-후행 확률미분방정식(FBSDE)에 대한 비교 정리를 수립하여, 기존의 유한 시간 영역 결과를 유계가 아닌 시간 영역으로 일반화한다.
• 비마르코프, 다차원 FBSDE에 대한 기존 비교 결과의 격차를 보완하기 위해, 유한 시간 영역에서의 타당성을 보장하기 위한 새로운 기술적 조건(H4)을 도입한다.
• 일차원 후행 SDE에 대한 비교 결과를 다차원 경우로 확장하여, 확률적 제어 및 금융수학 분야에서의 적용 가능성을 높인다.
• 확률적 방법을 통해 최적 확률 제어, 미분게임, PDE 분석의 해 분석에 대한 엄밀한 이론적 기반을 제공한다.
• Wu(2007), Peng & Shi(2003), Wu & Xu(2011)의 이전 결과를 다차원 및 계수 구조의 일반성에 따라 무한 시간 영역으로 통합 및 일반화한다.

제안 방법

• 원래의 FBSDE를 이중 후행 확률미분방정식(이중 BSDE)로 변환하기 위해 쌍대 기법을 사용하여, 해 성분 간의 비교를 이중 과정을 통해 가능하게 한다.
• 차분 과정과 이중 과정의 곱에 이토의 공식을 적용하여 후행 성분의 초기값에 대한 명시적 표현을 유도한다.
• 해의 존재성과 유일성을 보장하기 위해 계수에 대해 표준 가정(H1)–(H4)를 도입하며, 이는 단조성, 리프시츠 연속성 및 적분 가능성 조건 포함이며, 공간 $\mathcal{B}^3 = \mathcal{S}^2 \times \mathcal{S}^2 \times \mathcal{H}^2$ 내에서 성립한다.
• 이전 비교 정리의 한계를 극복하기 위해 다차원 시스템에서 비퇴화 확산 계수를 가진 경우에 특화된 새로운 기술적 조건(H4)을 도입한다.
• 편미분방정식 방법에 의존하지 않고, 확률적 과정과 그 제곱변동의 비교를 기반으로 한 확률적 접근을 사용한다.
• 계수 및 최종 조건의 구조에 따라 초기값 $Y_0$와 $t \in [0, \infty)$에서의 경로별 지배성 $Y_t$에 대한 비교 결과를 도출한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 한 무한 시간 FBSDE의 후행 성분 $Y_t$가 모든 $t \geq 0$에서 다른 FBSDE의 $Y_t$를 지배하는가?
• RQ2 마르코프성 또는 비랜덤 계수를 가정하지 않고도 다차원 FBSDE($n > 1$, $m > 1$)에 대한 비교 정리를 수립할 수 있는가?
• RQ3 두 FBSDE의 전진 및 후행 계수가 다를 경우, 초기값 $Y_0$에 대한 비교 결과를 어떻게 확장할 수 있는가?
• RQ4 특히 해가 무한대에서 감쇠하지 않는 경우, 비교 정리의 타당성을 보장하기 위해 필요한 기술적 조건은 무엇인가?
• RQ5 쌍대성 및 확률적 방법을 통해 일차원 후행 SDE의 비교 결과를 다차원 경우로 일반화할 수 있는가?

주요 결과

• 계수에 대해 $b^1 \geq b^2$, $f^1 \geq f^2$, $\Phi^1 \geq \Phi^2$, $\sigma^1 = \sigma^2$를 만족할 경우, (H1)–(H4) 조건 하에서 $Y_0^1 \geq Y_0^2$가 성립하며, 이는 $n > 1$ 및 $m = 1$일 때에도 성립한다.
• 일차원 경우($n = m = 1$)에서는 단조성 및 적분 가능성 조건 하에서 모든 $t \geq 0$에 대해 $Y_t^1 \geq Y_t^2$임을 증명하며, 이는 이전 결과를 무한 시간 영역으로 확장한다.
• 계수 및 초기/최종 조건이 적절한 부등식을 만족할 경우, FBSDE의 해 성분 $Y_t$는 경로적으로 비감소적이며, 이는 확률적 지배성을 보장한다.
• 쌍대 기법을 통해 비교 문제를 이중 BSDE로 변환하여, 이토의 공식을 적용하여 $\hat{Y}_0$에 대한 명시적 표현을 도출하였으며, 주어진 조건 하에서 이 값이 음이 아닌 것으로 나타났다.
• 전진 성분 $X^1$과 $X^2$가 다를 경우에도 계수의 차이가 제어되고 기술적 조건(H4)이 만족될 경우, $Y_0^1 \geq Y_0^2$가 성립함을 입증하였다.
• Wu(2007), Peng & Shi(2003), Wu & Xu(2011)의 이전 유한 시간 영역 비교 정리를 다차원 및 계수 구조의 일반성에 따라 무한 시간 영역으로 확장하여 일반화하였다.