The Hardy averaging operator between Orlicz spaces and a new gauge functional characterizing a given Orlicz space

《Orlicz 空间之间的 Hardy 平均算子与刻画给定 Orlicz 空间的全新度量泛函》技术摘要

问题陈述
本文研究了 Hardy 平均算子 $P$ 在 Orlicz 空间 $L_A(\mathbb{R}^+)$ 与 $L_B(\mathbb{R}^+)$ 之间的映射性质，其中 $P$ 定义为 $(Pf)(t) = t^{-1} \int_0^t f(s) ds$。具体而言，它探讨了“最优 Orlicz 域”问题：即识别出使得 $P$ 将 $L_B$ 映射到给定的目标 Orlicz 空间 $L_A$ 中的最大 Orlicz 空间 $L_B$。

虽然先前的研究（由 Gogatishvili、Cianchi 以及 Kerman–Rawat–Singh 完成）已经确立了这种有界性的充分必要条件，但一个核心问题仍然存在，即关于最优 Orlicz 域与最优重排不变（r.i.）域之间的关系。通常情况下，映射到 $L_A$ 下的最大 r.i. 空间是 $L_{\Gamma A}$，其通过范数 $\rho_{\Gamma A}(f) = \rho_A(Pf^*)$ 定义，其中 $f^*$ 是非增重排函数。此前尚未建立最优 r.i. 域是否本身就是一个 Orlicz 空间。

方法论
作者结合了重排理论、插值理论和泛函分析。

1. 重排原理： 分析在很大程度上依赖于 Hardy–Littlewood–Pólya (HLP) 原理以及非增重排 $f^*$ 的性质。作者利用了 $Pf^*$ 支配 $Pf$以及$P$ 在 Orlicz 空间上有界当且仅当它在重排函数上有界这一事实。
2. 次线性泛函与对偶性： 一个核心的方法论创新是构造了一个特定的次线性泛函 $\rho_{\Gamma C}$，它作为 Luxemburg–Orlicz 范数 $\rho_A$ 的一个等价度量。这涉及定义一个由原始 Young 函数 $A(t)$ 的导数导出的新函数 $C(t)$。
3. 极大函数的不等式： 证明过程利用了关于 $f^*$ 和 $Pf^*$ 的分布函数的特定不等式，这些不等式类似于已知于 Hardy–Littlewood 极大函数的性质。这些不等式允许对涉及 Young 函数 $A$ 和构造的泛函 $C$ 的积分进行比较。
4. 插值理论： 本文将这些结果与插值中的 $K$ 方法联系起来，特别旨在使两个 Orlicz 空间之间插值空间的对偶范数公式更具可计算性。

主要贡献与结果

• 等价的最优域（定理 1.1）： 主要结果断言，Hardy 平均算子映射入的最大 Orlicz 空间与映射入该目标空间的最大的重排不变空间一致。具体而言，如果 $A$ 是满足原点处温和可积条件的 Young 函数，那么空间 $L_{\Gamma A}$（即最优 r.i. 域）与 Orlicz 空间 $L_{\bar{A}}$ 是相同的，其中 $\bar{A}(t) = t \int_0^t \frac{a(s)}{s} ds$。因此，最优 Orlicz 域自动就是最优 r.i. 域。

  • 本文建立了范数等价关系：$\frac{1}{2} \rho_{\Gamma A}(f) \leq \rho_A(f) \leq \rho_{\Gamma A}(f)$。

• 新度量泛函（定理 1.3）： 作者证明了每个 Luxemburg–Orlicz 范数 $\rho_A$ 都等价于一个形式为如下的次线性泛函 $\rho_{\Gamma C}$：
  $$\rho_{\Gamma C}(f) := \inf \left\{ \lambda > 0 : \int_{\mathbb{R}^+} C\left( \frac{1}{t\lambda} \int_0^t f^*(s) ds \right) dt \leq 1 \right\}$$
  其中 $C$ 由 $A$ 构造而成。至关重要的是，本文指出 $C$ 不一定是凸的；因此，$\rho_{\Gamma C}$ 是一个扩展了 Luxemburg–Orlicz 范数类别的次线性泛函，因为它可能不具备范数的全部性质（具体而言，它可能缺乏齐次性）。

• 在奇异积分与极大函数中的应用：

  • Hardy–Littlewood 极大函数： 作者应用定理 1.1 表明，Hardy–Littlewood 极大函数 $M$ 的最优 Orlicz 域是 $L_{\bar{A}}$。他们证明了这一结果是最优的。
  • 近似恒等式： 对于由核函数构成的近似恒等式族 $\{\phi_\epsilon\}$，只要其径向主值是可积的，类似的映射性质和最优性也被确立。
  • Calderón–Zygmund 算子： 本文提供了 Calderón–Zygmund 定理的 Orlicz 空间类比。它确立了如果互补 Young 函数 $\tilde{A}$ 满足涉及函数 $b(t) = \int_0^t \frac{a(s)}{s} ds$ 的特定增长条件，则奇异积分算子 $T_K$ 将 $L_A(\mathbb{R}^n)$ 映射到其自身。

意义与主张
本文声称其结果通过证明最优域始终是一个 Orlicz 空间，解决了“最优 Orlicz 域”问题，从而统一了 Hardy 算子的 Orlicz 视角与重排不变视角。

作者强调，$\rho_{\Gamma C}$ 泛函的构造是受到以下动机的驱动：简化在 $K$ 理论插值中出现的对偶范数表达式，特别是在 Orlicz–Sobolev 空间的嵌入理论背景下。论文明确指出，对于主要的等价关系，不需要 $\Delta_2$ 条件，仅依赖于标准的 Young 函数定义（即其导数是非减的）。

本工作以最终形式呈现，不再有其他版本提交，并旨在将经典结果（如 $L^p$ 空间中的 Hardy 不等式）推广到更广泛的 Orlicz 空间领域，而无需对 Young 函数施加不必要的凸性或增长约束。