1 Introduction
The \(( p,q ) \)-calculus is a generalization of the well-known q-calculus and it is constructed by the following notations and definitions. Let \(0< q< p\leq1\). For each nonnegative integer n, the \((p,q)\)-number is denoted by \([ n ] _{p,q}\) and is given by For each \(k,n\in\mathbb{N}\), \(n\geq k\geq0\), the \((p,q)\)-factorial \([k ] _{p,q}!\) and \((p,q)\)-binomial are defined by The \((p,q)\)-power basis is defined by and Let \(f:\mathbb{R\rightarrow R}\) then the \((p,q)\)-derivative of a function f, denoted by \(D_{p,q}f\), is defined by provided that f is differentiable at 0. The following assertions hold true: and \(D_{p,q}(x\oplus a)_{p,q}^{0}=0\). The formula for the \((p,q)\)-derivative of a product is Let \(f:C [ 0,a ] \rightarrow \mathbb{R}\) (\(a>0\)) then the \((p,q)\)-integration of a function f is defined by The formula of the \((p,q)\)-integration by parts is given by Here we note that all the notations mentioned above reduce to the q-analogs when \(p=1\). For more details of the \((p,q)\)-calculus, we refer the reader to [1‐5].
$$ [ n ] _{p,q}=\frac{p^{n}-q^{n}}{p-q}. $$
$$\begin{aligned}& [ n ] _{p,q}!=\prod_{k=1}^{n} [ k ] _{p,q},\quad n\geq 1,\qquad [ 0 ] _{p,q}!=1, \\& \left [ \textstyle\begin{array}{@{}c@{}} n \\ k\end{array}\displaystyle \right ] _{p,q}= \frac{ [ n ] _{p,q}!}{ [ n-k ] _{p,q}! [ k ] _{p,q}!}. \end{aligned}$$
$$ (x\oplus a)_{p,q}^{n}=(x+a) (px+qa) \bigl(p^{2}x+q^{2}a \bigr)\cdots\bigl(p^{n-1}x+q^{n-1}a\bigr) $$
$$ (x\ominus a)_{p,q}^{n}=(x-a) (px-qa) \bigl(p^{2}x-q^{2}a \bigr)\cdots\bigl(p^{n-1}x-q^{n-1}a\bigr). $$
$$ ( D_{p,q}f ) ( x ) :=\frac{f ( px ) -f ( qx ) }{ ( p-q ) x},\quad x\neq0,\qquad ( D_{p,q}f ) ( 0 ) :=f^{\prime} ( 0 ) $$
$$\begin{aligned}& D_{p,q}(x\oplus a)_{p,q}^{n} = [ n ] _{p,q}(px\oplus a)_{p,q}^{n-1},\quad n\geq1, \\& D_{p,q}(a\oplus x)_{p,q}^{n} = [ n ] _{p,q}(a\oplus qx)_{p,q}^{n-1},\quad n\geq1, \end{aligned}$$
$$ D_{p,q} \bigl( u ( x ) v ( x ) \bigr) :=D_{p,q} \bigl( u ( x ) \bigr) v ( qx ) +D_{p,q} \bigl( v ( x ) \bigr) u ( px ) . $$
$$ \begin{aligned} & \int _{0}^{a}f ( t ) \, d_{p,q}t = ( q-p ) a \sum_{k=0}^{\infty}f \biggl( \frac{p^{k}}{q^{k+1}}a \biggr) \frac{p^{k}}{q^{k+1}}\quad \text{if }\biggl\vert \frac{p}{q}\biggr\vert < 1, \\ & \int _{0}^{a}f ( t ) \, d_{p,q}t = ( p-q ) a \sum_{k=0}^{\infty}f \biggl( \frac{q^{k}}{p^{k+1}}a \biggr) \frac{q^{k}}{p^{k+1}}\quad \text{if }\biggl\vert \frac{p}{q}\biggr\vert >1. \end{aligned} $$
(1.1)
$$ \int_{a}^{b}f ( px ) D_{p,q}g ( x )\, d_{p,q}x=f ( b ) g ( b ) -f ( a ) q ( a ) - \int_{a}^{b}g ( qx ) D_{p,q}f ( x )\, d_{p,q}x. $$
(1.2)
The \((p,q)\)-calculus has been used efficiently in many fields of science such as oscillator algebra, Lie group, field theory, differential equations, hypergeometric series, physical sciences. Therefore, to approximate the functions via polynomials based on \((p,q)\)-integers, no doubt, would have a crucial role. To fulfill this necessity, very recently the well-known sequences of linear positive operators of approximation theory have been transferred to the \((p,q)\)-calculus and the advantages of \((p,q)\) analogs of them have been intensively investigated. For some recent work devoted to \((p,q)\)-operators, we refer the reader to [6‐11]. Very recently, Aral and Gupta [12] introduced the \(( p,q ) \)-analog of the well-known Baskakov operators by where \(x\in{}[0,\infty)\), \(0< q< p\leq1\), and and they calculated that
$$ B_{n,p,q} ( f;x ) =\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x)f \biggl( \frac{p^{n-1}[k]_{p,q}}{q^{k-1}[n]_{p,q}} \biggr) , $$
(1.3)
$$ b_{n,k}^{p,q}(x)=\left [ \textstyle\begin{array}{@{}c@{}} n+k-1 \\ k\end{array}\displaystyle \right ] _{p,q}p^{k+n(n-1)/2}q^{k(k-1)/2}\frac{x^{k}}{(1\oplus x)_{p,q}^{n+k}}, $$
$$ B_{n,p,q} ( 1;x ) =1,\qquad B_{n,p,q} ( t;x ) =x,\qquad B_{n,p,q} \bigl( t^{2};x \bigr) =x^{2}+ \frac{p^{n-1}x}{[n]_{p,q}} \biggl( 1+\frac {p}{q}x \biggr) . $$
(1.4)
Anzeige
Another problem in the approximation by linear positive operators is to present an approximation process for Riemann integrable functions. The main tool to solve this problem is to consider the Kantorovich modifications of the corresponding operators, which mainly depends on the replacing the sample values \(f ( k/n ) \) by the mean values of f in the intervals \([ k/ ( n+1 ) , ( k+1 ) / ( n+1 ) ] \). Since the \(( p,q ) \)-integral of f over \([ a,b ] \) is defined as follows: one cannot say (1.5) is positive every time unless it is assumed that f is a nondecreasing function. Hence, use of (1.5) to introduce a Kantorovich modification of any \(( p,q ) \)-operators may lead to some problem. Recently Mursaleen et al. [13] introduced a Kantorovich modification of \(( p,q ) \)-Szász-Mirakjan operators using the \(( p,q ) \)-integral (1.5) for the functions being nondecreasing. However, in this paper we define a new \(( p,q ) \)-integral, hence we do not need to impose any condition on f. For the generalizations of Baskakov operators and Kantorovich operators in classical calculus and q-calculus, we refer the reader to some recent papers [14‐19].
$$ \int_{a}^{b}f ( t )\, d_{p,q}t= \int_{0}^{b}f ( t )\, d_{p,q}t- \int_{0}^{a}f ( t )\, d_{p,q}t, $$
(1.5)
The aim of this paper is to introduce \(( p,q ) \)-Baskakov-Kantorovich operators and investigate their approximation properties. In the next section, we construct the operators, calculate the moments, central moments of the operators, and give some lemmas which will be necessary to prove our main results. In Section 3, we prove a local approximation theorem for the new operators in terms of Peetre’s \(\mathcal{K}\)-functional and its equivalent modulus of continuities. In Section 4, we investigate the uniform convergence of the operators and present the rate of convergence via the weighted modulus of continuities. In the last section, we give some pointwise estimates for the functions belonging to Lipschitz space.
2 Construction of operators
To present a method to solve the problem mentioned in the Introduction now we propose a new definition of the \(( p,q ) \)-integral. Let \(a,b\in \mathbb{R}\), \(a< b\), and \(h ( x ) :=f ( a+x ) \) be an arbitrary function and \(D_{p,q}H ( x ) =h ( x ) \), where \(H ( x ) :=F ( a+x ) \), then we can write that is, \(H ( px ) -H ( qx ) = ( p-q ) xh ( x ) \). Hence we get which allows us to write Adding these formulas term by term, we have and taking the limit as \(n\rightarrow\infty\) with the fact \(\vert \frac{p}{q}\vert <1\) we have Similarly we have, for \(\vert \frac{q}{p}\vert <1\), and if we take \(x=b-a\) then we get
$$ \frac{H ( px ) -H ( qx ) }{ ( p-q ) x}=h ( x ) , $$
$$\begin{aligned}& H \bigl( pq^{-1}x \bigr) -H ( x ) = ( p-q ) q^{-1}xh \bigl( q^{-1}x \bigr) , \\& H \bigl( p^{2}q^{-2}x \bigr) -H \bigl( pq^{-1}x \bigr) = ( p-q ) pq^{-2}xh \bigl( pq^{-2}x \bigr) , \\& \ldots, \\& H \bigl( p^{n+1}q^{- ( n+1 ) }x \bigr) -H \bigl( p^{n}q^{-n}x \bigr) = ( p-q ) p^{n}q^{- ( n+1 ) }xh \bigl( p^{n}q^{- ( n+1 ) }x \bigr), \end{aligned}$$
$$\begin{aligned}& F \bigl( a+pq^{-1}x \bigr) -F ( a+x ) = ( p-q ) q^{-1}xf \bigl( a+q^{-1}x \bigr) , \\& F \bigl( a+p^{2}q^{-2}x \bigr) -F \bigl( a+pq^{-1}x \bigr) = ( p-q ) pq^{-2}xf \bigl( a+pq^{-2}x \bigr) , \\& \ldots, \\& F \bigl( a+p^{n+1}q^{- ( n+1 ) }x \bigr) -F \bigl( a+p^{n}q^{-n}x \bigr) = ( p-q ) p^{n}q^{- ( n+1 ) }xf \bigl( a+p^{n}q^{- ( n+1 ) }x \bigr) . \end{aligned}$$
$$ F \bigl( a+p^{n+1}q^{- ( n+1 ) }x \bigr) -F ( a+x ) = ( p-q ) x\sum _{k=0}^{n}f \bigl( a+p^{k}q^{- ( k+1 ) }x \bigr) \frac{p^{k}}{q^{k+1}} $$
$$ F ( a+x ) -F ( a ) = ( q-p ) x\sum_{k=0}^{\infty}f \biggl( a+\frac{p^{k}}{q^{k+1}}x \biggr) \frac{p^{k}}{q^{k+1}}. $$
$$ F ( a+x ) -F ( a ) = ( p-q ) x\sum_{k=0}^{\infty}f \biggl( a+\frac{q^{k}}{p^{k+1}}x \biggr) \frac{q^{k}}{p^{k+1}} $$
$$ F ( b ) -F ( a ) = ( p-q ) ( b-a ) \sum_{k=0}^{\infty}f \biggl( a+ ( b-a ) \frac{q^{k}}{p^{k+1}} \biggr) \frac{q^{k}}{p^{k+1}}. $$
Definition 1
Let f be an arbitrary function. The \(( p,q ) \)-integral of f can be defined by
$$ \begin{aligned} & \int_{a}^{b}f ( t )\, d_{p,q}t = ( p-q ) ( b-a ) \sum_{n=0}^{\infty}f \biggl( a+ ( b-a ) \frac{q^{n}}{ p^{n+1}} \biggr) \frac{q^{n}}{p^{n+1}}\quad \text{when }\biggl\vert \frac{q}{p} \biggr\vert < 1, \\ & \int_{a}^{b}f ( t ) \, d_{p,q}t = ( q-p ) ( b-a ) \sum_{n=0}^{\infty}f \biggl( a+ ( b-a ) \frac{p^{n}}{ q^{n+1}} \biggr) \frac{p^{n}}{q^{n+1}}\quad \text{when }\biggl\vert \frac{p}{q} \biggr\vert < 1. \end{aligned} $$
(2.1)
Anzeige
Considering the new \(( p,q ) \)-integral given in (2.1) we can define the Kantorovich modifications of the operators (1.3) as follows.
Definition 2
For \(x\in{}[0,\infty)\), \(0< q< p\leq1\), the \(( p,q ) \)-analog of the Baskakov-Kantorovich operators is defined as
$$ B_{n,p,q}^{\ast} ( f;x ) =[n]_{p,q}\sum _{k=0}^{\infty }b_{n,k}^{p,q}(x)q^{-k} \int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}f \biggl( \frac{p^{n-1}t}{q^{k-1}} \biggr) \, d_{p,q}t. $$
(2.2)
Lemma 1
For
\(0< q< p\leq1\)
and
\(n\in\mathbb{N}\)
we have
$$\begin{aligned}& \int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}d_{p,q}t = \frac{q^{k}}{[n]_{p,q}}, \end{aligned}$$
(2.3)
$$\begin{aligned}& \int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}t\,d_{p,q}t = \frac{pq^{k}[k]_{p,q}}{[n]_{p,q}^{2}}+\frac{q^{2k}}{[n]_{p,q}^{2}}\frac {1}{ ( p+q ) }, \end{aligned}$$
(2.4)
$$\begin{aligned}& \int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}t^{2}d_{p,q}t = \frac{p^{2}q^{k}[k]_{p,q}^{2}}{[n]_{p,q}^{3}}+2\frac {p[k]_{p,q}}{[n]_{p,q}}\frac{q^{2k}}{[n]_{p,q}^{2}} \frac{1}{p+q} \\& \hphantom{\int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}t^{2}d_{p,q}t ={}}{} +\frac{q^{3k}}{[n]_{p,q}^{3}}\frac{1}{p^{2}+pq+q^{2}}. \end{aligned}$$
(2.5)
Proof
The proof easily follows from (2.1). □
Lemma 2
For
\(x\in{}[0,\infty)\), \(0< q< p\leq1\), \(n\in \mathbb{N}\), the following hold:
where
\(e_{i} ( x ) =x^{i}\), \(i=0,1,2\).
$$\begin{aligned}& B_{n,p,q}^{\ast} ( e_{0};x ) =1, \end{aligned}$$
(2.6)
$$\begin{aligned}& B_{n,p,q}^{\ast} ( e_{1};x ) =px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}, \end{aligned}$$
(2.7)
$$\begin{aligned}& B_{n,p,q}^{\ast} ( e_{2};x ) = \biggl( p^{2}x^{2}+\frac {p^{n+1}x}{[n]_{p,q}} \biggl( 1+\frac{p}{q}x \biggr) \biggr) \\& \hphantom{B_{n,p,q}^{\ast} ( e_{2};x ) ={}}{} +\frac{2qp^{n}x}{ ( p+q ) [n]_{p,q}^{2}}+\frac {q^{2}p^{2n-2}}{ ( p^{2}+pq+q^{2} ) [n]_{p,q}^{2}}, \end{aligned}$$
(2.8)
Proof
By the definition of the operators (2.2) and equality (2.3) we obtain \(B_{n,p,q}^{\ast} ( e_{0};x ) =B_{n,p,q} ( 1;x ) =1\). In a similar way, using (2.4) we can write Using the equalities \(B_{n,p,q} ( e_{0};x ) =1\), \(B_{n,p,q} ( e_{1};x ) =x\) we immediately have Finally, using (2.5) we have And the equalities (1.4) give us which completes the proof. □
$$\begin{aligned} B_{n,p,q}^{\ast} ( e_{1};x ) =&[n]_{p,q}\sum _{k=0}^{\infty }b_{n,k}^{p,q}(x)q^{-k} \int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}} \biggl( \frac{p^{n-1}t}{q^{k-1}} \biggr) \, d_{p,q}t \\ =&[n]_{p,q}\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x) \frac{p^{n-1}}{q^{k-1}}q^{-k} \int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}t\, d_{p,q}t \\ =&[n]_{p,q}\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x) \frac {p^{n-1}}{q^{k-1}}q^{-k}\frac{pq^{k}[k]_{p,q}}{[n]_{p,q}^{2}} \\ &{}+[n]_{p,q}\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x) \frac {p^{n-1}}{q^{k-1}}q^{-k}\frac{q^{2k}}{[n]_{p,q}^{2}}\frac{1}{ ( p+q ) } \\ =&p\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x) \frac{p^{n-1}}{q^{k-1}}\frac{[k]_{p,q}}{[n]_{p,q}} \\ &{}+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}\sum_{k=0}^{\infty }b_{n,k}^{p,q}(x) \\ =&pB_{n,p,q} ( e_{1};x ) +\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}B_{n,p,q} ( e_{0};x ) . \end{aligned}$$
$$ B_{n,p,q}^{\ast} ( e_{1};x ) =px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}. $$
$$\begin{aligned} B_{n,p,q}^{\ast} ( e_{2};x ) =&[n]_{p,q}\sum _{k=0}^{\infty }b_{n,k}^{p,q}(x) \frac{p^{2n-2}}{q^{2k-2}}q^{-k}\int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}t^{2} \, d_{p,q}t \\ =&[n]_{p,q}\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x) \frac {p^{2n-2}}{q^{2k-2}}q^{-k} \int _{p[k]_{p,q}/[n]_{p,q}}^{[k+1]_{p,q}/[n]_{p,q}}t^{2}\, d_{p,q}t \\ =&p^{2}\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x) \frac {p^{2n-2}}{q^{2k-2}}\frac{[k]_{p,q}^{2}}{[n]_{p,q}^{2}} \\ &{}+\frac{2qp^{n}}{ ( p+q ) [n]_{p,q}^{2}}\sum_{k=0}^{\infty }b_{n,k}^{p,q}(x) \frac{p^{n-1}}{q^{k-1}}\frac{[k]_{p,q}}{[n]_{p,q}} \\ &{}+\frac{q^{2}p^{2n-2}}{ ( p^{2}+pq+q^{2} ) [n]_{p,q}^{2}}\sum_{k=0}^{\infty}b_{n,k}^{p,q}(x) \\ =&p^{2}B_{n,p,q} ( e_{2};x ) +\frac{2qp^{n}}{ ( p+q ) [n]_{p,q}^{2}}B_{n,p,q} ( e_{1};x ) \\ &{}+\frac{q^{2}p^{2n-2}}{ ( p^{2}+pq+q^{2} ) [n]_{p,q}^{2}}B_{n,p,q} ( e_{0};x ) . \end{aligned}$$
$$ B_{n,p,q}^{\ast} ( e_{2};x ) = \biggl( p^{2}x^{2}+\frac {p^{n+1}x}{[n]_{p,q}} \biggl( 1+\frac{p}{q}x \biggr) \biggr) +\frac{2qp^{n}x}{ ( p+q ) [n]_{p,q}^{2}}+\frac{q^{2}p^{2n-2}}{ ( p^{2}+pq+q^{2} ) [n]_{p,q}^{2}}, $$
Remark 1
Using Lemma 2, we get where Further, choosing we can write
$$ B_{n,p,q}^{\ast} \bigl( ( e_{1}-x ) ^{2};x \bigr) =\alpha _{1} ( n ) x^{2}+\alpha_{2} ( n ) x+ \alpha_{3} ( n ) , $$
$$\begin{aligned}& \alpha_{1} ( n ) = ( p-1 ) ^{2}+\frac{p^{n+2}}{q[n]_{p,q}}, \\& \alpha_{2} ( n ) = \frac{p^{n+1} ( p[n]_{p,q}+1 ) }{ q[n]_{p,q}^{2}}, \\& \alpha_{3} ( n ) = \frac{p^{2n}}{3q^{2}[n]_{p,q}^{2}}. \end{aligned}$$
$$ \alpha^{\ast} ( n ) :=\max \biggl\{ \alpha_{1} ( n ) ,\frac{\alpha_{2} ( n ) }{2},\alpha_{3} ( n ) \biggr\} $$
(2.9)
$$ B_{n,p,q}^{\ast} \bigl( ( e_{1}-x ) ^{2};x \bigr) \leq\alpha ^{\ast} ( n ) ( 1+x ) ^{2}. $$
Remark 2
For \(q\in ( 0,1 ) \) and \(p\in ( q,1 ] \) we easily see that \(\lim_{n\rightarrow\infty} [ n ] _{p,q}=1/ ( p-q ) \). Hence, the operators (2.2) are not approximation processes with the above form. In order to study the convergence properties of the sequence of \((p,q)\)-Baskakov-Durrmeyer operators, we assume that \(q= ( q_{n} ) \) and \(p= ( p_{n} ) \) such that \(0< q_{n}< p_{n}\leq1\) and \(q_{n}\rightarrow1\), \(p_{n}\rightarrow1\), \(q_{n}^{n}\rightarrow a\), \(p_{n}^{n}\rightarrow b\) as \(n\rightarrow\infty\).
Here we note that with these assumptions \(\alpha_{1} ( n ) \rightarrow0\), \(\alpha_{2} ( n ) \rightarrow0\), \(\alpha_{3} ( n ) \rightarrow0\) as \(n\rightarrow\infty\), hence \(\alpha^{\ast } ( n ) \rightarrow0\) as \(n\rightarrow\infty\).
Let \(C_{B} [ 0,\infty ) \) denote the space of all real valued continuous and bounded functions on \([ 0,\infty ) \). In this space we consider the norm
$$ \Vert f\Vert _{C_{B}}=\sup_{x\in [ 0,\infty ) }\bigl\vert f ( x ) \bigr\vert . $$
Lemma 3
Let
\(f\in C_{B} [ 0,\infty ) \). Then for all
\(g\in C_{B}^{2} [ 0,\infty ) \), we have
where
\(\tilde{B}_{n,p,q}^{\ast}\)
is an auxiliary operator defined by
and
$$ \bigl\vert \tilde{B}_{n,p,q}^{\ast} ( g;x ) -g ( x ) \bigr\vert \leq\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}} \bigl( \gamma^{\ast} ( n ) ( 1+x ) ^{2}+\beta _{n}^{2} ( p,q,x ) \bigr) , $$
(2.10)
$$ \tilde{B}_{n,p,q}^{\ast} ( g;x ) =B_{n,p,q}^{\ast} ( g;x ) +g ( x ) -g \biggl( px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}} \biggr) $$
(2.11)
$$ \beta_{n} ( p,q,x ) = ( p-1 ) x+\frac {p^{n-1}}{2[n]_{p,q}}. $$
Proof
By the definition of \(\tilde{B}_{n,p,q}^{\ast}\) and Lemma 2, it is obvious that Since \(g\in C_{B}^{2} [ 0,\infty ) \), using the Taylor expansion for \(x\in [ 0,\infty ) \) we have Applying the operators \(\tilde{B}_{n,p,q}^{\ast}\) to both sides of the above equality and considering the fact (2.12) we obtain Also we get and
$$ \tilde{B}_{n,p,q}^{\ast} ( e_{1}-x;x ) =0. $$
(2.12)
$$ g ( t ) =g ( x ) +g ( x ) ( t-x ) + \int _{x}^{t} ( t-u ) g^{\prime\prime} ( u )\, du. $$
$$\begin{aligned} \begin{aligned}[b] &\tilde{B}_{n,p,q}^{\ast} ( g;x ) -g ( x ) \\ &\quad =\tilde{B}_{n,p,q}^{\ast} \biggl( \int _{x}^{t} ( t-u ) g^{\prime\prime} ( u )\, du;x \biggr) =B_{n,p,q}^{\ast} \biggl( \int _{x}^{t} ( t-u ) g^{\prime\prime} ( u ) \, du;x \biggr) \\ &\qquad {}- \int _{x}^{px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}} \biggl( px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}-u \biggr) g^{\prime \prime } ( u )\, du. \end{aligned} \end{aligned}$$
(2.13)
$$\begin{aligned} \biggl\vert \int _{x}^{t} ( t-u ) g^{\prime\prime} ( u )\, du \biggr\vert \leq&\biggl\vert \int _{x}^{t}\vert t-u\vert \bigl\vert g^{\prime\prime} ( u ) \bigr\vert \, du\biggr\vert \\ \leq&\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}}\biggl\vert \int _{x}^{t}\vert t-u\vert \, du\biggr\vert \leq\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}} ( t-x ) ^{2} \end{aligned}$$
(2.14)
$$\begin{aligned}& \biggl\vert \int _{x}^{px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}} \biggl( px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}-u \biggr) g^{\prime\prime} ( u )\, du\biggr\vert \\& \quad \leq \biggl( px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}-x \biggr) ^{2}\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}}= \biggl( ( p-1 ) x+ \frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}} \biggr) ^{2}\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}} \\& \quad \leq \biggl( ( p-1 ) x+\frac{p^{n-1}}{2[n]_{p,q}} \biggr) ^{2}\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}} \\& \quad :=\beta_{n}^{2} ( p,q,x ) \bigl\Vert g^{\prime\prime }\bigr\Vert _{C_{B}}. \end{aligned}$$
(2.15)
3 Local approximation
Let us consider the following \(\mathcal{K}\) functional: where \(\delta>0\) and \(W^{2}= \{ g\in C_{B} [ 0,\infty ) :g^{\prime},g^{\prime\prime}\in C_{B} [ 0,\infty ) \} \). By [20], p.177, Theorem 2.4, there exists an absolute constant \(C>0\) such that where is the second order modulus of smoothness of \(f\in C_{B} [ 0,\infty ) \). The usual modulus of continuity of \(f\in C_{B} [ 0,\infty ) \) is defined by Let us recall the definitions of the weighted spaces and corresponding modulus of continuity. Let \(C [ 0,\infty ) \) be the set of all continuous functions f defined on \([ 0,\infty ) \) and \(B_{2} [ 0,\infty ) \) the set of all functions f defined on \([ 0,\infty ) \) satisfying the condition \(\vert f ( x ) \vert \leq M ( 1+x^{2} ) \) with some positive constant M which may depend only on f. \(C_{2} [ 0,\infty ) \) denotes the subspace of all continuous functions in \(B_{2} [ 0,\infty ) \). By \(C_{2}^{\ast} [ 0,\infty ) \), we denote the subspace of all functions \(f\in C_{2} [ 0,\infty ) \) for which \(\lim_{x\rightarrow \infty}\frac{f ( x ) }{1+x^{2}}\) is finite. \(B_{2} [ 0,\infty ) \) is a linear normed space with the norm \(\Vert f\Vert _{2}=\sup_{x\geq0}\frac{\vert f ( x ) \vert }{1+x^{2}}\).
$$ \mathcal{K}_{2} ( f,\delta ) =\inf_{g\in W^{2}} \bigl\{ \Vert f-g\Vert _{C_{B}}+\delta\bigl\Vert g^{\prime\prime }\bigr\Vert _{C_{B}} \bigr\} , $$
$$ \mathcal{K}_{2} ( f,\delta ) \leq C\omega_{2} ( f, \sqrt{\delta} ) , $$
(3.1)
$$ \omega_{2} ( f,\delta ) =\sup_{0< h\leq\sqrt{\delta}}\sup _{x\in [ 0,\infty ) }\bigl\vert f ( x+2h ) -2f ( x+h ) +f ( x ) \bigr\vert $$
$$ \omega ( f,\delta ) =\sup_{0< h\leq\delta}\sup_{x\in [ 0,\infty ) } \bigl\vert f ( x+h ) -f ( x ) \bigr\vert . $$
Theorem 1
Let
\(f\in C_{B} [ 0,\infty ) \). Then for every
\(x\in [ 0,\infty ) \), there exists a constant
\(L>0\)
such that
$$ \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq L\omega_{2} \Bigl( f;\sqrt{\alpha^{\ast} ( n ) ( 1+x ) ^{2}+\beta_{n}^{2} ( p,q,x ) } \Bigr) +\omega \bigl( f;\beta_{n} ( p,q,x ) \bigr) . $$
Proof
By (2.11), for every \(g\in C_{B}^{2} [ 0,\infty ) \) one can obtain Taking into account (2.2), (2.6), and (2.11) we have Using this inequality and Lemma 3 we get and taking the infimum on the right-hand side over all \(g\in C_{B}^{2} [ 0,\infty ) \) and using (3.1), we deduce where \(L=4M>0\). □
$$\begin{aligned}& \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \\& \quad \leq \bigl\vert \tilde{B}_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert +\biggl\vert f ( x ) -f \biggl( px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}} \biggr) \biggr\vert \\& \quad \leq \bigl\vert \tilde{B}_{n,p,q}^{\ast} ( f-g;x ) - ( f-g ) ( x ) \bigr\vert \\& \qquad {} +\biggl\vert f ( x ) -f \biggl( px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}} \biggr) \biggr\vert +\bigl\vert \tilde{B}_{n,p,q}^{\ast} ( g;x ) -g ( x ) \bigr\vert . \end{aligned}$$
$$ \bigl\vert \tilde{B}_{n,p,q}^{\ast} ( f;x ) \bigr\vert \leq 4 \Vert f\Vert _{C_{B}}. $$
$$\begin{aligned} \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq&4\Vert f-g\Vert _{C_{B}}+\biggl\vert f ( x ) -f \biggl( px+ \frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}} \biggr) \biggr\vert \\ &{}+\bigl\Vert g^{\prime\prime}\bigr\Vert _{C_{B}} \bigl( \alpha ^{\ast } ( n ) ( 1+x ) ^{2}+\beta_{n}^{2} ( p,q,x ) \bigr) \end{aligned}$$
$$\begin{aligned}& \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \\& \quad \leq 4K_{2} \bigl( f;\alpha^{\ast} ( n ) ( 1+x ) ^{2}+\beta_{n}^{2} ( p,q,x ) \bigr) +\omega \bigl( f;\beta _{n} ( p,q,x ) \bigr) \\& \quad \leq 4\omega_{2} \Bigl( f;\sqrt{\alpha^{\ast} ( n ) ( 1+x ) ^{2}+\beta_{n}^{2} ( p,q,x ) } \Bigr) + \omega \bigl( f;\beta_{n} ( p,q,x ) \bigr) \\& \quad = L\omega_{2} \Bigl( f;\sqrt{\alpha^{\ast} ( n ) ( 1+x ) ^{2}+\beta_{n}^{2} ( p,q,x ) } \Bigr) + \omega \bigl( f;\beta_{n} ( p,q,x ) \bigr) , \end{aligned}$$
Theorem 2
Let
\(f\in C_{2} [ 0,\infty ) \), \(p_{n},q_{n}\in ( 0,1 ) \)
such that
\(0< q_{n}< p_{n}\leq1\)
and
\(\omega_{a+1} ( f,\delta ) \)
be its modulus of continuity on the finite interval
\([ 0,a+1 ] \subset [ 0,\infty ) \), where
\(a>0\). Then the inequality
holds, where
\(M_{f}\)
is positive constant independent of
n
and
\(\alpha ^{\ast} ( n ) \)
is as indicated in (2.9).
$$ \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq4M_{f} \bigl( 1+a^{2} \bigr) \gamma^{\ast} ( n ) ( 1+x ) ^{2}+2\omega_{a+1} \bigl( f, ( 1+x ) \sqrt{\alpha ^{\ast } ( n ) } \bigr) $$
Proof
By [21], \(\omega_{a+1} ( \cdot,\delta ) \) has the property Applying the Cauchy-Schwarz inequality and choosing \(\delta=\sqrt {\alpha^{\ast } ( n ) ( 1+x ) ^{2}}\), we have which completes the proof. □
$$ \bigl\vert f ( t ) -f ( x ) \bigr\vert \leq 4M_{f} \bigl( 1+a^{2} \bigr) ( t-x ) ^{2}+ \biggl( 1+\frac{ \vert t-x\vert }{\delta} \biggr) \omega_{a+1} ( f,\delta ) , \quad \delta>0. $$
$$\begin{aligned}& \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \\& \quad \leq 4M_{f} \bigl( 1+a^{2} \bigr) B_{n,p,q}^{\ast} \bigl( ( t-x ) ^{2};x \bigr) \\& \qquad {} +\omega_{a+1} ( f,\delta ) \biggl( 1+\frac{1}{\delta} \bigl( B_{n,p,q}^{\ast} \bigl( ( t-x ) ^{2};x \bigr) \bigr) ^{1/2} \biggr) \\& \quad \leq 4M_{f} \bigl( 1+a^{2} \bigr) \alpha^{\ast} ( n ) ( 1+x ) ^{2}+2\omega_{a+1} \bigl( f, ( 1+x ) \sqrt{\alpha ^{\ast } ( n ) } \bigr) , \end{aligned}$$
4 Weighted approximation
Theorem 3
Let
\(q=q_{n}\in ( 0,1 ) \), \(p=p_{n}\in ( q,1 ] \)
such that
\(q_{n}\rightarrow1\), \(p_{n}\rightarrow1\)
as
\(n\rightarrow\infty\). Then for each function
\(f\in C_{2}^{\ast} [ 0,\infty ) \)
we get
$$ \lim_{n\rightarrow\infty}\bigl\Vert B_{n,p_{n},q_{n}}^{\ast }f-f\bigr\Vert _{2}=0. $$
Proof
According to the weighted Korovkin theorem proved in [22], it is sufficient to verify the following three conditions: By (2.6), (4.1) holds for \(i=0\). By (2.7) and (2.8) we have and by a similar consideration we have The last two inequalities mean that (4.1) holds for \(i=1,2\). Hence, the proof is completed. □
$$ \lim_{n\rightarrow\infty}\bigl\Vert B_{n,p_{n},q_{n}}^{\ast }e_{i}-e_{i} \bigr\Vert _{2}=0,\quad i=0,1,2. $$
(4.1)
$$\begin{aligned} \bigl\Vert B_{n,p_{n},q_{n}}^{\ast}e_{1}-e_{1} \bigr\Vert _{2} =&\sup_{x\geq0}\frac{\beta_{n} ( p_{n},q_{n},x ) }{1+x^{2}} \\ \leq& ( 1-p_{n} ) \sup_{x\geq0}\frac{x}{1+x^{2}}+ \frac{qp_{n}^{n-1}}{ ( p_{n}+q ) [n]_{p,q}} \\ \leq& ( 1-p_{n} ) +\frac{p_{n}^{n-1}}{2[n]_{p,q}} \end{aligned}$$
$$\begin{aligned} \bigl\Vert B_{n,p_{n},q_{n}}^{\ast}e_{2}-e_{2}\bigr\Vert _{2} \leq & \biggl( 1-p_{n}^{2}+ \frac{p_{n}^{n+2}}{q_{n}[n]_{p_{n},q_{n}}} \biggr) \sup_{x\geq0}\frac{x^{2}}{1+x^{2}} \\ &{}+ \biggl( \frac{2q_{n}p_{n}^{n}}{ ( p_{n}+q_{n} ) [n]_{p_{n},q_{n}}^{2}}+\frac{p_{n}^{n+1}}{[n]_{p_{n},q_{n}}} \biggr) \sup _{x\geq0}\frac{x}{1+x^{2}} \\ &{}+\frac{q_{n}^{2}p_{n}^{2n-2}}{ ( p_{n}^{2}+p_{n}q_{n}+q_{n}^{2} ) [n]_{p_{n},q_{n}}^{2}}\sup_{x\geq0}\frac{1}{1+x^{2}} \\ \leq& \biggl( 1-p_{n}^{2}+\frac {p_{n}^{n+2}}{q_{n}[n]_{p_{n},q_{n}}} \biggr) + \biggl( \frac{p_{n}^{n}}{[n]_{p_{n},q_{n}}^{2}}+\frac{p_{n}^{n+1}}{[n]_{p_{n},q_{n}}} \biggr) +\frac{p_{n}^{2n-2}}{3[n]_{p_{n},q_{n}}^{2}}. \end{aligned}$$
To obtain the rate of convergence, we consider the weighted modulus of continuity defined by for \(f\in C_{x^{2}}^{\ast} [ 0,\infty ) \), and \(\Omega _{2} (\cdot;\cdot ) \) has the following properties.
$$ \Omega_{2} ( f;\delta ) =\sup_{x\geq0,0< h\leq\delta} \frac{ \vert f ( x+h ) -f ( x ) \vert }{1+ ( x+h ) ^{2}} $$
Lemma 4
([23])
If
\(f\in C_{x^{2}}^{\ast} [ 0, \infty ) \)
then
(i)
\(\Omega_{2} ( f;\delta ) \)
is monotone increasing function of
δ,
(ii)
\(\lim_{\delta\rightarrow0^{+}}\Omega_{2} ( f;\delta ) =0\),
(iii)
for any
\(\lambda\in [ 0,\infty ) \), \(\Omega_{2} ( f;\lambda\delta ) \leq ( 1+\lambda ) \Omega _{2} ( f;\delta ) \).
Theorem 4
Let
\(p=p_{n}\)
and
\(q=q_{n}\)
satisfy
\(0< q_{n}< p_{n}\leq1\)
and for
n
sufficiently large
\(p_{n}\rightarrow 1\), \(q_{n}\rightarrow1\), and
\(q_{n}^{n}\rightarrow1\)
and
\(p_{n}^{n}\rightarrow 1\). If
\(f\in C_{x^{2}}^{\ast} [ 0,\infty ) \), then for sufficiently large
n
we have
where
\(\lambda\geq1\)
and
K
is a positive constant independent of
f
and
n, \(\alpha^{\ast} ( n ) \)
is as indicated in (2.9).
$$ \bigl\vert B_{n,p_{n},q_{n}}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq K \bigl( 1+x^{2+\lambda} \bigr) \Omega_{2} \bigl( f; \sqrt{\alpha^{\ast} ( n ) } \bigr) , $$
(4.2)
Proof
By the definition of the weighted modulus of continuity and Lemma 4, we can write The above inequality allows us to write Using the Cauchy-Schwarz inequality we have On the other hand, by (2.8) we get for sufficiently large n, where \(K_{1}\) is a positive constant. From (4.3), there exists \(K_{2}>0\) such that \(B_{n,p_{n},q_{n}}^{\ast } ( 1+ ( 2x+t ) ^{2};x ) \leq K_{2} ( 1+x^{2} ) \), for sufficiently large n. In a similar way we get where \(K_{3}\) is a positive constant. Hence we have \(\sqrt{B_{n,p_{n},q_{n}}^{\ast} ( ( 1+ ( 2x+t ) ^{2} ) ^{2};x ) }\leq K_{4} ( 1+x^{2} ) \), for sufficiently large n. Hence we have Hence choosing \(\delta_{n}=\sqrt{\alpha^{\ast} ( n ) }\) we have for sufficiently large n and \(x\in [ 0,\infty ) \), where \(K:=K_{2}+K_{4}\). □
$$\begin{aligned} \bigl\vert f ( t ) -f ( x ) \bigr\vert \leq& \bigl( 1+ \bigl( x+\vert t-x \vert \bigr) ^{2} \bigr) \biggl( 1+\frac{\vert t-x\vert }{\delta} \biggr) \Omega_{2} ( f;\delta ) \\ \leq& \bigl( 1+ ( 2x+t ) ^{2} \bigr) \biggl( 1+\frac{ \vert t-x\vert }{\delta} \biggr) \Omega_{2} ( f;\delta ) . \end{aligned}$$
$$\begin{aligned} \bigl\vert B_{n,p_{n},q_{n}}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq& \biggl( B_{n,p_{n},q_{n}}^{\ast} \bigl( 1+ ( 2x+t ) ^{2};x \bigr) +B_{n,p_{n},q_{n}}^{\ast} \biggl( \bigl( 1+ ( 2x+t ) ^{2} \bigr) \frac{\vert t-x\vert }{\delta};x \biggr) \biggr) \\ &{}\times\Omega_{2} ( f;\delta ) . \end{aligned}$$
$$\begin{aligned} \bigl\vert B_{n,p_{n},q_{n}}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq&\biggl( B_{n,p_{n},q_{n}}^{\ast} \bigl( 1+ ( 2x+t ) ^{2};x \bigr) +\frac{1}{\delta_{n}}\sqrt {B_{n,p_{n},q_{n}}^{\ast} \bigl( \bigl( 1+ ( 2x+t ) ^{2} \bigr) ^{2};x \bigr)} \\ &{}\times\sqrt{B_{n,p_{n},q_{n}}^{\ast} \bigl( ( t-x ) ^{2};x \bigr) }\biggr) \Omega_{2} ( f;\delta ) . \end{aligned}$$
$$\begin{aligned}& \frac{1}{1+x^{2}}B_{n,p_{n},q_{n}}^{\ast} \bigl( 1+t^{2};x \bigr) \\& \quad = \biggl( p_{n}^{2}+\frac{p_{n}^{n+2}}{q_{n}[n]_{p_{n},q_{n}}} \biggr) \frac{x^{2}}{1+x^{2}} \\& \qquad {}+ \biggl( \frac{2q_{n}p_{n}^{n}}{ ( p_{n}+q_{n} ) [n]_{p_{n},q_{n}}^{2}}+\frac{p_{n}^{n+1}}{[n]_{p_{n},q_{n}}} \biggr) \frac{x}{1+x^{2}} \\& \qquad {}+ \biggl( \frac{q_{n}^{2}p_{n}^{2n-2}+ ( p_{n}^{2}+p_{n}q_{n}+q_{n}^{2} ) [n]_{p_{n},q_{n}}^{2}}{ ( p_{n}^{2}+p_{n}q_{n}+q_{n}^{2} ) [n]_{p_{n},q_{n}}^{2}} \biggr) \frac{1}{1+x^{2}} \\& \quad \leq1+K_{1} \end{aligned}$$
(4.3)
$$ \frac{1}{1+x^{4}}B_{n,p_{n},q_{n}}^{\ast} \bigl( 1+t^{4};x \bigr) \leq 1+K_{3}, $$
$$ \bigl\vert B_{n,p_{n},q_{n}}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq \bigl( 1+x^{2} \bigr) \biggl( K_{2}+\frac{1}{\delta _{n}}K_{4} ( 1+x ) \sqrt{\alpha^{\ast} ( n ) } \biggr) \Omega _{2} ( f; \delta ) . $$
$$\begin{aligned} \bigl\vert B_{n,p_{n},q_{n}}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq& \bigl( 1+x^{2} \bigr) \bigl( K_{2}+K_{4} ( 1+x ) \bigr) \Omega_{2} \bigl( f;\sqrt{\alpha^{\ast} ( n ) } \bigr) \\ \leq&K \bigl( 1+x^{2+\lambda} \bigr) \Omega_{2} \bigl( f;\sqrt{ \alpha ^{\ast} ( n ) } \bigr) \end{aligned}$$
5 Pointwise estimates
Theorem 5
Let
\(0<\alpha\leq1\)
and
E
be any subset of the interval
\([ 0,\infty ) \). Then, if
\(f\in C_{B} [ 0,\infty ) \)
is locally in
\(\operatorname{Lip} ( \alpha ) \), i.e., the condition
holds, then, for each
\(x\in [ 0,\infty ) \), we have
where
L
is a constant depending on
α
and
f; and
\(d ( x,E ) \)
is the distance between
x
and
E
defined by
$$ \bigl\vert f ( y ) -f ( x ) \bigr\vert \leq L \vert y-x\vert ^{\alpha},\quad y\in E\textit{ and }x\in [ 0,\infty ) $$
(5.1)
$$ \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq L \bigl\{ \bigl( \alpha^{\ast} ( n ) \bigr) ^{\alpha /2} ( 1+x ) ^{\alpha}+2 \bigl( d ( x,E ) \bigr) ^{\alpha } \bigr\} , $$
$$ d ( x,E ) =\inf \bigl\{ \vert t-x\vert :t\in E \bigr\} . $$
Proof
Let Ē denote the closure of E in \([ 0,\infty ) \). Then there exists a point \(x_{0}\in\bar{E}\) such that \(\vert x-x_{0}\vert =d ( x,E ) \). Using the triangle inequality we immediately have by (5.1) Using the Hölder inequality with \(p=2/\alpha\), \(q=2/ ( 2-\alpha ) \), we obtain □
$$ \bigl\vert f ( t ) -f ( x ) \bigr\vert \leq \bigl\vert f ( t ) -f ( x_{0} ) \bigr\vert +\bigl\vert f ( x ) -f ( x_{0} ) \bigr\vert $$
$$\begin{aligned} \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq&B_{n,p,q}^{\ast} \bigl( \bigl\vert f ( t ) -f ( x_{0} ) \bigr\vert ;x \bigr) +B_{n,p,q}^{\ast} \bigl( \bigl\vert f ( x ) -f ( x_{0} ) \bigr\vert ;x \bigr) \\ \leq&L \bigl\{ B_{n,p,q}^{\ast} \bigl( \vert t-x_{0} \vert ^{\alpha};x \bigr) +\vert x-x_{0}\vert ^{\alpha} \bigr\} \\ \leq&L \bigl\{ B_{n,p,q}^{\ast} \bigl( \vert t-x\vert ^{\alpha}+\vert x-x_{0}\vert ^{\alpha};x \bigr) + \vert x-x_{0}\vert ^{\alpha} \bigr\} \\ =&L \bigl\{ B_{n,p,q}^{\ast} \bigl( \vert t-x\vert ^{\alpha };x \bigr) +2\vert x-x_{0}\vert ^{\alpha} \bigr\} . \end{aligned}$$
$$\begin{aligned} \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq&L \bigl\{ \bigl[ B_{n,p,q}^{\ast} \bigl( \vert t-x\vert ^{\alpha p};x \bigr) \bigr] ^{\frac{1}{p}}+2 \bigl( d ( x,E ) \bigr) ^{\alpha} \bigr\} \\ =&L \bigl\{ \bigl[ B_{n,p,q}^{\ast} \bigl( \vert t-x\vert ^{2};x \bigr) \bigr] ^{\frac{\alpha}{2}}+2 \bigl( d ( x,E ) \bigr) ^{\alpha} \bigr\} \\ \leq&L \bigl\{ \bigl( \alpha^{\ast} ( n ) ( 1+x ) ^{2} \bigr) ^{\frac{\alpha}{2}}+2 \bigl( d ( x,E ) \bigr) ^{\alpha } \bigr\} \\ =&L \bigl\{ \bigl( \alpha^{\ast} ( n ) \bigr) ^{\alpha /2} ( 1+x ) ^{\alpha}+2 \bigl( d ( x,E ) \bigr) ^{\alpha } \bigr\} . \end{aligned}$$
Next we obtain the local direct estimate for the operators \(B_{n,p,q}^{\ast } \), using the Lipschitz type maximal function of order α introduced by Lenze [24]:
$$ \tilde{\omega}_{a} ( f,x ) =\sup_{t\neq x,t\in [ 0,\infty ) } \frac{\vert f ( t ) -f ( x ) \vert }{\vert t-x\vert ^{\alpha}},\quad x\in [ 0,\infty ) \text{ and }\alpha\in ( 0,1 ] . $$
(5.2)
Theorem 6
Let
\(f\in C_{B} [ 0,\infty ) \)
and
\(0<\alpha\leq1\). Then, for all
\(x\in [ 0,\infty ) \)
we have
$$ \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq \tilde{\omega}_{a} ( f,x ) \bigl( \alpha^{\ast } ( n ) \bigr) ^{\alpha/2} ( 1+x ) ^{\alpha}. $$
Proof
From equation (5.2), we have Applying the Hölder inequality with \(p=2/\alpha\), \(q=2/ ( 2-\alpha ) \), we get □
$$ \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq \tilde{\omega}_{a} ( f,x ) B_{n,p,q}^{\ast} \bigl( \vert t-x\vert ^{\alpha};x \bigr) . $$
$$\begin{aligned} \bigl\vert B_{n,p,q}^{\ast} ( f;x ) -f ( x ) \bigr\vert \leq&\tilde{\omega}_{a} ( f,x ) \bigl[ B_{n,p,q}^{\ast } \bigl( \vert t-x\vert ^{2};x \bigr) \bigr] ^{\frac {\alpha}{2}} \\ \leq&\tilde{\omega}_{a} ( f,x ) \bigl( \alpha^{\ast} ( n ) \bigr) ^{\alpha/2} ( 1+x ) ^{\alpha}. \end{aligned}$$
Remark 3
Conclusion 1
To introduce Kantorovich modifications of the approximation operators in \(( p,q ) \)-calculus, the existing \(( p,q ) \)-integral did not meet the purposes since the positivity of the operators was not guaranteed. In this paper, we solved this problem and presented a new Riemann type \(( p,q ) \)-integral. As an application, we introduced the \(( p,q ) \)-Baskakov-Kantorovich operators and investigated their approximation properties. Using the new \(( p,q ) \)-integral, one can introduce Kantorovich modifications of other well-known operators.
Acknowledgements
This article was funded by the Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah. The authors, therefore, acknowledge with thanks DSR for technical and financial support.
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.