[论文解读] $L^2$ well-posedness of boundary value problems for parabolic systems with measurable coefficients

Pascal Auscher, Moritz Egert+1 more|arXiv (Cornell University)|Jul 21, 2016

Advanced Mathematical Modeling in Engineering参考文献 47被引用 24

一句话总结

该论文通过引入基于边界抛物型狄拉克算子的新型一阶策略，建立了在上半空间中具有可测、时间依赖系数的二阶抛物型系统边界值问题的$L^2$适定性。关键贡献在于在最小正则性假设下证明了平方函数估计、非切向极大函数控制以及层势的可逆性，从而解决了此类具有所有变量可测系数的抛物型算子的卡托平方根问题。

ABSTRACT

Compared to v1, 15 more pages with thorough reorganisation of some proofs and additional new uniqueness results, role of the signum operator and connections to layer potentials. New title.

研究动机与目标

• 建立在所有变量（包括时间）上依赖于可测系数的二阶抛物型系统在Dirichlet、Neumann和正则性问题中的$L^2$适定性。
• 将此前仅用于椭圆系统的首次阶策略扩展至抛物型情形，克服了非局部半阶时间导数带来的挑战。
• 解决具有所有变量可测系数的抛物型卡托平方根问题，证明算子平方根的定义域与形式域一致。
• 建立基于可测系数的层势理论，并在以$L^2$为基础的索伯列夫空间中证明其可逆性。
• 推广此前要求系数与时间无关的结果，从而消除了抛物型边界值问题可解性理论中的主要限制。

提出的方法

• 在边界引入抛物型狄拉克算子，以建模与二阶抛物型算子相关的首次阶系统。
• 通过首次阶约化将抛物型系统转化为柯西-黎曼型方程组形式的边界值问题。
• 利用$T(b)$-定理和卡托猜想的解，建立扰动抛物型狄拉克算子的预解估计与二次型估计。
• 通过平方函数控制与对偶性论证，证明反向霍尔德不等式与非切向极大函数估计。
• 应用算子$PM$的有界解析函数演算，推导出平方函数估计并证明层势的可逆性。
• 通过分数阶索伯列夫空间与抛物型双重结构的细致分析，处理半阶时间导数的非局部性。

实验结果

研究问题

• RQ1 能否在不假设时间独立性的前提下，为依赖于所有变量（包括时间）的可测系数抛物型系统建立$L^2$适定性？
• RQ2 基于抛物型狄拉克算子的一阶策略能否被调整以处理由可测时间依赖性引起的非局部半阶时间导数？
• RQ3 对于所有变量（包括时间）具有可测系数的算子，抛物型卡托平方根问题是否可解？
• RQ4 在系数正则性假设最小的前提下，能否证明抛物型系统的层势在以$L^2$为基础的索伯列夫空间中可逆？
• RQ5 针对此类系统，表征自然函数空间中解的精确平方函数估计与非切向极大函数估计是什么？

主要发现

• 该论文首次证明了在上半空间中，依赖于所有变量（包括时间）的可测系数抛物型系统在$L^2$适定性方面的正面结果。
• 证明了抛物型算子平方根的定义域与形式域一致，从而解决了所有变量具有可测系数的抛物型卡托平方根问题。
• 在自然函数空间中证明了平方函数估计与非切向极大函数估计，包括涉及非切向极大函数与平方函数的估计。
• 在以$L^2$为基础的索伯列夫空间中建立了单层与双层势的可逆性，从而能够求解Dirichlet、Neumann与正则性问题。
• 算子$PM$的有界解析函数演算被推广至$p=2$附近的$L^p$空间，通过先验控制推导出平方函数估计。
• 该理论被扩展至柱形区域与带权退化抛物方程，暗示了通往加权$L^p$估计与进一步推广的路径。