[论文解读] Quasilinear parabolic problem with $p(x)$-Laplacian: existence, uniqueness of weak solutions and stabilization

Jacques Giacomoni, Sweta Tiwari+1 more|arXiv (Cornell University)|Oct 1, 2015

Nonlinear Partial Differential Equations参考文献 29被引用 29

一句话总结

该论文在有界区域中建立了带变指数 $p(x)$-Laplacian 的拟线性抛物方程弱解的存在性、唯一性及稳定性。通过时间上的半离散化与半群方法，证明了在 $C([0,T];\mathbb{W})$ 和 $C([0,T];L^\infty(\Omega))$ 中的温和解的存在性，并利用次解-超解与弱比较原理，在适当非线性条件下展示了解向稳态的收敛性，为变指数情形提供了新结果。

ABSTRACT

We discuss the existence and uniqueness of the weak solution of the following quasilinear parabolic equation $u_t-\\Delta _{p(x)}u = f(x,u)$ in $ (0,T)\ imes\\Omega$; $u = 0$ on $(0,T)\ imes\\partial\\Omega$; $u(0,x)=u_0(x)$ in $\\Omega$; involving the $p(x)$-Laplacian operator. Next, we discuss the global behaviour of solutions and in particular some stabilization properties.

研究动机与目标

• 在具有 Dirichlet 边界条件的有界区域中，建立带 $p(x)$-Laplacian 的拟线性抛物 PDE 弱解的存在性与唯一性。
• 研究解的全局行为，特别是其在 $t \to \infty$ 时对稳态的渐近收敛性。
• 通过证明关于正则性与稳定性的新结果，特别是针对温和解与比较原理，拓展变指数抛物方程的理论。
• 提出一种新颖的框架，结合时间半离散化与半群方法，用于处理 $p(x)$-Laplacian 问题，填补了关于全局行为与稳定性的文献空白。

提出的方法

• 采用时间上的半离散化方法，构造 $C([0,T];\mathbb{W})$ 与 $C([0,T];L^\infty(\Omega))$ 中的温和解，确保其存在性与正则性。
• 应用弱比较原理比较次解与超解，从而分析解的长时间行为。
• 通过在变指数 Lebesgue 与 Sobolev 空间中使用 Hölder 与 Young 不等式，推导先验估计，尤其关注 $p(x)$-增长情形。
• 证明依赖于 $1/p(x)$ 的对数霍尔德连续性，以保证变指数空间中嵌入与紧致性结果的有效性。
• 采用带截断函数 $\varphi$ 的测试函数方法，推导能量型估计，通过迭代与覆盖论证获得 $L^\infty$ 估计。
• 在非线性 $f(x,u)$ 满足适当条件时，利用比较原理与解的有界性，证明解收敛于稳态解。

实验结果

研究问题

• RQ1 在一般变指数条件与 Carathéodory 非线性条件下，带 $p(x)$-Laplacian 的拟线性抛物问题是否存在弱解？
• RQ2 在给定的 $p(x)$ 与 $f(x,u)$ 假设下，弱解是否唯一？
• RQ3 对于某一类合适的非线性 $f$，全局解是否能在 $t \to \infty$ 时稳定于稳态？
• RQ4 在变指数与次临界增长条件下，弱解的正则性如何，特别是其在 $L^\infty(\Omega)$ 中的有界性？
• RQ5 时间离散化的半群方法如何在 $p(x)$-Laplacian 问题中生成 $C([0,T];L^\infty(\Omega))$ 中的温和解？

主要发现

• 通过半离散化与半群方法，建立了在 $C([0,T];\mathbb{W})$ 与 $C([0,T];L^\infty(\Omega))$ 中的温和解的存在性，为 $p(x)$-Laplacian 抛物问题提供了新的存在性框架。
• 应用弱比较原理表明，在 $f(x,u)$ 满足适当条件时，解会稳定于稳态解，证明了渐近收敛性。
• 通过截断函数方法与 Hölder 型估计，推导出弱解的先验 $L^\infty$ 估计，从而在次临界增长 $r(x) < p^*(x)$ 条件下实现全局有界性。
• 当 $f$ 满足 $|f(x,t)| \leq c_1 + c_2|t|^{r(x)-1}$ 且 $r(x) < p^*(x)$，以及 $g \in L^q$ 且 $q > d/p_-$ 时，解在 $L^\infty(\Omega)$ 中有界，此结果由推论 C.5 支持。
• 在假设 $p \in C(\overline{\Omega})$，$p^- < d$，且 $f$ 具有次临界增长的条件下，证明了 $u \in L^\infty(\Omega)$，将正则性结果推广至变指数情形。
• 在变指数抛物方程背景下，该论文的稳定化结果为首次提出，此前尚无研究在该框架下利用比较原理分析解收敛于稳态。