[论文解读] Homogenisation of Monotone Parabolic Problems with Several Temporal Scales: The Detailed arXiv e-Print Version

Jens Persson|arXiv (Cornell University)|Mar 29, 2010

Advanced Mathematical Modeling in Engineering参考文献 38被引用 5

一句话总结

本文针对具有两个空间尺度和多个时间尺度的单调抛物PDE，运用H-收敛与多尺度收敛技术，发展了一套均质化理论。在尺度充分分离的条件下，严格建立了解与通量的收敛性，识别出四种不同的均质化渐近 regime：慢时间振荡、慢共振振荡、快时间振荡与快共振振荡。每种 regime 均由独特的局部细胞问题控制，且均质化问题的解与通量的收敛性得到严格证明。

ABSTRACT

In this paper we homogenise monotone parabolic problems with two spatial scales and finitely many temporal scales. Under a certain well-separatedness assumption on the spatial and temporal scales as explained in the paper, we show that there is an H-limit defined by at most four distinct sets of local problems corresponding to slow temporal oscillations, slow resonant spatial and temporal oscillations (the "slow" self-similar case), rapid temporal oscillations, and rapid resonant spatial and temporal oscillations (the "rapid" self-similar case), respectively.

研究动机与目标

• 将均质化理论扩展至具有多个时间尺度和两个空间尺度的单调抛物问题。
• 在空间与时间尺度充分分离的条件下，刻画通量的均质化极限。
• 基于尺度参数衰减速率的相对差异，识别出不同的渐近 regime。
• 利用H-收敛与多尺度收敛技术，严格建立解与通量的收敛性。
• 为每种 regime 推导均质化问题及其相关局部细胞问题的显式形式。

提出的方法

• 采用H-收敛与多尺度收敛技术，分析具有快速振荡系数的抛物PDE序列。
• 引入尺度函数 ε, ε₁′, ..., εₘ′ 的充分分离条件，以区分不同的渐近 regime。
• 利用两尺度与多尺度收敛技术，捕捉空间方向（y）及多个时间尺度（s₁, ..., sₘ）的振荡行为。
• 通过在局部变量 y 与 s₁, ..., sₘ 上对原始通量 a 和校正函数 u₁ 进行积分，定义均质化通量 b。
• 通过求解依赖于尺度 regime 的局部问题（椭圆型、抛物型或混合型系统）来确定校正函数 u₁。
• 应用Sobolev空间中的弱收敛结果，证明 uε 在 L²(ΩT) 中强收敛于 u，且 ∇uε 在 L²(0,T;H₀¹(Ω)) 中弱收敛。

实验结果

研究问题

• RQ1 多个时间尺度的存在如何影响具有两个空间尺度的单调抛物PDE的均质化？
• RQ2 不同尺度参数衰减速率的相对差异会产生哪些不同的渐近 regime？
• RQ3 这些 regime 中的局部细胞问题有何差异？校正函数 u₁ 由何种方程控制？
• RQ4 在何种尺度分离条件下，H-极限存在且具有明确定义的形式？
• RQ5 均质化通量能否表示为对局部变量的积分？其形式如何依赖于空间与时间振荡的共振或非共振特性？

主要发现

• 解序列 uε 的均质化极限 u 在 L²(ΩT) 中强收敛，在 L²(0,T;H₀¹(Ω)) 中弱收敛。
• 梯度序列 ∇uε 以 (2,m+1)-范数意义收敛于 ∇u + ∇y u₁，其中 u₁ 为多尺度展开中的校正函数。
• 均质化通量 b 的表达式为 b(x,t;∇u) = ∫_{Y₁ₘ} a(x,t,y,sₘ;∇u + ∇y u₁) dy dsₘ，其中 u₁ 满足依赖于尺度 regime 的局部问题。
• 识别出四种不同的 regime：(i) 慢时间振荡，(ii) 慢共振空间-时间振荡，(iii) 快时间振荡，(iv) 快共振振荡，每种 regime 均有其独特的局部问题系统。
• 对于慢共振情形（ii），局部问题包含时间导数项，并在快速时间尺度上满足零均值条件。
• 对于快共振情形（iv），校正函数 u₁ 满足一个时间导数为零的系统，并由具有平均通量约束的抛物型方程控制。