\documentclass{mc}
%%%%% journal  info -- DO NOT CHANGE %%%%%%%%%
\setcounter{page}{119}
\renewcommand\thisnumber{x}
\renewcommand\thisyear {2019}
\renewcommand\thismonth{xxx}
\renewcommand\thisvolume{24}
\renewcommand\datereceived{January 24, 2018}
\renewcommand\dateaccepted{September 24, 2018}
%%%%%%    end   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%





\newcommand{\ttbs}{\char'134}

% \newtheorem{acknowledgement}[theorem]{Acknowledgement}
% \newtheorem{axiom}[theorem]{Axiom}
% \newtheorem{case}[theorem]{Case}

\newcommand{\opfont}{\mathbf}

\newcommand{\bop}[3]{{\opfont{B}}_{{#1}}{(}{#2}{;}{#3}{)}}
\newcommand{\bpol}[3]{\opfont{B}_{{#1},{#2}}{(}{#3}{)}}

\newcommand{\gbop}[3]{{\opfont{T}}_{{#1},\alpha}{(}{#2}{;}{#3}{)}}
\newcommand{\gbpol}[3]{\opfont{T}_{{#1},{#2}}^{{(}\alpha{)}}{(}{#3}{)}}

\newcommand{\gbbpol}[4]{\opfont{P}_{{#1},{#2}}^{{#3}}{(}{#4}{)}}


\newcommand{\pqinteger}[1]{{\big[}{#1}{\big]}_{p,q}}
\newcommand{\pqfactorial}[1]{{\big[}{#1}{\big]}_{p,q}{!}}
\newcommand{\qbinom}[2]{\genfrac{[}{]}{0pt}{}{#1}{#2}_{q}}
\newcommand{\pqbinom}[2]{\genfrac{[}{]}{0pt}{}{#1}{#2}_{p,q}}
\newcommand{\pqcal}[2]{{\opfont{D}}_{p,q}{#1}{(}{#2}{)}}
\newcommand{\pqop}[3]{{\opfont{D}}_{{#1}}^{p,q}{(}{#2}{;}{#3}{)}}
\newcommand{\pqpol}[3]{\opfont{D}_{{#1},{#2}}^{p,q}{(}{#3}{)}}
\newcommand{\limfunc}[1]{\operatorname{#1}}



\newcommand{\bskop}[3]{{\opfont{B}}_{{#1}}{(}{#2}{;}{#3}{)}}
\newcommand{\alphabskop}[4]{{\opfont{L}}_{{#1},{#2}}{(}{#3}{;}{#4}{)}}
\newcommand{\alphabskopwof}[3]{{\opfont{L}}_{{#1},{#2}}{(}{#3}{)}}
\newcommand{\alphabskopder}[5]{{\opfont{L}}^{#3}_{{#1},{#2}}{(}{#4}{;}{#5}{)}}

\newcommand{\alphabskpol}[4]{{\opfont{P}}_{{#1}{,}{#2}}^{{(}{#3}{)}}{(}{#4}{)}}


\usepackage[displaymath,mathlines,pagewise]{lineno}
\begin{document}
%% \begin{linenumbers}

\markboth{A.\,Aral and H.\,Erbay}{Parametric generalization of Baskakov operators}

\title{Parametric generalization of Baskakov operators}

\author[A.\,Aral and H.\,Erbay]{Ali Aral\affil{1} and Hasan Erbay\affil{2}\comma\corrauth}

\address{\affilnum{1}\ Mathematics Department, Arts and Science Faculty, K\i r\i kkale University, Yah\c sihan, 71\,450 K\i r\i kkale, Turkey\\
\affilnum{2}\ Computer Engineering Department, Engineering Faculty, K\i r\i kkale University, Yah\c sihan, 71\,450 K\i r\i kkale, Turkey}

\emails{{\tt aliaral73@yahoo.com}\,\,(A.\,Aral), {\tt hasan\_\,erbay@yahoo.com}\,\,(H.\,Erbay)}

\begin{abstract}
Herein we propose a non-negative real parametric generalization of  Baskakov operators and call them   $\alpha$-Baskakov operators. We show that  $\alpha$-Baskakov operators can be expressed in terms of divided differences. Then, we obtain the $n$th order derivative of $\alpha$-Baskakov operators in order to obtain its new representation as powers of independent variable $x$.

In addition, we obtain Korovkin’s-type approximation properties of  $\alpha$-Baskakov operators. Moreover, by using the modulus of continuity, we obtain the rate of convergence. Numerical results presented show that depending on the value of the parameter $\alpha$, an approximation to a function improves compared to  classical Baskakov operators.
\end{abstract}

\keywords{Baskakov operator, divided differences, modulus of contiunity, weighted approximation}

\ams{41A36, 41A25}

%%%% maketitle %%%%%
\maketitle

%%%% Start %%%%%%
\section{Introduction}
\label{sec:introduction}
Polynomial approximation theory deals with the approximation of real-valued continuous functions by algebraic polynomials. In 1957, Baskakov \cite{baskakov1957instance} introduced a sequence of positive linear operators, called Baskakov operators, on the unbounded interval $[0,\infty )$  for suitable functions defined on the interval $[0,\infty )$.  Later,   Baskakov operators are studied by many researches. In 1984, Pethe \cite{pethe1984baskakov} studied approximation properties of Baskakov operators.  In 1994, Gupta \cite{gupta1994note} studied the rate of convergence of Baskakov type operators.  In 1998, Mihesan \cite{mihesan1998uniform} constructed the generalization of Baskakov operators and the convergence rate of the generalization obtained in \cite{wafi2004order}. Moreover, the preservation properties of   Baskakov-Kantorovich operators are considered in \cite{zhang2009preservation}.

On the other hand, $q$-analogues to   Baskakov operators were introduced by Aral and Gupta in \cite{aral2009q}. The same authors introduced another $q$-analogues to   Baskakov operators and studied the convergence rate in weighted norm and some shape preserving properties in \cite{aral2011generalized}.

In this paper, motivated by the $\alpha$-Bernstein operator by Chen and et al. \cite{chen2017approximation}, we propose a non-negative real parametric generalization of   Baskakov operators and call them $\alpha$-Baskakov operators. When $\alpha=1$, the operators reduce to   classical Baskakov operators. We also represent   higher order derivatives of   $\alpha$-Baskakov operators in terms of forward divided differences. Then, we express $\alpha$-Baskakov operators in terms of forward divided differences. Later, we study convergence and approximation properties of  $\alpha$-Baskakov operators in weighted spaces including Voronovskaya type formulation.
%We also study some shape preserving properties.
$\alpha$-Baskakov operators converge uniformly in the polynomial weighted space for any $\alpha\in[0,1]$. Even though convergence is independent of the parameter $\alpha$, the approximation errors depend on $\alpha$, the larger the value of $\alpha$, the smaller the upper bound for the approximation error. We present some numerical results that correct the theoretical results.

The rest of the paper is organised as follows. In Section \ref{sec:alphabaskakov}, we recall   classical Baskakov operators. Later, we define $\alpha$-Baskakov operators, establish their moments and represent them in terms of divided differences. Section \ref{sec:convergence} presents  convergence properties of $\alpha$-Baskakov operators.

\section{$\alpha$-Baskakov operator}
\label{sec:alphabaskakov}

Recall that for every  $f\in C_{B}[ 0,\infty)$, classical Baskakov operators are defined as
\begin{equation}
\bskop{n}{f}{x}=\sum_{k=0}^{\infty }f( \frac{k}{n}) P_{n,k}( x),
\end{equation}%
where $n\geq 1$, $x\in $ $[ 0,\infty)$ and
\begin{equation}
P_{n,k}( x) =\binom{n+k-1}{k}\frac{x^{k}}{(1+x) ^{k+n}}.
\end{equation}

Now, for every $f\in C_{B}[0,\infty)$, we define the parametric generalization of  Baskakov operators as
\begin{equation}
\label{def:alfabaskakov}
\alphabskop{n}{\alpha}{f}{x}=\sum_{k=0}^{\infty }f( \frac{k}{n})\alphabskpol{n}{k}{\alpha}{x},
\end{equation}%
where $n\geq 1$, $x\in $ $[ 0,\infty ) $ and
\begin{eqnarray}\label{def:alfabaskakovpolynomial}
\begin{aligned}
\alphabskpol{n}{k}{\alpha}{x}=&\frac{x^{k-1}}{(1+x) ^{n+k-1}}\left\{ \frac{\alpha x}{1+x}\binom{n+k-1}{k}\right.\\
			&-\left.( 1-\alpha )(1+x)\binom{n+k-3}{k-2}+( 1-\alpha )x\binom{n+k-1}{k}\right\},
\end{aligned}
\end{eqnarray}
with
\begin{eqnarray*}
\binom{n-3}{-2}=\binom{n-2}{-1}=0.
\end{eqnarray*}
We call these operators $\alpha$-Baskakov operators.

Observe that for $\alpha =1,$ we have
\begin{align}
\alphabskop{n}{1}{f}{x} &=\sum_{k=0}^{\infty }f( \frac{k}{n})\alphabskpol{n}{k}{1}{x} \nonumber\\
&=\sum_{k=0}^{\infty }f( \frac{k}{n})\binom{n+k-1}{k} \frac{x^{k}}{( 1+x) ^{n+k}} \nonumber\\
&=\bskop{n}{f}{x}. \nonumber
\end{align}
So, $\alpha$-Baskakov operators reduce to the classical Baskakov operators.


Simple calculation yields
\begin{equation}
\frac{k}{n-1}\binom{n+k-2}{k}=\binom{n+k-2}{k-1} \label{sec:alphabaskakov:simpleCal:eq:1}
\end{equation}
and
\begin{equation}
( 1+\frac{k}{n-1}) \binom{n+k-2}{k}=\binom{n+k-1}{k}.\label{sec:alphabaskakov:simpleCal:eq:2}
\end{equation}
\begin{theorem}
The $\alpha$-Baskakov operator for $f(x)$ can be expressed as
\begin{eqnarray}\label{eq:alfabaskakovg_x}
\begin{aligned}
\alphabskop{n}{\alpha}{f}{x}=&(1-\alpha )\sum_{k=0}^{\infty }g_{k}\; \binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}}\\
&+\alpha\sum_{k=0}^{\infty }f( \frac{k}{n})\binom{n+k-1}{k}\frac{x^{k}}{( 1+x) ^{n+k}},
\end{aligned}
\end{eqnarray}
where
\begin{equation}
\label{eq:gkn}
g_{k} =f( \frac{k}{n}) ( 1+\frac{k}{n-1})-f( \frac{k+1}{n})\frac{k}{n-1}.
\end{equation}
\end{theorem}

\begin{proof} From the definition of  the $\alpha$-Baskakov operator in equations (\ref{def:alfabaskakov}) and (\ref{def:alfabaskakovpolynomial}), one can write
\begin{eqnarray*}
\alphabskop{n}{\alpha}{f}{x}=( 1-\alpha ) (k_{1}-k_{2}) +\alpha \sum_{k=0}^{\infty }f( \frac{k}{n})\binom{n+k-1}{k}\frac{x^{k}}{( 1+x) ^{n+k}},
\end{eqnarray*}
where
\begin{eqnarray*}
k_{1}=\sum_{k=0}^{\infty }f( \frac{k}{n})\binom{n+k-1}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}}.
\end{eqnarray*}
Using   equation (\ref{sec:alphabaskakov:simpleCal:eq:2}) and adjusting the summation limits yield
\begin{equation}
k_{1}=\sum_{k=0}^{\infty }f( \frac{k}{n})(1+\frac{k}{n-1})\binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}}.\label{eq:proof_k2}
\end{equation}
And similarly,
\begin{align}
k_{2}&=\sum_{k=2}^{\infty }f( \frac{k}{n}) \binom{n+k-3}{k-2}\frac{x^{k-1}}{( 1+x) ^{n+k-2}}\nonumber \\
&=\sum_{k=1}^{\infty }f( \frac{k+1}{n})\binom{n+k-2}{k-1}\frac{x^{k}}{( 1+x) ^{n+k-1}}\nonumber.
\end{align}
Again, using   equation (\ref{sec:alphabaskakov:simpleCal:eq:1}) and adjusting the summation limits yield
\begin{equation}
k_{2}=\sum_{k=0}^{\infty }f( \frac{k+1}{n})\frac{k}{n-1}\binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}}.\label{eq:proof_k1}
\end{equation}
Subtracting  (\ref{eq:proof_k1}) from  (\ref{eq:proof_k2}), we obtain
\begin{align}
k_{1}- k_{2}&=\sum_{k=0}^{\infty }\left\{f( \frac{k}{n})(1+\frac{k}{n-1})-f( \frac{k+1}{n})\frac{k}{n-1}\right\} \binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}} \nonumber\\
&=\sum_{k=0}^{\infty }g_{k}\;\binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}},\nonumber
\end{align}
which completes the proof.
\end{proof}
\begin{lemma}
\label{lemma:baskakov:moments}
For $n\in\mathbb{N}$, the $\alpha$-Baskakov operator has the following identities:
\begin{enumerate}
\item $\alphabskop{n}{\alpha}{1}{x}=1$, \label{lemma:baskakov:moment1}
\item $\alphabskop{n}{\alpha}{t}{x}=x+\frac{2}{n}(\alpha-1)x$,\label{lemma:baskakov:momentx}
\item $\alphabskop{n}{\alpha}{t^{2}}{x}=x^{2}+\frac{4\alpha-3}{n}x^{2}+\frac{x}{n^{2}}(n+4\alpha -4)$.\label{lemma:baskakov:momentx2}
\end{enumerate}
\end{lemma}
\begin{proof}
The proof of the parts follows from a straightforward (yet tedious) calculation, so we just prove   part \ref{lemma:baskakov:moment1} and skip   parts \ref{lemma:baskakov:momentx} and \ref{lemma:baskakov:momentx2}.

In part \ref{lemma:baskakov:moment1} $f(x)=1$; then it follows from   equation (\ref{eq:gkn}) that $g_{k}=1$. Thus, we have
\begin{align*}
\alphabskop{n}{\alpha}{1}{x}&=(1-\alpha )\sum_{k=0}^{\infty }\binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}}+\alpha\sum_{k=0}^{\infty }\binom{n+k-1}{k}\frac{x^{k}}{( 1+x) ^{n+k}} \nonumber\\
&=( 1-\alpha )\bskop{n-1}{1}{x}+\alpha\bskop{n}{1}{x}.
\end{align*}
On the other hand, since $\bskop{n-1}{1}{x}=\bskop{n}{1}{x}=1$, we obtain the desired result.
\end{proof}

From Lemma \ref{lemma:baskakov:moments}, we obtain the following immediate result.
\begin{remark}
The classical Baskakov operator reproduces a linear polynomial, that is,
\begin{eqnarray*}
\bskop{n}{at+b}{x}=ax+b,\quad a\; \textrm{and}\; b\; \textrm{constants}.
\end{eqnarray*}
However, $\alpha$-Baskakov operator does not have this property.
\end{remark}

To represent the $r$th derivative of $\alpha$-Baskakov operators in terms of forward divided differences, we need the following auxilary results.

\begin{lemma}
The higher order forward difference of $g_{k}$ in equation (\ref{eq:gkn}) can be expressed in the form
\begin{equation}
\Delta^{r}g_{k} =(1+\frac{k}{n-1})\Delta ^{r}f( \frac{k}{n}) -\frac{k+r}{n-1}\Delta ^{r}f(\frac{k+1}{n}).
\end{equation}
\end{lemma}

\begin{proof} The proof is by induction on $r$. For the inductive step, let us assume that
\begin{equation}
\Delta^{r-1}g_{k} = ( 1+\frac{k}{n-1}) \Delta^{r-1}f( \frac{k}{n})-\frac{k+r-1}{n-1}\Delta^{r-1}f( \frac{k+1}{n}).
\end{equation}
Then,
\begin{align}
\Delta ^{r}g_{k}  &=\Delta\left(\Delta ^{r-1}g_{k}\right)\nonumber\\
&=\Delta\left(( 1+\frac{k}{n-1}) \Delta^{r-1}f( \frac{k}{n})-\frac{k+r-1}{n-1}\Delta^{r-1}f( \frac{k+1}{n})\right). \label{eq:lemma_proof_finite_difference}
\end{align}
Thus, applying the difference formula
\begin{eqnarray*}
\Delta \left( u_{k}v_{k}\right) =v_{k}\Delta \left( u_{k}\right)+u_{k+1}\Delta \left( v_{k}\right)
\end{eqnarray*}
to each term in the expression  in (\ref{eq:lemma_proof_finite_difference}) yields
\begin{eqnarray*}
\Delta ^{r}g_{k}  &=&\frac{1}{n-1}\Delta ^{r-1}f( \frac{k}{n}) +(1+\frac{k+1}{n-1})\Delta ^{r}f( \frac{k}{n})   \\
&&-\{\frac{1}{n-1}\Delta ^{r-1}f( \frac{k+1}{n}) +\frac{k+r}{n-1}\Delta^{r}f( \frac{k+1}{n})\}   \\
&=&( 1+\frac{k}{n-1}) \Delta ^{r}f( \frac{k}{n}) -\frac{k+r}{n-1}\Delta ^{r}f( \frac{k+1}{n}),
\end{eqnarray*}
which completes the proof.
\end{proof}

\begin{theorem}
\label{theorem:alfabaskakovrthorderderivative}
The $r$th order derivative of $\alpha$-Baskakov operators can be expressed in terms of higher order forward divided differences as
\begin{eqnarray*}
\alphabskopder{n}{\alpha}{(r)}{f}{x}&=&( 1-\alpha) \frac{( n+r-2) !}{( n-2) !}\sum_{k=0}^{\infty }\Delta^{r}g_{k}P_{n-1+r,k}( x)\\
&&+\alpha \frac{( n+r-1) !}{( n-1) !}\sum_{k=0}^{\infty }\Delta ^{r}f( \frac{k}{n})P_{n+r,k}( x).
\end{eqnarray*}
\end{theorem}
\begin{proof} Let us assume that, by using equation (\ref{eq:alfabaskakovg_x}),
\begin{eqnarray*}
\alphabskop{n}{\alpha}{f}{x} =( 1-\alpha ) T_{1}+\alpha T_{2},
\end{eqnarray*}
where
\begin{eqnarray*}
 T_{1}=\sum_{k=0}^{\infty }\binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k-1}},
\end{eqnarray*}
and
\begin{eqnarray*}
 T_{2}=\sum_{k=0}^{\infty }\binom{n+k-1}{k}\frac{x^{k}}{( 1+x) ^{n+k}}.
\end{eqnarray*}
Then, the $r$th derivative of $\alphabskop{n}{\alpha}{f}{x}$ becomes
\begin{eqnarray*}
\alphabskopder{n}{\alpha}{(r)}{f}{x}=( 1-\alpha)T_{1}^{(r)}+\alpha T_{2}^{(r)}.
\end{eqnarray*}
We prove that
\begin{equation}
T_{1}^{(r)}=\frac{( n+r-2) !}{( n-2) !}\sum_{k=0}^{\infty }\Delta^{r}g_{k}P_{n-1+r,k}( x)   \label{eq:T1}.
\end{equation}
The proof is by induction on $r$. When $r=1$, then the derivative of $T_{1}$ becomes
\begin{eqnarray*}
T_{1}^{^{\prime }} &=&\sum_{k=1}^{\infty }g_{k}k\binom{n+k-2}{k}\frac{x^{k-1}}{( 1+x) ^{n+k-1}} \\
&&-\sum_{k=0}^{\infty}g_{k} ( n+k-1) \binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k}}  \\
&=&\sum_{k=0}^{\infty }g_{k+1} ( k+1)\binom{n+k-1}{k}\frac{x^{k}}{( 1+x) ^{n+k}} \\
&&-\sum_{k=0}^{\infty}g_{k} ( n+k-1) \binom{n+k-2}{k}\frac{x^{k}}{( 1+x) ^{n+k}}.
\end{eqnarray*}
Since
\begin{eqnarray*}
( k+1) \binom{n+k-1}{k+1}=( n-1)  \binom{n+k-1}{k}
\end{eqnarray*}
and
\begin{eqnarray*}
( n+k-1) \binom{n+k-2}{k} =( n-1) \binom{n+k-1}{k},
\end{eqnarray*}
we have
\begin{eqnarray*}
T_{1}^{^{\prime }} &=&( n-1) \sum_{k=0}^{\infty }\left[g_{k+1}-g_{k} \right]  \binom{n+k-1}{k}\frac{x^{k}}{( 1+x) ^{n+k}} \\
&=&( n-1) \sum_{k=0}^{\infty }\Delta g_{k} P_{n,k}( x)   .
\end{eqnarray*}
For the inductive step, assume that   equation (\ref{eq:T1}) holds for some $r\in \mathbb{N}$.
We now prove that the equation holds with $r$ replaced by $r+1$, which means taking the derivative of  (\ref{eq:T1}) . Thus,
\begin{eqnarray*}
T_{1}^{(r+1)}
&=&\frac{( n+r-2) !}{( n-2) !}\sum_{k=0}^{\infty }\Delta ^{r}g_{k}P_{n-1+r,k}^{^{\prime }}( x)   \\
&=&\frac{( n+r-2) !}{( n-2) !}\sum_{k=1}^{\infty }\Delta ^{r}g_{k} k\binom{n+r+k-2 }{k} \frac{x^{k-1}}{( 1+x) ^{n+r+k-1}}  \\
&&-\frac{( n+r-2) !}{( n-2) !}\sum_{k=0}^{\infty }\Delta ^{r}g_{k} ( n+r+k-1)\binom{n+r+k-2 }{k} \frac{x^{k}}{( 1+x) ^{n+r+k}}  \\
&=&\frac{( n+r-2) !}{( n-2) !}\sum_{k=0}^{\infty }\Delta ^{r}g_{k+1} ( k+1)\binom{n+r+k-1 }{k+1} \frac{x^{k}}{( 1+x) ^{n+r+k}}  \\
&&-\frac{( n+r-2) !}{( n-2) !}\sum_{k=0}^{\infty }\Delta ^{r}g_{k}( n+r+k-1) \binom{n+r+k-2 }{k}\frac{x^{k}}{( 1+x) ^{n+r+k}}   .
\end{eqnarray*}
Since
\begin{eqnarray*}
( k+1) \binom{n+r+k-1 }{k+1} =( n+r-1) \binom{n+r+k-1}{k}
\end{eqnarray*}
and
\begin{eqnarray*}
( n+r+k-1)\binom{n+r+k-2 }{k}=( n+r-1) \binom{n+r+k-1 }{k},
\end{eqnarray*}
we obtain
\begin{eqnarray*}
T_{1}^{^{(r+1)}} &=&\frac{( n+r-1) !}{( n-2) !}\sum_{k=0}^{\infty }\left[ \Delta ^{r}g_{k+1}-\Delta ^{r}g_{k} \right] \binom{n+r+k-1}{k} \frac{x^{k}}{( 1+x) ^{n+r+k}}  \\
&=&\frac{( n+r-1) !}{( n-2) !}\sum_{k=0}^{\infty }\Delta ^{r+1}g_{k} P_{n+r,k}( x)   .
\end{eqnarray*}
Similarly, we obtain
\begin{eqnarray*}
T_{2}^{^{(r)}}=\frac{( n+r-1) !}{( n-1) !}\sum_{k=0}^{\infty }\Delta ^{r}f(\frac{k}{n}) P_{n+r,k}( x).
\end{eqnarray*}
\end{proof}


\begin{theorem}
The $\alpha $-Baskakov operator can be expressed in terms of forward divided differences and powers of $x$ as
\begin{eqnarray*}
\alphabskop{n}{\alpha}{f}{x} &=&( 1-\alpha )\sum_{r=0}^{\infty }\frac{( n+r-2) !}{( n-2) !}\left[ \Delta ^{r}f( 0) -\frac{r}{n-1}\Delta ^{r}f( \frac{1}{n}) \right] \frac{x^{r}}{r!}  \\
&&+\alpha \sum_{r=0}^{\infty }\frac{( n+r-1) !}{(n-1) !}\Delta ^{r}f( 0) \frac{x^{r}}{r!}   .
\end{eqnarray*}
\end{theorem}

\begin{proof}
Taylor expansion of the $\alpha$-Baskakov operator along with Theorem \ref{theorem:alfabaskakovrthorderderivative} yields
\begin{eqnarray*}
\alphabskop{n}{\alpha}{f}{x} &=&\sum_{r=0}^{\infty }\left.\alphabskopder{n}{\alpha}{(r)}{f}{x} \right\vert_{x=0}\frac{x^{r}}{r!} \\
&=&( 1-\alpha ) \sum_{r=0}^{\infty }\frac{(n+r-2) !}{( n-2) !}\left[ \Delta ^{r}f( 0) -\frac{r}{n-1}\Delta ^{r}f( \frac{1}{n}) \right] P_{n-1+r,0}( 0) \frac{x^{r}}{r!}  \\
&&+\alpha \sum_{r=0}^{\infty }\frac{( n+r-1) !}{(n-1) !}\Delta ^{r}f( 0) P_{n+r,0}( 0) \frac{x^{r}}{r!}  \\
&&\hspace*{-2cm}{\rm Since }\,\, P_{n-1+r,0}( 0)=P_{n+r,0}( 0)=1, \\
&=&( 1-\alpha ) \sum_{r=0}^{\infty }\frac{(n+r-2) !}{( n-2) !}\left[ \Delta ^{r}f( 0) -\frac{r}{n-1}\Delta ^{r}f( \frac{1}{n}) \right] \frac{x^{r}}{r!} \\
&&+\alpha \sum_{r=0}^{\infty }\frac{( n+r-1) !}{(n-1) !}\Delta ^{r}f( 0) \frac{x^{r}}{r!}.
\end{eqnarray*}
This completes the proof.
\end{proof}


Using the following forward divided difference formula, one can write the $\alpha$-Baskakov operator as in the following corollary:
\begin{equation}
n^{r}\frac{\Delta ^{r}f( 0) }{r!}=f\left[ 0,\frac{1}{n},\frac{2}{n},\cdots,\frac{r}{n}\right].
\end{equation}
\begin{corollary}  The $\alpha$-Baskakov operator can be expressed as
\begin{eqnarray*}
\alphabskop{n}{\alpha}{f}{x}&=&( 1-\alpha )\sum_{r=0}^{\infty }\frac{( n+r-2) !}{n^{r}(n-2) !}\left( f\left[ 0,\frac{1}{n},\frac{2}{n},\cdots,\frac{r}{n}\right]\right. \\
&&-\left.\frac{r}{n-1}f\left[ \frac{1}{n},\frac{2}{n},\cdots,\frac{r}{n},\frac{r+1}{n}\right] \right) x^{r} \\
&&+\alpha \sum_{r=0}^{\infty }\frac{( n+r-1) !}{n^{r}( n-1) !}f\left[ 0,\frac{1}{n},\frac{2}{n},\cdots,\frac{r}{n}\right] x^{r}  .
\end{eqnarray*}
\end{corollary}

\section{Convergence properties of $\alpha $-Baskakov operators}
\label{sec:convergence}

Throughout this section, we argue that $\alpha$-Baskakov operators can be used to approximate functions defined on the unbounded infinite interval $[0, \infty)$.
Recall that an immediate analog of the Bohman-Korovkin theorem does not hold in the unbounded interval, so some restrictions are needed. Now, we present these restrictions and notations.

Let $B_{2}[0,\infty )$ be the space of all functions $f$ defined on the unbounded interval $[0,\infty )$ satisfying the inequality
\begin{eqnarray*}
|f(x)|\leq M_{f}(1+x^{2}),
\end{eqnarray*}
where $M_{f}$ is a positive constant only depending on function $f$. Also, let us define the spaces
\begin{eqnarray*}
C_{2}[0,\infty )=B_{2}[0,\infty )\cap C[0,\infty )
\end{eqnarray*}
and
\begin{eqnarray*}
C_{2}^{\ast }[0,\infty )=\left\{ f\in C_{2}[0,\infty ):\lim_{x\rightarrow
\infty }\frac{|f(x)|}{1+x^{2}}=k_{f}<\infty \right\}
\end{eqnarray*}
and endow them with the norm
\begin{eqnarray*}
\left\Vert f\right\Vert _{2}=\sup_{x\in \lbrack 0,\infty )}\frac{|f(x)|}{
1+x^{2}}.
\end{eqnarray*}

Remember that, as it follows from   articles \cite{gadzhiev1974convergence} and \cite{gadzhiev1976theorems} by Gadjiev, the Korovkin-type theorems for positive linear operators do not hold in the space $C_{2}[0,\infty )$ but hold in the space of $C_{2}^{\ast }[0,\infty )$ with the previous norm. In addition to the assumption of the function $f$ being positive, from now on, we assume that $g_{k}$ is positive as well.

\begin{theorem}
For each $f\in $ $C_{2}^{\ast }[0,\infty )$, we have
\begin{eqnarray*}
\lim_{n\rightarrow \infty }\left\Vert \alphabskopwof{n}{\alpha}{f}-f\right\Vert _{2}=0.
\end{eqnarray*}
\end{theorem}

\begin{proof}
From \cite{gadzhiev1976theorems}, we observe that it is sufficient to verify the following three
conditions:
\begin{equation}
\lim_{n\rightarrow \infty }\left\Vert \alphabskop{n}{\alpha}{ t^{\nu}}{x}-x^{\nu }\right\Vert _{2}=0,\quad\nu=0,1,2.  \label{K1}
\end{equation}
Since $\alphabskop{n}{\alpha}{1}{x}=1$,  condition (\ref{K1}) holds for $
\nu =0.$ From Lemma \ref{lemma:baskakov:moments} we have
\begin{eqnarray*}
\left\Vert\alphabskop{n}{\alpha}{t}{x}-x\right\Vert _{2} &=&\frac{2}{n}\left(1-\alpha \right) \sup_{x\in \lbrack 0,\infty )}\frac{x}{1+x^{2}}\nonumber \\
&\leq& \frac{2}{n}\left(1-\alpha \right), \nonumber
\end{eqnarray*}
which implies that the condition in (\ref{K1}) holds for $\nu =1$.

Similarly, we can write
\begin{eqnarray*}
\left\Vert\alphabskop{n}{\alpha}{t^{2}}{x} -x^{2}\right\Vert _{2}
&=&\frac{\vert 4\alpha-3\vert}{n}\sup_{x\in \lbrack 0,\infty )}\frac{x^{2} }{ 1+x^{2} }+\frac{n+4\alpha -4}{n^{2}}\sup_{x\in \lbrack 0,\infty )}\frac{x}{ 1+x^{2} } \\
&\leq&\frac{\vert 4\alpha-3\vert}{n}+\frac{n+4\alpha -4}{n^{2}}
\end{eqnarray*}
which implies that the condition in (\ref{K1}) holds for $\nu =2$.

This completes the proof of the theorem.
\end{proof}
\begin{lemma}
\label{lemma:baskakov:limits}
For $n\in\mathbb{N}$, the $\alpha$-Baskakov operator has the following identities:
\begin{enumerate}
\item[1. ] $n\alphabskop{n}{\alpha}{(t-x)^{2}}{x}=x(1+x)+\frac{4x}{n}(\alpha -1)$,\label{lemma:baskakov:limitst_x}
\item[2. ] $
  n^{2}\alphabskop{n}{\alpha}{(t-x)^{4}}{x}=3x^{2}(1+x)^{2}-\frac{x}{n}(10x^{4}+36x^{2}+25x-1) \\
  \hspace*{3.2cm}+\frac{\alpha x^{2}}{n}(16x^{2}+48x+32)+\frac{16x}{n^{2}}(\alpha-1)$.
\end{enumerate}
\end{lemma}

\begin{theorem}
For any function $f\in C_{2}[0,\infty )$, we have
\begin{eqnarray*}
\lim_{n\rightarrow \infty}\sup_{x\in [0,\infty)}\frac{\left\vert\alphabskop{n}{\alpha}{f}{x}-f(x)\right\vert}{(1+x^{2})^{3/2}}= 0 .
\end{eqnarray*}
\end{theorem}

\begin{proof}
Since $f$ is continuous and also uniformly continuous on any closed interval, there exists a positive number $\sigma$, depending on $\varepsilon$ and $f$, for $\left\vert t-x\right\vert< \sigma$, and we have
\begin{eqnarray*}
\left\vert f(t)-f(x)\right\vert < \varepsilon
\end{eqnarray*}
Since $f\in B_{2}[0,\infty )$, for $\left\vert t-x\right\vert\ge\sigma$,
\begin{eqnarray*}
\left\vert f(t)-f(x)\right\vert \le A_{f}(\sigma)\left\{ (t-x)^{2}+(1+x^{2})\left\vert t-x\right\vert\right\},
\end{eqnarray*}
where $A_{f}(\sigma)$ is a positive constant depending on $f$ and $\sigma$.

Combining the above results yields
\begin{eqnarray*}
\left\vert f(t)-f(x)\right\vert < \varepsilon + A_{f}(\sigma)\left\{ (t-x)^{2}+(1+x^{2})\left\vert t-x\right\vert\right\},
\end{eqnarray*}
where $t,x\in[0,\infty )$. Thus, we obtain
\begin{align*}
\left\vert\alphabskop{n}{\alpha}{f}{x}-f(x)\right\vert&< \varepsilon + A_{f}(\sigma)\left\{\alphabskop{n}{\alpha}{(t-x)^{2}}{x}+(1+x^{2})\alphabskop{n}{\alpha}{\left\vert t-x\right\vert}{x}\right\} \\
&< \varepsilon + A_{f}(\sigma)\left\{\alphabskop{n}{\alpha}{(t-x)^{2}}{x}+(1+x^{2})(\alphabskop{n}{\alpha}{(t-x)^{2}}{x})^{1/2}\right\} .
\end{align*}
From Lemma \ref{lemma:baskakov:limits}, we obtain the desired result.
\end{proof}
\begin{theorem}
Let $f\in C_{2}[0,\infty )$ and also let $f^{^{\prime\prime}}\in C_{2}[0,\infty )$. Then
\begin{eqnarray*}
\lim_{n\rightarrow\infty}n\left[\alphabskop{n}{\alpha}{f}{x}-f(x)\right]=x(x + 1)f^{^{\prime\prime}}(x)+2(1-\alpha)f^{^{\prime}}(x).
\end{eqnarray*}
\end{theorem}
\begin{proof}
We observe that
\begin{eqnarray*}
\alphabskop{n}{\alpha}{1}{x}=1.
\end{eqnarray*}
Moreover, for any $x\ge 0$, using Lemma \ref{lemma:baskakov:moments}, we have
\begin{eqnarray*}
\lim_{n\rightarrow\infty}n\alphabskop{n}{\alpha}{t-x}{x}=2(1-\alpha).
\end{eqnarray*}
Using Lemma \ref{lemma:baskakov:limits}, we obtain
\begin{eqnarray*}
\lim_{n\rightarrow\infty}n\alphabskop{n}{\alpha}{(t-x)^{2}}{x}=x(1+x),
\end{eqnarray*}
and
\begin{eqnarray*}
\lim_{n\rightarrow\infty}n^{2}\alphabskop{n}{\alpha}{(t-x)^{4}}{x}=3x^{2}(x + 1)^{2}.
\end{eqnarray*}
Thus, the proof follows from \cite[Proposition 5.1]{altomare1999generalization}.
\end{proof}




Recall that the weighted modulus of smoothness is denoted by $\Omega(f;\sigma)$ and defined by
\begin{equation}
\Omega(f;\sigma)=\sup_{0\le h<\sigma , x\in[0,\infty )}\frac{\left\vert f(x+h)-f(x)\right\vert}{(1 + h^{2})(1+x^{2})}.
\end{equation}
for $f\in C_{2}^{\star}[0,\infty )$ (see \cite{ispir2001modified}).

We know that for every function $f\in C_{2}^{\star}[0,\infty )$, the weighted modulus of smoothness has the following properties:
\begin{equation}
\lim_{\sigma\rightarrow 0}\Omega(f;\sigma)=0
\end{equation}
and
\begin{equation}
\Omega(f;\lambda\sigma)\le 2(1+\lambda)(1 + \sigma^{2})\Omega(f;\sigma),\qquad \lambda>0.
\end{equation}
Thus, combining these two results yields
\begin{eqnarray}
\left \vert f(y)-f(x)\right\vert&\le&(1+(y-x)^{2})(1+x^{2})\Omega(f;\left\vert y-x\right\vert)\nonumber\\
&\le&2(1+\frac{\left\vert y-x\right\vert}{\sigma})(1+\sigma^{2})\Omega(t;\lambda\sigma)(1+(y-x)^{2})(1+x^{2}). \label{eq:weighted_modulus_difference}
\end{eqnarray}

\begin{theorem}
If $f\in C_{2}^{\star}[0,\infty )$ then, for large enough $n$, we have
\begin{eqnarray*}
\frac{\left\vert\alphabskop{n}{\alpha}{f}{x}-f(x)\right\vert}{(1+x^{2})^{3}}\le 32\;\Omega(f;\frac{1}{\sqrt{n}}).
\end{eqnarray*}
\end{theorem}
\begin{proof}
Using   inequality (\ref{eq:weighted_modulus_difference}), we have
\begin{eqnarray*}
\left\vert f(y)-f(x)\right\vert\le
\begin{cases}
    4(1+\sigma^{2})^{2}(1+x^{2})\Omega(f;\sigma), & \text{if } \left\vert y-x\right\vert<\sigma \\
   4(1+\sigma^{2})^{2}(1+x^{2})\frac{(y-x)^{4}}{\sigma^{4}}\Omega(f;\sigma), & \text{if } \left\vert y-x\right\vert\ge \sigma
  \end{cases}.
\end{eqnarray*}
By choosing $\sigma < 1$, we obtain
\begin{eqnarray*}
\left\vert f(y)-f(x)\right\vert&\le& 4(1+\sigma^{2})^{2}(1+x^{2})\Omega(f;\sigma)(1+\frac{(y-x)^{4}}{\sigma^{4}})\nonumber\\
&\le& 16(1+x^{2})\Omega(f;\sigma)(1+\frac{(y-x)^{4}}{\sigma^{4}})\nonumber .
\end{eqnarray*}
Using the above inequaity with $y=\frac{k}{n}$, we deduce that
\begin{eqnarray*}
\left\vert\alphabskop{n}{\alpha}{f}{x}-f(x)\right\vert&\le&\left\vert\sum_{k=0}^{\infty}f(\frac{k}{n})P_{n,k}^{(\alpha)}(x)-f(x)\right\vert\nonumber\\
&\le&\sum_{k=0}^{\infty}\left\vert f(\frac{k}{n})-f(x)\right\vert P_{n,k}^{(\alpha)}(x)\nonumber\\
&\le& 8(1+x^{2})\Omega(f;\sigma)(1+\frac{1}{\sigma^{4}}\alphabskop{n}{\alpha}{(t-x)^{4}}{x}\nonumber .
\end{eqnarray*}
Thus, using Lemma  \ref{lemma:baskakov:limits} and choosing $\sigma=\frac{1}{\sqrt{n}}$ yield the desired result.
\end{proof}
%\newpage
\section{Numerical results} \label{sec:numericalresults}
In this section, we present some numerical results obtained by using Matlab.
Figure \ref{figure:fig_x_2} shows the plot of $f(x)=x^{2}$ along with $\alphabskop{20}{\alpha}{f}{x}$ for different values of $\alpha=0.1,0.5,0.7$ and $1.0$ on the interval $[0,1]$. Note that when $\alpha=0.5$, $\alpha$-Baskakov approximation outperforms others. In this case, the graphs of $f(x)$ and $\alphabskop{20}{\alpha}{f}{x}$ are almost indistinguishable. However, unlike others, $\alpha=0.1$ leads to underestimation.
\begin{figure}[ht!]
\centering
\includegraphics[scale=0.4]{fig_x_2_n_20.eps}
%\includegraphics[scale=1.0,  width=0.5\textwidth]{fig_x_2_n_20.eps}
\caption{$k\in[0,\infty )$, $x=0:1/10:1$, $n=20$ {\it and} $f(x)=x^{2}$}
\label{figure:fig_x_2}
\end{figure}

On the other hand,   Figure \ref{figure:fig_exp_x} presents similar plots for $f(x)=\exp{x}$, but $x\in[0,5]$. When we examine the figure, we observe that the best approximation is achieved when $\alpha=0.1$.
\begin{figure}[ht!]
\centering
\includegraphics[scale=0.4]{fig_exp_n_20.eps}
%\includegraphics[scale=1.0,  width=0.5\textwidth]{fig_exp_n_20.eps}
\caption{$k\in[0,\infty )$, $x=0:1/10:5$, $n=20$ {\it and} $f(x)=\exp{x}$}
\label{figure:fig_exp_x}
\end{figure}

\section{Conclusion}
\label{sec:conclusion}

We constructed sequences of non-negative parametric $\alpha$-Baskakov operators. We expressed $\alpha$-Baskakov operators in terms of forward divided differences and powers of $x$, and their higher order derivatives in terms of  forward divided differences.

On the other hand, we obtained Korovkin type of approximation properties of the operators. Moreover, we obtained the convergence rate of $\alpha$-Baskakov operators by using the modulus of continuity. We also presented some simulation results which say, depending on the value of the parameter $\alpha$, the quaity of approximating a function improves compared to   classical Baskakov operators.

%%%% Bibliography  %%%%%%%%%%

\begin{thebibliography}{99}
\bibitem{altomare1999generalization}
{\sc F.\,Altomare, E. Mangino},
On a generalization of Baskakov operators,
Rev. Roumaine Math. Pures Appl.  {\bf 44}(1999), 683-–706.

\bibitem{aral2009q}
{\sc A.\,Aral, V.\,Gupta},
On q-Baskakov type operators,
Demonstratio Math. {\bf 42}(2009), 109-–122.

\bibitem{aral2011generalized}
{\sc A.\,Aral, V.\,Gupta},
Generalized q-Baskakov operators,
Math. Slovaca {\bf 61}(2011), 619–-634.

\bibitem{baskakov1957instance}
{\sc V.\,Baskakov},
An instance of a sequence of linear positive operators in the space of continuous functions,
Doklady Akademii Nauk SSSR {\bf 113}(1957), 249-–251.

\bibitem{chen2017approximation}
{\sc X.\,Chen, J.\,Tan, Z.\,Liu, J.\,Xie},
Approximation of functions by a new family of generalized Bernstein operators,
J. Math. Anal. Appl. {\bf 450}(2017), 244-–261.

\bibitem{gadzhiev1974convergence}
{\sc A.\,Gadzhiev},
The convergence problem for a sequence of positive linear operators on unbounded sets, and theorems analogous to that of PP Korovkin,
Soviet Math. Dokl. {\bf 15}(1974), 1433-–1436.

\bibitem{gadzhiev1976theorems}
{\sc A.\,Gadzhiev},
Theorems of Korovkin type,
Math. Notes {\bf 20}(1976), 995–-998.

\bibitem{gupta1994note}
{\sc V.\,Gupta},
A note on modified Baskakov type operators,  Approx. Theory   Appl. {\bf 10}(1994), 74-–78.

\bibitem{ispir2001modified}
{\sc N.\,Ispir},
On modified Baskakov operators on weighted spaces,
Turkish J. Math. {\bf 25}(2001), 355-–365.

\bibitem{mihesan1998uniform}
{\sc V.\,Mihesan},
Uniform approximation with positive linear operators generated by generalized Baskakov method,
Automat. Comput. Appl. Math. {\bf 7}(1998), 34-–37.

\bibitem{pethe1984baskakov}
{\sc S.\,Pethe},
On the Baskakov operator,
Indian J. Math. {\bf 26}(1984), 43-–48.

\bibitem{wafi2004order}
{\sc A.\,Wafi, S.\,Khatoon},
On the order of approximation of functions by generalized Baskakov operators,
Indian J. Pure Appl. Math.  {\bf 35}(2004), 347-–358.

\bibitem{zhang2009preservation}
{\sc C.\,Zhang, Z.\,Zhu},
Preservation properties of the Baskakov-Kantorovich operators,
Comput. Math. Appl.  {\bf 57}(2009), 1450-–1455.
\end{thebibliography}
%% \end{linenumbers}
\end{document}
