[論文レビュー] 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

ひとこと要約

本稿は、与えられた連続性モジュラス $\omega$ を用いて定義される $(\psi,\beta)$-微分を用いた $ C^{\beta}_{\beta}H_{\omega} $ 現象クラスに関して、周期関数の最良三角多項式近似の均一ノルムにおける漸近的正確な推定を確立する。主な結果として、$ \psi \in \mathfrak{M}_0' $ および $ \beta \notin 2\mathbb{Z} $ の条件下で、最良近似誤差 $ E_n(C^{\beta}_{\beta}H_{\omega}) $ の正確な漸近公式が得られ、これは $ \psi(1/t)\omega(t)/t $ の積分を含む。既知の順序推定を正確な漸近式へと拡張する。

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 $ 以下の三角多項式による均一ノルムにおける最良近似の漸近的正確な推定を導出すること。
• モジュラス $ \omega $、列 $ \psi $、パラメータ $ \beta $ に対して一般な条件下で、$ E_n(C^\psi_\beta H_\omega) $ の既知の順序推定を正確な漸近公式に拡張すること。
• $ \psi \in \mathfrak{M}_0' $（半減衰モジュラスが制御された関数のクラス）および $ \beta \in \mathbb{R} $（非整数 $ \beta $ を含む）の場合、最良近似誤差の減衰速度を特定すること。

提案手法

• 著者らは、フーリエ級数に基づく位相シフトを用いた一般化された微分を用いて、$ C^\psi_\beta H_\omega $ を、$ 2\pi $-周期的連続関数のうち、その $ (\psi,\beta) $-微分が $ H_\omega $ クラスに属するものとして定義する。
• 特定の点における近似誤差を最大化するように設計された、$ (\psi,\beta) $-微分が奇関数かつ $ 2\pi/n $-周期関数であるテスト関数 $ f^* $ を構成する。
• de la Vallée Poussin の定理を用いて、誤差が周期上に等間隔に配置された $ 2n $ 個の点で符号が交互に変化することを解析し、最良近似誤差 $ E_n(f^*) $ の下界を確立する。
• 誤差式を $ \psi(nu) $、$ \sin(ut) $、連続性モジュラス $ \omega $ を含む積分に変換する方法を用い、$ \psi \in \mathfrak{M}_0' $ の対称性および減衰性を活用する。
• 下界と既知の推定から得られる上界を組み合わせることで、$ \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} $ のとき近似誤差が消えることを反映しており、フーリエ級数の対称性と整合的である。