[論文レビュー] On a variant of Gagliardo-Nirenberg inequality deduced from Hardy

Agnieszka Kałamajska, Katarzyna Pietruska-Pałuba|ArXiv.org|Oct 30, 2009

Advanced Harmonic Analysis Research参考文献 38被引用数 5

ひとこと要約

この論文は、測度が二重化でないことを前提とせず、重み付きハーディー型不等式から導出することによって、オーリッチスぺースにおける新しい重み付きガリャルド＝ニレングラフ不等式を確立する。主な貢献は、$\nabla_2$-条件とヤング型双対性を満たす$N$-関数に対して、モジュラー型およびノルム型のガリャルド＝ニレングラフ不等式を導く一般枠組みを提供することであり、従来の結果を非二重化測度へと拡張し、$M = P = Q$ の場合を含む。

ABSTRACT

We obtain new variants of weighted Gagliardo-Nirenberg interpolation inequalities in Orlicz spaces, as a consequence of weighted Hardy-type inequalities. The weights we consider need not be doubling.

研究の動機と目的

• 一般的で、非二重化測度を伴うオーリッチスぺースへのガリャルド＝ニレングラフ補間不等式の拡張を図ること。
• 重み付きハーディー型不等式を基盤として、モジュラー型およびノルム型のガリャルド＝ニレングラフ不等式を確立すること。
• [27] などの先行研究で除外されていた $M = P = Q$ の制限を撤廃すること。
• $\nabla_2$-条件とヤング型双対性を満たす $N$-関数に対して有効な一般枠組みを提供すること。
• $L^p$ スペースにおける既存の結果を、特に非有界領域における有限質量測度を伴うオーリッチ設定に一般化すること。

提案手法

• 重み付きハーディー型モジュラー不等式 $\int_{\Omega}P(|\nabla\varphi||u|)d\mu \leq K_1\int_{\Omega}P(A|\nabla u|)d\mu + K_2\int_{\Omega}M(|u|)d\mu$ からガリャルド＝ニレングラフ不等式を導出する。ここで $\mu(dx) = e^{-\varphi(x)}dx$ である。
• $M$ が $\nabla_2$-条件を満たす $N$-関数であることにより、オーリッチ空間が適切に定義されることを保証する。
• ヤング型不等式 $\frac{M(u)}{u^2}vw \leq M(u) + P(v) + Q(w)$ を用いて、関数 $M$、$P$、$Q$ の双対構造を結びつける。
• 局所的Poincaré不等式や二重化測度の仮定に依存しない、グローバル不等式のみを扱う。
• べき乗重み $|x|^\alpha$ やガウス型測度といった特定のケースに枠組みを適用し、$A_p$ 重みに関する既知の結果を用いて条件を検証する。
• $\varphi(x) = -a\ln\delta(x)$ のとき $|\nabla\varphi(x)| \asymp \frac{1}{\delta(x)}$ であるという事実を用い、ハーディー不等式条件 (H) を検証する。

実験結果

リサーチクエスチョン

• RQ1 測度が二重化でない場合に、オーリッチスぺースにおけるガリャルド＝ニレングラフ不等式を、ハーディー型不等式から導出可能か。
• RQ2 一般的重みのもとで、モジュラー型ガリャルド＝ニレングラフ不等式の正当性を保証する $N$-関数 $M$、$P$、$Q$ の条件は何か。
• RQ3 [27] で以前は除外されていたが、オーリッチスぺースにおけるガリャルド＝ニレングラフ不等式で $M = P = Q$ の制限を撤廃できるか。
• RQ4 有限質量を伴う非有界領域における測度（例：ガウス分布やべき乗重み付き測度）に対して、導出された不等式はどのように振る舞うか。
• RQ5 重み関数 $\varphi$ が、基礎となるハーディー型不等式 (H) の正当性を保証するために果たす役割は何か。

主な発見

• $\nabla_2$-条件を満たす任意の $N$-関数 $M$ に対して有効な一般枠組みを確立し、重み付きハーディー型不等式からモジュラー型ガリャルド＝ニレングラフ不等式を導出可能である。
• $u$-に依存しない定数 $L, B$ を用いた不等式 $\int_{\Omega}M(|\nabla u|)d\mu \leq L\int_{\Omega}P(|\nabla^{(2)}u|)d\mu + \int_{\Omega}Q(B|u|)d\mu$ が成立し、従来の結果を拡張する。
• $L^p$-設定では、$\frac{1}{q} + \frac{\alpha-1}{n} > 0$、$q > 1$、$\frac{2}{p} = \frac{1}{q} + \frac{1}{r}$ の下で、不等式 $\left(\int_{\Omega}|\nabla u|^p|x|^\alpha dx\right)^{2/p} \leq c \left(\int_{\Omega}|\nabla^{(2)}u|^q|x|^\alpha dx\right)^{1/q} \left(\int_{\Omega}|u|^r|x|^\alpha dx\right)^{1/r}$ が証明される。
• $M = P = Q$ の場合が今や許容され、[27] で除外されていた制限が解消された。
• べき乗重み $|x|^\alpha$ の場合、$\mu(dx) = |x|^\alpha dx$ に対して、不等式 $\|\nabla u\|_{L^M(\Omega,\mu)}^2 \leq c \|\nabla^{(2)}u\|_{L^q(\Omega,\mu)} \|u\|_{L^Q(\Omega,\mu)}$ が、適切なヤング型双対性のもとで成立する。
• 非二重化測度、たとえば $\mu(dx) = e^{-\varphi(x)}dx$ で $\varphi(x) = -a\ln\delta(x)$ の場合にも、この枠組みは適用可能であり、有限質量測度を伴う非有界領域上での不等式の構築を可能にする。