[論文レビュー] 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) $ が2階微分方程式を満たすことを示し、特に $ 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) $ が2階線形常微分方程式を満たすことを示し、$ 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) $ を用い、パrameter $ c $ でパラメータ化する。$ c = -1, 0, 1 $ はそれぞれベルンシュタイン、シーザー＝ミラクジャン、バスカコフ作用素に対応する。
• $ S_{n,c}(x) $ を超幾何関数 $ {}_{2}F_{1} $ および変形ベッセル関数 $ I_0 $ の形で表現することで、解析的取り扱いを可能にする。
• 超幾何関数およびベッセル関数の既知の積分公式を用いて、特に $ 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) $ が2階線形常微分方程式を満たすことを示し、$ c \neq 0 $ の場合、$ H_{n,c}(x) = S_{n,c}(-x/c) $ が特定のパrameterを持つヘウン方程式の解となることを示す。
• 凸性および微分不等式（例：$ (4(n+1)x(1+x)+1)G_n'(x) \leq -2n(1+2x)G_n(x) $）を用いて上界を導出する。
• ヘウン方程式および特殊関数に関する既知の結果を活用し、$ c $ に応じて $ S_{n,c}(x) $ が多項式的または有理型解として分類されることを示す。

実験結果

リサーチクエスチョン

• RQ1 正の線形作用素における基本関数の二乗和は、超幾何関数やルジャンドル多項式などの古典的特殊関数とどのように関係しているか？
• RQ2 $ S_{n,c}(x) $ に対して積分表現を導出できるか。その解析的および計算的意味は何か？
• RQ3 $ S_{n,c}(x) $ は2階線形微分方程式を満たすか。その構造とパラメータ化は何か？
• 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) $ は2階常微分方程式 $ 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) $ はパrameter $ \alpha=1, \beta=2n/c, \gamma=1, \delta=1, \epsilon=2n/c, q=n/c $ のヘウン方程式の解であり、多項式的または有理型解をもたらす。
• 上界が確立された：$ G_n(x) \leq \left(4(n+1)x(1+x)+1\right)^{-n/(2(n+1))} $（バスカコフ型 $ G_n(x) = S_{n,1}(x) $ に対して）、および $ K_n(x) \leq \frac{1}{\sqrt{4nx+1}} $（シーザー＝ミラクジャン型 $ K_n(x) = S_{n,0}(x) $ に対して）。