Diffuse Interface Energies with Microscopic Heterogeneities I: Homogenization

技术摘要：具有微观非均匀性的弥散界面能 I：均质化

问题陈述
本文研究了具有微观非均匀性的材料中弥散界面的宏观行为。具体而言，作者分析了在非均匀性长度尺度 $\delta$ 远小于界面宽度 $\epsilon$（即 $\delta \ll \epsilon$）的机制下，Allen-Cahn 型能量泛函的 $\Gamma$-极限。该能量泛函由下式给出：
$$F_{\epsilon,\delta}(u; U) = \int_U \left( \frac{\epsilon}{2} a(\delta^{-1}x)\nabla u \cdot \nabla u + \frac{1}{\epsilon}\theta(\delta^{-1}x)W(u) \right) dx$$
其中 $a$ 是一致椭圆矩阵场，$\theta$ 是正函数，两者均被建模为平稳遍历随机场的样本。势函数 $W$ 是一个在 $\pm 1$ 处具有极小值的双阱势。

核心问题在于，当 $\epsilon \to 0$（锐利界面极限）时，该过程是否与均质化极限（$\delta \to 0$）相交换。已知如果 $\delta \sim \epsilon$，则极限是一个由 $a$ 和 $\theta$ 的联合统计特性决定的各向异性表面能；而当 $\delta \ll \epsilon$ 时，其行为更为微妙。作者旨在确定在何种条件下，有效能量仅仅是简化的均质化表面能（即系数被替换为其平均值），而非由“罕见事件”（非典型局部构型）所主导。

方法论
证明策略依赖于将其归约为平面胞腔问题，这是 Allen-Cahn 泛函 $\Gamma$-收敛的标准技术。作者建立了解析全局泛函的 $\Gamma$-收敛等价于在具有平面边界条件的巨大立方体中，其极小值的能量收敛到特定的表面张力 $\bar{\sigma}$。

核心分析采用两步法：

1. 确定性相对误差估计： 作者首先推导了非均匀能量 $F_{\gamma}$（其中 $\gamma = \delta/\epsilon$）与均质化能量 $F$ 之间差异的确定性估计。这是通过将宏观区域分解为固定尺寸 $r_c$ 的中观子立方体来实现的。在每个子立方体内，他们将非均匀极小值与均质化极小值进行比较。这种比较利用了：

   • 校正器（Correctors）： 与椭圆算子 $-\nabla \cdot (a \nabla)$ 相关的梯度校正器 $\phi$ 和通量校正器 $\sigma$。
   • 正则性（Regularity）： 利用 De Giorgi-Nash-Moser 估计和 Meyer 估计来控制梯度的 $L^p$ 范数以及极小值的 Hölder 连续性。
   • 清除性质（Clearing-out Property）： 一个确保在低能量机制下，极小值接近纯相（$\pm 1$）的引理，从而允许对势函数 $W$ 进行线性化。
   • 正则化（Regularization）： 使用修改后的势函数 $W_{\text{reg}}$ 以确保在小尺度下的严格凸性，从而便于进行凸性论证。

2. 概率平均： 确定性误差界限取决于校正器的“次线性”（sublinearity）以及通过 $H^{-1}$ 范数衡量的 $\theta$ 的振荡。作者定义了平稳场 $Sub_x(r)$ 和 $Osc_x(r)$ 来量化这些量。他们证明，如果比例 $\delta/\epsilon$ 衰减得足够快，则这些场超过阈值的概率消失得足够快，从而确保均质化误差在极限下可以忽略不计。

主要贡献与结果

• 主定理（均质化机制）： 主要结果（定理 1）表明，如果比例 $\delta(\epsilon)/\epsilon$ 相对于校正器次线性及 $\theta$ 振荡的概率衰减率衰减得足够快，则能量在概率意义下 $\Gamma$-收敛于均质化表面能 $\bar{E}$。有效表面张量由 $\bar{\sigma}(\nu)^2 = \sigma_W^2 \bar{\theta} \nu \cdot \bar{a} \nu$ 给出，其中 $\bar{a}$ 是均质化矩阵，$\bar{\theta}$ 是 $\theta$ 的期望值。

  • 其充分条件通过以下概率衰减来表达：
    $$\lim_{\epsilon \to 0} \epsilon^{-d} P\left\{ Sub_0\left(\frac{\epsilon}{\delta(\epsilon)}\right) > \nu \right\} = 0$$
    以及类似的 $Osc_0$ 条件。

• 锐利性与罕见事件： 文中指出，如果 $\delta/\epsilon$ 衰减过慢，$\Gamma$-极限可能严格小于均质化预测值。这种“罕见事件机制”（即介质中概率极低的局部构型降低了能量）是配套论文 [49] 研究的主题。本文证明了所衍生的条件对于维度 $d=1$ 的随机棋盘模型是锐利的。

• 周期性与几乎周期性介质： 作者证明了周期性和一致几乎周期（Besicovitch 空间 $B_\infty$）介质的无条件均质化结果（推论 2）。在这些设定下，校正器和振荡在空间上是一致收敛的，这意味着只要满足 $\delta(\epsilon)/\epsilon \to 0$，均质化就会成立，而与具体的衰减速率无关。

• 几乎处处收敛： 在对大偏差概率有更强求和条件的情况下（推论 1），收敛性从概率收敛升级为序列的几乎处处收敛。

• 技术工具： 本文引入了用于概率 $\Gamma$-收敛的度量 $d_\Gamma$，并利用了最新的定量随机均质化技术（特别是来自 Gloria, Neukamm, 和 Otto [38] 的最小半径和次线性估计）来量化必要的衰减率。

意义
本文对相变模型中微观非均匀性尺度与中观界面宽度之间的相互作用进行了严谨的表征。它阐明了在 $\delta \ll \epsilon$ 机制下，均质化并非自动发生的；相反，它要求非均匀性尺度相对于界面宽度足够小，以便在界面锐化之前“平均掉”介质的影响。

其意义在于：

1. 推广了现有结果： 它将已知的周期性均质化结果推广到了更一般的平稳遍历设定中，且无需额外的定量混合条件，只要尺度分离足够即可。
2. 识别了阈值： 它通过概率阈值（通过 $Sub$和$Osc$ 场体现）明确识别了分隔“均质化机制”与“罕见事件机制”的分界线。
3. 结构化介质的无条件结果： 它表明对于周期性和一致几乎周期介质，不存在“罕见事件”现象，因此无论具体的尺度分离速率如何（只要 $\delta \ll \epsilon$），均质化都是稳健的。

作者强调，其结果仅针对标量情况，并依赖于在向量值设定中可能无法使用的技术（如 De Giorgi-Nash-Moser 估计）。这项工作是两篇论文系列中的第一部分，配套论文 [49] 详细介绍了反例以及罕见事件机制的机理。