[论文解读] The maximal operators of logarithmic means of one-dimensional Vilenkin-Fourier series

George Tephnadze|arXiv (Cornell University)|Oct 5, 2014

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

一句话总结

本文研究了在鞅 Hardy 空间 $H_p$ 上，一维 Vilenkin-Fourier 级数的 Riesz 和 Nörlund 对数平均相关最大算子的有界性。结果表明，Riesz 最大算子在 $p > 1/2$ 时从 $H_p$ 有界映射到 $L_p$，但当 $0 < p ≤ 1/2$ 时无界；类似地，Nörlund 平均在 $0 < p ≤ 1$ 时也表现出无界性。这些结果通过在有界 Vilenkin 群上的 $L_p$-范数估计与二进区间分析得以建立。

ABSTRACT

The main aim of this paper is to investigate (H_{p},L_{p})-type inequalities for maximal operators of logarithmic means of one-dimensional Vilenkin-Fourier series.

研究动机与目标

• 建立一维 Vilenkin-Fourier 级数的 Riesz 和 Nörlund 对数平均最大算子的 $(H_p, L_p)$-型不等式。
• 确定最大算子 $R^*$ 从鞅 Hardy 空间 $H_p$ 到 $L_p$ 有界的精确 $p$ 临界值。
• 分析当有界性不成立时，Nörlund 对数平均最大算子 $L^*$ 在 $H_p$ 空间上的行为，特别关注 $0 < p \leq 1$ 的情形。
• 提供反例，表明当 $0 < p \leq 1/2$ 时，$R^*$ 的 $L_p$-范数对 $f \in H_p$ 为无穷大，且当 $0 < p \leq 1$ 时 $L^*$ 的 $L_p$-范数也为无穷大。
• 通过二进区间与部分和估计，将已知的 Walsh-Paley 系结果推广至一般的有界 Vilenkin 群。

提出的方法

• 分析在有界 Vilenkin 群 $G_m$ 上进行，使用正交 Vilenkin 系 $\psi_n$ 及其傅里叶级数、部分和 $S_n f$ 以及对数平均 $R_n f$ 和 $L_n f$。
• 通过在二进区间 $I_n(x)$ 上对 $L_p$-范数进行估计，研究最大算子 $R^* f := \sup_n |R_n f|$ 和 $L^* f := \sup_n |L_n f|$。
• 关键估计依赖于 Dirichlet 核 $D_n(x)$ 的行为，特别是当 $x \in I_n$ 时 $D_{M_n}(x) = M_n$，否则为 $0$，从而控制部分和 $S_j f$。
• 证明使用了二进分解与区间分析：当 $x \in I_{2s} \setminus I_{2s+1}$ 时，有 $\sum_{j=0}^{M_{2s}-1} \frac{D_j(x)}{M_{2s} - j} \geq c s M_{2s}$，该不等式驱动了范数的增长。
• 通过在区间 $I_{2s} \setminus I_{2s+1}$ 上估计 $\|R^* f\|_p^p$ 并证明当 $k \to \infty$ 时其发散，构造出一个满足 $\|R^* f\|_{L_p} = \infty$ 的鞅 $f \in H_p$，其中 $p \leq 1/2$。
• 对于 Nörlund 平均，证明通过构造一个函数 $f \in H_p$，使得 $\|L^* f\|_{L_p} = \infty$ 对于 $0 < p \leq 1$ 成立，方法类似，基于区间上的范数估计以及 $M_{2s}$ 和 $\alpha_k$ 的渐近增长。

实验结果

研究问题

• RQ1 对于哪些 $p > 0$，Riesz 对数平均的最大算子 $R^*$ 从 $H_p$ 有界映射到 $L_p$？
• RQ2 当 $p \leq 1/2$ 时，最大算子 $R^*$ 是否在 $H_p$ 上无界？若成立，能否通过范数发散来量化？
• RQ3 是否存在一个 $f \in H_p$，使得 $L_p$-范数 $\|L^* f\|_{L_p}$ 在 $0 < p \leq 1$ 时为无穷大？
• RQ4 当 $p \leq 1/2$ 时，$\|R^* f\|_{L_p}^p$ 的渐近行为如何？当 $k \to \infty$ 时其发散方式为何？
• RQ5 在二进区间 $I_n$ 上，$S_j f$ 和 $D_j(x)$ 的估计如何导致 $L^*$ 在 $L_p$ 中当 $p \leq 1$ 时的无界性？

主要发现

• 最大算子 $R^*$ 从 $H_p$ 到 $L_p$ 有界当且仅当 $p > 1/2$，证明显示当 $p > 1/2$ 时，对任意 $f \in H_p$ 有 $\|R^* f\|_{L_p} < \infty$。
• 当 $0 < p \leq 1/2$ 时，存在一个鞅 $f \in H_p$，使得 $\|R^* f\|_{L_p} = \infty$，其发散性由 $\|R^* f\|_{L_p}^p \gtrsim 2^{\alpha_k(1-2p)}/\alpha_k^{3p/2} \to \infty$ 当 $k \to \infty$ 所证明。
• 对于 Nörlund 对数平均，当 $0 < p \leq 1$ 时，对所有 $f \in H_p$ 都有 $\|L^* f\|_{L_p} = \infty$，且 $\|L^* f\|_{L_p}^p \gtrsim 2^{\alpha_k(1-p)}/\alpha_k^{p/2} \to \infty$ 当 $k \to \infty$。
• 当 $p = 1/2$ 时的反例通过构造一个鞅 $f$，使得 $\|R^* f\|_{L_{1/2}} = \infty$，从而确认了 $p > 1/2$ 临界值的精确性。
• 范数估计依赖于 $M_{2s} \sim 2^{2s}$ 的增长以及区间 $I_{2s} \setminus I_{2s+1}$，其中当 $j < M_{2s}$ 时有 $D_j(x) = j$，从而使得求和 $\sum_{j=0}^{M_{2s}-1} \frac{j}{M_{2s} - j} \gtrsim s M_{2s}$。
• 发散性结果通过证明 $L_p$-范数 $\|L^* f\|_{L_p}$ 随 $k \to \infty$ 无界增长而建立，其增长速率取决于 $p$：当 $p = 1/2$ 时约为 $\alpha_k^{1/4}$，当 $p = 1$ 时约为 $\sqrt{\alpha_k}$。