[論文レビュー] Fractional Hardy-Sobolev-Maz'ya inequality for domains

Bartłomiej Dyda, Rupert L. Frank|arXiv (Cornell University)|Sep 29, 2011

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

ひとこと要約

本稿は、任意の領域における鋭い分数階のハーディー＝ソボレフ＝マズヤの不等式を確立し、分数階ソボレフ不等式とハーディー不等式を1つの不等式に統合し、ハーディー部分からの最適定数を保持する。主な結果は、すべての $ p \geq 2 $、$ 0 < s < 1 $、$ ps < N $ に対して有効な、$ u $ の $ L^q $-ノルムを含む一様な下界であり、定数 $ \sigma_{N,p,s} $ は領域に依存しない。

ABSTRACT

We prove a fractional version of the Hardy--Sobolev--Maz'ya inequality for arbitrary domains and $L^p$ norms with $p\geq 2$. This inequality combines the fractional Sobolev and the fractional Hardy inequality into a single inequality, while keeping the sharp constant in the Hardy inequality.

研究の動機と目的

• 任意の領域に対して、分数階ソボレフ不等式とハーディー不等式を統合する分数階のハーディー＝ソボレフ＝マズヤの不等式を確立すること。
• 分数階ハーディー不等式からの鋭い定数 $ \mathcal{D}_{N,p,s} $ が、統合された不等式に保持されること。
• 分数階ソボレフ半ノルムとハーディー項の差が、$ u $ の $ L^q $-ノルムを支配することを証明し、領域に依存しない一様な定数 $ \sigma_{N,p,s} $ を用いること。
• 従来、半空間または $ p=2 $ の場合にのみ知られていた結果を、一般の領域およびすべての $ p \geq 2 $ に拡張すること。
• 基底状態表現と積分推定を用いて、分数階 HSM 不等式の統一的枠組みを提供すること。

提案手法

• 半空間の場合の基底状態表現を用い、$ v(x) = x_N^{-(ps-1)/p}u(x) $ の変換により、ハーディー項とソボレフ項を分離する。
• 一般の領域では、[7] で示された局所的ケースの技術を拡張し、積分推定とガリア・ロデミッヒ・ラムゼー補題を用いて変動を制御する。
• 主要な技術的道具は、方向の角度平均を用いて定義される擬似距離 $ m_{ps}(x) $ の使用であり、これは境界への距離を一般化する。
• 1次元における $ \omega(x) = (1 - |x|)^{(ps-1)/p} $ を含む重み付き分数階ソボレフ半ノルムを用いて、エネルギー差の下界を導出する。
• ガリア・ロデミッヒ・ラムゼー不等式を適用し、分数階変動を介して $ L^q $-ノルムを制御し、エネルギー差と $ L^q $-ノルムを結びつける。
• スケーリングと $ \omega $ の減衰性質を用いて、$ v\omega $ の本質的上界の位置による場合分けに基づく証明を進める。

実験結果

リサーチクエスチョン

• RQ1 分数階ハーディー＝ソボレフ＝マズヤの不等式を、半空間からすべての $ p \geq 2 $ の任意の領域に拡張することは可能か？
• RQ2 分数階ハーディー不等式からの鋭い定数 $ \mathcal{D}_{N,p,s} $ を保持しつつ、$ u $ の $ L^q $-ノルムを制御することは可能か？
• RQ3 分数階ソボレフ半ノルムとハーディー項の差が、領域に依存しない定数 $ \sigma_{N,p,s} $ を用いて $ L^q $-ノルムを支配するか？
• RQ4 基底状態表現法を、一般の領域における非局所的分数階作用素にどのように適応できるか？
• RQ5 擬似距離 $ m_{ps}(x) $ は、非凸的または不規則な領域における境界距離の一般化において、果たす役割は何か？

主な発見

• 本稿は定理 1.1 を証明する：すべての開領域 $ \Omega \subset \mathbb{R}^N $、$ N \geq 2 $、$ p \geq 2 $、$ 0 < s < 1 $、$ ps < N $ に対して、領域 $ \Omega $ に依存しない一様な定数 $ \sigma_{N,p,s} > 0 $ を用いた不等式が成り立つ。
• 分数階ハーディー不等式における鋭い定数 $ \mathcal{D}_{N,p,s} $ が、統合された不等式に保持され、ハーディー部分の最適性が保証される。
• $ u $ の $ L^q $-ノルムは、分数階ソボレフ半ノルムとハーディー項の差によって制御され、$ q = Np/(N - ps) $ である。これは [9] の予想を裏付ける。
• $ p=2 $ の場合、本結果は、半空間に対してスローンが以前に証明した結果を、すべての領域に一般化する。基底状態表現の精密化されたバージョンが用いられる。
• 本手法により、$ \sigma_{N,p,s} $ が一様に得られ、非凸的または不規則な領域を含む、$ \Omega $ のさまざまな幾何的配置に対しても不等式が安定に成立する。
• 証明は、重み付き分数階積分と組み合わせたガリア・ロデミッヒ・ラムゼー補題の新しい応用に依存しており、エネルギー型の差を介して $ L^q $-ノルムを制御可能にする。