[论文解读] Approximation of classes of functions defined by a generalized $r$-th modulus of smoothness

М. К. Потапов, Faton M. Berısha|arXiv (Cornell University)|Aug 28, 2012

Approximation Theory and Sequence Spaces被引用 6

一句话总结

该论文建立了由广义r阶光滑模定义的函数类与具有给定代数多项式最佳逼近速率的函数类之间的等价性。通过使用非对称广义平移算子，证明了在p、α、β和λ的特定条件下，类H(p,α,β,r,λ)与E(p,α,β,λ)一致，将先前结果推广至更高阶光滑性及更广泛的函数空间。

ABSTRACT

In this paper, a $k$-th generalized modulus of smoothness is defined based on an asymmetric operator of generalized translation and a theorem is proved about the coincidence of class of functions defined by this modulus and a class of functions having given order of best approximation by algebraic polynomials.

研究动机与目标

• 将由广义光滑模定义的函数类理论推广至更高阶光滑性（r阶）。
• 建立由广义r阶光滑模定义的类与具有给定最佳多项式逼近速率的函数类之间的重合性。
• 拓宽该重合定理成立的函数空间，特别是针对具有雅可比型权的加权Lp空间。
• 利用一种新颖的非对称广义平移算子，将先前关于一阶光滑模的结果推广至高阶光滑模。
• 提供参数p、α、β和λ的精确条件，以确保等价性成立，包括对光滑性和可积性参数的约束。

提出的方法

• 基于包含三角函数与代数成分的非对称积分变换，引入广义平移算子T_y(f,x)。
• 通过重复应用广义平移算子，递归定义广义差分算子Δ_r^{t1,…,tr}(f,x)。
• 将广义r阶光滑模定义为所有|t_i| ≤ δ下r阶差分算子在L_{p,α,β}范数下的L_{p,α,β}-范数。
• 在加权Lp空间中，使用雅可比多项式P_ν^{(α,β)}(x)作为正交基，分析逼近性质。
• 应用广义闵可夫斯基不等式与霍尔德型不等式，估计迭代差分的L_{p,α,β}-范数。
• 采用递归估计与涉及差分算子二阶及一阶导数的微分不等式，将范数以参数δ和多项式次数k表示。

实验结果

研究问题

• RQ1 在何种p、α、β和λ条件下，广义r阶光滑模控制代数多项式最佳逼近速率？
• RQ2 使用非对称广义平移算子如何影响通过光滑模表征函数类？
• RQ3 该重合定理成立的函数空间在多大程度上可超越经典Lp空间进行扩展？
• RQ4 函数的光滑性（以广义光滑模度量）与代数多项式逼近误差之间的确切关系是什么？
• RQ5 权重参数α和β（作用于区间端点）如何影响光滑性与逼近类之间的等价性？

主要发现

• 当λ满足λ₀ < λ < 2r时，由广义r阶光滑模定义的类H(p,α,β,r,λ)与具有最佳逼近误差O(n^{-λ})的函数类E(p,α,β,λ)一致。
• 该重合性在精确参数条件下成立：当p=1时，1/2 < α,β ≤ 2；当1<p<∞时，1−1/(2p) < α,β < 3−1/p；当p=∞时，1 ≤ α,β < 3。
• 证明表明，r阶差分算子的L_{p,α,β}-范数被Cδ^{2r}2^{kr}‖Q_k‖_{p,α,β}所控制，从而导出最终估计I ≤ Cδ^λ。
• 关键估计I_k ≤ Cδ²2^{2k}‖Δ_{r−1}^{t1,…,tr−1}(Q_k,x)‖_{p,α,β}导出递归界，累积后得到I ≤ Cδ^λ，从而证明主定理。
• 该结果将早期关于一阶光滑模的工作推广至高阶光滑模，扩大了在更广泛加权函数空间中的适用性。
• 证明依赖于对涉及广义平移算子的积分进行精细估计，使用变量替换及对差分算子导数的有界性控制。