[論文レビュー] Hardy type inequality in variable Lebesgue spaces

Humberto Rafeiro, Stefan Samko|ArXiv.org|Apr 22, 2008

Advanced Harmonic Analysis Research参考文献 28被引用数 17

ひとこと要約

本稿は、$p(\cdot)$ における対数条件と $\mathbb{R}^n \setminus \overline{\Omega}$ の錐性条件の下で、可変 Lebesgue 空間 $L^{p(\bullet)}(\Omega)$ における Hardy 型不等式の正当性と、$\alpha$ および特性関数 $\chi_\Omega$ に関連する領域 $\Omega$ の幾何的性質との同値性を確立する。主な結果は、不等式 $\left\| \frac{1}{\delta(x)^\alpha} \int_\Omega \frac{\varphi(y)}{|x-y|^{n-\alpha}} \, dy \right\|_{p(\cdot)} \leq C \|\varphi\|_{p(\cdot)}$ が成り立つのは、$\Omega$ が特定の $(\alpha, p(\cdot))$-性質を満たすときであり、かつそのときに限ることを示し、古典的結果を可変指数設定に一般化する。

ABSTRACT

We prove that in variable exponent spaces $L^{p(\cdot)}(Ω)$, where $p(\cdot)$ satisfies the log-condition and $Ω$ is a bounded domain in $\mathbf R^n$ with the property that $\mathbf R^n \backslash \barΩ$ has the cone property, the validity of the Hardy type inequality $$| 1/δ(x)^α\int_Ωϕ(y) dy/|x-y|^{n-α}|_{p(\cdot)} \leqq C |ϕ|_{p(\cdot)}, \quad 0

研究の動機と目的

• 可変指数 Lebesgue 空間 $L^{p(\cdot)}(\Omega)$ における Hardy 型不等式の正当性の必要十分条件を確立すること。
• 不等式 $\left\| \frac{1}{\delta(x)^\alpha} \int_\Omega \frac{\varphi(y)}{|x-y|^{n-\alpha}} \, dy \right\|_{p(\cdot)} \leq C \|\varphi\|_{p(\cdot)}$ が $0 < \alpha < \min(1, n/p_+)$ の範囲で成り立つような領域 $\Omega$ を特徴づけること。
• 古典的 Hardy 不等式の結果を、可変指数設定に一般化するために、不等式の正当性と同値な領域の性質を同定すること。
• 可変 $L^{p(\cdot)}$ 空間における特異積分作用素の有界性が、領域の幾何的および解析的性質とどのように関連するかを示す一般的枠組みを提供すること。

提案手法

• 著者らは、Hardy 型不等式の正当性を特徴付ける新しい領域性質、すなわち $(\alpha, p(\cdot))$-性質を導入する。
• 彼らは、不等式に現れる特異積分をモデル化するために、分数的積分作用素および Riesz 核 $k_{1,\alpha}(z) = |z|^{\alpha - n}$ を用いる。
• 主要な技術として、径向的減少核 $\psi_\varepsilon$ および $\phi_\varepsilon$ を用いた最大関数と畳み込み推定を用いて、作用素ノルムを支配する。
• 証明は、$p(\cdot)$ における対数条件の下で、Hardy-Littlewood 最大作用素が可変 Lebesgue 空間で有界であることに依拠する。
• 変数変換と $\mathbb{R}^n \setminus \overline{\Omega}$ の錐性条件を用いた、集合 $\Omega(x, \xi)$ の幾何的解析を通じて同値性を確立する。
• Hajłasz および Kinnunen-Martio のアプローチを可変指数空間に適応した、点ごとの不等式に基づく手法を適用する。

実験結果

リサーチクエスチョン

• RQ1 領域 $\Omega$ が $p(\cdot)$ における対数条件および $\mathbb{R}^n \setminus \overline{\Omega}$ の錐性条件を満たすとき、可変 Lebesgue 空間における Hardy 型不等式 $\left\| \frac{1}{\delta(x)^\alpha} \int_\Omega \frac{\varphi(y)}{|x-y|^{n-\alpha}} \, dy \right\|_{p(\cdot)} \leq C \|\varphi\|_{p(\cdot)}$ が成り立つための幾何的および解析的条件は何か？
• RQ2 可変指数空間 $L^{p(\cdot)}(\Omega)$ における Hardy 不等式の正当性が、$\alpha$ および $\chi_\Omega$ を含む領域 $\Omega$ の特定の性質と同値であるか？
• RQ3 $p(\cdot)$ における対数条件が、特異積分作用素の有界性を保証するための領域の幾何とどのように作用するか？
• RQ4 古典的 Hardy 不等式を、領域に基づく基準を用いて可変指数空間に一般化できるか？

主な発見

• 可変 Lebesgue 空間 $L^{p(\cdot)}(\Omega)$ における Hardy 型不等式は、定義 9 で定義された $(\alpha, p(\cdot))$-性質を満たす領域 $\Omega$ であるときかつそのときに限り成立する。
• 不等式と領域性質の同値性は、$p(\cdot)$ が対数条件を満たし、$\mathbb{R}^n \setminus \overline{\Omega}$ が錐性を持つという仮定の下で成り立つ。
• 不等式における定数 $C$ は、$\alpha$、$p(\cdot)$、および領域 $\Omega$ のみに依存し、このような領域のクラスにわたって一様な有界性を示す。
• 古典的 Hardy 不等式は、$L^p$ 条件を領域の幾何的性質に置き換えることで、可変指数空間に一般化される。
• 証明手法により、作用素 $T\varphi(x) = \frac{1}{\delta(x)^\alpha} \int_\Omega \frac{\varphi(y)}{|x-y|^{n-\alpha}} \, dy$ が $L^{p(\cdot)}(\Omega)$ 上で有界であることは、$\Omega$ が $(\alpha, p(\cdot))$-性質を満たすときかつそのときに限ることが示された。
• 系 22 は、$1 < p < 1/\alpha$ のとき、Strichartz 条件を満たす領域に対して、不等式が古典的 $L^p(\Omega)$ 空間でも成り立つことを確認しており、定数指数設定への拡張を示している。