[論文レビュー] Necessary Conditions for Fractional Hardy-Sobolev's Inequalities

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Aug 5, 2011

Advanced Harmonic Analysis Research参考文献 26被引用数 3

ひとこと要約

本稿は、拡大法とグランドルベーグ空間理論を用いて、多変数ユークリッド空間における分数階ハーディー＝ソボレフ不等式の必要条件を確立する。不等式の同次性を特徴付けるスケーリング恒等式を導出し、混合ノルムおよび表面型変種を含むさまざまな設定における最適定数の鋭い下界を提供するとともに、臨界指数付近での明確な漸近的挙動を示す。

ABSTRACT

In this short article we obtain some necessary conditions for a so-called fractional Hardy-Sobolev's inequalities in multidimensional case. We also give some examples to show the sharpness of these inequalities.

研究の動機と目的

• 多変数領域、特に $\mathbb{R}^d$ における分数階ハーディー＝ソボレフ不等式の正当性のための必要条件を導出すること。
• さまざまな不等式タイプにおける最適定数 $K_{HS}(p,q)$, $K_{M;HS}(p,q,r)$, $K_{S;HS}(p,q)$, および $K_{DD;HS}(p,s)$ の鋭い下界を確立すること。
• 古典的ルベーグ＝ライズ空間をグランドルベーグ空間へ一般化し、これらの広範な関数空間における不等式の挙動を分析すること。
• 臨界指数付近での漸近的解析と明示的な反例を用いて不等式の鋭さを調査すること。
• 結果を混合ノルムおよび非一様グランドルベーグ空間へ拡張し、不等式を統一的な枠組みで扱えるようにすること。

提案手法

• G. タレントの拡大法を適用し、任意の非定数 $u \in C_0^\infty(\mathbb{R}^d)$ が不等式を満たす場合に成立しなければならないスケーリング恒等式を導出する。
• グランドルベーグ空間におけるノルム同値 $\|f\|_{G\psi} \asymp \sup_{p \in (a,b)} \frac{|f|_p}{\psi(p)}$ を用いて、作用素の有界性を特徴付ける。
• 差分ノルムと点付きノルムを関連付けるために、$\delta_\lambda[u](x,y) = \frac{u(x)-u(y)}{|x-y|^{\lambda d}}$ および $S_\lambda[u](x) = \frac{u(x)}{|x|^{\lambda d}}$ の作用素を導入する。
• スケーリングから導かれる同次性条件を満たす指数 $(p,q)$ の集合として、領域 $R_r(\alpha(1),\alpha(2),\beta,\mu;d)$ を定義する。
• 関数 $\psi_5(r) = \inf_{(p,q)\in R_r} \left[ \nu(p,q) K_{M;HS}(p,q) \right]$ を構成し、$S_\lambda u$ のグランドルベーグノルムの上界を求める。
• 混合ノルム設定への拡張のために、$L_{\vec{p}}$ 空間における要因分解および非一様ノルム構造を用いる。

実験結果

リサーチクエスチョン

• RQ1 分数階ハーディー＝ソボレフ不等式が $\mathbb{R}^d$ で成立するためには、どのようなスケーリング条件が満たされなければならないか？
• RQ2 すべての $u \in C_0^\infty(\mathbb{R}^d)$ に対して一様に成立する不等式が成り立つための指数 $p,q,\alpha(1),\alpha(2),\beta,\mu$ に対する必要条件は何か？
• RQ3 グランドルベーグ空間設定において、$p \to 1/\lambda$ のとき最適定数はどのように漸近的に振る舞うか？
• RQ4 混合ノルムハーディー＝ソボレフ不等式は、非一様グランドルベーグノルムによって特徴付けられるか？
• RQ5 グランドルベーグ空間不等式 $\|S_\lambda u\|_{G\psi_2} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\psi_1}$ の定数 1 は鋭いか？

主な発見

• 通常の分数階ハーディー＝ソボレフ不等式 (1.1a) が $\mathbb{R}^d$ で成立するための必要条件として、$\frac{d - \mu}{q} = \frac{2d + \alpha(1) + \alpha(2) - \beta}{p}$ が成り立つ必要がある。
• 関数 $u_0(x) = |\log|x|| \cdot I(|x| \leq 1)$ を用いた反例により、グランドルベーグ空間不等式 $\|S_\lambda u\|_{G\psi_2} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\psi_1}$ の定数 1 が最適であることが示された。
• 関数 $\psi_4(p)$ が $\lim_{p \to 1/\lambda} \frac{p \psi_4(p)}{|p - 1/\lambda|^\lambda} = 0$ を満たす場合、比 $\frac{\|S_\lambda u_0\|_{G\psi_4}}{\|\delta_\lambda u_0\|_{G\psi_1}} \to \infty$ となることが示され、この境界の鋭さが証明された。
• 不等式 $\|S_\lambda u\|_{G\psi_5} \leq \|\delta_\lambda u \cdot |x-y|^{-\lambda d}\|_{G\nu}$ は $\psi_5(r) = \inf_{(p,q) \in R_r} \left[ \nu(p,q) K_{M;HS}(p,q) \right]$ を用いて成立し、混合ノルムグランドルベーグ空間における鋭い埋め込みを確立した。
• 関数 $\psi_3(p) = \frac{p \psi_2(p)}{|1/\lambda - p|}$ は弱く正確な推定を与える：$\|S_\lambda u\|_{G\psi_3} \leq C \|\delta_\lambda u\|_{G\psi_1}$ だが、定数は一様に改善できない。
• ノルム $|f|_{\vec{p}}$ および空間 $G_Q(\nu)$ を用いて、$\nu(p)$ が $\mathbb{R}^d$ の領域 $Q$ 上で正の連続関数である場合、結果は非一様グランドルベーグ空間へ拡張可能である。