Korovkin type theorems for operators acting on functions of polynomial and exponential growth on $[0,\infty)$

技術要約：多項式成長および指数成長関数上の作用素に関するコーロコフ型定理

問題設定
本論文は、半直線 $[0, \infty)$ 上の連続関数に作用する正線形作用素の列 $L_n$ の近似特性を扱っている。古典的なコーロコフ型定理は、特定の部分空間（通常は多項式や有界連続関数）における関数の収束を確立しているが、本研究では、より広範な非有界関数のクラスへの収束保証の拡張に焦点を当てている。具体的には、関数が多項式成長または指数成長を示す場合に、どのような条件下で $L_n f$ が $f$ に各点収束するかを調査している。課題は、特定の「テスト関数」集合上での $L_n$ の収束に基づき、ターゲットとなる非有界関数のクラス全体に対する収束を保証するための十分条件を構築することにある。

手法
著者らは、古典的なコーロコフの枠組みに基づきつつ、非有界領域と成長条件に適応させた構成的アプローチを用いている。核心となる手法は以下の通りである：

1. テスト関数の選択:

   • 多項式成長の場合： テスト集合は、すべての多項式関数からなる空間 $\Pi$ である。
   • 指数成長の場合： テスト集合は、すべての $\lambda \in \mathbb{R}$ に対して $\exp_\lambda(x) = e^{\lambda x}$ となる指数関数を含む。

2. 補題による構成的近似:
   証明は、任意のターゲット関数 $f$（特定の成長制約を満たすもの）をテスト空間内の関数（多項式または指数の有限線形結合）によって抑えることを可能にする、2つの極めて重要な補題（補題 2.2 および 補題 3.2）に依拠している。

   • 多項式の場合： 著者らは、連続関数 $f$（$|f| \le p$ となるある $p \in \Pi$ を満たす）を、$[0, \infty)$ 全域で支配しつつ、特定の点 $a$ において制御された誤差 $\epsilon$ で $f$ と一致させるような多項式 $P \in \Pi$ を構成する。これは、$a$ の近傍での局所的な制御を維持しながら、無限遠での $f$ の成長を支配するために、形式 $K(\frac{x-a}{\ell})^{2m}$ を持つ高次多項式を利用することで達成される。
   • 指数の場合： 同様に、$A e^{\omega x}$ で抑えられる関数のために、著者らは $\alpha(x) = \cosh(x) - 1$ から導かれる指数の有限線形結合からなる関数 $G$ を構成し、それが $f$ を全域で支配し、かつ点 $a$ において $f$ を $\epsilon$ 以内で近似するようにする。

3. はさみうちの原理の適用:
   作用素の正線性と線形性を用いることで、構成された上界および下界に作用させた関数によって、作用素を適用した $f$ ($L_n f$) を挟み込む。仮定により、作用素はテスト関数上で恒等写像に収束するため、上界および下界の極限は $f(a) \pm \epsilon$ に収束する。$\epsilon \to 0$ とすることで、各点収束が確立される。

主な貢献と結果
本論文は、主に2つの定理を確立している：

• 定理 2.1 (多項式成長): $L_n$ を、多項式 $\Pi$ を含む部分空間 $D \subset C[0, \infty)$ 上の正線形作用素の列とする。もし全ての $p \in \Pi$ に対して $L_n p \to p$ が各点収束するならば、$|f(x)| \le p(x)$ となるある $p \in \Pi$ を満たす任意の $f \in D$ に対して $L_n f \to f$ が各点収束する。
• 定理 3.1 (指数成長): $L_n$ を、すべての指数関数 $\exp_\lambda$ を含む部分空間 $D$ 上の正線形作用素の列とする。もし全ての $\lambda \in \mathbb{R}$ に対して $L_n \exp_\lambda \to \exp_\lambda$ が各点収束するならば、定数 $A, \omega > 0$ に対して $|f(x)| \le A \exp(\omega x)$ を満たす任意の $f \in D$ に対して $L_n f \to f$ が各点収束する。

直接的な応用
著者らは、これらの一般的な定理を2つの古典的な作用素の列に適用している：

1. バスカコフ作用素 ($V_n$): 多項式成長を持つ関数に対して各点収束することが証明された。
2. サース・ミラクヤン作用素 ($S_n$): 指数成長を持つ関数に対して各点収束することが証明された。
   本論文は、これらの作用素において、それぞれのテスト関数（バスカコフの場合は多項式、サース・ミラクヤンの場合は指数関数）に対する収束は既知の結果であり、これにより新しい定理が直ちに広範な関数クラスへの収束をもたらすことを述べている。

意義と主張
本論文は、広範な正線形作用素の各点収束を確立するための初等的な枠組みを提供すると主張している。その意義は、その手法の汎用性にあり、複雑な関数解析学の道具立てを必要とせず、むしろテスト空間内の特定の支配関数の構成に依存している点にある。著者らは、このアプローチが、提供された特定の例を超えた様々な作用素にも適用可能であることを強調している（ただし、それらの作用素が選択されたテスト関数上で必要な収束を満たしている場合に限る）。本研究の範囲は控えめであり、厳密に各点収束のための十分条件を確立し、古典的な作用素への有用性を示すことに焦点を当てており、新たな実験的応用や、即座に数学的文脈を超えた将来的な理論的拡張を提案するものではない。