[论文解读] Variation operators for semigroups associated with Fourier-Bessel expansions

Jorge J. Betancor, Alejandro J. Castro+1 more|arXiv (Cornell University)|Apr 30, 2021

Advanced Harmonic Analysis Research参考文献 37被引用 2

一句话总结

本文建立了与傅里叶-贝塞尔半群相关的变差、振荡和跳跃算子的 Lp 有界性，特别针对泊松和热半群的分数阶导数。证明了这些算子在 Lp((0,1),x^{2ν+1}dx) 上有界（1 < p < ∞），且从 L1 到弱-L1 有界，通过原子分解和核估计将经典调和分析工具推广至傅里叶-贝塞尔设定，并获得精确估计。

ABSTRACT

In this paper we establish $L^p$-boundedness properties for variation operators defined by semigroups associated with Fourier-Bessel expansions.

研究动机与目标

• 建立由傅里叶-贝塞尔展开产生的半群相关的变差、振荡和跳跃算子的 Lp 有界性。
• 将变差调和分析推广至贝塞尔设定，其中经典工具如极大函数和平方函数不足以适用。
• 证明这些算子在权为 x^{2ν+1}dx 的加权 Lp 空间 (0,1) 上的有界性，包括 (1,1) 型弱有界性估计。
• 通过原子分解刻画变差算子在 Hardy 空间 H1 上的有界性。

提出的方法

• 通过递减参数族和 Lρ-准范数定义变差、振荡和跳跃算子。
• 使用与贝塞尔算子 ∆ν 相关的泊松和热半群，其由特征函数 φν_n 生成。
• 应用次序化公式，通过积分表示关联泊松和热半群。
• 建立 Wν_t(x,y) 和 Pν_t(x,y) 的点态核估计，特别是涉及 e^{-c|x−y|²/t} 和 (xy)^{ν+1/2} 的界。
• 利用 Hardy 空间 H1((0,1),Sν) 的原子分解，证明变差算子在原子上的统一 L1 有界性。
• 通过结合核估计、L2 有界性和插值，证明 (1,1) 型弱有界性和 (p,p) 型强有界性。

实验结果

研究问题

• RQ1 傅里叶-贝塞尔半群相关的变差算子在 Lp((0,1),x^{2ν+1}dx) 上是否对 1 < p < ∞ 有界，且为 (1,1) 型弱有界？
• RQ2 在贝塞尔设定下，变差算子 Vρ 是否有界从 L1 到 L1,∞，针对泊松半群？
• RQ3 变差算子 Vρ 是否将 Sν-原子映射为 L1((0,1),dx) 中一致有界的函数？
• RQ4 在贝塞尔背景下，极大算子 Pν* 与变差算子 Vρ 之间有何关系？
• RQ5 泊松半群的分数阶导数如何影响变差算子的有界性？

主要发现

• 变差算子 Vρ({t^β ∂_t^β Pν_t}) 在 Lp((0,1),x^{2ν+1}dx) 上有界（对所有 1 < p < ∞），且从 L1 到 L1,∞ 有界，其中 ν > -1 且 β ≥ 0。
• 与同一族相关的振荡和跳跃算子在 Lp 上（1 < p < ∞）有界，且从 L1 到 L1,∞ 有界。
• 变差算子 Vρ({Pν_t}) 从 H1((0,1),Sν) 有界映射到 H1((0,1),Sν)，且在 Sν-原子上具有统一的 L1 有界性。
• 对任意 Sν-原子 a，有 ‖Vρ({Pν_t})(a)‖_{L1((0,1),dx)} ≲ 1，且对所有 a 一致成立，从而证明了关键的原子估计。
• 极大算子 Pν* 被 Vρ({Pν_t}) + |Pν_1| 控制，这使得可将变差算子的有界性转移至极大函数。
• Wν_t 和 Pν_t 的核估计（包括涉及 e^{-c|x−y|²/t} 的点态界）对控制变差范数至关重要。