[论文解读] Homogenization of Elliptic Systems with Neumann Boundary Conditions

Carlos E. Kenig, Fanghua Lin+1 more|arXiv (Cornell University)|Oct 29, 2010

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

一句话总结

本论文在系数快速振荡且周期性分布的条件下，针对 $ C^{1,\alpha} $ 域中的二阶椭圆系统，建立了与 $ \varepsilon $ 无关的精确正则性估计。通过层势方法与均匀化理论，证明了在系数矩阵满足对称性和光滑性假设下，解的 $ W^{1,p} $、Lipschitz 以及非切向极大函数估计具有统一的有界性。

ABSTRACT

The main purpose of this work is to study uniform regularity estimates for a family of elliptic operators $\{\mathcal{L}_\varepsilon, \varepsilon>0\}$, arising in the theory of homogenization, with rapidly oscillating periodic coefficients. We establish sharp $W^{1,p}$ estimates, Lipschitz estimates, and nontangential maximal function estimates, which are uniform in the parameter $\varepsilon$, on solutions with Neumann boundary conditions in $C^{1,α}$ domains.

研究动机与目标

• 为具有快速振荡周期性系数的 Neumann 边值问题建立统一的 $ W^{1,p} $ 估计。
• 在数据满足对称性和 Hölder 连续性假设的条件下，推导解的统一 Lipschitz 估计。
• 证明在 $ L^p $ 空间中具有均值为零数据的解，其非切向极大函数估计具有统一性。
• 证明振荡系统对应的层势算子在所有尺度 $ \varepsilon $ 下均具有与 $ \varepsilon $ 无关的可逆性。
• 通过证明层势表示中密度函数在 $ L^p $ 空间中的统一有界性，将经典积分方程方法推广至非均匀介质情形。

提出的方法

• 分析基于层势方法，利用与算子 $ \mathcal{L}_\varepsilon $ 相关的单层势和双层势。
• 通过统一求解 $ L^p $ Neumann 问题与正则性问题，证明了在 $ L^p_0(\partial\Omega) $ 上算子 $ \frac{1}{2}I + \mathcal{K}_{A,\varepsilon} $ 与 $ -\frac{1}{2}I + \mathcal{K}^*_{A^*,\varepsilon} $ 的可逆性。
• 证明利用了在 $ C^{1,\alpha} $ 域中，$ L^p $ Neumann 问题与正则性问题具有统一估计的事实，从而将已知的 $ L^2 $ 结果推广至一般 $ L^p $ 情形。
• 作者利用对称性条件 $ A^*=A $ 确保层势算子的自伴性，并控制边界处的跳跃关系。
• 关键估计通过在椭圆性、周期性及 $ A $ 的 Hölder 连续性假设下，利用基本解 $ \Gamma_{A,\varepsilon} $ 及其正则性性质获得。
• 层势算子逆算子的统一有界性被转移至解的梯度与非切向极大函数的统一估计。

实验结果

研究问题

• RQ1 在 $ C^{1,\alpha} $ 域中，对于具有快速振荡周期性系数的 Neumann 问题，能否建立统一的 $ W^{1,p} $ 估计？
• RQ2 在何种条件下，解的梯度在 $ L^\infty $ 范数下对 Hölder 连续数据保持一致有界？
• RQ3 梯度的非切向极大函数是否对具有 $ L^p $ Neumann 数据的解满足统一的 $ L^p $ 有界性？
• RQ4 振荡系统对应的层势算子是否在所有尺度 $ \varepsilon>0 $ 的 $ L^p $ 空间中一致可逆？
• RQ5 经典积分方程方法能否在具有周期性系数的椭圆系统中，以与 $ \varepsilon $ 无关的统一估计形式进行推广？

主要发现

• 统一的 $ W^{1,p} $ 估计 $ \|\nabla u_\varepsilon\|_{L^p(\Omega)} \leq C\big(\|f\|_{L^p(\Omega)} + \|F\|_{L^q(\Omega)} + \|g\|_{B^{-1/p,p}(\partial\Omega)}\big) $ 对所有 $ \varepsilon $ 成立，其中 $ q = \frac{pd}{p+d} $，且 $ p > \frac{d}{d-1} $。
• 当 $ g \in C^\eta(\partial\Omega) $ 且 $ F \in L^q(\Omega) $ 满足 $ q > d $ 时，Lipschitz 估计 $ \|\nabla u_\varepsilon\|_{L^\infty(\Omega)} \leq C\big(\|g\|_{C^\eta(\partial\Omega)} + \|F\|_{L^q(\Omega)}\big) $ 对所有 $ \varepsilon $ 一致成立。
• 非切向极大函数估计 $ \|( abla u_\varepsilon)^*\|_{L^p(\partial\Omega)} + \|\nabla u_\varepsilon\|_{L^q(\Omega)} \leq C\|g\|_{L^p(\partial\Omega)} $ 对所有 $ \varepsilon $ 成立，其中 $ q = \frac{pd}{d-1} $。
• 层势算子 $ \frac{1}{2}I + \mathcal{K}_{A,\varepsilon} $ 与 $ -\frac{1}{2}I + \mathcal{K}^*_{A^*,\varepsilon} $ 分别在 $ L^p_0(\partial\Omega) $ 与 $ L^p(\partial\Omega) $ 上可逆，且其算子范数对所有 $ \varepsilon $ 一致有界。
• 算子 $ \mathcal{L}_\varepsilon u_\varepsilon = 0 $ 的 $ L^p $ Dirichlet、Neumann 与正则性问题的解，可通过具有统一 $ L^p $ 有界密度的层势表示。