[论文解读] Convergence Rates and Hölder Estimates in Almost-Periodic Homogenization of Elliptic Systems

Zhongwei Shen|arXiv (Cornell University)|Apr 23, 2014

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

一句话总结

该论文在具有快速振荡的几乎周期系数的二阶椭圆组的均匀化中建立了收敛速率和霍尔德估计。通过引入近似正确函数的定量框架，并利用系数频率的谱性质，证明了在 $\gamma < \alpha / (\alpha + \widetilde{m}(\tau+1))$ 条件下，$L^2$ 范数下的最优 $O(\varepsilon^\gamma)$ 收敛速率，其中 $\alpha$ 为霍尔德正则性，$\tau$ 控制频率的丢番图条件。

ABSTRACT

For a family of second-order elliptic systems in divergence form with rapidly oscillating almost-periodic coefficients, we obtain estimates for approximate correctors in terms of a function that quantifies the almost periodicity of the coefficients. The results are used to investigate the problem of convergence rates. We also establish uniform Hölder estimates for the Dirichlet problem in a bounded $C^{1, α}$ domain.

研究动机与目标

• 建立具有快速振荡几乎周期系数的椭圆系统解的定量收敛速率。
• 在有界 $C^{1,\alpha}$ 域中推导解的统一霍尔德估计。
• 分析近似正确函数的正则性与衰减性，基于系数的几乎周期结构。
• 将收敛速率与系数频率谱的丢番图性质联系起来。
• 将周期情形下的定量均匀化结果推广至几乎周期情形，其中经典正确函数理论失效。

提出的方法

• 引入近似正确函数 $\chi_T$，其满足在 $\mathbb{R}^d$ 上的方程 $-\text{div}(A(y)\nabla u) + T^{-2}u = \text{div}(A(y)\nabla P_j^\beta)$，其中 $P_j^\beta(y) = y_j$ 为第 $\beta$ 个分量。
• 通过量化 $A(y)$ 几乎周期性的函数 $\Theta_\sigma(T)$，建立 $\chi_T$ 的 $L^\infty$ 和霍尔德界，证明 $T^{-1}\|\chi_T\|_{L^\infty} \leq C_\sigma \Theta_\sigma(T)$。
• 采用将系数矩阵 $A(y)$ 近似为三角多项式的方法，并应用提升技巧构造正确函数。
• 应用不均匀度理论与 Erdős–Turán–Koksma 不等式，估计频率向量的均匀分布性，从而导出对谱函数 $\theta_\lambda(R)$ 的界。
• 依赖于丢番图条件 $|n \cdot \lambda| \geq c_0 |n|^{-\tau}$ 来控制指数和的衰减，并推导出定量估计。
• 将 $\chi_T$ 的界与 $u_\varepsilon$ 弱收敛于 $u_0$ 的性质结合，通过能量估计与插值法推导出 $L^2$ 收敛速率。

实验结果

研究问题

• RQ1 在 $L^2$ 范数下，具有几乎周期系数的椭圆系统解的最优收敛速率是什么？
• RQ2 系数矩阵 $A(y)$ 的正则性与谱结构如何影响收敛速率？
• RQ3 在缺乏混合性或周期性、无法构造精确正确函数的情况下，能否构造并估计近似正确函数？
• RQ4 频率谱的丢番图条件在多大程度上影响定量均匀化结果？
• RQ5 在几乎周期系数下，对 $C^{1,\alpha}$ 域中的狄利克雷问题解，可以建立何种统一的霍尔德估计？

主要发现

• 对于 $T \geq 1$ 且 $\sigma \in (0,1)$，近似正确函数满足 $T^{-1}\|\chi_T\|_{L^\infty} \leq C_\sigma \Theta_\sigma(T)$，其中 $\Theta_\sigma(T)$ 量化了 $A(y)$ 的几乎周期性。
• 正确函数满足霍尔德估计 $|\chi_T(x) - \chi_T(y)| \leq C_\sigma T^{1-\sigma} |x-y|^\sigma$，对所有 $x,y \in \mathbb{R}^d$ 成立。
• 当 $0 < r \leq T$ 时，局部 $L^2$ 半范数满足 $\sup_{x \in \mathbb{R}^d} \left(-\!\!\!\!\int_{B(x,r)} |\nabla \chi_T|^2 \right)^{1/2} \leq C_\sigma (T/r)^\sigma$。
• 在丢番图频率条件 $|n \cdot \lambda| \geq c_0 |n|^{-\tau}$ 下，谱函数满足 $\theta_\lambda(R) \leq C R^{-1/(\widetilde{m}(\tau+1))} (\log R)^{1 - 1/\widetilde{m}}$。
• 若 $A(y)$ 是 $\alpha$ 阶霍尔德连续，则 $L^2$ 收敛速率为 $\|u_\varepsilon - u_0\|_{L^2(\Omega)} \leq C_\gamma \varepsilon^\gamma \|u_0\|_{W^{2,p}(\Omega)}$，其中任意 $\gamma < \alpha / (\alpha + \widetilde{m}(\tau+1))$。
• 在足够光滑的拟周期系数满足丢番图条件的情况下，恢复了与周期情形一致的最优 $O(\varepsilon)$ 收敛速率。