[论文解读] A sufficient integral condition for local regularity of solutions to the surface growth model

Wojciech S. Ożański|arXiv (Cornell University)|Mar 23, 2018

Navier-Stokes equation solutions参考文献 25被引用 10

一句话总结

该论文为一维表面生长模型（ut + uxxxx + ∂xxu²x = 0）的弱解的局部光滑性建立了充分的积分条件。通过证明当 ux ∈ Lq′,q(Q) 且满足 1/q + 4/q′ ≤ 1 时，解在空间和时间上均为 C∞ 光滑，该研究将 Serrin 型正则性准则推广至四阶抛物方程，其结果与三维 Navier–Stokes 方程的结论相呼应，并表明奇异集的定义是最优的。

ABSTRACT

The surface growth model, $u_t + u_{xxxx} + \partial_{xx} u_x^2 =0$, is a one-dimensional fourth order equation, which shares a number of striking similarities with the three-dimensional incompressible Navier--Stokes equations, including the results regarding existence and uniqueness of solutions and the partial regularity theory. Here we show that a weak solution of this equation is smooth on a space-time cylinder $Q$ if the Serrin condition $u_x\in L^{q'}L^q (Q)$ is satisfied, where $q,q'\in [1,\infty ]$ are such that either $1/q+4/q'<1$ or $1/q+4/q'=1$, $q'<\infty$.

研究动机与目标

• 为表面生长模型弱解的局部光滑性建立充分的积分条件。
• 将 Serrin 型正则性准则从三维 Navier–Stokes 方程推广至该四阶偏微分方程。
• 通过证明 Serrin 条件蕴含完全的 C∞ 光滑性，澄清基于 Hölder 连续性定义的奇异集是否最优。
• 展示为何对 ux 而非 u 的条件是自然的，这与方程中非线性项 ∂xxu²x 的结构密切相关。
• 通过证明 Serrin 条件蕴含光滑性而非仅 Hölder 连续性，弥合部分正则性结果与完全正则性之间的鸿沟。

提出的方法

• 利用双调和热核从表面生长方程导出 ux 的表示公式。
• 应用分数阶 Sobolev 空间与抛物型 Poincar\'e 型不等式，逐步控制高阶导数。
• 基于算子 ∂t − ∂xxxx 在 Lp 空间中像的稠密性，应用双调和热方程的唯一性定理。
• 将 Takahashi（1990）的方法适配至一维四阶情形，采用光滑化与能量估计。
• 运用 Young 不等式与 Hölder 不等式控制 Lorentz 空间 Lq′,q 中的范数。
• 采用 bootstrap 递推方法：首先通过扩展的抛物型 Poincar\'e 不等式证明 Hölder 连续性，再通过导数估计获得完全的 C∞ 光滑性。

实验结果

研究问题

• RQ1 Serrin 型条件 ux ∈ Lq′,q(Q) 且满足 1/q + 4/q′ ≤ 1 是否意味着表面生长模型弱解的 C∞ 光滑性？
• RQ2 O\'za{\i}nski & Robinson（2017）的局部正则性结果（在 ux 的 L3 范数条件下给出 Hölder 连续性）能否在类似 Lq′,q 条件下强化为完全光滑性？
• RQ3 若 Serrin 条件蕴含 C∞ 光滑性，则基于 u 在任意邻域内不满足 Hölder 连续性的奇异集 S 的定义是否最优？
• RQ4 为何条件以 ux 而非 u 表达？这与非线性项 ∂xxu²x 的结构有何关联？
• RQ5 端点情形 q=1, q′=∞ 的作用是什么？为何当前分析中将其排除，尽管其在 Navier–Stokes 情形中具有重要意义？

主要发现

• 若 ux ∈ Lq′,q(Q) 且满足 1/q + 4/q′ < 1，则表面生长模型的弱解在任意柱形区域 Q 上均为空间与时间上的 C∞ 光滑。
• 在临界情形 1/q + 4/q′ = 1 且 q′ < ∞ 时，相同条件仍蕴含 C∞ 光滑性，从而将次临界结果推广至临界情况。
• 条件 1/q + 4/q′ ≤ 1 仅排除了端点情形 q=1, q′=∞，该情形仍为开放问题，但推测其仍蕴含正则性。
• 证明依赖于分数阶 Sobolev 空间在逐步获得导数方面的创新应用，避免了对完整 L∞ 估计的需求。
• 结果确认了基于 Hölder 连续性失败定义的奇异集 S 是最优的，因为 Serrin 条件蕴含完全的 C∞ 光滑性。
• 分析表明，对于表面生长模型，Serrin 条件不仅导致空间光滑性，还导致时间光滑性，这与 Navier–Stokes 情形中仅获得空间光滑性的情况不同。