[論文レビュー] Sobolev embeddings, extrapolations, and related inequalities

Óscar Domínguez, Sergey Tikhonov|arXiv (Cornell University)|Sep 27, 2019

Advanced Harmonic Analysis Research参考文献 75被引用数 6

ひとこと要約

本稿は、$Σ \in \{\mathbb{R}^d, \mathbb{T}^d, \Omega\}$ 上の関数における、臨界定常、臨界、超臨界定常の各領域におけるソボレフ埋め込みを特徴付けるための統一的枠組みを、制限的補間に基づいて提示する。再配置と滑らかさのモジュラスを含む点ごとの不等式が同値であることを確立し、ソボレフ埋め込みが滑らかな関数空間における外挿定理と同値であることを証明し、アスタフキンとミルマンが提起した、タオの外挿定理がこの文脈で有効かどうかという問題を解決する。

ABSTRACT

In this paper we propose a unified approach, based on limiting interpolation, to investigate the embeddings for the Sobolev space $(\dot{W}^k_p(\mathcal{X}))_0, \, \mathcal{X} \in \{\mathbb{R}^d, \mathbb{T}^d, Ω\}$, in the subcritical case ($k < d/p$), critical case ($k = d/p$) and supercritical case ($k > d/p$). We characterize the Sobolev embeddings in terms of pointwise inequalities involving rearrangements and moduli of smoothness/derivatives of functions and via extrapolation theorems for corresponding smooth function spaces. Applications include Ulyanov-Kolyada type inequalities for rearrangements, inequalities for moduli of smoothness, sharp Jawerth-Franke embeddings for Lorentz-Sobolev spaces, various characterizations of Gagliardo-Nirenberg, Trudinger, Maz'ya-Hansson-Brezis-Wainger and Brezis-Wainger embeddings, among others. In particular, we show that the Tao's extrapolation theorem holds true in the setting of Sobolev inequalities. This gives a positive answer to a question recently posed by Astashkin and Milman.

研究の動機と目的

• 制限的補間を用いて、臨界定常、臨界、超臨界定常の各場合を統一的に特徴付けるソボレフ埋め込みの枠組みを開発すること。
• 再配置と滑らかさのモジュラスを含む点ごとの不等式を用いて、埋め込み $(\dot{W}^k_p(\mathcal{X}))_0 \hookrightarrow Y$ の同値条件を確立すること。
• ソボレフ埋め込みが滑らかな関数空間における外挿定理と同値であることを示し、既知の結果を一般化すること。
• アスタフキンとミルマンが最近提起した、ソボレフ不等式の文脈におけるタオの外挿定理の有効性に関する未解決問題を解消すること。

提案手法

• 著者たちは、臨界定常（$k < d/p$）、臨界（$k = d/p$）、超臨界定常（$k > d/p$）の各領域において、制限的補間理論を用いて埋め込みを分析する。
• 再配置 $f^*$ と $k$ 階微分のモジュラス $\omega_k(f,t)_p$ を含む点ごとの不等式を通じて、埋め込みの同値特徴づけを導出する。
• 特に、$\dot{W}^k_p$ 空間の $K$-関数と $L_p$-に基づくローレンツ空間の $K$-関数との関係に注目し、関数空間に対する外挿定理に基づく手法を用いる。
• 主な技術的道具には、ハーディー型不等式、モジュラスの性質、およびローレンツ空間とベソフ空間のための補間補題が含まれる。
• 著者たちは、$V^k_p$ 空間の $K$-関数を明示的に計算し、$K(t,f; (V^k_1)_{0}, (V^k_\infty)_{0}) \asymp \sum_{|\alpha|=k} \int_0^t (D^\alpha f)^*(u)\,du$ を示す。これにより、外挿定理の同値性が実現される。
• これらの結果を応用して、既知の不等式（ガリャルド＝ニレングラフ、トゥリディンガー、マズヤ＝アンスン＝ブレジス＝ヴァイナー、ジャーヴァー＝フランケ）を回復・一般化する。

実験結果

リサーチクエスチョン

• RQ1 臨界定常、臨界、超臨界定常のすべての領域におけるソボレフ埋め込みを、補間理論を用いて一様に特徴づけることは可能か？
• RQ2 再配置と滑らかさのモジュラスを含む点ごとの不等式は、ソボレフ埋め込みと同値か？
• RQ3 アスタフキンとミルマンが最近提起したように、タオの外挿定理はソボレフ不等式の文脈で有効か？
• RQ4 ガリャルド＝ニレングラフ、トゥリディンガー、ブレジス＝ヴァイナーなどの既知の埋め込みは、この統一的枠組みを通じて回復・一般化可能か？
• RQ5 制限的補間設定下で、ソボレフ空間の $K$-関数とローレンツ空間の $K$-関数の正確な関係は何か？

主な発見

• 本稿は、臨界定常埋め込み $(\dot{W}^k_p(\mathbb{R}^d))_0 \hookrightarrow L_{p^*,q}(\mathbb{R}^d)$ に対して、4つの同値条件を確立し、そのうちの一つは $f^*$ と $\omega_k(f,t)_p$ を含む点ごとの不等式である。
• 端点におけるガリャルド＝ニレングラフ不等式 $\|f\|_{L_{d',1}} \leq C \||\nabla f|\|_{L_1}$ が、$s \to 1^-$ の制限的補間条件と同値であることを証明する。
• 臨界ケースにおける指数型オルリッチ空間への埋め込み（トゥリディンガー型）は、$\omega_k(f,t)_p$ と $f^*$ を含む制限的補間条件によって特徴づけられる。
• 超臨界定常ケースは、ブレジス＝ヴァイナー不等式を用いて完全に特徴づけられ、$f^*$ と $\omega_k(f,t)_p$ におけるリプシッツ型条件と同値であることが示される。
• 著者たちは、$V^k_p$ 空間の $K$-関数が $K(t,f; (V^k_1)_0, (V^k_\infty)_0) \asymp \sum_{|\alpha|=k} \int_0^t (D^\alpha f)^*(u)\,du$ を満たすことを証明し、これにより外挿定理の同値性が裏付けられる。
• 本稿は、アスタフキンとミルマンの問いに対して肯定的な答えを提示し、タオの外挿定理がソボレフ設定において有効であることを示している。