[論文レビュー] Symmetry of optimizers of the Caffarelli-Kohn-Nirenberg inequalities

Jean Dolbeault, Maria J. Esteban+1 more|arXiv (Cornell University)|Mar 11, 2016

Nonlinear Partial Differential Equations参考文献 6被引用数 7

ひとこと要約

本稿では、パラメータ空間におけるFelli-Schneider領域の補集合において、Caffarelli-Kohn-Nirenberg不等式の最適化子が回転対称であることを、円筒座標系への変換と球面上での精密なBochner型恒等式を用いた第二変分の解析によって確立している。主な結果は、対称性の破れが特定のパラメータ領域内でのみ発生する一方で、他ではグローバル最適化子が回転対称的であるということであり、重み付き不等式における変分解析および対称性理論における長年の未解決問題を解決している。

ABSTRACT

In their simplest form, the Caffarelli-Kohn-Nirenberg inequalities are a two parameter family of inequalities. It has been known that there is a region in parameter space where the optimizers for the inequalities have broken symmetry. It has been shown recently that in the complement of this region the optimizers are radially symmetric. The ideas for the proof will be given.

研究の動機と目的

• 対称性の破れが既に知られていたパラメータ領域において、Caffarelli-Kohn-Nirenberg不等式の最適化子の対称性特性を解明すること。
• Felli-Schneider領域の補集合において、すべての非負の最適化子が回転対称的であることを確立すること。
• 円筒座標系への変換と球面上のスペクトル解析に基づく、厳密な解析的枠組みを構築し、対称性の結果を証明すること。
• 第二変分と曲率に基づく恒等式を用いて、重み付きSobolev不等式における最適定数と剛性の理解を拡張すること。

提案手法

• 変数変換 $w(r,\omega) = r^{a-a_c} \phi(\log r, \omega)$ を用いて、元の不等式を $\mathbb{R} \times \mathbb{S}^{d-1}$ 上の問題に変換する。
• Euler-Lagrange方程式を円筒上での非線形PDEとして再定式化する：$-\partial_z^2 \phi - \Delta_\omega \phi + \Lambda \phi = \phi^{p-1}$ かつ $\Lambda = (a - a_c)^2$。
• 球面 $\mathbb{S}^{d-1}$ 上に精密なBochner-Lichnerowicz-Weitzenböck公式を適用し、第二変分を非負の二次形式に分解する。
• トレースフリーのヘッセ行列とリッチ曲率を含む点ごとの恒等式を導出し、$\alpha \leq \alpha_{\rm FS}$ の条件下で非負性を示す。
• 重み $\mathsf{p}^{1-n}$ を用いた部分積分により境界項を制御し、二次形式の消滅が径方向依存性を意味することを証明する。
• 等号成立の場合にのみ、解が $\phi(z) = \left( \frac{2}{p\Lambda} \cosh^2\left( \frac{p-2}{2} \sqrt{\Lambda} \, z \right) \right)^{-1/(p-2)}$ の形をとることを、臨界スケーリング条件のもとで確立する。

実験結果

リサーチクエスチョン

• RQ1 パrameter $a$ と $b$ がどのような条件下で、Caffarelli-Kohn-Nirenberg不等式の最適化子が回転対称的となるか？
• RQ2 第二変分が径方向解に対して正定値である領域において、グローバル最小化子の対称性を証明できるか？
• RQ3 球面上のリッチ曲率は、円筒上に変換されたPDEの解の安定性および対称性にどのような役割を果たすか？
• RQ4 重み付きSobolev設定における臨界指数解に対して、部分積分における境界項をどのように制御できるか？

主な発見

• Felli-Schneider領域 $\mathcal{R}_{\rm FS}$ の補集合において、Euler-Lagrange方程式のすべての非負な $L^p$ 解は回転対称的であり、$w(x) = \left(A + B |x|^{2\alpha}\right)^{-(d-2)/2}$ の形をとる。ここで $\alpha = \frac{(1+a-b)(a_c - a)}{a_c - a + b}$ である。
• Felli-Schneider領域の補集合において、径方向解の第二変分は正定値であり、安定性を示唆し、グローバル最小化子の対称性を示唆する。
• 変換された不等式 (5) において等号が成立するのは、$\Lambda \leq 4(d-1)/(p^2 - 4)$ の条件下で、$\phi(z) = \phi_\Lambda(z + z_0)$ の形の解が存在する場合に限る。
• Bochner恒等式から導かれる二次形式の消滅は、解が $s = |x|$ のみに依存することを示し、回転対称性を確認する。
• 分析により、$\alpha \leq \alpha_{\rm FS}$ のとき、精密恒等式のすべての項が非負であり、それらの消滅が回転対称性を強制することが示された。
• 特に、$p$ が $s$ 変数の臨界指数である臨界スケーリング領域において、部分積分の正当化と境界項の制御を可能にする詳細な正則性解析に依拠している。