[论文解读] Uniqueness results for convex Hamilton-Jacobi equations under $p>1$ growth conditions on data

Francesca Da Lio, Olivier Ley|ArXiv.org|Oct 8, 2008

Mathematical Biology Tumor Growth参考文献 24被引用 11

一句话总结

本文在数据满足 $p>1$ 增长条件下，建立了具有超线性凸梯度非线性的退化抛物型汉密尔顿-雅可比-贝拉曼方程的粘性解的唯一性与存在性。通过引入一种新型的粘性解表述方式，避免了哈密顿量中的显式上确界，作者证明了在无穷远处解的增长不超过 $o(1+|x|^p)$ 的情况下仍成立比较原理，即使扩散系数在控制变量上无界，从而将结果推广至无界随机控制问题和倒向随机微分方程。

ABSTRACT

Unbounded stochastic control problems may lead to Hamilton-Jacobi-Bellman equations whose Hamiltonians are not always defined, especially when the diffusion term is unbounded with respect to the control. We obtain existence and uniqueness of viscosity solutions growing at most like $o(1+|x|^p)$ at infinity for such HJB equations and more generally for degenerate parabolic equations with a superlinear convex gradient nonlinearity. If the corresponding control problem has a bounded diffusion with respect to the control, then our results apply to a larger class of solutions, namely those growing like $O(1+|x|^p)$ at infinity. This latter case encompasses some equations related to backward stochastic differential equations.

研究动机与目标

• 将退化抛物型 HJB 方程粘性解的比较与唯一性结果，推广至扩散系数相对于控制无界的情形。
• 解决当控制集无界且扩散随控制增长时，哈密顿量可能趋于无穷大的挑战。
• 在数据满足 $p>1$ 增长条件下，建立在无穷远处增长不超过 $o(1+|x|^p)$ 的解的存在性与唯一性。
• 将结果从二次增长推广至一般 $p>1$ 增长，包括对倒向随机微分方程（BSDEs）的应用。
• 提出一种新的粘性解表述方式，避免哈密顿量中的显式上确界，使得即使 $H$ 不连续时也能进行分析。

提出的方法

• 引入一种新的粘性解表述方式，将哈密顿量的定义重构为不显式包含上确界的形式，从而在 $H$ 为无穷时仍能定义解。
• 使用带障碍函数 $h(x) = \overline{C}(1 + |x|^p)$ 的扰动测试函数方法，以控制无穷远处的增长。
• 采用变量加倍技术，结合修正的测试函数 $\Phi(x,t) = C\varphi(t)h(x)$，其中 $\varphi$ 满足特定常微分方程。
• 基于最大值原理，采用比较原理论证，利用对 $Dh$、$D^2h$ 以及 $\sigma\sigma^T$ 的迹的估计。
• 通过 $p$-增长假设控制非线性项 $f$ 的增长，并利用共轭指数 $p'$ 来有界 $f$ 中的梯度项。
• 固定参数 $C$、$L$ 和 $\tau$，以确保对 $\Phi$ 应用算子后结果仍为正，从而证明比较原理所需的不等式。

实验结果

研究问题

• RQ1 当扩散系数相对于控制无界，导致哈密顿量可能无穷大时，是否仍可为退化抛物型 HJB 方程的粘性解建立唯一性？
• RQ2 数据（如 $b$、$\sigma$、$\ell$ 的增长速率）需满足何种条件，才能保证在 $p>1$ 条件下，解在无穷远处增长不超过 $o(1+|x|^p)$ 时的存在性与唯一性？
• RQ3 如何重构粘性解的概念，以处理因控制无界导致哈密顿量不连续的情形？
• RQ4 这些结果在多大程度上可推广至具有无界系数的倒向随机微分方程所导出的方程？
• RQ5 当标准的 $O(1+|x|^p)$ 类不足以应对哈密顿量爆破时，能否为具有 $p$-增长的解证明比较原理？

主要发现

• 提出一种新的粘性解表述方式，避免了哈密顿量中的显式上确界，使得即使 $H$ 为无穷时也能定义解。
• 在数据满足 $p>1$ 增长条件时，比较原理对在无穷远处增长不超过 $o(1+|x|^p)$ 的粘性次解与超解成立。
• 为具有超线性凸梯度非线性和控制中无界扩散的退化抛物型 HJB 方程，建立了粘性解的存在性与唯一性。
• 结果适用于无界随机控制问题，并可推广至与倒向随机微分方程（BSDEs）相关的方程。
• 对于控制相关的扩散有界的经典情形，结果可扩展至增长为 $O(1+|x|^p)$ 的解，涵盖经典的随机线性二次型问题。
• 证明依赖于精心构造的障碍函数与参数选择，确保对扰动测试函数的微分算子保持正定，从而验证了比较原理。