[论文解读] On the best approximation of certain classes of periodic functions by trigonometric polynomials

A. S. Serdyuk, Ie. Yu. Ovsii|arXiv (Cornell University)|May 30, 2010

Mathematical Approximation and Integration参考文献 8被引用 21

一句话总结

本文为周期函数在一致范数下，利用三角多项式进行最佳逼近的渐近精确估计建立了理论，特别针对通过 $(\psi,\beta)$-导数定义的类 $ C^{\beta}_{\beta}H_{\omega} $，其中给定连续模 $\omega$。关键结果给出了最佳逼近误差 $ E_n(C^{\beta}_{\beta}H_{\omega}) $ 的精确渐近公式，涉及积分 $ \int \psi(1/t)\omega(t)/t \, dt $，在 $ \psi \in \mathfrak{M}_0' $ 且 $ \beta \notin 2\mathbb{Z} $ 的条件下成立，将已知的阶估计推广为精确渐近表达式。

ABSTRACT

We obtain the estimates for the best approximation in the uniform metric of the classes of $2π$-periodic functions whose $(ψ,β)$-derivatives have a given majorant $ω$ of the modulus of continuity. It is shown that the estimates obtained here are asymptotically exact under some natural conditions on the parameters $ψ,$ $ω$ and $β$ defining the classes

研究动机与目标

• 推导 $ 2\pi $-周期函数类在一致度量下，由次数不超过 $ n-1 $ 的三角多项式进行最佳逼近的渐近精确估计。
• 在一般条件下，将已知的 $ E_n(C^\psi_\beta H_\omega) $ 阶估计推广为精确渐近公式，条件包括模 $ \omega $、序列 $ \psi $ 和参数 $ \beta $。
• 刻画当 $ \psi \in \mathfrak{M}_0' $（具有受控半衰减模的函数类）且 $ \beta \in \mathbb{R} $（包括非整数 $ \beta $）时，最佳逼近误差的衰减速率。

提出的方法

• 作者将类 $ C^\psi_\beta H_\omega $ 定义为所有 $ 2\pi $-周期连续函数的集合，其 $ (\psi,\beta) $-导数属于连续模类 $ H_\omega $，采用基于带相位偏移傅里叶级数的广义导数。
• 他们构造一个测试函数 $ f^* $，其 $ (\psi,\beta) $-导数为奇函数且 $ 2\pi/n $-周期的函数 $ \varphi_n $，旨在在特定点最大化逼近误差。
• 利用 de la Vallée Poussin 定理，通过分析周期内 $ 2n $ 个等距点处误差的符号交替行为，建立最佳逼近误差 $ E_n(f^*) $ 的下界。
• 该方法涉及将误差表达式转化为包含 $ \psi(nu) $、$ \sin(ut) $ 和连续模 $ \omega $ 的积分，利用 $ \psi \in \mathfrak{M}_0' $ 的对称性与衰减性质。
• 通过将下界与已知估计导出的上界结合，推导出 $ E_n(C^\psi_\beta H_\omega) $ 的精确渐近公式，得到涉及 $ \int_0^{1/n} \psi(1/t) \omega(t)/t \, dt $ 的精确表达式。
• 最终公式包含一个常数 $ \theta_n(\omega) \in [2/3,1] $，反映极值函数的振荡特性，以及一个误差项 $ O(1)\psi(n)\omega(1/n) $。

实验结果

研究问题

• RQ1 对于 $ \psi \in \mathfrak{M}_0' $ 且 $ \beta \in \mathbb{R} $，最佳逼近误差 $ E_n(C^\psi_\beta H_\omega) $ 的精确渐近行为是什么？是否超越了已知的阶估计？
• RQ2 逼近误差如何依赖于连续模 $ \omega $、序列 $ \psi $ 和参数 $ \beta $，特别是当 $ \sin(\beta\pi/2) \neq 0 $ 时？
• RQ3 最佳逼近误差能否表示为包含 $ \psi(1/t)\omega(t)/t $ 的积分？此时半衰减模 $ \mu(t) $ 的作用是什么？
• RQ4 在什么 $ \psi $ 和 $ \omega $ 条件下，逼近误差渐近等价于 $ \int_0^{1/n} \psi(1/t) \omega(t)/t \, dt $？
• RQ5 这些结果如何推广已知的 Weyl-Nagy 和 Weyl 类的确切估计，特别是当 $ \psi(k) = k^{-r} $ 且 $ \beta = r $ 时？

主要发现

• 最佳逼近误差 $ E_n(C^\psi_\beta H_\omega) $ 满足如下渐近精确公式： $$ E_n(C^\psi_\beta H_\omega) = \frac{\theta_n(\omega)}{\pi}\left|\sin\frac{\beta\pi}{2}\right|\int_0^{1/n}\psi\left(\frac{1}{t}\right)\frac{\omega(t)}{t}\,dt + O(1)\psi(n)\omega(1/n), $$ 其中 $ \theta_n(\omega) \in [2/3,1] $，适用于 $ \psi \in \mathfrak{M}_0' $ 且 $ \beta \notin 2\mathbb{Z} $。
• 积分项 $ \int_0^{1/n}\psi(1/t)\omega(t)/t\,dt $ 在 $ \psi \in \mathfrak{M}_0' $ 时主导误差速率，精确捕捉了逼近误差的衰减行为。
• 当 $ \psi(k) = k^{-r} $ 时，该公式恢复了已知的阶估计，但此时具有精确的常数因子 $ \theta_n(\omega) $，优于以往仅给出阶估计的结果。
• 误差项 $ O(1)\psi(n)\omega(1/n) $ 有界，且在给定条件下与主项相比可忽略不计。
• 该结果是精确的，因为通过 de la Vallée Poussin 定理导出的下界与上界仅相差一个常数因子，从而确认了渐近精确性。
• 对 $ \sin(\beta\pi/2) $ 的依赖关系表明，当 $ \beta \in 2\mathbb{Z} $ 时逼近误差消失，这与傅里叶级数的对称性一致。