[論文レビュー] Almost Everywhere Convergence of Inverse Dunkl Transform on the Real Line

Jamel El Kamel, Chokri Yacoub|ArXiv.org|Jun 25, 2007

Mathematical Analysis and Transform Methods参考文献 7被引用数 3

ひとこと要約

本稿では、重み付き $ L^p $ 空間およびローレンツ空間における最大作用素 $ S_*^eta $ の有界性を示すことにより、実直線上における逆ダンクル変換のほとんど everywhere 収束を確立する。$ \frac{4(\alpha+1)}{2\alpha+3} < p < \frac{4(\alpha+1)}{2\alpha+1} $ の範囲で、球面部分和 $ S_R^\alpha f(x) $ は $ R \to \infty $ のとき $ f(x) $ に almost everywhere 収束し、範囲の端点においては鋭いローレンツ空間の推定が得られる。

ABSTRACT

In this paper, we will first show that the maximal operator $S_*^α$ of spherical partial sums $S_R^α$, associated to Dunkl transform on $\mathbb{R}$ is bounded on $L^p(\mathbb{R}, |x|^{2α+1} dx)$ functions when $\frac{4(α+1)}{2α+3}

研究の動機と目的

• 重み付き $ L^p $ 空間に属する関数に対して、実直線上における逆ダンクル変換の almost everywhere 収束を確立すること。
• 最大作用素 $ S_*^\alpha $ が $ L^p(\mathbb{R}, |x|^{2\alpha+1}dx) $ 上で有界となる $ p $ の鋭い範囲を特定すること。
• 範囲の端点 $ p_0 = \frac{4(\alpha+1)}{2\alpha+3} $ および $ p_1 = \frac{4(\alpha+1)}{2\alpha+1} $ において、有界性結果をローレンツ空間 $ L^{p_i,1} $ に拡張すること。
• ローレンツ空間におけるマルチニクイエヴィチの補間を用いて、$ L^p $ 有界性結果を系として回復すること。

提案手法

• 補題 1.1 における関係を用いて、ハルメルト変換の順序 $ \alpha $ および $ \alpha+1 $ を用いて、ダンクル変換 $ D_\alpha $ 及びその逆変換を定義する。
• 部分和 $ S_R^\alpha f(x) $ を、ハルメルト部分和の組み合わせとして表す：$ s_R^\alpha(f_e)(|x|) + x s_R^{\alpha+1}(f_o(r)/r)(|x|) $。
• 最大作用素 $ S_*^\alpha f(x) $ を、$ s_*^\alpha(f_e)(|x|) + |x| s_*^{\alpha+1}(f_o(r)/r)(|x|) $ で上から押さえ込む。
• 既知の結果を用いて、$ \beta = \alpha, \alpha+1 $ に対して、$ L^p((0,\infty), x^{2\beta+1}) $ 上でのハルメルト最大作用素 $ s_*^\beta $ の有界性を適用する。
• 区間 $ I_k = [2^k, 2^{k+1}) $ を用いた dyadic 分解を用いて、$ |x| s_*^{\alpha+1}(g)(|x|) > \lambda/2 $ となる集合の測度を推定し、$ g = g_k^1 + g_k^2 $ に分割する。
• ローレンツ空間における弱型推定およびホルダーの不等式を適用し、$ |x|^{-\alpha-1/2} \in L^{p_1,\infty} $ および $ |x|^{-\alpha-3/2} \in L^{p_0,\infty} $ であることに着目する。

実験結果

リサーチクエスチョン

• RQ1 どの $ p \in (1,\infty) $ に対して、最大作用素 $ S_*^\alpha $ が $ L^p(\mathbb{R}, |x|^{2\alpha+1}dx) $ 上で有界となるか？
• RQ2 どの $ p $ の範囲で、$ S_R^\alpha f(x) \to f(x) $ が $ R \to \infty $ のとき almost everywhere に収束するか？
• RQ3 最大作用素 $ S_*^\alpha $ の有界性は、端点 $ p_0 $ および $ p_1 $ におけるローレンツ空間 $ L^{p_i,1} $ に拡張可能か？
• RQ4 逆ダンクル変換の振る舞いは、$ f $ の偶関数部および奇関数部のハルメルト変換とどのように関係するか？
• RQ5 同次的重みおよび dyadic 分解は、重み付きローレンツ空間における最大関数の推定にどのように寄与するか？

主な発見

• 最大作用素 $ S_*^\alpha $ は、$ \frac{4(\alpha+1)}{2\alpha+3} < p < \frac{4(\alpha+1)}{2\alpha+1} $ の範囲で $ L^p(\mathbb{R}, |x|^{2\alpha+1}dx) $ 上で有界であり、これにより $ S_R^\alpha f $ が $ f $ に almost everywhere 収束することが示される。
• 端点 $ p_0 = \frac{4(\alpha+1)}{2\alpha+3} $ および $ p_1 = \frac{4(\alpha+1)}{2\alpha+1} $ において、$ S_*^\alpha $ は $ L^{p_i,1}(\mathbb{R}, |x|^{2\alpha+1}dx) $ から $ L^{p_i,\infty}(\mathbb{R}, |x|^{2\alpha+1}dx) $ への有界性を示し、鋭い推定が得られる。
• ローレンツ空間における有界性は、dyadic 分解および奇関数部の最大関数に対する弱型推定を用いて確立され、カーネルの上界評価および重み付き積分可能性を用いる。
• 証明では、$ f $ を偶関数部と奇関数部に分解し、ダンクル最大作用素を既知のハルメルト最大作用素の有界性に帰着させる。
• 結果は鋭い：$ p \leq p_0 $ または $ p \geq p_1 $ のとき、定理 1.2 により $ S_*^\alpha $ は $ L^p $ 上で有界でない。
• ローレンツ空間におけるマルチニクイエヴィチの補間により、$ L^p $ 有界性結果が系として回復され、範囲の鋭さが確認される。