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

技术摘要：关于多项式与指数增长函数上算子的 Korovkin 型定理

问题陈述
本文研究了作用于定义在半直线 $[0, \infty)$ 上的连续函数序列的正线性算子 $L_n$ 的逼近性质。虽然经典的 Korovkin 型定理建立了在特定子空间（通常是多项式或有界连续函数）上的收敛性，但本研究致力于将这些收敛保证扩展到更广泛的无界函数类。具体而言，作者研究了在函数表现出多项式增长或指数增长的情况下，确保 $L_n f$ 点点收敛于 $f$ 的充分条件。其挑战在于如何基于一组“测试函数”在特定目标类上的收敛性，来构建确保整个目标类函数收敛的充分条件。

方法论
作者采用了一种植根于经典 Korovkin 框架，但针对无界定义域和增长条件进行了改进的构造性方法。核心方法论包括：

1. 测试函数选择：

   • 对于多项式增长，测试集由所有多项式函数构成的空间 $\Pi$ 组成。
   • 对于指数增长，测试集包括形式为 $\exp_\lambda(x) = e^{\lambda x}$ 的指数函数，其中 $\lambda \in \mathbb{R}$。

2. 通过引理进行构造性逼近：
   证明依赖于两个关键引理（引理 2.2 和引理 3.2），它们允许通过测试空间中的函数（多项式或指数函数的线性组合）来控制任意目标函数 $f$（满足特定的增长约束）。

   • 多项式情况： 作者构造了一个多项式 $P \in \Pi$，该多项式在 $[0, \infty)$ 上全局支配连续函数 $f$（其中 $|f| \le p$，且 $p \in \Pi$），同时在特定点 $a$ 处以受控误差匹配 $f$。这是通过利用高次多项式 $K(\frac{x-a}{\ell})^{2m}$ 来实现既能控制 $f$ 在无穷远处的增长，又能保持在 $a$ 点附近的局部控制。
   • 指数情况： 类似地，对于被 $A e^{\omega x}$ 控制的函数，作者构造了一个由指数函数组成的函数 $G$（源自 $\alpha(x) = \cosh(x) - 1$ 的有限线性组合），该函数在全局范围内支配 $f$，并在点 $a$ 处逼近 $f$ 至 $\epsilon$ 范围内。

3. 夹逼定理的应用：
   利用算子 $L_n$ 的正性和线性，作者将作用于 $f$ 的算子 ($L_n f$) 夹在作用于所构造的上界和下界函数的算子之间。由于假设算子在测试函数上收敛于恒等算子，因此上界和下界的极限分别收敛于 $f(a) \pm \epsilon$。通过令 $\epsilon \to 0$，从而建立点点收敛性。

主要贡献与结果
本文建立了两个主要定理：

• 定理 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$ 点点收敛，那么对于满足 $|f(x)| \le A \exp(\omega x)$（其中常数 $A, \omega > 0$）的任何 $f \in D$，都有 $L_n f \to f$ 点点收敛。

直接应用
作者将这些通用定理应用于两个经典的算子序列：

1. Baskakov 算子 ($V_n$)： 被证明对于具有多项式增长的函数具有点点收敛性。
2. Szász–Mirakjan 算子 ($S_n$)： 被证明对于具有指数增长的函数具有点点收敛性。
   论文指出，对于这些算子，其在各自测试函数（Baskakov 算子的多项式，Szász–Mirakjan 算子的指数函数）上的收敛性是已知结果，这使得新定理能够立即推导出更广泛函数类的收敛性。

意义与主张
本文声称提供了一个初等框架，用于建立广泛的正线性算子的点点收敛性。其意义在于该方法的普适性：它不需要复杂的泛函分析工具，而是依赖于在测试空间内构造特定的支配函数。作者强调，只要算子在选定的测试函数上满足必要的收敛条件，该方法就可以应用于各种算子，而不仅仅是所提供的特定示例。这项工作规模适中，专注于建立点点收敛的充分条件并展示其在经典算子上的效用，并未提出新的实验应用或超出当前数学背景的未来理论扩展。