Professional Documents
Culture Documents
45(2005), 1-11
1
2 R. K. Rain and P. Kr. Chhajed
Throughout the paper, we follow the notations and conventions of [1]. Thus, R
denotes the field of real numbers and C the field of complex numbers. Rn repre-
n
sents the set of n-tuple real numbers, with R+ denoting the set of non-negative real
n
numbers, and C the set of complex numbers. We reserve a, b, c, · · · , x, · · · in
most cases for elements of C n , viz. x = (x1 , · · · , xn ), a = (a1 , · · · , an ) etc. We also
set xa = xa1 · · · xan and x.1 = x1 + · · · + xn .
By φ+ (x) we mean the positive part of a function φ defined by
(
φ(x) φ(x) > 0,
(1.1) φ+ (x) =
0 φ(x) ≤ 0.
and
α,β,η
(1.3) S−;n f (x)
Z · ½ ¾¸α
1 x1 xn
= D1 1 − max ,··· ,
Γ(α + 1) n
R+ t1 tn +
µ ½ ¾¶
x1 xn
× 2 F1 α + β, −η; 1 + α; 1 − max ,··· , f (t)dt.
t1 tn
and
α,β,η −β α,β,η
(1.5) S−;1 x f (x) = J0,x f (x),
α,β,η α,β,η
where I0,x and J0,x are well known generalized fractional calculus operators
involving the Gauss hypergeometric function due to Saigo. Also, the operators
(1.2) and (1.3) contain the multidimensional modified fractional integral operators
studied by Tuan and Saigo [19] (see also [1]).
Multidimensional Fractional Calculus Operators 3
h i Z
λ+i∞
M,N M,N (aj ,Aj )1,P 1
(1.6) HP,Q [z] = HP,Q z |(bj ,Bj )1,Q = θ(σ)z −σ dσ,
2πi
λ−i∞
where
Q
M Q
M
(bj + σBj ) (1 − aj − σAj )
j=1 j=1
(1.7) θ(σ) = ,
Q
Q Q
p
(1 − bj − σBj ) (bj + σAj )
j=M +1 j=N +1
with
N
X P
X M
X Q
X
(1.8) ∆= Aj − Aj + Bj − Bj > 0, or
1 N +1 1 M +1
à P Q
! Ã P Q
!
X X (P − Q) X X
(1.9) ∆ = 0, Re aj − bj − +λ Aj − Bj > 1
1 1
2 1 1
³ ´
Re(bj ) > −λBj (j = 1, · · · , M ), Re(aj ) > 1 − λAj (j = 1, · · · , N ) .
and
Z ¡s ¢ ³s ´
s−1 h1 hn(−1)n−1 h .1
(1.11) x g(min{x1 , · · · , xn })dx = g∗ .1 ,
n
R+ s1 h
³ ´
Re(si ) < 0 (i = 1, · · · , n) ,
2. Main results
We first establish the following:
Theorem 1. Let Re(α) > 0, λj < 0 (j = 1, ³ · · · , n), ´λ.1 > max {Re(β), Re(η),
Aj
Re(α + β + η)} , and h ∈ R+ , Re(aj ) < 1 − (λ.1) h (j = 1, · · · , N ),
³ ´
B
Re(bj ) > − (λ.1) hj (j = 1, · · · , M ), and the following conditions holds true:
P
N P
P P
M P
Q
(i) Delta = Aj − Aj + Bj − Bj > 0, or
1 N +1 1 M +1
µP ¶ µP ¶
P P
Q
(P −Q) P P
Q
(ii) ∆ = 0, and Re aj − bj − 2 + (λ.1) Aj − Bj > 1,
1 1 1 1
then
h i
α,β,η −1 M,N
(2.1) S+;n x HP,Q min{xh1 , · · · , xhn }
h ¯ i
h ¯ (1−β,h),(1−η,h),(aj ,Aj )1,P
= x−1 HPM,N +2 h
+2,Q+2 min{x1 , · · · , xn } (bj ,Bj )1,Q ,(1,h),(1−α−β−η,h) .
Proof. First we recall the multidimensional Mellin inversion formula [1] given by
(λ)+i∞
Z
1
(2.2) f (x) = f ∗ (s)x−s ds,
(2πi)n
(λ)−i∞
R (λ)+i∞
where, we use the condensed integral notation (λ)−i∞ for the n-tuple integral
R λ1 +i∞ R λ +i∞
λ1 −i∞
· · · λnn−i∞ .
In view of (2.2), and by invoking (1.11) of Lemma 1, we can express
(λ)+i∞
Z
−1 M,N £ ¤ (−1)n−1 s.1 −s−1
(2.4) x HP,Q min{xh1 , · · · , xhn } = Fh∗ (s) x ds,
h(2πi)n s1
(λ)−i∞
where
Q
M Q
N
Γ(bj + Bj s.1
h ) Γ(1 − aj − Aj s.1
h )
j=1 j=1
(2.5) Fh∗ (s) = .
Q
Q Q
P
Γ(1 − bj − Bj s.1
h ) Γ(aj + Aj s.1
h )
j=M +1 j=N +1
Multidimensional Fractional Calculus Operators 5
α,β,η
Applying the operator S+;n on both sides of (2.4), provided that Re(sj ) < 0
(j = 1, · · · , n), and using the formula [20, p.147, Eq.(3.5)]:
n
3. Operators on space Mλ (R+ )
n
Following [19], let Mλ (R+ ), where λ = (λ1 , · · · , λn ) ∈ Rn , denote the space of
n
functions f defined on R+ which are defined through the set of entire functions of
n
exponential type. It is proved that the function f ∈ Mλ (R+ ) if and only if f can
be represented as the inverse Mellin transform, viz.
(λ)+i∞
Z
1
f (x) = f ∗ (s)x−s ds,
(2πi)n
(λ)−i∞
¡
of a function ¢f ∗ (s) which is infinitely differentiable with compact support on (λ) −
i∞, (λ) + i∞ .
n
We now state the following known assertion pertaining to the space Mλ (R+ )
which are used to arrive at further new results involving the operators (1.2) and
(1.3).
Lemma 2 ([20, p.148, Eq.(3.7)]). If Re(α) > 0, λj + Re(dj ) < 1 (j = 1, · · · , n),
α + β + η + n − d.1 − λ.1 > 0, λ.1 + Re(d.1) < n + min [Re(β), Re(η)], then,
α,β,η −d
xd S+;n x is a homeomorphism of the space Mλ (R+ n
) onto itself, and
α,β,η −d
(3.1) xd S+;n x f (x)
Z (λ)+i∞
1 Γ(β + n − d.1 − s.1)Γ(η + n − d.1 − s.1)
= f ∗ (s) x−s ds.
(2πi)n (λ)−i∞ Γ(n − d.1 − s.1)Γ(α + β + η − n − d.1 − s.1)
α,β,η −d 1
(3.2) xd S−;n x f (x) =
(2πi)n
(λ)+i∞
Z
Γ(1 − n + d.1 + s.1)Γ(1 − β + η − n + d.1 + s.1)
f ∗ (s) x−s ds.
Γ(1 − β − n + d.1 + s.1)Γ(1 + α + η − n + d.1 + s.1)
(λ)−i∞
α,β,η −d M,N £ ¤ 1
(3.3) xd S+;n x f (x)HP,Q min{xh1 , · · · , xhn } =
(2πi)n
(λ)+i∞
Z
|s| Γ(β + n − d.1 − s.1)Γ(η + n − d.1 − s.1)
Fh∗ (s) x−s ds,
s1 · · · sn Γ(n − d.1 − s.1)Γ(α + β + η − n − d.1 − s.1)
(λ)−i∞
where Fh∗ (s) is defined by (2.5). Interpreting the R.H.S. with the help of (2.4), we
obtain the following result:
Theorem 3. Let Re(α) h> 0, λj + Re(dj ) < 1 (j = 1, ·i· · , n) and h ∈ R+ , such that
A
λ.1 + Re(d.1) < n + min Re(β), Re(η), Re(α + β + η) , Re(aj ) < 1 − (λ.1) hj (j =
B
1, · · · , N ), Re(bj ) > −(λ.1) hj (j = 1, · · · , M ) and the conditions (i) and (ii) stated
with Theorem 1 holds true, then
α,β,η −d M,N £ ¤
(3.4) xd S+;n x HP,Q min{xh1 , · · · , xhn }
h i
h (1−β−n+d.1,h),(1−η−n+d.1,h),(aj ,Aj )1,P
= HPM,N +2 h
+2,Q+2 min{x1 , · · · , xn } |(bj ,Bj )1,Q (1−n+d.1,h),(1−α−β−η−n+d.1,h) .
Z
λ+i∞
α,β,η −1 1 Γ(n − s.1)Γ(α + β + η − n − s.1) −s
(4.1) (S+;n ) f (x) = fh∗ (s) x ds.
2πi Γ(β + n − s.1)Γ(η + n − s.1)
λ−i∞
α,β,η
Similarly, there also exists the inverse operator of S−;n if Re(α) > 0, λj > 1,
−β −n+λ.1 > 0, α+η−n+λ.1 > 0, λ.1 > Re(β −η)−1, which is a homeomorphism
n
of Mλ (R+ ) onto itself, then
α,β,η −1
(4.2) (S−;n ) f (x)
Z
λ+i∞
1 Γ(1 − β − n + s.1)Γ(1 + α + η − n + s.1) −s
= fh∗ (s) x ds.
2πi Γ(1 − n + s.1)Γ(1 − β + η − n + s.1)
λ−i∞
Using (4.1) in conjunction with (1.11) of Lemma 1, we readily obtain the following:
Theorem 5. Let Re(α) > 0, λj < 1 (j = 1, · · · , n), α + β + η − λ.1 > 0, Re(λ.1) <
A
min[Re(β), Re(η), Re(α + β + η)], h ∈ R+ , Re(aj ) < 1 − (λ.1) hj (j = 1, · · · , N ),
B
Re(bj ) > −(λ.1) hj (j = 1, · · · , M ), and the conditions (i) and (ii) stated with
Theorem 1 hold true, then
α,β,η −1 M,N £ ¤
(4.3) (S+;n ) HP,Q min{xh1 , · · · , xhn }
h i
h (1−n,h),(1−α−β−η+n),(aj ,Aj )1,P
= HPM,N +2
+2,Q+2 min{x h
1
, · · · , xn
} |(bj ,Bj )1,Q ,(1−β−n,h),(1−η−n,h) .
5. Concluding remarks
The main results contained in Theorems 1-5 essentially involve the well known
H-function which includes as its special cases, mathematically important functions
such as the Bessel Maitland function Jλν (x), the Wright’s generalized hypergeometric
functions p Ψq , the Mittag-Laffler functions Eα and Eα, β ([5], [6] and [8]), and
Miller-Ross functions, viz. Ex (ν, a), Cx (ν, a) and Sx (ν, a) ([7]).
To illustrate few special cases here, we deduce below the image functions under
the operators (1.2) and (1.3) from the main formulas (2.1), (2.10), (3.4) and (3.6)
by assigning suitable values to the parameters such that the reduced functions are
identifiable with known functions. It may also be noted that the formulas (2.8)
and (2.11) mentioned in Corollaries 1 and 2 contain the one dimensional fractional
derivative formulas given in [10, p.99] and [11, p.277].
(i) Let us set M = N = P = Q = 1, a1 = 1 − a, A1 = B1 = 1, b1 = 0, d = 0
in (3.4) and (3.6), we obtain
α,β,η £ ¤−a
(5.1) S+;n 1 + min{xh1 , · · · , xhn }
1 h i
1,3 (1−β−n,h),(1−η−n,h)(1−a,1)
= H3,3 min{xh1 , · · · , xhn } |(0,1),(1−n,h),(1−α−β−η−n,h) ,
Γ(a)
and
α,β,η £ ¤−a
(5.2) S−;n 1 + max{xh1 , · · · , xhn }
1 h i
3,1 (1−a,1),(1−β−n,h)(1+α+η−n,h)
= H3,3 max{xh1 , · · · , xhn } |(1−n−β+η,h),(0,1),(1−n,h) .
Γ(a)
and
α,β,η £ −1 ν © ª¤
(5.4) S−,n x Jλ max{xh1 , · · · , xhn }
h i
3,0 (1−β,h),(1+α+η,h)
= x−1 H2,4 max{xh1 , · · · , xhn } |(0,1),(1,h),(1−β+η,h),(−λ,ν) ,
References
[1] Yu. A. Brychkov, H-J. Glaeske, A. P. Prudnikov and V. K. Tuan, Multidi-
mensional Integral Transformations (Philadelphia-Reading Paris-Montreux-Tokyo-
Melbourne:Gordon and Breach) (1992).
[2] A. Erdélyi, W. Magnus, F. Oberhettinger and F. G. Tricomi, Higher Transcendental
Functions, Vol. I, (McGraw-Hill, New York-Toronto-London) (1953).
[3] C. Fox, The G and H functions as symmetrical Fourier kernels, Trans. Amer. Math.
Soc., 98(1961), 395-429.
[4] R. N. Kalia (Ed.), Recent Advances in Fractional Calculus, (Sauk Rapids (USA),
Global Publishing Company)(1993).
[5] V. S. Kiryakova, Generalized Fractional Calculus and Applications, Pitman Research
Notes, Longman Group(Scientific and Technical, U.K.) (1993).
[6] A. M. Mathai and R. K. Sexana , The H-function with Applications in Statistics and
other Disciplines, (New York-London-Sydney Halsted Press) (1978).
[7] K. S. Miller and B. Ross, An Introduction to the Fractional Calculus and Fractional
Differential Equations, (New York: John Wiley and Sons.Inc.) (1993).
[8] AP. Prudnikov, Yu. A. Brychkov and O. I. Marichev, Integral and Series, Vol.
3, More Special Functions, (New York-Philadelphia-London-Paris-Montreux-Tokyo-
Melbourne: Gordon and Breach) (1990).
[9] R. K. Raina, H. M. Srivastava, A. A. Kilbas and M. Saigo, Solvability of some Able-
type integral equations involving the Gauss hypergeometric function as kernels in the
spaces of summable functions, ANZIAM J., 43(2001), 291-320.
[10] R. K. Raina and C. L. Koul, Fractional derivatives of the H-function, Jnanabha,
7(1977), 97-105.
[11] R. K. Raina and C. L. Koul, On Weyl fractional calculus and H-function transform,
Kyungpook Math. J., 21(1981), 275-279.
[12] R. K. Raina, On composition of certain fractional integral operators, Indian J. Pure
Appl. Maths., 15(1984), 509-516.
[13] R. K. Raina, On the multidimensional fractional differintegrals of Riemann- Liouville
and Weyl type, Boll. Un. Mat. Ital., (7)6-A(1992), 181-191.
[14] R. K. Raina, A note on multidimensional modified fractional calculus operators, Proc.
Indian Acad. Sci(Math. Sci.), 106(1996), 155-162
[15] R. K. Raina and M. Saigo, A note on fractional calculus operators involving Fox’s
H-function on space Fp,µ , in Recent Advances in Fractional Calculus, (Ed.) RN Kalia
(Sauk Rapids (USA),Global Publishing Company) (1993), 219-229.
[16] S. G. Samko, A. A. Kilbas and O. I. Marichev, Fractional Integrals and Derivatives:
Theory and Applications, (New York-Philadelphia-London- Paris-Montreux-Tokyo-
Melbourne:Gordon and Breach) (1993).
[17] H. M. Srivastava, K. C. Gupta and S. P. Goyal, The H-functions of One and Two
Variables with Applications, (New Delhi-Madras: South Asian Publ.)(1982).
[18] E. C. Titchmarsh, Introduction to the Theory of Fourier Integrals, Chelsea Publ. New
York, (1986).
Multidimensional Fractional Calculus Operators 11
[19] Vu. Kim. Tuan and M. Saigo, Multidimensional modified fractional calculus operators,
Math. Nachr., 161(1993), 253-270.
[20] Vu. Kim. Tuan, R. K. Raina and Megumi Saigo, Multidimensional fractional calcu-
lus operators involving the Gauss hypergeometric function, Int. J. Math. Stat. Sci.,
5(2)(1996), 141-160.