[論文レビュー] Kolmogorov compactness criterion in variable exponent Lebesgue spaces

Humberto Rafeiro|ArXiv.org|Mar 18, 2009

Advanced Harmonic Analysis Research参考文献 7被引用数 14

ひとこと要約

この論文は、有界な $Ω \subset \mathbb{R}^n$ および標準的な対数的連続性と減衰条件を満たす $p(\cdot)$ に対して、変動型指数 Lebesgue 空間 $L^{p(\bullet)}(\overline{\Omega})$ における古典的 Kolmogorov のコンパクト性基準を拡張する。集合 $\mathfrak{F}$ が $L^{p(\bullet)}(\overline{\Omega})$ で相対的にコンパクトであることの必要十分条件が、$h \to 0$ のときのステクロフ平均の均一収束 $\|f_h - f\|_{p(\cdot)} \to 0$ であることが示され、$p_- = 1$ の場合でさえ成り立つ。これは、Kolmogorov-Tulajkov-Sudakov の基準を変動型指数設定に一般化するものである。

ABSTRACT

The well-known Kolmogorov compactness criterion is extended to the case of variable exponent Lebesgue spaces $L^{p(\cdot)}(Ω)$, where $Ω$ is a bounded open set in $\mathbb R^n$ and $p(\cdot)$ satisfies some "standard" conditions. Our final result should be called Kolmogorov-Tulajkov Sudakov compactness criterion, since it includes the case $p_-=1$ and requires only the "uniform" condition.

研究の動機と目的

• 変動型指数 Lebesgue 空間 $L^{p(\cdot)}(\overline{\Omega})$ における古典的 Kolmogorov コンパクト性基準を拡張すること。
• $p(\cdot)$ に最小限の仮定をおく場合の $L^{p(\cdot)}(\overline{\Omega})$ における相対的コンパクト性の必要十分条件を確立すること。
• モジュラス連続性条件が成り立つ場合、古典的基準における有界性条件が不要であることを示し、定数指数から変動型指数への一般化を達成すること。
• Musielak-Orlicz 空間や $\infty$-条件のようなより抽象的な枠組みに依存せずに、変動型指数空間内で直接的な証明を構築すること。

提案手法

• 等連続性と収束を分析するための主要な道具として、ステクロフ平均作用素 $f_h(x) = \frac{1}{2h} \int_{x-h}^{x+h} f(t) \, dt$ を用いる。
• 径数の主要化を持つ近似恒等作用素の概念を用い、変動型指数空間における畳み込みにおけるノルム挙動を制御する。
• 連続関数による近似を通じて Ascoli-Arzel\`a の定理を適用し、$C(\overline{\Omega})$ における相対的コンパクト性を確立する。
• 連続関数およびステップ関数が $p_+ < \infty$ のとき $L^{p(\cdot)}(\overline{\Omega})$ で稠密であることを利用し、$C(\overline{\Omega})$ におけるコンパクト性と $L^{p(\cdot)}(\overline{\Omega})$ におけるコンパクト性を結びつける。
• 解作用素の集合と $(U - I)^{-1}$ の有界性に関する作用素論的議論を用いて、均一近似が有界性を示すことを証明し、別個の有界性仮定の必要性を排除する。
• ステクロフ作用素の $\lambda = 1$ が非ゼロ関数に対して固有値でないことを証明し、これによりモジュラス連続性条件から有界性が導ける。

実験結果

リサーチクエスチョン

• RQ1 古典的 Kolmogorov コンパクト性基準を変動型指数 Lebesgue 空間 $L^{p(\cdot)}(\overline{\Omega})$ に拡張できるか？
• RQ2 ステクロフ平均の均一収束 $\|f_h - f\|_{p(\cdot)} \to 0$（$h \to 0$ のとき）が、$\mathfrak{F}$ が $L^{p(\cdot)}(\overline{\Omega})$ で相対的にコンパクトであることを示すか？
• RQ3 モジュラス連続性条件が成り立つ場合、古典的基準における有効性条件が変動型指数設定で不要になるか？
• RQ4 Musielak-Orlicz 空間や $\infty$-条件のようなより一般的な枠組みに依存せずに、変動型指数空間内で直接的な証明を構築できるか？
• RQ5 $p_- = 1$ の場合でも基準が有効であるか？（多くの古典的扱いでは除外されている。）

主な発見

• 標準的な $p(\cdot)$ の条件下で、集合 $\mathfrak{F} \subset L^{p(\cdot)}(\overline{\Omega})$ が相対的にコンパクトであることと、すべての $f \in \mathfrak{F}$ に対して $\lim_{h \to 0} \|f_h - f\|_{p(\cdot)} = 0$ なる均一収束が同値である。
• 古典的基準における有界性条件（k1）は、変動型指数設定では不要である。これはモジュラス連続性条件（k2）から導かれるため、Sudakov の結果を変動型指数に一般化する。
• 証明は変動型指数 Lebesgue 空間内で直接的かつ自己完結的であり、Musielak-Orlicz 空間におけるアプローチで必要な $\infty$-条件を回避する。
• 多くの既存の結果がカバーしない $p_- = 1$ の場合でも基準が成り立つため、$p(\cdot) \in [1, \infty)$ の全域に適用可能である。
• ステクロフ作用素 $Uf = \Phi_h * f$ は、非ゼロ関数に対して $\lambda = 1$ を固有値としない。これにより、均一近似から有界性が導かれ、有界性仮定を排除できる。
• 結果は $p(\cdot) \in \mathcal{P}_\infty(\overline{\Omega}) \cap w\text{-}Lip(\overline{\Omega})$ に対して有効であり、$p(\cdot)$ が局所的対数的連続性および無限遠での減衰条件を満たすことを意味する。