[論文レビュー] Geometric series of positive linear operators and inverse Voronovskaya theorem

Ulrich Abel, Mircea Ivan+1 more|arXiv (Cornell University)|Apr 21, 2013

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

ひとこと要約

本稿では、線形関数を保存する新しいクラス Λ における正の線形作用素の幾何級数を導入し、収束性を確立するとともに、逆ヴォロノフスカヤの定理を導出する。作用素が Λ に属する場合、幾何級数は $ C_\psi[0,1] $ のノルムで収束することが示され、その結果をベルンシュタイン作用素、ベルンシュタイン＝ドルメイヤー型作用素、および対称的メイヤー＝コーニッヒとツェラー作用素に適用することで、精密な漸近展開と誤差推定が得られる。

ABSTRACT

We define the associated geometric series for a large class of positive linear operators and study the convergence of the series in the case of sequences of admissible operators. We obtain an inverse Voronovskaya theorem and we apply our results to the Bernstein operators, the Bernstein-Durrmeyer-type operators, and the symmetrical version of Meyer-König and Zeller operators.

研究の動機と目的

• 線形関数を保存する近似作用素の広いクラスにおいて、正の線形作用素の幾何級数を定義し、それらを研究すること。
• クラス $ \Lambda $ に属する作用素に対して、幾何級数 $ G_L = \sum_{k=0}^\infty L^k $ の収束性を確立すること、ここで $ \|L(\psi)\|_\psi < 1 $ である。
• このような作用素の反復の漸近的挙動を特徴付ける逆ヴォロノフスカヤの定理を証明すること。
• ベルンシュタイン作用素、ベルンシュタイン＝ドルメイヤー型作用素、および対称的メイヤー＝コーニッヒとツェラー作用素といった具体的な作用素に一般結果を適用すること。
• 作用素の反復および幾何級数の精密な漸近展開と誤差推定を導出すること。

提案手法

• 区間 $[0,1]$ 上の正の線形作用素 $ L $ からなるクラス $ \Lambda $ を定義する。この作用素は線形関数を保存し、$ \|L(\psi)\|_\psi < 1 $ を満たし、1次ベルンシュタイン作用素 $ B_1 $ ではないものとする。
• $ \psi(x) = x(1-x) $ を用いて、$ \|f\|_\psi = \sup_{x\in(0,1)} |f(x)/\psi(x)| $ で定義される空間 $ C_\psi[0,1] $ を導入し、端点付近での挙動を制御する。
• $ L \in \Lambda $ ならば $ L(C_\psi[0,1]) \subset C_\psi[0,1] $ かつ $ \|L\|_{\mathcal{L}(C_\psi)} = \|L(\psi)\|_\psi $ が成り立つことを証明する。
• $ L \in \Lambda $ に対して、$ \|\cdot\|_\psi $ ノルムにおける幾何級数 $ G_L = \sum_{k=0}^\infty L^k $ の収束性を確立する。
• 漸近展開 $ Z_n(e_r)(x) $ の分析を通じて逆ヴォロノフスカヤの定理を導出し、$ Z_n(e_r)(x) = x^r + \frac{1}{n}\binom{r}{2}x^{r-1}(1-x)^2 + \varepsilon_{n,r}(x) $ が成り立ち、$ |\varepsilon_{n,r}(x)| \leq \frac{x(1-x)}{n(n-1)} C_r $ となることを示す。
• 組合せ的恒等式および母関数を用いて作用素のモーメント、特に $ m_n^r(x) $ を分析し、$ \alpha_n(x) $ および誤差項を含む評価を導出する。

実験結果

リサーチクエスチョン

• RQ1 正の線形作用素 $ L $ に対して、幾何級数 $ \sum_{k=0}^\infty L^k $ が収束する条件は何か？
• RQ2 一般クラスにおいて、正の線形作用素の幾何級数に対して逆ヴォロノフスカヤの定理を確立できるか？
• RQ3 ベルンシュタイン作用素、ベルンシュタイン＝ドルメイヤー型作用素、および対称的メイヤー＝コーニッヒとツェラー作用素の反復は、漸近的にどのように振る舞うか？
• RQ4 $ Z_n(e_r)(x) $ の精密な漸近展開は何か？ また、誤差の上限は？
• RQ5 幾何級数の収束性は、明示的な推定を伴って $ C_\psi[0,1] $ ノルムで制御可能か？

主な発見

• すべての $ L \in \Lambda $ に対して、幾何級数 $ G_L = \sum_{k=0}^\infty L^k $ は $ \|\cdot\|_\psi $ ノルムで収束する。ここで $ \|L(\psi)\|_\psi < 1 $ である。
• $ Z_n $ 作用素に対して、$ r $ 次モーメントは $ Z_n(e_r)(x) = x^r + \frac{1}{n}\binom{r}{2}x^{r-1}(1-x)^2 + \varepsilon_{n,r}(x) $ を満たし、$ |\varepsilon_{n,r}(x)| \leq \frac{x(1-x)}{n(n-1)} C_r $ である。ここで $ C_r $ は $ r $ のみに依存する定数である。
• $ r=2 $ の場合、2次モーメントは $ m_n^2(x) = x(1-x)^2\left[\frac{1}{n} - \frac{1-2x}{n(n-1)} + \rho_n(x)\right] $ を満たし、$ |\rho_n(x)| \leq \frac{12}{n(n^2-1)} $ である。
• $ Z_n^\star $ 作用素は、$ Z_n^\star(\psi|\alpha_n - \alpha_n(x)e_0|)(x) \leq \frac{\psi(x)}{n(n-1)}\left[\sqrt{\|\alpha_n\|} + \frac{12}{n+1}\right] $ を満たし、必要なノルムでの収束が確認される。
• $ (Z_n^\star)_{n \geq 3} $ に対して定理4および定理5の条件が満たされており、逆ヴォロノフスカヤの結果の有効性が保証される。
• 得られた結果はベルンシュタイン作用素、ベルンシュタイン＝ドルメイヤー型作用素、および対称的メイヤー＝コーニッヒとツェラー作用素に適用され、明示的な漸近展開と誤差推定が得られる。