[论文解读] Local well-posedness and global existence for the biharmonic heat equation with exponential nonlinearity

Mohamed Majdoub, Sarah Otsmane+1 more|arXiv (Cornell University)|Jun 23, 2016

Advanced Mathematical Physics Problems被引用 6

一句话总结

本文在 Orlicz 空间 $ \exp L^2 $ 中建立了双调和热方程与指数非线性项 $ f(u) \sim e^{u^2} $ 的局部适定性与全局解的存在性。通过在 $ \exp L^2_0 $ 和 $ \exp L^2 $ 中使用不动点论证，证明了在初始数据较小且在零附近具有幂次增长时，存在唯一局部解与全局解，衰减估计通过双调和半群的 $ L^p-L^q $ 估计导出。

ABSTRACT

In this paper we prove local well-posedness in Orlicz spaces for the biharmonic heat equation $\partial_{t} u+ Δ^2 u=f(u),\;t>0,\;x\in\R^N,$ with $f(u)\sim \mbox{e}^{u^2}$ for large $u.$ Under smallness condition on the initial data and for exponential nonlinearity $f$ such that $f(u)\sim u^m$ as $u o 0,$ $m$ integer and $N(m-1)/4\geq 2$, we show that the solution is global. Moreover, we obtain a decay estimates for large time for the nonlinear biharmonic heat equation as well as for the nonlinear heat equation. Our results extend to the nonlinear polyharmonic heat equation.

研究动机与目标

• 在 Orlicz 空间 $ \exp L^2_0(\mathbb{R}^N) $ 中建立双调和热方程与指数非线性项 $ f(u) \sim e^{u^2} $ 的局部适定性。
• 在初始数据较小且在零附近具有幂次型非线性 $ |f(u)| \sim |u|^m $ 的条件下，证明解的全局存在性，其中 $ m \geq 2 $ 且 $ N(m-1)/4 \geq 2 $。
• 通过双调和半群的 $ L^p-L^q $ 估计，推导非线性双调和方程与标准热方程的大时间衰减估计。
• 将结果推广至一般多调和热方程 $ \partial_t u + (-\Delta)^d u = f(u) $，其中 $ d \geq 2 $。

提出的方法

• 使用积分形式 $ u(t) = e^{-t\Delta^2}u_0 + \int_0^t e^{-(t-s)\Delta^2} f(u(s))\,ds $ 研究柯西问题。
• 在空间 $ \exp L^2_0(\mathbb{R}^N) $ 中应用不动点论证以获得局部适定性，在 $ L^\infty(0,\infty; \exp L^2) $ 中应用不动点论证以获得全局存在性。
• 采用双调和半群 $ e^{-t\Delta^2} $ 的 $ L^p-L^q $ 估计，其界为 $ \|e^{-t\Delta^2}\varphi\|_q \leq \mathcal{H} t^{-\frac{N}{4}(\frac{1}{p}-\frac{1}{q})} \|\varphi\|_p $。
• 使用 Orlicz 空间范数，特别是 Luxemburg 范数 $ \|u\|_{\exp L^2} $，以处理非线性项的指数增长。
• 应用 Hölder 不等式与 Young 型不等式，以 $ \|u\|_{\exp L^2} $ 控制 $ \|f(u)\|_r $，利用指数可积性。
• 通过 $ e^{-t(-\Delta)^d} $ 的 $ L^p-L^q $ 估计将结果推广至多调和算子，其尺度为 $ t^{-\frac{N}{2d}(\frac{1}{p}-\frac{1}{q})} $。

实验结果

研究问题

• RQ1 在何种条件下，双调和热方程与指数非线性项 $ f(u) \sim e^{u^2} $ 在 Orlicz 空间中存在局部解？
• RQ2 初始数据的何种小性条件可保证在零附近具有幂次型非线性时，双调和方程的全局解存在？
• RQ3 当 $ t \to \infty $ 时，非线性双调和热方程的解可建立何种衰减速率？
• RQ4 双调和方程的结果能否推广至更高阶的多调和方程 $ \partial_t u + (-\Delta)^d u = f(u) $？
• RQ5 双调和半群的 $ L^p-L^q $ 估计如何影响解的存在性与衰减性？

主要发现

• 对于初始数据 $ u_0 \in \exp L^2_0(\mathbb{R}^N) $，在 $ \exp L^2_0(\mathbb{R}^N) $ 中存在局部适定性，且存在唯一的解 $ u \in C([0,T]; \exp L^2_0) $。
• 当 $ \|u_0\|_{\exp L^2} \leq \varepsilon $ 且 $ \varepsilon > 0 $ 足够小时，满足 $ N(m-1)/4 \geq 2 $ 且 $ m \geq 2 $ 的条件，可建立全局存在性。
• 解满足衰减估计 $ \|u(t)\|_p \leq C t^{-\sigma} $，其中 $ \sigma = \frac{1}{m-1} - \frac{N}{2dp} > 0 $，且对依赖于 $ N $ 与 $ d $ 的特定 $ p $ 范围成立。
• 双调和半群 $ e^{-t\Delta^2} $ 在 $ t=0 $ 处关于 $ \exp L^2_0(\mathbb{R}^N) $ 连续，但在 $ \exp L^2(\mathbb{R}^N) $ 中不连续。
• 结果可推广至多调和方程 $ \partial_t u + (-\Delta)^d u = f(u) $，其中 $ d \geq 2 $，方法为使用类似的 $ L^p-L^q $ 估计与不动点论证。
• 对于 $ f(u) \sim e^{u^2} $，Orlicz 空间 $ \exp L^2 $ 是自然框架，因其嵌入于所有 $ q \geq 2 $ 的 $ L^q $ 空间中，且在半群作用下保持不变。