[论文解读] General Existence of Solutions to Dynamic Programming Principle

Qing Liu, Armin Schikorra|arXiv (Cornell University)|Jul 7, 2013

Geometric Analysis and Curvature Flows参考文献 15被引用 7

一句话总结

本文通过将Perron型方法适配至离散设置，建立了一个适用于博弈论PDE逼近中出现的离散动态规划原理（DPPs）的一般解存在性理论。关键贡献在于提出一个统一框架，确保即使在标准粘性解理论不直接适用时，也能对非线性PDE（如无穷范数拉普拉斯算子、平均曲率流和p-拉普拉斯算子）的DPP解的存在性作出保证。

ABSTRACT

We provide an alternative approach to the existence of solutions to dynamic programming equations arising in the discrete game-theoretic interpretations for various nonlinear partial differential equations including the infinity Laplacian, mean curvature flow and Hamilton-Jacobi type. Our general result is similar to Perron's method but adapted to the discrete situation.

研究动机与目标

• 为博弈论PDE逼近中的离散动态规划方程（DPPs）提供一个一般性的解存在性结果。
• 将Perron方法扩展至离散设置，克服现有方法依赖特定PDE结构的局限性。
• 统一处理各类非线性PDE的DPP，包括无穷范数拉普拉斯算子、平均曲率流和p-拉普拉斯算子。
• 在DPP算子结构假设最少的前提下，建立解的存在性，且不依赖连续极限。
• 解决在涉及积分或可测函数空间时，次解/超解集合的闭包与有界性问题。

提出的方法

• 通过DPP算子涉及的逐点不等式，将次解与超解定义于离散动态规划方程中。
• 将最大次解定义为所有次解的逐点上确界，将最小时超解定义为所有超解的下确界。
• 利用最大值原理论证，证明若最大次解在定义域内每一点均满足DPP，则其为解。
• 通过离散最大值原理建立次解与超解的有界性，确保其一致有界于边界数据的范围内。
• 利用比较原理保证解的唯一性，证明任意次解均被任意超解上界控制。
• 在具体DPP上验证该方法，包括荡秋千博弈（无穷范数拉普拉斯算子）、平均曲率流的抛物型DPP，以及基于积分的p-拉普拉斯算子DPP。

实验结果

研究问题

• RQ1 能否发展一种不依赖连续极限或特定PDE结构的一般性离散动态规划方程解存在性理论？
• RQ2 Perron方法如何适配于博弈论PDE逼近中出现的离散非局部算子？
• RQ3 在何种条件下，次解的逐点上确界构成DPP的解？
• RQ4 为确保次解/超解集合的有界性与闭包性，DPP算子的最小假设是什么？
• RQ5 该方法能否扩展至涉及可测函数的积分型DPP，如p-拉普拉斯算子的DPP？

主要发现

• 若最大次解（即所有次解的逐点上确界）在定义域内每一点均满足DPP不等式，则其为DPP的解。
• 离散最大值原理成立：任意次解有上界，其上界为边界数据的上确界；任意超解有下界，其下界为边界数据的下确界。
• 当比较原理成立时，DPP的解唯一，该结论通过扰动论证与一致收敛性得以证明。
• 该方法适用于通过荡秋千DPP建模的无穷范数拉普拉斯算子，其中值函数在 $ \Omega $ 内满足 $ u^\varepsilon(x) = \frac{1}{2}\sup_{B_\varepsilon(x)}u^\varepsilon + \frac{1}{2}\inf_{B_\varepsilon(x)}u^\varepsilon $。
• 该方法可推广至建模平均曲率流的抛物型DPP，其中DPP包含时间推进步骤，且满足 $ u(x,t) = T[u(x,t-\varepsilon^2)] $。
• 对于涉及积分与上确界/下确界项的p-拉普拉斯算子DPP，该方法在适当假设下可保证解的存在性，但因可测性约束，解集的闭包性仍需进一步分析。