Professional Documents
Culture Documents
DSG PDF
DSG PDF
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/315461552
CITATIONS READS
0 5
2 authors:
All content following this page was uploaded by Nadeem Rao on 16 June 2017.
The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document
and are linked to publications on ResearchGate, letting you access and read them immediately.
Szasz-Gamma operators based on Dunkl ana-
logue
Abdul Wafi and Nadeem Rao
1. Introduction
Szasz [20] introduced linear positive operators which are now known as clas-
sical Szasz operators. He investigated uniform and pointwise approximation
on positive semi axis (0, ) by these sequences of positive linear operators
for continuous functions only. To approximate Lebesgue integrable functions,
Mazhar and Totik [11] introduced Szasz-Durrmeyer operators as
Z
X (nx)k (nt)k
Sn (f ; x) = ne nx
ent f (t), n N = {1, 2, 3, . . . }. (1.1)
k! k!
k=0 0
Several generalizations of positive linear operators in integral form were
discussed by the authors to approximate aSclass of Lebesgue integral functions
( see [12], [13], [9]). For j N0 = {0} N, i 0 and f C[0, ), Sucu
This work is carried out with the support of UGC BSR fellowship.
2 Abdul Wafi and Nadeem Rao
1 X (nx)j
j + 2ij
Sn (f ; x) := f , (1.2)
ei (nx) j=0 i (j) n
where
X tj
ei (t) = , t [0, ). (1.3)
(j)
j=0 i
Here
with
0 if j 2N,
j = .
1 if j 2N + 1
Later on, various generalizations of the operators defined by (1.2) and their
approximation results are studied by the authors vitz Icoz et al. ([7], [8]),
Mursaleen et al. [14], Karaisa and Karakoc [15] etc. Motivated by the idea of
Sucu [19], we gave Szasz-Durrmeyer operators using Dunkl analogue as
1 X (nx)j nj+2ij ++1
Z
Dnf (x) = tj+2ij + ent f (t)dt,
ei (nx) j=0 i (j) (j + 2ij + + 1) 0
(1.5)
R
where (t) = 0 xt ex dx is the gamma function and 0. We noticed that
for i = = 0, the sequence of operators introduced in (1.5) reduce to the
operators defined in (1.1). In this paper, we discussed basic convergence the-
orems, pointwise approximation results in several functional spaces. Lastly,
weighted approximation results and rate of convergence for functions with
derivative of bounded variation are studied.
Szasz-Gamma operators based on Dunkl analogue 3
2. Preliminaries
Lemma 2.1. For i, x 0 and generating function defined by (1.3), we have
1 X (nx)j
= 1,
ei (nx) j=0 i (j)
1 X (nx)j
(j + 2ij ) = nx,
ei (nx) j=0 i (j)
!
1 X (nx)j ei (nx)
(j + 2ij )2 = 2 2
n x + 1 + 2i nx,
ei (nx) j=0 i (j) ei (nx)
!
1 X (nx)j ei (nx)
(j + 2ij )3 = 3 3
n x + 3 2i n2 x2
ei (nx) j=0 i (j) ei (nx)
ei (nx)
+ 1 + 4i2 + 2i nx,
ei (nx)
!
1 X (nx)j ei (nx)
(j + 2ij )4 = 4 4
n x + 6 + 4i n3 x3
ei (nx) j=0 i (j) ei (nx)
ei (nx)
+ 7 + 4i2 8i n2 x2
ei (nx)
ei (nx) ei (nx)
+ 1 + 12i2 + 6i + 8i3 nx.
ei (nx) ei (nx)
Proof. In the view of equation (1.3) and using property of j , i.e., j+1 =
(1)j + j and equation (1.4), we can easily prove Lemma 2.1.
For = 1
1 X (nx)j nj+2ij ++1
Z
Dne1 (x) = tj+2ij ++1 ent dt,
ei (nx) j=0 i (j) (j + 2ij + + 1) 0
1 X (nx)j (j + 2ij + + 2)
=
ei (nx) j=0 i (j) n(j + 2ij + + 1)
X (nx)j
1 (j + 2ij + + 1)
= (j + 2ij + + 1)
nei (nx) j=0 i (j) (j + 2ij + + 1)
+1
= x+ .
n
For = 2
1 X (nx)j nj+2ij ++1
Z
Dne2 (x) = tj+2ij ++2 ent dt
ei (nx) j=0 i (j) (j + 2ij + + 1) 0
1 X (nx)j (j + 2ij + + 3)
=
ei (nx) j=0 i (j) n2 (j + 2ij + + 1)
1 X (nx)j (j + 2ij + + 2)(j + 2ij + + 1)
=
ei (nx) j=0 i (j) n2
X (nx)j
1
= ((j + 2ij )2 + (2 + 3)(j + 2ij )
n2 ei (nx) j=0 i (j)
+ ( + 1)( + 2))
ei (nx) x ( + 1)( + 2)
= x2 + 4 + 2 + 2i + .
ei (nx) n n2
1 +1
Dn x (x) = ,
n
2 ei (nx) x ( + 1)( + 2)
Dn x (x) = 2 + 2i + ,
ei (nx) n n2
4 1
Dn x (x) = o .
n
Proof. From 2.2 and linearity property
1
Dn x (x) = Dnt (x) xDn1 (x),
2 2
Dn x (x) = Dnt (x) 2xDnt (x) + x2 Dn1 (x),
4 4 3 2
Dn x (x) = Dnt (x) 4xDnt (x) + 6x2 Dnt (x) 4x3 Dnt (x) + x4 Dn1 (x),
we can prove Lemma 2.3.
Remark 2.4. One can notice that for i = = 0, the estimates proved in
Lemma 2.2 and Lemma 2.3 for the operators Dnf defined by (1.5) reduce to
the basic estimates proved by Mazhar and Totik [11] for the operators Dn
given in (1.1).
Proof. Using (vi) property in Theorem 4.1.4 in [1], it is enough to show that
Theorem 3.3. For Dnf be the operators given by (1.5) and f CB [0, ), we
have
In order to deal with the proof of Theorem 4.2, we consider the auxiliary
operator Db f as
n
b f (x) = Df (x) + f (x) f +1
D n n x+ . (4.1)
n
2
Lemma 4.1. For g CB [0, ), x 0 and i, 0, one get
b ng (x) g(x)|
|D nx kg 00 k,
where
ei (nx) x ( + 1)(2 + 3)
nx = 2 + 2i + .
ei (nx) n n2
Proof. Using auxiliary operators defined by (4.1), we have
b 1 (x) = 1, D
D b x (x) = 0 and |D
b f (x)| 3kf k. (4.2)
n n n
2
Using Taylor expansion for g CB [0, ), we obtain
Zt
0
g(t) = g(x) + (t x)g (x) + (t v)g 00 (v)dv. (4.3)
x
Applying b nf
D in (4.3), we obtain
!
Rt
(tv)g 00 (v)dv
= g 0 (x)D
x
b ng (x) g(x)
D b ntx (x) + D
bn (x).
8 Abdul Wafi and Nadeem Rao
Zt
(t v)g (v)dv (t x)2 k g 00 k .
00
(4.5)
x
Then
x+Z +1
n ! 2
+1 00
+1
x+ v g (v)dv k g 00 k . (4.6)
n n
x
p
| Dnf (x) f (x) | C2 f ; nx + (f ; Dnx (x)),
where nx is defined in Lemma 4.1.
2
Proof. For g CB b , we
[0, ) and f CB [0, ) and by the definition of D n
obtain
n |t x| o
LipkM1 ,k2 () := f CB [0, ) : |f (t) f (x)| M : x, t (0, ) ,
(t + k1 x + k2 x2 ) 2
where M > 0 and (0, 1].
Theorem 4.3. For f LipkM1 ,k2 (), we have
! 2
n (x)
|Dnf (x) f (x)| M , (4.7)
k1 x + k2 x2
2
where x > 0 and n (x) = Dn x (x).
Proof. For = 1, we have
|Dnf (x) f (x)| Dn(|f (t)f (x)|) (x)
!
|tx|
1
(t+k1 x+k2 x2 ) 2
M Dn (x).
1 1
Since t+k1 x+k2 x2 < k1 x+k2 x2 for all x (0, ), we get
M 2 1
|Dnf (x) f (x)| 1 (Dn(tx) (x)) 2
(k1 x + k2 x2 ) 2
! 21
n (x)
M .
k1 x + k2 x2
Thus the Theorem 4.3 holds for = 1. Next, for (0, 1) and from Holders
inequality with p = 2 and q = 2
2
, we get
2
2
f (|f (t)f (x)|)
|Dn (x) f (x)| Dn (x)
!! 2
|t x|2
M Dnf .
(t + k1 x + k2 x2 )
10 Abdul Wafi and Nadeem Rao
1 1
Since t+k1 x+k2 x2 < k1 x+k2 x2 for all x (0, ), we obtain
! 2
Dnf (|t x|2 ; x)
|Dnf (x) f (x)| M
k1 x + k2 x2
(x) 2
n
M .
k1 x + k2 x2
Hence, we prove Theorem 4.3.
|f (t) f (x)|
ep (f ; x) = sup , x [0, ) and p (0, 1]. (4.8)
t6=x,t(0,) |t x|p
Theorem 4.4. Let f CB [0, ) and p (0, 1]. Then, for all x [0, ), we
have
p2
|Dnf (x) f (x)| ep (f ; x) n (x) .
Proof. We have
p
|Dnf (x) f (x)| ep (f ; x) Dnf (|t x|2 ; x) 2 ,
which prove the desired result.
5. weighted approximation
Here, we recall some notation from [4] to prove next result. Let B1+x2 [0, ) =
{f (x) : |f (x)| Mf (1 + x2 ), 1 + x2 is weight function, Mf is a constant de-
pending on f and x [0, )}, C1+x2 [0, ) is the space of continuous function
in B1+x2 [0, ) with the norm kf (x)k1+x2 = sup |f (x)| k
1+x2 and C1+x2 [0, ) =
x[0,)
f (x)
{f C1+x2 : lim 2 = k, where k is a constant depending on f }.
|x| 1+x
Szasz-Gamma operators based on Dunkl analogue 11
Theorem 5.1. Let f C1+x2 [0, ) and b+1 (f ; ) be its modulus of continuity
defined on [0, b + 1] [0, ). Then, we have
p
kDnf (x) f (x)kC[0,b] 6Mf (1 + b2 )n (b) + 2b+1 (f ; n (b)),
where n (b) = Dnf (b2 ; b).
Proof. From ([6], p. 378), for x [0, b] and t [0, ), we have
2 2|t x|
|f (t) f (x)| 6Mf (1 + b )(t x) + 1 + b+1 (f ; ).
This implies that
Df (|t x|; x)
|Dnf (x) f (x)| 6Mf (1 + b2 )Dnf ((t x)2 ; x) + 1 + n b+1 (f ; ).
Thus, using Lemma 2.3, for x [0, b], we have
p !
n (b)
|Dnf (x) f (x)| 6Mf (1 + b2 )n (b) + 1+ b+1 (f ; ).
|Dnf (1; x) 1|
kDnf (e0 ; x) x0 k1+x2 = sup = 0 for i = 0.
x[0,) 1 + x2
12 Abdul Wafi and Nadeem Rao
For i = 1
+1
kDnf (e1 ; x) x1 k1+x2 = sup n
x[0,) 1 + x2
+1 1
= sup .
n x[0,) 1 + x2
e (nx) (+1)(+2)
4 + 2 + 2i ei i (nx) nx +
n2
kDnf (e2 ; x) x2 k1+x2 = sup
x[0,) 1 + x2
4 + 2 + 2i eei i(nx)
(nx) x
sup 2
n x[0,) 1 + x
( + 1)( + 2) 1
+ sup .
n2 x[0,) 1 + x2
|f (x + h) f (x)|
(f ; ) = sup .
x[0,),0<h 1 + (x + h)2
k
Lemma 5.3. [21] Let f C1+x 2 [0, ). Then
|t x|
1 + 2 (1 + x2 ) 1 + (t x)2 (f ; ). (5.2)
|f (t) f (x)| 2 1 +
k
Theorem 5.4. Let f C1+x 2 [0, ). Then, we have
(1 + x) (1 + x + x2 + x3 )
Dnf ((t x)2 ; x) C1 (i, ) and Dnf ((t x)4 ; x) C2 (i, ) .(5.5)
n n
(1 + x)
|Dnf (x) f (x)| 2 1 + 2 (1 + x2 )(f ; ) 1 + C1 (i, )
n
q q
(1+x+x2 +x3 ) !
C1 (i, ) (1+x)
n C1 (i, ) (1+x)
n C2 (i, ) n
+ + .
p p
On choosing = 1n and C(i, ) = {1+C1 (i, )+ C1 (i, )+ C1 (i, )C2 (i, )},
we get the required result.
functions.
k
Theorem 5.5. For f C1+x 2 [0, ) and > 0, we have
6. A-Statistical approximation
Gadjiev et al [5] was the first who introduced Statistical approximation theo-
rems in operators theory. Here, we recall same notation from [5], let A = (ank )
Szasz-Gamma operators based on Dunkl analogue 15
k
stA lim kDnf (x) f k1+x2+ = 0, for all f C1+x 2+ [0, ) and > 0.
n
Proof. From ([3], p. 191, Th. 3), it is sufficient to show that for = 0
1 + 1
kDnf (e1 ; x) xk1+x2 = sup 2 n
x[0,) 1 + x
+1 1
= sup .
n x[0,) 1 + x2
( )
M1 : = n: kDnf (e1 ; x) xk
( )
+1
M2 : = n: .
n
P P
This implies that M1 M2 , which shows that kM1 ank kM2 ank .
Hence, we have
1 ei (nx) x
kDnf (e2 ; x) x2 k1+x2 = sup 2
4 + 2 + 2i
x[0,) 1 + x ei (nx) n
( + 1)( + 2)
+
n2
ei (nx) 1 x
= 4 + 2 + 2i sup
ei (nx) n x[0,) 1 + x2
( + 1)( + 2) 1
+ sup .
n2 x[0,) 1 + x2
For a given > 0, we have the following sets
(
)
f 2
T1 : = n :
Dn (e2 ; x) x
( )
ei (nx) 1
T2 : = n : 4 + 2 + 2i
ei (nx) n 2
( )
( + 1)( + 2)
T3 : = n: 2
.
n 2
S
This implies that T1 T2 T3 . By which, we get
X X X
ank ank + ank .
kT1 kT2 kT3
As n , we have
7. Rate of convergence
Here, we shall investigate rate of convergence for the operators Dnf given
by (2.2) for the functions with derivative of bounded variation. Let f
DBV (0, ), 0 be the space of functions defined on (0, ) with derivative
of bounded variation on every subinterval of (0, ) and |f (t)| M t , for all
t > 0.
Lemma 7.1. Let x > 0 and > 0. Then, for sufficiently large value of n, we
have
Ry (i,)x
i. n (x, y) = 0 Kn (x, t)dt (xy)
1
2 n , 0 y < x.
R 1 (i,)x
ii. 1 n (x, z) = z Kn (x, t)dt (zx)2 n x < z < .
Szasz-Gamma operators based on Dunkl analogue 17
y y 2
xt
Z Z
n (x, y) = Kn (x, t)dt Kn (x, t)dt
0 0 xy
1
Df ((t x)2 , t)dt
(x y)2 n
1 (i, )x
.
(x y)2 n
Similarly, we can prove (ii).
Theorem 7.2. Let f DBV (0, ), > 0. Then, for sufficient large value of
n and x (0, ), we have
r 0
+ 1 fx0 (x+) + fx0 (x) f (x+) f 0 (x)
(i, )x x x
|Dnf (x) f (x)| +
n 2 n
2
[ n] x x
(i, )x X _ 0 x _ 0
+ (fx ) + (fx )dt
n t
n x
k=1 x+ n
x+ xn x
[ n] x+ u
x _ 0 (i, )x X _ 0
+ (fx )dt + (fx ),
n x n x k=1
where
0 0
0
f (t) f (x+) if x < t < ,
fx (t) = 0 if t = x,
0 0
f (t) f (x+) if 0 t < x
Wm 0 0
and l (fx ) indicates the total variation of fx on [l, m].
Z
Dnf (x) f (x) = [f (t) f (x)]xn (t)dt
0
Z Z t
= f 0 (u)du xn (t)dt
0 x
Z xZ x
= f 0 (u)du xn (t)dt
0 t
Z Z t
+ f 0 (u)du xn (t)dt = M1 + M2 , say.
x x
(7.2)
Rt
Since x
x (u)du = 0 and from (7.1), we have
Z x Z x
1 0 0
M1 = (f (x+) + f 0 (x)) + fx (u)
0 t 2
1 0 0
+ (f (x+) f (x))sgn(u x) du xn (t)dt
2
Z x Z Z x
1 0 0 x 0
= (f (x+) + f (x)) (x t)n (t)dt + fx (u)du xn (t)dt
2 0 0 t
Z x
1 0 0
(f (x+) + f (x)) (x t)xn (t)dt. (7.3)
2 0
Similarly, we obtain
Z Z Z t
1 0
M2 = (f (x+) + f 0 (x)) (t x)xn (t)dt + fx0 (u)du xn (t)dt
2
Zxx x x
1 0
+ (f (x+) + f 0 (x)) (x t)xn (t)dt. (7.4)
2 0
Z
1 0
Dnf (x) f (x) (f (x+) + f 0 (x)) (t x)xn (t)dt
2
Z0
1 0 0
+ (f (x+) + f (x)) |t x|xn (t)dt
2
Z xZ x 0
0
fx (u)du xn (t)dt
0 t
Z Z t
+ fx0 (u)du xn (t)dt.
x x
Hence
Szasz-Gamma operators based on Dunkl analogue 19
1 0
|Dnf (x) (f (x+) + f 0 (x)) |Dnf ((t x); x)|
f (x)| 2
1 0
(f (x+) + f 0 (x)) Dnf (|t x|; x)
+ 2
Z xZ x
0 x
+
fx (u)du n (t)dt
0 t
Z Z t
0 x
+
fx (u)du n (t)dt. (7.5)
x x
Let
Z x Z x
An (fx0 ; x) = fx0 (u)du xn (t)dt
0 t
and
Z Z t
Bn (fx0 ; x) = fx0 (u)du xn (t)dt.
x x
Rm
Next, we calculate An (f 0 x ; x) and Bn (f 0 x ; x). Since l n (x, t)dt 1 for all
[l, m] (0, ). Then, using Lemma 7.1 and integral by part with y = x xn ,
we get
Z x Z x Z x
An (fx0 ; x) = fx0 (u)du (x, t)dt = fx0 (t)n (x, t)dt
0 t t n 0
Z x
|An (fx0 ; x)| |fx0 (t)|n (x, t)dt
0
Z x xn Z x
|fx0 (t)|n (x, t)dt + |fx0 (t)|n (x, t)dt.
0 x xn
Z x Z x
|fx0 (t)|n (x, t)dt = |fx0 (t) fx0 (x)|n (x, t)dt
x xn x xn
Z x x
_ x
_ Z x
fx0 dt fx0 dt
x xn t x xn x xn
x
x _ 0
= f .
n x x
x n
20 Abdul Wafi and Nadeem Rao
x
Putting t = x u
Z x xn Z x xn
0 (i, )x 0 dt
|fx (t)|n (x, t)dt |fx (t)|
0 n 0 (x t)2
Z x
x xn _
(i, )x 0 dt
(fx )
n 0 t
(x t)2
Z n x [ n] x
(i, )x _ (i, )x X _ 0
= (fx ) (fx ).
n t x n t
x u k=1
Consequently
x [ n] x
0
x _ 0 (i, )x X _ 0
(f ; x) f + (fx ) (7.6)
An x
n x x n t
x n
k=1
and
Z Z t
0 0
x
Bn (fx ; x) =
fx (u)du n (t)dt
Z0 Zx
2x t
0
x
fx (u)du (1 n (t))dt
t
x x
Z Z t
0
fx (u)du xn (t)dt
+
Z2x x
x
(f (t) f (x)) n (t)dt
2x
Z
|f 0 (x+)| (t x)xn (t)dt
+
2x
Z 2x
0
fx (u)du |(1 xn (t))dt
+
x
Z 2x
0
+ |fx (t)||(1 xn (t))dt|. (7.7)
x
Z 2x Z x+ xn
0 0
|fx (t)||(1 xn (t))dt| = |fx (t)||(1 xn (t))dt|
x x
Z 2x
0
+ |fx (t)||(1 xn (t))dt|
x+ xn
= P1 + P2 , say . (7.8)
x+ xn
Z x+ xn Z x+ xn
0 0 _ 0
P1 = |fx (t) fx (x)||(1 xn (t))dt| (fx )dt
x x x
x+ xn
x _ 0
= (fx )dt. (7.9)
n x
x
Putting t = x + u
Z 2x Z 2x
0 (i, )x 0 0 dt
P2 = |fx (t)|(1 xn (t))dt |fx (t) fx (x)|
x+ xn n x+ xn (x t)2
x
Z 2x t Z n x+
_u
(i, )x _ dt (i, )x
(fx ) 2
(fx )du
n x+ xn x (x t) n 1 x
x
[ n] x+ u
(i, )x X _ 0
(fx ). (7.10)
n x k=1
x+ x x
2x n [ n] x+
(i, )x X _u 0
Z
0 x _ 0
|fx (t)|(1 xn (t))dt (fx )dt + (fx ). (7.11)
x n x n x k=1
In view of (7.5), (7.6), (7.7), (7.11) and Lemma 7.1, we prove the Theorem
7.2.
References
[1] F. Altomare, M. Campiti, Korovkin-Type approximation Theory and its applica-
tions. De Gruyter Studies in Mathematics, Appendix A By Michael Pannenberg
and Appendix B By Fendinand Beckho, Walter De Gruyter, Berlin, Germany.
17 (1994).
[2] R. A. DeVore, G.G. Lorentz, Constructive Approximation. Grudlehren der
Mathematischen Wissenschaften [Fundamental principales of Mathematical Sci-
ences]. (Springer-Verlag, Berlin, 1993).
[3] O. Duman, C. Orhan, Statistical approximation by positive linear operators.
Studio Math. 16 (2) (2004) 187-197.
[4] A. D. Gadziev, Theorems of the type of P.P. Korovkins theorems. Mat. Zametki
20 (5) (1976) 781-786 (in Russian), Math. Notes 20 (5-6) (1976) 995-998 (Engl.
Trans.).
[5] A. D. Gadjiev, C. Orhan, Some approximation theorems via statistical conver-
gence. Rocky Mountain J. Math. 32 (1) (2007) 129-138.
[6] E. Ibikli, E. A. Gadjieva, The order of approximation of some unbounded func-
tions by the sequence of positive linear operators. Turkish J. Math. 19 (3) (1995)
331-337.
22 Abdul Wafi and Nadeem Rao
Abdul Wafi
Department of Mathematics
Faculty of Natural Sciences
Jamia Millia Islamia
New Delhi-110025
India
e-mail: awafi@jmi.ac.in
Szasz-Gamma operators based on Dunkl analogue 23
Nadeem Rao
Department of Mathematics
Faculty of Natural Sciences
Jamia Millia Islamia
New Delhi-110025
India
e-mail: nadeemrao1990@gmail.com