[论文解读] Approximate Correctors and Convergence Rates in Almost-Periodic Homogenization

Zhongwei Shen, Jinping Zhuge|arXiv (Cornell University)|Mar 10, 2016

Advanced Mathematical Modeling in Engineering参考文献 16被引用 4

一句话总结

本论文通过引入函数 $\rho_k(L,R)$ 对几乎周期性进行新量化，建立了具有 Weyl 意义下几乎周期系数的二阶椭圆系统在 $H^1$ 和 $L^2$ 范数下的最优或近似最优收敛速率。该方法导出了近似正确器的统一 $L^2$ 估计，并在充分条件下证明了真实正确器的存在性，从而得到了具有显式对数收敛速率的大尺度 Hölder 与 Lipschitz 估计。

ABSTRACT

We carry out a comprehensive study of quantitative homogenization of second-order elliptic systems with bounded measurable coefficients that are almost-periodic in the sense of H. Weyl. We obtain uniform local $L^2$ estimates for the approximate correctors in terms of a function that quantifies the almost-periodicity of the coefficient matrix. We give a condition that implies the existence of (true) correctors. These estimates as well as similar estimates for the dual approximate correctors yield optimal or near optimal convergence rates in $H^1$ and $L^2$.The $L^2$-based Hölder and Lipschitz estimates at large scale are also established.

研究动机与目标

• 建立在 Weyl 意义下具有有界可测、几乎周期系数的二阶椭圆系统在 $H^1$ 和 $L^2$ 范数下的定量收敛速率。
• 引入新函数 $\rho_k(L,R)$，以量化系数矩阵 $A$ 的几乎周期性程度，从而精确控制正确器估计。
• 基于 $\rho_k$，推导出近似正确器 $\chi_T$ 的统一 $L^2$ 估计，将先前结果推广至无需光滑性假设的更广泛系数类。
• 在涉及 $\rho_k$ 的充分条件下，证明真实正确器的存在性，并建立解的大尺度 Hölder 与 Lipschitz 正则性。

提出的方法

• 通过 $\rho_k(L,R)$ 引入新的几乎周期性量化方法，其定义为在缩放球面上 $A$-平均值差值的上确界，以捕捉高阶振荡。
• 将近似正确器 $\chi_T$ 定义为方程 $-\operatorname{div}(A\nabla\chi_T) + T^{-2}\chi_T = \operatorname{div}(A\nabla P)$ 的解，其中 $P$ 为仿射函数，以逼近均质化极限。
• 利用紧致性论证与定量遍历型估计，基于 $\rho_k$ 建立 $\nabla\chi_T$ 与 $\chi_T$ 的统一 $L^2$ 估计。
• 应用改进的 Campanato 型迭代法与模连续性 $\eta(t)$ 的 Dini 型条件，推导解的大尺度 Hölder 与 Lipschitz 估计。
• 通过对偶论证将估计扩展至伴随正确器，并控制 $\nabla\chi_T$ 在 $B^2$ 范数下收敛于真实正确器 $\psi$ 的过程。
• 利用 $\rho_k(L,L)$ 的衰减速率，推导出显式对数收敛速率，例如 $\|\nabla\chi_T - \psi\|_{B^2} \leq C(\log T)^{1-\alpha}$，其中 $\alpha > 3$。

实验结果

研究问题

• RQ1 在 Weyl 意义下，具有几乎周期系数的椭圆系统在 $H^1$ 与 $L^2$ 范数下的最优收敛速率是什么？
• RQ2 如何对系数矩阵的几乎周期性进行量化，以控制均质化过程中的误差？
• RQ3 在何种条件下，具有有界可测、几乎周期系数的系统存在真实正确器？
• RQ4 在对 $A$ 的光滑性假设最小化的前提下，可建立解的哪些大尺度正则性性质（Hölder 与 Lipschitz）？
• RQ5 当系数矩阵满足其几乎周期性函数 $\rho_k$ 的对数衰减条件时，收敛速率是否可进一步改进或量化？

主要发现

• 本论文通过近似正确器 $\chi_T$ 的统一 $L^2$ 估计，建立了属于 $APW^2(\mathbb{R}^d)$ 的系数的椭圆系统解在 $H^1$ 与 $L^2$ 范数下的最优收敛速率。
• 引入新函数 $\rho_k(L,R)$ 以量化 $A$ 的几乎周期性，且 $\nabla\chi_T$ 的估计明确依赖于 $\rho_k$，从而在缺乏光滑性时仍可实现有效控制。
• 在涉及 $\rho_k$ 的充分条件下，证明了真实正确器的存在性，将先前结果推广至更广泛的有界可测几乎周期系数类。
• 建立了基于 $L^2$ 的大尺度 Hölder 与 Lipschitz 估计，其中 Hölder 半范数受 $\|\nabla u_\varepsilon\|_{L^2}$ 与强迫项范数的控制。
• 对于满足 $\rho_k(L,L) \leq C(\log L)^{-\alpha}$ 且 $\alpha > 3$ 的系数，收敛速率为 $\|\nabla\chi_T - \psi\|_{B^2} \leq C(\log T)^{1-\alpha}$，该结果近乎最优。
• 在相同衰减条件下，$L^2$ 收敛速率被证明为 $\|u_\varepsilon - u_0\|_{L^2} \leq C\varepsilon \cdot (\log \varepsilon^{-1})^{1-\alpha}$，优于先前结果。