Next Article in Journal
Analysis and Consequences on Some Aggregation Functions of PRISM (Partial Risk Map) Risk Assessment Method
Next Article in Special Issue
Stancu-Type Generalized q-Bernstein–Kantorovich Operators Involving Bézier Bases
Previous Article in Journal
Statistical Analysis of the Lifetime Distribution with Bathtub-Shaped Hazard Function under Lagged-Effect Step-Stress Model
Previous Article in Special Issue
Semiclassical Approach to the Nonlocal Kinetic Model of Metal Vapor Active Media
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Approximation of GBS Type q-Jakimovski-Leviatan-Beta Integral Operators in Bögel Space

by
Abdullah Alotaibi
Operator Theory and Applications Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, Jeddah 21589, Saudi Arabia
Mathematics 2022, 10(5), 675; https://doi.org/10.3390/math10050675
Submission received: 25 January 2022 / Revised: 13 February 2022 / Accepted: 17 February 2022 / Published: 22 February 2022

Abstract

:
In the present article, we introduce the bivariate variant of Beta integral type operators based on Appell polynomials via q-calculus. We study the local and global type approximation properties for these new operators. Next, we introduce the GBS form for these new operators and then study the degree of approximation by means of modulus of smoothness, mixed modulus of smoothness and Lipschitz class of Bögel continuous functions.

1. Introduction and Preliminaries

In 1950, very famous mathematician, Szász, introduced the operators known as Szász positive linear operators [1]. Suppose v [ 0 , ) and the class of all continuous functions on [ 0 , ) is C [ 0 , ) , then, for all f C [ 0 , ) , the Szász operators are defined as:
S r ( f ; v ) = e r v k = 0 ( r v ) k k ! f k r .
Later, the development of Szász operators introduced by the identity of Appell polynomials [2] and an advance technique of Appell polynomials were been addressed by Jakimovski and Leviatan in 1969 [3] by:
X ( v ) e v x = k = 0 β k ( x ) v k ,
where β k ( x ) = i = 0 k α i x m i ( m i ) ! for m N and X ( v ) = k = 0 α k v k , X ( 1 ) 0 . Let E [ 0 , ) denote the set of functions defined by [ 0 , ) such that | f ( x ) | κ e γ x , where κ , γ are positive constants. For further development, we prefer to see the Jakimovski–Leviatan types and other related articles [4,5,6,7,8,9,10].
The family of q-Appell polynomials introduced by Al-Salam (see [11,12]) by using the generating functions X q ( t ) = m = 0 X m , q t m [ m ] q ! , X q ( 1 ) 0 , such that:
X m , q ( x ) = k = 0 m m k q A m k , q x k , ( m N ) ,
where the q-differential D q , x X m , q ( x ) = [ m ] q X m 1 , q ( x ) , m = 1 , 2 , and notice that D q , x X 1 , q ( x ) = [ 1 ] q X 0 , q ( x ) = X 0 , q , with X 0 , q is a positive constant. In addition, the generating function satisfies the equality X q ( t ) e q ( t x ) = m = 0 X m , q ( x ) t m [ m ] q ! , 0 < q < 1 . Here, we note some basic formulae of q-calculus, thus, the q-integer is given by:
[ η ] q = 1 q η 1 q , q 1 η , q = 1 f o r   η N a n d [ 0 ] q = 0 .
For | q | < 1 , the q-factorial η q ! is defined by:
η q ! = 1 , ( η = 0 ) k = 1 η k q , ( η N ) .
In the standard approach, the exponential functions for q-calculus:
e q ( x ) = k = 0 x k [ k ] q ! ,
E q ( x ) = k = 0 q k ( k 1 ) 2 x k [ k ] q ! ,
while the q-Jackson improper integral of the function f is given as:
0 / A f ( x ) d q x = ( 1 q ) m N f ( q m A ) q m A , A R { 0 } ,
where R is the set of real numbers.
The q-beta function B q ( l , m ) is defined as follows:
B q ( l , m ) 0 1 t l 1 ( 1 q t ) q m 1 d q t ( l > 0 ; m > 0 )
and for l > 1 ; m > 0 :
B q ( l , m ) = K ( A , l ) 0 / A t l 1 ( 1 + t ) q l + m d q t = [ l 1 ] q [ m ] q B q ( l 1 , m + 1 )
with the explicit form of:
K ( A , l + 1 ) = q l K ( A , l ) .
K ( A , l ) = 1 A + 1 A l 1 + 1 A q l 1 + A q 1 l ,
while the Gamma function in the q form is defined as follows:
Γ q ( x ) = 0 1 / 1 q t x 1 E q ( q t ) d q t ( x > 0 )
satisfying Γ q ( x + 1 ) = [ x ] q Γ q ( x ) , Γ q ( 1 ) = 1 , and
Γ q ( x ) = 0 / 1 q t x 1 E q ( q t ) d q t ( x > 0 )
and a relation of the Beta and Gamma functions given as:
B q ( l , m ) = Γ q ( l ) Γ q ( m ) Γ q ( l + m ) .
In the present context, we consider the recent development of the published article [13] and then construct the operators in terms of two variables supposing 0 v 1 , v 2 < . Finally, we study the approximation results in terms bivariate functions by modulus and mixed-modulus of continuity and Lipschitz maximal functions. Next, we also construct the GBS-type polynomial functions and obtain the approximation in terms of Bögel continuous functions. For more related concepts on these classes of functions, we prefer to see the recent published article by Nasiruzzaman et al. [14,15,16,17,18,19]. In addition, there are various operators in several functional spaces given by the authors: Mohiuddine et al. [20,21,22,23], Mursaleen et al. [24,25], Acar et al. [26], Kajla et al. [27], Özger et al. [28], and Rao et al. [29,30].

2. Operators and Their Associated Moments

Take M 2 = { ( v 1 , v 2 ) : 0 v 1 < , 0 v 2 < } , and C M 2 is the class of all continuous functions on M 2 and satisfies the norm by | | g | | C M 2 = sup ( v 1 , v 2 ) M 2 | f ( v 1 , v 2 ) | . Suppose f C M 2 . Then, for all i = 1 , 2 such that m i N , X r i , q i ( [ m i ] q i v i ) 0 and X q i ( 1 ) 0 , we define:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) = r 1 , r 2 = 0 U m 1 , q 1 r 1 ( v 1 ) V m 2 , q 2 r 2 ( v 2 ) 0 / A 1 0 / A 2 T m 1 , m 2 q 1 , q 2 ( t , s ) f q 1 r 1 t , q 2 r 2 s d q 1 t d q 2 s ,
where
U m 1 , r 1 q 1 ( v 1 ) = e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) R r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! K 1 ( A 1 , r 1 + 1 ) B q 1 ( r 1 + 1 , m 1 ) ,
V m 2 , r 2 q 2 ( v 2 ) = e q 2 ( [ m 2 ] q 2 v 2 ) X q 2 ( 1 ) R r 2 , q 2 ( [ m 2 ] q 2 v 2 ) [ r 2 ] q 2 ! K 2 ( A 2 , r 2 + 1 ) B q 2 ( r 2 + 1 , m 2 )
and
T m 1 , m 2 q 1 , q 2 ( t , s ) = t r 1 ( 1 + t ) q 1 r 1 + m 1 + 1 s r 2 ( 1 + s ) q 2 r 2 + m 2 + 1 .
It is noticed that for all i = 1 , 2 , and r i > 1 , m i > 0 we have:
B q i ( r i , m i ) = K i ( A i , r i ) 0 / A i u r i 1 ( 1 + u i ) q i r i + m i d q i u i = [ r i 1 ] q i [ m i ] q i B q i ( r i 1 , m i + 1 ) ,
with
K i ( A i , r i + 1 ) = q i r i K i ( A i , r i ) ,
K i ( A i , r i ) = q i r i ( r i 1 ) 2 , K i ( A i , 0 ) = 1 .
Lemma 1.
Operators J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) defined by (15) have the equality:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) = C m 1 , r 1 q 1 D m 2 , r 2 q 2 ( f ; v 1 , v 2 ) = D m 2 , r 2 q 2 C m 1 , r 1 q 1 ( f ; v 1 , v 2 )
where
C m 1 , r 1 q 1 ( f ; v 1 , v 2 ) = r 1 = 0 U m 1 , r 1 q 1 ( v 1 ) 0 / A 1 t r 1 ( 1 + t ) q 1 r 1 + m 1 + 1 f q 1 r 1 t , q 2 r 2 s d q 1 t
D m 2 , r 2 q 2 ( f ; v 1 , v 2 ) = r 2 = 0 V m 2 , r 2 q 2 ( v 2 ) 0 / A 2 s r 2 ( 1 + s ) q 2 r 2 + m 2 + 1 f q 1 r 1 t , q 2 r 2 s d q 2 s .
Proof. 
We easily see that:
C m 1 , r 1 q 1 D m 2 , r 2 q 2 ( f ; v 1 , v 2 ) = C m 1 , r 1 q 1 r 2 = 0 V m 2 , r 2 q 2 ( v 2 ) 0 / A 2 s r 2 ( 1 + s ) q 2 r 2 + m 2 + 1 f q 1 r 1 t , q 2 r 2 s d q 2 s = r 2 = 0 V m 2 , r 2 q 2 ( v 2 ) C m 1 , r 1 q 1 0 / A 2 s r 2 ( 1 + s ) q 2 r 2 + m 2 + 1 f q 1 r 1 t , q 2 r 2 s d q 2 s = r 1 , r 2 = 0 U m 1 , q 1 r 1 ( v 1 ) V m 2 , q 2 r 2 ( v 2 ) 0 / A 1 0 / A 2 T m 1 , m 2 q 1 , q 2 ( t , s ) f q 1 r 1 t , q 2 r 2 s d q 1 t d q 2 s = J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) .
On the other hand, we obtain D m 2 , r 2 q 2 C m 1 , r 1 q 1 ( f ; v 1 , v 2 ) = J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) . □
Lemma 2.
For all i = 1 , 2 , if we take R r i , q i ( [ m i ] q i v i ) 0 and X q i ( 1 ) 0 , then for each m i N , we have:
r i = 0 X r i , q i ( [ m 1 ] q i v i ) [ r i ] q i ! = X q i ( 1 ) e q i ( [ m i ] q i v i ) , r i = 0 r i X r i , q i ( [ m i ] q i v i ) [ r i ] q i ! = [ m i ] q i X q i ( 1 ) v i + X q i ( 1 ) e q i ( [ m i ] q i v i ) , r i = 0 r i 2 X r i , q i ( [ m i ] q i v i ) [ r i ] q i ! = [ m i ] q i 2 X q i ( 1 ) v i 2 + 2 [ m i ] q i X q i ( 1 ) v i + X q i ( 1 ) e q i ( [ m i ] q i v i ) , r i = 0 r i 3 X r i , q i ( [ m i ] q i v i ) [ r i ] q i ! = [ m i ] q i 3 X q i ( 1 ) v i 3 + 3 [ m i ] q i 2 X q i ( 1 ) v i 2 + 3 [ m i ] q i X q i ( 1 ) v i + X q i ( 1 ) e q i ( [ m i ] q i v i ) , r i = 0 r i 4 X r i , q i ( [ m i ] q i v i ) [ r i ] q i !
= [ m i ] q i 4 X q i ( 1 ) v i 4 + 4 [ m i ] q i 3 X q i ( 1 ) v i 3 + 6 [ m i ] q i 2 X q i ( 1 ) v i 2 + 4 [ m i ] q i X q i ( 1 ) v i + X q i ( 4 ) ( 1 ) e q i ( [ m i ] q i v i ) .
Lemma 3.
Let i , j = { 0 , 1 , 2 , 3 , 4 } and f ( t , s ) = λ i , j be the test functions such that λ i , j = t i s j . Then, for every m 1 , m 2 N { 1 , 2 , 3 , 4 } , operators J m 1 , m 2 q 1 , q 2 ( . ; . ) have the following equalities:
( 1 ) J m 1 , m 2 q 1 , q 2 ( λ 0 , 0 ; v 1 , v 2 ) = C m 1 , r 1 q 1 ( λ 0 , 0 ; v 1 , v 2 ) = D m 2 , r 2 q 2 ( λ 0 , 0 ; v 1 , v 2 ) = 1 ; ( 2 ) J m 1 , m 2 q 1 , q 2 ( λ 1 , 0 ; v 1 , v 2 ) = C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) = 1 q 1 [ m 1 1 ] q 1 + 1 [ m 1 1 ] q 1 [ m 1 ] q 1 v 1 + X q 1 ( 1 ) X q 1 ( 1 ) ; ( 3 ) J m 1 , m 2 q 1 , q 2 ( λ 0 , 1 ; v 1 , v 2 ) = D m 2 , r 2 q 2 ( λ 0 , 1 ; v 1 , v 2 ) = 1 q 2 [ m 2 1 ] q 2 + 1 [ m 2 1 ] q 2 [ m 2 ] q 2 v 2 + X q 2 ( 1 ) X q 2 ( 1 ) ; ( 4 ) J m 1 , m 2 q 1 , q 2 ( λ 2 , 0 ; v 1 , v 2 ) = C m 1 , r 1 q 1 ( λ 2 , 0 ; v 1 , v 2 ) = ( 1 + q 1 ) q 1 3 [ m 1 1 ] q 1 [ m 1 2 ] q 1 + ( 1 + 2 q 1 ) q 1 2 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 ] q 1 v 1 + X q 1 ( 1 ) X q 1 ( 1 ) + 1 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 ] q 1 2 v 1 2 + 2 [ m 1 ] q 1 X q 1 ( 1 ) X q 1 ( 1 ) v 1 + X q 1 ( 1 ) X q 1 ( 1 ) ; ( 5 ) J m 1 , m 2 q 1 , q 2 ( λ 0 , 2 ; v 1 , v 2 ) = D m 2 , r 2 q 2 ( λ 0 , 2 ; v 1 , v 2 ) = ( 1 + q 2 ) q 2 3 [ m 2 1 ] q 2 [ m 2 2 ] q 2 + ( 1 + 2 q 2 ) q 2 2 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 ] q 2 v 2 + X q 2 ( 1 ) X q 2 ( 1 ) + 1 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 ] q 2 2 v 2 2 + 2 [ m 2 ] q 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 + X q 2 ( 1 ) X q 2 ( 1 ) ; ( 6 ) J m 1 , m 2 q 1 , q 2 ( λ 3 , 0 ; v 1 , v 2 ) = C m 1 , r 1 q 1 ( λ 3 , 0 ; v 1 , v 2 ) = 1 + 2 q 1 + 2 q 1 2 + q 1 3 q 1 4 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 + ( 1 + 3 q 1 + 4 q 1 2 + 3 q 1 3 ) q 1 3 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 ( [ m 1 ] q 1 v 1 + X q 1 ( 1 ) X q 1 ( 1 ) + ( 1 + 2 q 1 + 3 q 1 2 ) q 1 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 ( [ m 1 ] q 1 2 v 1 2 + 2 [ m 1 ] q 1 X q 1 ( 1 ) X q 1 ( 1 ) v 1 + X q 1 ( 1 ) X q 1 ( 1 ) ) + q 1 2 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 ( [ m 1 ] q 1 3 v 1 3 + 3 [ m 1 ] q 1 2 X q 1 ( 1 ) X q 1 ( 1 ) v 1 2 + 3 [ m 1 ] q 1 X q 1 ( 1 ) X q 1 ( 1 ) v 1 + X q 1 ( 1 ) X q 1 ( 1 ) ) ; ( 7 ) J m 1 , m 2 q 1 , q 2 ( λ 0 , 3 ; v 1 , v 2 ) = D m 2 , r 2 q 2 ( λ 0 , 3 ; v 1 , v 2 ) = 1 + 2 q 2 + 2 q 2 2 + q 2 3 q 2 4 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 + ( 1 + 3 q 2 + 4 q 2 2 + 3 q 2 3 ) q 2 3 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 ( [ m 2 ] q 2 v 2 + X q 2 ( 1 ) X q 2 ( 1 ) + ( 1 + 2 q 2 + 3 q 2 2 ) q 2 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 ( [ m 2 ] q 2 2 v 2 2 + 2 [ m 2 ] q 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 + X q 2 ( 1 ) X q 2 ( 1 ) ) + q 2 2 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 ( [ m 2 ] q 2 3 v 2 3 + 3 [ m 2 ] q 2 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 2 + 3 [ m 2 ] q 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 + X q 2 ( 1 ) X q 2 ( 1 ) ) ; ( 8 ) J m 1 , m 2 q 1 , q 2 ( λ 4 , 0 ; v 1 , v 2 ) = C m 1 , r 1 q 1 ( λ 4 , 0 ; v 1 , v 2 ) = 1 + 3 q 1 + 5 q 1 2 + 6 q 1 3 + 5 q 1 4 + 3 q 1 5 + q 1 6 q 1 5 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 [ m 1 4 ] q 1 + ( 1 + 5 q 1 + 10 q 1 2 + 13 q 1 3 + 12 q 1 4 + 7 q 1 5 + 2 q 1 6 ) q 1 3 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 [ m 1 4 ] q 1 [ m 1 ] q 1 v 1 + X q 1 ( 1 ) X q 1 ( 1 ) + ( 1 + 3 q 1 + 7 q 1 2 + 9 q 1 3 + 9 q 1 4 + 6 q 1 5 ) q 1 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 [ m 1 4 ] q 1 ( [ m 1 ] q 1 2 v 1 2 + 2 [ m 1 ] q 1 X q 1 ( 1 ) X q 1 ( 1 ) v 1 + X q 1 ( 1 ) X q 1 ( 1 ) ) + ( q 1 2 + 2 q 1 3 + 2 q 1 4 + 2 q 1 5 + q 1 6 + 2 q 1 7 ) [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 [ m 1 4 ] q 1 ( [ m 1 ] q 1 3 v 1 3 + 3 [ m 1 ] q 1 2 X q 1 ( 1 ) X q 1 ( 1 ) v 1 2 + 3 [ m 1 ] q 1 X q 1 ( 1 ) X q 1 ( 1 ) v 1 + X q 1 ( 1 ) X q 1 ( 1 ) ) + q 1 6 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 3 ] q 1 [ m 1 4 ] q 1 ( [ m 1 ] q 1 4 v 1 4 + 4 [ m 1 ] q 1 3 X q 1 ( 1 ) X q 1 ( 1 ) v 1 3 + 6 [ m 1 ] q 1 2 X q 1 ( 1 ) X q 1 ( 1 ) v 1 2 + 4 [ m 1 ] q 1 X q 1 ( 1 ) X q 1 ( 1 ) v 1 + X q 1 ( 4 ) ( 1 ) X q 1 ( 1 ) ) ; ( 9 ) J m 1 , m 2 q 1 , q 2 ( λ 0 , 4 ; v 1 , v 2 ) = D m 2 , r 2 q 2 ( λ 0 , 4 ; v 1 , v 2 ) = 1 + 3 q 2 + 5 q 2 2 + 6 q 2 3 + 5 q 2 4 + 3 q 2 5 + q 2 6 q 2 5 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 [ m 2 4 ] q 2 + ( 1 + 5 q 2 + 10 q 2 2 + 13 q 2 3 + 12 q 2 4 + 7 q 2 5 + 2 q 2 6 ) q 2 3 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 [ m 2 4 ] q 2 [ m 2 ] q 2 v 2 + X q 2 ( 1 ) X q 2 ( 1 ) + ( 1 + 3 q 2 + 7 q 2 2 + 9 q 2 3 + 9 q 2 4 + 6 q 2 5 ) q 2 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 [ m 2 4 ] q 2 ( [ m 2 ] q 2 2 v 2 2 + 2 [ m 2 ] q 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 + X q 2 ( 1 ) X q 2 ( 1 ) ) + ( q 2 2 + 2 q 2 3 + 2 q 2 4 + 2 q 2 5 + q 2 6 + 2 q 2 7 ) [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 [ m 2 4 ] q 2 ( [ m 2 ] q 2 3 v 2 3 + 3 [ m 2 ] q 2 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 2 + 3 [ m 2 ] q 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 + X q 2 ( 1 ) X q 2 ( 1 ) ) + q 2 6 [ m 2 1 ] q 2 [ m 2 2 ] q 2 [ m 2 3 ] q 2 [ m 2 4 ] q 2 ( [ m 2 ] q 2 4 v 2 4 + 4 [ m 2 ] q 2 3 X q 2 ( 1 ) X q 2 ( 1 ) v 2 3 + 6 [ m 2 ] q 2 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 2 + 4 [ m 2 ] q 2 X q 2 ( 1 ) X q 2 ( 1 ) v 2 + X q 2 ( 4 ) ( 1 ) X q 2 ( 1 ) ) .
Proof. 
For i , j = 0 , we take:
J m 1 , m 2 q 1 , q 2 ( λ 0 , 0 ; v 1 , v 2 ) = r 1 , r 2 = 0 U m 1 , q 1 r 1 ( v 1 ) V m 2 , q 2 r 2 ( v 2 ) 0 / A 1 0 / A 2 T m 1 , m 2 q 1 , q 2 ( t , s ) d q 1 t d q 2 s = r 1 , r 2 = 0 U m 1 , q 1 r 1 ( v 1 ) V m 2 , q 2 r 2 ( v 2 ) 0 / A 1 t r 1 ( 1 + t ) q 1 r 1 + m 1 + 1 d q 1 t 0 / A 2 s r 2 ( 1 + s ) q 2 r 2 + m 2 + 1 d q 2 s = e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! B q 1 ( r 1 + 1 , m 1 ) B q 1 ( r 1 + 1 , m 1 ) × e q 2 ( [ m 2 ] q 2 v 2 ) X q 2 ( 1 ) r 2 = 0 X r 2 , q 2 ( [ m 2 ] q 2 v 2 ) [ r 2 ] q 2 ! B q 2 ( r 2 + 1 , m 2 ) B q 2 ( r 2 + 1 , m 2 ) = 1 .
For i = 1 , j = 0 , we obtain:
J m 1 , m 2 q 1 , q 2 ( λ 1 , 0 ; v 1 , v 2 ) = r 1 , r 2 = 0 U m 1 , q 1 r 1 ( v 1 ) V m 2 , q 2 r 2 ( v 2 ) 0 / A 1 ( q 1 t ) r 1 ( 1 + t ) q 1 r 1 + m 1 + 1 d q 1 t 0 / A 2 s r 2 ( 1 + s ) q 2 r 2 + m 2 + 1 d q 2 s = e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! q 1 r 1 K 1 ( A 1 , r 1 + 1 ) B q 1 ( r 1 + 1 , m 1 ) 0 / A 1 t r 1 + 1 ( 1 + t ) q 1 r 1 + m 1 + 1 d q 1 t × e q 2 ( [ m 2 ] q 2 v 2 ) X q 2 ( 1 ) r 2 = 0 X r 2 , q 2 ( [ m 2 ] q 2 v 2 ) [ r 2 ] q 2 ! B q 2 ( r 2 + 1 , m 2 ) B q 2 ( r 2 + 1 , m 2 ) = e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! q 1 r 1 K 1 ( A 1 , r 1 + 1 ) B q 1 ( r 1 + 1 , m 1 ) B q 1 ( r 1 + 2 , m 1 1 ) K 1 ( A 1 , r 1 + 2 ) = 1 q 1 [ m 1 1 ] q 1 e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! [ r 1 + 1 ] q 1 .
By applying:
[ r 1 + 1 ] q 1 = 1 + q 1 [ r 1 ] q 1 ,
J m 1 , m 2 q 1 , q 2 ( λ 1 , 0 ; v 1 , v 2 ) = 1 q 1 [ m 1 1 ] q 1 e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! + 1 [ m 1 1 ] q 1 e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! [ r 1 ] q 1 = 1 q 1 [ m 1 1 ] q 1 + 1 [ m 1 1 ] q 1 [ m 1 ] q 1 v 1 + X q 1 ( 1 ) X q 1 ( 1 )
For i = 2 , j = 0 , we have:
J m 1 , m 2 q 1 , q 2 ( λ 2 , 0 ; v 1 , v 2 ) = e q ( [ m ] q x ) X q ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! q 1 2 r 1 K 1 ( A 1 , r 1 + 1 ) B q 1 ( r 1 + 1 , m 1 ) 0 / A 1 t r 1 + 2 ( 1 + t ) q 1 r 1 + m 1 + 1 d q 1 t × e q 2 ( [ m 2 ] q 2 v 2 ) X q 2 ( 1 ) r 2 = 0 X r 2 , q 2 ( [ m 2 ] q 2 v 2 ) [ r 2 ] q 2 ! B q 2 ( r 2 + 1 , m 2 ) B q 2 ( r 2 + 1 , m 2 ) = e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! q 1 2 r 1 K 1 ( A 1 , r 1 + 1 ) K 1 ( A 1 , r 1 + 3 ) B q 1 ( r 1 + 3 , m 1 2 ) B q 1 ( r 1 + 1 , m 1 ) = 1 q 1 3 [ m 1 1 ] q 1 [ m 1 2 ] q 1 e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! [ r 1 + 2 ] q 1 [ r 1 + 1 ] q 1 .
We use the equality (23) and [ r 1 + 2 ] q 1 = 1 + q 1 + q 1 2 [ r 1 ] q 1 :
J m 1 , m 2 q 1 , q 2 ( λ 2 , 0 ; v 1 , v 2 ) = 1 q 1 3 [ m 1 1 ] q 1 [ m 1 2 ] q 1 e q 1 ( [ m 1 ] q 1 v 1 ) X q 1 ( 1 ) r 1 = 0 X r 1 , q 1 ( [ m 1 ] q 1 v 1 ) [ r 1 ] q 1 ! ( 1 + q 1 ) + q 1 ( 1 + 2 q 1 ) [ r 1 ] q 1 + q 1 3 [ r 1 ] q 1 2 = ( 1 + q 1 ) q 1 3 [ m 1 1 ] q 1 [ m 1 2 ] q 1 + ( 1 + 2 q 1 ) q 1 2 [ m 1 1 ] q 1 [ m 1 2 ] q 1 ( [ m 1 ] q 1 v 1 + X q 1 ( 1 ) X q 1 ( 1 ) + 1 [ m 1 1 ] q 1 [ m 1 2 ] q 1 [ m 1 ] q 1 2 v 1 2 + 2 [ m 1 ] q 1 X q 1 ( 1 ) X q 1 ( 1 ) v 1 + X q 1 ( 1 ) X q 1 ( 1 ) .
Similarly, we obtain the other identities. This completes the proof. □
Lemma 4.
Take Φ v 1 , v 2 c , d ( t , s ) = ( t v 1 ) c ( s v 2 ) d for all c , d = { 0 , 1 , 2 , 3 , 4 } . Then, for any i = 1 , 2 , R r i , q i ( [ m i ] q i v i ) 0 and X q i ( 1 ) 0 , suppose δ m 1 , m 2 c , d 2 = J m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 c , d ( t , s ) ; v 1 , v 2 .
Then, for all i = 1 , 2 , with m i N { 1 , 2 } , we obtain:
δ m 1 , m 2 c , d 2 = [ m i ] q i 2 [ m i 1 ] q i [ m i 2 ] q i + 1 2 [ m i ] q i [ m i 1 ] q i v i 2 + 1 [ m i 1 ] q i ( 1 + 2 q i ) [ m i ] q i q i 2 [ m i 2 ] q i + 2 [ m i ] q i [ m i 2 ] q i X q i ( 1 ) X q i ( 1 ) 2 X q i ( 1 ) X q i ( 1 ) 2 q i v i + 1 q i 2 [ m i 1 ] q i [ m i 2 ] q i ( 1 + q i ) q i + ( 1 + 2 q i ) X q i ( 1 ) X q i ( 1 ) f o r i = 1 c = 2 , d = 0 and i = 2 , d = 2 , c = 0 [ m i ] q i [ m i 1 ] q i 1 v i + 1 [ m i 1 ] q i 1 q i + X q i ( 1 ) X q i ( 1 ) f o r i = 1 , c = 1 , d = 0 and i = 2 , c = 0 , d = 1 .
Remark 1.
Let m 1 , m 2 N , then, for any δ m 1 , δ m 2 > 0 , we take:
δ m 1 , m 2 c , d = J m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 c , d ( t , s ) ; v 1 , v 2 = δ m 1 ( s u p p o s e ) f o r c = 2 and d = 0 . J m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 c , d ( t , s ) ; v 1 , v 2 = δ m 2 ( s u p p o s e ) f o r d = 2 and c = 0 .
Lemma 5.
For any v 1 , v 2 M 2 and sufficiently large m 1 , m 2 N { 1 , 2 , 3 , 4 } , the operators J m 1 , m 2 q 1 , q 2 ( . ; . ) verify the following inequalities:
( 1 ) J m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 0 ( t , s ) ; v 1 , v 2 = O 1 [ m 1 ] q 1 2 ( v 1 + 1 ) 2 M 1 ( v 1 + 1 ) 2 a s m 1 , m 2 ; ( 2 ) J m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 0 , 2 ( t , s ) ; v 1 , v 2 = O 1 [ m 2 ] q 2 2 ( v 2 + 1 ) 2 M 2 ( v 2 + 1 ) 2 a s m 1 , m 2 ; ( 3 ) J m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 4 , 0 ( t , s ) ; v 1 , v 2 = O 1 [ m 1 ] q 1 4 ( v 1 + 1 ) 4 M 3 ( v 1 + 1 ) 4 a s m 1 , m 2 ; ( 4 ) J m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 0 , 4 ( t , s ) ; v 1 , v 2 = O 1 [ m 2 ] q 2 4 ( v 2 + 1 ) 4 M 4 ( v 2 + 1 ) 2 a s m 1 , m 2 .

3. Approximation in Weighted Space and Degree of Convergence

For any weight function ψ given, such that ψ ( v 1 , v 2 ) = 1 + v 1 2 + v 2 2 , which satisfies the properties B ψ M 2 = { f : f ( v 1 , v 2 ) M f ψ ( v 1 , v 2 ) , M f > 0 } , where B ψ M 2 is defined for the class of all bounded functions on M 2 = [ 0 , ) × [ 0 , ) . In addition, take C ( m ) M 2 as the m-times continuously differentiable functions on M 2 = { ( v 1 , v 2 ) M 2 : v 1 , v 2 [ 0 , ) } . The norm on B ψ is equipped by f ψ = sup v 1 , v 2 M 2 f ( v 1 , v 2 ) ψ ( v 1 , v 2 ) . Moreover, some classified functions are defined as follows:
C ψ m M 2 = { f : f C ψ M 2 ; such that lim ( v 1 , v 2 ) f ( v 1 , v 2 ) ψ ( v 1 , v 2 ) = k f < } ,
C ψ 0 M 2 = { f : f C ψ m M 2 ; such that lim ( v 1 , v 2 ) f ( v 1 , v 2 ) ψ ( v 1 , v 2 ) = 0 } ,
C ψ M 2 = { f : f B ψ C ψ M 2 } .
For all f C ψ 0 M 2 and δ m 1 , δ m 2 > 0 , the weighted modulus of continuity of function f, suppose ω ψ ( f ; δ m 1 , δ m 2 ) be defined by:
ω ψ ( f ; δ m 1 , δ m 2 ) = sup ( v 1 , v 2 ) [ 0 , ) sup 0 φ 1 δ m 1 , 0 φ 2 δ m 2 f ( v 1 + φ 1 , v 2 + φ 2 ) f ( v 1 , v 2 ) ψ ( v 1 , v 2 ) ψ ( φ 1 , φ 2 ) ,
for any μ 1 , μ 2 > 0 , one has:
ω ψ ( f ; μ 1 δ m 1 , μ 2 δ m 2 ) 4 ( 1 + μ 1 ) ( 1 + μ 2 ) ( 1 + δ m 1 2 ) ( 1 + δ m 2 2 ) ω ψ ( f ; δ m 1 , δ m 2 ) ,
f ( t , s ) f ( v 1 , v 2 ) ψ ( v 1 , v 2 ) ψ t v 1 , s v 2 ω ψ f ; t v 1 , s v 2 ( 1 + v 1 2 + v 2 2 ) ( 1 + ( t v 1 ) 2 ) ( 1 + ( s v 2 ) 2 ) ω ψ f ; t v 1 , s v 2 .
Theorem 1.
Let f C ψ 0 M 2 . Then, for sufficiently large m 1 , m 2 N , the operators J m 1 , m 2 q 1 , q 2 satisfy the inequality:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) 4 ( 1 + v 1 2 + v 2 2 ) Ψ v 1 , v 2 1 + O [ m 1 ] q 1 2 1 + O [ m 2 ] q 2 2 × ω ψ f ; O [ m 1 ] q 1 1 , O [ m 2 ] q 2 1 ,
where Ψ v 1 , v 2 = ( 1 + ( v 1 + 1 ) + M 1 ( v 1 + 1 ) 2 + M 1 ( v 1 + 1 ) 3 ) ( 1 + ( v 2 + 1 ) + M 2 ( v 2 + 1 ) 2 + M 2 ( v 2 + 1 ) 3 ) M 1 , M 2 > 0 and δ m i = O 1 [ m i ] q i , for i = 1 , 2 .
Proof. 
For all δ m 1 , δ m 2 > 0 , we have:
f ( t , s ) f ( v 1 , v 2 ) 4 ( 1 + v 1 2 + v 2 2 ) 1 + ( t v 1 ) 2 1 + ( s v 2 ) 2 × 1 + t v 1 δ m 1 1 + s v 2 δ m 2 ( 1 + δ m 1 2 ) ( 1 + δ m 2 2 ) ω ψ f ; δ m 1 , δ m 2 = 4 ( 1 + v 1 2 + v 2 2 ) ( 1 + δ m 1 2 ) ( 1 + δ m 2 2 ) × 1 + t v 1 δ m 1 + ( t v 1 ) 2 + 1 δ m 1 t v 1 ( t v 1 ) 2 × 1 + s v 2 δ m 2 + ( s v 2 ) 2 + s v 2 δ m 2 ( s v 2 ) 2 ω ψ f ; δ m 1 , δ m 2 .
On applying the positive linear operator J m 1 , m 2 q 1 , q 2 and taking into account the well-known Cauchy–Schwarz inequality:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) 4 ( 1 + v 1 2 + v 2 2 ) J m 1 , m 2 q 1 , q 2 ( ( 1 + t v 1 δ m 1 + ( t v 1 ) 2 + 1 δ m 1 t v 1 ( t v 1 ) 2 ; v 1 , v 2 ) × J m 1 , m 2 q 1 , q 2 1 + s v 2 δ m 2 + ( s v 2 ) 2 + s v 2 δ m 2 ( s v 2 ) 2 ; v 1 , v 2 × ( 1 + δ m 1 2 ) ( 1 + δ m 2 2 ) ω ψ f ; δ m 1 , δ m 2 = ( 1 + v 1 2 + v 2 2 ) ( 1 + δ m 1 2 ) ( 1 + δ m 2 2 ) ω ψ f ; δ m 1 , δ m 2 × ( 1 + 1 δ m 1 J m 1 , m 2 q 1 , q 2 ( t v 1 ; v 1 , v 2 ) + J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) + 1 δ m 1 J m 1 , m 2 q 1 , q 2 ( t v 1 ( t v 1 ) 2 ; v 1 , v 2 ) × ( 1 + 1 δ m 2 J m 1 , m 2 q 1 , q 2 ( s v 2 ; v 1 , v 2 ) + J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) + 1 δ m 2 J m 1 , m 2 q 1 , q 2 ( s v 2 ( s v 2 ) 2 ; v 1 , v 2 ) ; J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) 4 ( 1 + v 1 2 + v 2 2 ) ( 1 + δ m 1 2 ) ( 1 + δ m 2 2 ) ω ψ f ; δ m 1 , δ m 2 × [ 1 + 1 δ m 1 J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) + J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) + 1 δ m 1 J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 4 ; v 1 , v 2 ) ] × [ 1 + 1 δ m 2 J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) + J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) + 1 δ m 2 J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 4 ; v 1 , v 2 ) ] .
Take into account Lemma 5 and for all i = 1 , 2 , if we choose δ m i = O 1 [ m i ] q i , then:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) 4 ( 1 + v 1 2 + v 2 2 ) ( 1 + δ m 1 2 ) ( 1 + δ m 2 2 ) ω ψ f ; δ m 1 , δ m 2 × [ 1 + 1 δ m 1 O 1 [ m 1 ] q 1 ( v 1 + 1 ) + O 1 [ m 1 ] q 1 2 ( v 1 + 1 ) 2 + 1 δ m 1 O 1 [ m 1 ] q 1 ( v 1 + 1 ) O 1 [ m 1 ] q 1 2 ( v 1 + 1 ) 2 ] × [ 1 + 1 δ m 2 O 1 [ m 2 ] q 2 ( v 2 + 1 ) + O 1 [ m 2 ] q 2 2 ( v 2 + 1 ) 2 + 1 δ m 2 O 1 [ m 2 ] q 2 ( v 2 + 1 ) O 1 [ m 2 ] q 2 2 ( v 2 + 1 ) 2 ] 4 ( 1 + O 1 [ m 1 ] q 1 2 ) ( 1 + O 1 [ m 2 ] q 2 2 ) × ω ψ ( f ; O 1 [ m 1 ] q 1 , O 1 [ m 2 ] q 2 ) × [ 1 + ( v 1 + 1 ) + M 1 ( v 1 + 1 ) 2 + M 1 ( v 1 + 1 ) 3 ] × [ 1 + ( v 2 + 1 ) + M 2 ( v 2 + 1 ) 2 + M 2 ( v 2 + 1 ) 3 ] .
This completes the proof. □
Lemma 6
([31,32]). For the positive sequence of operators { L m 1 , m 2 } m 1 , m 2 1 , which act as C ψ B ψ , then there exists some positive K such that:
X m 1 , m 2 ( ψ ; v 1 , v 2 ) ψ K .
Theorem 2
([31,32]). For the positive sequence of operators { X m 1 , m 2 } m 1 , m 2 1 acting as C ψ B ψ defined earlier, the following conditions are satisfied:
( 1 ) lim m 1 , m 2 X m 1 , m 2 ( 1 ; v 1 , v 2 ) 1 ψ = 0 ; ( 2 ) lim m 1 , m 2 X m 1 , m 2 ( t ; v 1 , v 2 ) v 1 ψ = 0 ; ( 3 ) lim m 1 , m 2 X m 1 , m 2 ( s ; v 1 , v 2 ) v 2 ψ = 0 ; ( 4 ) lim m 1 , m 2 X m 1 , m 2 ( ( t 2 + s 2 ) ; v 1 , v 2 ) ( v 1 2 + v 2 2 ) ψ = 0 .
Then, for all f C ψ 0 , :
lim m 1 , m 2 X m 1 , m 2 f f ψ = 0
and there exists another function f C ψ C ψ 0 , such that:
lim m 1 , m 2 X m 1 , m 2 f f ψ 1 .
Theorem 3.
If f C ψ 0 M 2 , then we have:
lim m 1 , m 2 J m 1 , m 2 q 1 , q 2 ( f ) f ψ = 0 .
Proof. 
J m 1 , m 2 q 1 , q 2 ( ψ ; v 1 , v 2 ) ψ = sup ( v 1 , v 2 ) M 2 J m 1 , m 2 q 1 , q 2 ( 1 + v 1 2 + v 2 2 ; v 1 , v 2 ) 1 + v 1 2 + v 2 2 = 1 + sup ( v 1 , v 2 ) M 2 [ 1 1 + v 1 2 + v 2 2 | J m 1 , m 2 q 1 , q 2 ( v 1 2 ; v 1 , v 2 ) + J m 1 , m 2 q 1 , q 2 ( v 2 2 ; v 1 , v 2 ) | ] = 1 + | [ m 1 ] q 1 2 [ m 1 1 ] q 1 [ m 2 1 ] q 1 | sup ( v 1 , v 2 ) M 2 v 1 2 1 + v 1 2 + v 2 2 + | ( 1 + 2 q 1 ) + 2 q 1 2 X q 1 ( 1 ) X q 1 ( 1 ) q 1 2 [ m 1 1 ] q 1 [ m 2 1 ] q 1 | sup ( v 1 , v 2 ) M 2 v 1 1 + v 1 2 + v 2 2 + | ( 1 + 2 q 1 ) + q 1 ( 1 + 2 q 1 ) X q 1 ( 1 ) X q 1 ( 1 ) + q 1 3 X q 1 ( 1 ) X q 1 ( 1 ) q 1 3 [ m 1 1 ] q 1 [ m 2 1 ] q 1 | sup ( v 1 , v 2 ) M 2 1 1 + v 1 2 + v 2 2 + | [ m 2 ] q 2 2 [ m 1 1 ] q 2 [ m 2 1 ] q 2 | sup ( v 1 , v 2 ) M 2 v 2 2 1 + v 1 2 + v 2 2 + | ( 1 + 2 q 2 ) + 2 q 2 2 X q 2 ( 1 ) X q 2 ( 1 ) q 2 2 [ m 1 1 ] q 2 [ m 2 1 ] q 2 | sup ( v 1 , v 2 ) M 2 v 2 1 + v 1 2 + v 2 2 + | ( 1 + 2 q 2 ) + q 2 ( 1 + 2 q 2 ) X q 2 ( 1 ) X q 2 ( 1 ) + q 2 3 X q 2 ( 1 ) X q 2 ( 1 ) q 2 3 [ m 1 1 ] q 2 [ m 2 1 ] q 2 | sup ( v 1 , v 2 ) M 2 1 1 + v 1 2 + v 2 2 .
Now, for all m 1 , m 2 N { 1 , 2 } , there exists a positive constant K such that:
J m 1 , m 2 q 1 , q 2 ( ψ ; v 1 , v 2 ) ψ K .
Therefore, in order to prove Theorem 3, it is sufficient to take from the Lemma 3 and Theorem 2. Thus, we aimed to prove of Theorem 3. □
Here, we obtain the approximations of our new operators by the use of the second-order modulus of continuity. For this purpose, if any f C ( M 2 ) and δ > 0 , then the second-order modulus of continuity in terms of partial continuity is given by:
ω f ; δ m 1 , δ m 2 = sup { f ( t , s ) f ( v 1 , v 2 ) : ( t , s ) , ( v 1 , v 2 ) M 2 }
with t v 1 δ m 1 , s v 2 δ m 2 with the partial modulus of continuity defined as:
ω 1 f ; δ m 1 = sup 0 v 1 , v 2 1 sup x 1 x 2 δ m 1 { f ( x 1 , v 2 ) f ( x 2 , v 2 ) } ,
ω 2 f ; δ m 2 = sup 0 v 1 , v 2 1 sup y 1 y 2 δ m 2 { f ( v 1 , y 1 ) f ( v 1 , y 2 ) } .
While for any function φ and δ > 0 , one has taken the modulus of continuity of order one ω ( f ; δ ) , and it is defined such that lim δ 0 + ω ( φ ; δ ) = 0 and:
ω ( φ ; δ ) = sup ν 1 ν 2 δ φ ( ν 1 ) φ ( ν 2 ) ; ν 1 , ν 2 [ 0 , ) ,
φ ( ν 1 ) φ ( ν 2 ) 1 + ν 1 ν 2 δ ω ( φ ; δ ) .
Theorem 4.
If f C ( M 2 ) , then we obtain the inequality for the operators J m 1 , m 2 q 1 , q 2 :
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) 2 ω 1 ( f ; δ m 1 , m 2 2 , 0 ) + ω 2 ( f ; δ m 1 , m 2 0 , 2 ) .
Proof. 
For proof of Theorem 4, we use the Cauchy–Schwarz inequality, therefore, we obtain here:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 f ( t , s ) f ( v 1 , v 2 ) ; v 1 , v 2 J m 1 , m 2 q 1 , q 2 f ( t , s ) f ( v 1 , s ) ; v 1 , v 2 + J m 1 , m 2 q 1 , q 2 f ( v 1 , s ) f ( v 1 , v 2 ) ; v 1 , v 2 J m 1 , m 2 q 1 , q 2 ω 1 ( f ; t v 1 ) ; v 1 , v 2 + J m 1 , m 2 q 1 , q 2 ω 2 ( f ; s v 2 ) ; v 1 , v 2 ω 1 ( f ; δ m 1 ) 1 + δ m 1 1 J m 1 , m 2 q 1 , q 2 ( t v 1 ; v 1 , v 2 ) + ω 2 ( f ; δ m 2 ) 1 + δ m 2 1 J m 1 , m 2 q 1 , q 2 ( s v 2 ; v 1 , v 2 ) ω 1 ( f ; δ m 1 ) 1 + 1 δ m 1 J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) + ω 2 ( f ; δ m 2 ) 1 + 1 δ m 2 J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) ,
where δ m 1 = δ m 1 , m 2 2 , 0 = J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) and δ m 2 = δ m 1 , m 2 0 , 2 = J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) , which then led to results. □
Next, we obtain the convergence by use of class of the Lipschitz maximal in bivariate form for any function f C ( M 2 ) . For any positive constant K and 0 ρ 1 , ρ 2 1 the Lipschitz maximal function on any set I × I M 2 is given by:
L ρ 1 , ρ 2 ( I × I ) = { f : sup ( 1 + t ) ρ 1 ( 1 + s ) ρ 2 f ρ 1 , ρ 2 ( t , s ) f ρ 1 , ρ 2 ( v 1 , v 2 ) K 1 ( 1 + v 1 ) ρ 1 1 ( 1 + v 2 ) ρ 2 } .
f ρ 1 , ρ 2 ( t , s ) f ρ 1 , ρ 2 ( v 1 , v 2 ) = f ( t , s ) f ( v 1 , v 2 ) t v 1 ρ 1 s v 2 ρ 2 ; ( t , s ) , ( v 1 , v 2 ) M 2 .
Theorem 5.
For all f L ρ 1 , ρ 2 ( I × I ) , if 0 ρ 1 , ρ 2 1 , then we obtain:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) K { ( d ( v 1 , I ) ρ 1 + δ m 1 , m 2 2 , 0 ρ 1 2 ) ( d ( v 2 , I ) ρ 2 + δ m 1 , m 2 0 , 2 ρ 2 2 ) + d ( v 1 , I ) ρ 1 d ( v 2 , I ) ρ 2 } ,
where δ m 1 , m 2 2 , 0 and δ m 1 , m 2 0 , 2 are defined by Theorem 4 and K > 0 .
Proof. 
Take into account v 1 x 0 = d ( v 1 , I ) and v 2 y 0 = d ( v 2 , E ) . For any ( v 1 , v 2 ) M 2 and ( x 0 , y 0 ) I × I , we let d ( v 1 , I ) = inf { v 1 v 2 : v 2 I } . Thus, we can write here:
f ( t , s ) f ( v 1 , v 2 ) K f ( t , s ) f ( x 0 , y 0 ) + f ( x 0 , y 0 ) f ( v 1 , v 2 ) .
Applying J m 1 , m 2 q 1 , q 2 , we obtain:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 f ( v 1 , v 2 ) f ( x 0 , y 0 ) + f ( x 0 , y 0 ) f ( v 1 , v 2 ) K J m 1 , m 2 q 1 , q 2 t x 0 ρ 1 s y 0 ρ 2 ; v 1 , v 2 + K v 1 x 0 ρ 1 v 2 y 0 ρ 2 .
For all U , V 0 and ρ [ 0 , 1 ] , we know the inequality ( U + V ) ρ U ρ + V ρ . Then, it is easy to obtain:
t x 0 ρ 1 t v 1 ρ 1 + v 1 x 0 ρ 1 ,
s y 0 ρ 2 s v 2 ρ 2 + v 2 y 0 ρ 2 .
Therefore:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) K J m 1 , m 2 q 1 , q 2 t v 1 ρ 1 s v 2 ρ 2 ; v 1 , v 2 + K v 1 x 0 ρ 1 J m 1 , m 2 q 1 , q 2 s v 2 ρ 2 ; v 1 , v 2 + K v 2 y 0 ρ 2 J m 1 , m 2 q 1 , q 2 t v 1 ρ 1 ; v 1 , v 2 + 2 K v 1 x 0 ρ 1 v 2 y 0 ρ 2 J m 1 , m 2 q 1 , q 2 λ 0 , 0 ; v 1 , v 2 ,
by the use of the Hölder inequality, we obtain the equality:
J m 1 , m 2 q 1 , q 2 t v 1 ρ 1 s v 2 ρ 2 ; v 1 , v 2 = C m 1 , r 1 q 1 t v 1 ρ 1 ; v 1 , v 2 D m 2 , r 2 q 2 s v 2 ρ 2 ; v 1 , v 2 J m 1 , m 2 q 1 , q 2 ( t v 1 2 ; v 1 , v 2 ) ρ 1 2 J m 1 , m 2 q 1 , q 2 ( λ 0 , 0 ; v 1 , v 2 ) 2 ρ 1 2 × J m 1 , m 2 q 1 , q 2 ( s v 2 2 ; v 1 , v 2 ) ρ 2 2 J m 1 , m 2 q 1 , q 2 ( λ 0 , 0 ; v 1 , v 2 ) 2 ρ 2 2 .
Thus, it is easy to obtain:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) K δ m 1 , m 2 2 , 0 ρ 1 2 δ m 1 , m 2 0 , 2 ρ 2 2 + 2 K d ( v 1 , I ) ρ 1 d ( v 2 , I ) ρ 2 + K d ( v 1 , I ) ρ 1 δ m 1 , m 2 2 , 0 ρ 2 2 + K d ( v 2 , I ) ρ 2 δ m 1 , m 2 0 , 2 ρ 1 2 .
This completes the proof. □
Theorem 6.
Suppose f C ( M 2 ) . Then, for all ( v 1 , v 2 ) M 2 , the operators J m 1 , m 2 q 1 , q 2 have the equality:
J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) f ( v 1 , v 2 ) f v 1 C ( M 2 ) δ m 1 , m 2 2 , 0 1 2 + f v 2 C ( M 2 ) δ m 1 , m 2 0 , 2 1 2 ,
where δ m 1 , m 2 2 , 0 and δ m 1 , m 2 0 , 2 are given by Theorem 4.
Proof. 
For any f C ( M 2 ) and fixed ( v 1 , v 2 ) M 2 , we take:
f ( t , s ) f ( v 1 , v 2 ) = v 1 t f ϱ ( ϱ , s ) d ϱ + v 2 s f μ ( v 1 , μ ) d μ .
Apply operators J m 1 , m 2 q 1 , q 2 on both sides, then:
J m 1 , m 2 q 1 , q 2 f ( t , s ) ; v 1 , v 2 f ( v 1 , v 2 ) = J m 1 , m 2 q 1 , q 2 v 1 t f ϱ ( ϱ , s ) d ϱ ; v 1 , v 2 + J m 1 , m 2 q 1 , q 2 v 2 s f μ ( v 1 , μ ) d μ ; v 1 , v 2 .
The sup-norm on M 2 gives us:
v 1 t f ϱ ( ϱ , s ) d ϱ v 1 t f ϱ ( ϱ , s ) d ϱ f v 1 C ( M 2 ) t v 1
v 2 s f μ ( v 1 , μ ) d μ v 2 s f μ ( v 1 , μ ) d μ f v 2 C ( M 2 ) s v 2 .
Taking into account (39)–(41), it is easy to obtain:
J m 1 , m 2 q 1 , q 2 f ( v 1 , v 2 ) ; v 1 , v 2 f ( v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 | v 1 t f ϱ ( ϱ , s ) d ϱ | ; v 1 , v 2 + J m 1 , m 2 q 1 , q 2 | v 2 s f μ ( v 1 , μ ) d μ | ; v 1 , v 2 f v 1 C ( M 2 ) J m 1 , m 2 q 1 , q 2 t v 1 ; v 1 , v 2 + f v 2 C ( M 2 ) J m 1 , m 2 q 1 , q 2 s v 2 ; v 1 , v 2 f v 1 C ( M 2 ) J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 ( 1 ; v 1 , v 2 ) 1 2 + f v 2 C ( M 2 ) J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 ( 1 ; v 1 , v 2 ) 1 2 = f v 1 C ( M 2 ) δ m 1 , m 2 2 , 0 1 2 + f v 2 C ( M 2 ) δ m 1 , m 2 0 , 2 1 2 .
Theorem 7.
For an arbitrary function f C ( M 2 ) , we define the auxiliary operators as:
S m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) = J m 1 , m 2 q 1 , q 2 ( f ; v 1 , v 2 ) + f ( v 1 , v 2 ) f C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) , D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) .
Then, for all f C ( M 2 ) , the operators S m 1 , m 2 q 1 , q 2 verify the inequality:
S m 1 , m 2 q 1 , q 2 ( f ; t , s ) f ( v 1 , v 2 ) { δ m 1 , m 2 2 , 0 + δ m 1 , m 2 0 , 2 + C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) v 1 2 + D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) v 2 2 } f C 2 ( M 2 ) .
where C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) and D m 2 , r 2 q 2 ( λ 0 , 1 ; v 1 , v 2 ) are defined by Lemma 3.
Proof. 
By the use of Lemma 3, it is easy to obtain S m 1 , m 2 q 1 , q 2 ( 1 ; v 1 , v 2 ) = 1 , S m 1 , m 2 q 1 , q 2 ( t v 1 ; v 1 , v 2 ) = 0 and S m 1 , m 2 q 1 , q 2 ( s v 2 ; v 1 , v 2 ) = 0 . In addition, for any f C ( M 2 ) from the Taylor series expansions, we obtain:
f ( t , s ) f ( v 1 , v 2 ) = f ( v 1 , v 2 ) v 1 ( t v 1 ) + v 1 t ( t χ ) 2 f ( χ , v 2 ) χ 2 d χ + f ( v 1 , v 2 ) v 2 ( s v 2 ) + v 2 s ( s σ ) 2 f ( v 1 , σ ) σ 2 d σ .
On applying S m 1 , m 2 q 1 , q 2 , we see that:
S m 1 , m 2 q 1 , q 2 f ( t , s ) ; v 1 , v 2 S m 1 , m 2 q 1 , q 2 f ( v 1 , v 2
= S m 1 , m 2 q 1 , q 2 v 1 t ( t χ ) 2 f ( χ , v 2 ) χ 2 d χ ; v 1 , v 2 + S m 1 , m 2 q 1 , q 2 v 2 s ( s σ ) 2 f ( v 1 , σ ) σ 2 d σ ; v 1 , v 2 = J m 1 , m 2 q 1 , q 2 v 1 t ( t χ ) 2 f ( χ , v 2 ) χ 2 d χ ; v 1 , v 2 + J m 1 , m 2 q 1 , q 2 v 2 s ( s σ ) 2 f ( v 1 , σ ) σ 2 d σ ; v 1 , v 2 v 1 C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) χ 2 f ( χ , v 2 ) χ 2 d χ v 2 D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) σ 2 f ( v 1 , σ ) σ 2 d σ .
From this hypothesis, we easily obtain:
| v 1 t ( t χ ) 2 f ( χ , v 2 ) χ 2 d χ | v 1 t | ( t χ ) 2 f ( χ , v 2 ) χ 2 d χ | f C 2 ( M 2 ) ( t v 1 ) 2 ,
| v 2 s ( s σ ) 2 f ( v 1 , σ ) σ 2 d σ | v 2 s | ( s σ ) 2 f ( v 1 , σ ) σ 2 d σ | f C 2 ( M 2 ) ( s v 2 ) 2 ,
| v 1 C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) χ 2 f ( χ , v 2 ) χ 2 d χ | f C 2 ( M 2 ) C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) v 1 2
| v 2 D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) σ 2 f ( v 1 , σ ) σ 2 d σ | f C 2 ( M 2 ) D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) v 2 2 .
Thus:
S m 1 , m 2 q 1 , q 2 f ; t , s f ( v 1 , v 2 ) { J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) + J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) + C m 1 , r 1 q 1 ( λ 1 , 0 ; v 1 , v 2 ) v 1 2 + D m 2 , r 2 q 2 ( λ 1 , 0 ; v 1 , v 2 ) v 2 2 } f C 2 ( M 2 ) ,
which completes the desired proof of Theorem 7.

4. GBS-Type Approximation in Bögel Space

Suppose M 1 × M 2 = { ( v 1 , v 2 ) : 0 v 1 , v 2 < } . Take any function f : M 1 × M 2 R for real compact intervals of M 1 × M 2 . For all ( t , s ) , ( v 1 , v 2 ) M 1 × M 2 suppose Δ ( t , s ) f ( v 1 , v 2 ) denotes the bivariate mixed difference operators defined as follows:
Δ ( t , s ) f ( v 1 , v 2 ) = f ( t , s ) f ( t , v 2 ) f ( v 1 , s ) + f ( v 1 , v 2 ) .
If at any point ( v 1 , v 2 ) M 1 × M 2 , the function f : M 1 × M 2 R defined on M 1 × M 2 , then lim ( t , s ) ( v 1 , v 2 ) Δ ( t , s ) f ( v 1 , v 2 ) = 0 .
If set of all the space of all Bögel-continuous (B-continuous) denoted by C B ( M 1 × M 2 ) on ( v 1 , v 2 ) M 1 × M 2 and be defined such that C B ( M 1 × M 2 ) = { f , s u c h t h a t f : M 1 × M 2 R i s f , B b o u n d e d o n M 1 × M 2 } . Next, the Bögel-differentiable function on ( v 1 , v 2 ) M 1 × M 2 be f : M 1 × M 2 R and limit exists finite defined by:
lim ( t , s ) ( v 1 , v 2 ) , t v 1 , s v 2 1 ( t v 1 ) ( s v 2 ) Δ ( t , s ) = D B f ( v 1 , v 2 ) < .
Let the classes of all Bögel-differentiable function denoted by D ψ f ( v 1 , v 2 ) and be D ψ ( M 1 × M 2 ) = { f , s u c h t h a t f : M 1 × M 2 R i s f , B— d i f f e r e n t i a b l e o n M 1 × M 2 } . Suppose the function f is B-bounded on D and be f : M 1 × M 2 R , then for all ( t , s ) , ( v 1 , v 2 ) M 1 × M 2 there exists positive constant M such that Δ ( t , s ) f ( v 1 , v 2 ) M . The classes of all B-continuous function is called a B-bounded on M 1 × M 2 , when M 1 × M 2 is compact subset. Let B ψ ( M 1 × M 2 ) denote the classes of all B-bounded function defined on M 1 × M 2 , which equipped the norm on B as f B = sup ( t , s ) , ( v 1 , v 2 ) M 1 × M 2 Δ ( t , s ) f ( v 1 , v 2 ) . As we know to approximate the degree for a set of all B-continuous function on positive linear operators, it is essential to use the properties of mixed-modulus of continuity. So, we let for all ( t , s ) and ( v 1 , v 2 ) M 1 × M 2 and f B ψ ( M 1 × M 2 ) , the mixed-modulus of continuity of function f such that ω B : [ 0 , ) × [ 0 , ) R 2 and be defined such as:
ω B ( f ; δ 1 , δ 2 ) = sup { Δ ( t , s ) f ( v 1 , v 2 ) : t v 1 δ 1 , s v 2 δ 2 } .
For any M 1 × M 2 = [ 0 , ) × [ 0 , ) , we suppose the classes of all B-continuous function defined on M 1 × M 2 denoted by C ψ ( M 1 × M 2 ) . Moreover, let set of all ordinary continuous function defined on M 1 × M 2 be C ( M 1 × M 2 ) . For further details on space of Bögel functions and GBS-type operators related to this paper, we propose the article [33,34,35,36,37,38].
Let ( v 1 , v 2 ) M 1 × M 2 and m 1 , m 2 N . Then, for all f C ( M 1 × M 2 ) , we define the GBS-type new positive linear operators K m 1 , m 2 q 1 , q 2 for the operators J m 1 , m 2 q 1 , q 2 . Thus, we suppose:
K m 1 , m 2 q 1 , q 2 f ( t , s ) ; v 1 , v 2 = J m 1 , m 2 q 1 , q 2 f ( t , v 2 ) + f ( v 1 , s ) f ( t , s ) ; v 1 , v 2 .
More precisely, the generalized GBS operator for the bivariate function is defined as follows:
K m 1 , m 2 q 1 , q 2 f ( t , s ) ; v 1 , v 2 = r 1 , r 2 = 0 U m 1 , q 1 r 1 ( v 1 ) V m 2 , q 2 r 2 ( v 2 ) 0 / A 1 0 / A 2 Q v 1 , v 2 ( t , s ) f q 1 r 1 t , q 2 r 2 s d q 1 t d q 2 s ,
where Q v 1 , v 2 ( t , s ) = T m 1 , m 2 q 1 , q 2 ( t , s ) P v 1 , v 2 ( t , s ) and P v 1 , v 2 ( t , s ) = f ( t , v 2 ) + f ( v 1 , s ) f ( t , s ) .
Theorem 8.
For all f C ψ ( M 1 × M 2 ) , the operators K m 1 , m 2 q 1 , q 2 verify that:
K m 1 , m 2 q 1 , q 2 f ( t , s ) ; v 1 , v 2 f ( v 1 , v 2 ) 4 ω B f ; δ m 1 , m 2 2 , 0 , δ m 1 , m 2 0 , 2 ,
where δ m 1 , m 2 2 , 0 and δ m 1 , m 2 0 , 2 are defined by Theorem 4.
Proof. 
Let ( t , s ) and ( v 1 , v 2 ) M 1 × M 2 . For all m 1 , m 2 N and δ m 1 , δ m 2 > 0 , it follows that:
Δ ( v 1 , v 2 ) f ( t , s ) ω B f ; t v 1 s v 2 1 + t v 1 δ m 1 1 + s v 2 δ m 2 ω B f ; δ m 1 , δ m 2 .
From (45) and the well-known Cauchy–Schwarz inequality, we easily conclude that:
K m 1 , m 2 q 1 , q 2 f ( t , s ) ; v 1 , v 2 f ( v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 Δ ( v 1 , v 2 ) f ( t , s ) ; v 1 , v 2 ( J m 1 , m 2 q 1 , q 2 ( λ 0 , 0 ; v 1 , v 2 ) + 1 δ m 1 J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) 1 2 + 1 δ m 2 J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) 1 2 + 1 δ m 1 J m 1 , m 2 q 1 , q 2 ( ( t v 1 ) 2 ; v 1 , v 2 ) 1 2 × 1 δ m 2 J m 1 , m 2 q 1 , q 2 ( ( s v 2 ) 2 ; v 1 , v 2 ) 1 2 ) ω B f ; δ m 1 , δ m 2 .
In the view of Theorem 4, we easily obtain our results.
If we let x = ( t , s ) , y = ( v 1 , v 2 ) M 1 × M 2 , then the Lipschitz function in terms of B-continuous functions is defined by:
L i p M ξ = { f C ( M 1 × M 2 ) : Δ ( v 1 , v 2 ) f ( x , y ) M x y ξ } ,
where M is a positive constant, 0 < ξ 1 , and the Euclidean norm x y = ( t v 1 ) 2 + ( s v 2 ) 2 .
Theorem 9.
For all f L i p M ξ , the operators K m 1 , m 2 q 1 , q 2 satisfy:
K m 1 , m 2 q 1 , q 2 f ( x , y ) ; v 1 , v 2 f ( v 1 , v 2 ) M δ m 1 , m 2 2 , 0 + δ m 1 , m 2 0 , 2 ξ 2 ,
where δ m 1 , m 2 2 , 0 and δ m 1 , m 2 0 , 2 are defined by Theorem 4.
Proof. 
We easily see that:
K m 1 , m 2 q 1 , q 2 f ( x , y ) ; v 1 , v 2 = J m 1 , m 2 q 1 , q 2 f ( v 1 , y ) + f ( x , v 2 ) f ( x , s ) ; v 1 , v 2 = J m 1 , m 2 q 1 , q 2 f ( v 1 , v 2 ) Δ ( v 1 , v 2 ) f ( x , s ) ; v 1 , v 2 = f ( v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 Δ ( v 1 , v 2 ) f ( x , s ) ; v 1 , v 2 .
Therefore:
K m 1 , m 2 q 1 , q 2 f ( x , y ) ; v 1 , v 2 f ( v 1 , v 2 ) J m 1 , m 2 q 1 , q 2 Δ ( v 1 , v 2 ) f ( x , y ) ; v 1 , v 2 M J m 1 , m 2 q 1 , q 2 x y ξ ; v 1 , v 2 M ( J m 1 , m 2 q 1 , q 2 x y 2 ; v 1 , v 2 ) ξ 2 M ( J m 1 , m 2 q 1 , q 2 ( t v 1 ) 2 ; v 1 , v 2 + J m 1 , m 2 q 1 , q 2 ( s v 2 ) 2 ; v 1 , v 2 ) ξ 2 .
Theorem 10.
For all f D ψ ( M 1 × M 2 ) and D B f B ( M 1 × M 2 ) , we obtain:
K m 1 , m 2 q 1 , q 2 f ; v 1 , v 2 f ( v 1 , v 2 ) C { 1 + 3 D B f } ( v 1 + 1 ) ( v 2 + 1 ) + { 1 + M 2 ( v 1 + 1 ) + M 1 ( v 2 + 1 ) } ( v 1 + 1 ) ( v 2 + 1 ) × ϖ m i x e d ( D B f ; O 1 [ m 1 ] q 1 , O 1 [ m 2 ] q 2 ) ,
where C is any positive constant.
Proof. 
Suppose ρ ( v 1 , t ) , ξ ( v 2 , s ) and
Δ ( v 1 , v 2 ) f ( t , s ) = ( t v 1 ) ( s v 2 ) D B f ( ρ , ξ ) ,
D B f ( ρ , ξ ) = Δ ( v 1 , v 2 ) D B f ( ρ , ξ ) + D B f ( ρ , y ) + D B f ( x , ξ ) D B f ( v 1 , v 2 ) .
For all D B f B ( M 1 × M 2 ) , it follows that:
K m 1 , m 2 q 1 , q 2 Δ ( v 1 , v 2 ) f ( t , s ) ; v 1 , v 2 = K m 1 , m 2 q 1 , q 2 ( t v 1 ) ( s v 2 ) D B f ( ρ , ξ ) ; v 1 , v 2 K m 1 , m 2 q 1 , q 2 t v 1 s v 2 Δ ( v 1 , v 2 ) D B f ( ρ , ξ ) ; v 1 , v 2 + K m 1 , m 2 q 1 , q 2 ( t v 1 s v 2 ( D B f ( ρ , v 2 ) + D B f ( v 1 , ξ ) + D B f ( v 1 , v 2 ) ) ; v 1 , v 2 ) K m 1 , m 2 q 1 , q 2 ( t v 1 s v 2 × ϖ m i x e d D B f ; ρ v 1 , ξ v 2 ; v 1 , v 2 ) + 3 D B f K m 1 , m 2 q 1 , q 2 t v 1 s v 2 ; v 1 , v 2 .
Here, ϖ m i x e d is the mixed-modulus of continuity, and it follows that:
ϖ m i x e d D B f ; ρ v 1 , ξ v 2
ϖ m i x e d D B f ; t v 1 , s v 2 1 + δ m 1 1 t v 1 1 + δ m 2 1 s v 2 ϖ m i x e d D B f ; δ m 1 , δ m 2 .
Therefore, it is obvious that:
K m 1 , m 2 f ; v 1 , v 2 f ( v 1 , v 2 ) = Δ ( v 1 , v 2 ) f ( t , s ) ; v 1 , v 2 3 D B f ( K m 1 , m 2 q 1 , q 2 ( t v 1 ) 2 ( s v 2 ) 2 ; v 1 , v 2 ) 1 2 + ( K m 1 , m 2 q 1 , q 2 t v 1 s v 2 ; v 1 , v 2 + δ m 1 1 K m 1 , m 2 q 1 , q 2 ( t v 1 ) 2 s v 2 ; v 1 , v 2 ) + δ m 2 1 K m 1 , m 2 q 1 , q 2 t v 1 ( s v 2 ) 2 ; v 1 , v 2 + δ m 1 1 δ m 2 1 K m 1 , m 2 q 1 , q 2 ( t v 1 ) 2 ( s v 2 ) 2 ; v 1 , v 2 ϖ m i x e d D B f ; δ m 1 , δ m 2 ; K m 1 , m 2 f ; v 1 , v 2 f ( v 1 , v 2 ) = Δ ( v 1 , v 2 ) f ( t , s ) ; v 1 , v 2 3 D B f ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 2 ; v 1 , v 2 ) 1 2 + { ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 2 ; v 1 , v 2 ) 1 2 + δ m 1 1 ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 4 , 2 ; v 1 , v 2 ) 1 2 + δ m 2 1 ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 4 ; v 1 , v 2 ) 1 2 + δ m 1 1 δ m 2 1 K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 2 ; v 1 , v 2 } ϖ m i x e d D B f ; δ m 1 , δ m 2
which follows that:
K m 1 , m 2 f ; v 1 , v 2 f ( v 1 , v 2 ) = 3 D B f ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 0 ; v 1 , v 2 K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 0 , 2 ; v 1 , v 2 ) 1 2 + { ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 0 ; v 1 , v 2 K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 0 , 2 ; v 1 , v 2 ) 1 2 + δ m 1 1 ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 4 , 0 ; v 1 , v 2 K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 0 , 2 ; v 1 , v 2 ) 1 2 + δ m 2 1 ( K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 0 ; v 1 , v 2 K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 0 , 4 ; v 1 , v 2 ) 1 2 + δ m 1 1 δ m 2 1 K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 2 , 0 ; v 1 , v 2 K m 1 , m 2 q 1 , q 2 Φ v 1 , v 2 0 , 2 ; v 1 , v 2 } × ϖ m i x e d D B f ; δ m 1 , δ m 2 .
From Lemma 5, we demonstrate:
K m 1 , m 2 f ; v 1 , v 2 f ( v 1 , v 2 ) 3 D B f ( M 1 M 2 ( v 1 + 1 ) ( v 2 + 1 ) ) + { ( M 1 M 2 ( v 1 + 1 ) ( v 2 + 1 ) ) + δ m 1 1 ( M 2 O 1 [ m 1 ] q 1 ( v 1 + 1 ) 2 ( v 2 + 1 ) ) + δ m 2 1 ( M 1 O 1 [ m 2 ] q 2 ( v 2 + 1 ) 2 ( v 1 + 1 ) ) + δ m 1 1 δ m 2 1 O 1 [ m 1 ] q 1 O 1 [ m 2 ] q 2 ( v 1 + 1 ) ( v 2 + 1 ) } × ϖ m i x e d D B f ; δ m 1 , δ m 2 ,
where, in the view of Theorem 1, we have δ m i = O 1 [ m i ] q i for i = 1 , 2 , which completes the proof of Theorem 10. □

5. Conclusions

In our investigation, we introduced the bivariate form of the previous operators [13] and then obtained the GBS-type approximation in the Bögel continuous function. These types of constructions of operators give an extended form of Jakimovski–Leviatan-Beta type q —integral operators given by [13]. We studied the bivariate properties of our new operators by the use of the modulus of continuity and the mixed-modulus of continuity and then obtained the degree of approximations for Lipschitz-class maximal functions. Moreover, we are mentioning here that the convergence at a certain point by GBS-type operators defined by (46) is more generalized than the bivariate operator (15) and the operator defined by [13]. Finally, in our future work, we will study the statistical approximation of these operators, as well as the approximation properties, by using power series methods, including some shape-preserving properties of these types operators.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not Applicable.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Szász, O. Generalization of Bernstein’s polynomials to the infinite interval. J. Res. Nat. Bur. Stds. 1950, 45, 239–245. [Google Scholar] [CrossRef]
  2. Appell, P. Une classe de polynômes. Ann. Sci. École Norm. Sup. 1880, 9, 119–144. [Google Scholar] [CrossRef] [Green Version]
  3. Büyükyazıcı, İ.; Tanberkan, H.; Serenbay, S.; Atakut, C. Approximation by Chlodowsky type Jakimovski-Leviatan operators. J. Comput. Appl. Math. 2014, 259, 153–163. [Google Scholar] [CrossRef]
  4. Cai, Q.B.; Çekim, B.; Íçöz, G. Gamma Generalization Operators Involving Analytic Functions. Mathematics 2021, 9, 1547. [Google Scholar] [CrossRef]
  5. Çekim, B.; Aktaş, R.; Íçöz, G. Kantorovich-Stancu type operators including Boas-Buck type polynomials. Hacet. J. Math. Stat. 2019, 48, 460–471. [Google Scholar] [CrossRef]
  6. Çekim, B.; Taşdelen, F. A Kantorovich-Stancu Type Generalization of Szasz Operators including Brenke Type Polynomials. J. Funct. Spaces Appl. 2013, 9, 935430. [Google Scholar]
  7. Mursaleen, M.; Khan, T. On approximation by Stancu type Jakimovski-Leviatan-Durrmeyer operators. Azerb. J. Math. 2017, 7, 16–26. [Google Scholar] [CrossRef] [Green Version]
  8. Sucu, S.; Varma, S. Approximation by Sequence of Operators Involving Analytic Functions. Mathematics 2019, 7, 188. [Google Scholar] [CrossRef] [Green Version]
  9. Sucu, S.; Íçöz, G.; Varma, S. On Some Extensions of Szász Operators Including Boas-Buck-Type Polynomials. Abstr. Appl. Anal. 2012, 2012, 680340. [Google Scholar] [CrossRef] [Green Version]
  10. Varmaa, S.; Sucua, S.; İçözb, G. Generalization of Szasz operators involving Brenke type polynomials. Comput. Math. Appl. 2012, 64, 121–127. [Google Scholar] [CrossRef] [Green Version]
  11. Al-Salam, W.A. q-Appell polynomials. Ann. Mat. Pura Appl. 1967, 4, 31–45. [Google Scholar] [CrossRef]
  12. Keleshteri, M.E.; Mahmudov, N.I. A study on q-Appell polynomials from determinantal point of view. Appl. Math. Comp. 2015, 260, 351–369. [Google Scholar] [CrossRef] [Green Version]
  13. Alotaibi, A.; Mursaleen, M. Approximation of Jakimovski-Leviatan-Beta type integral operators via q-calculus. AIMS Math. 2020, 5, 3019–3034. [Google Scholar] [CrossRef]
  14. Nasiruzzaman, M. Approximation properties by Szász operators to bivariate functions via Dunkl analogue. Iran. J. Sci. Technol. Trans. Sci. 2021, 45, 259–269. [Google Scholar] [CrossRef]
  15. Nasiruzzaman, M.; Aljohani, A.F. Approximation by Szász-Jakimovski-Leviatan type operators via aid of Appell polynomials. J. Funct. Spaces 2020, 2020, 9657489. [Google Scholar] [CrossRef]
  16. Nasiruzzaman, M.; Aljohani, A.F. Approximation by parametric extension of Szász-Mirakjan-Kantorovich operators involving the Appell polynomials. J. Funct. Spaces 2020, 2020, 8863664. [Google Scholar] [CrossRef]
  17. Nasiruzzaman, M.; Mursaleen, M. Approximation by Jakimovski-Leviatan-Beta operators in weighted space. Adv. Differ. Equ. 2020, 2020, 393. [Google Scholar] [CrossRef]
  18. Nasiruzzaman, M.; Rao, N.; Kumar, M.; Kumar, R. Approximation on bivariate parametric-extension of Baskakov-Durrmeyer-operators. Filomat 2021, 35, 2783–2800. [Google Scholar] [CrossRef]
  19. Nasiruzzaman, M.; Ansari, K.J.; Mursaleen, M. On the parametric approximation results of Phillips operators involving the q-Appell polynomials. Iran. J. Sci. Technol. Trans. Sci. 2021, 46, 251–263. [Google Scholar] [CrossRef]
  20. Mohiuddine, S.A.; Acar, T.; Alotaibi, A. Construction of a new family of Bernstein-Kantorovich operators. Math. Meth. Appl. Sci. 2017, 40, 7749–7759. [Google Scholar] [CrossRef]
  21. Mohiuddine, S.A.; Ahmad, N.; Özger, F.; Alotaibi, A.; Hazarika, B. Approximation by the parametric generalization of Baskakov-Kantorovich operators linking with Stancu operators. Iran. J. Sci. Technol. Trans. Sci. 2021, 45, 593–605. [Google Scholar] [CrossRef]
  22. Mohiuddine, S.A.; Hazarika, B.; Alghamdi, M.A. Ideal relatively uniform convergence with Korovkin and Voronovskaya types approximation theorems. Filomat 2019, 33, 4549–4560. [Google Scholar] [CrossRef] [Green Version]
  23. Mohiuddine, S.A.; Özger, F. Approximation of functions by Stancu variant of Bernstein-Kantorovich operators based on shape parameter α. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM 2020, 114, 70. [Google Scholar] [CrossRef]
  24. Mursaleen, M.; Ansari, K.J.; Nasiruzzaman, M. Approximation by q-analogue of Jakimovski-Leviatan operators involving q-Appell polynomials. Iran. J. Sci. Technol. Trans. Sci. 2017, 41, 891–900. [Google Scholar] [CrossRef]
  25. Mursaleen, M.; Nasiruzzaman, M. Dunkl generalization of Kantorovich type Szasz-Mirakjan operators via q-calculus. Asian Eur. J. Math. 2017, 10, 1750077. [Google Scholar] [CrossRef]
  26. Acar, T.; Kajla, A. Degree of Approximation for bivariate generalized Bernstein type operators. Results Math. 2018, 73, 79. [Google Scholar] [CrossRef]
  27. Kajla, A.; Mohiuddine, S.A.; Alotaibi, A. Blending-type approximation by Lupaş-Durrmeyer-type operators involving Pólya distribution. Math. Meth. Appl. Sci. 2021, 44, 9407–9418. [Google Scholar] [CrossRef]
  28. Özger, F.; Srivastava, H.M.; Mohiuddine, S.A. Approximation of functions by a new class of generalized Bernstein-Schurer operators. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM 2020, 114, 173. [Google Scholar] [CrossRef]
  29. Rao, N.; Nasiruzzaman, M.; Heshamuddin, M.; Shadab, M. Approximation properties by modified Baskakov-Durrmeyer operators based on shape Parameter α. Iran. J. Sci. Technol. Trans. Sci. 2021, 45, 1457–1465. [Google Scholar] [CrossRef]
  30. Rao, N.; Wafi, A.; Acu, A.M. q-Szász-Durrmeyer type operators based on Dunkl analogue. Complex Anal. Oper. Theory 2019, 13, 915–934. [Google Scholar] [CrossRef]
  31. Gadẑiev, A.D. Positive linear operators in weighted spaces of functions of several variables, Izv. Akad. Nauk Azerbaidzhan. SSR Ser. Fiz.-Tekhn. Mat. Nauk. 1980, 4, 32–37. [Google Scholar]
  32. Gadẑiev, A.D.; Hacisalihoglu, H. Convergence of the Sequences of Linear Positive Operators; Ankara University: Yenimahalle, UK, 1995. [Google Scholar]
  33. Agrawal, P.N.; Ispir, N.; Kajla, A. GBS Operators of Lupaş-Durrmeyer Type Based on Polya Distribution. Results Math. 2016, 69, 397–418. [Google Scholar] [CrossRef]
  34. Bărbosu, D. On the approximation some GBS type operators. Bul. Ştiinţ. Univ. Baia. Mare Ser. B Math.-Inform. 2000, 16, 247–254. [Google Scholar]
  35. Bögel, K. Mehrdimensionale differentiation von Funktionen mehrerer veränderlichen. J. Reine Angew. Math. 1934, 170, 197–217. [Google Scholar]
  36. Bögel, K. Über die mehrdimensionale differentiation. Jahresber. Dtsch. Math. Ver. 1935, 65, 45–71. [Google Scholar]
  37. Cai, Q.B.; Cheng, W.T.; Çekim, B. Bivariate α,q-Bernstein-Kantorovich operators and GBS operators of bivariate α,q-Bernstein-Kantorovich type. Mathematics 2019, 7, 1161. [Google Scholar] [CrossRef] [Green Version]
  38. Mohiuddine, S.A. Approximation by bivariate generalized Bernstein-Schurer operators and associated GBS operators. Adv. Differ. Equ. 2020, 2020, 676. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Alotaibi, A. Approximation of GBS Type q-Jakimovski-Leviatan-Beta Integral Operators in Bögel Space. Mathematics 2022, 10, 675. https://doi.org/10.3390/math10050675

AMA Style

Alotaibi A. Approximation of GBS Type q-Jakimovski-Leviatan-Beta Integral Operators in Bögel Space. Mathematics. 2022; 10(5):675. https://doi.org/10.3390/math10050675

Chicago/Turabian Style

Alotaibi, Abdullah. 2022. "Approximation of GBS Type q-Jakimovski-Leviatan-Beta Integral Operators in Bögel Space" Mathematics 10, no. 5: 675. https://doi.org/10.3390/math10050675

APA Style

Alotaibi, A. (2022). Approximation of GBS Type q-Jakimovski-Leviatan-Beta Integral Operators in Bögel Space. Mathematics, 10(5), 675. https://doi.org/10.3390/math10050675

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop