Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
2, 89 - 94
S. Mubeen
G. M. Habibullah
Abstract
n !k n ( nk ) k
x 1
k ( x ) = lim , (1)
n ( x )n,k
n 1
( x )n,k = ( x + jk ), k > 0 is the Pochhammer k -symbols for factorial function.
j =0
k
tk
It has been shown that the Mellin transform of the exponential function e is
the k -gamma function, explicitly given by
tk
k ( x ) = t ex 1 k
dt . (2)
0
k 1
xj
and Ek , ( x ) = , , > 0 . (6)
j = 0 k ( j + )
k ( ) 1 + j 1
xj
( )
1
=
kk ( ) t k
k ( ) j = 0 0
1 t k
dt
j!
k - fractional integrals and application 91
( ) k 1
1
(1 t )
1 xt
k k ( ) k ( ) 0
= t k k
e dt . (7)
k ( )
I k x k
1 + 1
Moreover, = xk k (11)
k ( + )
k ( )
I k ( x u ) k
1 + 1
and = ( x u )k k . (12)
k ( + )
We can extend the k -fractional integral by
x
I k , ( f ( x ) ) =
x k 1
( ) k t f ( t ) dt.
x t (13)
k k ( ) 0
A change of order of integration and use of (4) proves the relation
( )
I k + , I k , f = I k + , ( f ) . (14)
, 2 1
Furthermore, I k p ( f )( x ) : L L , p > 1 is a simple consequences of
p p
Fk ( ( , k ) ; ( , k ) ; xt ) f ( t ) dt ,
2p +1
H k , ( f ) ( x ) = x
1
( xt )
k
(15)
0
p
is bounded in L . To do this, we first prove the following lemma.
Lemma: Let
2p
1
Tk
( f )( x ) = x k
t k e xt f ( t ) dt , ( x > 0 ) , (16)
0
2p xt
1
and Tk
*
( g )( x ) = x k
tk e g ( t ) dt , ( x > 0 ) . (17)
0
*
(i) If p > 1, > k
p
, then Tk ( f ) and Tk ( g ) are bounded in Lp ;
(ii)
f (t ) Tk* g ( t ) dt = g ( t )Tk f ( t ) dt; (18)
0 0
k k ( ) k ( ) k 1 k 1
(iii) Tk
*
( x ) ( t ) = t x Fk ( ( , k ) ; ( , k ) ; xt ) ,
k ( )
2 1
1
where x (t ) = ( x t ) k
t p , 0 < t < x < ; = 0, t x. (19)
( 1x ) .
2p
Proof: Write V ( f )( x) = x f Then V 2 f = f and V ( f ) is an isometry
p
in L . Now note that
Tk (V ( f ) ) ( x ) = x t k e xt (V ( f ) ) ( t ) dt , ( x > 0 )
2p
k 1
0
2
p 1 xy
f ( y ) dy .
2
= xk yp k
e
0
1p + k 1 u
Since u e du is finite when p > 1 and > kp ,
0
Tk (V ( f ) ) : Lp Lp , so is Tk ( f ) = Tk V 2 ( f ) .
( )
To prove (iii), let x > 0 . Then
k - fractional integrals and application 93
x
1 1 ty
Tk* ( x ) ( t ) = y k
( x y) k
e dy
0
k k ( ) k ( ) k 1 k 1
= t x Fk ( ( , k ) ; ( , k ) ; xt ) .
k ( )
2p +1 k
* 1 2p 1
x
( ) ( )
k k ( ) 0
= f t T x t k
t dt
k
2 +1
f ( t ) Tk * ( x ( t ) ) dt .
x p k
=
k k ( ) 0
It, thus, implies that
Fk ( ( , k ) ; ( , k ) ; xt ) f ( t ) dt
2p +1
H k , ( f ) ( x ) = x
1
( xt )
k
0
2 +1
k ( ) x p k
= f ( t ) Tk* ( x ) ( t )dt
k k ( ) k ( ) 0
k ( )
= {
I k , 2 1 Tk ( f ) ( x ) .
k ( ) p
}
Hence, if p > 1, > kp , > 0 , then
k ( )
H k, ( f )
p
=
k ( ) p
(
I k , 2 1 Tk ( f ) ) p
C Tk ( f )
p
C f p
,
References