$l^{p}-L^{q}$ boundedness of sequence-to-function Hardy-Littlewood-Pólya-type operators

技术摘要：序列到函数型 Hardy-Littlewood-Pólya 型算子的 $l^p - L^q$ 有界性

问题陈述
本文研究了一类广义序列到函数型算子 $H_{\lambda, \alpha, \beta}$ 的有界性质。这些算子将实数序列 $a = \{a_m\}_{m=1}^\infty$ 映射到正实数集 $R_+ = (0, +\infty)$ 上的一个函数。该算子的定义涉及索引与变量幂次的核函数，其形式为两者最大值之比：
$$H_{\lambda, \alpha, \beta}a(x) := \sum_{m=1}^\infty \frac{m^\alpha x^\beta}{[\max\{m, x\}]^\lambda} a_m, \quad x \in R_+.$$
主要目标是完全刻画在所有参数 $(p, q) \in [1, \infty] \times [1, \infty]$ 下，该算子从加权序列空间 $l^p_\phi$ 到加权勒贝格空间 $L^q_\psi$ 的有界性条件。权重由参数 $\phi$ 和 $\psi$ 定义，其范数分别为 $\|a\|_{p, \phi} = (\sum n^\phi |a_n|^p)^{1/p}$ 以及 $\|f\|_{q, \psi} = (\int |f(x)|^q x^\psi dx)^{1/q}$。

以往的文献主要集中在 $p=q > 1$ 的情况。本研究旨在通过提供涵盖所有 $p$ 和 $q$ 组合的综合刻画，填补 $p \neq q$ 这一一般情况下的空白。

方法论
作者结合了经典分析技术与现代泛函分析工具：

1. 广义 Schur 测试： 充分性证明的核心依赖于广义 Schur 测试，特别是由 Okikiolu、Sinnamon、Tao 和 Zhao 开发的版本。这些测试通过构造特定的权重函数（或序列）来通过 Hölder 不等式和 Minkowski 不等式建立有界性。
2. 对偶论证： 对于涉及 $L^1$ 或 $L^\infty$ 目标空间，或特定的 $l^p$ 到 $L^q$ 映射的情况，作者利用对偶原理将算子的有界性与其伴随算子或相关积分算子的有界性联系起来。
3. 通过反例建立必要条件： 为了建立定理中的“仅当”部分，作者构造了特定的测试序列（通常形式为 $a_m = m^{-\gamma - \epsilon}$），并分析了由此产生的积分收敛性。引理 2.5 至 2.9 提供了涉及核函数 $K(m, x) = \frac{m^\alpha x^\beta}{[\max\{m, x\}]^\lambda}$ 的积分与求和项的精确估计。
4. 精细范数估计： 在第 7 节中，当参数满足临界等式时，作者利用 Fatou 引理和极限论证推导出了算子范数的精确公式。

主要贡献与结果
本文提出了九个主要定理（定理 1.3–1.9），在不同的 $p$ 和 $q$ 机制下提供了 $H_{\lambda, \alpha, \beta}$ 有界的充要条件：

• 情况 $1 \le p \le q < \infty$ (定理 1.3)： 算子从 $l^p_\phi$ 到 $L^q_\psi$ 有界，当且仅当：
  $$\lambda \ge \alpha + \beta + 1 + \frac{\psi+1}{q} - \frac{\phi+1}{p} \quad \text{且} \quad -q\beta < \psi + 1 < q(\lambda - \beta).$$
  注意对于 $p < q$，第一个不等式为严格不等式（$\lambda > \dots$）。

• 情况 $p=1, q=\infty$ (定理 1.4)： 从 $l^1_\phi$ 到 $L^\infty$ 的有界性成立，当且仅当 $\lambda \ge \beta \ge 0$ 且 $\lambda \ge \alpha + \beta - \phi$。

• 情况 $1 < p < \infty, q=\infty$ (定理 1.5)： 从 $l^p_\phi$ 到 $L^\infty$ 的有界性需要涉及 $\lambda, \beta, \alpha$ 和 $\phi$ 的两个集合的析取关系（包含严格与非严格不等式）。

• 情况 $p=\infty, q=\infty$ (定理 1.6)： 从 $l^\infty$ 到 $L^\infty$ 的有界性成立，当且仅当 $\lambda \ge \beta \ge 0$ 且 $\lambda > \alpha + \beta + 1$。

• 情况 $1 \le q < p \le \infty$ (定理 1.7–1.9)：

  • 对于 $l^p_\phi \to L^1_\psi$ ($1 < p < \infty$)，有界性要求 $\lambda > \alpha + \beta + 2 + \psi - \frac{\phi+1}{p}$ 且 $-\beta < \psi + 1 < \lambda - \beta$。
  • 对于 $l^p_\phi \to L^q_\psi$ ($1 < q < p < \infty$)，除了标准不等式外，还需要额外条件 $\phi + 1 < p(\alpha + 1)$。
  • 对于 $l^\infty \to L^q_\psi$ ($1 \le q < \infty$)，有界性要求 $\alpha + 1 \ge 0$，$\lambda > \alpha + \beta + 1 + \frac{\psi+1}{q}$ 且 $-q\beta < \psi + 1$。

• 精细范数估计 (定理 7.1)： 在临界情况 $p=q$ 且 $\lambda = \alpha + \beta + 1 + \frac{\psi-\phi}{p}$ 下，论文给出了算子范数的显式公式：
  $$\|H_{\lambda, \alpha, \beta}\| = \frac{1}{\alpha + 1 - \frac{1}{p}(\phi + 1)} + \frac{1}{\beta + 1 + \frac{1}{p}(\psi + 1)}.$$

意义与主张
作者声称这些结果“完全刻画”了指定参数范围内此类算子的 $l^p - L^q$ 有界性。本文将自身定位为现有文献的补充，因为现有文献主要关注对角情形 ($p=q$)。通过利用广义 Schur 测试，作者将已知结果的范围扩展到了非对角情形 ($p \neq q$)，并为这些特定加权空间提供了此前未被解决的必要条件。

本文还通过反例（备注 8.1 和 8.2）强调了某些条件的必要性，证明了定理 1.9 中的 $\alpha + 1 \ge 0$ 以及定理 1.8 中的 $\phi + 1 < p(\alpha + 1)$ 等条件是不可移除的。文中指出，该方法论适用于其他定义在 $R_+ \times R_+$ 上的非负可测核，暗示了所用技术的更广泛用途。