[论文解读] A test function method for evolution equations with fractional powers of the Laplace operator

Kazumasa Fujiwara, Marcello D’Abbicco|arXiv (Cornell University)|May 25, 2020

Advanced Mathematical Physics Problems参考文献 41被引用 6

一句话总结

本文提出一种新颖的测试函数方法，用于建立高阶演化方程中无全局解的存在性结果，这些方程包含分数阶拉普拉斯算子和幂次非线性项。通过构造一种在分数阶导数下表现良好的定制化测试函数，作者推导出精确的临界指数，确认了近期通过尺度变换和反例得到的全局存在性结果的最优性。

ABSTRACT

In this paper, we discuss a test function method to obtain nonexistence of global-in-time solutions for higher order evolution equations with fractional derivatives and a power nonlinearity, under a sign condition on the initial data. In order to deal with fractional powers of the Laplace operator, we introduce a suitable test function and a suitable class of weak solutions. The optimality of the nonexistence result provided is guaranteed by both scaling arguments and counterexamples. In particular, our manuscript provides the counterpart of nonexistence for several recent results of global existence of small data solutions to the following problem: \[ \begin{cases} u_{tt} + (-Δ)^θu_t + (-Δ)^σ u = f(u,u_t),& t>0, \ x\in\mathbb R^n,\\ u(0,x)=u_0(x), \ u_t(0,x)=u_1(x) \end{cases} \] with $f=|u|^p$ or $f=|u_t|^p$, where $θ\geq0$ and $σ>0$ are fractional powers.

研究动机与目标

• 为解决分数阶拉普拉斯算子演化方程缺乏非存在性结果的问题，特别是当经典测试函数方法失效时。
• 弥合近期小初值解全局存在性结果与缺乏相应爆破或非存在性结果之间的差距。
• 开发一种适用于涉及非整数阶拉普拉斯算子的高阶方程的稳健测试函数方法。
• 在初始数据满足符号条件的前提下，建立全局时间弱解非存在性的精确临界指数。
• 通过尺度分析和反例验证非存在性结果的最优性。

提出的方法

• 引入一类专为处理拉普拉斯算子分数阶幂而设计的新测试函数类，确保与弱解公式的兼容性。
• 通过利用 Córdoba 和 Córdoba (2003) 关于平方函数分数阶导数的点态估计，将经典测试函数方法适配于分数阶微分算子。
• 在合适的函数空间框架下定义弱解，以容纳分数阶导数和非整数阶次。
• 将该方法应用于一般形式的演化方程 $ Lu = | abla_t^ u u|^p $，其中 $ L $ 涉及分数阶拉普拉斯算子和时间导数。
• 通过尺度分析确定临界指数 $ p_c $，确保非存在性结果的精确性。
• 通过构造反例并与文献中已知的全局存在性结果比较，验证结果的有效性。

实验结果

研究问题

• RQ1 能否将测试函数方法适配于证明含分数阶拉普拉斯算子演化方程的全局解非存在性？
• RQ2 在含拉普拉斯算子分数阶幂的方程中，全局时间弱解非存在性的精确临界指数 $ p_c $ 是什么？
• RQ3 临界指数如何依赖于分数阶阶次 $ \sigma_j $、时间导数阶次 $ m $ 和空间维数 $ n $？
• RQ4 所推导的非存在性结果是否最优？能否通过尺度分析和反例加以确认？
• RQ5 该方法能否推广至包含混合分数阶与整数阶导数的高阶算子？

主要发现

• 本文证明：对于方程 $ u_{tt} + (-\nabla)^\theta u_t + (-\nabla)^\sigma u = |u_t|^p $，当 $ \theta \geq 0 $，$ \sigma > 0 $，且初始数据满足符号条件时，若 $ p \leq 1 + \frac{2\theta}{n} $，则不存在全局时间弱解。
• 对于方程 $ u_t + (-\nabla)^\sigma u = u^p $，当 $ 1 < p \leq 1 + \frac{2\sigma}{n} $ 时，非存在性成立，证实了临界指数的精确性。
• 在条件 $ 2\sigma < n + 2\theta $ 下，临界指数为 $ p_c = 1 + \frac{2\sigma}{n + 2\theta - 2\sigma} $，其中 $ \theta $ 为时间导数的齐次参数，$ \sigma $ 为分数阶拉普拉斯算子的有效阶次。
• 该方法被推广至高阶算子 $ L = \partial_t^m + \sum_{j=0}^{m-1} a_j (-\nabla)^{\sigma_j} \partial_t^j $，临界指数由齐次函数 $ g(\eta) $ 的最小值决定。
• 尺度分析表明，所推导的临界指数是精确的，因为其尺度行为与存在性与爆破的临界阈值一致。
• 构造出一种尊重分数阶算子非局部性质的合适测试函数，使得经典测试函数方法得以推广至分数阶情形，从而解决了长期存在的局限性问题。