[论文解读] Large time decay properties of solutions to a viscous Boussinesq system in a half space

Peiran Han, María E. Schonbek|arXiv (Cornell University)|Sep 17, 2013

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

一句话总结

该论文针对半空间中的三维粘性Boussinesq系统，利用$L^q$-$L^r$估计与斯托克斯算子的分数阶次性质，建立了精确的大时间衰减估计。研究证明，温度及其各阶导数在$L^q$范数下的衰减速率为$t^{-2 - n/2(1 - 1/q)}$，在小初值条件下可获得更优的衰减速率，并通过非线性项的分解克服了在$L^\infty$中Helmholtz投影无界的挑战。

ABSTRACT

We consider the long time behavior of weak and strong solutions of the n-dimensional viscous Boussinesq system in the half space, with $n\geq3$ . The $L^r(R^n_+)$-asymptotics of strong solutions and their first three derivatives, with $1\leq r\leq\infty$, are derived combining $L^q-L^r$ estimates and properties of the fractional powers of the Stokes operator. For the $L^\infty-$asymptotics of the second order derivatives the unboundedness of the projection operator $P: L^\infty(R^n_+) ightarrow L^\infty_σ(R^n_+)$ is dealt by an appropriate decomposition of the nonlinear term.

研究动机与目标

• 分析$n \geq 3$时，半空间$\mathbb{R}^n_+$中粘性Boussinesq系统弱解与强解的长期衰减行为。
• 将全空间中的$L^2$衰减结果推广至半空间情形，特别是针对温度场与速度场。
• 解决在分析二阶导数时，$L^\infty$中Helmholtz投影无界性所带来的挑战。
• 推导温度及其导数在$L^q$范数下的精确衰减速率，包括$L^\infty$型估计。

提出的方法

• 结合$L^q$-$L^r$估计与斯托克斯算子分数阶次的性质，分析强解的衰减行为。
• 采用非线性项分解方法，处理在$L^\infty$估计中Helmholtz投影$P: L^\infty(\mathbb{R}^n_+) \to L^\infty_\sigma(\mathbb{R}^n_+)$的无界性问题。
• 利用迭代积分表示与热核估计，控制温度场与速度场的高阶导数。
• 应用控制核法与能量型估计，控制涉及$u \cdot \nabla \theta$与$u \cdot \nabla u$的非线性项。
• 通过递推与插值方法，推导$\nabla^3 \theta(t)$在$L^q(\mathbb{R}^n_+)$中$(1 \leq q \leq \infty)$的衰减估计。
• 采用弱收敛论证，从近似解在$L^q$范数下过渡到极限解。

实验结果

研究问题

• RQ1 半空间中粘性Boussinesq系统解的衰减速率与全空间中的相比如何？
• RQ2 对于$n \geq 3$，温度场及其导数在$L^q$范数下的精确大时间衰减行为是什么？
• RQ3 在估计二阶导数时，如何克服$Helmholtz$投影在$L^\infty$中无界的挑战？
• RQ4 初始数据满足何种条件时，可获得速度场与温度场的改进衰减速率？
• RQ5 能否在$L^q$与$L^\infty$范数下均推导出$\nabla^3 \theta(t)$的精确衰减估计？

主要发现

• 在小初值条件下，温度$\theta(t)$满足$\|\theta(t)\|_{L^2(\mathbb{R}^n_+)} \leq C(1+t)^{-(n+2)/4}$，优于标准的$L^2$衰减速率。
• 对于$n \geq 3$，速度场$u(t)$满足$\|u(t)\|_{L^2(\mathbb{R}^n_+)} \to 0$当$t \to \infty$，其衰减速率在三维中为$O((1+t)^{1/4})$，四维中为$O(\log(1+t))$，在$n \geq 5$时为$O(1)$。
• 对于$1 \leq q < \infty$，温度的三阶空间导数满足$\|\nabla^3 \theta(t)\|_{L^q(\mathbb{R}^n_+)} \leq C t^{-2 - n/2(1 - 1/q)}$，对$t \geq 1$成立，且显式依赖于$n$与$q$。
• 在$L^\infty$范数下，$\|\nabla^3 \theta(t)\|_{L^\infty(\mathbb{R}^n_+)} \leq \widetilde{C}_{\ast\ast\ast} t^{-2 - n/2}$对$t \geq 1$成立，该结果通过非线性项的精细分解实现。
• $\nabla^3 \theta(t)$在$L^q$范数下的衰减速率是精确的，且在$1 \leq q \leq \infty$范围内保持一致，指数依赖于可积性指标$q$。
• 结果在小初值条件下具有鲁棒性，并将先前的$L^2$衰减结果推广至高阶导数与更广的函数空间。