[论文解读] Special functions associated with positive linear operators

Ioan Raşa|arXiv (Cornell University)|Sep 3, 2014

Mathematical functions and polynomials参考文献 15被引用 10

一句话总结

本文研究了与伯恩斯坦、切萨罗-米拉克扬及巴尔科夫等正线性算子相关的平方基本函数之和 $ S_{n,c}(x) $。通过将 $ S_{n,c}(x) $ 与超几何函数和勒让德多项式联系起来，作者推导出积分表示、上界，并证明 $ S_{n,c}(x) $ 满足二阶微分方程——具体而言，当 $ c \neq 0 $ 时，其为赫恩方程的多项式或有理函数解。主要贡献在于通过微分与积分特征化，建立了经典逼近算子与特殊函数之间的深层联系。

ABSTRACT

Many well-known positive linear operators (like Bernstein, Baskakov, Szász-Mirakjan) are constructed by using specific fundamental functions. The sums of the squared fundamental functions have been objects of study in some recent papers. We investigate the relationship between these sums and some special functions. Consequently, we get integral representations and upper bounds for the sums. Moreover, we show that they are solutions to suitable second order differential equations. In particular, we provide polynomial or rational solutions to some Heun equations.

研究动机与目标

• 研究正线性算子中平方基本函数之和 $ S_{n,c}(x) = \sum_{k=0}^\infty (p_{n,k}^{[c]}(x))^2 $。
• 建立 $ S_{n,c}(x) $ 与超几何函数、勒让德多项式等特殊函数之间的联系。
• 推导 $ S_{n,c}(x) $ 的积分表示与上界，扩展并改进已有结果。
• 证明 $ S_{n,c}(x) $ 满足二阶线性常微分方程，且当 $ c \neq 0 $ 时，$ H_{n,c}(x) = S_{n,c}(-x/c) $ 满足赫恩方程。
• 证明 $ S_{n,-1}(x) $ 产生赫恩方程的多项式解，而 $ S_{n,1}(-x) $ 产生有理函数解。

提出的方法

• 本文使用从经典正线性算子导出的基本函数 $ p_{n,k}^{[c]}(x) $，其由参数 $ c $ 参数化，其中 $ c = -1, 0, 1 $ 分别对应伯恩斯坦、切萨罗-米拉克扬与巴尔科夫算子。
• 通过超几何函数 $ {}_{2}F_{1} $ 与修正贝塞尔函数 $ I_0 $ 表达 $ S_{n,c}(x) $，实现其解析处理。
• 利用超几何函数与贝塞尔函数的已知积分公式，特别是通过表示式 $ T_{n,c}(x,y) = \sum_k p_{n,k}^{[c]}(x)p_{n,k}^{[c]}(y) $，推导出 $ S_{n,c}(x) $ 的积分表示。
• 作者应用微分方程理论，证明 $ S_{n,c}(x) $ 满足二阶线性常微分方程，且当 $ c \neq 0 $ 时，$ H_{n,c}(x) = S_{n,c}(-x/c) $ 满足具有特定参数的赫恩方程。
• 通过凸性与微分不等式（如 $ (4(n+1)x(1+x)+1)G_n'(x) \leq -2n(1+2x)G_n(x) $）推导上界。
• 本文利用关于赫恩方程与特殊函数的已知结果，将 $ S_{n,c}(x) $ 分类为依赖于 $ c $ 的多项式或有理函数解。

实验结果

研究问题

• RQ1 正线性算子中平方基本函数之和如何与超几何函数、勒让德多项式等经典特殊函数相关联？
• RQ2 能否为 $ S_{n,c}(x) $ 推导出积分表示，其分析与计算意义为何？
• RQ3 $ S_{n,c}(x) $ 是否满足二阶线性微分方程？若满足，其结构与参数化形式如何？
• RQ4 当 $ c \neq 0 $ 时，$ H_{n,c}(x) = S_{n,c}(-x/c) $ 是否为赫恩方程的解？其解为多项式或有理函数？
• RQ5 如何获得 $ S_{n,c}(x) $ 的精确上界？其相较于现有估计有何改进？

主要发现

• 当 $ c \neq 0 $ 时，$ S_{n,c}(x) = (1+cx)^{-2n/c} \cdot {}_{2}F_{1}\left(\frac{n}{c}; \frac{n}{c}; 1; \left(\frac{cx}{1+cx}\right)^2\right) $，将该和与超几何函数联系起来。
• 函数 $ S_{n,c}(x) $ 具有积分表示：$ S_{n,c}(x) = \frac{1}{\pi} \int_0^1 \left(t + (1-t)(1+2cx)^2\right)^{-n/c} \frac{dt}{\sqrt{t(1-t)}} $。
• 当 $ c = 0 $ 时，$ S_{n,0}(x) = e^{-2nx} I_0(2nx) $，且满足 $ S_{n,0}(x) = \frac{1}{\pi} \int_{-1}^1 e^{-2nx(1+t)} \frac{dt}{\sqrt{1-t^2}} $。
• 函数 $ S_{n,c}(x) $ 满足如下二阶常微分方程：$ x(1+cx)(1+2cx)y'' + (4(n+c)x(1+cx)+1)y' + 2n(1+2cx)y = 0 $。
• 当 $ c \neq 0 $ 时，$ H_{n,c}(x) = S_{n,c}(-x/c) $ 是赫恩方程的解，其参数为 $ \alpha=1, \beta=2n/c, \gamma=1, \delta=1, \epsilon=2n/c, q=n/c $，产生多项式或有理函数解。
• 建立了上界：对于巴尔科夫型函数 $ G_n(x) = S_{n,1}(x) $，有 $ G_n(x) \leq \left(4(n+1)x(1+x)+1\right)^{-n/(2(n+1))} $；对于切萨罗-米拉克扬型函数 $ K_n(x) = S_{n,0}(x) $，有 $ K_n(x) \leq \frac{1}{\sqrt{4nx+1}} $。