Characterisation of homogenisation for nonlocal diffusion by local topologies

技术摘要：通过局部拓扑刻画非局部扩散的同质化

问题陈述
本文研究了具有高度振荡局部系数和非局部微分算子的分数阶散度形式问题的同质化问题。具体而言，作者考虑了形式为 $-\text{div}_s(A \nabla_s u) = f$ 的方程，其中 $\nabla_s$ 和 $\text{div}_s$ 分别表示阶数为 $s \in (0, 1)$ 的 Riesz 分数阶梯度和散度。该领域的一个核心挑战在于，虽然系数 $A$ 是局部的（矩阵值函数），但算子的非局部性质要求这些系数必须定义在整个空间 $\mathbb{R}^d$ 上，而不仅仅是有限区域 $\Omega$ 内。前人的工作 [16] 引入了 $H^s$-收敛来处理此类问题，但施加了系数在 $\Omega$ 外部必须是固定的（即 $A|_{\mathbb{R}^d \setminus \Omega} = A_0$）这一限制。本文旨在完整地刻画定义在整个空间 $\mathbb{R}^d$ 上的系数序列的 $H^s$-收敛性，而不受此类限制，并将这种收敛性与经典的局部拓扑和非局部算子理论框架联系起来。

研究方法
作者结合了分数阶微积分、泛函分析和同质化理论。关键的方法论组成部分包括：

• 分数阶算子： 分析依赖于通过奇异积分或傅里叶乘子定义的 Riesz 分数阶梯度和散度，以及与之相关的分数阶 Sobolev 空间 $H^s_0(\Omega)$ 和 $H^{-s}(\Omega)$。
• 补偿紧性（Compensated Compactness）： 利用分数阶 Leibniz 法则和分部积分，建立了一个分数阶版本的 div-curl 引理（命题 2.14）。该工具对于处理非局部设置中乘积序列的弱收敛至关重要。
• 紧性与嵌入： 证明策略利用了分数阶梯度在定义域补集上的紧性（定理 2.11）以及 $H^s_0(\Omega)$ 到 $L^2(\Omega)$ 的紧嵌入（定理 2.10）。
• Schur 拓扑： 本文将 $H^s$-收敛与非局部 $H$-收敛的抽象概念联系起来，将其识别为有界线性算集上的一个特定的 Schur 拓扑。
• 一维分析： 作者将结果扩展到一维情况 ($d=1$)，解决了关于分数阶导数算子核（kernel）的特定困难，该核在经典局部情况下有显著不同。

主要贡献与结果

1. $H^s$-收敛的刻画（定理 1.3）：
   主要结果提供了对 $M(\alpha, \beta; \mathbb{R}^d)$ 中系数序列 $(A_n)_n$（容许的矩阵值系数）进行 $H^s$-收敛的完整刻画。该定理指出，$A_n \xrightarrow{H^s} A$ 当且仅当：

   • 该序列在定义域 $\Omega$ 内的限制在经典 Murat-Tartar 意义下 $H$-收敛于其极限的限制：$A_n|_\Omega \xrightarrow{H} A|_\Omega$。
   • 该序列在 $\Omega$ 闭包补集上的限制在 $L^\infty$ 中弱-$\ast$ 收敛：$A_n|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega} \xrightarrow{\ast} A|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega}$。
     该结果移除了先前要求系数在 $\Omega$ 外部固定的限制，表明同质化极限是由定义域内部的局部 $H$-收敛和定义域外部的弱-$\ast$ 收敛共同决定的。

2. 向一维的扩展：
   作者将 [16] 中的紧性和唯一性结果推广到 $d=1$ 的情况。他们证明，虽然一维情况下的 $H$-极限对应于调和平均值，但分数阶导数的非局部性质阻止了经典情况下所特有的通量（fluxes）强 $L^2$ 收敛。他们证明了在一维情况下，分数阶导数算子的核是无限维的，这使得推导强通量收敛变得复杂。

3. 度量与拓扑性质：
   本文确立了配备 $H^s$-收敛的容许系数空间是可度量且紧致的。文中构造了一个结合了 $\Omega$ 内经典 $H$-度量和补集上弱-$\ast$ 度量的特定度量。

4. 与 Schur 拓扑的联系（定理 7.4）：
   作者展示了 $H^s$-收敛可以被解释为有界线性算集上的一个 Schur 拓扑。他们识别了两种不同的 Schur 拓扑——一个源自分数阶梯度的值域，另一个源自 $L^2(\mathbb{R}^d)$ 的分解——它们在系数集合上诱导了相同的度量空间结构。这使得分数阶同质化问题能够纳入由 [45, 46] 引入的非局部 $H$-收敛的更广泛框架中。

5. 对称系数与 $G^s$-收敛（第 8 节）：
   对于对称系数，本文引入了 $G^s$-收敛（基于能量收敛），并证明了其与 $H^s$-收敛的等价性。这扩展了经典 $G$-与 $H$-收敛之间的关系到分数阶设置中。

6. 在分数阶热方程中的应用（定理 1.4）：
   利用已建立的收敛结果和演化方程理论，作者解决了一个分数阶热型方程 $\partial_t u - \text{div}_s(A \nabla_s u) = f$ 的同质化问题。他们证明，如果系数 $A_n$ 在 $H^s$ 意义下收敛于 $A$，则解 $u_n$ 在 $L^2(0, T; L^2(\Omega))$ 中强收敛于同质化方程的解 $u$。

意义与主张
本文声称为具有局部、高度振荡系数的非局部扩散问题提供了严谨且完整的同质化刻画。通过将 $H^s$-收敛与经典局部 $H$-收敛及弱-$\ast$ 收敛联系起来，作者证明了只要考虑到系数在定义域补集上的行为，复杂的非局部问题可以通过成熟的局部拓扑来理解。

该工作具有以下重要意义：

• 泛化性： 它移除了定义域外系数固定的人为约束，允许在整个空间 $\mathbb{R}^d$ 上存在振荡。
• 维度的完整性： 它解决了一维情况，此前由于技术性假设，该情况在文献中受到限制。
• 理论统一： 它通过 Schur 拓扑，架起了分数阶同质化与抽象非局部 $H$-收敛理论之间的桥梁。
• 时间相关应用的实现： 他们成功地将这些静态同质化结果应用于时间相关的分数阶热方程，回答了关于此类背景下解收敛性的特定开放性问题。

作者指出，虽然这些结果对于定义的算子类是稳健的，但对于一般的非局部系数（即属于 $L(L^2)$ 而非 $L^\infty$ 的元素）而言，这些拓扑的行为仍是一个开放性问题。