[論文レビュー] 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$ にほぼ解を与えるものである。$n=6$ の場合、弱く相互作用するTalentiバブルの多様体からの $\dot{H}^1$-距離は $\Gamma(u)|\log \Gamma(u)|^{1/2}$ で有界であり、$n \geq 7$ の場合、$|\Gamma(u)|^{(n+2)/(2(n-2))}$ で有界である。これらの評価が最適であることを示し、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$-ノルムを推定した。
• バブルパラメータ（中心とスケーリングパラメータ）の相対的スケールに基づいて場合分けを行い、二重分割とスケーリングの議論を用いて相互作用項を制御した。
• $n=6$ の場合、臨界的状態における2つのバブルの重なりと相互作用を精密に見積もり、対数補正項 $|\log \Gamma(u)|^{1/2}$ を導出した。
• $n \geq 7$ の場合、スケーリング不変性と残差に関する鋭い $L^p$-型推定を用いて、最適な減衰率 $|\Gamma(u)|^{(n+2)/(2(n-2))}$ を示した。
• 評価の最適性を、境界を達成するテスト関数の構成によって証明し、より良いレートが不可能であることを示した。

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 $n \geq 6$ の場合、$\|\Delta u + u^{(n+2)/(n-2)}\|_{H^{-1}} \to 0$ のとき、$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 \geq 7$ では減衰率が速いため、1未満の指数を持つべき乗則の境界が可能になる。
• 解析により、$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.