On Kantorovich modification of $( p,q )$-Baskakov operators

Abstract

The concern of this paper is to introduce a Kantorovich modification of $( p,q )$-Baskakov operators and investigate their approximation behaviors. We first define a new $( p,q )$-integral and construct the operators. The rate of convergence in terms of modulus of continuities, quantitative and qualitative results in weighted spaces, and finally pointwise convergence of the operators for the functions belonging to the Lipschitz class are discussed.

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

$$ [ n ] _{p,q}=\frac{p^{n}-q^{n}}{p-q}. $$

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

$$\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}$$

The $(p,q)$-power basis is defined by

$$ (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) $$

and

$$ (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). $$

Let $f:\mathbb{R\rightarrow R}$ then the $(p,q)$-derivative of a function f, denoted by $D_{p,q}f$, is defined by

$$ ( 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 ) $$

provided that f is differentiable at 0. The following assertions hold true:

$$\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}$$

and $D_{p,q}(x\oplus a)_{p,q}^{0}=0$. The formula for the $(p,q)$-derivative of a product is

$$ 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 ) . $$

Let $f:C [ 0,a ] \rightarrow \mathbb{R}$ ($a>0$) then the $(p,q)$-integration of a function f is defined by

$$ \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)

The formula of the $(p,q)$-integration by parts is given by

$$ \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)

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].

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

$$ 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)

where $x\in{}[0,\infty)$, $0< q< p\leq1$, and

$$ 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}}, $$

and they calculated that

$$ 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)

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:

$$ \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)

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].

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

$$ \frac{H ( px ) -H ( qx ) }{ ( p-q ) x}=h ( x ) , $$

that is, $H ( px ) -H ( qx ) = ( p-q ) xh ( x )$. Hence we get

$$\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}$$

which allows us to write

$$\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}$$

Adding these formulas term by term, we have

$$ 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}} $$

and taking the limit as $n\rightarrow\infty$ with the fact $\vert \frac{p}{q}\vert <1$ we have

$$ 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}}. $$

Similarly we have, for $\vert \frac{q}{p}\vert <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}} $$

and if we take $x=b-a$ then we get

$$ 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)

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:

$$\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)

where $e_{i} ( x ) =x^{i}$, $i=0,1,2$.

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

$$\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}$$

Using the equalities $B_{n,p,q} ( e_{0};x ) =1$, $B_{n,p,q} ( e_{1};x ) =x$ we immediately have

$$ B_{n,p,q}^{\ast} ( e_{1};x ) =px+\frac{qp^{n-1}}{ ( p+q ) [n]_{p,q}}. $$

Finally, using (2.5) we have

$$\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}$$

And the equalities (1.4) give us

$$ 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}}, $$

which completes the proof. □

Remark 1

Using Lemma 2, we get

$$ B_{n,p,q}^{\ast} \bigl( ( e_{1}-x ) ^{2};x \bigr) =\alpha _{1} ( n ) x^{2}+\alpha_{2} ( n ) x+ \alpha_{3} ( n ) , $$

where

$$\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}$$

Further, choosing

$$ \alpha^{\ast} ( n ) :=\max \biggl\{ \alpha_{1} ( n ) ,\frac{\alpha_{2} ( n ) }{2},\alpha_{3} ( n ) \biggr\} $$

(2.9)

we can write

$$ 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

$$ \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)

where $\tilde{B}_{n,p,q}^{\ast}$ is an auxiliary operator defined by

$$ \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)

and

$$ \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

$$ \tilde{B}_{n,p,q}^{\ast} ( e_{1}-x;x ) =0. $$

(2.12)

Since $g\in C_{B}^{2} [ 0,\infty )$, using the Taylor expansion for $x\in [ 0,\infty )$ we have

$$ g ( t ) =g ( x ) +g ( x ) ( t-x ) + \int _{x}^{t} ( t-u ) g^{\prime\prime} ( u )\, du. $$

Applying the operators $\tilde{B}_{n,p,q}^{\ast}$ to both sides of the above equality and considering the fact (2.12) we obtain

$$\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)

Also we get

$$\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)

and

$$\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)

Using the inequalities (2.14) and (2.15) in (2.13) we immediately have

$$ \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( \alpha^{\ast} ( n ) ( 1+x ) ^{2}+\beta _{n}^{2} ( p,q,x ) \bigr) . $$

 □

3 Local approximation

Let us consider the following $\mathcal{K}$ functional:

$$ \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\} , $$

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

$$ \mathcal{K}_{2} ( f,\delta ) \leq C\omega_{2} ( f, \sqrt{\delta} ) , $$

(3.1)

where

$$ \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 $$

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

$$ \omega ( f,\delta ) =\sup_{0< h\leq\delta}\sup_{x\in [ 0,\infty ) } \bigl\vert f ( x+h ) -f ( x ) \bigr\vert . $$

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}}$.

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

$$\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}$$

Taking into account (2.2), (2.6), and (2.11) we have

$$ \bigl\vert \tilde{B}_{n,p,q}^{\ast} ( f;x ) \bigr\vert \leq 4 \Vert f\Vert _{C_{B}}. $$

Using this inequality and Lemma 3 we get

$$\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}$$

and taking the infimum on the right-hand side over all $g\in C_{B}^{2} [ 0,\infty )$ and using (3.1), we deduce

$$\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}$$

where $L=4M>0$. □

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

$$ \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) $$

holds, where $M_{f}$ is positive constant independent of n and $\alpha ^{\ast} ( n )$ is as indicated in (2.9).

Proof

By [21], $\omega_{a+1} ( \cdot,\delta )$ has the property

$$ \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. $$

Applying the Cauchy-Schwarz inequality and choosing $\delta=\sqrt {\alpha^{\ast } ( n ) ( 1+x ) ^{2}}$, we have

$$\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}$$

which completes the proof. □

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:

$$ \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)

By (2.6), (4.1) holds for $i=0$. By (2.7) and (2.8) we have

$$\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}$$

and by a similar consideration we have

$$\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}$$

The last two inequalities mean that (4.1) holds for $i=1,2$. Hence, the proof is completed. □

To obtain the rate of convergence, we consider the weighted modulus of continuity defined by

$$ \Omega_{2} ( f;\delta ) =\sup_{x\geq0,0< h\leq\delta} \frac{ \vert f ( x+h ) -f ( x ) \vert }{1+ ( x+h ) ^{2}} $$

for $f\in C_{x^{2}}^{\ast} [ 0,\infty )$, and $\Omega _{2} (\cdot;\cdot )$ has the following properties.

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

$$ \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)

where $\lambda\geq1$ and K is a positive constant independent of f and n, $\alpha^{\ast} ( n )$ is as indicated in (2.9).

Proof

By the definition of the weighted modulus of continuity and Lemma 4, we can write

$$\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}$$

The above inequality allows us to write

$$\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}$$

Using the Cauchy-Schwarz inequality we have

$$\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}$$

On the other hand, by (2.8) we get

$$\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)

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

$$ \frac{1}{1+x^{4}}B_{n,p_{n},q_{n}}^{\ast} \bigl( 1+t^{4};x \bigr) \leq 1+K_{3}, $$

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

$$ \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 ) . $$

Hence choosing $\delta_{n}=\sqrt{\alpha^{\ast} ( n ) }$ we have

$$\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}$$

for sufficiently large n and $x\in [ 0,\infty )$, where $K:=K_{2}+K_{4}$. □

Corollary 1

With the assumptions of Theorem  4, if we take the limit as $n\rightarrow\infty$ in (4.2) we have

$$ \lim_{n\rightarrow\infty}\underset{x\in [ 0, \infty ) }{\sup}\frac{\vert B_{n,p_{n},q_{n}}^{\ast} ( f,x ) -f ( x ) \vert }{ ( 1+x^{2} ) ^{1+\lambda}}=0. $$

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

$$ \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)

holds, then, for each $x\in [ 0,\infty )$, we have

$$ \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\} , $$

where L is a constant depending on α and f; and $d ( x,E )$ is the distance between x and E defined by

$$ 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

$$ \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 $$

we immediately have by (5.1)

$$\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}$$

Using the Hölder inequality with $p=2/\alpha$, $q=2/ ( 2-\alpha )$, we obtain

$$\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

$$ \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) . $$

Applying the Hölder inequality with $p=2/\alpha$, $q=2/ ( 2-\alpha )$, we get

$$\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

The further properties of the operators such as convergence properties via summability methods (see, for example, [25, 26]) can be studied.

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.