Home Approximation Properties of λ-Bernstein-Kantorovich-Stancu Operators
Article Open Access

Approximation Properties of λ-Bernstein-Kantorovich-Stancu Operators

  • Murat Bodur EMAIL logo , Nesibe Manav EMAIL logo and Fatma Tasdelen EMAIL logo
Published/Copyright: February 16, 2022
Become an author with De Gruyter Brill

Abstract

The goal of this paper is to construct a new type of Bernstein operators depending on the shape parameter λ ∈ [–1,1]. For these new type operators a uniform convergence result is presented. Furthermore, order of approximation in the sense of local approximation is investigated and Voronovskaja type theorem is proved. Lastly, some graphical results are given to show the rate of convergence of constructed operators to a given function f.

1 Introduction

In 1912, the Russian mathematician S. N. Bernstein gave one of the most known proof of the Weierstrass’s theorem [17], in [5], by defining the following operators; Bn : C[0,1] → C[0,1],

(1.1)Bn(f;x)=k=0nbn,k(x)f(kn),

where

bn,k(x)=(nk)xk(1x)nk,x[0,1].

In 1987, Lupaş [12] introduced the first q-analogue of Bernstein operators and investigated its approximating and shape-preserving properties. In 1996, Phillips [14] proposed another q-variant of the classical Bernstein operators, the so-called Phillips q-Bernstein operators. We have to remind that the q-variants of Bernstein polynomials provide one shape parameter for constructing free-form curves and surfaces, Phillips q-Bernstein operator was applied well in this area, as Khan and Lobiyal [11] indicated before.

Leonid V. Kantorovich, in 1930, introduced a generalization of Bernstein operators as Kn : L1[0,1] → C[0,1]

(1.2)Kn(f;x)=(n+1)k=0nbn,k(x)kn+1k+1n+1f(t)dt.
Kn operators are obtained from the classical Bernstein operators (1.1), by replacing the approximating function value f(kn) with integral of f in a neighborhood of kn [10].

In 1968, D. D. Stancu [16] constructed positive linear operators Snα,β:C[0,1]C[0,1]

(1.3)Snα,β(f;x)=k=0nbn,k(x)fk+αn+β.

Here fC[0,1], α and β real parameters such that 0 ≤ αβ and n. Note that for α = β = 0 the operators turn to classical Bernstein operators [5]. Some recent papers mentioning different types of generalizations of Benstein operators and its applications are cited in [11] and [13].

In 2004, D. Barbosu [2] gave a Kantorovich-Stancu form as below:

(1.4)Knα,β(f;x)=(n+β+1)k=0nbn,k(x)k+αn+β+1k+α+1n+β+1f(t)dt.

Some interesting approximation properties of Stancu type operators were given by Barbosu in [3, 4].

Constructing a new kind of Bézier curve or a new type of Bernstein operators by using different basis is currently of high interest to researchers. In 2010, Zhangxiang Ye and his colleagues [18] proposed their study not only constructing a new kind of basis functions of Bézier curve with single shape parameter, but also providing a practical algorithm of curve modeling. They discussed some important properties of the basis functions and the corresponding curves. Thus, they explained why a curve or a surface with shape parameters is a good choice.

In 2018, inspiring by a paper in [18], Cai et al. [6] introduced a new generalization of Bernstein operators as follows

(1.5)Bn,λ(f;x)=k=0nb˜n,k(λ;x)f(kn),

where λ ∈ [−1,1] and b˜n,k for k = 0,1,…, are defined by

(1.6)b˜n,0(λ;x)=bn,0(x)λn+1bn+1,1(x),b˜n,i(λ;x)=bn,i(x)+λn2i+1n21bn+1,i(x)n2i1n21bn+1,i+1(x),b˜n,n(λ;x)=bn,n(x)λn+1bn+1,n(x).

It is easy to verify that k=0nb˜n,k(λ;x)=1 and these operators become the classical Bernstein operators for λ = 0. They obtained some approximation properties of λ-Bernstein operators and established an asymptotic formula. Also, they gave some numerical examples to show the rate of convergence of Bn(f; x) to f(x).

Very recently Acu et al. [1] presented a Kantorovich modification of λ-Bernstein operators. They considered the positive linear operators as

(1.7)Kn,λ(f;x)=(n+1)k=0nb˜n,k(λ;x)kn+1k+1n+1f(t)dt.

They proved a quantitative Voronovskaja type theorem by means of Ditzian-Totik modulus of smoothness. Also, a Grüss-Voronovskaja type theorem for λ-Kantorovich operators were given by them. They studied approximation properties of the Kantorovich variant of λ-Bernstein operators. Some articles can be given about related work [7, 8, 15]. According to this progress, we defined Kantorovich-Stancu type λ-Bernstein operators as below

(1.8)Sn,λα,β(f;x)=(n+β+1)k=0nb˜n,k(λ;x)k+αn+β+1k+α+1n+β+1f(t)dt,

where Bézier bases b˜n,k(λ;x) are defined in (1.6). Here, as we mentioned above α and β real parameters such that 0 ≤ αβ and n. Besides, it should be taken into consideration that

  1. if we chose α = β = 0, the sequence of operators defined in (1.8) reduce to operators in (1.7),

  2. if we take λ = 0 in (1.8), then the Kantorovich-Stancu type λ-Bernstein operators tend to Kantorovich-Stancu type operators in (1.4),

  3. For α = β = λ = 0 in (1.8), then the Kantorovich-Stancu type λ-Bernstein operators reduce to Kantorovich type operators in (1.2).

The present work is organized as follows: We demonstrate moments of (1.8) operators can be obtained using the concept of moment generating function. A uniform of these constructed operators (1.8) is mentioned. After, we investigate order of approximation in the sense of local approximation with using a classical approach, the second modulus of continuity, Peetre’s K-functional and Lipschitz type function. Then, a Voronovskaja type result is presented for given operators. Some graphical examples are also given in this paper in order to show the rate of convergence of (1.8) operators.

2 Preliminary results

In this part, we present the moments and the central moments of Kantorovich-Stancu type λ-Bernstein operators to use the proofs of the main theorems.

LEMMA 2.1

Letei (t) ≔ ti, i = 0, 1, 2 .... Then the λ-Kantorovich-Stancu operatorsSn,λα,βsatisfy

Sn,λα,β(e0;x)=1,Sn,λα,β(e1;x)=nx+αn+β+1+12(n+β+1)+λ12x+xn+1(1x)n+1(n+β+1)(n1),Sn,λα,β(e2;x)=n(n1)x2(n+β+1)2+2(1α)nx(n+β+1)2+α2+α+13(n+β+1)2 +λ2nx(12x)+2xn+1(n+1)2x(n+β+1)2(n1) +λ2α(12x+xn+1(1x)n+1)(n+β+1)2(n1),Sn,λα,β(e3;x)=14(n+β+1)3{1+2nx(79x+9nx+4x26nx2+2n2x2)   +4α(1+6nx12nx2+12n2x2+12nxα+3α/2+α2)} +λ(n+3)(n21)(n+β+1)3(1(1x)n+1xn+1) +λ2(n1)(n+β+1)3{1+(1x)n+112x+6nx30nx2   +6n2x2+12nx312n2x3+13xn+1+12nxn+1+6n2xn+1} +3λα2(n1)(n+β+1)3{4x+4nx8nx2+4xn+1+4nxn+1   +2α6(1x)n+1α4xα+2xn+1α},Sn,λα,β(e4;x)=15(n+β+1)4{5n4x430n3x4+40n3x3+55n2x4120n2x3   +80nx375nx2+30nx+1}+α(n+β+1)4{4n3x312n2x3   +8nx3+18n2x218nx2+14nx+1+6n2x2α6nx2α   +4nxα2+12nxα+α3+2α2+2α} +2λ(n+3)(n21)(n+β+1)4(1(1x)n+1xn+1+2α2α(1x)n+12αxn+1) +λ(n+β+1)4{xnx2+6n2x244nx32n2x316nx4   8n2x4xn+1+29nxn+1+4n2xn+124nx3α+24nxn+1α} +λ(n1)(n+β+1)4{2+2(1x)n+19x+nx(549x+13nx)   +xn+1(11+44n13n2))} +λα(n+β+1)4{2+2(1x)n+124x+12nx60nx2+12n2x2+26xn+1   +48nxn+112n2xn+112xα+12nxα24nx2α+12xn+1α+12nxn+1α     +4α24(1x)n+1α28xα2+4xn+1α2}.
LEMMA 2.2

By consideringLemma 2.1, λ-Kantorovich-Stancu operators possess

(2.1)Sn,λα,β(tx;x)=α(β+1)xn+β+1+12(n+β+1)+λ12x+xn+1(1x)n+1(n+β+1)(n1)=ς(α,β,n,λ)(x),
(2.2)Sn,λα,β((tx)2;x)=(β+1)2n(n+β+1)2x2(β+1)(2α+1)n(n+β+1)2x+α2+α+13(n+β+1)2 +λ(n+β+1)2(n1){2nx(12x)+2xn+1(n+1)2x   +2(α(n+β+1)x)(12x+xn+1(1x)n+1)}=σ(α,β,n,λ)(x).
Besides, the consecutive limits hold
limnnSn,λα,β(tx;x)=2(αx(β+1))+12
and
limnnSn,λα,β((tx)2;x)=x(1x).

3 Convergence results

In this main chapter, we search the rate of convergence by means of the modulus of continuity, Peetre’s K-functional and elements of Lipschitz class. Here, C[0, 1] is the class of real valued functions defined on [0, 1] which is uniformly continuous with the norm f=supx[0,1]|f(x)|.

THEOREM 3.1

For fC[0, 1], λ ∈ [–1, 1], Kantorovich-Stancu type λ-Bernstein operatorsSn,λα,βconverge uniformly to f on [0, 1].

Proof. By the Bohmann-Korovkin theorem, it is sufficient to show that

limnSn,λα,β(tixi)=0,i=0,1,2.

It can be clearly obtained these three conditions using Lemma 2.1.

Here, we will give some definitions to use in this section.

DEFINITION 1

For δ > 0 and fC[0, 1], the modulus of continuity ω(f; δ) of the function f is defined by

ω(f;δ)=supx,y[0,1]|xy|δ|f(x)f(y)|.
DEFINITION 2

The second modulus of continuity of fC[0,1] is defined by

ω2(f;δ):=sup0<tδf(+2t)2f(+t)+f()C[0,1].
DEFINITION 3 ( 9)

Peetre’s K-functional of the function fC[0, 1] is defined by

K2(f;δ):=infgW2[0,1]{fgC[0,1]+δgC[0,1]},

where

W2[0,1]:={gC[0,1]:g,gC[0,1]}.

The following inequality

K2(f;δ)M{ω2(f;δ)}

is valid for all δ > 0. The positive constant M is independent of f and δ.

In the following theorem, the modulus of continuity is used to estimate the order of approximation to the function f.

THEOREM 3.2

Let fC[0, 1], then

|Sn,λα,β(f;x)f(x)|2ω(f;δ),
whereδ:=δ(α,β,n,λ)=σ(α,β,n,λ)(x)..

Proof. Keeping in mind the following property of modulus of continuity

|f(t)f(x)|ω(f;δ)((tx)2δ2+1).

We obtain

|Sn,λα,β(f;x)f(x)|Sn,λα,β(|f(t)f(x)|;x)ω(f;δ)(1+1δ2Sn,λα,β((tx)2;x)).

Lastly, choosing δ=σ(α,β,n,λ)(x), so

|Sn,λα,β(f;x)f(x)|2ω(f;δ).

Hence, the proof is completed.

THEOREM 3.3

If gC1[0, 1], then

|Sn,λα,β(g;x)g(x)|ς(α,β,n,λ)(x)|g(x)|+2σ(α,β,n;λ)(x)ω(g,σ(α,β,n;λ)(x)).

Proof. Let gC1[0, 1]. For any x, t ∈ [0, 1], we have

g(t)g(x)=g(x)(tx)+xt(g(y)g(x))dy,

so, applying the operators at above equality, we get

(3.1)Sn,λα,β(g(t)g(x);x)=g(x)Sn,λα,β(tx;x)+Sn,λα,β(xt(g(y)g(x))dy;x).

Taking into account the following property of modulus of continuity

|g(y)g(x)|ω(g;δ)(|yx|δ+1),δ>0,

we can write

(3.2)|xt|g(y)g(x)|dy|ω(g;δ)[(tx)2δ+|tx|].

By using (3.2) in (3.1), we get

|Sn,λα,β(g;x)g(x)||g(x)||Sn,λα,β(tx;x)|+ω(g;δ){1δSn,λα,β((tx)2;x)+Sn,λα,β(|tx|;x)}.

Using Cauchy-Schwarz inequality then we reach

|Sn,λα,β(g;x)g(x)||g(x)||Sn,λα,β(tx;x)|  +ω(g;δ){1δSn,λα,β((tx)2;x)+1}Sn,λα,β((tx)2;x)|g(x)|ς(α,β,n,λ)(x)+ω(g,δ){1δσ(α,β,n;λ)(x)+1}σ(α,β,n;λ)(x).

Choosing δ=σ(α,β,n,λ)(x), we find the desired inequality.

Now, we interest in the rate of convergence by the known method K-functional.

THEOREM 3.4

If fC[0, 1], then

|Sn,λα,β(f;x)f(x)|Mω2(f,12σ(α,β,n,λ)(x)+ς2(α,β,n,λ)(x))+ω(f,ς(α,β,n,λ)(x)),
where M is a positive constant.

Proof. Denoting

εn,λα,β(x)=nx+αn+β+1+12(n+β+1)+λ12x+xn+1(1x)n+1(n+β+1)(n1)

and

(3.3)S˜n,λα,β(f;x)=Sn,λα,β(f;x)+f(x)f(εn,k(x)).

It follows immediately

S˜n,λα,β(e0;x)=Sn,λα,β(e0;x)=1S˜n,λα,β(e1;x)=Sn,λα,β(e1;x)+xεn,λ(x)=x.

Applying S˜n,λα,β to Taylor’s formula, we get

S˜n,λα,β(g;x)=g(x)+S˜n,λα,β(xt(ty)g(y)df;x)

Therefore,

S˜n,λα,β(g;x)=g(x)+Sn,λα,β(xt(ty)g(y)dy;x)xεn,k(x)(εn,k(x)y)g(y)dy.

This implies that

|S˜n,λα,β(g;x)g(x)||Sn,λα,β(xt(ty)g(y)dy;x)|+|xεn,λα,β(x)(εn,λα,β(x)y)g(y)dy|Sn,λα,β((tx)2;x)g+(εn,λα,β(x)x)2g[σ(α,β,n,λ)(x)+ς2(α,β,n,λ)(x)]g.

In view of (3.3), we obtain

(3.4)|S˜n,λα,β(f;x)||Sn,λα,β(f;x)|+|f(x)|+|f(εn,λα,β(x))|3f.

Now, for fC[0, 1] and gW2[0, 1], using (3.3) and (3.4), we get

|Sn,λα,β(f;x)f(x)|=|S˜n,λα,β(f;x)f(x)+f(εn,λα,β(x))f(x)||S˜n,λα,β(fg;x)|+|S˜n,λα,β(g;x)g(x)|+|g(x)f(x)|+|f(εn,λα,β(x))f(x)|4fg+[σ(α,β,n,λ)(x)+ς2(α,β,n,λ)(x)]g   +ω(f,ς(α,β,n,λ)(x)).

Taking the infimum on the right side over all gW2[0, 1], we have

|Sn,λα,β(f;x)f(x)|4K2(f,14(σ(α,β,n,λ)(x)+ς2(α,β,n,λ)(x)))   +ω(f,ς(α,β,n,λ)(x)).

Conclusively, when using the relation between K-functional and the second modulus of continuity as shown in Definition 3, we reach the desired result.

We investigate the rate of convergence with the help of the functions of Lipschitz class. For this, we have to give below definition primarily.

Definition 4

Let f be a real valued continuous function defined on [0, ∞). Then the following statement holds for f in order γ (0 < γ ≤ 1) on [0, ∞),

|f(x)f(y)|M|xy|γ

for all x, y ∈[0, ∞) and M > 0. These set of Lipschitz continuous functions of order γ with Lipschitz constant M is denoted by LipM(γ).

THEOREM 3.5

Let fLipM (γ), x ∈ [0, 1] and λ ∈ [–1, 1], then we have

|Sn,λα,β(f;x)f(x)|M[σ(α,β,n,λ)(x)]γ2
where σ(α, β, n, λ)(x) is defined in (2.2).

Proof. For the positive linear operators Sn,λα,β(f;x) and fLipM(γ), while k=0nb˜n,k(λ;x)=1, and keeping in mind well-known Hölder’s inequality, it can be written directly

|Sn,λα,β(f;x)f(x)|Sn,λα,β(|f(t)f(x)|;x)=(n+β+1)k=0nb˜n,k(λ;x)k+αn+β+1k+α+1n+β+1|f(t)f(x)|dtM(n+β+1)k=0nb˜n,k(λ;x)k+αn+β+1k+α+1n+β+1|tx|γdtM[σ(α,β,n,λ)(x)]γ2.

Hence, the proof is completed.

4 Voronovskaja type theorem

Now, we prove the Voronovskaja type theorem for the operators Sn,λα,β.

THEOREM 4.1

Let f be a bounded function on [0,1], f, f derivatives exist for any x ∈ (0,1) and λ ∈ [−1, 1]. Then, we have

limn2n(Sn,λα,β(f;x)f(x))=(2(αx(β+1))+1)f(x)+x(1x)f(x).

Proof. The Taylor’s expansion

f(t)=f(x)+f(x)(tx)+12f(x)(tx)2+h(t,x)(tx)2,

where h(.) ∈ C [0, 1] and limtxh(t;x)=0. Taking into account the linearity of the operators Sn,λα,β and applying it to both sides of the above Taylor’s expansion with a simple calculations, we obtain

n(Sn,λα,βf(x)f(x))=nSn,λα,β(tx;x)f(x)+nSn,λα,β((tx)2;x)f(x)2+nSn,λα,β(h(t,x)(tx)2;x).

Therefore, by using Lemma 2.2, we get

(4.1)limnn(Sn,λα,β(f;x)f(x))=(2(αx(β+1))+1)2f(x)+x(1x)2f(x)+limnnSn,λα,β(h(t,x)(tx)2;x).

Hence, by the Cauchy-Schwarz inequality, we have

(4.2)n|Sn,λα,β(h(t,x)(tx)2;x)|Sn,λα,β(h2(t,x);x)n2Sn,λα,β((tx)4;x).

Since limnn2Sn,λα,β((tx)4;x) is bounded by Lemma 2.1 and h2(x, x) = 0, by considering (4.2) in (4.1), we obtain

limnnSn,λα,β(h(tx)(tx)2;x)=0

which completes the proof.

5 Graphical results

Finally, in this section, we provide some graphical examples that show the convergence of Kantorovich-Stancu type λ-Bernstein operators. With these given graphicals examples, it is possible to understand better how our operators converge to given functions.

Example 1

The first illustration demonstrates the convergence of the operators Sn,λα,β depending on n. Here, taken λ = 0.4, α = 0.2, β = 0.3 values and approximating function of f(x)=1sin(72πx), we see the operators respectively for n = 20, n = 50, n = 80 values in Figure 1.

Figure 1
Figure 1
Example 2

Another example is illustrated in Figure 2 to show impact of shape parameters λ. For α = 0.2, β = 0.3, n = 6 be fixed and λ = —1, λ = 0, λ = 1 approximant Sn,λα,β convergence to f(x)=1sin(72πx).

Now, we would like to take an attention to influence of different real parameters α (also can be shown different β) which is sense of Stancu.

Figure 2
Figure 2
Example 3

For λ = 0.3, n = 20, β = 2 and α = 0.5, α = 1, α = 1.5 the convergence of Kantorovich-Stancu type λ-Bernstein operators to f(x)=1sin(72πx) are illustrated in Figure 3.

Figure 3
Figure 3
Example 4

The purpose of the last example as represented in Figure 4 is making a comparison between Kantorovich-Stancu type λ-Bernstein operators and classical Bernstein Kantorovich operators about approximating to f(x)=1sin(72πx). Here, λ = 1, n = 20, α = 0.2, β = 0.3.

Figure 4
Figure 4

(Communicated by Gregor Dolinar)


REFERENCES

[1] [1] ACU, A. M.—MANAV, N.—SOFONEA, D. F.: Approximation properties of λ-Kantorovich operators, J. Inequal. Appl. (2018), Art. 202.10.1186/s13660-018-1795-7Search in Google Scholar PubMed PubMed Central

[2] [2] BARBOSU, D.: Kantorovich-Stancu type operators, J. Inequal. Pure Appl. Math. 5(3) (2004), 1–6.Search in Google Scholar

[3] [3] BARBOSU, D.: The Kantorovich form of Schurer Stancu operators, Demonstr. Math. 37(2) (2004), 383–391.10.1515/dema-2004-0216Search in Google Scholar

[4] [4] BARBOSU, D.: A survey regarding the approximation properties of the Schurer Stancu operators, Carpathian J. Math. 20(1) (2004), 1–5.Search in Google Scholar

[5] [5] BERNSTEIN, S. N.: Démonstration du théorème de Weierstrass fondée sur le calcul des probabilités, Communications de la Société Mathematique de Kharkov 13(1–2) (1913).Search in Google Scholar

[6] [6] CAI, Q. B.—LIAN, B. Y.—ZHOU, G.: Approximation properties of λ-Bernstein operators, J. Inequal. Appl. (2018), Art. 61.10.1186/s13660-018-1653-7Search in Google Scholar PubMed PubMed Central

[7] [7] CAI, Q. B.: The Bézier variant of Kantorovich type λ-Bernstein operators, J. Inequal. Appl. (2018), Art. 90.10.1186/s13660-018-1688-9Search in Google Scholar PubMed PubMed Central

[8] [8] CAI, Q. B.—ZHOU, G. J.: Blending type approximation by GBS operators of bivariate tensor product of λ-Bernstein Kantorovich type, J. Inequal. Appl. (2018), Art. 268.10.1186/s13660-018-1862-0Search in Google Scholar PubMed PubMed Central

[9] [9] DITZIAN, Z.—TOTIK, V.: Moduli of Smoothness, Springer-Verlag, New York, 1987.10.1007/978-1-4612-4778-4Search in Google Scholar

[10] [10] KANTOROVICH, L. V.: Sur certain développements suivant les polynômes de la forme de S. Bernstein, I. II., Dokl. Akad. Nauk. SSSR (1930), 563–568, 595–600.Search in Google Scholar

[11] [11] KHAN, K.—LOBIYAL, D. K.: Bézier curves based on Lupaş (p,q)-analogue of Bernstein function in CAGD, J. Comput. Appl. Math. 317 (2017), 458–477.10.1016/j.cam.2016.12.016Search in Google Scholar

[12] [12] LUPAŞ, A.: A q-analogue of the Bernstein operator, Seminar on Numerical and Statistical Calculus University of Cluj-Napoca 9 (1987), 85–92.Search in Google Scholar

[13] [13] MURSALEEN, M.—ANSARI, K. J.—KHAN, A.: On (p,q)-analogue of Bernstein Operators, Appl. Math. Comput. 266 (2015), 874–882; [Erratumm: 278(2016), 70–71].10.1016/j.amc.2015.04.090Search in Google Scholar

[14] [14] PHILLIPS, G. M.: Bernstein polynomials based on the q-integers, J. Numer. Math. 4 (1997), 511–518.Search in Google Scholar

[15] [15] SRIVASTAVA, H. M.—ÖZGER, F.—MOHIUDDINE, S. A.: Construction of Stancu-Type Bernstein Operators Based on Bézier Bases with Shape Parameter λ, Symmetry 11 (2019), Art. 316.10.3390/sym11030316Search in Google Scholar

[16] [16] STANCU, D. D.: Approximation of function by a new class of polynomial operators, Rev. Roum. Math. Pures Appl. 13(8) (1968), 1173–1194.Search in Google Scholar

[17] [17] WEIERSTRASS, K.: Über die analytische Darstellbarkeit sogenannter willkürlicher Functionen einer reellen Veränderlichen, Sitzungsber. Akad. Wiss. Berlin. (1885), 633-639, 789–805.Search in Google Scholar

[18] [18] YE, Z.—LONG, X.—ZENG, X. M.: Adjustment algorithms for Bézier curve and surface. International Conference on Computer Science and Education, 2010, pp. 1712–1716.Search in Google Scholar

Received: 2020-03-26
Accepted: 2021-02-13
Published Online: 2022-02-16
Published in Print: 2022-02-16

© 2022 Mathematical Institute, Slovak Academy of Sciences

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

Downloaded on 14.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/ms-2022-0010/html
Scroll to top button