Rhaly operators acting on Hardy and Bergman spaces

基本信息

• 论文ID: 2511.09201
• 标题: Rhaly operators acting on Hardy and Bergman spaces
• 作者: Petros Galanopoulos (Aristotle University of Thessaloniki), Daniel Girela (Universidad de Málaga)
• 分类: math.CV (Complex Variables)
• 发表时间: 2025年11月12日提交至arXiv
• 论文链接: https://arxiv.org/abs/2511.09201

摘要

本文研究复数序列 $(η) = \{η_n\}_{n=0}^∞$ 的刻画问题，特别是其关联的Rhaly算子 $R(η)$ 在Hardy空间 $H^p$ ($1 ≤ p < ∞$) 和Bergman空间 $A^p$ ($1 ≤ p < ∞$) 上的有界性和紧性。论文完全刻画了使得 $R(η)$ 在 $H^p$ ($1 < p ≤ 2$) 和 $A^p$ ($1 < p < ∞$) 上有界或紧的序列 $(η)$，并给出了 $p=1$ 和 $2 < p < ∞$ 情形下的必要或充分条件。特别地，证明了当 $2 ≤ p < ∞$ 且 $η_n = O(1/n)$ 时，$R(η)$ 在 $H^p$ 上有界；但存在满足 $η_n = O(1/n)$ 的序列使得 $R(η)$ 在 $H^p$ ($1 ≤ p < 2$) 上不有界。

研究背景与动机

问题的提出

1. 核心问题：Rhaly算子是由Rhaly矩阵通过矩阵乘法诱导的算子。给定复数序列 $(η) = \{η_n\}_{n=0}^∞$，Rhaly矩阵定义为下三角矩阵，其第 $n$ 行的前 $n+1$ 个元素均为 $η_n$。相应的Rhaly算子作用于序列 $(a) = \{a_n\}_{n=0}^∞$ 得到： $R(η)(a) = \left\{η_n \sum_{k=0}^n a_k\right\}_{n=0}^∞$
   本文要解决的核心问题是：刻画哪些序列 $(η)$ 使得 $R(η)$ 在Hardy空间和Bergman空间上有界或紧。
2. 问题的重要性：
   • Cesàro算子（对应 $η_n = 1/(n+1)$）是经典算子，已知在 $H^p$ ($0 < p < ∞$) 和 $A^p_α$ ($0 < p < ∞, α > -1$) 上有界
   • Rhaly算子推广了Cesàro算子，研究其性质有助于理解更广泛的算子类
   • 在 $\ell^p$ 空间上，Rhaly算子的有界性和紧性已被完全刻画，但在函数空间上问题更复杂
3. 现有方法的局限性：
   • 对于 $H^2$ 空间，由于其与 $\ell^2$ 的等距同构，已有完整刻画
   • 对于 $p ≠ 2$ 的情形，缺乏系统性研究
   • Cesàro型算子 $C_μ$（由Borel测度诱导）有积分表示，但一般Rhaly算子缺少这样的表示，使得分析更困难
   • 对于Dirichlet型空间 $D^2_α$，已有一些结果，但对一般 $H^p$ 和 $A^p$ 空间的刻画尚不完整
4. 研究动机：
   • 完善Rhaly算子理论，填补 $p ≠ 2$ 情形的空白
   • 揭示Hardy空间和Bergman空间在不同指标 $p$ 下的本质差异
   • 建立算子有界性/紧性与序列增长速度之间的精确联系

核心贡献

本文的主要贡献包括：

1. 完全刻画Hardy空间情形（$1 < p ≤ 2$）：
   • $R(η) ∈ B(H^p)$ 当且仅当 $F(η) ∈ Λ^p_{1/p}$（定理1(a)）
   • $R(η) ∈ K(H^p)$ 当且仅当 $F(η) ∈ λ^p_{1/p}$（定理2(a)） 其中 $F(η)(z) = \sum_{n=0}^∞ η_n z^n$ 是生成函数
2. 完全刻画Bergman空间情形（$1 < p < ∞$）：
   • $R(η) ∈ B(A^p)$ 当且仅当 $F(η) ∈ Λ^p_{1/p}$（定理3(a)）
   • $R(η) ∈ K(A^p)$ 当且仅当 $F(η) ∈ λ^p_{1/p}$（定理3(b)）
3. $2 < p < ∞$ 情形的充分和必要条件：
   • 必要条件：若 $R(η) ∈ B(H^p)$，则 $F(η) ∈ Λ^p_{1/p}$（定理1(b)）
   • 充分条件：若存在 $q ∈ (2,p)$ 使得 $F(η) ∈ Λ^q_{1/q}$，则 $R(η) ∈ B(H^p)$（定理1(c)）
   • 紧性的类似结果（定理2）
4. 揭示 $η_n = O(1/n)$ 条件的非对称性（定理4）：
   • 当 $2 ≤ p < ∞$ 时，$η_n = O(1/n)$ 保证 $R(η) ∈ B(H^p)$
   • 但对 $1 ≤ p < 2$，存在 $η_n = O(1/n)$ 但 $R(η) ∉ B(H^p)$ 的反例
   • 对单调非负序列，$R(η) ∈ B(H^p)$ 等价于 $η_n = O(1/n)$
5. $H^1$ 空间的特殊结果（定理7）：
   • 若 $F'(η) ∈ H^1$，则 $R(η) ∈ K(H^1)$（强于有界性）
   • 给出了两个必要条件：$\sum_{n=0}^N n|η_n| = O(N)$ 和 $\|\Delta_N(F(η))'\|_{H^1} = O(\log N)$
6. 构造"Lipschitz"Cesàro基：
   • 推广Pavlović的"光滑"Cesàro基构造
   • 这是证明必要性的关键技术工具

方法详解

任务定义

给定复数序列 $(η) = \{η_n\}_{n=0}^∞$，定义：

• Rhaly算子：$R(η)(f)(z) = \sum_{n=0}^∞ η_n \left(\sum_{k=0}^n a_k\right) z^n$，其中 $f(z) = \sum_{n=0}^∞ a_n z^n$
• 生成函数：$F(η)(z) = \sum_{n=0}^∞ η_n z^n$
• 目标：刻画使得 $R(η)$ 在Hardy空间 $H^p$ 或Bergman空间 $A^p$ 上有界（$R(η) ∈ B(H^p)$）或紧（$R(η) ∈ K(H^p)$）的序列 $(η)$

关键空间定义：

• Mean Lipschitz空间 $Λ^p_α$：$f ∈ Λ^p_α$ 当且仅当 $M_p(r, f') = O((1-r)^{α-1})$
• Little-oh空间 $λ^p_α$：$f ∈ λ^p_α$ 当且仅当 $(1-r)^{1-α}M_p(r, f') → 0$ 当 $r → 1$
• 其中 $M_p(r, f) = \left(\frac{1}{2π}\int_0^{2π} |f(re^{iθ})|^p dθ\right)^{1/p}$

核心技术路线

论文采用双向证明策略：

1. 必要性证明（$R(η)$ 有界 $⇒$ $F(η) ∈ Λ^p_{1/p}$）

关键构造（以Hardy空间为例）：

• 测试函数族：对 $N = 2, 3, ...$，定义 $f_N(z) = \frac{1}{N^{2-1/p}} \frac{a_N z}{(1-a_N z)^2}, \quad a_N = 1 - \frac{1}{N}$
  这些函数满足 $\|f_N\|_{H^p} ≲ 1$
• 算子作用：计算 $R(η)(f_N)(z) = \sum_{k=1}^∞ η_k k α_{k,N} z^k$ 其中 $α_{k,N} = \frac{1}{kN^{2-1/p}} \sum_{n=1}^k n a_N^n$
• Lipschitz Cesàro基构造：
  • 定义 $β_{k,N} = 1/α_{k,N}$
  • 构造分段线性函数 $Ψ_N$，顶点为 $(k/N, β_{k,N})$ ($N ≤ k ≤ 2N$)
  • 证明 $L(Ψ_N) ≲ N^{1-1/p}$（Lipschitz常数估计）
• 卷积技巧：定义 $H_N(z) = \sum_{k=0}^{4N} Ψ_N(k/N) z^k$
  利用Riesz投影定理和卷积性质，得到 $\|\Delta_N(F'(η))\|_{H^p} ≲ N^{1-1/p} \|R(η)(f_N)\|_{H^p} ≲ N^{1-1/p}$
  由定理A，这等价于 $F(η) ∈ Λ^p_{1/p}$

对Bergman空间的调整：

• 测试函数改为 $g_N(z) = N^{(α+1)/p} f_N(z)$
• 使用面积测度下的范数估计
• 利用Lemma 2（卷积引理）处理Bergman范数

2. 充分性证明（$F(η) ∈ Λ^p_{1/p}$ $⇒$ $R(η)$ 有界）

关键中间结果（定理5）：

• 证明 $R(η): H^p → D^p_{p-1}$ 有界（其中 $D^p_{p-1}$ 是Dirichlet型空间）
• 利用嵌入关系：
  • $D^p_{p-1} ⊂ H^p$ ($1 < p ≤ 2$)
  • $H^p ⊂ D^p_{p-1}$ ($2 < p < ∞$)

证明技术：

• 移位算子技巧：定义 $S[f](z) = zf(z)$，则 $S[R(η)(f)]'(z) = S[F(η)]' ⋆ g(z)$ 其中 $g(z) = f(z)/(1-z)$
• 卷积估计：使用 $M_q(r^2, [R(η)(f)]') ≲ M_q(r, F'(η)) M_1(r, g)$
• Hölder不等式应用： $M_1(r, g) ≲ \frac{1}{(1-r)^{1/(γp)}} M_{γp}(r, f)$
• 范数估计：结合上述估计得到 $\|R(η)(f)\|_{X_{q,p}}^p ≲ \int_0^1 β_{q,1/q}^p(r, F(η)) \frac{1}{(1-r)^{1/γ}} M_{γp}^p(r, f) dr$
  由 $F(η) ∈ Λ^q_{1/q}$ 和Hardy-Littlewood定理（定理5.11），得到有界性

3. 紧性证明

有限秩逼近：定义 $R_N(f)(z) = \sum_{n=0}^N η_n \left(\sum_{k=0}^n a_k\right) z^n$

证明当 $F(η) ∈ λ^p_{1/p}$ 时： $\|R(η) - R_N\|_{B(H^p, X_{q,p})} → 0, \quad N → ∞$

利用命题1：若 $f ∈ λ^p_α$，则 $β_{p,α}(f - S_N f) → 0$

技术创新点

1. Lipschitz Cesàro基的构造：
   • 推广Pavlović的方法到Lipschitz情形
   • 通过精细的差分估计控制Lipschitz常数
   • 关键不等式（2.17）：$|(1-e^{iθ})^2 W^Ψ_n(e^{iθ})| ≤ 14L(Ψ)$
2. 移位算子与卷积的结合：
   • 建立 $S[R(η)(f)]' = S[F(η)]' ⋆ g$ 的关键恒等式
   • 利用卷积的 $L^p$ 估计简化分析
3. 混合范数空间 $X_{q,p}$ 的引入：
   • 对 $2 < p < ∞$ 情形，通过 $1 < q < p$ 的中间空间建立充分条件
   • 利用Flett嵌入定理（3.19）
4. Rademacher函数构造反例：
   • 使用Khinchine不等式构造满足 $η_n = O(1/n)$ 但 $R(η) ∉ B(H^p)$ ($p < 2$) 的序列
   • 基于 $h(z) = \log(1/(1-z))$ 的分解
5. 单调序列的特殊处理：
   • 对单调非负序列，利用命题A建立 $F(η) ∈ Λ^p_{1/p}$ 与 $η_n = O(1/n)$ 的等价性
   • 这揭示了单调性假设的重要性

实验设置

作为纯理论数学论文，本文不包含数值实验。所有结果均通过严格的数学证明获得。

理论验证方法

1. 构造性证明：
   • 通过显式构造测试函数族验证必要性
   • 通过构造反例验证条件的最优性
2. 反例构造：
   • 定理4(ii)：使用Rademacher函数构造 $η_n = O(1/n)$ 但 $R(η) ∉ B(H^p)$ ($p < 2$) 的序列
   • 具体构造：$Υ(z) = \sum_{k=0}^∞ (Δ_{2^k}h)_{t_k}(z)$，其中 $t_k$ 通过Khinchine不等式选取
3. 极端情形分析：
   • $p = 1$：给出必要条件但不充分刻画
   • $p = 2$：利用 $H^2$ 与 $\ell^2$ 的等距同构
   • $2 < p < ∞$：建立充分和必要条件的间隙

实验结果

主要理论结果总结

关键发现

1. Bergman空间的完全刻画（定理3）：
   • 对所有 $1 < p < ∞$，$R(η) ∈ B(A^p)$ 当且仅当 $F(η) ∈ Λ^p_{1/p}$
   • 这是完全刻画，无间隙
2. Hardy空间的$p$依赖性（定理1和2）：
   • $1 < p ≤ 2$：完全刻画
   • $2 < p < ∞$：充分条件和必要条件之间存在间隙
   • 间隙体现在需要更强的条件 $F(η) ∈ Λ^q_{1/q}$ ($q < p$) 才能保证有界性
3. $η_n = O(1/n)$ 条件的非对称性（定理4）：
   • 正向结果：$2 ≤ p < ∞$ 时，$η_n = O(1/n)$ $⇒$ $R(η) ∈ B(H^p)$
   • 反例：$1 ≤ p < 2$ 时，存在 $η_n = O(1/n)$ 但 $R(η) ∉ B(H^p)$
   • 单调情形：对单调非负序列，$R(η) ∈ B(H^p)$ $⇔$ $η_n = O(1/n)$ (所有$1 < p < ∞$)
4. $H^1$ 的特殊性质（定理7）：
   • 条件 $F'(η) ∈ H^1$ 不仅保证有界性，还保证紧性
   • 必要条件：$\sum_{n=0}^N n|η_n| = O(N)$ 和 $\|\Delta_N(F(η))'\|_{H^1} = O(\log N)$
   • 这些条件弱于充分条件，表明 $H^1$ 情形尚未完全解决

具体估计

1. 测试函数的范数（引理相关）：
   • $\|f_N\|_{H^p} ≲ 1$ 对所有 $N$
   • $\|g_N\|_{A^p_α} ≍ 1$ 当 $α < 2p - 2$
2. Lipschitz常数估计：
   • Hardy空间情形：$L(Ψ_N) ≲ N^{1-1/p}$
   • Bergman空间情形：$L(Ψ_N) ≲ N^{1-(2+α)/p}$
3. 分块范数估计：
   • $\|\Delta_N(F'(η))\|_{H^p} = O(N^{1-1/p})$ $⇔$ $F(η) ∈ Λ^p_{1/p}$
   • $\|\Delta_N(F'(η))\|_{H^p} = o(N^{1-1/p})$ $⇔$ $F(η) ∈ λ^p_{1/p}$

相关工作

历史背景

1. Cesàro算子的经典结果：
   • Hardy-Landau (1920-1926)：Cesàro算子在 $\ell^p$ ($1 < p ≤ ∞$) 上有界
   • 多位作者 (1987-2000)：Cesàro算子在 $H^p$ ($0 < p < ∞$) 和 $A^p_α$ 上有界
   • Siskakis, Miao, Nowak等的不同证明方法
2. Cesàro型算子 $C_μ$：
   • Galanopoulos-Girela-Merchán (2022)：$μ$ 为 $[0,1)$ 上正测度时，$C_μ$ 在 $H^p$ 或 $A^p_α$ 上有界当且仅当 $μ$ 是Carleson测度
   • 等价于 $μ_n = O(1/(n+1))$
   • Blasco, Beltrán-Meneu等：推广到复Borel测度
3. Rhaly算子在序列空间：
   • Galanopoulos-Girela-Prǎjiturǎ (2024)：完全刻画 $\ell^p$ ($1 < p < ∞$) 上的有界性和紧性
   • Bellavita-Dellepiane-Stylogiannis (2024)：Schatten类刻画
4. Dirichlet型空间：
   • Blasco-Galanopoulos-Girela (2025)：$R(η): D^2_α → D^2_β$ 的刻画
   • Bao-Guo-Sun-Wang (2024)：Hankel矩阵在Dirichlet空间上的作用

本文的创新

1. 推广到一般$p$：
   • 以往主要集中在 $p = 2$（利用Hilbert空间结构）
   • 本文系统研究所有 $1 ≤ p < ∞$
2. 完整刻画Bergman空间：
   • 首次给出所有 $1 < p < ∞$ 的完全刻画
   • 证明方法与Hardy空间不同，需要面积测度的技巧
3. 揭示Hardy空间的复杂性：
   • 发现 $2 < p < ∞$ 情形的充要条件间隙
   • 构造反例说明 $η_n = O(1/n)$ 条件的非对称性
4. 技术贡献：
   • Lipschitz Cesàro基的构造
   • 移位算子与卷积的系统应用
   • 混合范数空间的引入

与相关工作的比较

结论与讨论

主要结论

1. Bergman空间的完全理论：
   • 对所有 $1 < p < ∞$，$R(η)$ 在 $A^p$ 上有界/紧当且仅当 $F(η) ∈ Λ^p_{1/p}$ / $λ^p_{1/p}$
   • 这提供了判定Rhaly算子性质的实用准则
2. Hardy空间的分层结构：
   • $1 < p ≤ 2$：完全刻画，条件为 $F(η) ∈ Λ^p_{1/p}$
   • $2 < p < ∞$：充分条件（$F(η) ∈ Λ^q_{1/q}$，$q < p$）与必要条件（$F(η) ∈ Λ^p_{1/p}$）之间存在间隙
   • $p = 1$：仅有部分结果，问题更困难
3. 增长条件的精细性：
   • $η_n = O(1/n)$ 对 $p ≥ 2$ 充分，但对 $p < 2$ 不充分
   • 单调性假设下，$η_n = O(1/n)$ 成为充要条件
   • 这说明序列的振荡行为对算子性质有本质影响
4. Mean Lipschitz空间的核心作用：
   • $Λ^p_{1/p}$ 空间是刻画Rhaly算子的自然工具
   • 其定义通过导数的 $L^p$ 增长，与算子的分析性质直接相关

局限性

1. Hardy空间 $2 < p < ∞$ 的间隙：
   • 充分条件要求 $F(η) ∈ Λ^q_{1/q}$ ($q < p$)，必要条件仅给出 $F(η) ∈ Λ^p_{1/p}$
   • 尚不清楚真实的充要条件是什么
   • 可能需要新的技术工具或中间函数空间
2. $H^1$ 空间的不完整性：
   • 仅给出必要条件和部分充分条件
   • 完全刻画可能需要更深入的实分析技巧
   • $H^1$ 的非自反性带来额外困难
3. 非单调序列的复杂性：
   • 对一般序列，$η_n = O(1/n)$ 与有界性的关系复杂
   • 反例构造依赖Rademacher函数，难以推广
4. 加权Bergman空间：
   • 论文主要考虑 $A^p = A^p_0$
   • 对一般 $A^p_α$ ($α ≠ 0$)，结果在证明中有提及但未详细展开
   • 权重参数 $α$ 的影响值得进一步研究
5. 算子范数的定量估计：
   • 论文主要关注定性刻画（有界或紧）
   • 对算子范数 $\|R(η)\|_{B(H^p)}$ 的精确估计未给出
   • 这对应用可能很重要

未来方向

论文隐含但未明确提出的研究方向包括：

1. 完全解决Hardy空间问题：
   • 消除 $2 < p < ∞$ 情形的间隙
   • 完全刻画 $H^1$ 上的Rhaly算子
2. 推广到其他函数空间：
   • BMOA空间
   • Bloch空间
   • 加权Hardy/Bergman空间
3. Schatten类性质：
   • 类似于 $\ell^2$ 的结果，研究 $R(η) ∈ S_q(H^2)$ 的刻画
   • 已有部分工作（Bellavita等，2024）
4. 算子谱理论：
   • 研究 $R(η)$ 的谱、本质谱
   • 特征值的分布
5. 多变量推广：
   • 多圆盘或单位球上的Rhaly算子
   • 需要新的技术处理多指标求和
6. 数值算法：
   • 虽然本文是纯理论，但可发展数值方法判定给定序列的算子性质
   • 对 $F(η) ∈ Λ^p_{1/p}$ 的数值验证

深度评价

优点

1. 理论完整性：
   • Bergman空间的完全刻画是重要贡献
   • Hardy空间 $1 < p ≤ 2$ 的完全刻画填补了文献空白
   • 系统性强，涵盖所有 $1 ≤ p < ∞$
2. 技术创新：
   • Lipschitz Cesàro基：推广Pavlović的构造，是证明必要性的关键
   • 移位算子技巧：建立 $S[R(η)(f)]' = S[F(η)]' ⋆ g$ 的恒等式简化分析
   • 混合范数空间：引入 $X_{q,p}$ 处理 $2 < p < ∞$ 情形
3. 反例构造的精妙：
   • 使用Rademacher函数和Khinchine不等式构造反例
   • 证明 $η_n = O(1/n)$ 条件的最优性
   • 反例具有构造性，清晰展示问题的本质
4. 证明的严谨性：
   • 所有定理都有完整证明
   • 引用文献恰当，逻辑链条清晰
   • 常数估计细致（使用 $≲, ≍$ 符号）
5. 结构清晰：
   • 第2节系统介绍预备知识
   • 主要结果按Hardy空间、Bergman空间、进一步结果分节
   • 定理陈述清晰，易于理解
6. 与已有工作的联系：
   • 清楚说明与Cesàro算子、$C_μ$ 算子、序列空间Rhaly算子的关系
   • 指出哪些是新结果，哪些是已知结果的推广

不足

1. Hardy空间理论的不完整：
   • $2 < p < ∞$ 存在间隙，充要条件未知
   • $H^1$ 仅有部分结果
   • 这限制了理论的应用范围
2. 证明的技术性：
   • 某些证明（如Lipschitz Cesàro基构造）技术性很强
   • 对非专家可能难以理解
   • 缺少直观解释为何这些技术有效
3. 缺少应用讨论：
   • 论文纯理论，未讨论实际应用
   • Rhaly算子在其他数学分支或应用领域的意义未提及
   • 可以补充一些动机性的例子
4. 定量估计不足：
   • 大量使用 $O(\cdot), o(\cdot), ≲$ 等符号
   • 对算子范数的精确界未给出
   • 对某些应用，定量界可能更有用
5. 数值验证缺失：
   • 作为纯数学论文可以理解
   • 但一些数值例子可以增强直观理解
   • 例如，对具体序列 $(η)$ 计算 $β_{p,1/p}(F(η))$
6. 开放问题的讨论：
   • 虽然局限性部分隐含了开放问题
   • 但缺少明确的"开放问题"小节
   • 对未来研究方向的讨论较简略

影响力

1. 理论贡献：
   • 在算子理论和复分析交叉领域做出重要贡献
   • Bergman空间的完全刻画是该方向的里程碑结果
   • 为研究更一般的矩阵算子提供了范例
2. 方法论价值：
   • Lipschitz Cesàro基的构造方法可能适用于其他问题
   • 移位算子与卷积结合的技巧具有普适性
   • 混合范数空间的使用提供了新视角
3. 后续研究：
   • 预期会激发以下研究：
     • 消除Hardy空间的间隙
     • 推广到其他函数空间
     • 研究相关算子（如Hilbert算子、Hankel算子）
   • 已有引用本文预印本的后续工作（如作者自己的其他论文）
4. 实用价值：
   • 对分析学家：提供判定算子性质的实用准则
   • 对应用数学家：Rhaly算子可能出现在信号处理、逼近理论等领域
   • 对教学：可作为算子理论高级课程的案例
5. 可复现性：
   • 所有证明完整，理论上可完全验证
   • 不涉及数值实验，无复现性问题
   • 反例构造是显式的，可以具体计算

适用场景

1. 理论研究：
   • 研究Hardy空间、Bergman空间上的算子理论
   • 研究Mean Lipschitz空间的应用
   • 研究矩阵算子的函数空间实现
2. 相关问题：
   • 判定给定序列 $(η)$ 对应的Rhaly算子性质
   • 研究Cesàro型算子的推广
   • 研究Hankel算子、Toeplitz算子等相关算子
3. 教学应用：
   • 算子理论课程的高级案例
   • 复分析中函数空间的应用
   • 泛函分析中有界算子和紧算子的例子
4. 潜在应用领域：
   • 信号处理中的滤波器设计（Cesàro平均）
   • 数值分析中的求和方法
   • 概率论中的鞅变换
5. 不适用场景：
   • 需要显式算子范数估计的问题
   • 有限维问题（Rhaly算子本质上是无穷维的）
   • 非线性问题（本文研究线性算子）

参考文献（重要引用）

论文引用了44篇参考文献，以下是关键的几篇：

1. Hardy-Landau (1920-1926)：Cesàro算子在 $\ell^p$ 上有界的经典结果
2. Duren (1970, 2000)：Hardy空间理论的标准参考书
3. Hedenmalm-Korenblum-Zhu (2000)：Bergman空间理论的标准参考书
4. Bourdon-Shapiro-Sledd (1989)：Mean Lipschitz空间的开创性工作
5. Pavlović (2013, 2014)：函数空间理论和Cesàro基构造
6. Galanopoulos-Girela-Merchán (2022)：Cesàro型算子 $C_μ$ 的研究
7. Galanopoulos-Girela-Prǎjiturǎ (2024)：序列空间上Rhaly算子的刻画
8. Mateljević-Pavlović (1984)：$L^p$ 行为和积分平均
9. Flett (1972)：Hardy-Littlewood不等式的对偶
10. Zygmund (1959)：三角级数理论（Khinchine不等式）

总结

这是一篇高质量的理论数学论文，在Rhaly算子理论方面做出了重要贡献。主要成就是完全刻画了Bergman空间上的Rhaly算子，以及Hardy空间 $1 < p ≤ 2$ 情形的完全刻画。技术上，Lipschitz Cesàro基的构造和移位算子技巧的应用是亮点。论文的主要局限在于Hardy空间 $2 < p < ∞$ 和 $H^1$ 情形的不完整性，以及缺少应用讨论。整体而言，这是该领域的重要进展，为后续研究奠定了坚实基础。