Homogenization of Viscous Sublinear Hamilton--Jacobi Equations with $u/\epsilon$-Dependence

技术摘要：具有 $u/\epsilon$ 依赖性的粘性次线性 Hamilton–Jacobi 方程的齐次化

问题陈述
本文研究了一类具有快速依赖于空间变量和未知函数本身的粘性 Hamilton–Jacobi 方程的周期性齐次化问题。所考虑的主要方程为：
$$\begin{cases} u^\epsilon_t + H\left(\frac{x}{\epsilon}, \frac{u^\epsilon}{\epsilon}, Du^\epsilon\right) = \epsilon \Delta u^\epsilon & \text{在 } \mathbb{R}^N \times (0, \infty) \text{ 中}, \\ u^\epsilon(x, 0) = u_0(x) & \text{在 } \mathbb{R}^N \text{ 上}, \end{cases}$$
其中 $H$ 对前两个变量是周期的。所关注的特定结构是一种扰动后的 Hamiltonian，形式为 $H_\eta(y, s, p) = F(s, p) + \eta W(y, s, p)$。

该问题处于两个不同理论框架的交汇点：

1. 接触型（Contact-type）Hamilton–Jacobi 方程：其 Hamiltonian 依赖于相位 $u/\epsilon$ 的周期性，通常在无粘性（一阶）情形下进行研究。
2. 半线性热方程：其反应项依赖于快速振荡的相位 $u/\epsilon$，通常通过行进波速度进行分析。

这项工作的显著特征是同时存在粘性项 ($\epsilon \Delta u^\epsilon$)、空间振荡 ($x/\epsilon$)、相位振荡 ($u^\epsilon/\epsilon$) 以及梯度依赖性 ($Du^\epsilon$)。这种组合导致其校正器问题（cell problem）是一个周期-抛物型偏微分方程，而非一阶接触型情形中的常微分方程（ODE），也不是半线性热方程情形中的一维行进波 ODE。

方法论
本文采用摄动法结合粘性解理论以及扰动测试函数法（Evans 方法）。

1. 无扰动情形 ($\eta = 0$)：

   • 作者首先分析了不依赖于空间变量 $y$ 的 Hamiltonian $H(y, s, p) = F(s, p)$。
   • 他们推导出了用于校正器剖面 $\chi_p(z)$ 和单元速度 $c(p)$ 的一维单元 ODE：
     $$|p|^2 \chi_p''(z) = c(p)\chi_p'(z) + F(\chi_p(z), p\chi_p'(z)).$$
   • 利用 $F$ 为正、沿射线严格次线性且正则的假设，他们证明了单调周期校正器 $\chi_p$ 和连续单元速度 $c(p)$ 的存在性与唯一性。
   • 通过构造扰动测试函数 $\Phi^\epsilon_s(t, x) = \epsilon \chi_p(\frac{\phi(t,x)}{\epsilon} + s)$ 并应用半松弛极限方法，建立了齐次化结果。

2. 摄动情形 ($\eta \neq 0$)：

   • 对于一般 Hamiltonian $H_\eta = F + \eta W$，单元问题变成了一个高维周期-抛物型方程：
     $$c_\eta(p)(\chi^\eta_p)_z + \mathcal{F}(\dots) + \eta W(\dots) = \Delta_y \chi^\eta_p + 2p \cdot D^2_{yz} \chi^\eta_p + |p|^2 (\chi^\eta_p)_{zz}.$$
   • 构造校正器：作者通过在无扰动的一维剖面周围线性化算子来构造小 $\eta$ 情况下的解。他们利用了关联的线性化周期-抛物型算子在“扭曲环面”（由于 $p \cdot y$ 项的存在而具有扭曲周期性的定义域）上的 Fredholm 二择一性。
   • 不动点论证：应用收缩映射论证来求解非线性单元问题，从而在 $|\eta|$ 足够小（取决于初始数据的 Lipschitz 常数）时，得到唯一的校正器 $\chi^\eta_p$ 和有效速度 $c_\eta(p)$。
   • 齐次化：利用新构造的周期-抛物型校正器改进扰动测试函数法，以证明 $u^\epsilon$ 在局部一致意义下收敛于有效方程 $u_t + H_\eta(Du) = 0$ 的粘性解。

3. 长时间平均：

   • 本文还讨论了满足特定正则性和周期性条件的通用接触型 Hamiltonian 的长时间行为。
   • 通过建立振荡估计并利用几乎加性函数（almost-additive functions）理论，他们证明了单元演化方程的解 $w_\tau + H(\zeta, p \cdot \zeta + w, p + D_\zeta w) = \Delta_\zeta w$ 在 $\tau \to \infty$ 时收敛于线性增长率 $\lambda(p)$。
   • 在摄动类中，该遍历常数 $\lambda(p)$ 被证明与从校正器构造中得到的单元速度 $c_\eta(p)$ 一致。

主要结果

• 定理 1（无扰动齐次化）：对于满足条件 (F1)–(F4) 的 $H = F(s, p)$，解 $u^\epsilon$ 局部一致收敛于具有 Hamiltonian $\bar{H}(p) = -c(p)$ 的有效方程的粘性解。
• 定理 2（摄动齐次化）：对于 $H_\eta = F(s, p) + \eta W(y, s, p)$，存在一个取决于 $u_0$ Lipschitz 常数的阈值 $\eta_{K_0} > 0$，使得当 $|\eta| \le \eta_{K_0}$ 时，齐次化成立，其有效 Hamiltonian 为 $\bar{H}_\eta(p) = -c_\eta(p)$。
• 定理 6 & 7（遍历性）：单元演化的长时间平均存在，且等于在摄动情形下通过周期校正器得到的单元速度。
• 正则性与估计：论文提供了校正器的一致 $C^2$ 估计，并证明了有效速度 $c_\eta(p)$ 关于梯度变量 $p$ 的连续性。

意义与主张
本文声称提供了首次针对具有同时 $x/\epsilon$ 和 $u^\epsilon/\epsilon$ 振荡及梯度依赖性空间扰动的粘性 Hamilton–Jacobi 方程的周期-抛物型校正器的摄动构造。

作者强调，虽然一阶接触型齐次化（无粘性）和半线性热方程齐次化（无梯度依赖性的振荡项）已被研究过，但粘性、空间振荡、相位振荡以及梯度依赖性的结合，创造了一个此前对于一般 Hamiltonian 而言尚未解决的退化高维单元问题。通过限制在可解主部的微小摄动范围内，作者成功建立了校正器并证明了齐次化结果，从而弥合了接触型方程理论与二阶粘性方程之间的鸿沟。这项工作依赖于摄动参数 $\eta$ 的小性，以确保不动点映射的收缩性以及校正器剖面严格单调性的保持。