[论文解读] Two-scale homogenization for a general class of high contrast PDE systems with periodic coefficients

I. V. Kamotski, V. P. Smyshlyaev|arXiv (Cornell University)|Sep 18, 2013

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

一句话总结

本文为一类具有 $\varepsilon^2$-退化系数的高对比度、周期性 PDE 系统，建立了一个严格的双尺度均质化框架。在对刚性分量的单一通用分解假设下，证明了双尺度极限预解问题的适定性，并推导出椭圆型、抛物型和双曲型问题的强双尺度收敛与弱双尺度收敛，包括谱收敛及相应半群的收敛性。

ABSTRACT

For two-scale homogenization of a general class of asymptotically degenerating %uniformly strongly elliptic symmetric PDE systems with a critically scaled high contrast in periodic coefficients of a small period $\varepsilon$, we derive a two-scale limit resolvent problem under a single generic decomposition assumption for the `stiff' part. We show that this key assumption does hold for a large number of examples with a high contrast, both studied before and some recent ones, including those in linear elasticity and electromagnetism. Following ideas of V.V. Zhikov, under very mild restrictions on the regularity of the domain $Ω$ we prove that the limit resolvent problem is well-posed and turns out to be a pseudo-resolvent problem for a well-defined non-negative self-adjoint two-scale limit operator. A key novel technical ingredient here is a proof that the linear span of product test functions in the functional spaces corresponding to the degeneracies is dense in associated two-scale energy space for a general coupling between the scales. As a result, we establish (both weak and strong) two-scale resolvent convergence, as well as some of its further implications for the spectral convergence and for convergence of parabolic and hyperbolic semigroups and of associated time-dependent initial boundary value problems.

研究动机与目标

• 为具有周期性、高对比度系数且表现出 $\varepsilon^2$-退化性的强椭圆对称 PDE 系统，发展一种通用的双尺度均质化理论。
• 识别并验证关于系数矩阵刚性部分的单一通用分解假设，以确保双尺度极限预解问题的适定性。
• 在高对比度情形下，证明椭圆型、抛物型和双曲型初边值问题的弱与强双尺度收敛。
• 在域的正则性要求最低的条件下，为时间依赖问题建立谱收敛及相应半群的收敛性。
• 证明双尺度极限算子为定义良好、非负且自伴算子，从而支持谱分析与动力学分析。

提出的方法

• 利用双尺度收敛性与一种新颖的可分性论证，证明即使在尺度间存在一般耦合的情况下，乘积测试函数的线性张成在双尺度能量空间中也是稠密的。
• 提出关于刚性部分 $a^{(1)}(y)$ 的单一通用分解假设（4.2），该假设在弹性力学、电磁学及多孔介质等广泛类别的高对比度例子中得到验证。
• 应用 Zhikov 框架中的算子理论工具，将极限预解问题视为自伴双尺度算子 $A_0$ 的伪预解。
• 通过能量估计与紧致性论证，建立解与通量的弱双尺度收敛性，对广义通量 $\xi^\varepsilon = (a^{(1)}(x/\varepsilon))^{1/2}\nabla u^\varepsilon$ 实现更精细的收敛性。
• 将谱理论与半群收敛结果（如 [30] 中所述）适配至双尺度设定，证明双曲型与抛物型柯西问题的解在 $L^2(0,T;H_\varepsilon)$ 中的收敛性。
• 利用 $A_0$ 的谱表示，将极限解显式表达为 $u_0(x,t) = \cos(A_0^{1/2}t)f_0 + \frac{\sin(A_0^{1/2}t)}{A_0^{1/2}}Pg_0$，从而确认极限问题的适定性。

实验结果

研究问题

• RQ1 在何种一般条件下，对于具有 $\varepsilon^2$-退化系数的高对比度 PDE 系统，双尺度极限预解问题仍保持适定性？
• RQ2 能否通过关于刚性部分 $a^{(1)}(y)$ 的单一通用分解假设，确保乘积测试函数在双尺度能量空间中的稠密性，从而支持收敛性分析？
• RQ3 极限问题在抛物型与双曲型演化问题中在多大程度上仍保持双尺度结构？这又如何影响谱收敛与半群收敛？
• RQ4 在何种情况下，双尺度极限算子 $A_0$ 保持耦合状态？在附加结构假设下，尺度何时可能解耦？
• RQ5 当关键分解假设（4.2）不成立时，例如在高各向异性和非局部介质中，该框架如何推广？

主要发现

• 双尺度极限预解问题适定，且对应于一个非负自伴算子 $A_0$，从而为后续分析提供了坚实的谱基础。
• 关于 $a^{(1)}(y)$ 的关键分解假设（4.2）适用于广泛类别的高对比度系统，包括线弹性力学、电磁学及双孔隙模型中的系统。
• 已建立椭圆型、抛物型与双曲型问题解的弱与强双尺度收敛性，且广义通量 $\xi^\varepsilon$ 在 $L^2(0,T;H_\varepsilon)$ 中收敛。
• 双曲型柯西问题的极限解显式表示为 $u_0(x,t) = \cos(A_0^{1/2}t)f_0 + \frac{\sin(A_0^{1/2}t)}{A_0^{1/2}}Pg_0$，确认了谱收敛与动力一致性。
• 乘积测试函数的线性张成在双尺度能量空间中稠密，这是在一般耦合条件下支持收敛性证明的关键技术结果。
• 该框架适用于正则性要求最低的域，且极限问题保持了原始数据的双尺度结构，而谱问题可能需要对极限算子进行延拓。