[论文解读] Invariant manifolds for the porous medium equation

Christian Seis|arXiv (Cornell University)|May 25, 2015

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

一句话总结

本文通过非线性变量变换和外摆线度量，恢复抛物性并实现初始数据的可微依赖性，建立了在 $ N$ 中多孔介质方程解的相空间内有限维不变流形的存在性。关键结果是解以精确速率趋近这些流形，从而在慢扩散区（$m>1$）中可通过动力系统方法实现完整的高阶渐近展开。

ABSTRACT

In this paper, we investigate the speed of convergence and higher-order asymptotics of solutions to the porous medium equation posed in $\mathbf{R}^N$. Applying a nonlinear change of variables, we rewrite the equation as a diffusion on a fixed domain with quadratic nonlinearity. The degeneracy is cured by viewing the dynamics on a hypocycloidic manifold. It is in this framework that we can prove a differentiable dependency of solutions on the initial data, and thus, dynamical systems methods are applicable. Our main result is the construction of invariant manifolds in the phase space of solutions which are tangent at the origin to the eigenspaces of the linearized equation. We show how these invariant manifolds can be used to extract information on the higher-order long-time asymptotic expansions of solutions to the porous medium equation.

研究动机与目标

• 理解在 $ N$ 中多孔介质方程在 $m>1$ 条件下的长期渐近行为，特别是收敛速率和高阶修正项。
• 克服解的支撑集可变性带来的挑战，该问题在标准函数空间中会阻碍对初始数据的可微依赖性。
• 将此前仅用于有限维系统的动力系统技术，推广至多孔介质方程的无限维设定中。
• 通过不变流形理论，严格连接线性化方程的谱数据与非线性动力学。
• 为任意阶计算解的高阶渐近展开提供系统性框架。

提出的方法

• 应用非线性变量变换，将多孔介质方程重述于固定区域（单位球）上，使解位于紧致集上并具有恒定吸引子轮廓。
• 在单位球上引入外摆线度量，以恢复抛物性，并确保解对初始数据的解析依赖性。
• 利用围绕Barenblatt轮廓的线性化算子的谱分解，识别对应于相关衰减模式的特征子空间。
• 在变换后的坐标下，借助对初始数据的可微依赖性，构造在原点处与这些特征子空间相切的不变流形。
• 推导展开系数的演化方程，通过加权 $L^2$ 估计和分部积分控制非线性项。
• 通过分析扰动方程并利用非线性项的二次性质，建立展开系数的精确衰减速率估计。

实验结果

研究问题

• RQ1 是否可在多孔介质方程解的相空间中构造出捕捉长期动力学且具有精确收敛速率的不变流形？
• RQ2 在多孔介质方程存在支撑集可变性和退化性的情况下，如何实现对初始数据的可微依赖性？
• RQ3 通过不变流形理论，非线性动力学在多大程度上可约化为有限维常微分方程系统？
• RQ4 解趋近Barenblatt轮廓的精确收敛速率是多少？如何系统地计算高阶修正项？
• RQ5 线性化算子的谱性质与慢扩散区中非线性渐近行为之间有何关系？

主要发现

• 在多孔介质方程解的相空间中存在有限维不变流形，且在原点处与线性化算子的特征子空间相切。
• 解以由谱间隙决定的速率趋近这些不变流形，一阶模式的显式衰减速率为 $e^{-2( ho+1)t}$。
• 展开式中的仿射项与二次项分别以 $e^{-4( ho+1)t}$ 的速率衰减，证实其为高阶项。
• 对于重数为一的首个非平凡特征模式，其对应系数的衰减速率为 $e^{-(2( ho+1)+N)t}$，慢于一阶模式。
• 由于离散谱和对初始数据的解析依赖性，该方法可实现任意阶高阶渐近展开的计算。
• 不变流形框架使得可通过有限常微分方程组完整刻画长期行为，且能对非线性修正项实现显式控制。