[论文解读] Boundary Estimates in Elliptic Homogenization

Zhongwei Shen|arXiv (Cornell University)|May 4, 2015

Advanced Mathematical Modeling in Engineering被引用 11

一句话总结

本文针对具有快速振荡周期系数的线性弹性椭圆系统，建立了精确的边界估计，利用 $H^1$ 和 $L^q$ 空间中的收敛速率估计。在无系数光滑性假设的 Lipschitz 域上，实现了在 $L^q(\Omega)$ 中关于 $q = \frac{2d}{d-1}$ 的一致 $O(\varepsilon)$ 误差界，从而在额外满足系数 Hölder 连续性条件下，获得完整的 Rellich 型估计以及 $C^{1,\alpha}$ 域中的 Lipschitz 正则性。

ABSTRACT

For a family of systems of linear elasticity with rapidly oscillating periodic coefficients, we establish sharp boundary estimates with either Dirichlet or Neumann conditions, uniform down to the microscopic scale, without smoothness assumptions on the coefficients. Under additional smoothness conditions, these estimates, combined with the corresponding local estimates, lead to the full Rellich type estimates in Lipschitz domains and Lipschitz estimates in $C^{1, α}$ domains. The $C^α$, $W^{1,p}$, and $L^p$ estimates in $C^1$ domains for systems with VMO coefficients are also studied. The approach is based on certain estimates on convergence rates. As a bi-product, we obtain sharp $O(\varepsilon)$ error estimates in $L^q(Ω)$ for $q=\frac{2d}{d-1}$ and a Lipschitz domain $Ω$, with no smoothness assumption on the coefficients.

研究动机与目标

• 在微观尺度 $\varepsilon$ 下，为具有快速振荡周期系数的线性弹性椭圆系统建立一致的边界估计。
• 在无系数矩阵光滑性要求的 Lipschitz 域上，推导出在 $L^q(\Omega)$ 中关于 $q = \frac{2d}{d-1}$ 的精确 $O(\varepsilon)$ 收敛速率。
• 在系数满足 Hölder 连续性条件下，将这些估计推广至 Lipschitz 域中的完整 Rellich 型估计，以及 $C^{1,\alpha}$ 域中的 Lipschitz 正则性。
• 针对具有 VMO 系数的系统，在 $C^1$ 域中提供 $C^\alpha$、$W^{1,p}$ 和 $L^p$ 估计。

提出的方法

• 该方法基于对同伦化系统解的 $H^1$ 和 $L^q$ 收敛速率估计，避免了先前工作中使用的紧致性方法。
• 关键估计通过爆破论证和 dyadic 环形区域中的衰减估计获得，利用修正的 John-Nirenberg 型不等式处理 $L^q$ 收敛。
• 证明依赖于一个新提出的 $L^q$ 收敛速率估计，其中 $q = \frac{2d}{d-1}$，该估计是精确的，且在 $A(y)$ 无光滑性假设下依然成立。
• 一个关键步骤是构造一个属于 $H^1(D_r; \mathbb{R}^d)$ 的函数 $w$，使其在 $D_r$ 上逼近 $u_\varepsilon$，且误差受 $\varepsilon/r$ 控制。
• 该方法利用一个尺度不变的衰减估计：$J(\theta r) \leq \frac{1}{2}J(r) + C(\varepsilon/r)^{1/2}\Psi(2r)$，其中 $J(r)$ 衡量振荡，$\Psi(r)$ 控制数据范数。
• 将局部正则性估计与全局边界估计相结合，从而在 $C^{1,\alpha}$ 域中获得完整的 $C^{1,\alpha}$ Lipschitz 估计。

实验结果

研究问题

• RQ1 能否在无光滑性假设下，对具有快速振荡系数的椭圆系统在 $\varepsilon$ 尺度上建立一致的精确边界估计？
• RQ2 在 $L^q(\Omega)$ 中关于 $q = \frac{2d}{d-1}$ 的解的最优收敛速率是什么？是否可在无光滑性要求下实现？
• RQ3 Lipschitz 域中的边界估计如何与完整的 Rellich 型估计及 $C^{1,\alpha}$ 正则性相关联？
• RQ4 对于具有 VMO 系数的系统，$C^\alpha$、$W^{1,p}$ 和 $L^p$ 估计能否推广至 $C^1$ 域？

主要发现

• 本文在无系数矩阵 $A(y)$ 光滑性假设的 Lipschitz 域上，建立了关于 $q = \frac{2d}{d-1}$ 的精确 $O(\varepsilon)$ 收敛速率，且在 $L^q(\Omega)$ 中成立。
• 对于 Lipschitz 域中的 Dirichlet 和 Neumann 问题，本文证明了尺度不变的边界估计：$\left(\frac{1}{r}\int_{\Omega_r}|\nabla u_\varepsilon|^2\right)^{1/2} \leq C\left(\|F\|_{L^p} + \|f\|_{H^1(\partial\Omega)}\right)$，其中 $p = \frac{2d}{d+1}$。
• 在 $A$ 满足 Hölder 连续性条件下，本文获得了在 $B(0,1/2)$ 上 $\nabla u_\varepsilon$ 的一致 $L^\infty$ 有界性，且 $\|\nabla u_\varepsilon\|_{L^\infty(B(0,1/2))} \leq C_p\left(\|u_\varepsilon\|_{L^2(B(0,1))} + \|F\|_{L^p(B(0,1))}\right)$，其中 $p > d$。
• 在 $C^{1,\alpha}$ 域中，本文证明了 $\|\nabla u_\varepsilon\|_{L^\infty(D_{1/2})} \leq C\left(\|u_\varepsilon\|_{L^2(D_1)} + \|F\|_{L^p(D_1)} + \|f\|_{C^{1,\sigma}(\Delta_1)}\right)$，适用于 Dirichlet 数据，且对 Neumann 数据有类似估计。
• 该方法还产生一个新结果：在所有 $\varepsilon > 0$ 和 Lipschitz 域 $\Omega$ 下，对 $q = \frac{2d}{d-1}$，在 $L^q(\Omega)$ 中实现了精确的 $O(\varepsilon)$ 误差估计，且无需对 $A(y)$ 做光滑性假设。