[论文解读] Weighted $L^2$ Estimates for Elliptic Homogenization in Lipschitz Domains

Zhongwei Shen|arXiv (Cornell University)|Apr 7, 2020

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

一句话总结

本文为具有快速振荡、周期性且属于VMO类系数的椭圆系统，在Lipschitz定义域中建立了加权$L^2$估计的必要且充分条件。通过一种新颖的实变量方法，将加权$W^{1,2}$估计转化为涉及权函数的反Hölder型不等式，从而在均匀化尺度下实现一致估计。

ABSTRACT

We develop a new real-variable method for weighted $L^p$ estimates. The method is applied to the study of weighted $W^{1, 2}$ estimates in Lipschitz domains for weak solutions of second-order elliptic systems in divergence form with bounded measurable coefficients. It produces a necessary and sufficient condition, which depends on the weight function, for the weighted $W^{1,2}$ estimate to hold in a fixed Lipschitz domain with a given weight. Using this condition, for elliptic systems in Lipschitz domains with rapidly oscillating, periodic and VMO coefficients, we reduce the problem of weighted estimates to the case of constant coefficients.

研究动机与目标

• 发展一种用于椭圆均匀化中加权$L^p$估计的实变量方法。
• 确定在有界Lipschitz定义域中，$W^{1,2}$估计的、依赖于权函数的必要且充分条件。
• 将振荡系数系统的加权估计研究简化为常系数情形。
• 在所导出的条件下，建立均匀化极限（$\varepsilon \to 0$）下的统一估计。
• 将已知的$L^p$估计结果推广至具有$A_1$权的加权$L^2$情形，尤其适用于VMO与周期性系数。

提出的方法

• 提出一种专用于椭圆PDE中加权$L^p$估计的新实变量方法。
• 推导出反Hölder不等式条件（1.8），作为加权$W^{1,2}$估计的必要且充分准则。
• 将该方法应用于有界可测、周期性及VMO类系数的椭圆系统。
• 利用对偶性与外推技术，将$A_1$权条件与$L^p$有界性结果相联系。
• 运用Hardy型不等式与涉及到边界距离的截断技巧，控制奇异权函数。
• 通过均匀化矩阵$\overline{A}$，将振荡系数问题简化为常系数情形。

实验结果

研究问题

• RQ1 在给定$A_1$权函数的固定Lipschitz定义域中，加权$W^{1,2}$估计成立的必要且充分条件是什么？
• RQ2 如何将具有快速振荡系数的椭圆系统加权$L^2$估计简化为常系数情形？
• RQ3 在何种权函数$\omega$条件下，不等式$\int_\Omega |\nabla u_\varepsilon|^2 \omega \,dx \leq C \int_\Omega |f|^2 \omega \,dx$对所有$\varepsilon$一致成立？
• RQ4 能否利用$A_1$权条件通过外推法导出$p>2$时的$L^p$估计？
• RQ5 系数矩阵的VMO正则性在确保加权$L^2$有界性方面起何作用？

主要发现

• 定理1.1表明，加权$W^{1,2}$估计成立当且仅当对在边界上消失的局部解，反Hölder不等式（1.8）成立。
• 条件（1.8）显式依赖于权函数$\omega$、定义域$\Omega$及系数矩阵$A$，因而对几何与解析结构敏感。
• 定理1.2表明，当$A \in \text{VMO}(\mathbb{R}^d)$且$A$为周期性时，$\mathcal{L}_\varepsilon$的加权估计可简化为常系数算子$\overline{A}$的相同估计。
• 对于幂权函数$\omega_\sigma(x) = \text{dist}(x,\partial\Omega)^\sigma$，当$|\sigma| \leq 2\kappa$时估计一致成立，其中$\kappa \in (0,1/2)$依赖于维数、强椭圆性及Lipschitz性质。
• 定理7.2通过Hardy型不等式与截断技巧（使用$\psi_t(x) = \text{dist}(x,\partial\Omega) + t$）证明了$\omega_\sigma(x) = \text{dist}(x,\partial\Omega)^\sigma$下加权$L^2$估计对$|\sigma| \leq 2\kappa$成立。
• 该方法可实现均匀化极限下的统一估计，确保（1.5）中常数$C_\omega$对所有$\varepsilon > 0$独立。