[論文レビュー] Optimal quantitative estimates of Struwe's Decomposition

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

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

ひとこと要約

本稿は臨界次元におけるStruweの分解に関して最適な定量的評価を確立し、関数 $u$ がTalentiバブルの多様体からの $\dot{H}^1$-距離 $\delta(u)$ が $n=6$ に対して $\delta(u) \leq C \Gamma(u) |\log \Gamma(u)|^{1/2}$ および $n \geq 7$ に対して $\delta(u) \leq C |\Gamma(u)|^{(n+2)/(2(n-2))}$ を満たすことを証明する。最適性は極値列の構成により示される。

ABSTRACT

Suppose $u\in \dot{H}^1(\mathbb{R}^n)$. In a fundamental paper \cite{struwe1984global}, Struwe proved that if $||\Delta u+u^{\frac{2n}{n-2}}||_{H^{-1}}:=\Gamma(u) o 0$ then $\delta(u) o 0$, where $\delta(u)$ denotes the $\dot{H}^1(\mathbb{R}^n)$-distance of $u$ from the manifold of sums of Talenti bubbles. In \cite{figalli2020sharp}, Figalli and Glaudo obtained the first quantitative version of Struwe's decomposition in lower dimensions, namely $\delta(u)\lesssim \Gamma(u)$ when $3\leq n\leq 5$. %More precisely, if $\delta(u)$ denotes the $H^1(\mathbb{R}^n)$-distance of $u$ from the manifold of sums of Talenti bubbles, they proved $\delta(u)\lesssim \Gamma:=||\Delta u+u|u|^p||_{H^{-1}}$. In this paper, we show that $\delta (u) \leq C \Gamma (u) \left| \log \Gamma (u) ight|^{\frac{1}{2}}$ if $n=6$ and $\delta (u) \leq C |\Gamma (u)|^{\frac{n+2}{2(n-2)}} $ when $n\geq 7$. Furthermore, we show that this inequality is optimal.

研究の動機と目的

• 臨界ケース $n=6$ および超臨界ケース $n\geq 7$ におけるStruweの分解の最適な定量的評価を確立すること。
• $\Gamma(u) = \|\Delta u + u^{\frac{2n}{n-2}}\|_{H^{-1}}$ として定義される残差ノルムを用いた、Talentiバブル多様体からの距離 $\delta(u)$ の定量的理解を拡張すること。
• 導出された境界が最適であることを、極値列の構成により証明すること。

提案手法

• 濃縮・コンパクトネスおよびバブルツリー解析を用いた $\dot{H}^1$-距離 $\delta(u)$ の精密な評価の導出。
• 重み付き $L^2$ および $H^{-1}$ 評価の適用により、臨界および超臨界領域における残差項 $\Gamma(u)$ を制御すること。
• $\Gamma(u)$ と $\delta(u)$ を制御したテスト関数の構成により、境界の最適性を示すこと。
• $n=6$ の場合における濃縮プロファイルの対数発散を捉えるために、対数補正を用いること。
• 変分的手法および漸近解析を用いて、最適な爆発プロファイルを特徴づけること。
• $n\geq 7$ における境界の鋭い指数 $\frac{n+2}{2(n-2)}$ を、スケーリングおよび既知の極値プロファイルとの比較により確立すること。

実験結果

リサーチクエスチョン

• RQ1 臨界次元 $n=6$ における、Talentiバブル多様体からの $\dot{H}^1$-距離 $\delta(u)$ の最適な定量的減衰率は何か？
• RQ2 $n\geq 7$ の超臨界次元において、$\delta(u)$ の最適減衰率は $\Gamma(u)$ に対してどのようにスケーリングされるか？
• RQ3 $\Gamma(u)$ を用いた $\delta(u)$ の境界が、明示的な極値列の構成により最適であることを証明できるか？
• RQ4 $n=6$ の場合における対数補正の役割は何か？なぜ最適性のためには必要不可欠なのか？
• RQ5 $n\geq 7$ の境界における指数 $\frac{n+2}{2(n-2)}$ は最適であるか、それ以上改善可能か？

主な発見

• $n=6$ において、境界 $\delta(u) \leq C \Gamma(u) |\log \Gamma(u)|^{1/2}$ が確立され、それが最適であることが証明された。
• $n\geq 7$ において、境界 $\delta(u) \leq C |\Gamma(u)|^{(n+2)/(2(n-2))}$ が導出され、それが鋭いことが示された。
• $n=6$ の場合における対数補正は、次元の臨界性および残差項の緩やかな減衰に起因する。
• $n=6$ および $n\geq 7$ の両ケースにおいて、鋭い減衰率を達成する極値列が構成された。
• $n\geq 7$ の超臨界領域における指数 $\frac{n+2}{2(n-2)}$ は最適であり、改善不可能である。
• 本結果により、すべての次元 $n \geq 3$ においてStruweの分解の定量的図像が完成した。