[論文レビュー] Modified Bernstein Polynomials and Jacobi Polynomials in q-Calculus

Derriennic, Marie-Madeleine|ArXiv.org|Oct 7, 2004

Approximation Theory and Sequence Spaces参考文献 3被引用数 3

ひとこと要約

本稿では、q-Bernstein基底多項式を用いて、Jacobi重み付きの修正された Bernstein-Durrmeyer 算術の q-類似を導入し、古典的近似理論を q-微積分に拡張する。収束性、形状保存性、Voronovskaya 型定理を確立し、有界な2階微分を持つ関数に対する一様近似および2階収束に関する主要な結果を提示する。

ABSTRACT

We introduce here a generalization of the modified Bernstein polynomials for Jacobi weights using the $q$-Bernstein basis proposed by G.M. Phillips to generalize classical Bernstein Polynomials. The function is evaluated at points which are in geometric progression in $]0,1[$. Numerous properties of the modified Bernstein Polynomials are extended to their $q$-analogues: simultaneous approximation, pointwise convergence even for unbounded functions, shape-preserving property, Voronovskaya theorem, self-adjointness. Some properties of the eigenvectors, which are $q$-extensions of Jacobi polynomials, are given.

研究の動機と目的

• q-微積分における q-Bernstein 基底多項式を用いて、Jacobi重み付きの修正された Bernstein-Durrmeyer 算術の一般化を図ること。
• 古典的近似性質（同時に近似、点ごとの収束、形状保存性など）を q-類似枠組みに拡張すること。
• 有界でない関数および端点におけるこれらの算術の挙動、特に α = β = -1 の場合を調査すること。
• q-設定における2階収束のための Voronovskaya 型定理を確立すること。
• 特に q-拡張された Jacobi 多項式である固有ベクトルを含む、算術のスペクトル的性質を分析すること。

提案手法

• 本稿では、q-Bernstein 基底多項式 $ b_{n,k,q}(x) = inom{n}{k}_q x^k (1-x)_q^{n-k} $ を用いて、算術 $ M_{n,q}^{eta,eta} $ の q-類似を定義する。ここで $ (1-x)_q^a $ は q-Pochhammer 記号である。
• 係数 $ f_{n,k,q}^{eta,eta} $ は Jackson q 積分を介して定義され、(0,1) 内の幾何的グリッド上での関数の平均値の評価を可能にする。
• 正の双線形形式 $ \big\bra f,g \big\rra_q^{eta,eta} $ が導入され、内積構造および算術の自己随伴性の分析に用いられる。
• 係数列の完全正定性の分析により、単調性や凸性の保存といった形状保存性の性質が保証される。
• q-微分 $ D_q $ および q-積分を用いて再帰関係および微分的恒等式が導出され、特に $ \beta = \beta = -1 $ の場合に、算術がスケーリングされた q-微分と関連することを示す。
• 一様ノルムの推定および連続モジュラスを用いて収束結果が導かれる。明示的な境界は $ \frac{1}{\big[n\big]_q} $ を含む。

実験結果

リサーチクエスチョン

• RQ1 修正された Bernstein-Durrmeyer 算術を、主要な近似性質を保ちつつ q-微積分に一般化する方法は何か？
• RQ2 有界でない関数および端点における q-類似算術の収束性はどのように振る舞い、特に $ \alpha = \beta = -1 $ の場合にどうなるか？
• RQ3 q-算術が関数の形状（単調性や凸性）をどの程度保存するか、そしてこれは完全正定性とどのように関係するか？
• RQ4 算術 $ M_{n,q}^{eta,eta}f $ が $ f $ に収束する速度は何か？また、$ q_n \to 1 $ のときの挙動は？
• RQ5 算術の2階漸近的挙動は何か？また、q-設定において Voronovskaya 型定理が成立するか？

主な発見

• 算術 $ M_{n,q}^{\text{-1,-1}} $ は、$ M_{n,q}^{\text{-1,-1}}f(x) = \bigsum_{j=0}^{\biginfty} \bigPhi_{j,n,q}^{\text{-1,-1}}(x) f(q^j) $ の形で表現可能であり、係数 $ \bigPhi_{j,n,q}^{\text{-1,-1}} $ は完全正定列を形成する。
• 係数列の完全正定性により、単調性が保存され、符号の変化回数が減少する。
• 区間 [0,1] 上の連続関数に対して、一様誤差は $ \big\| M_{n,q}^{\text{-1,-1}}f - f \big\|_{\infty} \leq C \cdot \omega\big(f; \frac{1}{\sqrt{[n]_q}}\big) $ を満たし、最適順序の近似が確立される。
• n \to \infty $ かつ $ q_n \to 1 $ のとき、連続関数 f に対して $ x \in (0,1) $ で $ M_{n,q_n}^{\text{-1,-1}}f(x) \to f(x) $ が点ごとの収束を示す。有界でない関数に対しても成立する。
• 関数 f が $ x \in (0,1) $ で2階微分を持つ場合、2階 Voronovskaya 定理が成立する：$ \lim_{n\to\infty} [n]_{q_n} \big( M_{n,q_n}^{\text{-1,-1}}f(x) - f(x) \big) = f''(x) $。
• 算術の q-微分は $ D_q M_{n,q}^{\text{-1,-1}}f(x) = M_{n-1,q}^{0,0} \big( D_q f(\cdot / q) \big)(qx) $ を満たし、算術がスケーリングされた q-微分と関連づけられる。