[论文解读] Oscillating waves and optimal smoothing effect for one-dimensional nonlinear scalar conservation laws

Pierre Castelli, Stéphane Junca|arXiv (Cornell University)|Feb 6, 2013

Navier-Stokes equation solutions参考文献 3被引用 5

一句话总结

本文构建了一维非线性标量守恒律的光滑振荡解，其正则性达到Lions-Perthame-Tadmor猜想所预测的最优水平。通过使用超临界几何光学以及一种新型的具有可控Hölder型振荡的初始数据构造方法，证明了熵解可达到精确的 $ W^{s,1}_{\text{loc}} $ 正则性，其中 $ s < \alpha $，且 $ \alpha = 1/d $，并表明该界是紧的——对于具有退化度 $ d $ 的一般非线性通量，不可能存在更高正则性。该结果证实了在分数阶BV空间中所猜想的平滑效应的紧致性。

ABSTRACT

Lions, Perthame, Tadmor conjectured in 1994 an optimal smoothing effect for entropy solutions of nonlinear scalar conservations laws . In this short paper we will restrict our attention to the simpler one-dimensional case. First, supercritical geometric optics lead to sequences of $C^\infty$ solutions uniformly bounded in the Sobolev space conjectured. Second we give continuous solutions which belong exactly to the suitable Sobolev space. In order to do so we give two new definitions of nonlinear flux and we introduce fractional $BV$ spaces.

研究动机与目标

• 研究Lions-Perthame-Tadmor关于标量守恒律熵解最优平滑效应的猜想之紧致性。
• 构造显式 $ C^\infty $ 解，使其在Sobolev空间 $ W^{s,1}_{\text{loc}} $ 中一致有界，其中 $ s < \alpha $，且 $ \alpha $ 为退化参数。
• 通过构造不属于 $ W^{s+\eta,1}_{\text{loc}} $ 的解，证明对于一般非线性通量，不可能期望比 $ W^{s,1}_{\text{loc}} $ 更高的正则性，其中 $ \eta > 0 $。
• 引入并应用分数阶 $ BV $ 空间，以刻画熵解正则性的紧致阈值。

提出的方法

• 使用具有可控Hölder型行为的 $ C^\infty $ 周期函数 $ g(y) $ 构造高频、小振幅的振荡初始数据，特别地 $ g(y) = y^b \cos(\pi / y^c) $，其中 $ b d = 1 + c $。
• 通过WKB型展开应用超临界几何光学，推导出在 $ s = 1/d $ 时保持在 $ W^{s,1}_{\text{loc}} $ 中一致有界的近似解。
• 利用特征线法显式定义解 $ u(t,x) $，基于初始数据和通量导数 $ a(u) = f'(u) $，确保连续性与局部正则性。
• 利用在退化点 $ \underline{u} $ 附近 $ a(u) $ 的泰勒展开，其中 $ f^{(k)}(\underline{u}) = 0 $ 对所有 $ k \leq d $ 成立，因此 $ a(u) \sim (u - \underline{u})^d $，以控制解的等值集的正则性。
• 定义变量变换 $ \theta_t(y) = y + t a(\underline{u} + \delta g(y)) $，证明当 $ \delta $ 和 $ t < T_\delta $ 足够小时，$ \theta_t $ 是 $ C^1 $ 微分同胚，从而保持正则性结构。
• 通过分析逆映射的Hölder性质与 $ g(y) $ 的振荡性，证明解 $ u(t, \cdot) $ 属于 $ BV^s(\mathbb{R}) $，但不属于 $ BV^{s+\eta}(\mathbb{R}) $，其中 $ \eta > 0 $。

实验结果

研究问题

• RQ1 对于具有广义非线性通量的一维标量守恒律，所猜想的最优平滑效应 $ u(t, \cdot) \in W^{s,1}_{\text{loc}} $（$ s < \alpha $）是否可在熵解中实现？
• RQ2 正则性阈值 $ s = \alpha $ 是否为紧的？对于某些通量，是否可能期望更高正则性？
• RQ3 对于具有退化度 $ d $ 的通量，通过初始数据中的高频振荡构造的解的精确正则性是什么？
• RQ4 分数阶 $ BV $ 空间与退化参数 $ d $ 如何与熵解的正则性相关联？
• RQ5 能否构造显式 $ C^\infty $ 解，使其在 $ W^{s,1}_{\text{loc}} $ 中一致有界，但对任意 $ \eta > 0 $ 均不属于 $ W^{s+\eta,1}_{\text{loc}} $？

主要发现

• 本文构造了一列 $ C^\infty $ 解，其在 $ W^{s,1}_{\text{loc}} $ 中一致有界，其中 $ s < \alpha $，且 $ \alpha = 1/d $，$ d $ 为通量的退化度，从而确认了所猜想的正则性界。
• 对任意 $ \eta > 0 $，存在一个解属于 $ BV^s(\mathbb{R}) $ 但不属于 $ BV^{s+\eta}(\mathbb{R}) $，证明正则性阈值 $ s = \alpha $ 是紧的。
• 所构造的解是连续的，并对所有 $ t > 0 $ 满足经典意义下的守恒律，表明该正则性并非仅限于弱解或熵解层面的性质。
• 该方法证实，对于 $ C^\infty $ 通量，Lions-Perthame-Tadmor猜想关于最优平滑效应的紧致性成立，因为无法统一期望更高正则性。
• 该构造依赖于具有退化度 $ d $ 的通量，对于此类通量，最优正则性为 $ W^{s,1}_{\text{loc}} $，其中 $ s = 1/d $，且该界无法改进。
• 通过选择幂律通量 $ f(u) = |u|^{1+p} $，其中 $ p = 1/s $，该结果对所有 $ s \in (0,1] $ 成立，并构造了匹配所需Hölder指数的初始数据振荡。