[论文解读] Universal estimates and Liouville theorems for superlinear problems without scale invariance

Philippe Souplet|arXiv (Cornell University)|Feb 7, 2022

Nonlinear Partial Differential Equations参考文献 43被引用 15

一句话总结

该论文将普遍估计和Liouville定理推广至非尺度不变（甚至渐近意义上）的超线性椭圆与抛物型问题。通过改进缩放与双倍缩放方法，建立了适用于一般非线性项（包括对数型与振荡型）的普遍估计与Liouville性质之间的等价性，并证明了此类问题的新Liouville定理，显著扩展了这些工具在幂次型非线性项之外的应用范围。

ABSTRACT

We revisit rescaling methods for nonlinear elliptic and parabolic problems and show that, by suitable modifications, they may be used for nonlinearities that are not scale invariant even asymptotically and whose behavior can be quite far from power like. In this enlarged framework, by adapting the doubling-rescaling method from [37, 38], we show that the equivalence found there between universal estimates and Liouville theorems remains valid. In the parabolic case we also prove a Liouville type theorem for a rather large class of non scale invariant nonlinearities. This leads to a number of new results for non scale invariant elliptic and parabolic problems, concerning space or space-time singularity estimates, initial and final blow-up rates, universal and a priori bounds for global solutions, and decay rates in space and/or time. We illustrate our approach by a number of examples, which in turn give indication about the optimality of the estimates and of the assumptions.

研究动机与目标

• 将普遍估计与Liouville定理推广至非渐近尺度不变或非幂次型的非线性项。
• 发展一种适用于在无穷远处具有正规变体或受控变体性质的非线性项的广义缩放方法。
• 为非尺度不变的非线性项（包括对数型与振荡型增长）证明新的抛物型Liouville型定理。
• 通过比较与渐近分析，证明非线性项扰动下Liouville性质与普遍估计的稳定性。
• 在广义设定下，为奇点、爆破、衰减及全局解界提供精确、最优的估计。

提出的方法

• 将[37, 38]中的双倍缩放方法适配至非尺度不变的非线性项，采用广义缩放论证。
• 引入在无穷远处具有正规变体或受控变体性质的非线性项类别，以捕捉非幂次型行为。
• 应用广义缩放方法，推导出与具体解无关的空间、时间及时空中解的普遍估计。
• 利用比较论证与ODE爆破分析，建立模型ODE y' = f(y) 解的有限时间爆破速率。
• 采用Pohozaev型不等式与径向解构造方法，证明某些非尺度不变非线性项存在正解。
• 通过比较与渐近分析，建立非线性项扰动下Liouville性质的稳定性。

实验结果

研究问题

• RQ1 普遍估计与Liouville定理能否推广至非渐近尺度不变或非幂次型的非线性项？
• RQ2 为处理超越幂次型增长的一般非线性项，缩放与双倍缩放方法需作何修改？
• RQ3 对于哪些类别的非尺度不变非线性项，其抛物型情形下仍保持Liouville性质（即不存在非平凡解）？
• RQ4 在广义非线性假设下，奇点、爆破与衰减速率的普遍估计行为如何？
• RQ5 主定理中的假设在多大程度上是精确的？能否构造反例以证明其最优性？

主要发现

• 即使对于非尺度不变的非线性项，普遍估计与Liouville定理之间的等价性依然成立，扩展了[37, 38]的结果。
• 为具有 f(s) = s^p log^q(2+s) 等形式的抛物型问题建立了新的Liouville型定理，包括 f(s) ≡ s^p log^q(2+s) 且 q ≠ 0 的情形。
• 对于具有正规或受控变体性质的一般 f，普遍估计形式为 u(x,t) ≤ C(σ + t^{-(p-1)^{-1}} + (T-t)^{-(p-1)^{-1}} + dist(x,∂Ω)^{-2(p-1)^{-1}}) 成立，其中 C 与解无关。
• 对于如 f(s) = s^p + a s^{p+a} sin(log log(3+s+s^{-1})) 的非线性项（a ∈ (0, p-1)），受控变体性质确保了缩放方法与普遍估计的有效性。
• 论文构造了反例，表明 s^{-p}f(s) 的非增性条件在某些设定下对Liouville性质是必要的，从而证明了假设的最优性。
• 证明了 f 属于所考虑类别的 y' = f(y) 的解在有限时间内爆破，且当 t→T 时有 f(y(t))/y(t) ≥ c/(T-t)，从而给出了精确的爆破速率估计。