[论文解读] A note on The maximal operators of the Nörlund logaritmic means of Vilenkin-Fourier series

George Tephnadze, G. Tutberidze|arXiv (Cornell University)|Jan 27, 2019

Advanced Harmonic Analysis Research被引用 4

一句话总结

本文研究了在 $ 0 < p < 1 $ 时，Vilenkin-Fourier 级数的 Nörlund 对数平均相关最大算子在鞅 Hardy 空间 $ H_p(G_m) $ 中的有界性。通过证明算子 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $ 从 $ H_p $ 到 $ L_p $ 有界当且仅当 $ \Theta(n) \sim n^{1/p - 1} / \log n $，建立了尖锐的 $ (H_p, L_p) $ 型不等式，且该速率在尖锐性意义下是最优的。

ABSTRACT

The main aim of this paper is to investigate $\left(H_{p},L_{p} ight)$- type inequalities for the the maximal operators of Nörlund logaritmic means, for $0

研究动机与目标

• 在 Vilenkin-Fourier 级数的背景下，建立 Nörlund 对数平均最大算子的尖锐 $ (H_p, L_p) $-型不等式。
• 确定权重函数 $ \Theta(n) $ 的最优增长速率，使得最大算子 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $ 从 $ H_p(G_m) $ 有界到 $ L_p(G_m) $。
• 证明速率 $ \Theta(n) \sim n^{1/p-1}/\log n $ 的尖锐性，表明任何增长更慢的 $ \varphi(n) $ 都会导致无界性。
• 将已知的关于部分和算子的结果扩展到临界范围 $ 0 < p < 1 $ 的 Nörlund 对数平均情形。

提出的方法

• 使用最大算子 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $，其中 $ L_n f $ 表示 Vilenkin-Fourier 级数的第 $ n $ 个 Nörlund 对数平均。
• 应用已知的关于最大部分和算子 $ \widetilde{S}_p^*f := \sup_n |S_n f| / (n+1)^{1/p - 1} $ 的尖锐界，该算子从 $ H_p $ 有界到 $ L_p $。
• 建立点态控制：$ |L_n f| / (n+1)^{1/p - 1} \leq \sup_k |S_k f| / (k+1)^{1/p - 1} $，从而实现从部分和到对数平均的界转移。
• 构造一个特定的鞅 $ f_{n_k} = D_{M_{2n_k+1}} - D_{M_{2n_k}} $，其 $ H_p $-范数一致有界，用于检验权重函数的尖锐性。
• 采用测度论估计，表明 $ \mu\{ |L_{M_{2n_k}+2} f_{n_k}| \geq 1 / (l_{M_{2n_k}+2} \varphi(M_{2n_k+2})) \} = 1 $，从而在 $ \varphi(n) $ 的增长慢于 $ \Theta(n) $ 时导致发散。
• 结合上述估计，证明若 $ \Theta(n)/\varphi(n) \to \infty $，则 $ \| \widetilde{L}_p^* f \|_p \to \infty $，从而确立尖锐性。

实验结果

研究问题

• RQ1 对于 $ 0 < p < 1 $，使得最大算子 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $ 从 $ H_p(G_m) $ 有界到 $ L_p(G_m) $ 的权重函数 $ \Theta(n) $ 的最优增长速率是什么？
• RQ2 速率 $ \Theta(n) \sim n^{1/p - 1} / \log n $ 是否在尖锐性意义下成立，即任何增长更慢的 $ \varphi(n) $ 是否都会导致最大算子无界？
• RQ3 能否通过鞅 Hardy 空间框架下的构造性反例证明对数因子的尖锐性？
• RQ4 在 $ 0 < p < 1 $ 时，Nörlund 对数平均的性质与部分和在 $ (H_p, L_p) $ 有界性方面有何比较？
• RQ5 $ \Theta(n) $ 的增长与 $ H_p \to L_p $ 设置下最大算子范数之间有何关系？

主要发现

• 最大算子 $ \widetilde{L}_p^*f := \sup_n |L_n f| / (n+1)^{1/p - 1} $ 在 $ 0 < p < 1 $ 时从 $ H_p(G_m) $ 有界到 $ L_p(G_m) $，扩展了关于部分和的已知结果。
• 速率 $ \Theta(n) \sim n^{1/p - 1} / \log n $ 是尖锐的：若 $ \varphi(n) $ 的增长慢于 $ \Theta(n) $，则 $ \sup_n |L_n f| / \varphi(n+1) $ 在 $ H_p(G_m) $ 上无界。
• 反例鞅 $ f_{n_k} = D_{M_{2n_k+1}} - D_{M_{2n_k}} $ 的 $ H_p $-范数一致有界，但当 $ \varphi(n) \ll \Theta(n) $ 时，满足 $ \| \widetilde{L}_p^* f_{n_k} \|_p \to \infty $。
• 通过证明当 $ \Theta(n)/\varphi(n) \to \infty $ 时，有 $ \| \widetilde{L}_p^* f_{n_k} \|_p / \|f_{n_k}\|_{H_p} \to \infty $，验证了尖锐性。
• 本文证明了对于某些绝对常数 $ C_1, C_2 $，有 $ C_1 n^{1/p - 1} / \log n \leq \Theta(n) \leq C_2 n^{1/p - 1} $，确认了精确的渐近阶。
• 结果表明对数因子是必不可少的，不能被移除或替换为更慢增长的函数以保证有界性。