[논문 리뷰] On the Root solution to the Skorokhod embedding problem given full marginals

Alexandre Richard, Xiaolu Tan외 1명|arXiv (Cornell University)|2018. 10. 23.

Nonlinear Partial Differential Equations참고 문헌 23인용 수 4

한 줄 요약

이 논문은 컴팩트한 시간 간격에서 전체 확률 측도에 대해 스코로코드 임베딩 문제의 루트 해법을 기반으로, 최적 정지 시점의 장벽에 대한 잠재 함수를 기술하는 포물형 편미분방정식을 유도함으로써 특성화한다. 저자들은 유한한 확률 측도에 대한 루트 해법의 극한 행동을 확립하고, 극한 정지 시점이 시간에 따라 동일한 조건을 만족함을 증명하여 볼록 순서 제약 조건 하에 연속적이고 최적의 임베딩을 제공한다.

ABSTRACT

This paper examines the Root solution of the Skorohod embedding problem given full marginals on some compact time interval. Our results are obtained by limiting arguments based on finitely-many marginals Root solution of Cox, Obl\\'oj and Touzi. Our main result provides a characterization of the corresponding potential function by means of a convenient parabolic PDE.

연구 동기 및 목표

• 유한한 확률 측도에서 [0,1]의 컴팩트한 시간 간격에서 전체 확률 측도로 스코로코드 임베딩 문제의 루트 해법을 확장하기 위해.
• 시간 간격 [0,1] 내 모든 시점에서 주어진 확률 측도에 대해 루트 임베딩의 극한 장벽 구조를 특성화하기 위해.
• 극한 루트 해법과 잠재 함수를 지배하는 포물형 편미분방정식 사이의 연결 고리를 확립하기 위해.
• 볼록 순서 및 오른쪽 연속성 가정 하에 임베딩의 연속성 및 최적성 성질을 증명하기 위해.
• 다중 확률 측도 임베딩에서 순서가 없는 장벽의 문제를 해결하기 위해, 유한한 확률 측도 해법의 수렴을 분석하기 위해.

제안 방법

• Cox, Obłój, 및 Touzi(2013)의 유한한 확률 측도 루트 해법 구성에 기반한 극한 추론을 활용한다.
• 변분 부등식 접근법을 사용하여 극한에서 루트 장벽의 잠재 함수를 도출한다.
• 강한 수렴 및 약한 수렴 추론을 적용하여, 유한한 확률 측도 루트 장벽이 극한 장벽 집합으로 수렴함을 보인다.
• 극한 정지 시점이 시간에 따라 동일한 조건을 만족함을 증명한다: $\sigma^\infty_s = \inf\{t \geq \sigma^\infty_s : (t,W_t) \in \mathcal{R}_s\}$ 거의 확실히.
• 최적 운반 이론에서의 단조성 원리를 적용하여 극한 해법의 최적성의 타당성을 입증한다.
• s \mapsto \mu_s가 볼록 순서에서 연속적이고 증가함을 이용하여 마틴게일 임베딩의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 어떻게 스코로코드 임베딩 문제의 루트 해법을 유한한 수의 확률 측도에서 [0,1]의 연속적인 전체 확률 측도로 확장할 수 있는가?
• RQ2 전체 확률 측도의 경우에 대해 극한 루트 장벽의 잠재 함수를 기술하는 PDE는 무엇인가?
• RQ3 유한한 확률 측도 루트 장벽의 수열이 전체 확률 측도 설정에서 극한 장벽으로 수렴하기 위한 조건은 무엇인가?
• RQ4 극한 임베딩이 전체 확률 측도 맥락에서 최적성(예: 최소 분산)을 유지할 수 있는가?
• RQ5 극한 정지 시점 과정은 연속적이고 시간-공간 영역의 충격 시간 조건과 일관성이 있는가?

주요 결과

• 극한 루트 해법은 거의 확실히 $\sigma^\infty_s = \inf\{t \geq \sigma^\infty_s : (t,W_t) \in \mathcal{R}_s\}$ 를 만족하여 시간에 따라 동일한 충격 조건임을 나타낸다.
• 극한 장벽의 잠재 함수는 유한한 확률 측도 해법의 극한 행동에서 유도된 포물형 편미분방정식으로 특성화된다.
• 각 고정된 $s \in [0,1]$에 대해, 유한한 확률 측도 루트 장벽 $\mathcal{R}^n_s$ 의 수열은 부분수열을 따라 극한 장벽 $\mathcal{R}^\infty_s$ 로 수렴한다.
• 극한 정지 시점 과정 $\sigma^\infty_s$ 는 어떤 가산 영역 $N$ 을 제외한 $[0,1] \setminus N$ 에서 연속적임을 보여주어 임베딩의 규칙성을 확보한다.
• 모든 $s \in [0,1]$ 에 대해 $\mathcal{L}(W_{\sigma^\infty_s}) = \mu_s$ 를 만족하여 올바른 확률 측도 전파가 이루어짐을 확인한다.
• 극한 해법은 루트 해법의 최적성을 그대로 이어받으며, 전체 확률 측도 제약 조건을 만족하는 모든 임베딩 중에서 분산을 최소화한다.