[论文解读] Sharp quantitative estimates of Struwe's Decomposition

Bin Deng, Liming Sun+1 more|arXiv (Cornell University)|Mar 29, 2021

Geometric Analysis and Curvature Flows参考文献 27被引用 8

一句话总结

本文为非负函数在Sobolev空间 $\dot{H}^1(\mathbb{R}^n)$ 中的Struwe分解建立了精确的定量估计，这些函数几乎满足临界非线性椭圆方程 $\Delta u + u^{(n+2)/(n-2)} = 0$。研究证明，函数到弱相互作用Talenti孤子流形的 $\dot{H}^1$-距离以 $\Gamma(u)|\log \Gamma(u)|^{1/2}$ 为界（当 $n=6$ 时），以及以 $|\Gamma(u)|^{(n+2)/(2(n-2))}$ 为界（当 $n \geq 7$ 时），并表明这些界是最优的，从而解决了Figalli与Glaudo关于高维中正确缩放行为的猜想。

ABSTRACT

Suppose $u\in \dot{H}^1(\mathbb{R}^n)$. In a seminal work, Struwe proved that if $u\geq 0$ and $\|Δu+u^{\frac{n+2}{n-2}}\|_{H^{-1}}:=Γ(u) o 0$ then $dist(u,\mathcal{T}) o 0$, where $dist(u,\mathcal{T})$ denotes the $\dot{H}^1(\mathbb{R}^n)$-distance of $u$ from the manifold of sums of Talenti bubbles. Ciraolo, Figalli and Maggi obtained the first quantitative version of Struwe's decomposition with one bubble in all dimensions, namely $δ(u) \leq C Γ(u)$. For Struwe's decomposition with two or more bubbles, Figalli and Glaudo showed a striking dimensional dependent quantitative estimate, namely $δ(u)\leq C Γ(u)$ when $3\leq n\leq 5$ while this is false for $ n\geq 6$. In this paper, we show that \[dist (u,\mathcal{T})\leq C\begin{cases} Γ(u)\left|\log Γ(u) ight|^{\frac{1}{2}}\quad& ext{if }n=6, |Γ(u)|^{\frac{n+2}{2(n-2)}}\quad& ext{if }n\geq 7.\end{cases}\] Furthermore, we show that this inequality is sharp.

研究动机与目标

• 为当存在多个Talenti孤子时Struwe分解提供精确的定量估计，特别是针对 $n \geq 6$ 的情形。
• 解决Figalli与Glaudo关于残差 $\Delta u + u^{(n+2)/(n-2)}$ 的 $H^{-1}$-范数与弱相互作用Talenti孤子流形之间距离的正确缩放行为的猜想。
• 通过构造匹配的反例或渐近构造，证明所导出界的最优性。
• 将Sobolev不等式定量稳定性理论从单孤子情形推广至高维中多个弱相互作用孤子的情形。

提出的方法

• 作者分析了 $u \in \dot{H}^1(\mathbb{R}^n)$ 函数在几乎满足临界非线性方程 $\Delta u + u^{(n+2)/(n-2)} = 0$ 时的渐近行为，使用残差的 $H^{-1}$-范数作为逼近程度的度量。
• 他们采用约化方法将 $u$ 分解为Talenti孤子之和与余项之和，通过能量估计与相互作用估计来控制余项的 $\dot{H}^1$-范数。
• 分析根据孤子参数（中心与缩放参数）的相对尺度区分不同情形，利用 dyadic 分解与缩放论证来控制相互作用项。
• 对于 $n=6$，通过仔细估计临界区域中两个孤子的重叠与相互作用，推导出对数修正项 $|\log \Gamma(u)|^{1/2}$。
• 对于 $n \geq 7$，他们证明最优衰减速率为 $|\Gamma(u)|^{(n+2)/(2(n-2))}$，该结果源于尺度不变性与残差的尖锐 $L^p$-型估计。
• 通过构造可饱和界值的测试函数，证明了估计的最优性，表明不存在更优的衰减速率。

Figure 1. $U_{1}$ and $U_{2}$ form a bubble tower with $\lambda_{1}\gg\lambda_{2}$ . The dotted line denotes the $h$ . The right picture shows that the core region of $U_{2}$ (i.e. $\{|y_{2}|\leq R_{12}\}$ ) contains that of $U_{1}$ (i.e. $\{|y_{1}|\leq R_{12}\}$ ).

实验结果

研究问题

• RQ1 当 $\|\Delta u + u^{(n+2)/(n-2)}\|_{H^{-1}} \to 0$ 且 $n \geq 6$ 时，$u$ 到弱相互作用Talenti孤子流形的收敛正确定量速率是什么？
• RQ2 Figalli与Glaudo所猜想的 $n=6$ 情形中对数修正项 $|\log \Gamma(u)|^{1/2}$ 是否可以是最优的？
• RQ3 在 $n \geq 7$ 情形中，指数 $\gamma = \frac{n+2}{2(n-2)}$ 是否为衰减速率的最优值？
• RQ4 多个Talenti孤子的相互作用结构如何影响高维中的稳定性估计？
• RQ5 定量稳定性结果能否从单孤子情形推广至所有维度中多个弱相互作用孤子的情形？

主要发现

• 当 $n = 6$ 时，函数到弱相互作用Talenti孤子流形 $\mathcal{T}$ 的 $\dot{H}^1$-距离满足 $\text{dist}(u, \mathcal{T}) \leq C \Gamma(u) |\log \Gamma(u)|^{1/2}$，且该界是最优的。
• 当 $n \geq 7$ 时，距离满足 $\text{dist}(u, \mathcal{T}) \leq C |\Gamma(u)|^{(n+2)/(2(n-2))}$，且该衰减速率是最优的。
• 本文证实了Figalli与Glaudo的猜想：残差的 $H^{-1}$-范数 $\Gamma(u)$ 控制了到孤子流形的距离，且在 $n=6$ 时存在对数修正项，在 $n \geq 7$ 时存在分数幂项。
• 通过显式构造几乎满足方程但与 $\mathcal{T}$ 距离达到最大可能值的函数，证明了估计的最优性，其距离与预测速率完全匹配。
• 结果表明，缩放行为的转变发生在 $n=6$，此时由于相互作用衰减的临界维度性，对数修正项出现。
• 分析表明，$n=6$ 情形是临界的：相互作用衰减速率恰好足够慢，可允许对数修正；而当 $n \geq 7$ 时，衰减足够快，可允许指数小于1的幂律界。

Figure 2. $U_{1}$ and $U_{2}$ form a bubble cluster. The right picture shows that the influence region of $U_{2}$ contains that of $U_{1}$ like bubble tower when $\lambda_{1}\gg\lambda_{2}$ . However, if $\lambda_{1}\approx\lambda_{2}$ , the core region of them shall be disjoint.