Home Iterates of q-Bernstein operators on triangular domain with all curved sides
Article Open Access

Iterates of q-Bernstein operators on triangular domain with all curved sides

  • Mohammad Iliyas , Asif Khan , Mohd Arif , Mohammad Mursaleen EMAIL logo and Mudassir Rashid Lone
Published/Copyright: November 30, 2022
Become an author with De Gruyter Brill

Abstract

In this article, Phillips-type Bernstein operators ( m , q t F ) ( t , s ) and ( n , q s F ) ( t , s ) , their products, and Boolean sum based on q-integer have been studied on a triangle with all curved sides. Furthermore, convergence of iterates of these operators have been analyzed using the weakly Picard operators technique and the contraction principle.

MSC 2010: 41A05; 41A35; 41A36

1 Introduction and essential preliminaries

In 1912, S.N. Bernstein constructed sequence of polynomials (which are now famous as Bernstein polynomials) to approximate continuous function on compact interval to give a constructive proof of Weierstrass approximation theorem [1,2] by using probabilistic interpolation approach.

Further, with evolution of q-calculus (quantum calculus), Lupaş constructed a q-analogue of Bernstein operators (rational) [3]. In 1997, Phillips [4] produced another generalization of Bernstein polynomials using q-integers called as q-Bernstein polynomials. One can see a survey of the obtained results and references on the subject in [5]. The approximating operators on triangle and their basis are important from applications point of view in finite element analysis [6] and computer-aided geometric design [7,8,9].

Recently, Khan et al. constructed q-analogue of Phillips-type Bernstein operators on triangles in [10] and Lupaş-type Bernstein operators on triangles in [11]. Motivated by the work of Rus [12], on the basis of the contraction principle and the weakly Picard operators technique, we study the convergence of iterates of q-analogue of Phillips-type Bernstein operators. For relevant papers on the classical operators and their approximation properties on triangles, one can see [7,13,14, 15,16]. For other papers on convergence of the iterates, one can refer [12,17, 18,19]. For details about operators of q-Bernstein-type and its approximation properties, one can see [20,21, 22,23,24, 25,26].

In this article, we would like to attract to the Phillips q-analogue of Bernstein operators and obtain new results on triangles with all curved sides. We construct new operators, Phillips-type q-Bernstein operators, which interpolate the given function on the edges of a triangle with all curved sides. Also, we study and discuss product and Boolean sum operators for a function defined on a triangle with all curved sides. By using the contraction principle and the Weakly Picard operators technique, we study the convergence of iterates of these operators and their fixed points. For other relevant works, one can see [27,28, 29,30,31, 32,33].

To represent results by Phillips, we recall the following definitions. Let q > 0 . For any m = 0 , 1 , 2 , , the q-integer [ m ] q is defined by

[ m ] q 1 + q + + q m 1 m = 1 , 2 , , [ 0 ] q 0 ,

and the q-factorial [ m ] q ! is defined by

[ m ] q ! [ 1 ] q [ 2 ] q [ m ] q m = 1 , 2 , , [ 0 ] q ! = 1 .

For more details about q-calculus, like q-binomial or the Gaussian coefficient, Pascal’s identity etc., one can refer [10,34].

In the next section, we construct and study quantum analogue of operators studied in [10] on triangle with all curved sides.

2 Construction of new univariate operators using quantum calculus on triangle with all curved sides

Let F be a real-valued function defined on the triangular domain with all curved sides T h (see Figure 1 in [35]). Let ( g 2 ( s ) , s ) , ( g 3 ( s ) , s ) , and ( t , f 1 ( t ) ) , ( t , f 3 ( t ) ) be the points in which the parallel lines to the coordinates axes passing through the point ( t , s ) T h intersecting the edges Γ 1 , Γ 2 , and Γ 3 . We take the uniform partitions of the intervals [ g 2 ( s ) , g 3 ( s ) ] and [ f 1 ( t ) , f 3 ( t ) ] , t , s [ 0 , h ] .

Let

(2.1) m s = g 2 ( s ) + [ i ] q g 3 ( s ) g 2 ( s ) [ m ] q i = 0 , m ¯

and

(2.2) n t = f 1 ( t ) + [ j ] q f 3 ( t ) f 1 ( t ) [ n ] q j = 0 , n ¯ .

Now, we construct the new Phillips-type Bernstein operators m , q t and n , q s on triangle with all curved sides based on quantum integer as follows:

(2.3) ( m , q t F ) ( t , s ) = i = 0 m p ˜ m , i ( t , s ) F g 2 ( s ) + [ i ] q g 3 ( s ) g 2 ( s ) [ m ] q , s , ( t , s ) T h ( 0 , h )

and

(2.4) ( n , q s F ) ( t , s ) = j = 0 n q ˜ n , j ( t , s ) f t , f 1 ( t ) + [ j ] q f 3 ( t ) f 1 ( t ) [ n ] q , ( t , s ) T h ( h , 0 ) ,

where

(2.5) p ˜ m , i ( t , s ) = m i q [ t g 2 ( s ) ] i r = 0 m i 1 g 3 ( s ) g 2 ( s ) q r ( t g 2 ( s ) ) [ g 3 ( s ) g 2 ( s ) ] m , ( t , s ) T h ( 0 , h )

and

(2.6) q ˜ n , j ( t , s ) = n j q [ s f 1 ( t ) ] j r = 0 n j 1 f 3 ( t ) f 1 ( t ) q r ( s f 1 ( t ) ) [ f 3 ( t ) f 1 ( t ) ] n , ( t , s ) T h ( h , 0 ) .

Note that at vertices ( h , 0 ) and ( 0 , h ) , we assume that ( n , q s F ) ( h , 0 ) = F ( h , 0 ) and ( m , q t F ) ( 0 , h ) = F ( 0 , h ) .

Theorem 2.1

For a real-valued function F defined on T h , we have

( i ) m , q t F = F o n Γ 2 Γ 3 ;

( i i ) n , q s F = F o n Γ 1 Γ 3 ;

(2.7) ( i i i ) ( m , q t e i 0 ) ( t , s ) = t i , i = 0 , 1 ,

(2.8) ( m , q t e i j ) ( t , s ) = s j ( m , q t e i j ) ( t , s ) , i = 0 , 1 , 2 ; j N ,

(2.9) m , q t e 20 = t 2 + [ t g 2 ( s ) ] [ g 3 ( s ) t ] [ m ] q ,

(2.10) ( i v ) ( n , q s e 0 j ) ( t , s ) = s j , j = 0 , 1 ,

(2.11) m , q s e 02 = s 2 + [ s f 1 ( t ) ] [ f 3 ( t ) s ] [ n ] q ,

(2.12) ( m , q s e i j ) ( t , s ) = t i ( n , q s e 0 j ) ( t , s ) , j = 0 , 1 , 2 ; i N .

Let P m n , q = m , q t n , q s , and let Q n m , q = n , q s m , q t be the products of the operators m , q t and n , q s . We have

(2.13) ( P m n , q F ) ( s , t ) = i = 0 m j = 0 n p ˜ m , i ( t , s ) q ˜ n , j ( t i , s ) F t i , f 1 ( t i ) + [ j ] q f 3 ( t i ) f 1 ( t i ) [ n ] q

with t i = g 2 ( s ) + [ i ] q g 3 ( s ) g 2 ( s ) [ m ] q , respectively,

(2.14) ( Q n m , q F ) ( t , s ) = i = 0 m j = 0 n p ˜ m , i ( t , s j ) q ˜ n , j ( t , s ) F g 2 ( s j ) + [ i ] q g 3 ( s j ) g 2 ( s j ) [ m ] q , s j

with s j = f 1 ( t ) + [ j ] q f 3 ( t ) f 1 ( t ) [ n ] q .

Theorem 2.2

If F is real-valued function defined on T h , then

  1. ( P m n , q F ) ( V 3 ) = F ( V 3 ) , ( P m n , q F ) = F on Γ 3 and

  2. ( Q n m , q F ) ( V 3 ) = F ( V 3 ) , ( Q n m , q F ) = F on Γ 3 .

We define the Boolean sums of operators m , q t and n , q s as follows:

S m n , q m , q t n , q s = m , q t + n , q s m , q t n , q s ,

respectively,

T n m , q n , q s m , q t = n , q s + m , q t n , q s m , q t .

Theorem 2.3

For a real-valued function F defined on T h , we have

S m n , q F T h = F T h ,

T n m , q F T h = F T h .

3 Weakly Picard operators

Now we recall definition of weakly Picard operators [36].

Let ( V , d ) be metric space and B : V V be an operator. We denote by F B { t V B ( t ) = t } for the set of fixed points of B , and I ( B ) { Z V B ( Z ) Z , Z Φ } for the family of nonempty invariant subsets of B . Let B 0 I V , B 1 B , , B n + 1 B o B n , n N .

Definition 3.1

The operator B : V V is a Picard operator if there exists v V such that

  1. F B = ( v ) ;

  2. the sequence ( B n ( v 0 ) ) n N converges to v for all v 0 V .

Definition 3.2

If B is a Weakly Picard operator, then we consider the operator B , B : V V , defined by

B ( v ) lim n B n ( v ) .

Definition 3.3

An operator B is a Weakly Picard operator if and only if there exists a partition of V , V = μ V μ , such that

  1. V μ I ( B ) , for all μ .

  2. B V μ : V μ V μ is a Picard operator for all μ .

4 Iterates of Bernstein-type operators

Let us consider a real-valued function F defined on T h ; h R + . By using the contraction principle and weakly Picard operators technique, we examine the convergence of iterates of the Bernstein-type operators of their product and Boolean sum operators. The limits behavior for the iterates of some classes of positive linear operators are examined in [12,17,18, 19,35,37, 38,39]. In [17,38,39], new methods were (e.g., Korovkin of the iterates) studied for the asymptotic behavior of the iterates of positive linear operators retaining the affine functions and defined on the space of bounded real-valued functions on [ 0 , 1 ] . This technique extends the class of operators for which the limit of the iterates may be computed.

Now we investigate the convergence of the iterates of Bernstein-type operators and the convergence behavior of the iterates of Phillips-type q-Bernstein operators (2.3) and (2.4).

Theorem 4.1

The operators m , q t and n , q s are weakly Picard operators and

( m , q t , ) ( t , s ) = F ( g 3 ( s ) , s ) F ( g 2 ( s ) , s ) g 3 ( s ) g 2 ( s ) t + g 3 ( s ) F ( g 2 ( s ) , s ) g 2 ( s ) F ( g 3 ( s ) , s ) g 3 ( s ) g 2 ( s ) ( n , q s , ) ( t , s ) = F ( t , f 3 ( t ) ) F ( t , f 1 ( t ) ) f 3 ( t ) f 1 ( t ) s + f 3 ( t ) F ( t , f 1 ( t ) ) f 1 ( t ) F ( t , f 3 ( t ) ) f 3 ( t ) f 1 ( t ) .

Proof

We use interpolation properties of m , q t and n , q s (from Theorem 2.1). Let us consider

X τ Γ 2 , τ Γ 3 ( 1 ) = { F C ( T h ) F ( g 2 ( s ) , s ) = τ Γ 2 , F ( g 3 ( s ) , s ) = τ Γ 3 } , for s [ 0 , h ] , X χ Γ 1 , χ Γ 3 ( 2 ) = { F C ( T h ) F ( t , f 1 ( t ) ) = χ Γ 1 , F ( t , f 3 ( t ) ) = χ Γ 3 } , for t [ 0 , h ]

and denote

F τ Γ 2 , τ Γ 3 ( 1 ) ( t , s ) τ Γ 3 τ Γ 2 g 3 ( s ) g 2 ( s ) t + g 3 ( s ) τ Γ 2 g 2 ( s ) τ Γ 3 g 3 ( s ) g 2 ( s ) F χ Γ 1 , χ Γ 3 ( 2 ) ( t , s ) χ Γ 3 χ Γ 1 f 3 ( t ) f 1 ( t ) t + f 3 ( t ) χ Γ 1 f 1 ( t ) χ Γ 3 f 3 ( t ) f 1 ( t )

with τ , χ C ( T h ) .

One can easily notice the following:

  1. X τ Γ 2 , τ Γ 3 ( 1 ) and X χ Γ 1 , χ Γ 3 ( 2 ) are the closed subsets of C ( T h ) ;

  2. X τ Γ 2 , τ Γ 3 ( 1 ) and X χ Γ 1 , χ Γ 3 ( 2 ) are invariant subsets of m , q t and n , q s , respectively, for τ , χ C ( T h ) and n , m N ;

  3. C ( T h ) = τ C ( T h ) X τ Γ 2 , τ Γ 3 ( 1 ) and C ( T h ) = χ C ( T h ) X χ Γ 1 , χ Γ 3 ( 2 ) are partitions of C ( T h ) ;

  4. F τ Γ 2 , τ Γ 3 ( 1 ) X τ Γ 2 , τ Γ 3 ( 1 ) F m , q t and F χ Γ 1 , χ Γ 3 ( 2 ) X χ Γ 1 , χ Γ 3 ( 2 ) F n , q s , where F m , q t and F n , q s are the fixed points sets of m , q t and n , q s .

One can easily prove the statements (i) and (iii).

(ii) Using linearity of operator 2.3 and Theorem 2.1, it follows that F τ Γ 2 , τ Γ 3 ( 1 ) X τ Γ 2 , τ Γ 3 ( 1 ) and F χ Γ 1 , χ Γ 3 ( 2 ) X χ Γ 1 , χ Γ 3 ( 2 ) ;

we have

m , q t F τ Γ 2 , τ Γ 3 ( 1 ) F τ Γ 2 , τ Γ 3 ( 1 ) , n , q s F χ Γ 1 , χ Γ 3 ( 2 ) ( t , s ) F χ Γ 1 , χ Γ 3 ( 1 ) ( t , s ) .

So, X τ Γ 2 , τ Γ 3 ( 1 ) and X χ Γ 1 , χ Γ 3 ( 2 ) are invariant subsets of m , q t and n , q s , respectively, for τ , χ C ( T h ) and n , m N .

Now we prove that m , q t τ Γ 2 , τ Γ 3 : X τ Γ 2 , τ Γ 3 ( 1 ) X τ Γ 2 , τ Γ 3 ( 1 ) ( t , s ) , n , q S χ Γ 1 , χ Γ 3 : X χ Γ 1 , χ Γ 3 ( 2 ) X χ Γ 1 , χ Γ 3 ( 2 ) ( t , s ) , are contraction maps for τ , χ C ( T h ) and n , m N . Let F , G X τ Γ 2 , τ Γ 3 ( 1 ) . From (3), we have, for instant fixing s ,

u m = min g 2 ( s ) t g 3 ( s ) { p ˜ m , 0 ( t , s ) + p ˜ m , m ( t , s ) } , u m = min g 2 ( s ) t g 3 ( s ) g 3 ( s ) t g 3 ( s ) g 2 ( s ) m + t g 2 ( s ) g 3 ( s ) g 2 ( s ) m .

Observe that 0 < u m < 1 .

m , q t ( F ) ( t , s ) m , q t ( G ) ( t , s ) = m , q t ( F G ) ( t , s ) 1 u m F G . m , q t ( F G ) ( t , s ) 1 u m F G for all F , G X τ Γ 2 , τ Γ 3 ( 1 ) .

Hence, m , q t X τ Γ 2 , τ Γ 3 ( 1 ) is a contraction for τ C ( T h ) .

Similarly, we have 0 < v n < 1 . For instance, for a fix t ,

v n = min f 1 ( t ) y f 3 ( t ) { ˜ q n , 0 ( t , s ) + q ˜ n , n ( t , s ) } , v n = min f 1 ( t ) s f 3 ( t ) f 3 ( t ) s f 3 ( t ) f 1 ( t ) n + s f 1 ( t ) f 3 ( t ) f 1 ( t ) n ,

n , q s ( F ) ( t , s ) m , q s ( G ) ( t , s ) = n , q s ( F G ) ( t , s ) 1 v n F G ,

n , q s ( F ) ( t , s ) n , q s ( G ) ( t , s ) 1 v n F G , for all F , G X χ Γ 1 , χ Γ 3 ( 2 ) .

Since 0 < v n < 1 , n , q s X χ Γ 1 , χ Γ 3 ( 2 ) is a contraction for χ C ( T h ) .

On the other hand, ( τ Γ 3 τ Γ 2 ) ( g 3 ( s ) g 2 ( s ) ) ( ) + ( g 3 ( s ) τ Γ 2 g 2 ( s ) τ Γ 3 ) ( g 3 ( s ) g 2 ( s ) ) X τ Γ 2 , τ Γ 3 ( 1 ) , and ( χ Γ 3 χ Γ 1 ) ( f 3 ( t ) f 1 ( t ) ) ( ) + ( f 3 ( t ) χ Γ 1 f 1 ( t ) χ Γ 3 ) ( f 3 ( t ) f 1 ( t ) ) X χ Γ 1 , χ Γ 3 ( 2 ) are the fixed points of maps m , q t and n , q s , that is,

m , q t τ Γ 3 τ Γ 2 g 3 ( s ) g 2 ( s ) ( ) + g 3 ( s ) τ Γ 2 g 2 ( s ) τ Γ 3 g 3 ( s ) g 2 ( s ) = τ Γ 3 τ Γ 2 g 3 ( s ) g 2 ( s ) ( ) + g 3 ( s ) τ Γ 2 g 2 ( s ) τ Γ 3 g 3 ( s ) g 2 ( s ) n , q s χ Γ 3 χ Γ 1 f 3 ( t ) f 1 ( t ) ( ) + f 3 ( t ) χ Γ 1 f 1 ( t ) χ Γ 3 f 3 ( t ) f 1 ( t ) = χ Γ 3 χ Γ 1 f 3 ( t ) f 1 ( t ) ( ) + f 3 ( t ) χ Γ 1 f 1 ( t ) χ Γ 3 f 3 ( t ) f 1 ( t ) .

Using contraction principle, F τ Γ 2 , τ Γ 3 ( 1 ) ( t , s ) ( τ Γ 3 τ Γ 2 ) ( g 3 ( s ) g 2 ( s ) ) ( t ) + ( g 3 ( s ) τ Γ 2 g 2 ( s ) τ Γ 3 ) ( g 3 ( s ) g 2 ( s ) ) is the only fixed point of m , q t in X τ Γ 2 , τ Γ 3 ( 1 ) and m , q t X τ Γ 2 ( 1 ) , τ Γ 3 is a Picard operator, with

( m , q t , ) ( t , s ) = F ( g 3 ( s ) , s ) F ( g 2 ( s ) , s ) g 3 ( s ) g 2 ( s ) t + g 3 ( s ) F ( g 2 ( s ) , s ) g 2 ( s ) F ( g 3 ( s ) , s ) g 3 ( s ) g 2 ( s ) ,

and similarly, F χ Γ 2 , χ Γ 3 ( 2 ) ( s , t ) ( χ Γ 3 χ Γ 2 ) ( f 3 ( t ) f 1 ( t ) ) ( s ) + ( f 3 ( t ) χ Γ 1 f 1 ( t ) χ Γ 3 ) ( f 3 ( t ) f 1 ( t ) ) is the unique fixed point of operator X χ Γ 2 , χ Γ 3 ( 2 ) .

( n , q s , ) ( t , s ) = F ( t , f 1 ( t ) ) F ( t , f 2 ( t ) ) f 3 ( t ) f 1 ( t ) s + f 3 ( t ) F ( t , f 1 ( t ) ) f 1 ( t ) F ( t , f 3 ( t ) ) f 3 ( t ) f 1 ( t ) .

Consequently, it is easy to notice that operators m , q t and n , q s are weakly Picard operators.□

Now we inspect the convergence of sequence of the product and Boolean sum of Phillips-type q-Bernstein-type operators.

Theorem 4.2

The operator P m n , q is a weakly Picard operator and

( P m n , q F ) ( t , s ) = 1 [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ g 3 ( s ) f 3 ( t 0 ) F ( t 0 , f 1 ( t 0 ) ) + g 2 ( s ) f 1 ( t 1 ) × F ( t 1 , f 3 ( t 1 ) ) g 3 ( s ) f 1 ( t 1 ) × F ( t 0 , f 3 ( t 0 ) ) g 2 ( s ) f 3 ( t 0 ) F ( t 1 , f 1 ( t 1 ) ) ] + t [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ f 1 ( t 1 ) F ( t 0 , f 3 ( t 0 ) ) + f 3 ( t 0 ) F ( t 1 , f 1 ( t 1 ) ) f 3 ( t 0 ) F ( t 0 , f 1 ( t 0 ) ) f 1 ( t 0 ) F ( t 1 , f 3 ( t 1 ) ) ] + s [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ g 3 ( s ) F ( t 0 , f 3 ( t 0 ) ) + g 2 ( s ) F ( t 1 , f 1 ( t 1 ) ) g 3 ( s ) × F ( t 0 , f 1 ( t 0 ) ) g 2 ( s ) F ( t 1 , f 3 ( t 1 ) ) ] + t s [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ F ( t 0 , f 1 ( t 0 ) ) + F ( t 1 , f 3 ( t 1 ) ) F ( t 0 , f 3 ( t 0 ) ) F ( t 1 , f 1 ( t 1 ) ) ] ,

with t 0 = g 2 ( s ) , t 1 = g 3 ( s ) .

Proof

Let X ζ , η , θ , ϑ = { F C ( T h ) F ( t 0 , f 1 ( t 0 ) ) = ζ , F ( t 1 , f 1 ( t 1 ) ) = η , F ( t 1 , f 1 ( t 1 ) ) = θ , F ( t 0 , f 3 ( t 0 ) ) = ϑ } and denote

F ζ , η , θ , ϑ ( s , t ) ( g 3 ( s ) f 3 ( t 0 ) ζ + g 2 ( s ) f 1 ( t 1 ) θ g 3 ( s ) f 1 ( t 1 ) ϑ g 2 ( s ) f 3 ( t 0 ) η ) × ( [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] ) 1 + f 1 ( t 1 ) ϑ + f 3 ( t 0 ) η f 3 ( t 0 ) ζ f 1 ( ( t 0 ) ) θ [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] t + g 3 ( s ) ϑ + g 2 ( s ) θ g 3 ( s ) ζ g 2 ( ( s ) ) θ [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] s + ζ + θ η ϑ [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] t s

with ζ , η , θ , ϑ R .

We observe that

  1. X ζ , η , θ , ϑ is closed subset of C ( T h ) ;

  2. X ζ , η , θ , ϑ is an invariant subset of P m n , q for ζ , η , θ , ϑ R and n , m N ;

  3. C ( T h ) = ζ , η , θ , ϑ X ζ , η , θ , ϑ is a partition of C ( T h ) ;

  4. F ζ , η , θ , ϑ X ζ , η , θ , ϑ F P m n , q , where F P m n , q indicate the fixed points sets of P m n , q .

The statements (i) and (iii) are easy to follow.

(ii) Similarly the same idea of proof of Theorem 4.1, by linearity of Phillips-type-q Bernstein operators and Theorem 2.2, it is easy to observe that X ζ , η , θ , ϑ is invariant subset of P n m , q for ζ , η , θ , ϑ R and n , m N

(iv) Now we show that P m n , q X ζ , η , θ , ϑ : X ζ , η , θ , ϑ X ζ , η , θ , ϑ is a contraction for ζ , η , θ , ϑ R n , m N . Let F , G X ζ , η , θ , ϑ . With the same idea as used in [19], it follows that, since

j m n = u m v n , j m n = min g 2 ( s ) t g 3 ( s ) t g 2 ( s ) g 3 ( s ) g 2 ( s ) m + g 3 ( s ) t g 3 ( s ) g 2 ( s ) m min f 1 ( t ) s f 3 ( t ) s f 1 ( t ) f 3 ( t ) f 2 ( t ) n + f 3 ( t ) s f 3 ( t ) f 2 ( t ) n ,

we have

P m n , q ( F ) ( t , s ) P m n , q ( G ) ( t , s ) = P m n , q ( F G ) ( t , s ) 1 u m v n F G 1 j m n F G .

Since 0 < j m n < 1 , P m n , q X ζ , η , θ , ϑ is a contraction for ζ , η , θ , ϑ R .

So, P m n , q ( F ) ( t , s ) P m n , q ( G ) ( t , s ) ( 1 j m n ) F G that P n m , q X ζ , η , θ , ϑ is the contraction for ζ , η , θ , ϑ R .

With the help of the contraction principle, F ζ , η , θ , ϑ is the only fixed point of P m n , q in X ζ , η , θ , ϑ and P m n , q X ζ , η , θ , ϑ is a Picard operator. It is easy to note that the operator P m n , q is the weakly Picard operator.□

Remark 4.3

We have a analogously similar result for operator Q n m , q .

Theorem 4.4

The operator S m n , q is weakly Picard operator

( S m n , q F ) ( t , s ) = F ( g 3 ( s ) , s ) F ( g 2 ( s ) , s ) g 3 ( s ) g 2 ( s ) t + g 3 ( s ) F ( g 2 ( s ) , s ) g 2 ( s ) F ( g 3 ( s ) , s ) g 3 ( s ) g 2 ( s ) + F ( t , f 3 ( t ) ) F ( t , f 1 ( t ) ) f 3 ( t ) f 1 ( t ) s + f 3 ( t ) F ( t , f 1 ( t ) ) f 1 ( t ) F ( t , f 3 ( t ) ) f 3 ( t ) f 1 ( t ) 1 [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ g 3 ( s ) f 3 ( t 0 ) F ( t 0 , f 1 ( t 0 ) ) + g 2 ( s ) f 1 ( t 1 ) × F ( t 1 , f 3 ( t 1 ) ) g 3 ( s ) f 1 ( t 1 ) × F ( t 0 , f 3 ( t 0 ) ) g 2 ( s ) f 3 ( t 0 ) F ( t 1 , f 1 ( t 1 ) ) ] t [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ f 1 ( t 1 ) F ( t 0 , f 3 ( t 0 ) ) + f 3 ( t 0 ) F ( t 1 , f 1 ( t 1 ) ) f 3 ( t 0 ) F ( t 0 , f 1 ( t 0 ) ) f 1 ( t 0 ) F ( t 1 , f 3 ( t 1 ) ) ] s [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ g 3 ( s ) F ( t 0 , f 3 ( t 0 ) ) + g 2 ( s ) F ( t 1 , f 1 ( t 1 ) g 3 ( s ) ) × F ( t 0 , f 1 ( t 0 ) ) g 2 ( s ) F ( t 1 , f 3 ( t 1 ) ) ] t s [ g 3 ( s ) g 2 ( s ) ] [ f 3 ( t ) f 1 ( t ) ] × [ F ( t 0 , f 1 ( t 0 ) ) + F ( t 1 , f 3 ( t 1 ) ) F ( t 0 , f 3 ( t 0 ) ) F ( t 1 , f 1 ( t 1 ) ) ] ,

with t 0 = g 2 ( s ) , t 1 = g 3 ( s ) .

Proof

It is easy to prove in a similar manner as done in the previous theorem and following inequality.

S m n , q ( F ) ( t , s ) S m n , q ( G ) ( t , s ) [ 1 ( u m + v n j m n ) ] F G .

Remark 4.5

Similar result can be achieved for the operator T n m , q .

Acknowledgment

Not applicable.

  1. Funding information: Not applicable.

  2. Author contributions: A.K.: supervision and formal analysis. M.I. and M.A.: writing of the original draft. M.R.L.: verification. M.M.: editing and final writing. All the authors read and approved the final manuscript.

  3. Conflict of interest: The authors declare that they have no conflict of interest.

  4. Data availability statement: Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.

References

[1] A. Sard, Linear approximation, Vol. 9 of Mathematics Surveys, American Mathematical Society, 1963. 10.1090/surv/009Search in Google Scholar

[2] K. Weierstrass, Über die analytische darstellbarkit sogenannter willkürlicher functionen einer reelen varänderlichen sitzungsberichtedr, Koniglish Preussicschen Akademie der Wissenschcaften zu Berlin, Vol. 633–639, 1885, pp. 789–805. Search in Google Scholar

[3] A. Lupas, A q-analogue of the Berstein operater, Seminar on Numerical and Statistiacal, Calculus, University of Cluj-Napoca, Vol. 9, 1987, pp. 85–92. Search in Google Scholar

[4] G. M. Phillips, Bernstein polynomials based on the q-integers, Ann. Numer. Math. 4 (1885), 511–518. Search in Google Scholar

[5] G. M. Phillips, A generalization of the Berstein polynomials based on the q-integers, Anziam J. 42 (2000), no. 1, 79–86. 10.1017/S1446181100011615Search in Google Scholar

[6] R. E. Barnhill and L. Mansfield, Sard kernel theorems on triangular and rectangu-lar domains with extensions and applications to finite element error, Technical Report 11, Department of Mathematics, Brunel University, 1972. Search in Google Scholar

[7] R. E. Barnhill, Surfaces in Computer aided geometric design: survey with new results, Comput. Aided Geom. Design 2 (1985), 1–17. 10.1016/0167-8396(85)90002-0Search in Google Scholar

[8] K. Khan and D. K. Lobiyal, Bézier curves based on Lupas (p,q)-analogue of Bernstein functions in CAGD, J. Comput. Appl. Math. 317 (2017), 458–477. 10.1016/j.cam.2016.12.016Search in Google Scholar

[9] A. Rababah and S. Manna, Iterative process for G2-multi degree reduction of Bézier curves, Appl. Math. Comput. 217 (2011), 8126–8133. 10.1016/j.amc.2011.03.016Search in Google Scholar

[10] A. Khan, M. S. Mansoori, K. Khan, and M. Mursaleen, Phillips-type q-Bernstien operators on triangles, J. Funct. Spaces 2021 (2021), 13, 10.1155/2021/6637893.Search in Google Scholar

[11] A. Khan, M. S. Mansoori, K. Khan, and M. Mursaleen Lupaş-type Bernstein operators on triangles based on quantum analogue, Alexandria Eng. J. 60 (2021), no. 6, 5909–5919, https://doi.org/10.1016/j.aej.2021.04.038. Search in Google Scholar

[12] I. A. Rus, Iterates of Bernstein operators via contraction principle, J. Math. Anal. Appl. 292 (2004), no. 1, 259–261. 10.1016/j.jmaa.2003.11.056Search in Google Scholar

[13] R. E. Barnhill, G. Birkhoff, and W. L. Gordon, Smooth interpolation in triangles, J. Approx. Theory 8 (1973), 114–128. 10.1016/0021-9045(73)90020-8Search in Google Scholar

[14] R. E. Barnhill and L. Mansfield, Error bounds for smooth interpolation in trian-gles, J. Approx. Theory 11 (1974), 306–318. 10.1016/0021-9045(74)90002-1Search in Google Scholar

[15] D. D. Stancu, Evaluation of the remainder term in approximation formulas by Bernstein polynomials, Math. Comp. 17 (1963), 270–278. 10.2307/2003844Search in Google Scholar

[16] D. D. Stancu, The remainder of certain linear approximation formulas in two vari-ables, SIAM Numer. Anal. Ser. B 1 (1964), 137–163. 10.1137/0701013Search in Google Scholar

[17] I. Gavrea and M. Ivan, On the iterates of positive linear operators preserving the affine functions, J. Math. Anal. Appl. 372 (2010), no. 2, 366–367. 10.1016/j.jmaa.2010.07.026Search in Google Scholar

[18] I. A. Rus, Fixed points and interpolation point set of positive linear operator on C(D¯), Studia Uniersitatis Babes-Bolyai 55 (2010), no. 4, 243–248. Search in Google Scholar

[19] S. Karlin and Z. Ziegler, Iteration of positive approximation operators, J. Approx. Theory 3 (1970), 310–339. 10.1016/0021-9045(70)90055-9Search in Google Scholar

[20] T. Acar and A. Aral, On pointwise convergence of q-Berstein operators and their q-derivatives, Numer. Funct. Anal. Optim. 36 (2014), no. 3, 287–304. 10.1080/01630563.2014.970646Search in Google Scholar

[21] T. Acar, A. Aral, and S. A. Mohiuddien, Approximation by bivariate (p,q)-Bernstein-Kantorovich operators, Iran. J. Sci. Technol. Trans. A Sci. 42 (2018), no. 2, 655–662. 10.1007/s40995-016-0045-4Search in Google Scholar

[22] M. Ayman-Mursaleen and S. Serra-Capizzano, Statistical convergence via q-calculus and a Korovkinas type approximation theorem, Axioms 11 (2022), no. 2, 70, https://doi.org/10.3390/axioms11020070. Search in Google Scholar

[23] M. Ayman-Mursaleen, A. Kiliçman, and Md. Nasiruzzaman, Approximation by q-Bernstein-Stancu-Kantorovich operators with shifted knots of real parameters, FILOMAT 36 (2022), no. 4, 1179–1194. 10.2298/FIL2204179ASearch in Google Scholar

[24] Q. Cai, A. Kiliçman, and M. Ayman-Mursaleen, Approximation properties and q-statistical convergence of Stancu-type generalized Baskakov-Szász operators, J. Funct. Spaces 2022 (2022), 2286500. 10.1155/2022/2286500Search in Google Scholar

[25] R. T. Farouki and V. T. Rajan, Algorithms for polynomials in Bernstein form, Comput. Aided Geom. Design 5 (1988), no. 1, 1–26. 10.1016/0167-8396(88)90016-7Search in Google Scholar

[26] M. Mursaleen, K. J. Ansari, and A. Khan, Approximation properties and error estimation of q-Berstein shifted operators, Numer. Algorithms 84 (2020), no. 1, 207–227. 10.1007/s11075-019-00752-4Search in Google Scholar

[27] R. P. Kelisky and T. J. Rivlin, Iterates of Bernstein polynomials, Pacific J. Math. 21 (1967), 511–520. 10.2140/pjm.1967.21.511Search in Google Scholar

[28] S. Ostrovska, On the Lupaš q-analogue of the Bernstein operator, Rocky Mountain J. Math. 36 (2006), no. 5, 1615–1629. 10.1216/rmjm/1181069386Search in Google Scholar

[29] D. Occorsio, M. G. Russo, and W. Themistoclakis, Some numerical applications of generalized Bernstein operators, Constr. Math. Anal. 4 (2021), no. 2, 186–214. 10.33205/cma.868272Search in Google Scholar

[30] K. Bozkurt, F. Ozsarac, and A. Aral, Bivariate Bernstein polynomials that reproduce exponential functions, Commun. Fac. Sci. Univ. Ank. Ser. A1 Math. Stat. 70 (2021), no. 1, 541–554. 10.31801/cfsuasmas.793968Search in Google Scholar

[31] M. C. Montano and V. Leonessa, A sequence of Kantorovich-type operators on mobile intervals, Constr. Math. Anal. 2 (2019), no. 3, 130–143. 10.33205/cma.571078Search in Google Scholar

[32] T. Acar, A. Aral, and S. A. Mohiuddine, On Kantorovich modification of (p,q)-Bernstein operators, Iran. J. Sci. Technol. Trans. A Sci. 42 (2018), no. 3, 1459–1464. 10.1007/s40995-017-0154-8Search in Google Scholar

[33] R. Paltanea, Durrmeyer type operators on a simplex, Constr. Math. Anal. 4 (2021), no. 2, 215–228. 10.33205/cma.862942Search in Google Scholar

[34] K. Victor and C. Pokman, Quantum Calculus, Springer-Verlag, New York, 2002. Search in Google Scholar

[35] T. Cătinas, Iterates of Bernstien type operators on a triangle with all curved sides, Abstr. Appl. Anal. 7 (2014). 10.1155/2014/820130Search in Google Scholar

[36] I. A. Rus, Picard operators and applications, Sci. Math. Jpn. 58 (2003), no. 1, 191–219. Search in Google Scholar

[37] T. Acar, A. Aral and I. Rasa, Iterated Boolean sums Bernstien type operators, Numer. Funct. Anal. Optim. 41 (2020), no. 12, 1515–1527. 10.1080/01630563.2020.1777160Search in Google Scholar

[38] I. Gavrea and M. Ivan, On the iterates of positive linear operators preserving the affine functions, J. Math. Anal. Appl. 372 (2010), no. 2, 366–368. 10.1016/j.jmaa.2010.07.026Search in Google Scholar

[39] I. Gavrea and M. Ivan, On the iterates of positive linear operators, J. Approx. Theory 163 (2011), no. 9, 1076–1079. 10.1016/j.jat.2011.02.012Search in Google Scholar

Received: 2022-04-27
Revised: 2022-09-22
Accepted: 2022-10-06
Published Online: 2022-11-30

© 2022 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Regular Articles
  2. On some summation formulas
  3. A study of a meromorphic perturbation of the sine family
  4. Asymptotic behavior of even-order noncanonical neutral differential equations
  5. Unconditionally positive NSFD and classical finite difference schemes for biofilm formation on medical implant using Allen-Cahn equation
  6. Starlike and convexity properties of q-Bessel-Struve functions
  7. Mathematical modeling and optimal control of the impact of rumors on the banking crisis
  8. On linear chaos in function spaces
  9. Convergence of generalized sampling series in weighted spaces
  10. Persistence landscapes of affine fractals
  11. Inertial iterative method with self-adaptive step size for finite family of split monotone variational inclusion and fixed point problems in Banach spaces
  12. Various notions of module amenability on weighted semigroup algebras
  13. Regularity and normality in hereditary bi m-spaces
  14. On a first-order differential system with initial and nonlocal boundary conditions
  15. On solving pseudomonotone equilibrium problems via two new extragradient-type methods under convex constraints
  16. Local linear approach: Conditional density estimate for functional and censored data
  17. Some properties of graded generalized 2-absorbing submodules
  18. Eigenvalue inclusion sets for linear response eigenvalue problems
  19. Some integral inequalities for generalized left and right log convex interval-valued functions based upon the pseudo-order relation
  20. More properties of generalized open sets in generalized topological spaces
  21. An extragradient inertial algorithm for solving split fixed-point problems of demicontractive mappings, with equilibrium and variational inequality problems
  22. An accurate and efficient local one-dimensional method for the 3D acoustic wave equation
  23. On a weighted elliptic equation of N-Kirchhoff type with double exponential growth
  24. On split feasibility problem for finite families of equilibrium and fixed point problems in Banach spaces
  25. Entire and meromorphic solutions for systems of the differential difference equations
  26. Multiplication operators on the Banach algebra of bounded Φ-variation functions on compact subsets of ℂ
  27. Mannheim curves and their partner curves in Minkowski 3-space E13
  28. Characterizations of the group invertibility of a matrix revisited
  29. Iterates of q-Bernstein operators on triangular domain with all curved sides
  30. Data analysis-based time series forecast for managing household electricity consumption
  31. A robust study of the transmission dynamics of zoonotic infection through non-integer derivative
  32. A Dai-Liao-type projection method for monotone nonlinear equations and signal processing
  33. Review Article
  34. Remarks on some variants of minimal point theorem and Ekeland variational principle with applications
  35. Special Issue on Recent Methods in Approximation Theory - Part I
  36. Coupled fixed point theorems under new coupled implicit relation in Hilbert spaces
  37. Approximation of integrable functions by general linear matrix operators of their Fourier series
  38. Sharp sufficient condition for the convergence of greedy expansions with errors in coefficient computation
  39. Approximation of conic sections by weighted Lupaş post-quantum Bézier curves
  40. On the generalized growth and approximation of entire solutions of certain elliptic partial differential equation
  41. Existence results for ABC-fractional BVP via new fixed point results of F-Lipschitzian mappings
  42. Linear barycentric rational collocation method for solving biharmonic equation
  43. A note on the convergence of Phillips operators by the sequence of functions via q-calculus
  44. Taylor’s series expansions for real powers of two functions containing squares of inverse cosine function, closed-form formula for specific partial Bell polynomials, and series representations for real powers of Pi
  45. Special Issue on Recent Advances in Fractional Calculus and Nonlinear Fractional Evaluation Equations - Part I
  46. Positive solutions for fractional differential equation at resonance under integral boundary conditions
  47. Source term model for elasticity system with nonlinear dissipative term in a thin domain
  48. A numerical study of anomalous electro-diffusion cells in cable sense with a non-singular kernel
  49. On Opial-type inequality for a generalized fractional integral operator
  50. Special Issue on Advances in Integral Transforms and Analysis of Differential Equations with Applications
  51. Mathematical analysis of a MERS-Cov coronavirus model
  52. Rapid exponential stabilization of nonlinear continuous systems via event-triggered impulsive control
  53. Novel soliton solutions for the fractional three-wave resonant interaction equations
  54. The multistep Laplace optimized decomposition method for solving fractional-order coronavirus disease model (COVID-19) via the Caputo fractional approach
  55. Special Issue on Problems, Methods and Applications of Nonlinear Analysis
  56. Some recent results on singular p-Laplacian equations
  57. Infinitely many solutions for quasilinear Schrödinger equations with sign-changing nonlinearity without the aid of 4-superlinear at infinity
  58. Special Issue on Recent Advances for Computational and Mathematical Methods in Scientific Problems
  59. Existence of solutions for a nonlinear problem at resonance
  60. Asymptotic stability of solutions for a diffusive epidemic model
  61. Special Issue on Computational and Numerical Methods for Special Functions - Part I
  62. Fully degenerate Bernoulli numbers and polynomials
  63. Wigner-Ville distribution and ambiguity function associated with the quaternion offset linear canonical transform
  64. Some identities related to degenerate Stirling numbers of the second kind
  65. Two identities and closed-form formulas for the Bernoulli numbers in terms of central factorial numbers of the second kind
  66. λ-q-Sheffer sequence and its applications
  67. Special Issue on Fixed Point Theory and Applications to Various Differential/Integral Equations - Part I
  68. General decay for a nonlinear pseudo-parabolic equation with viscoelastic term
  69. Generalized common fixed point theorem for generalized hybrid mappings in Hilbert spaces
  70. Computation of solution of integral equations via fixed point results
  71. Characterizations of quasi-metric and G-metric completeness involving w-distances and fixed points
  72. Notes on continuity result for conformable diffusion equation on the sphere: The linear case
Downloaded on 11.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/dema-2022-0173/html
Scroll to top button