[论文解读] Convergence Rates in Parabolic Homogenization with Time-Dependent Periodic Coefficients

Jun Geng, Zhongwei Shen|arXiv (Cornell University)|Apr 22, 2016

Advanced Mathematical Modeling in Engineering参考文献 17被引用 3

一句话总结

本文在系数矩阵和区域的正则性要求最低的条件下，建立了具有快速振荡、时间依赖周期系数的二阶抛物系统弱解在 L² 范数下的精确 O(ε) 收敛速率。通过能量估计与基于校正函数的对偶论证，证明了非均匀解与同伦极限之间的差在 L²(Ω×(0,T)) 中以速率 ε 衰减。

ABSTRACT

For a family of second-order parabolic systems with bounded measurable, rapidly oscillating and time-dependent periodic coefficients, we investigate the sharp convergence rates of weak solutions in $L^2$. Both initial-Dirichlet and initial-Neumann problems are studied.

研究动机与目标

• 建立具有有界可测、快速振荡且时间依赖周期系数的抛物系统的 L² 范数下精确收敛速率。
• 在系数矩阵和区域正则性要求最低的条件下，分析初始-狄利克雷与初始-诺伊曼边界值问题。
• 推导出在不假设系数矩阵光滑性条件下的最优（即 O(ε)）L² 收敛估计。
• 通过控制时间尺度分离的影响，利用能量法与对偶技术，将同伦理论扩展至时间依赖周期结构。

提出的方法

• 建立抛物系统 ∂ₜ + ℒₑuₑ = F，其系数为 A(x/ε, t/ε²)，在空间与时间上均为周期函数。
• 利用 L²(0,T;H¹₀(Ω)) 及其对偶空间之间的对偶配对，估计 uₑ − u₀ 的 L² 范数。
• 引入校正函数 zₑ 与辅助解 vₑ, v₀，以分解误差并控制边界层与初始层效应。
• 应用能量估计，并在薄时间层 (t−ε²,t) 上对 ∇u₀ 施加加权 L² 有界性，以控制瞬态振荡。
• 利用引理 3.5、4.1 和 4.2，通过伴随解将梯度与时间导数相关误差项进行有界控制。
• 通过伴随问题的对偶论证，将 L² 误差估计转化为对伴随解及其梯度的有界性控制。

实验结果

研究问题

• RQ1 具有时间依赖周期系数的抛物系统弱解在 L² 范数下的最优收敛速率是什么？
• RQ2 与纯空间同伦相比，时间尺度振荡（t/ε²）的存在如何影响收敛速率？
• RQ3 能否在不假设系数矩阵光滑性的前提下，建立精确的 O(ε) 收敛速率？
• RQ4 初始条件与边界条件（尤其是诺伊曼与狄利克雷情形）如何影响收敛速率？
• RQ5 ∇u₀ 的时间局部化 L² 范数在收敛估计中起什么作用？如何对其进行控制？

主要发现

• 本文在初始-狄利克雷与初始-诺伊曼问题中，均建立了 L²(Ω×(0,T)) 中精确的 O(ε) 收敛速率。
• 收敛估计的形式为 ‖uₑ − u₀‖_{L²(Ω×(0,T))} ≤ Cε{‖u₀‖_{L²(0,T;H²(Ω))} + ‖F‖_{L²(Ω×(0,T))} + sup_{ε²<t<T}(ε⁻¹∫_{t−ε²}^{t}∫_Ω|∇u₀|²)^{1/2}}。
• 当 g=0 且 h=0 时，估计简化为 ‖uₑ − u₀‖_{L²(Ω×(0,T))} ≤ Cε‖F‖_{L²(Ω×(0,T))}，表明对强迫项具有最优依赖性。
• 当 g=0 且 h∈H¹(Ω) 时，界变为 ‖uₑ − u₀‖_{L²(Ω×(0,T))} ≤ Cε{‖F‖_{L²(Ω×(0,T))} + ‖h‖_{H¹(Ω)}}。
• 对 u₀ 的时间局部化梯度的依赖关系是本质性的，无法消除，反映了快速时间振荡的影响。
• 通过使用对偶与伴随问题，该证明方法可推广至诺伊曼情形，确认在相同假设下收敛速率保持不变。