Skip to main content
QUICK REVIEW

[论文解读] Periodic Homogenization for Weakly Elliptic Hamilton-Jacobi-Bellman Equations with Critical Fractional Diffusion

Adina Ciomaga, Daria Ghilli|arXiv (Cornell University)|Feb 21, 2020
Advanced Mathematical Modeling in Engineering参考文献 39被引用 5
一句话总结

本文通过粘性解与上/下松弛极限方法,建立了具有临界分数阶扩散的弱椭圆型哈密顿-雅可比-贝拉曼方程的周期均轮化。证明了有效哈密顿量的利普希茨正则性及在弱椭圆性条件下的收敛性结果,其核心依赖于在扩散与漂移项阶数相等的临界标度下,校正函数的精细利普希茨估计。

ABSTRACT

In this paper we establish periodic homogenization for Hamilton-Jacobi-Bellman (HJB) equations, associated to nonlocal operators of integro-differential type. We consider the case when the fractional diffusion has the same order as the drift term, and is weakly elliptic. The outcome of the paper is twofold. One one hand, we provide Lipschitz regularity results for weakly elliptic non-local HJB, extending the results previously obtained in [8]. On the other hand, we establish a convergence result, based on half relaxed limits and a comparison principle for the effective problem. The latter strongly relies on the regularity and the ellipticity properties of the effective Hamiltonian, for which a fine Lipschitz estimate of the corrector plays a crucial role.

研究动机与目标

  • 建立具有非局部、临界阶分数阶扩散的哈密顿-雅可比-贝拉曼方程的周期均轮化。
  • 将利普希茨正则性结果推广至弱椭圆型积分微分算子,推广先前的工作。
  • 利用上/下松弛极限与比较原理,证明当均轮化参数 ε → 0 时解的收敛性。
  • 分析有效哈密顿量的正则性与椭圆性,这对收敛性证明至关重要。
  • 处理仅满足积分Lévy条件的核,而非逐点一致椭圆性。

提出的方法

  • 使用粘性解理论处理具有Lévy型生成元的非局部二阶积分微分方程。
  • 应用上/下松弛极限方法,实现均轮化过程中取极限的过渡。
  • 采用具有精确利普希茨估计的校正函数,以控制有效哈密顿量的正则性。
  • 依赖于极限方程的比较原理,其成立依赖于有效哈密顿量的椭圆性与正则性。
  • 通过核的积分条件施加弱椭圆性:∫ min(1,|z|²)K^a(ξ,z)dz < ∞,而非逐点有界性。
  • 使用扰动测试函数方法,通过精心构造的测试函数 φ 与 ψ 控制粘性不等式中的非局部项。

实验结果

研究问题

  • RQ1当分数阶扩散与漂移项阶数相当时,能否在弱椭圆性条件下建立弱椭圆型非局部HJB方程的周期均轮化?
  • RQ2在弱椭圆性条件下,有效哈密顿量的正则性如何从校正函数继承?
  • RQ3ε-解向均轮化极限的收敛性如何依赖于非局部算子的结构及核的可积性?
  • RQ4在弱椭圆性与临界标度下,比较原理能否应用于有效问题?
  • RQ5校正函数的利普希茨估计在确保均轮化过程收敛中起到何种作用?

主要发现

  • 证明了有效哈密顿量具有利普希茨连续性,这对均轮化极限中的比较原理至关重要。
  • 通过上/下松弛极限与粘性解技术,建立了ε-解向均轮化解的收敛性。
  • 证明依赖于对校正函数的精确利普希茨估计,该估计控制了粘性不等式中的非局部项。
  • 在扩散与漂移项均为一阶的临界标度下,即使在弱椭圆性条件下,也成功处理了该情形,推广了以往要求一致椭圆性的结果。
  • 通过将非局部项分解为小跳与大跳,结合Lévy条件与核的霍尔德型正则性,导出了相关有界性估计。
  • 证明中的最终矛盾论证依赖于选择 ρ = ρ₀ε²ʳ(其中 r < γ),从而产生趋于零的 o_ε(1) + o_ζ(1) 项,当 ε, ζ → 0 时消失。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。