[论文解读] On Lipschitz solutions for some forward-backward parabolic equations

Seonghak Kim, Baisheng Yan|arXiv (Cornell University)|Jun 18, 2015

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

一句话总结

本文通过将偏微分包含应用于Baire范畴法，证明了在非单调扩散通量下，前向-后向抛物方程存在无穷多Lipschitz解。关键贡献在于在满足密度条件时证明了此类解的存在性，该条件在Perona-Malik模型和Höllig型模型中得以实现，包括微小振荡行为。

ABSTRACT

We investigate the existence and properties of Lipschitz solutions for some forward-backward parabolic equations in all dimensions. Our main approach to existence is motivated by reformulating such equations into partial differential inclusions and relies on a Baire's category method. In this way, the existence of infinitely many Lipschitz solutions to certain initial-boundary value problem of those equations is guaranteed under a pivotal density condition. Finally, we study two important cases of forward-backward anisotropic diffusion in which the density condition can be realized and therefore the existence results follow together with micro-oscillatory behavior of solutions. The first case is a generalization of the Perona-Malik model in image processing and the other that of Höllig's model related to the Clausius-Duhem inequality in the second law of thermodynamics.

研究动机与目标

• 建立前向-后向抛物方程在非单调扩散通量下Lipschitz解的存在性。
• 解决由于后向抛物性导致的此类方程初值-边值问题不适定性问题。
• 通过凸积分与密度条件，将存在性结果扩展至经典抛物理论之外。
• 在对称区域中证明径向与非径向Lipschitz解共存。
• 在物理上相关的模型上验证该方法：Perona-Malik用于图像处理，Höllig型用于热力学。

提出的方法

• 通过通量结构 $ A(p) = f(|p|^2)p $ 将前向-后向抛物方程重新表述为偏微分包含。
• 应用Baire范畴法，证明在残集 $ G_\tau $-集内存在解，确保在Baire空间中解的稠密存在性。
• 利用通量轮廓 $ \sigma(s) = s f(s^2) $ 上的密度条件，保证存在无穷多Lipschitz解。
• 通过正则化通量 $ \tilde{A}(p) = \tilde{f}(|p|^2)p $ 构造近似解，其中 $ \tilde{f} \in C^{1+\alpha} $，确保经典可解性。
• 在远离中心轴的时空盒中对解 $ u^* $ 进行空间手术，打破径向对称性，生成非径向解。
• 通过在 $ L^\infty $-极限中使用反证法，表明若仅存在有限多个非径向解，则非径向函数 $ u^*_{nr} $ 将被径向解逼近，从而违反对称性破缺。

实验结果

研究问题

• RQ1 前向-后向抛物方程的初值-边值问题在何种条件下允许Lipschitz解存在？
• RQ2 Baire范畴法能否应用于非单调PDE情境，以证明存在无穷多解？
• RQ3 通量轮廓 $ \sigma(s) $ 上的密度条件是否能确保Perona-Malik与Höllig型模型中Lipschitz解的存在性？
• RQ4 在球形区域中，同一初值-边值问题是否可共存径向与非径向Lipschitz解？
• RQ5 微小振荡行为在这些方程解中的作用是什么？

主要发现

• 当初始梯度满足 $ |Du_0(x_0)| \in (s_1^*, s_2^*) $ 时，由定理3.5保证，初值-边值问题(1.2)存在无穷多Lipschitz解。
• 对于满足 $ \|Du_0\|_{L^\infty(\Omega)} \leq s_1^* $ 的初始数据，通过在时间 $ \bar{t} $ 后将经典解 $ u^* $ 与定理3.5中的新解拼接，构造出无穷多Lipschitz解，此时 $ |Du^*| \in (s_1^*, s_2^*) $。
• 当 $ \min_{\bar{\Omega}} |Du_0| \geq s_2^* $ 时，若 $ |Du^*| $ 进入区间 $ (s_1^*, s_2^*) $，则采用类似拼接程序可得到无穷多Lipschitz解。
• 在球 $ \Omega = B_R(0) $ 上的径向初始数据 $ u_0 $ 情况下，通过在解 $ u^* $ 上进行对称性破缺手术，可证明存在无穷多非径向Lipschitz解。
• 无穷多非径向解的存在性否定了仅存在有限多个此类解的可能性，通过在 $ L^\infty $-极限中的拓扑论证，证明了其丰沛性。
• 结果在两个关键物理模型中得以实现：Perona-Malik模型（图像去噪）与Höllig模型（热力学相变），二者均满足所需的密度条件。