[論文レビュー] Fractional Sobolev and Hardy-Littlewood-Sobolev inequalities

Gaspard Jankowiak, Van Hoang Nguyen|arXiv (Cornell University)|Apr 3, 2014

Nonlinear Partial Differential Equations参考文献 19被引用数 10

ひとこと要約

本稿では、ハーディー＝リトルウッド＝ソボレフ不等式を含む剰余項を伴う、改良された分数階ソボレフ不等式の新しい簡潔な証明を提示している。これは、従来のラプラシアンから分数階ラプラシアンへの拡張である。著者らは、最良定数のより鋭い推定を導出し、端点微分を用いて球面上での改良されたモーザー＝トゥルデリ＝オノフリ不等式を確立した。この不等式は、立体射影を介して、ユークリッド空間における強化されたオノフリ不等式を導く。

ABSTRACT

This work focuses on an improved fractional Sobolev inequality with a remainder term involving the Hardy-Littlewood-Sobolev inequality which has been proved recently. By extending a recent result on the standard Laplacian to the fractional case, we offer a new, simpler proof and provide new estimates on the best constant involved. Using endpoint differentiation, we also obtain an improved version of a Moser-Trudinger-Onofri type inequality on the sphere. As an immediate consequence, we derive an improved version of the Onofri inequality on the Euclidean space using the stereographic projection.

研究の動機と目的

• 古典的ラプラシアンから分数階ラプラシアンへの、ハーディー＝リトルウッド＝ソボレフ剰余項を伴う改良されたソボレフ不等式の拡張。
• 高速拡散フローによる技術的制限を回避する、すべての次元 n ≥ 3 に対して適用可能なより簡潔な証明の提供。
• 改良された分数階ソボレフ不等式における最良定数のより鋭い推定の導出。
• 端点微分を用いて、球面上での改良されたモーザー＝トゥルデリ＝オノフリ不等式の確立。
• 球面からの立体射影を用いて、ユークリッド空間におけるオノフリ不等式を回復・精緻化すること。

提案手法

• 既知の鋭い分数階ソボレフ不等式およびハーディー＝リトルウッド＝ソボレフ不等式から、分数階設定における端点微分を用いて改良された不等式を導出する。
• レジェンドル変換および非線形拡散フローを介した、分数階ソボレフ不等式とハーディー＝リトルウッド＝ソボレフ不等式の双対性の応用。
• 立体射影を活用して、球面上の不等式をユークリッド空間に移行する。
• ハーディー＝リトルウッド＝ソボレフ関数を含む、新たな剰余項をソボレフ不等式に導入し、凸関数 φ(x) = √(C² + 2Cx) − C を用いて表現する。
• 密度論的議論および最小化列を用いて、シュワルツ関数から全均質ソボレフ空間 Ẇ^{s}(ℝⁿ) への結果の拡張。
• 背理法を用いて、改良された不等式における最良定数 C_{n,s}^* が C_{n,s}^* < S_{n,s} を満たすことを示し、古典的分数階ソボレフ不等式に対する厳密な改善を確認する。

実験結果

リサーチクエスチョン

• RQ1 ハーディー＝リトルウッド＝ソボレフ剰余項を伴う改良された分数階ソボレフ不等式は、古典的ラプラシアンから分数階ラプラシアンへの拡張が可能か？
• RQ2 改良された分数階ソボレフ不等式における最良定数の最適推定は何か？ また、高速拡散フローに依存せずにどのように導出可能か？
• RQ3 分数階設定における端点微分は、球面上での改良されたモーザー＝トゥルデリ＝オノフリ不等式をどのように導くか？
• RQ4 球面上での改良されたモーザー＝トゥルデリ＝オノフリ不等式は、立体射影を介してユークリッド空間に移行可能であり、より鋭いオノフリ不等式をもたらすか？
• RQ5 改良された不等式における最良定数は、鋭いソボレフ定数 S_{n,s} よりも厳密に小さいか？

主な発見

• 本稿では、すべての n ≥ 3 および 0 < s < 1 に対して有効である、ハーディー＝リトルウッド＝ソボレフ不等式を含む剰余項を伴う改良された分数階ソボレフ不等式の新しい簡潔な証明を確立した。
• 改良された不等式における最良定数 C_{n,s}^* は、C_{n,s}^* ≤ (n+2s)/n (1 − e^{−n/(2s)}) S_{n,s} を満たし、従来の結果よりも鋭い境界を与える。
• C_{n,s}^* < S_{n,s} であることが証明され、古典的分数階ソボレフ不等式に対する不等式の厳密な改善が確認された。
• 端点微分を用いて、凸関数 φ(x) = √(C² + 2Cx) − C を用いて表現される剰余項を伴う、球面上での改良されたモーザー＝トゥルデリ＝オノフリ不等式が導出された。
• 立体射影を適用することで、球面上の改良されたモーザー＝トゥルデリ＝オノフリ不等式は、n ≥ 3 に対してユークリッド空間における新たな鋭いオノフリ不等式をもたらす。
• 本手法は高速拡散フローの技術的制約を回避し、ソボレフ不等式とハーディー＝リトルウッド＝ソボレフ不等式の双対性を研究するより明快で一般性の高い枠組みを提供する。