[论文解读] Lions' maximal regularity problem with H 1/ 2 -regularity in time

Mahdi Achache, El Maati Ouhabaz|arXiv (Cornell University)|Sep 13, 2017

Advanced Mathematical Physics Problems参考文献 16被引用 5

一句话总结

本文通过建立时间上的 $ H^{1/2} $-正则性为希尔伯特空间 $ \mathcal{H} $ 中 $ L^2 $-最大正则性的最优条件，解决了 J.L. Lions 关于非自治演化方程的最大正则性问题。作者证明，若时间依赖的对称双线性型为分段 $ H^{1/2} $-正则，则柯西问题在 $ H^1(0,\tau;\mathcal{H}) \cap L^2(0,\tau;\mathcal{V}) $ 中存在唯一解，且在最小假设下实现了当前最先进的结果。

ABSTRACT

We consider the problem of maximal regularity for non-autonomous Cauchy problems u ' (t) + A(t) u(t) = f (t), t $\\in$ (0, $\ au$ ] u(0) = u 0. The time dependent operators A(t) are associated with (time dependent) sesquilinear forms on a Hilbert space H. We are interested in J.L. Lions's problem concerning maximal regularity of such equations. We give a positive answer to this problem under minimal regularity assumptions on the forms. Our main assumption is that the forms are piecewise H 1 2 with respect to the variable t. This regularity assumption is optimal and our results are the most general ones on this problem.

研究动机与目标

• 解决 J.L. Lions 在希尔伯特空间 $ \mathcal{H} $ 中关于非自治演化方程最大正则性的开放问题。
• 确定确保 $ \mathcal{H} $ 中 $ L^2 $-最大正则性的时间依赖双线性型的最小正则性条件。
• 确立时间上的 $ H^{1/2} $-正则性为最优条件，填补了该理论中长期存在的空白。
• 将最大正则性结果扩展至具有时间依赖系数和边界条件的椭圆算子，包括罗宾型及低阶项。

提出的方法

• 作者通过希尔伯特空间 $ \mathcal{H} $ 上具有稠密定义域 $ \mathcal{V} \hookrightarrow \mathcal{H} \hookrightarrow \mathcal{V}' $ 的时间依赖双线性型 $ \mathfrak{a}(t; \cdot, \cdot) $ 分析非自治柯西问题。
• 他们施加标准假设：形式定义域恒定（H1）、一致有界性（H2）和一致拟强制性（H3）。
• 关键创新在于假设形式在时间上为分段 $ H^{1/2} $-正则，即对所有 $ u,v \in \mathcal{V} $，有 $ t \mapsto \mathfrak{a}(t; u, v) \in H^{1/2}(0,\tau) $。
• 他们应用基于分数阶索伯列夫空间和对偶论证的新型最大正则性框架，推导出 $ H^1(0,\tau;\mathcal{H}) \cap L^2(0,\tau;\mathcal{V}) $ 中的先验估计。
• 该结果被应用于散度型椭圆算子和罗宾型边界条件，验证了系数满足 $ H^{1/2} $-正则性条件。
• 证明依赖于插值理论、迹定理以及一致 Kato 平方根性质，以控制相关算子的正则性。

实验结果

研究问题

• RQ1 时间上的 $ H^{1/2} $-正则性是否是非自治演化方程在 $ \mathcal{H} $ 中 $ L^2 $-最大正则性的最小可能条件？
• RQ2 是否可以在不假设形式具有 $ C^1 $、$ C^\alpha $ 或有界变差正则性的情况下实现 $ \mathcal{H} $ 中的最大正则性？
• RQ3 当时间依赖的椭圆算子具有罗宾或狄利克雷边界条件时，$ H^{1/2} $-正则性条件是否足以保证最大正则性？
• RQ4 $ H^{1/2} $-正则性假设是否最优，或可进一步弱化？
• RQ5 与已知的正则性假设（如 $ W^{1/2,p} $ 或 $ C^{\alpha} $）相比，$ H^{1/2} $-正则性条件在强度和适用性方面如何？

主要发现

• 本文确立了时间上的 $ H^{1/2} $-正则性为 $ \mathcal{H} $ 中 $ L^2 $-最大正则性的最优正则性条件，解决了 J.L. Lions 长期提出的开放问题。
• 对每个 $ f \in L^2(0,\tau;\mathcal{H}) $ 和 $ u_0 \in \mathcal{H} $，存在唯一解 $ u \in H^1(0,\tau;\mathcal{H}) \cap L^2(0,\tau;\mathcal{V}) $ 满足非自治柯西问题。
• 该结果在最小假设下成立：形式定义域恒定、一致有界性、一致拟强制性，唯一额外要求是形式在时间上的 $ H^{1/2} $-正则性。
• 作者证明了当系数满足 BMO-$ H^{1/2} $ 条件时，$ \mathbb{R}^n $ 上散度型椭圆算子具有最大 $ L^2 $-正则性，恢复并扩展了先前结果。
• 对于罗宾型边界条件，若边界系数 $ \beta(t,\cdot) $ 满足 $ \|\beta(t,\cdot) - \beta(s,\cdot)\|_{L^\infty(\partial\Omega)} \leq c|t-s|^\alpha $（某 $ \alpha > 1/4 $），则形式的 $ H^{1/2} $-正则性成立。
• 该方法适用于含低阶项的算子，即使系数 $ b_k(t,x) $ 和 $ m(t,x) $ 仅在时间上可测且无任何正则性要求，展示了 $ H^{1/2} $-框架的鲁棒性。