Another look at elliptic homogenization

“另一视角下的椭圆型同质化”技术摘要

问题陈述
本文研究了由带有振荡系数的归一化 $(s, 2)$-Gagliardo 半范数定义的非局部泛函序列在分数参数 $s$ 趋于 1 且振荡尺度 $\varepsilon$ 趋于 0 时的渐近行为。具体而言，作者分析了如下泛函：
$$F_{\varepsilon, s}(u) = (1 - s) \iint_{\Omega \times \Omega} a\left(\frac{x}{\varepsilon}\right) \frac{|u(x) - u(y)|^2}{|x - y|^{d+2s}} \, dx \, dy$$
其中 $\Omega \subset \mathbb{R}^d$ 是一个有界开集，$a$ 是一个远离零和无穷大的 1-周期连续函数，$s = s_\varepsilon \in (0, 1)$。

核心问题是确定当 $\varepsilon \to 0$ 且 $s \to 1^-$ 同时发生时，$F_{\varepsilon, s}$ 的 $\Gamma$-极限。已知对于常系数情况，当 $s \to 1$ 时，极限为 Dirichlet 积分（Bourgain, Brezis, Mironescu; Ponce）；而对于固定的 $s=1$，当 $\varepsilon \to 0$ 时，极限为同质化的 Dirichlet 积分。这两个极限之间的相互作用是非平凡的。本文关注的是“亚临界”情形，即 $s$ 向 1 的收敛速度相对于振荡尺度 $\varepsilon$ 足够快。

方法论
作者采用了关于 $L^2(\Omega)$ 收敛的 $\Gamma$-收敛理论。证明过程分为在假设以下条件时建立 $\Gamma$-下极限（$\Gamma$-liminf）和 $\Gamma$-上极限（$\Gamma$-limsup）：
$$\lim_{\varepsilon \to 0} \frac{1 - s_\varepsilon}{\varepsilon^2} = 0.$$

1. 局部化与离散化 (下极限)：

   • 引理 3 (局部化)： 作者首先证明，如果选择 $r_\varepsilon$ 使得 $(1-s_\varepsilon)/r_\varepsilon^2 \to 0$，则满足 $|x-y| > r_\varepsilon$ 的点之间的相互作用是可以忽略的。这使得可以将非局部积分简化为局部相互作用范围。
   • 几何分解： 为了处理小相互作用范围内的非局部项，作者利用基于 Kuhn 分解将立方体分解为单纯形的离散化论证。他们引入了一个基于 $\mathbb{R}^d$ 中正交基集合 $V$ 的参数化方法，借鉴了 Solci 的技术。
   • 辅助函数： 他们在由这些基定义的格点上构造了分段仿射辅助函数 $u^\rho_\varepsilon$。通过在基集合和相互作用半径上对这些函数进行平均，他们恢复了一个 $W^{1,2}(\Omega)$ 中的函数。
   • 同质化： 下界是通过证明这些辅助函数的能量收敛到同质化 Dirichlet 积分来推导出的，这利用了已知关于局部椭圆能量的同质化结果。

2. 恢复序列 (上极限)：

   • 仿射与分段仿射情形： 对于仿射函数 $u(x) = \langle z, x \rangle$，作者构造了一个形式为 $u_\varepsilon(x) = \langle z, x \rangle + \varepsilon \phi(x/\varepsilon)$ 的恢复序列，其中 $\phi$ 是求解同质化矩阵 $A_{\text{hom}}$ 单元问题的周期校正器（corrector）。
   • 泰勒展开： 证明依赖于校正器 $\phi$ 的一阶泰勒展开。条件 $1-s \ll \varepsilon^2$ 在此处至关重要，以确保展开项中的余项（其缩放比例为 $1/\varepsilon^2$）在乘以因子 $(1-s)$ 后消失。
   • 稠密性： 通过使用分段仿射函数和对角论证，将结果推广到一般的 $W^{1,2}(\Omega)$ 函数。

主要结果
主定理（定理 1）指出，如果 $\lim_{\varepsilon \to 0} (1 - s_\varepsilon)/\varepsilon^2 = 0$，则序列泛函 $\Gamma$-收敛于同质化 Dirichlet 积分：
$$\Gamma\text{-}\lim_{\varepsilon \to 0} F_{\varepsilon, s_\varepsilon}(u) = \frac{\sigma_{d-1}}{2d} \int_\Omega \langle A_{\text{hom}} \nabla u, \nabla u \rangle \, dx$$
其中 $\sigma_{d-1}$ 是单位球面的面积测度，$A_{\text{hom}}$ 是由标准周期同质化公式定义的同质化矩阵。

论文表明，在这一亚临界情形下，分数参数 $s$ 和振荡尺度 $\varepsilon$ 的影响是“分离”的。该极限等价于先取 $s \to 1$（恢复局部振荡能量），然后再取 $\varepsilon \to 0$（同质化该能量）。

意义与范围
本文为以下直觉提供了严格的理论依据：当分数参数趋于 1 的速度足够快时，分离极限 $s \to 1$ 和 $\varepsilon \to 0$ 是有效的。作者明确指出 $1-s \ll \varepsilon^2$ 是一个亚临界情形。他们指出，临界情形（$1-s \sim \varepsilon^2$）和超临界情形需要涉及非局部到局部的同质化程序的更复杂技术，且本文并未处理这些情形。

其贡献在于架起了非局部分数 Sobolev 近似与经典椭圆同质化之间的桥梁，证明了在特定的缩放关系下，Gagliardo 半范数的非局部性质不会改变其与标准局部情形相同的同质化极限。此外，该工作还提供了一种利用 Kuhn 分解和对正交基进行积分的新颖下界证明技术，作者指出，这为 Bourgain, Brezis, 和 Mironescu 在常系数情况下的经典结果提供了一种替代证明方法。