[论文解读] A direct approach to quasilinear parabolic equations on unbounded domains by Brézis's theory for subdifferential operators

Shunsuke Kurima, Tomomi Yokota|arXiv (Cornell University)|May 2, 2017

Advanced Mathematical Modeling in Engineering被引用 8

一句话总结

本文通过直接应用布雷齐斯的次微分算子理论，证明了在无界区域上拟线性抛物方程——特别是多孔介质和Cahn–Hilliard型系统——解的存在性与唯一性。与以往依赖紧致性方法的研究不同，该方法无需紧致性假设，从而将结果推广至无界区域，并证明了Cahn–Hilliard逼近解与原方程之间的误差估计为 $\varepsilon^{1/2}$。

ABSTRACT

This paper is concerned with existence and uniqueness of solutions to two kinds of quasilinear parabolic equations. One is described as the form which includes the porous media and fast diffusion type equations. The other is the Cahn--Hilliard type system. The present paper applies Brézis theory directly to both equations and gives existence results for these two equations even if the domain is unbounded. Moreover, an error estimate is also proved via apriori estimates obtained directly.

研究动机与目标

• 将布雷齐斯的次微分算子理论直接应用于无界区域上的拟线性抛物方程，其中先前依赖紧致性方法的研究方法失效。
• 在无界 $\Omega$ 上，证明多孔介质型方程 $\frac{\partial u}{\partial t} + (-\Delta+1)\beta(u) = g$ 解的存在性与唯一性。
• 将相同理论直接应用于无界区域上的Cahn–Hilliard型系统 $\frac{\partial u_\varepsilon}{\partial t} + (-\Delta+1)(\varepsilon(-\Delta+1)u_\varepsilon + \beta(u_\varepsilon) + \pi_\varepsilon(u_\varepsilon)) = g$。
• 推导近似系统 $ (P)_\varepsilon $ 与原问题 $ (P) $ 之间的误差估计，证明其收敛速度为 $ \varepsilon^{1/2} $。

提出的方法

• 直接将布雷齐斯关于次微分算子的抽象理论应用于形如 $ u'(t) + \partial\psi(u(t)) \ni \tilde{f}(t) $ 的演化方程，其定义在希尔伯特空间中。
• 在无界区域 $ \Omega \subset \mathbb{R}^N $ 上使用算子 $ -\Delta + 1 $，并施加诺伊曼边界条件。
• 通过预解式 $ (I + \varepsilon(-\Delta+1))^{-1}u_0 $ 构造初始数据 $ u_{0\varepsilon} $，以满足相容性条件。
• 验证 $ \beta $ 和 $ \pi_\varepsilon $ 的结构条件 (C1)、(C2)、(C4) 和 (C5)，包括凸性、利普希茨连续性及一致有界性。
• 利用次微分框架导出的先验估计，无需借助紧致性论证，证明收敛性与误差控制。
• 通过 $ \beta(u) = |u|^{q-1}u + u $（其中 $ q > 0 $）将该理论应用于退化与非退化扩散情形。

实验结果

研究问题

• RQ1 布雷齐斯的次微分算子理论能否直接应用于无界区域上的拟线性抛物方程？
• RQ2 布雷齐斯理论的直接应用是否能在无界区域上保证多孔介质型方程解的存在性与唯一性？
• RQ3 该框架能否扩展至无界区域上带有 $ \varepsilon $-正则化的Cahn–Hilliard型系统？
• RQ4 在无界区域设定下，$ \varepsilon $-正则化解相对于原问题的收敛速率是多少？
• RQ5 如何直接从次微分结构导出先验估计，而无需使用紧致性方法？

主要发现

• 在无界区域 $ \Omega \subset \mathbb{R}^N $ 上，建立了多孔介质型方程 $ \frac{\partial u}{\partial t} + (-\Delta+1)\beta(u) = g $ 解的存在性与唯一性。
• 该结果进一步推广至带有 $ \varepsilon $-正则化的Cahn–Hilliard型系统，即使 $ \Omega $ 为无界区域亦成立。
• 证明了近似系统 $ (P)_\varepsilon $ 的解与原问题 $ (P) $ 之间的误差估计为 $ \varepsilon^{1/2} $，与Colli和Fukao在有界区域下的结果一致。
• 初始数据 $ u_{0\varepsilon} $ 满足 $ |u_{0\varepsilon} - u_0|_{H^{-1}(\Omega)} \leq \varepsilon^{1/2}|u_0|_{L^2(\Omega)} $，确保在能量空间中收敛。
• 该方法避免了紧致性论证，从而克服了以往方法依赖有界区域的局限性。
• 结果对 $ \beta(u) = |u|^{q-1}u + u $（其中 $ q > 0 $）成立，涵盖多孔介质（$ q > 1 $）与快速扩散（$ 0 < q < 1 $）情形。