Characterization of weights for the variable fractional maximal operator and weighted inequalities for variable fractional rough operators

技術的概要：変数分数次最大作用素の重み類の特性評価と変数分数次粗大作用素の重み付き不等式

問題提起
本論文は、変数ルベーグ空間 $L^{p(\cdot)}(\mathbb{R}^n)$ 上における変数分数次最大作用素 $M_{\beta(\cdot), r(\cdot)}$ の有界性に必要な重み類の特性評価に取り組む。先行研究（Diening ら、Melchiori と Pradolini など）は、指数の log-Hölder 連続性条件の下でのこれらの作用素の非重み付き有界性を確立したが、重み付き理論は未完了であった。具体的には、変数指数 $p(\cdot), q(\cdot), r(\cdot)$ および $\beta(\cdot)$ を用いた分数次的設定に対して、古典的な Muckenhoupt 類 $A_p$ や変数 $A_{p(\cdot)}$ 類を一般化する重み類を定義する必要性があった。さらに、本論文は、変数 Hormander 型条件を導入し、対応する重み付き不等式を確立することにより、粗大特異積分作用素の理論を変数分数次的文脈へ拡張することを目的としている。

手法
著者は、変数ルベーグ空間における調和解析の手法を組み合わせる：

1. 変数指数解析：この研究は、変数ルベーグ空間 $L^{p(\cdot)}$ の性質、特に Hardy-Littlewood 最大作用素の有界性を保証し、一般化された Hölder 不等式および立方体の特性関数に対するノルム評価の利用を可能にする log-Hölder 連続性条件（$p(\cdot) \in P_{log}$）に強く依存している。
2. 重みの特性評価：$A_{p(\cdot), r(\cdot)}$ と表記される新しい重み類が定義される。このクラスは以下の条件によって特徴づけられる：
   $$\|\chi_Q \omega\|_{p(\cdot)} \|\chi_Q \omega^{-1}\|_{q(\cdot)} \leq C \|\chi_Q\|_{r(\cdot)}$$
   ただし、$1/r(\cdot) = 1/p(\cdot) + 1/q(\cdot)$ である。著者は、これらの重みと作用素の有界性との関係を結びつけるために、外挿定理および疎支配（sparse domination）の手法を利用する。
3. カーネル条件：本論文は、Hormander 条件（$H_{\beta(\cdot), r(\cdot)}$）および大きさ条件（$S_{\beta(\cdot), r(\cdot)}$）の変数版を導入する。これらの条件は、変数指数によって定義される環状領域におけるカーネルの差のノルムを含む、古典的な $L^r$-Hormander 条件を変数設定へ一般化したものである。
4. Coifman-Fefferman 不等式：著者は、これらの新しい条件を満たすカーネルを持つ積分作用素が、変数分数次最大作用素 $M_{\beta(\cdot), r'(\cdot)}$ によって点wise に支配されることを証明する。この支配により、最大作用素からの重み付き評価を積分作用素へ転移させることが可能となる。
5. 反例と厳密な包含関係：導入された条件の鋭敏性を示すために、著者は特定のカーネルを構成し、異なる Hormander クラス間の包含関係（例えば、$s(\cdot) > r(\cdot)$ に対する $H_{s(\cdot)} \subsetneq H_{r(\cdot)}$）が厳密であることを示す。

主要な貢献と結果

1. $M_{\beta(\cdot), r(\cdot)}$ に対する重みの特性評価：
   主要な結果（定理 1.6）は、変数分数次最大作用素 $M_{\beta(\cdot), r(\cdot)}: L^{p(\cdot)}(\omega) \to L^{q(\cdot)}(\omega)$ の重み付き有界性が成り立つための必要十分条件は、重み $\omega$ がクラス $A_{q(\cdot), \frac{\beta(\cdot)r(\cdot)}{\beta(\cdot)-r(\cdot)}}$ に属することであることを確立する。この結果は、古典的分数次最大作用素および $r(\cdot) \equiv 1$ の場合の先行する知見を一般化するものである。

2. 変数 Hormander 条件：
   本論文はクラス $H_{\beta(\cdot), r(\cdot)}$ および $S_{\beta(\cdot), r(\cdot)}$ を定義する。カーネル $K$ が $H_{\beta(\cdot), r(\cdot)}$ に属し、大きさ条件 $S_{\beta(\cdot), r(\cdot)}$ を満たす場合、対応する積分作用素 $T_{\beta(\cdot)}$ が最大作用素 $M_{\beta(\cdot), r'(\cdot)}$ によって支配されることが示される。

3. 粗大作用素に対する重み付き不等式：
   Coifman-Fefferman 不等式（定理 1.12 および 1.14）を用いて、著者は変数設定における粗大カーネルを持つ積分作用素に対する重み付き強型評価を証明する。具体的には、$\omega \in A_{p(\cdot)}$ ならば、$\|Tf\omega\|_{p(\cdot)} \lesssim \|f\omega\|_{p(\cdot)}$ が成り立つ。分数次的場合、$\omega \in A_{q(\cdot), \frac{\beta(\cdot)r'(\cdot)}{\beta(\cdot)-r'(\cdot)}}$ という条件の下で、$L^{p(\cdot)}$ から $L^{q(\cdot)}$ への写像を行う作用素に対する重み付き評価が導かれる。

4. BMO 評価：
   本論文は、作用素 $T_{\beta(\cdot)}$ に対する重み付き BMO 評価（定理 1.17）を提供し、重みおよび指数に関する適切な条件の下で $\|T_{\beta(\cdot)}f\|_{*, \omega} \lesssim \|\omega f\|_{\beta(\cdot)}$ が成り立つことを示す。

5. 例と厳密な包含関係：
   第 4 節は、新しい変数条件を満たすカーネルの明示的な例を提供する。重要なのは、著者がクラス $H_{r(\cdot)}$ が空でないことを示し、$s(\cdot) > r(\cdot)$ のとき包含関係 $H_{s(\cdot)} \subsetneq H_{r(\cdot)}$ が厳密であることを実証することで、新しい条件が定数指数の場合の対応物と本質的に異なり、より一般的であることを確認している点である。

意義
本論文は、重み付き不等式の理論を変数分数次的設定へ拡張し、先行する結果が非重み付き空間または定数指数に限定されていた文献のギャップを埋めることを主張している。$A_{p(\cdot), r(\cdot)}$ クラスおよび変数 Hormander 条件を導入することにより、著者は変数ルベーグ空間における最大作用素および粗大積分作用素の両方を分析するための統一的な枠組みを提供する。これらの結果は、古典的分数次最大作用素および標準的な $L^r$-Hormander 条件に関する既知の定理を一般化し、非標準的な成長設定における調和解析のためのより柔軟な道具立てを提供する。特定のカーネルの構成は、導入された条件の必要性と鋭敏性を検証するものである。