[论文解读] Lp Convergence with Rates of Smooth Poisson-Cauchy Type Singular Operators

George A. Anastassiou, Razvan A. Mezei|ArXiv.org|Nov 9, 2009

Approximation Theory and Sequence Spaces参考文献 10被引用 4

一句话总结

本文建立了实直线上光滑Poisson-Cauchy型奇异积分算子的$L_p$收敛速率，使用函数或其导数的高阶$L_p$模光滑度。关键结果以模光滑度表示显式误差界，证明当尺度参数$ xi \to 0$时收敛于恒等算子，并为$p \geq 1$提供了定量速率。这些算子通常不保持正性，分析依赖于泰勒展开、积分变换以及涉及伽马函数和奇异核的$L_p$-范数估计。

ABSTRACT

In this article we continue the study of smooth Poisson-Cauchy Type singular integral operators on the line regarding their convergence to the unit operator with rates in the Lp norm, p greater equal one. The related established inequalities involve the higher order Lp modulus of smoothness of the engaged function or its higher order derivative.

研究动机与目标

• 研究$p \geq 1$时，实直线上光滑Poisson-Cauchy型奇异积分算子$M_{r,\xi}$在$L_p$范数下对恒等算子的收敛速率。
• 推导涉及函数或其导数的高阶$L_p$模光滑度的Jackson型不等式。
• 以函数的光滑度和尺度参数$ xi$表示收敛速率，特别针对其高阶导数属于$L_p(\mathbb{R})$的函数。
• 通过引入高阶导数和精确的$L_p$-范数估计，拓展先前关于奇异积分收敛性的结果。

提出的方法

• 算子$M_{r,\xi}(f;x)$通过$\mathbb{R}$上的加权积分定义，其核包含$(t^{2\alpha} + \xi^{2\alpha})^{-\beta}$项，由常数$W$归一化，以保证对常数$c$有$M_{r,\xi}(c) = c$。
• 方法使用函数差$f(x+jt) - f(x)$的泰勒展开，展开至$n$阶，余项$\mathcal{R}_n(0,t,x)$表示为$n$阶导数差$\tau(w,x)$的积分形式。
• 通过应用赫尔德不等式，并估计涉及核函数和余项的积分，对误差的$L_p$范数$\|M_{r,\xi}(f) - f\|_p$进行上界控制。
• 分析利用伽马函数的性质以及$r$阶$L_p$模光滑度$\omega_r(f^{(n)}, h)_p$，以控制余项并导出最终的误差界。
• 在条件$\beta > \frac{1}{\alpha}(\frac{1}{p} + n + r)$下推导收敛速率，确保核函数的可积性与衰减性。
• 对于$p=1$，通过函数二阶差的$L_1$范数单独推导估计，得到涉及$L_1$模光滑度$\omega_2(f, \xi)_1$的误差界。

实验结果

研究问题

• RQ1 对于$p \geq 1$，光滑Poisson-Cauchy型奇异积分算子的$L_p$收敛速率是多少？
• RQ2 收敛速率如何依赖于函数的光滑度，即通过函数或其导数的高阶$L_p$模光滑度衡量？
• RQ3 能否针对满足$f^{(n)} \in L_p(\mathbb{R})$的函数，以$\omega_r(f^{(n)}, \xi)_p$表示显式误差界？
• RQ4 参数$\alpha$、$\beta$和$ xi$如何影响$L_p$范数下的收敛速率？
• RQ5 在$L_1$情形下算子的行为如何？与$p > 1$的情形相比有何异同？

主要发现

• 误差的$L_p$范数$\|M_{r,\xi}(f) - f\|_p$被一个常数乘以$\omega_r(f^{(n)}, \xi)_p$所控制，该常数依赖于$p$、$\alpha$、$\beta$、$r$和$n$，且随$ xi \to 0$而衰减。
• 对于$p > 1$，误差界由不等式(16)显式给出，涉及伽马函数、$ xi^n$以及依赖于$\alpha$、$\beta$、$p$、$r$和$n$的有限积分$\tau$。
• 收敛速率为$O(\omega_r(f^{(n)}, \xi)_p)$，表明更光滑的函数（模光滑度更小）导致更快的收敛。
• 在$L_1$情形下，误差被一个常数倍的$\omega_2(f, \xi)_1$所控制，如不等式(82)所示，该常数依赖于$\alpha$、$\beta$和伽马函数。
• 不等式(16)在条件$\beta > \frac{1}{\alpha}(\frac{1}{p} + n + r)$下成立，确保核函数和余项的可积性。
• 当$ xi \to 0$时，误差的$L_p$范数趋于零，证明对$p \geq 1$，有$M_{r,\xi}(f)$在$L_p(\mathbb{R})$中收敛于$f$。