[论文解读] Evolution families and maximal regularity for systems of parabolic equations

Chiara Gallarati, Mark Veraar|arXiv (Cornell University)|Oct 26, 2015

Stability and Controllability of Differential Equations被引用 15

一句话总结

该论文通过算子理论方法和加权 $L^q$-空间上演化族的构造，为具有时间依赖、可测系数且在空间上连续的抛物型PDE系统建立了最优 $L^p$-正则性。关键贡献在于，对非自治系统和初值问题均建立了最优正则性估计，适用于所有 $p,q\in(1,\infty)$，在 $A_p$-权条件下，且估计常数对权的 $A_p$-特征具有最优依赖性。

ABSTRACT

In this paper we prove maximal $L^p$-regularity for a system of parabolic PDEs, where the elliptic operator $A$ has coefficients which depend on time in a measurable way and are continuous in the space variable. The proof is based on operator-theoretic methods and one of the main ingredients in the proof is the construction of an evolution family on weighted $L^q$-spaces.

研究动机与目标

• 为具有时间依赖系数、时间可测且空间连续的抛物型PDE系统建立最优 $L^p$-正则性。
• 将文献[16]的算子理论框架扩展至方程组，克服因矩阵系数导致的符号公式不显式的问题。
• 利用傅里叶乘子理论与隐函数定理，在 $x$-无关系数下于加权 $L^q$-空间上构造演化族 $S(t,s)$。
• 为非初值问题与初值问题推导最优正则性估计，包括对权的 $A_p$-特征的精确依赖关系。
• 为未来在有界区域上PDE及非线性问题的推广奠定基础，方法基于幂权时间空间。

提出的方法

• 作者基于 $\mathcal{R}$-有界性与傅里叶乘子理论的算子理论方法，建立最优正则性。
• 通过将算子符号表征为常微分方程组的解，为 $x$-无关系数构造了由 $A(t)$ 生成的演化族 $S(t,s)$。
• 利用隐函数定理估计符号，从而实现预解族的 $\mathcal{R}$-有界性。
• 证明依赖于带 $A_p$-权的加权 $L^q$-空间，以处理时间依赖系数并确保相关傅里叶乘子算子的有界性。
• 通过局部化与外推技术，将结果从 $x$-无关系数推广至一般 $x$-依赖系数。
• 初值问题通过变换 $v(t,\cdot) = e^{-\lambda t}u(t,\cdot)$ 处理，将其转化为带平移算子 $\lambda + A(t)$ 的最优正则性问题。

实验结果

研究问题

• RQ1 能否在不假设时间连续性的前提下，为时间依赖、时间可测且空间连续的抛物型PDE系统组建立最优 $L^p$-正则性？
• RQ2 当系数为时间依赖且矩阵值，且符号不显式已知时，如何在加权 $L^q$-空间上构造演化族？
• RQ3 在确保此类系统最优正则性估计方面，$A_p$-权起什么作用？$A_p$-特征如何影响估计中的常数？
• RQ4 文献[16]中的算子理论方法能否推广至系统（$N>1$）并应用于一般 $p,q\in(1,\infty)$ 的非散度型方程？
• RQ5 如何将最优正则性结果适配至时间幂权 $v_\gamma(t) = t^\gamma$ 的初值问题？初始数据的对应迹空间是什么？

主要发现

• 在Legendre-Hadamard椭圆性条件下，对所有 $p,q\in(1,\infty)$，具有时间依赖、时间可测且空间连续系数的抛物型PDE系统组均满足最优 $L^p$-正则性。
• 通过傅里叶乘子理论与隐函数定理，为 $x$-无关系数在加权 $L^q$-空间上构造了演化族 $S(t,s)$，并估计了算子符号。
• 非初值问题的最优正则性估计常数为 $A_p$-$A_q$-一致，即其对权的 $A_p$-特征具有连续依赖性。
• 对于时间区间 $(0,T)$ 上的初值问题，若采用幂权 $v_\gamma(t) = t^\gamma$，则存在唯一强解 $u \in W^{1,p}(0,T,v_\gamma;X_0)\cap L^p(0,T,v_\gamma;X_1)\cap C([0,T];B^s_{q,p}(\mathbb{R}^d,w))$，其中 $s = 2m(1 - \frac{1+\gamma}{p})$，且解的范数被数据在 $L^p(0,T,v_\gamma;X_0)$ 中的范数与初始数据在 $B^s_{q,p}(\mathbb{R}^d,w)$ 中的范数控制。
• 实插值空间 $(X_0,X_1)_{1-\frac{1+\gamma}{p},p}$ 被识别为 $B^s_{q,p}(\mathbb{R}^d,w)$，这表征了允许的初始数据类。
• 结果在外推与局部化下具有鲁棒性，可推广至一般 $x$-依赖系数，并适用于更广初始数据类的非线性PDE。