[论文解读] Norm of the discrete Cesàro operator minus identity

Gord Sinnamon|arXiv (Cornell University)|May 29, 2021

Holomorphic and Operator Theory参考文献 3被引用 26

一句话总结

本文准确确定了 C−I 在 ℓ^p 上的算子范数，对所有 p∈(1,∞)：当 1<p≤2 时等于 1/(p−1)，对 p>2 时等于 m_p^{−1/p}（p=∞ 时取 2）；它也与连续 Hardy 情况一致，并通过最小化相关函数引入 m_p。

ABSTRACT

The norm of $C-I$ on $\ell^p$, where $C$ is the Cesàro operator, is shown to be $1/(p-1)$ when $1

研究动机与目标

• 动机化并形式化 Bennett 于 1996 年提出的关于 ℓ^p 上 C−I 的范数以及 Jameson 的猜想。
• 将已知在 p=4/3 和 p=2 的结果推广到所有 p>1，并给出所有 p 的精确范数。
• 将离散的 ℓ^p 结果与连续 Hardy 算子 P 及其转置相关联，显示离散与连续情形下的共同范数。
• 构建一个统一框架，利用转置算子、 Hölder 不等式和对偶性来建立严格界和精确值。

提出的方法

• 定义转置 Cesàro 算子 C^T，并使用对偶性 ∥C−I∥_ℓ^p = ∥C^T−I∥_ℓ^{p′} 来研究 p>2 的取值区间。
• 通过引理 1 证明一个关键不等式，给出上界 ∥C^T−I∥_ℓ^p ≤ p−1，对在稠密集合 𝔼 上的 p，并通过连续性扩展。
• 应用 Hölder 不等式和求和技巧推出有限界 ∑(y_n−x_n)^p ≤ (p−1)^p ∑x_n^p（及其连续对应）。”
• 引入函数 f_p(t)=p t^{p−1}+(1−t)^p−t^p及其在区间 [0,1/2] 的最小值 m_p，表明当 p>2 时 m_p 在唯一的 t_p ∈(0,1/2) 处取得。
• 在集合 𝔼 中的 p 值之间应用 Riesz–Thorin 插值，将界扩展到所有 p>2，并通过构造性的极值序列来证明尖锐性，得到 ∥C−I∥_ℓ^p = m_p^{−1/p} 适用于 p>2。
• 证明离散结果与带有 P^T 与 P 的连续情形相平行，并通过类似论证推导 P−I 的 L^p 范数。

实验结果

研究问题

• RQ1 1<p<∞ 时，C−I 在 ℓ^p 上的精确范数是多少？
• RQ2 已知的 p=4/3 情况（及相关猜想）是否可以推广到所有 p∈(1,∞)，以及如何推广？
• RQ3 离散的 ℓ^p 结果与连续 Hardy 算子 P−I 的情形相比如何，是否可以把对应关系说清楚？
• RQ4 辅助函数 m_p 在确定 p>2 时的尖锐范数中起什么作用？

主要发现

• 对于 1<p≤2，∥C−I∥_ℓ^p = 1/(p−1)（等价地 ∥C^T−I∥_ℓ^p = p−1）。
• 对于 p>2，∥C−I∥_ℓ^p = m_p^{−1/p}，其中 m_p 是 f_p(t)=p t^{p−1}+(1−t)^p−t^p 在 [0,1/2] 上的最小值。
• 特别地，p=∞ 时得到 ∥C−I∥_ℓ^∞ = 2。
• 结果扩展了 Jameson 对 p=4 的界，并通过对 m_p 和 t_p 的具体计算恢复了 p=4/3 和 p=3 的精确值。
• 离散结果与连续情形相吻合：∥P−I∥_{L^p} 等于相同的表达式，推论给出 P^T 和正锥情形的对应说法。
• 证明结合了 Hölder 不等式、关键不等式（引理 1）、Riesz–Thorin 插值以及显式极值构造来证明尖锐性。