[论文解读] Global existence for strong solutions of viscous Burgers equation. (1) The bounded case

Jérémie Unterberger|arXiv (Cornell University)|Mar 17, 2015

Advanced Mathematical Physics Problems参考文献 5被引用 3

一句话总结

本文通过最大值原理与定量Schauder估计，建立了黏性Burgers方程在所有空间维数下经典解的全局存在性与一致有界性。研究证明，当初始数据与外力项光滑有界时，若外力为零，则解全局定义且其上确界范数有时间无关的界，避免了指数增长，通过无能量分析实现。

ABSTRACT

We prove that the viscous Burgers equation has a globally defined smooth solution in all dimensions provided the initial condition and the forcing term are smooth and bounded together with their derivatives. Such solutions may have infinite energy. The proof does not rely on energy estimates, but on a combination of the maximum principle and quantitative Schauder estimates. We obtain precise bounds on the sup norm of the solution and its derivatives, making it plain that there is no exponential increase in time. In particular, these bounds are time-independent if the forcing term is zero. To get a classical solution, it suffices to assume that the initial condition and the forcing term have bounded derivatives up to order two.

研究动机与目标

• 证明在所有空间维数下，对光滑有界初始数据与外力项，黏性Burgers方程经典解的全局存在性。
• 建立解及其导数的显式、时间无关的有界性，尤其在外力为零时，避免指数增长。
• 构建一种不依赖能量估计的框架，转而使用最大值原理与定量Hölder估计。
• 对解及其至二阶的导数，实现上确界范数与Hölder半范数的精确定量控制。

提出的方法

• 证明采用迭代格式，求解以先前迭代值为系数的线性化对流方程。
• 应用最大值原理，实现对解及其一阶导数的时间一致控制。
• 使用定量Schauder估计，控制二阶导数与时间导数的Hölder半范数。
• 通过抛物标度分析，将范数的增长与时间依赖的参考尺度关联，关键参数 $ K(t) $ 编码初始数据与外力的综合影响。
• 方法涉及时空圆柱体的二分分解与插值不等式，以控制梯度与二阶导数的Hölder范数。
• 分析区分了迭代格式的短时间收敛性与长时间一致有界性，后者依赖于迭代指标中的指数衰减。

实验结果

研究问题

• RQ1 能否在不依赖能量估计的前提下，构造黏性Burgers方程的全局经典解？
• RQ2 在有界初始数据与外力数据条件下，解的上确界范数及其导数的精确定量界是什么？
• RQ3 当外力项为零时，解是否在时间上保持有界？若是，能否实现与时间无关的量化控制？
• RQ4 在迭代格式下，解及其导数的Hölder范数如何演变？能否实现一致控制？
• RQ5 抛物标度在推导解及其导数的时间无关有界性中起到何种作用？

主要发现

• 解 $ u $ 满足 $ \|u_t^{(m)}\|_{\infty} \leq K_0(t) $，其中 $ K_0(t) $ 对所有 $ t \geq 0 $ 有限，确保了全局存在性。
• 梯度满足 $ \|\nabla u_t^{(m)}\|_{\infty} \leq K(t) $，而二阶导数被 $ (cK(t))^{3/2} $ 控制，其中 $ c = c(d,\beta) $。
• 当 $ g = 0 $ 时，界 $ K_0(t) $、$ K_1(t) $ 与 $ K_2(t) $ 为时间无关，意味着时间上无指数增长。
• 迭代格式在时间上一致收敛，满足 $ \|v_t^{(m)}\|_{\infty} \leq cK_0(T)(cK(T)t/m)^m $，表明对固定 $ t $，其在 $ m $ 上呈指数衰减。
• Schauder估计给出了对 $ \nabla^2 u $ 与 $ \partial_t u $ 的Hölder界，其衰减速率取决于问题的抛物标度。
• 该方法避免使用能量估计，转而利用最大值原理与插值不等式，推导出所有至二阶导数的时间一致有界性。