[논문 리뷰] A Free Boundary Characterisation of the Root Barrier for Markov Processes

Paul Gassiat, Harald Oberhauser외 1명|arXiv (Cornell University)|2019. 05. 30.

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

한 줄 요약

이 논문은 이중성 및 절대연속성 가정 하에 일반 마코프 과정에 대해 잠재력 이론 기반의 자유경계 특성화를 통해 루트 장벽을 설정하며, 스코로호드 임베딩 문제에 대한 최적 정지 시점의 동적 프로그래밍 기반 계산을 가능하게 한다. 주요 기여는 일차원 확산 과정을 초월해 다차원 및 비국소 과정으로 루트 구성의 일반화를 가능하게 하는 반군 기반의 자유경계 공식화이다.

ABSTRACT

We study the existence, optimality, and construction of non-randomised stopping times that solve the Skorokhod embedding problem (SEP) for Markov processes which satisfy a duality assumption. These stopping times are hitting times of space-time subsets, so-called Root barriers. Our main result is, besides the existence and optimality, a potential-theoretic characterisation of this Root barrier as a free boundary. If the generator of the Markov process is sufficiently regular, this reduces to an obstacle PDE that has the Root barrier as free boundary and thereby generalises previous results from one-dimensional diffusions to Markov processes. However, our characterisation always applies and allows, at least in principle, to compute the Root barrier by dynamic programming, even when the well-posedness of the informally associated obstacle PDE is not clear. Finally, we demonstrate the flexibility of our method by replacing time by an additive functional in Root's construction. Already for multi-dimensional Brownian motion this leads to new class of constructive solutions of (SEP).

연구 동기 및 목표

• 스코로호드 임베딩 문제(SEP)에 대한 루트의 해를 일차원 확산 과정을 초월해 일반 마코프 과정으로 확장하기 위해.
• 이중성 가정과 반군 절대연속성 조건을 만족하는 마코프 과정에 대해 루트 정지 시점의 존재성과 비랜덤화된 최적성을 확립하기 위해.
• 동적 프로그래밍 원리를 활용한 루트 장벽의 구조적 계산 방법을 제공하기 위해.
• 고전적 장벽 PDE 접근법을 자유경계 문제로 일반화하기 위해, 루트 장벽을 잠재력 이론 기반의 자유경계로 공식화하기 위해.
• 시간을 추가 함수로 대체함으로써 프레임워크의 유연성을 입증하고, 다차원 브라운 운동에 대한 새로운 유형의 해를 도출하기 위해.

제안 방법

• 이중 공간-시간 과정의 반군을 활용하여, 과잉 함수와 감소 연산자를 통해 루트 장벽을 자유경계로 특성화한다.
• 잠재력 이론과 이중성을 적용하여 장벽을 조건부 조화 측도가 임계값을 초과하는 집합으로 정의함으로써 최적성을 보장한다.
• 조직적 프로그래밍 원리를 활용하여 장벽을 계산하며, 관련 장벽 PDE가 잘 정의되지 않은 경우에도 적용 가능하다.
• 루트 원래 구성에서 시간을 $ A_t = \int_0^t a(X_s)\,ds $ 형태의 추가 함수로 대체하여, 새로운 유형의 해로의 임베딩을 일반화한다.
• 마코프 과정의 생성자로부터 정규성 조건이 만족될 경우 PDE 공식화를 유도하며, 고전적 장벽 PDE와 연결한다.
• 구체적인 예제들(다차원 브라운 운동, 안정 Lévy 과정, 이산 마코프 체계)에 프레임워크를 적용하고 수치적 검증을 수행한다.

실험 결과

연구 질문

• RQ1 일반 마코프 과정에 대해 잠재력 이론적 방법을 통해 루트 장벽을 자유경계로 특성화할 수 있는가?
• RQ2 마코프 과정에서 스코로호드 임베딩 문제를 해결하는 비랜덤화된 정지 시점이 존재하는 조건은 무엇인가?
• RQ3 관련 장벽 PDE가 잘 정의되지 않는 과정에 대해 루트 장벽을 어떻게 구조적으로 계산할 수 있는가?
• RQ4 루트의 구성에서 시간 성분을 추가 함수로 대체함으로써 스코로호드 임베딩 문제의 새로운 해를 도출할 수 있는가?
• RQ5 이중 과정의 반군과 루트 장벽의 자유경계 구조 사이의 관계는 무엇인가?

주요 결과

• 이중 과정의 반군의 감소 연산자를 통해, 이중성 및 반군 절대연속성 조건을 만족하는 마코프 과정의 루트 장벽이 자유경계로 특성화된다.
• 관련 장벽 PDE가 잘 정의되지 않은 경우에도 동적 프로그래밍 기반의 루트 장벽 계산이 가능하여, 고전적 PDE 설정을 초월한 적용 범위를 넓힌다.
• 다차원 브라운 운동의 경우, 시간을 추가 함수로 대체함으로써 스코로호드 임베딩 문제에 대한 새로운 구조적 해를 도출한다.
• 헤이젠베르크 군의 경우(n=d=2), $ \frac{4}{\pi} \frac{x^2 + y^2}{\sqrt{(x^2 + y^2)^2 + 16a^2}} \mathds{1}_{\{(x^2 + y^2)^2 + 16a^2 < 1\}} $ 형태의 르베그 밀도를 가진 확률 측도 ν에 대해 δ₀ ≺ ν 를 유도한다.
• 이전의 일차원 확산 과정에 대한 결과를 히포에일리프틱 확산 및 레비 과정을 포함한 광범위한 마코프 과정의 클래스로 일반화한다.
• 수치 실험을 통해 비국소 및 이산 상태 마코프 체계를 포함한 다양한 과정에서 제안된 방법을 통해 루트 장벽을 계산하는 것이 가능함을 확인한다.