[论文解读] Non-Autonomous Maximal Regularity in Hilbert Spaces

Dominik Dier, Rico Zacher|arXiv (Cornell University)|Jan 20, 2016

Nonlinear Partial Differential Equations参考文献 16被引用 4

一句话总结

本文通过在时间依赖算子族上施加分数阶 Sobolev 正则性条件，建立了希尔伯特空间中演化方程的非自治最大正则性。证明表明，若算子族属于齐次分数阶 Sobolev 空间 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$（其中 $\delta>0$），则解实现 $H$-最大正则性，其迹空间为 $D(A(0)^{1/2})$，显著弱化了以往对 Hölder 连续性或有界变差性的假设。

ABSTRACT

We consider non-autonomous evolutionary problems of the form $u'(t)+A(t)u(t)=f(t)$, $u(0)=u_0,$ on $L^2([0,T];H)$, where $H$ is a Hilbert space. We do not assume that the domain of the operator $A(t)$ is constant in time $t$, but that $A(t)$ is associated with a sesquilinear form $a(t)$. Under sufficient time regularity of the forms $a(t)$ we prove well-posedness with maximal regularity in $L^2([0,T];H)$. Our regularity assumption is significantly weaker than those from previous results inasmuch as we only require a fractional Sobolev regularity with arbitrary small Sobolev index.

研究动机与目标

• 在算子族不具有常数定义域或光滑性时，建立希尔伯特空间中非自治演化方程的 $H$-最大正则性。
• 将时间依赖形式 $\mathfrak{a}(t)$ 的正则性假设弱化至超越以往 Hölder 连续性或有界变差性条件的范围。
• 证明即使正则性指数 $\delta>0$ 极小，分数阶 Sobolev 正则性亦足以在 $L^2(I;H)$ 中实现最大正则性。
• 在该正则性条件下，将解的迹空间表征为 $D(A(0)^{1/2})$，与自治情形一致。

提出的方法

• 作者通过希尔伯特三元组 $V \hookrightarrow H \hookrightarrow V'$ 上的时间依赖共轭双线性型 $\mathfrak{a}(t)$ 建模非自治问题。
• 通过 $\mathcal{A}(t)v = \mathfrak{a}(t,v,\cdot)$ 定义关联算子族 $A(t)$，其定义域为 $D(A(t)) = \{v \in V : \mathcal{A}(t)v \in H\}$。
• 方法上的关键创新在于使用齐次分数阶 Sobolev 空间 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 来量化 $\mathcal{A}(\cdot)$ 的时间正则性，要求 $\int_I \int_I \frac{\|\mathcal{A}(t)-\mathcal{A}(s)\|_{\mathcal{L}(V,V')}}{|t-s|^{2+2\delta}} \, dt \, ds < \infty$（其中 $\delta > 0$）。
• 他们采用 $V'$ 中的最大正则性理论，并通过嵌入与迹论证推导出 $H$-正则性，利用分数阶 Sobolev 嵌入 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V')) \hookrightarrow C(I;\mathcal{L}(V,V'))$。
• 证明依赖于先验估计与对偶性，利用分数阶导数的范数刻画：$\|\partial^\alpha u\|_{L^2_H}^2 \sim \int_{\mathbb{R}} \int_{\mathbb{R}} \frac{\|u(t)-u(s)\|^2_H}{|t-s|^{1+2\alpha}} \, dt \, ds$（其中 $\alpha = 1/2 + \delta$）。

实验结果

研究问题

• RQ1 当 $\mathcal{A}(\cdot)$ 的正则性假设严格弱于 Hölder 连续性（指数 $\alpha > 1/2$）时，是否仍可建立 $H$-最大正则性？
• RQ2 在非对称情形下，分数阶 Sobolev 正则性指数为 $1/2 + \delta$（$\delta > 0$）是否足以确保非自治情形下的 $H$-最大正则性？
• RQ3 当 $A(t)$ 的时间依赖性属于 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 时，解的最优迹空间是什么？
• RQ4 能否通过分数阶 Sobolev 正则性弥合 Hölder 条件（$\alpha > 1/2$）与有界变差假设之间的差距？

主要发现

• 若 $\mathcal{A}(\cdot) \in \mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$（$\delta > 0$），则非自治问题 $u' + A(t)u = f$，$u(0) = 0$ 在 $L^2(I;H)$ 中具有 $H$-最大正则性。
• 即使在非自治时间依赖下，解的迹空间仍为 $D(A(0)^{1/2})$，与自治情形一致。
• 解空间 $\text{MR}$ 连续嵌入 $H^{1/2}(I;V)$，表明其正则性优于 $L^2(I;V)$。
• 该结果推广了以往在 Hölder 或有界变差假设下的结果，因为 $\mathring{W}^{1/2+\delta,2}(I;\mathcal{L}(V,V'))$ 严格包含 $C^{1/2+\delta}(I;\mathcal{L}(V,V'))$，且弱于有界变差条件。
• 该方法适用于非对称形式，解决了文献中此前仅在对称形式下可获得此类结果的空白。
• 分数阶 Sobolev 条件允许连续嵌入至 $C(I;\mathcal{L}(V,V'))$，从而支持 $\mathcal{A}(t)$ 的逐点解释。