12
˙ Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 http://www.journalofinequalitiesandapplications.com/content/2013/1/361 RESEARCH Open Access Approximation properties of complex q-Balázs-Szabados operators in compact disks Nurhayat ˙ Ispir and Esma Yıldız Özkan * * Correspondence: [email protected] Department of Mathematics, Faculty of Science, Gazi University, Ankara, 06500, Turkey Abstract This paper deals with approximating properties and convergence results of the complex q-Balázs-Szabados operators attached to analytic functions on compact disks. The order of convergence and the Voronovskaja-type theorem with quantitative estimate of these operators and the exact degree of their approximation are given. Our study extends the approximation properties of the complex q-Balázs-Szabados operators from real intervals to compact disks in the complex plane with quantitative estimate. MSC: 30E10; 41A25 Keywords: complex q-Balázs-Szabados operators; order of convergence; Voronovskaja-type theorem; approximation in compact disks 1 Introduction In the recent years, applications of q-calculus in the area of approximation theory and number theory have been an active area of research. Details on q-calculus can be found in [–]. Several researchers have purposed the q-analogue of Stancu, Kantorovich and Durrmeyer type operators. Gal [] studied some approximation properties of the complex q-Bernstein polynomials attached to analytic functions on compact disks. Also very recently, some authors [–] have studied the approximation properties of some complex operators on complex disks. Balázs [] defined the Bernstein-type rational functions and gave some convergence theorems for them. In [], Balázs and Szabados ob- tained an estimate that had several advantages with respect to that given in []. These esti- mates were obtained by the usual modulus of continuity. The q-form of these operator was given by Doğru. He investigated statistical approximation properties of q-Balázs-Szabados operators []. The rational complex Balázs-Szabados operators were defined by Gal [] as follows: R n (f ; z)= ( + a n z) n n j= f j b n n j (a n z) j , where D R = {z C : |z| < R} with R > , f : D R [R, ) C is a function, a n = n β, b n = n β , < β , n N, z C and z =– a n . He obtained the uniform convergence of R n (f ; z) to f (z) on compact disks and proved the upper estimate in approximation of these operators. Also, he obtained the Voronovskaja- type result and the exact degree of its approximation. © 2013 ˙ Ispir and Yıldız Özkan; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Approximation properties of complex q-Balázs-Szabados operators in compact disks

  • Upload
    esma

  • View
    212

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361http://www.journalofinequalitiesandapplications.com/content/2013/1/361

RESEARCH Open Access

Approximation properties of complexq-Balázs-Szabados operators in compact disksNurhayat Ispir and Esma Yıldız Özkan*

*Correspondence:[email protected] of Mathematics,Faculty of Science, Gazi University,Ankara, 06500, Turkey

AbstractThis paper deals with approximating properties and convergence results of thecomplex q-Balázs-Szabados operators attached to analytic functions on compactdisks. The order of convergence and the Voronovskaja-type theorem withquantitative estimate of these operators and the exact degree of their approximationare given. Our study extends the approximation properties of the complexq-Balázs-Szabados operators from real intervals to compact disks in the complexplane with quantitative estimate.MSC: 30E10; 41A25

Keywords: complex q-Balázs-Szabados operators; order of convergence;Voronovskaja-type theorem; approximation in compact disks

1 IntroductionIn the recent years, applications of q-calculus in the area of approximation theory andnumber theory have been an active area of research. Details on q-calculus can be foundin [–]. Several researchers have purposed the q-analogue of Stancu, Kantorovich andDurrmeyer type operators. Gal [] studied some approximation properties of the complexq-Bernstein polynomials attached to analytic functions on compact disks.Also very recently, some authors [–] have studied the approximation properties of

some complex operators on complex disks. Balázs [] defined the Bernstein-type rationalfunctions and gave some convergence theorems for them. In [], Balázs and Szabados ob-tained an estimate that had several advantages with respect to that given in []. These esti-mates were obtained by the usualmodulus of continuity. The q-form of these operator wasgiven byDoğru.He investigated statistical approximation properties of q-Balázs-Szabadosoperators [].The rational complex Balázs-Szabados operators were defined by Gal [] as follows:

Rn(f ; z) =

( + anz)nn∑j=

f( jbn

)(nj

)(anz)j,

whereDR = {z ∈C : |z| < R}withR > , f :DR∪[R,∞)→C is a function, an = nβ–, bn = nβ ,

< β ≤ , n ∈N, z ∈C and z �= –

an .He obtained the uniform convergence of Rn(f ; z) to f (z) on compact disks and proved the

upper estimate in approximation of these operators. Also, he obtained the Voronovskaja-type result and the exact degree of its approximation.

© 2013 Ispir and Yıldız Özkan; licensee Springer. This is an Open Access article distributed under the terms of the Creative CommonsAttribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproductionin any medium, provided the original work is properly cited.

Page 2: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 2 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

The goal of this paper is to obtain convergence results for the complex q-Balázs-Szabados operators given by

Rn(f ;q, z) =∏n–

s=( + qsanz)

n∑j=

qj(j–)/f( [j]qbn

)[nj

]q(anz)j,

where f : DR ∪ [R,∞) → C is uniformly continuous and bounded on [,∞), an = [n]β–q ,bn = [n]βq , q ∈ (, ], < β ≤

, n ∈N, z ∈C and z �= – qsan for s = , , , . . . .

These operators are obtained simply replacing x by z in the real form of the q-Balázs-Szabados operators introduced in Doğru [].The complex q-Balázs-Szabados operators Rn(f ;q, z) are well defined, linear, and these

operators are analytic for all n ≥ n and |z| ≤ r < [n]–βq since |–

an | ≤ |– qan | ≤ · · · ≤

|– qn–an |.In this paper, we obtain the following results:- the order of convergence for the operators Rn(f ;q, z),- the Voronovskaja-type theorem with quantitative estimate,- the exact degree of the approximation for the operators Rn(f ;q, z).

Throughout the paper, we denote with ‖f ‖r = max{|f (z)| ∈R : z ∈ Dr} the norm of f in thespace of continuous functions on Dr and with ‖f ‖B[,∞) = sup{|f (x)| ∈ R : x ∈ [,∞)} thenorm of f in the space of bounded functions on [,∞).Also, the many results in this study are obtained under the condition that f : DR ∪

[R,∞) → C is analytic in DR for r < R, which assures the representation f (z) =∑∞

k= ckzkfor all z ∈DR.

2 Convergence resultsThe following lemmas will help in the proof of convergence results.

Lemma Let n ≥ , < β ≤ and

< r < R ≤ [n]–βq . Let us define αk,n,q(z) = Rn(ek ;q, z)

for all z ∈ Dr , where ek(z) = zk . If f :DR ∪ [R,∞)→C is uniformly continuous, bounded on[,∞) and analytic in DR, then we have the form

Rn(f ;q, z) =∞∑k=

ckαk,n,q(z)

for all z ∈ Dr .

Proof For anym ∈N, we define

fm(z) =m∑k=

ckek(z) if |z| ≤ r and fm(z) = f (z) if z ∈ (r,∞).

From the hypothesis on f , it is clear that each fm is bounded on [,∞), that is, there existM(fm) > with |fm(z)| ≤ M(fm), which implies that

∣∣Rn(fm;q, z)∣∣ ≤

|∏n–s=( + qsanz)|

n∑j=

qj(j–)/M(fm)[nj

]q

(an|z|

)j < ∞,

that is all Rn(fm;q, z) with n≥ n, r <[n]–β

q ,m ∈N are well defined for all z ∈ Dr .

Page 3: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 3 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

Defining

fm,k(z) = ckek(z) if |z| ≤ r and fm,k(z) =f (z)m +

if z ∈ (r,∞),

it is clear that each fm,k is bounded on [,∞) and that fm(z) =∑m

k= fm,k(z).From the linearity of Rn(f ;q, z), we have

Rn(fm;q, z) =m∑k=

ckαk,n,q(z) for all |z| ≤ r.

It suffices to prove that

limm→∞Rn(fm;q, z) = Rn(f ;q, z)

for any fixed n ∈N, n≥ n and |z| ≤ r.We have the following inequality for all |z| ≤ r:

∣∣Rn(fm;q, z) – Rn(f ;q, z)∣∣ ≤ Mr,n,q‖fm – f ‖r , ()

whereMr,n,q =∏n–

s=(+qsanr)(–qsanr) .

Using (), limm→∞ ‖fm – f ‖r = and ‖fm – f ‖B[,∞) ≤ ‖fm – f ‖r , the proof of the lemma isfinished. �

Lemma If we denote (β + z)nq =∏n–

s=(β + qsz), then the following formula holds:

Dq

[

(β + z)nq

]= –

[n]q(β + z)n+q

,

where β is a fixed real number and z ∈C.

Proof We can write (β + z)nq as follows:

(β + z)nq = qn(n–)/(z + q–n+β

)nq . ()

In [] (see p., Proposition .), we already have the following formula:

Dq[(β + z)nq

]= [n]q(β + z)n–q . ()

Using () and (), we get

Dq[(β + z)nq

]= qn(n–)/[n]q

(z + q–n+β

)n–q

= [n]qqn–q(n–)(n–)/(z + q–n+

(q–β

))n–q

= [n]qqn–(q–β + z

)n–q

= [n]q(β + qz)n–q . ()

From (), we obtain the result. �

Page 4: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 4 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

Lemma We have the following recurrence formula for the complex q-Balázs-Szabadosoperators Rn(f ;q, z):

αk+,n,q(z) =( + qnanz)z( + anz)bn

Dq[αk,n,q(z)

]+

z + anz

αk,n,q(z),

where αk,n,q(z) = Rn(ek ;q, z) for all n ∈N, z ∈C and k = , , , . . . .

Proof Firstly, we calculate Dq[αk,n,q(z)] as follows:

Dq[αk,n,q(z)

]=Dq

[∏n–

s=( + qsanz)

] n∑j=

qj(j–)/( [j]qbn

)k[nj

]q(anz)j

+∏n–

s=( + qs+anz)

n∑j=

qj(j–)/( [j]qbn

)k[nj

]q(an)jDq

[zj

]. ()

Considering Lemma and using Dq[zj] = [j]qzj– in (), we get

Dq[αk,n,q(z)

]= –

bn + qnanz

∏n–s=( + qsanz)

αk,n,q(z)

+bn( + anz)z( + qnanz)

αk+,n,q(z). ()

From (), the proof of the lemma is finished. �

Corollary ([], p., Corollary ..) Let f (z) = pk (z)∏kj=(z–aj)

, where pk(z) is a polynomialof degree ≤ k, and we suppose that |aj| ≥ R > for all j = , , . . . ,k. If ≤ r < R, then for all|z| ≤ r we have

∣∣f ′(z)∣∣ ≤ R + r

R – r · kr ‖f ‖r .

Under hypothesis of the corollary above, by the mean value theorem [] in complexanalysis, we have

∣∣Dq[f (z)

]∣∣ ≤ R + rR – r · kr ‖f ‖r . ()

Lemma Let n ≥ , < β ≤ and

< r < R ≤ [n]–βq . For all n ≥ n, |z| ≤ r and k =

, , , . . . , we have

∣∣αk,n,q(z)∣∣ ≤ k!(r)k .

Proof Taking the absolute value of the recurrence formula in Lemma and using the tri-angle inequality, we get

∣∣αk+,n,q(z)∣∣ ≤ ( + qnan|z|)|z|

| – an|z||bn∣∣Dq

[αk,n,q(z)

]∣∣ + |z|| – an|z||

∣∣αk,n,q(z)∣∣. ()

Page 5: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 5 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

In order to get an upper estimate for |Dq[αk,n,q(z)]|, by using (), we obtain

∣∣Dq[αk,n,q(z)

]∣∣ ≤ [n]–βq + r

[n]–βq – r

· kr ‖αk,n,q‖r .

Under the condition r < [n]–βq , it holds [n]–β

q +r[n]–β

q –r< , which implies

∣∣Dq[αk,n,q(z)

]∣∣ ≤ kr ‖αk,n,q‖r . ()

Applying () to () and passing to norm, we get

‖αk+,n,q‖r ≤ ( + qnanr)k( – anr)bn

‖αk,n,q‖r + r – anr

‖αk,n,q‖r .

From the hypothesis of the lemma, we have –anr < , + qnanr <

, andbn < , which

implies

‖αk+,n,q‖r ≤ r(k + )‖αk,n,q‖r .

Taking step by step k = , , , . . . , we obtain

‖αk+,n,q‖r ≤ (r)k+(k + )!.

Using |αk+,n,q| ≤ ‖αk+,n,q‖r and replacing k + with k, the proof of the lemma is finished.�

Let q = {qn} be a sequence satisfying the following conditions:

limn→∞qn = and lim

n→∞qnn = c ( ≤ c < ). ()

Now we are in a position to prove the following convergence result.

Theorem Let {qn} be a sequence satisfying the conditions () with qn ∈ (, ] for alln ∈N, and let n ≥ , < β ≤

and < r < R≤ [n]–β

qn . If f :DR ∪ [R,∞)→C is uniformly

continuous, bounded on [,∞) and analytic in DR and there exist M > , < A < r with

|ck| ≤ MAkk! (which implies |f (z)| ≤ MeA|z| for all z ∈DR), then the sequence {Rn(f ;qn, z)}n≥n

is uniformly convergent to f in Dr .

Proof From Lemma and Lemma , for all n≥ n and |z| ≤ r, we have

∣∣Rn(f ;qn, z)∣∣ ≤

∞∑k=

|ck|∣∣αk,n,qn (z)

∣∣ ≤∞∑k=

MAk

k! k!(r)k =M

∞∑k=

(Ar)k ,

where the series∑∞

k=(Ar)k is convergent for < A < r .

Since limn→∞ Rn(f ;qn,x) = f (x) for all x ∈ [, r] (see []), by Vitali’s theorem (see [],p., Theorem ..), it follows that {Rn(f ;qn, z)} uniformly converges to f (z) in Dr . �

We can give the following upper estimate in the approximation of Rn(f ;qn, z).

Page 6: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 6 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

Theorem Let {qn} be a sequence satisfying the conditions () with qn ∈ (, ] for alln ∈N, and let n ≥ , < β ≤

and < r < R≤ [n]–β

qn . If f :DR ∪ [R,∞)→C is uniformly

continuous, bounded on [,∞) and analytic in DR and there exist M > , < A < r with

|ck| ≤ MAkk! (which implies |f (z)| ≤ MeA|z| for all z ∈DR), then the following upper estimate

holds:

∣∣Rn(f ;qn, z) – f (z)∣∣ ≤ C

r (f )(an +

bn

),

where Cr (f ) = max{MA

∑∞k=(k –)(Ar)k–, rMAeAr} and∑∞

k=(k –)(Ar)k– < ∞.

Proof Using the recurrence formula in Lemma , we have

∣∣αk+,n,qn (z) – zk+∣∣ ≤ ( + qnnan|z|)|z|

| – an|z||bn∣∣Dqn

[αk,n,qn (z) – zk

]∣∣+

|z|| – an|z||

∣∣αk,n,qn (z) – zk∣∣ +

bn( + qnnan|z|)| – an|z|| [k]qn |z|k

+an

| – an|z|| |z|k+.

For |z| ≤ r, we get

∣∣αk+,n,qn (z) – zk+∣∣ ≤ ( + qnnanr)r

( – anr)bn∣∣Dqn

[αk,n,qn (z)

]∣∣ + r – anr

∣∣αk,n,qn (z) – zk∣∣

+bn

( + qnnanr)( – anr)

[k]qnrk +an

– anrrk+.

Using (), –anr < , and + qnnanr <

, we obtain

∣∣αk+,n,qn (z) – zk+∣∣ ≤ k · k!

bn(r)k + r

∣∣αk,n,qn (z) – zk∣∣ +

bn[k]qnrk + anrk+.

Since [k]qnrk ≤ k · k!(r)k for all k = , , , . . . , we can write

∣∣αk+,n,qn (z) – zk+∣∣ ≤ k · k!

bn(r)k + r

∣∣αk,n,qn (z) – zk∣∣ + anrk+.

Taking k = , , , . . . step by step, finally we arrive at

∣∣αk,n,qn (z) – zk∣∣ ≤

bn(k – )k!(r)k– + anrk(r)k–, ()

which implies

∣∣Rn(f ;qn, z) – f (z)∣∣ ≤

∞∑k=

|ck|∣∣αk,n,qn (z) – zk

∣∣

≤∞∑k=

MAk

k!

{bn

(k – )k!(r)k– + anrk(r)k–}

Page 7: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 7 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

=MAbn

∞∑k=

(k – )(Ar)k– + anrMA∞∑k=

(Ar)k–(k – )!

=MAbn

∞∑k=

(k – )(Ar)k– + anrMAeAr .

Choosing Cr (f ) = max{MA

∑∞k=(k – )(Ar)k–, rMAeAr}, we obtain the desired re-

sult.Here the series

∑∞k=(Ar)k is convergent for < A <

r and the series is absolutelyconvergent in Dr , it easily follows that

∑∞k=(k – )(Ar)k– <∞. �

The following lemmas will help in the proof of the next theorem.

Lemma For all n ∈N, we have

Rn(e;q, z) = , ()

Rn(e;q, z) =z

+ anz, ()

Rn(e;q, z) =( – an

bn )qz

( + anz)( + anqz)+

zbn( + anz)

, ()

where ek(z) = zk for k = , , .

Proof () and () are obtained simply replacing x by z in Lemma . and Lemma . in[]. Also, using [n]q = +q[n–]q and an

bn = [n]q and replacing x by z in Lemma . in [],

() is obtained. �

Lemma For all n ∈N, the following equalities for the operators Rn(f ;q, z) hold:

ψ n,q(z) =

–anz + anz

, ()

ψn,q(z) =

zbn( + anz)( + anqz)

–( – q)z

( + anz)( + anqz)

–an( – q)z

( + anz)( + anqz)+

anqz( + anz)( + anqz)

, ()

where ψ in,q(z) = Rn((t – e)i;q, z) for i = , .

Proof From Lemma , the proof can be easily got, so we omit it. �

Now, we present a quantitative Voronovskaja-type formula.Let us define

Ak,n,qn (z) = Rn(f ;qn, z) – f (z) –ψ n,q(z)f ′(z) –

ψ

n,q(z)f ′′(z). ()

Theorem Let {qn} be a sequence satisfying the conditions () with qn ∈ (, ] for all n ∈N, n ≥ , < β ≤

and < r < R ≤ [n]–β

qn . If f :DR ∪ [R,∞)→C is uniformly continuous,

Page 8: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 8 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

bounded on [,∞) and analytic in DR and there exist M > , < A < r with |ck| ≤ MAk

k!(which implies |f (z)| ≤ MeA|z| for all z ∈DR), then for all n ≥ n and |z| ≤ r, we have

∣∣Ak,n,qn (z)∣∣ ≤ C

r (f )(an +

bn

),

where Cr (f ) = C∗Mr

∑∞k=(k–)(k–)k(k+)(rA)k– <∞ andC∗ is a fixed real number.

Proof From Lemma and the analyticity of f , we can write

∣∣Ak,n,qn (z)∣∣ ≤

∞∑k=

|ck|∣∣Ek,n,qn (z)

∣∣, ()

where

Ek,n,qn (z) = αk,n,qn (z) – zk + ankzk+ + anz

–(k – )kzk–

bn( + anz)( + anqnz)

+( – qn)(k – )kzk

( + anz)( + anqnz)+an( – qn)(k – )kzk+( + anz)( + anqnz)

–anqn(k – )kzk+

( + anz)( + anqnz). ()

Using Lemma , we easily obtain that E,n,q(z) = E,n,q(z) = E,n,q(z) = .Combining () with the recurrence formula in Lemma , a simple calculation leads us

to the following recurrence formula:

Ek+,n,qn (z) =( + qnnanz)zbn( + anz)

Dqn[Ek,n,qn (z)

]+

z + anz

Ek,n,qn (z) + Fk,n,qn (z), ()

where

Fk,n,qn (z) = –(k – [k]qn )zk

bn( + anz)( + anqnz)+

ankzk+( + anz)

–( – qn)kzk+

( + anz)( + anqnz)

+an( – qn)kzk+

( + anz)( + anqnz)–

anqnkzk+( + anz)( + anqnz)

–ank(k + )zk+

bn( + anz)( + anqnz)+an( – qn)k(k + )zk+( + anz)( + anqnz)

+an( – qn)k(k + )zk+( + anz)( + anqnz)

–anqnk(k + )zk+

( + anz)( + anqnz)

–an( + qnnanz)((k – )[k + ]qn – qn[k – ]qn )zk+

bn( + anz)( + anqnz)

–an( + qnnanz)(k – )qn[k]qnzk+

bn( + anz)( + anqnz)+

anqnn[k]qnzk+bn( + anz)( + anqnz)

–( + qnnanz)[k – ]qn (k – )kzk–

bn( + anz)( + anqnz)( + anqnz)

+( – qn)( + qnnanz)[k]qn (k – )kzkbn( + anz)( + anqnz)( + anqnz)

Page 9: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 9 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

+an( – qn)( + qnnanz)[k + ]qn (k – )kzk+

bn( + anz)( + anqnz)( + anqnz)

–anqn( + qnnanz)[k + ]qn (k – )kzk+bn( + anz)( + anqnz)( + anqnz)

+an( + qnnanz)( + qn)(k – )kzk

bn( + anz)( + anqnz)( + anqnz)

–an( – qn)( + qn)( + qnnanz)(k – )kzk+bn( + anz)( + anqnz)( + anqnz)

–an( – qn)( + qn)( + qnnanz)(k – )kzk+bn( + anz)( + anqnz)( + anqnz)

–anqn( + qn)( + qnnanz)(k – )kzk+bn( + anz)( + anqnz)( + anqnz)

.

In the following results, Ci will denote fixed real numbers for i = , , .Under the hypothesis of Theorem , we have

∣∣∣∣ + qsnanz

∣∣∣∣ ≤ – qsnanr

< for s = , , , ()

anr <

and + qnnanr <, ()

– qn ≤ anbn

and k – [k]qn ≤ anbn

(k – )k

, ()

[k]qn ≤ k, an < andbn

< . ()

Using ()-(), for |z| ≤ r, we get

∣∣Fk,n,qn (z)∣∣ ≤ C

(an +

anbn

+bn

)k(k + )(k + )

× max{rk–, rk , rk+, rk+, rk+, rk+

}≤ C

(an +

bn

)k(k + )(k + )(r)k+. ()

On the other hand, for |z| ≤ r, we have

∣∣∣∣ ( + qnnanz)zbn( + anz)

Dqn[Ek,n,qn (z)

]∣∣∣∣ ≤ ( + qnnanr)rbn( – anr)

kr ‖Ek,n,qn‖r

≤ k( + qnnanr)bn( – anr)

{‖αk,n,qn – ek‖r

+ankrk+ – anr

+(k – )krk–

bn( – anr)( – anqnr)

+( – qn)(k – )krk

( – anr)( – anqnr)

+an( – qn)(k – )krk+( – anr)( – anqnr)

+anqn(k – )krk+

( – anr)( – anqnr)

}.

Page 10: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 10 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

Taking into account () in the proof of Theorem , we obtain∣∣∣∣ ( + qnnanz)zbn( + anz)

Dqn[Ek,n,qn (z)

]∣∣∣∣ ≤ Cbn

(an +

bn

)(k – )k(k + )

× (k!)(r)k+

≤ C

(an +

bn

)(k – )k(k + )(k!)(r)k+. ()

Considering () and () in (), we get

∣∣Ek+,n,qn (z)∣∣ ≤ r

∣∣Ek,n,qn (z)∣∣ +C

(an +

bn

)k(k + )(k + )(k + )!(r)k+.

Since E,n,q(z) = E,n,q(z) = E,n,q(z) = , taking k = , , , . . . in the last inequality step bystep, finally we arrive at

∣∣Ek,n,qn (z)∣∣ ≤ C

(an +

bn

)(k – )(k – )k(k + )(k!)(r)k+. ()

Finally, considering () in () and using rA < , the proof of the theorem is complete.�

Remark For < q ≤ , since [n]q → – q as n → ∞, therefore an = (

[n]q )–β → ( – q)–β

and bn = (

[n]q )β → ( – q)β as n→ ∞. If a sequence {qn} satisfies the conditions (), then

[n]q → as n → ∞; therefore an = (

[n]q )–β → and

bn = ( [n]q )

β → as n→ ∞.Under the conditions (), Theorem and Theorem show that {Rn(f ;qn, z)}n≥n uni-

formly converges to f (z) in Dr .

From Theorem and Theorem , we get the following consequence.

Theorem Let {qn} be a sequence satisfying the conditions () with qn ∈ (, ] for alln ∈ N, n ≥ , < β ≤

, β �= and

< r < R ≤ [n]–βqn . Suppose that f : DR ∪ [R,∞) → C

is uniformly continuous, bounded on [,∞) and analytic in DR and there exist M > , < A <

r with |ck| ≤ MAkk! (which implies |f (z)| ≤ MeA|z| for all z ∈ DR). If f is not a

polynomial of degree ≤ , then for all n ≥ n we have

∥∥Rn(f ;qn, ·) – f∥∥r ∼

(an +

bn

).

Proof We can write

Rn(f ;qn, z) – f (z) =(an +

bn

){G(z) +Hn(z)

}, ()

where

G(z) = –an

an + /bnzf ′(z) + anz

+

anbn + zf ′′(z)

( + anz)( + anqnz)

Page 11: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 11 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

– – qn

an + /bnzf ′′(z)

( + anz)( + anqnz)

–an( – qn)an + /bn

zf ′′(z)( + anz)( + anqnz)

+an

an + /bnqnzf ′′(z)

( + anz)( + anqnz)()

and

Hn(z) =(an +

bn

)[

(an + bn )

Ak,n,qn (z)], ()

and also (Hn(z))n∈N is a sequence of analytic functions uniformly convergent to zero forall |z| ≤ r.Since an +

bn → as n → ∞, and taking into account Theorem , it remains only toshow that for sufficiently large n and for all |z| ≤ r, we have |G(z)| > ρ > , where ρ isindependent of n.If β – < , then the term

anbn+ → as n → ∞, while the other terms converge tozero, so there exists a natural number n ∈N with n ≥ n so that for all n≥ n and |z| ≤ r,we have

∣∣G(z)∣∣ ≥

∣∣∣∣ zf ′′(z)( + anz)( + anqnz)

∣∣∣∣ ≥

|zf ′′(z)|( + r) . ()

If β – > , then the term anan+/bn → as n→ ∞, while the other terms converge to zero.

So, there exists a natural number n ∈ N with n ≥ n so that for all n ≥ n and |z| ≤ r, wehave

∣∣G(z)∣∣ ≥

∣∣∣∣ zf ′(z) + anz

∣∣∣∣ ≥

|zf ′(z)| + r . ()

In the case of β – = , that is, β = , we obtain

anan+/bn = [n]/qn → ∞, as n → ∞, so that

the case β = remains unsettled.

Choosing n = max{n,n}, considering () and (), for all n≥ n, we get

∥∥Rn(f ;qn, ·) – f∥∥r ≥

(an +

bn

)∣∣‖G‖r – ‖Hn‖r∣∣ ≥

(an +

bn

)‖G‖r .

For all n ∈ {n, . . . ,n – }, we get∥∥Rn(f ;qn, ·) – f

∥∥r ≥

(an +

bn

)Mr,n,qn (z)

withMr,n,qn (z) = an+/bn ‖Rn(f ;qn, ·) – f ‖r > , which finally implies

∥∥Rn(f ;qn, ·) – f∥∥r ≥

(an +

bn

)Cr(f ) ()

for all n ≥ n, with Cr(f ) = min{Mr,n,qn (z), . . . ,Mr,n–,qn (z), ‖G‖r}.From () and Theorem , the proof is complete. �

Page 12: Approximation properties of complex q-Balázs-Szabados operators in compact disks

Ispir and Yıldız Özkan Journal of Inequalities and Applications 2013, 2013:361 Page 12 of 12http://www.journalofinequalitiesandapplications.com/content/2013/1/361

Remark Recently, it is much more interesting to study these operators in the case q > .Authors continue to study that case.

Competing interestsThe authors declare that they have no competing interests.

Authors’ contributionsThe main idea of this paper is proposed by NI. All authors contributed equally in writing this article and read andapproved the final manuscript.

AcknowledgementsThe authors are grateful to the editor and the reviewers for making valuable suggestions, leading to a better presentationof the work.

Received: 23 March 2013 Accepted: 18 July 2013 Published: 2 August 2013

References1. Aral, A, Gupta, V, Agarwal, RP: Applications of q Calculus in Operator Theory. Springer, Berlin (2013).

ISBN:978-1-4614-6945-22. Andrews, GE, Askey, R, Roy, R: Special Functions. Cambridge University Press, Cambridge (1999)3. Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2002)4. Gal, SG: Approximation by Complex Bernstein and Convolution Type Operators. World Scientific, Hackensack (2009)5. Gal, SG, Gupta, V, Mahmudov, NI: Approximation by a complex q-Durmeyer type operator. Ann. Univ. Ferrara 58,

65-87 (2012)6. Mahmudov, NI: Approximation by genuine q-Bernstein-Durmeyer polynomials in compact disks. Hacet. J. Math. Stat.

40(1), 77-89 (2011)7. Agarwal, RP, Gupta, V: On q-analogue of a complex summation-integral type operators in compact disks. J. Inequal.

Appl. 2012, 111 (2012)8. Balázs, K: Approximation by Bernstein type rational function. Acta Math. Acad. Sci. Hung. 26, 123-134 (1975)9. Balázs, K, Szabados, J: Approximation by Bernstein type rational function II. Acta Math. Acad. Sci. Hung. 40(3-4),

331-337 (1982)10. Dogru, O: On statistical approximation properties of Stancu type bivariate generalization of q-Balázs-Szabados

operators. In: Proceedings Int. Conf. on Numerical Analysis and Approximation Theory, pp. 179-194. Casa Cartii deStiinta, Cluj-Napoca (2006)

11. Borwein, P, Erdélyi, T: Sharp extensions of Bernstein’s inequality to rational spaces. Mathematika 43(2), 412-423 (1996)12. Edward, J-C, Jafari, F: A complex Rolle’s theorem. Am. Math. Mon. 99(9), 858-861 (1992)13. Kohr, G, Mocanu, PT: Special Chapters of Complex Analysis. Cluj University Press, Cluj-Napoca (2005) (in Romanian)

doi:10.1186/1029-242X-2013-361Cite this article as: Ispir and Yıldız Özkan: Approximation properties of complex q-Balázs-Szabados operators incompact disks. Journal of Inequalities and Applications 2013 2013:361.