[论文解读] 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 $ 空间和 Lorentz 空间上极大算子 $ S_*^eta $ 的有界性，建立了实轴上反 Dunkl 变换的几乎处处收敛性。结果表明，当 $ \frac{4(\alpha+1)}{2\alpha+3} < p < \frac{4(\alpha+1)}{2\alpha+1} $ 时，球面部分和 $ S_R^\alpha f(x) $ 几乎处处收敛于 $ f(x) $，当 $ R \to \infty $，且在该范围端点处给出了精确的 Lorentz 空间估计。

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 $ 空间时，实轴上反 Dunkl 变换的几乎处处收敛性。
• 确定极大算子 $ 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} $ 处的 Lorentz 空间 $ L^{p_i,1} $。
• 利用 Lorentz 空间中的 Marcinkiewicz 插值定理，将 $ L^p $ 有界性结果作为推论重新获得。

提出的方法

• 通过引理由 1.1 给出的关系，利用阶数为 $ \alpha $ 和 $ \alpha+1 $ 的 Hankel 变换定义 Dunkl 变换 $ D_\alpha $ 及其逆变换。
• 将部分和 $ S_R^\alpha f(x) $ 表示为 Hankel 部分和的组合：$ s_R^\alpha(f_e)(|x|) + x s_R^{\alpha+1}(f_o(r)/r)(|x|) $。
• 通过用 $ s_*^\alpha(f_e)(|x|) + |x| s_*^{\alpha+1}(f_o(r)/r)(|x|) $ 控制极大算子 $ S_*^\alpha f(x) $，对其上界进行估计。
• 应用已知的 Hankel 极大算子 $ s_*^\beta $ 在 $ L^p((0,\infty), x^{2\beta+1}) $ 上的有界性结果，其中 $ \beta = \alpha, \alpha+1 $。
• 使用 dyadic 分解 $ I_k = [2^k, 2^{k+1}) $ 估计满足 $ |x| s_*^{\alpha+1}(g)(|x|) > \lambda/2 $ 的集合的测度，将 $ g $ 分解为 $ g = g_k^1 + g_k^2 $。
• 在 Lorentz 空间中应用弱型估计和 Hölder 不等式，利用 $ |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 当 $ R \to \infty $ 时，$ S_R^\alpha f(x) \to f(x) $ 几乎处处收敛的最优 $ p $ 范围是什么？
• RQ3 能否将 $ S_*^\alpha $ 的有界性结果推广到端点 $ p_0 $ 和 $ p_1 $ 处的 Lorentz 空间 $ L^{p_i,1} $？
• RQ4 反 Dunkl 变换的行为与 $ f $ 的偶部和奇部的 Hankel 变换有何关联？
• RQ5 齐次权函数和 dyadic 分解在加权 Lorentz 空间中估计极大函数时起什么作用？

主要发现

• 极大算子 $ S_*^\alpha $ 在 $ L^p(\mathbb{R}, |x|^{2\alpha+1}dx) $ 上有界，当且仅当 $ \frac{4(\alpha+1)}{2\alpha+3} < p < \frac{4(\alpha+1)}{2\alpha+1} $，这蕴含 $ S_R^\alpha f $ 几乎处处收敛于 $ f $。
• 在端点 $ 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 分解和奇部极大函数的弱型估计，在 Lorentz 空间中建立了有界性，利用核的控制和加权可积性。
• 证明利用了将 $ f $ 分解为偶部和奇部的方法，将 Dunkl 极大算子的有界性归约为已知的 Hankel 极大算子有界性结果。
• 结果是精确的：当 $ p \leq p_0 $ 或 $ p \geq p_1 $ 时，$ S_*^\alpha $ 在 $ L^p $ 上无界，如定理 1.2 所示。
• 通过 Lorentz 空间中的 Marcinkiewicz 插值定理，将 $ L^p $ 有界性结果作为推论重新获得，从而确认了该范围的最优性。