[論文レビュー] Stability for the Sobolev inequality: existence of a minimizer

Tobias König|arXiv (Cornell University)|Nov 25, 2022

Nonlinear Partial Differential Equations被引用数 4

ひとこと要約

本稿は、次元 $d \geq 3$ におけるSobolev不等式に関連するBianchi-Egnell安定性不等式の最小化子の存在を、洗練されたBrezis-Lieb型のコンパクト性議論を用いて確立する。厳密な不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ を証明し、二つのバブル構成が最小化子である可能性を除外する。さらに、$s \in (0, d/2)$、$d \geq 2$ の分数階Sobolevの場合にも結果を拡張する。主な貢献は、安定性定数の最適化子の存在を解明したことである。

ABSTRACT

We prove that the stability inequality associated to Sobolev's inequality and its set of optimizers $\mathcal M$ and given by \[ \frac{\| abla f\|_{L^2(\mathbb R^d)}^2 - S_d \|f\|_{L^\frac{2d}{d-2}(\mathbb R^d)}^2}{ \inf_{h \in \mathcal M} \| abla (f - h)\|_{L^2(\mathbb R^d)}^2 } \geq c_{BE} &gt; 0 \qquad ext{ for every } f \in \dot{H}^1(\mathbb R^d),\] which is due to Bianchi and Egnell, admits a minimizer for every $d \geq 3$. Our proof consists in an appropriate refinement of a classical strategy going back to Brezis and Lieb. As a crucial ingredient, we establish the strict inequality $c_{BE} &lt; 2 - 2^\frac{d-2}{d}$, which means that a sequence of two asymptotically non-interacting bubbles cannot be minimizing. Our arguments cover in fact the analogous stability inequality for the fractional Sobolev inequality for arbitrary fractional exponent $s \in (0, d/2)$ and dimension $d \geq 2$.

研究の動機と目的

• Bianchi-Egnell安定性不等式における最良定数 $c_{\text{BE}}$ が最小化子によって達成されるかどうかという未解決問題を解決すること。
• Bianchi-Egnell商の最小化列が、漸近的に相互作用のないTalentiバブルに集中することを除外し、最小化子の存在に対する非コンパクトな代替案を排除すること。
• 任意の $s \in (0, d/2)$ および $d \geq 2$ に対して、分数階Sobolev設定への存在結果を拡張し、古典的ケースを一般化すること。
• 厳密な不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ を確立し、二つのバブル構成が最小化子の候補として除外されることを示すこと。

提案手法

• Bianchi-Egnell商の最小化列を分析するために、古典的なBrezis-Liebの集中・コンパクト性戦略の洗練版が用いられる。
• 証明は、発散する集中速度と中心を持つ二つのTalentiバブルを含む関数の漸近的展開に依存する。
• 解析により、二つのバブル構成の商が $2 - 2^{\frac{d-2}{d}}$ に収束することが示され、これは $c_{\text{BE}}$ よりも厳密に大きい。これにより、このような構成が最小化に寄与しないことが排除される。
• 以前に知られていた厳密な不等式 $c_{\text{BE}} < \frac{4}{d+4}$ を活用し、スペクトル比較を用いて、1つのバブル型の最小化列を除外する。
• 非局所的Dirichletエネルギー $\|(-\Delta)^{s/2} f\|_{L^2}^2$ に適応した関数的枠組みと漸近的展開を用いることで、分数階Sobolev空間への一般化がなされる。
• 重要な技術的要素として、パラメータ $\mu = 1$ におけるプロファイル関数の第一および第二導関数の計算があり、これはTalentiバブル周辺の摂動の挙動を定量的に評価する。

実験結果

リサーチクエスチョン

• RQ1 Sobolev不等式のBianchi-Egnell安定性不等式における最良定数 $c_{\text{BE}}$ は最小化子によって達成されるのか、それとも極限でのみ達成されるのか？
• RQ2 漸近的に非相互作用的な二つのTalentiバブルが、Bianchi-Egnell商の最小化列を形成できるか？
• RQ3 二つのバブル構成が最小化子の候補でないことを示すために、厳密な不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ が成立するか？
• RQ4 $s \in (0, d/2)$ の分数階Sobolevの場合に、安定性不等式の最小化子の存在が拡張可能か？

主な発見

• すべての次元 $d \geq 3$ に対して、Bianchi-Egnell安定性不等式における最良定数 $c_{\text{BE}}$ が最小化子によって達成されることを証明し、長年の未解決問題を解決した。
• 厳密な不等式 $c_{\text{BE}} < 2 - 2^{\frac{d-2}{d}}$ が成り立つ。これは、二つのバブル構成が最小化列にはなり得ないことを示唆する。
• 最小化子は古典的Sobolevケースだけでなく、任意の $s \in (0, d/2)$ および $d \geq 2$ の分数階Sobolev不等式に対しても存在し、より広い不等式クラスに一般化された。
• 証明により、最小化列が無限遠に逃げたり、非相互作用的な二つのバブルに分裂したりすることは不可能であり、最小化子への強い収束が保証される。
• スペクトル定数 $c_{\text{BE}}^{\text{spec}} = \frac{4}{d+4}$ が $c_{\text{BE}}$ よりも厳密に大きいことが確認され、1つのバブル型の最小化子の可能性がさらに排除される。
• 洗練されたBrezis-Liebの議論と、二つのバブルプロファイルの関数的挙動に関する鋭い漸近的推定を組み合わせることで、最小化子の存在が確立された。