[论文解读] Space-time homogenization problems for porous medium equations with nonnegative initial data

Goro Akagi, Tomoyuki Oka|arXiv (Cornell University)|Nov 10, 2021

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

一句话总结

本文建立了具有非负初值的多孔介质方程的空间-时间均质化，通过周期元问题刻画了均质化扩散矩阵。通过发展局部一致的梯度估计，克服了以往对非线性程度的限制，证明了均质化通量为 $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $，其中当 $ r \neq 2 $ 时 $ a_{\text{hom}} $ 为常数，当 $ r = 2 $ 时依赖于 $ (x,t) $，并通过 $ y $ 和 $ s $ 变量中的周期元问题给出了显式刻画。

ABSTRACT

This paper concerns a space-time homogenization limit of nonnegative weak solutions to porous medium equations. In particular, the so-called homogenized matrix will be characterized in terms of solutions to cell problems, which drastically vary in a scaling parameter $r > 0$. A similar problem has already been studied in [1], where the growth of the power nonlinearity is strictly restricted due to some substantial obstacles. In the present paper, such obstacles will be overcome by developing local uniform estimates for the gradients of nonnegative weak solutions.

研究动机与目标

• 填补多孔介质方程在非负初值下空间-时间均质化研究中的空白，特别是当幂次非线性增长无限制时。
• 克服以往工作中由于弱解中缺乏梯度控制而导致的 $ m $ 范围受限的重大障碍。
• 通过空间与时间变量中的周期元问题解，刻画均质化扩散矩阵 $ a_{\text{hom}} $。
• 建立均质化通量为 $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $，其中 $ a_{\text{hom}} $ 依赖于尺度参数 $ r $，并区分 $ r < 2 $、$ r = 2 $ 和 $ r > 2 $ 三种情形。
• 为非负弱解提供严格的双尺度收敛框架，确保在初始数据可积性假设最小的条件下，$ u_\varepsilon^m $ 和通量的收敛性。

提出的方法

• 为多孔介质方程的非负弱解的梯度发展局部一致估计，从而在 $ \varepsilon \to 0 $ 极限下实现控制。
• 应用双尺度收敛技术分析 $ u_\varepsilon^m $ 和通量 $ a(\cdot/\varepsilon, \cdot/\varepsilon^r) \nabla u_\varepsilon^m $ 的极限，识别出极限解 $ u $ 和校正项 $ z $。
• 在 $ L^2(\Omega \times (0,T) \times \square \times (0,1)) $ 中使用弱双尺度收敛的概念，以推导出具有通量 $ j_{\text{hom}} $ 的均质化方程。
• 通过周期元问题的解刻画 $ a_{\text{hom}} $：当 $ r < 2 $ 时，$ a_{\text{hom}} e_k = \int_0^1 \int_\square a(y,s) [\nabla_y \Phi_k(y,s) + e_k] \, dy \, ds $，其中 $ \Phi_k $ 满足一个线性椭圆问题。
• 当 $ r = 2 $ 时，推导出依赖于时间的校正项 $ \Psi_k $，其满足一个抛物型元问题，从而导致 $ a_{\text{hom}}(x,t) $ 依赖于 $ (x,t) $，且 $ \Phi_k = m u^{m-1} \Psi_k $。
• 当 $ r > 2 $ 时，证明校正项 $ z $ 与快时间变量 $ s $ 无关，使元问题退化为关于 $ y $ 的时间无关椭圆方程，从而得到常数 $ a_{\text{hom}} $。

实验结果

研究问题

• RQ1 当尺度参数 $ r $ 变化时，具有非负初值的多孔介质方程的均质化扩散矩阵 $ a_{\text{hom}} $ 的结构是什么？
• RQ2 如何建立非负弱解的均匀梯度估计，以克服以往多孔介质方程均质化结果中因梯度控制不足带来的限制？
• RQ3 由于 $ a_{\text{hom}} $ 对尺度参数 $ r $ 的依赖性，特别是区分 $ r < 2 $、$ r = 2 $ 和 $ r > 2 $ 时，如何影响均质化通量？
• RQ4 均质化通量 $ j_{\text{hom}} $ 如何与解 $ u $ 和校正项 $ z $ 相关联？是否可以表示为 $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $？
• RQ5 初始数据的可积性（例如当 $ m=3 $ 时 $ \log u_0 \in L^1_{\text{loc}} $）在确保均质化极限有效性方面起什么作用？

主要发现

• 均质化通量为 $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $，其中当 $ r \neq 2 $ 时 $ a_{\text{hom}} $ 为常数矩阵，当 $ r = 2 $ 时依赖于 $ (x,t) $，解决了空间-时间均质化中的一个关键结构性问题。
• 当 $ 0 < r < 2 $ 时，均质化矩阵 $ a_{\text{hom}} $ 的刻画为 $ a_{\text{hom}} e_k = \int_0^1 \int_\square a(y,s) [\nabla_y \Phi_k(y,s) + e_k] \, dy \, ds $，其中 $ \Phi_k $ 满足一个周期性椭圆元问题。
• 当 $ r = 2 $ 时，$ a_{\text{hom}}(x,t) $ 依赖于 $ (x,t) $，并通过涉及 $ \Psi_k $ 的抛物型元问题确定，且 $ \Phi_k = m u^{m-1} \Psi_k $，校正项 $ w $ 同时依赖于 $ y $ 和 $ s $。
• 当 $ r > 2 $ 时，校正项 $ z $ 与快时间变量 $ s $ 无关，且 $ a_{\text{hom}} $ 为常数，元问题退化为关于 $ y $ 的时间无关椭圆方程。
• 建立了非负弱解的局部一致梯度估计作为关键技术工具，使得均质化结果可推广至以往受限的 $ m $ 范围之外。
• 收敛结果在最小假设下成立：$ u_0 \in L^{m+1}(\Omega) $，$ u_0 \geq 0 $，且当 $ m=3 $ 或 $ m>3 $ 时需额外的局部可积性，以确保均质化极限的有效性。