[논문 리뷰] The Equivalence between Uniqueness and Continuous Dependence of Solution for BSDEs with Continuous Coefficient

Guangyan Jia, Zhiyong Yu|ArXiv.org|2008. 03. 26.

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

한 줄 요약

이 논문은 1차원 역수확확률미분방정식(BSDEs)에서 계수 $ g $ 와 종료조건 $ \xi $ 에 대한 연속성과 해의 유일성 간의 등가성을 확립한다. 연속적이고 선형 성장 조건을 만족하는 계수를 가진 경우, 미약한 정규성 조건 하에서 해의 유일성이 연속적 의존성과 서로 등가임을 증명하며, 최소/최대 해에 대한 근사 및 비교 기법을 통해 고전 결과를 리프시츠 조건을 초월하여 일반화한다.

ABSTRACT

In this paper, we will prove that, if the coefficient $g=g(t,y,z)$ of a BSDE is assumed to be continuous and linear growth in $(y,z)$, then the uniqueness of solution and continuous dependence with respect to $g$ and the terminal value $ξ$ are equivalent.

연구 동기 및 목표

• 해의 유일성과 연속적 의존성 간의 관계를 분석하고자 하며, 특히 $ g $ 가 $ (y,z) $ 에 대해 연속적일 뿐만 아니라 반드시 리프시츠 조건을 만족하지는 않는 경우에 대해 연구한다.
• 선형 성장과 연속성 조건 하에서, 해의 유일성이 $ g $ 와 $ \xi $ 에 대한 연속적 의존성과 서로 등가인지 여쭙는다.
• 금융 및 확률적 제어 응용에서 흔히 나타나는 비-리프시츠 생성자에 대해 분석할 수 있는 이론적 기초를 제공하고자 한다.
• 고전적인 연속적 의존성 부등식(예: El Karoui 등)을 비-리프시츠 케이스로 일반화하기 위해 연속성과 선형 성장 조건 하에서 등가성을 증명하고자 한다.

제안 방법

• 연속 생성자 $ g^\lambda $ 를 정규화하기 위해, inf- 및 sup-컨볼루션을 이용해 가족 $ \underline{g}_m^\lambda $ 와 $ \bar{g}_m^\lambda $ 의 근사 생성자를 도입한다. 이는 리프시츠 연속성을 보장한다.
• 근사된 BSDEs $ (\underline{g}_m^\lambda, T, \xi^\lambda) $ 와 $ (\bar{g}_m^\lambda, T, \xi^\lambda) $ 의 해가 존재하고 유일하므로 최소 및 최대 해를 구성한다.
• 비교 정리를 적용하여 임의의 해 $ (y^\lambda, z^\lambda) $ 가 최소 및 최대 해 사이에 놓임을 보장한다. 즉, $ \underline{y}_t^{\lambda,m} \leq y_t^\lambda \leq \bar{y}_t^{\lambda,m} $.
• 근사 생성자 $ \underline{g}_m^\lambda $ 와 $ \bar{g}_m^\lambda $ 가 매개변수 $ \lambda $ 에 대해 연속적임을 증명하여 $ \lambda \to \lambda_0 $ 일 때 수렴 분석이 가능하도록 한다.
• 근사된 해가 $ \mathcal{S}^2 \times \mathcal{H}_d^2 $ 에서 $ m \to \infty $ 일 때 수렴함을 이용해 근사 해의 행동을 원래 BSDE와 연결한다.
• 연속적 의존성이 해의 유일성과 등가임을 증명하기 위해, 연속적 의존성이 최소 및 최대 해가 일치함을 의미하므로 해의 유일성이 성립하고, 반대로 해의 유일성이 성립하면 근사 해의 수렴성과 해 차이의 유계성으로부터 연속적 의존성이 유도됨을 보인다.

실험 결과

연구 질문

• RQ1 연속적이고 선형 성장 조건을 만족하는 계수 $ g $ 를 가진 BSDE에서 해의 유일성이 $ g $ 와 $ \xi $ 에 대한 연속적 의존성과 동치인가?
• RQ2 생성자 $ g $ 가 리프시츠 연속이 아닐 경우, $ g $ 와 $ \xi $ 에 대한 연속적 의존성이 해의 유일성과 동치인가?
• RQ3 고전적인 연속적 의존성 추정식(예: $ \mathbb{E}[\sup_t |y_t^1 - y_t^2|^2] \leq C \mathbb{E}[|\xi^1 - \xi^2|^2 + \int |g^1 - g^2|^2 dt] $)이 비-리프시츠 케이스로 일반화될 수 있는가?
• RQ4 리프시츠 조건이 성립하지 않을 경우 최소 및 최대 해를 어떻게 사용하여 해의 유일성과 연속적 의존성을 특징지을 수 있는가?

주요 결과

• 연속적이고 선형 성장 조건을 만족하는 계수 $ g $ 를 가진 BSDE에서 해의 유일성은 생성자 $ g $ 와 종료조건 $ \xi $ 에 대한 연속적 의존성과 등가이다.
• 해가 유일할 경우, $ g $ 와 $ \xi $ 의 변형에 대응하는 두 해 간의 차이는 $ \mathcal{S}^2 \times \mathcal{H}_d^2 $ 에서 변형이 사라질 때 0으로 수렴한다.
• 근사된 해 $ (\underline{y}_t^{\lambda,m}, \underline{z}_t^{\lambda,m}) $ 와 $ (\bar{y}_t^{\lambda,m}, \bar{z}_t^{\lambda,m}) $ 는 $ m \to \infty $ 일 때 진짜 최소 및 최대 해로 $ \mathcal{S}^2 \times \mathcal{H}_d^2 $ 에서 수렴한다.
• 근사 생성자 $ \underline{g}_m^\lambda $ 와 $ \bar{g}_m^\lambda $ 는 리프시츠 연속이며 $ m \to \infty $ 일 때 $ g^\lambda $ 로 균등 수렴하므로, 고전적 BSDE 이론을 근사에 적용할 수 있다.
• $ \lambda $ 에 대한 연속적 의존성이 근사 생성자에 대해 성립하며, 이 성질은 극한에서도 유지되어 근사 해의 행동이 원래 문제와 연결된다.
• 등가성은 연속적 의존성이 최소 및 최대 해가 일치함을 의미하므로 해의 유일성을 유도하고, 반대로 해의 유일성이 성립하면 변형에 따른 해 차이의 수렴성과 유계성을 통해 연속적 의존성이 유도됨을 보여 증명된다.