[论文解读] A Free Boundary Characterisation of the Root Barrier for Markov Processes

Paul Gassiat, Harald Oberhauser+1 more|arXiv (Cornell University)|May 30, 2019

Stochastic processes and financial applications参考文献 64被引用 5

一句话总结

本论文在对偶性和绝对连续性假设下，通过势论方法，为一般马尔可夫过程的Root障碍提供了自由边界表征，从而实现了基于动态规划的最优停时计算，以解决Skorokhod嵌入问题。主要贡献在于：通过基于半群的自由边界公式，将Root构造从一维扩散过程推广至多维和非局部过程。

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).

研究动机与目标

• 将Root对Skorokhod嵌入问题（SEP）的解法从一维扩散过程推广至一般马尔可夫过程。
• 在满足对偶性假设与半群绝对连续性的马尔可夫过程下，建立Root停时的存在性及其非随机化最优性。
• 提供一种基于动态规划原理的构造性方法，用于计算Root障碍。
• 通过将Root障碍表征为势论自由边界，推广经典障碍PDE方法至自由边界问题。
• 通过用可加泛函替代时间，展示该框架的灵活性，从而为多维布朗运动生成新的解类。

提出的方法

• 利用对偶过程的时空过程的半群，通过过度函数与约化算子，将Root障碍表征为自由边界。
• 应用势论与对偶性，将障碍定义为调和测度超过阈值的集合，以确保最优性。
• 采用动态规划原理计算障碍，即使相关障碍PDE不适定亦可适用。
• 在Root原始构造中，用可加泛函 $ A_t = \int_0^t a(X_s)\,ds $ 替代时间，从而将嵌入推广至新类解。
• 在满足正则性条件时，利用马尔可夫过程的生成元推导PDE公式，与经典障碍PDE建立联系。
• 将该框架应用于具体实例，包括多维布朗运动、稳定Lévy过程及离散马尔可夫链，并通过数值验证。

实验结果

研究问题

• RQ1 能否通过势论方法，将满足对偶性与半群绝对连续性的马尔可夫过程的Root障碍表征为自由边界？
• RQ2 在何种条件下，马尔可夫过程存在非随机化停时以解决Skorokhod嵌入问题？
• RQ3 对于相关障碍PDE不适定的过程，如何构造性地计算Root障碍？
• RQ4 能否在Root构造中用可加泛函替代时间，以获得Skorokhod嵌入问题的新解？
• RQ5 对偶过程的半群与Root障碍的自由边界结构之间存在何种关系？

主要发现

• 在满足对偶性与半群绝对连续性的马尔可夫过程下，通过其对偶过程半群的约化算子，将Root障碍表征为自由边界。
• 该方法即使在相关障碍PDE不适定的情况下，仍能基于动态规划原理计算Root障碍，从而将适用范围扩展至经典PDE框架之外。
• 对于多维布朗运动，通过用可加泛函替代时间，该框架为Skorokhod嵌入问题提供了新的构造性解。
• 在Heisenberg群情形（n=d=2）下，本文推导出一个概率测度ν的显式密度，使得 δ₀ ≺ ν，且ν具有Lebesgue密度 $ \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\}} $。
• 该方法将先前针对一维扩散过程的结果推广至一大类马尔可夫过程，包括超椭圆扩散过程与Lévy过程。
• 数值实验验证了该方法在计算各类过程（包括非局部过程与有限状态马尔可夫链）的Root障碍时的可行性。