[論文レビュー] The sharp affine $L^2$ Sobolev trace inequality and variants

Pablo L. De Nápoli, Julián Haddad+2 more|arXiv (Cornell University)|Dec 15, 2015

Nonlinear Partial Differential Equations参考文献 18被引用数 3

ひとこと要約

この論文は、$L_p$ ビューゼマン＝ペティの重心不等式を用いて、半空間 $\mathbb{R}^n_+$ 上の鋭いアフィン $L^2$ ソボレフ境界値不等式を確立した。これはエスカーボとベッカーの古典的鋭い $L^2$ ソボレフ境界値不等式を包含するが、それよりも強い。新しい不等式はアフィン変換に関して不変であり、等号成立の条件を完全に特定しており、ユークリッドノルムに依存しないより深い幾何的構造を明らかにする。

ABSTRACT

We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by Escobar and Beckner. Our approach allows also to characterize all cases of equality in this case. For this new inequality, no Euclidean geometric structure is needed.

研究の動機と目的

• 古典的鋭い $L^2$ ソボレフ境界値不等式よりも強い鋭いアフィン $L^2$ ソボレフ境界値不等式を確立すること。
• 新しい不等式が $\mathbb{R}^n_+$ のすべてのアフィン変換に関して不変であることを示すこと。これは古典的バージョンがユークリッド幾何に依存するのとは対照的である。
• 新しい不等式におけるすべての等号成立ケースを特徴付けること。これはエスカーボとベッカーが知っている極値関数を拡張する。
• 新しい不等式が $\mathbb{R}^n$ のノルムの選択に依存せず、ベクトル空間構造とライプニッツ測度にのみ依存することを示すこと。
• $L_p$ ビューゼマン＝ペティの重心不等式を主要な道具として用いることで、アフィン等周不等式と境界値不等式を結びつけること。

提案手法

• 著者たちは、新しいアフィン境界値不等式を導出する中心的な解析的道具として $L_p$ ビューゼマン＝ペティの重心不等式を用いた。
• 双対性の議論とフォビニの定理を適用し、$L^p$ ノルムの勾配と境界 $\partial\mathbb{R}^n_+$ におけるトレースを関係づけた。
• 証明には、関数の等高線集合の $L_p$ 重心体を用いてトレースノルムを制御する関数 $\mathcal{E}_p(f)$ の構成が含まれる。
• 不等式は、ホルダーの不等式、ヤングの不等式、および $L_p$ ビューゼマン＝ペティの重心不等式を組み合わせることで、勾配の全 variation に対してトレースを上から抑える形で導出された。
• 著者たちは、$\mathrm{GL}_{n,+}$ 変換に関して不変性を実現するため、$\mathbb{R}^n$ 上の凸関数 $C_f^*$ を定義した。
• ガンマ関数の恒等式に依存する、詳細な漸近的解析とベータ関数の評価を用いて、不等式における鋭い定数を計算した。

実験結果

リサーチクエスチョン

• RQ1 エスカーボとベッカーの古典的鋭い $L^2$ ソボレフ境界値不等式よりも強い、鋭いアフィン版の $L^2$ ソボレフ境界値不等式を導出できるか？
• RQ2 $L_p$ ビューゼマン＝ペティの重心不等式は、アフィン不変境界値不等式を構築する際に果たす役割は何か？
• RQ3 新しいアフィン不等式の極値関数は、古典的不等式のそれらとどのように関係しているか。また、新しい設定における等号成立の条件は何か？
• RQ4 新しい不等式はユークリッドノルムに依存せず、ベクトル空間構造と測度論的構造にのみ依存して定式化できるか？
• RQ5 新しい不等式は古典的ものよりも厳密に強いのか。もしそうなら、極値関数において両者が異なるのはどのような条件下か？

主な発見

• 鋭いアフィン $L^2$ ソボレフ境界値不等式は、エスカーボとベッカーの古典的鋭い $L^2$ ソボレフ境界値不等式よりも厳密に強く、それは特殊な場合として包含される。
• 新しい不等式は $\mathbb{R}^n_+$ のすべてのアフィン変換に関して不変であり、$\mathbb{R}^n$ のノルムの選択に依存しない。これは古典的バージョンには見られない性質である。
• 新しい不等式におけるすべての等号成立ケースは完全に特徴付けられている。それは関数の等高線集合 $K_{f,0}$ が楕円体である場合に限り、適切な $\mathrm{GL}_{n,+}$ 変換を施した後、関数が $x$ に関して回転対称になるときに発生する。
• 新しい不等式の極値関数は、まさに古典的不等式のそれらと一致する。すなわち、$f(t,x) = \gamma \left( (t+\delta)^2 + |x - x_0|^2 \right)^{-(n-2)/2}$ の形の関数であり、既知の結果と整合性を保つ。
• 不等式における鋭い定数はガンマ関数とベータ積分を用いて明示的に計算され、$n$ と $p=2$ のみに依存する。古典的ケースに制限した場合、既知の値と一致する。
• この手法は一般の $1 < p < n$ への拡張のためのフレームワークを提供するが、$p \neq 2$ の場合における極値関数の完全な特徴付けは未解決のままである。