Unified Bessel, Modified Bessel, Spherical Bessel and Bessel-Clifford Functions Banu Yılmaz YAŞAR and Mehmet Ali ÖZARSLAN Eastern Mediterranean University, Department of Mathematics Gazimagusa, TRNC, Mersin, Turkey E-mail: banu.yilmaz@emu.edu.tr; mehmetali.ozarslan@emu.edu.tr arxiv:64.563v [math.ca] Apr 6 Abstract In the present paper, unification of Bessel, modified Bessel, spherical Bessel and Bessel- Clifford functions via the generalized Pochhammer symbol [ Srivastava HM, Çetinkaya A, Kıymaz O. A certain generalized Pochhammer symbol and its applications to hypergeometric functions. Applied Mathematics and Computation, 4, 6 : 484-49] is defined. Several potentially useful properties of the unified family such as generating function, integral representation, Laplace transform and Mellin transform are obtained. Besides, the unified Bessel, modified Bessel, spherical Bessel and Bessel- Clifford functions are given as a series of Bessel functions. Furthermore, the derivatives, recurrence relations and partial differential equation of the so-called unified family are found. Moreover, the Mellin transform of the products of the unified Bessel functions are obtained. Besides, a three-fold integral representation is given for unified Bessel function. Some of the results which are obtained in this paper are new and some of them coincide with the known results in special cases. Key words Generalized Pochhammer symbol; generalized Bessel function; generalized spherical Bessel function; generalized Bessel-Clifford function MR Subject Classification 33C; 33C5; 44A Introduction Bessel function first arises in the investigation of a physical problem in Daniel Bernoulli s analysis of the small oscillations of a uniform heavy flexible chain [6, 37]. It appears when finding separable solutions to Laplace s equation and the Helmholtz equation in cylindrical or spherical coordinates. Whereas Laplace s equation governs problems in heat conduction, in the distribution of potential in an electrostatic field and in hydrodynamics in the irrotational motion of an incompressible fluid [6, 9, 3, 37, 4], Helmholtz equation governs problems in acoustic and electromagnetic wave propagation [3, 3, 5]. Besides, Bessel function and modified Bessel function play an important role in the analysis of microwave and optical transmission in waveguides, including coaxial and fiber [33, 39, 53]. Also, Bessel function appears in the inverse problem in wave propagation with applications in medicine, astronomy and acoustic imaging [7]. On the other hand, spherical Bessel function arises in all problems in three dimensions with spherical symmetry involving the scattering of electromagnetic radiation [9, 3, 36]. In quantum mechanics, it comes out in the solution of the Schrödinger wave equation for a particle in a central potential [44]. Therefore, Bessel function is crucially important for many problems of wave propagation and static potentials. When in solving problems in cylindrical coordinate system, one obtains Bessel function of an integer order, in spherical problems one obtains half-integer orders such as electromagnetic waves in a cylindrical waveguide, pressure amplitudes of inviscid rotational flows, heat conduction in a cylindrical object, modes of vibration of a thin circular (or annular) artificial membrane, diffusion problems on a lattice, solutions to the radial Schrödinger equation (in a spherical and cylindrical coordinates) for a free particle, solving for patterns of a acoustical radiation, frequency-dependent friction in circular pipelines, dynamics of floating bodies, angular resolution. Also, it appears in other problems such as signal processing, frequency modulation synthesis, Kaiser window or Bessel filter. While Bessel function has wide range of applications in mathematical physics such as acoustics, radio physics, hydrodynamics, atomic and nuclear physics, Bessel-Clifford function comes out asymptotic expressions for the Dirac delta function [3]. Regular and irregular Coulomb wave functions are expressed in terms of Bessel-Clifford function [, ]. Also, it has an applications in quantum mechanics. Because of these facts, several researchers have studied on some extensions and generalizations of Bessel and Bessel-Clifford functions [3, 6, 9,,, 3, 4, 38, 43, 68]. In that point, special functions play a remarkably important role. Pochhammer symbol or shifted factorial function is one of the most important and useful function in the theory of special functions. Familiar
definition is given by (α) n α(α + )(α + )...(α + n ) (.) (α), α. Also, factorial function (α) n can be expressed in terms of a ratio of gamma functions as and using the above definition, one can get (α) n : Γ(α + n) Γ(α) (.) where (α) n n ( α ) n( α + ) n (.3) Γ(α) t α e t dt, Re(α) > (.4) is the usual Euler s Gamma function. Another important function is the generalized hypergeometric function which is defined by means of Pochhammer symbols as pf q (a, a,..., a p ; b, b,..., b q ; z ) (a ) k (a ) k...(a p ) k z k, (p q). (.5) (b ) k (b ) k...(b q ) k k! Note that, hypergeometric series given by (.5) converges absolutely for p q [8]. Substituting p and q, a + ν and replacing z with z 4, then it is reduced to k F ( ; + ν; z 4 ) k ( z ( + ν) k k! The case p and q, it is reduced to the confluent hypergeometric function which is F (a; b; z) k (a) k z k (b) k k!. Chaudhry et al. [] extended the confluent hypergeometric function as F p (a, b; c; z) : n 4 ) B p (b + n, c b) z n (a) n B(b, c b) n! ( z <, p ; Re(c) > Re(b) > ) where (a) n denotes the Pochhammer symbol given by (.) and B p (x, y) : t x ( t) y e p t( t) dt, (Re(p) >, Re(x) >, Re(y) > ) is the extended Euler s Beta function. In the case p, extended Beta function is reduced to usual Beta function which is defined by B(x, y) t x ( t) y dt, (Re(x) >, Re(y) > )..
An extension of the generalized hypergeometric function r F s of r numerator parameters a,..., a r and s denominator parameters b,..., b s was defined by Srivastava et al. in [56] as where rf s [ (a, ρ), a,..., a r ; b,..., b s ; z] : n a j C (j,..., r) and b j C/Z (j,..., s), Z (a, ρ) n (a ) n...(a r ) n z n (b ) n (b ) n...(b s ) n n! : {,,,...}. In particular, the corresponding extension of the confluent hypergeometric function F is given by F [(a, ρ); c; z] : n (a, ρ) n (c) n Note that, in our main Theorems the above extension of the hypergeometric function is used. Another kind of generalized and extended hypergeometric function was introduced in [6] as where uf ν [ (a ; p, {K l } l N ), a,..., a u ; b,..., b ν ; z] : n z n n!. (a ; p, {K l } l N ) n (a ) n...(a u ) n z n (b ) n (b ) n...(b ν ) n n! (λ; p, {K l } l N ) ν : Γ({K l} l N ) p (λ + ν) Γ ({K, λ, ν C l} l N ) p (λ) is the generalized and the extended Pochhammer symbol of (λ) n. Here, Γ ({K l} l N ) p (z) is the extended Gamma function which is given by Γ ({K l} l N ) p (z) : where ({K l } l N ; z) is given by [6] ({K l } l N ; z) : { l (Re(z) >, Re(p) ) t z ({K l } l N ; t p t )dt K l z l l! ( z < R; R >, K : ) M z ω exp(z)[ + O( z )] ( z ; M > ; w C). Besides, multiple Gaussian hypergeometric function was studied in [58]. Moreover, using the extended Pochhammer symbols, some properties of the generalized and extended hypergeometric polynomials were obtained in [6, 63]. On the other hand, generalization of Gamma, Beta and hypergeometric functions were introduced and studied in [47]. Considering the generalized Beta function, generating functions for the Gauss hypergeometric functions were introduced in [55]. Extended incomplete gamma function was obtained in [4]. Finally, using the generalized Pochhammer function,which was introduced by Srivastava et al.[56], generalized Mittag-Leffler function was introduced and some properties were presented in [7]. The main idea of the present paper is to define unification of Bessel, modified Bessel, spherical Bessel and Bessel-Clifford functions by means of the generalized Pochhammer symbol [56]. Before proceeding, some facts related with the Bessel, modified Bessel, spherical Bessel and Bessel-Clifford functions are presented. Bessel and modified Bessel functions can be expressed in terms of the F ( ; + ν; z 4 ) and F (a; b; z) functions as J ν (z) ( z )ν Γ(ν + ) I ν (z) ( z )ν Γ(ν + ) k k ( ) k ( z 4 )k (ν + ) k k! ( z (ν + ) k k! 4 )k ( z )ν Γ(ν + ) F ( ; + ν; z 4 ), ( z )ν Γ(ν + ) F ( ; + ν; z 4 ),. 3
and J ν (z) ( z )ν Γ(ν + ) e iz F (ν + ; ν + ; iz), I ν (z) ( z )ν Γ(ν + ) e z F (ν + ; ν + ; z). Recurrence relations satisfied by usual Bessel and modified Bessel functions are given by [5] ν z J ν(z) J ν (z) + J ν+ (z), d dz J ν(z) J ν (z) J ν+ (z), ν z I ν(z) I ν (z) I ν+ (z), d dz I ν(z) I ν (z) + I ν+ (z). Besides, spherical Bessel function of the first kind is defined by means of the Bessel function as follows π j ν (z) : z J ν+ (z), Re(ν) > 3. The following recurrence relations are satisfied by the spherical Bessel function [6] j ν (z) + j ν+ (z) ν + j ν (z), z νj ν (z) (ν + ) j ν+ (z) (ν + ) d dz j ν(z), d dz [zν+ j ν (z)] z ν+ j ν (z), d dz [z ν j ν (z)] z ν j ν+ (z), (ν ) j ν (z) (ν + ) j ν+ (z) z( d dz j ν (z) + d dz j ν+(z)). Moreover, Bessel-Clifford function of the first kind is defined by means of F ( ; n + ; z) as C ν (z) : which is a particular case of Wright function Φ(ρ, β; z) k Γ(n + ) F ( ; n + ; z) z k, ρ > and β C. k!γ(ρk + β) The connection between Bessel-Clifford function and modified Bessel function is given by [7] C ν (z) z ν Iν ( z), Re(ν) >. Recurrence relations satisfied by Bessel-Clifford function are given by [7] d dz C ν(z) C ν+ (z), zc ν+ (z) + (ν + )C ν+ (z) C ν (z), z(ν + 4) d dz C ν+(z) + z d dz C ν+(z) z d dz C ν (z), (ν + )z d dz C ν+(z) + (ν + ) C ν+ (z) (ν + ) d dz C ν (z). 4
Recently, Srivastava et al. [56] generalized the Pochhammer function as (λ; ρ) ν : { Γ ρ (λ + ν) (Re(ρ) > ; λ, ν C) Γ(λ) (λ) ν (ρ ; λ, ν C) where Γ ρ is the extended Gamma function, which was introduced by Chaudhry and Zubair [3] as Γ ρ (x) t x e t ρ t dt, Re(ρ) > and hence (λ; ρ) ν is defined by (λ; ρ) ν Γ(λ) t λ+ν e t ρ t dt (.6) (Re(ν) > ; Re(λ + ν) > when ρ ). It was proved that [56] (λ; ρ) ν+µ (λ) ν (λ + ν; ρ) µ, λ, µ, ν C. (.7) In the light of these definitions and generalizations, unification of four parameter Bessel function is defined by ν (z; ρ) : k ( b) k (c; ρ) k+ν Γ(ν + k + ) Γ(ν + k + ) (z, c, ν C, Re(ν) >, Re(ρ) > ). ( z )k+ν, (.8) k! The case b and b, generalized three parameter Bessel function of the first kind J ν (c) (z; ρ) and generalized modified three parameter Bessel function of the first kind I ν (c) (z; ρ) are introduced by J (c) ν (z; ρ) : I (c) ν (z; ρ) : k k ( ) k (c; ρ) k+ν Γ(ν + k + )Γ(ν + k + ) (c; ρ) k+ν Γ(ν + k + )Γ(ν + k + ) (z, c, ν C, Re(ν) >, Re(ρ) > ) ( z )k+ν, k! ( z )k+ν, k! respectively. Letting c and ρ, J ν (c) (z; ρ) is reduced to usual Bessel function of the first kind J ν (z) and I ν (c) (z; ρ) is reduced to usual modified Bessel function of the first kind I ν (z). Furthermore, generalized four parameter spherical Bessel function is introduced by g (b,c) ν (z; ρ) : π z G(b,c ) ν+ (z; ρ), (Re(ν) > 3, Re(c) >, Re(ρ) > ). The case b, c 3 and ρ, it is reduced to usual spherical Bessel function of the first kind j ν (z). Moreover, generalized four parameter Bessel-Clifford function of the first kind is defined by C (b,λ) ν (z; ρ) : z ν G (b,λ) ν ( z; ρ), (Re(ν) >, Re(λ) >, Re(ρ) > ). 5
The case b, λ and ρ, C ν (b,λ) (z; ρ) is reduced to usual Bessel-Clifford function of the first kind C ν (z). The organization of the paper is as follows: In section, generating function, integral representation, Laplace transform and Mellin transform involving the unified four parameter Bessel function are obtained. Moreover, the expansion of the unified four parameter Bessel function in terms of a series of usual Bessel functions is presented. In section 3, derivative properties, recurrence relation and partial differential equation of the unified four parameter Bessel function are found. In Section 4, the Mellin transforms involving the products of the unified four parameter Bessel function are obtained. In Section 5, a three-fold integral representation formula for the unified four parameter Bessel function is given. In Section 6, generalized four parameter spherical Bessel and Bessel-Clifford functions are introduced by means of the unified four parameter Bessel function and some properties are obtained such as generating function, integral representation, Laplace transform, Mellin transform, series in terms of usual Bessel functions, recurrence relation and partial differential equation. Some of the corresponding results of the mentioned Theorems are new and some of them coincide with the usual cases. Finally, the special cases of the unified four parameter Bessel function are given as a table and the graphics of the generalized two parameter Bessel and the spherical Bessel functions are drawn for some special cases. Unified Four Parameter Bessel Function In the following Lemma, the relation between (z; ρ) and G(b,c) (z; ρ) is obtained: ν Lemma. Let ν Z. Then the following relation is satisfied by the unified four parameter Bessel function ( b)ν ν (z; ρ). (.) ν Proof. It is clear that by (.8), we have Substituting ν instead of ν yields Taking ν + k for k, we get kν k ( b)ν ( b) k (c; ρ) k+ν Γ(ν + k + )Γ(ν + k + ) ( b) k (c; ρ) k ν Γ( ν + k + ) Γ( ν + k + ) k ( b) ν ν (z; ρ), ( b) k (c; ρ) k+ν Γ(ν + k + ) Γ(ν + k + ) ( z )k+ν. k! ( z )k ν. k! ( z )k+ν, k! which completes the proof. Taking b and b in Lemma., the relations of the generalized three parameter Bessel and modified Bessel functions of the first kind are obtained, respectively: Corollary.. Let ν Z. The following relations are satisfied by the generalized three parameter Bessel and modified Bessel functions of the first kind J (c) ( )ν J ν (c) (z; ρ), I (c) ν (z; ρ) I(c) ν (z; ρ). Letting c and ρ in Corollary.., the relations of the usual Bessel functions are given as follows: 6
Corollary.. [5] Let ν Z. The following relations are satisfied by the usual Bessel and modified Bessel functions J ν (z) ( ) ν J ν (z), I ν (z) I ν (z). In the following theorem, the generating function of the unified four parameter Bessel function is given in terms of the generalized confluent hypergeometric function: Theorem. For t and for all finite z, n Z, we have F ((c; ρ), ; (t b t )z ) n n (z; ρ)t n. Proof. It is clear that we have n n (z; ρ)t n n n (z; ρ)t n + n n (z; ρ)t n. Taking n instead of n in the first summation of the right hand side, we have n Now, using Lemma., we get n n (z; ρ)t n n (z; ρ)t n n n n (z; ρ)t n + n ( b) n+ n+ (z; ρ)t n + n (z; ρ)t n. n n (z; ρ)t n. Plugging the series definitions of the unified Bessel function into right hand side, we have n n (z; ρ)t n Letting n k instead of n, we get n + n k n (z; ρ)t n n k + n [ ] n k n [ ] n k ( b) n+ ( b) k (c; ρ) k+n+ (n + k + )!k!(n + k + )! (z )k+n+ t n ( b) k (c; ρ) k+n (n + k)!k!(n + k)! (z )k+n t n. ( b) n k+ (c; ρ) n+ (n k + )!k!(n + )! (z )n+ t n+k ( b) k (c; ρ) n (n k)!k!n! (z )n t n k. Taking n instead of n in the first summation of the right side, we have n n (z; ρ)t n n [ n k + (c; ρ) + ] ( b) n k (c; ρ) n ( z (n k)!k!n! )n t n+k n [ ] n k ( b) k (c; ρ) n (n k)!k!n! (z )n t n k. 7
Taking into consideration of the following fact, which was proved in [5], (Lemma, page -3) we have n n [ ] [ ] A(n k, n) + A(k, n) n n k n k n (z; ρ)t n (c; ρ) + Substituting the expansion of (t b t )n,we get n n (z; ρ)t n n n k n k n A(k, n) ( b) k (c; ρ) n (n k)!k!n! (z )n t n k. (c; ρ) n (t b t )n ( z )n, () n n! n F ((c; ρ), ; (t b t )z ). Substituting b and b in Theorem., the generating functions of the generalized three parameter Bessel and modified Bessel functions of the first kind are obtained, respectively: Corollary.. For t and for all finite z and n Z, the generating functions of the generalized three parameter Bessel and modified Bessel functions of the first kind are given by F ((c; ρ), ; (t t )z ) F ((c; ρ), ; (t + t )z ) n n J (c) n (z; ρ)t n, I (c) n (z; ρ)t n. Taking c and ρ in Corollary.. and considering the facts J () n (z; ) J n (z), I () n (z; ) I n (z), the following Corollary is obtained: Corollary.. [5] For t and for all finite z and n Z, generating functions of the usual Bessel and modified Bessel functions are given by e z (t t ) e z (t+ t ) n n J n (z)t n, I n (z)t n. In the following theorem, the integral representation of the unified four parameter Bessel function is presented: Theorem.3 The integral formula satisfied by the unified four parameter Bessel function is given by ( z )ν [Γ(ν + )] Γ(c) where Re(c) > and Re(ν) >. t c+ν e t ρ t F 3 ( ; ν +, ν +, ν + ; bz t )dt (.) 6 8
Proof. Applying the generalized Pochhammer expansion into (.8) and using the usual Pochhammer function expansion (.), we have [Γ(ν + )] k ( b) k (ν + ) k (ν + ) k k! (z )k+ν { Γ(c) t c+k+ν e t ρ t dt}. Interchanging the order of summation and integral under the conditions Re(c) > and Re(ν) >, we have ( z )ν t [Γ(ν + )] { Γ(c) (ν + ) k (ν + ) k k! ( bz 4 )k }t c+ν e t ρ t dt. k Letting ν + in place of α and taking k for n in the duplication formula (.3), we have ( z )ν [Γ(ν + )] Γ(c) t { (ν + ) k ( ν+ ) k( ν+ ) ( bz kk! 6 )k }t c+ν e t ρ t dt. k Taking into consideration of (.5), we have ( z )ν [Γ(ν + )] Γ(c) t c+ν e t ρ t F 3 ( ; ν +, ν +, ν + ; bz t )dt. 6 Letting b and b in Theorem.3, the integral representations of the generalized three parameter Bessel and modified Bessel functions of the first kind are found, respectively: Corollary.3. Integral representations satisfied by the generalized three parameter Bessel and modified Bessel functions of the first kind are given by J (c) I (c) ( z )ν [Γ(ν + )] Γ(c) ( z )ν [Γ(ν + )] Γ(c) where Re(c) > and Re(ν) >. t c+ν e t ρ t F 3 ( ; ν +, ν +, ν + ; z t 6 )dt, t c+ν e t ρ t F 3 ( ; ν +, ν +, ν + ; z t 6 )dt, Substituting c and ρ in Corollary.3., the following Corollary is obtained: Corollary.3. Integral formulas satisfied by the usual Bessel and modified Bessel functions are given by where Re(ν) >. J ν (z) I ν (z) ( z )ν [Γ(ν + )] ( z )ν [Γ(ν + )] t ν e t F 3 ( ; ν +, ν +, ν + ; z t 6 )dt, t ν e t F 3 ( ; ν +, ν +, ν + ; z t 6 )dt, Note that, some integrals involving usual Bessel functions were obtained in [4,, 5, 5, 49]. Taking t in Theorem.3, the following integral representation is found: u u 9
Corollary.3.3 Integral representation satisfied by the unified four parameter Bessel function is given by where Re(ν) > and Re(c) >. Theorem.4 ( z u ρ( u) )ν [Γ(ν + )] u c+ν ( u) c ν e u( u) Γ(c) F 3 ( ; ν +, ν +, ν + ; bz u ( u) 6 )du The Laplace transform of the unified four parameter Bessel function is given by L{ ν (t; ρ)}(s) s where Re(c) >, Re(ν) > and Re(s) >. Proof. Laplace transform is given by k L{ ν (t; ρ)}(s) ( b) k (c; ρ) k+ν k!γ(ν + k + ) ( s )k+ν ν (t; ρ)e st dt. Substituting the series form of the unified four parameter Bessel function, we have L{ ν (t; ρ)}(s) ( b) k (c; ρ) k+ν { k!γ(ν + k + )Γ(ν + k + ) ( t )k+ν }e st dt. k Replacing the order of summation and integral by the conditions Re(c) >, Re(s) > and Re(ν) >, we get L{ ν (t; ρ)}(s) k ( b) k (c; ρ) k+ν k!γ(ν + k + )Γ(ν + k + ) k+ν { t k+ν e st dt}. Making the substitution st u and using the Gamma functions for the above integral, we get Finally, we have I (c) ν L{ ν (t; ρ)}(s) k L{ ν (t; ρ)}(s) s ( b) k (c; ρ) k+ν Γ(ν + k + ) k!γ(ν + k + )Γ(ν + k + ) k+ν s k+ν+. k The case b, ν (t; ρ) is reduced to J ν (c) (t; ρ). Therefore, the following Corollary is obtained: ( b) k (c; ρ) k+ν k!γ(ν + k + ) ( s )k+ν. (t; ρ) and when b, ν (t; ρ) is reduced to Corollary.4. The Laplace transforms of the generalized three parameter Bessel and modified Bessel functions of the first kind are given by L{J ν (c) (t; ρ)}(s) s L{I ν (c) (t; ρ)}(s) s where Re(c) >, Re(ν) > and Re(s) >. k k ( ) k (c; ρ) k+ν k!γ(ν + k + ) ( s )k+ν, (c; ρ) k+ν k!γ(ν + k + ) ( s )k+ν,
Since J ν (c) (z; ρ) is reduced to J ν (z) and I ν (c) (z; ρ) is reduced to I ν (z) when c and ρ, the following Corollary is presented for usual Bessel and modified Bessel functions : Corollary.4. by The Laplace transforms of the usual Bessel and modified Bessel functions are given where Re(s) > and Re(ν) >. L{J ν (t)}(s) s L{I ν (t)}(s) s k k ( ) k Γ(k + ν + ) ( k!γ(ν + k + ) s )k+ν, Γ(k + ν + ) k!γ(ν + k + ) ( s )k+ν, Taking ν in Corollary.4. and using the fact that [5] ( z) α n (α) n z n n! and applying (k)! k ( ) kk!, Laplace transform of the J (t) and I (t) are found. Corollary.4.3 [4] The Laplace transforms of the J (t) and I (t) are given by L{J (t)}(s) L{I (t)}(s), Re(s) >, s +, Re(s) >. s Note that the Laplace transform of the modified Bessel functions of the second kind was obtained in [54]. Theorem.5 Mellin transform involving the unified four parameter Bessel function is given by M{e z ν (z; ρ); s} ( b) k (c; ρ) ν+k Γ(s + ν + k) ν [Γ(ν + )] (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k!, k where Re(ν) > and s + ν {,,,...}. Proof. The Mellin transform is given by M{e z ν (z; ρ); s} Substituting equation (.) instead of ν (z; ρ), we have M{e z ν (z; ρ); s} z ν e z z s [ ν [Γ(ν + )] Γ(c) e z z s ν (z; ρ)dz. t c+ν e t ρ t F 3 ( ; ν +, ν +, ν + ; bz t )dt]dz. 6
Inserting the series forms of hypergeometric function, we have M{e z ν (z; ρ); s} z s+ν e z ν [Γ(ν + )] Γ(c) tc+ν e t ρ t ( ν [Γ(ν + )] Γ(c) k z s+ν t c+ν e t ρ t z ( ( ) k b k z k t k (ν + ) k ( ν+ ) k( ν+ ) k6 k k! )dtdz k ( ) k b k z k t k (ν + ) k ( ν+ ) k( ν+ ) k6 k k! )dtdz. Interchanging the order of integral and summation which is satisfied under the conditions of the Theorem, we get M{e z ν (z; ρ); s} ν [Γ(ν + )] ( k ( ) k b k z k+s+ν e z (ν + ) k ( ν+ ) k( ν+ ) k6 k k! )( Γ(c) t c+ν+k e t ρ t dt)dz. Taking into consideration of the generalized Pochhammer function expansion (c; ρ) ν+k, we get M{e z ν (z; ρ); s} ν [Γ(ν + )] ( ) k (c; ρ) ν+k b k z k+s+ν e z ( (ν + ) k ( ν+ ) k( ν+ ) )dz. k6 k k! k Changing the order of integral and summation under the conditions Re(ν) >, s+ν {,,,...} and Re(ρ) >, we get M{e z ν (z; ρ); s} ν [Γ(ν + )] ( ) k (c; ρ) ν+k b k (ν + ) k ( ν+ ) k( ν+ ) k6 k k! ( k z k+s+ν e z dz). Using the definition of the Gamma function and taking into consideration of (.), we have M{e z ν (z; ρ); s} ( b) k (c; ρ) ν+k Γ(s + ν + k) ν [Γ(ν + )] (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k!. k The Mellin transforms of the generalized three parameter Bessel and modified Bessel functions of the first kind can be obtained by substituting b and b in Theorem.5, respectively. Thus, the following result is clear: Corollary.5. The Mellin transforms involving the generalized three parameter Bessel and modified Bessel functions of the first kind are given by M{e z J (c) ν (z; ρ); s} M{e z I (c) ν (z; ρ); s} ν [Γ(ν + )] ν [Γ(ν + )] ( ) k (c; ρ) ν+k Γ(s + ν + k) (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k! (c; ρ) ν+k Γ(s + ν + k) (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k!, k k, where Re(ν) >, Re(c) > and s + ν {,,,...}. Substituting c and ρ in Corollary.5., the Mellin transforms involving the usual Bessel and modified Bessel functions are obtained. Thus, the following Corollary is given:
Corollary.5. given by Mellin transforms involving the usual Bessel and modified Bessel functions are M{e z J ν (z); s} ν M{e z I ν (z); s} ν k k ( ) k Γ(s + ν + k) Γ(ν + k + ) k k!, Γ(s + ν + k) Γ(ν + k + ) k k! where Re(ν) > and s + ν {,,,...}. Letting ν in Corollary.5. and using the fact that the following result is obtained: (s) k k ( s ) k( s + ) k, Corollary.5.3 [4] The Mellin transforms involving the usual Bessel function e z J (z) and modified Bessel function e z I (z) are given by where Re(s) >. M{e z J (z); s} Γ(s) F ( s, s + ; ; ), M{e z I (z); s} Γ(s) F ( s, s + ; ; ) Note that the Mellin transforms of products of Bessel and generalized hypergeometric functions were obtained in [46]. Corollary.5.4 Taking s in Theorem.5, the following integral formula is obtained e z ν (z; ρ)dz where Re(ν) > and Re(c) >. ν [Γ(ν + )] ( b) k (c; ρ) ν+k Γ(ν + k + ) (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k! Taking s in Theorem.5 and substituting b and b respectively, the following Corollaries are presented: Corollary.5.5 Infinite integrals involving the generalized three parameter Bessel and modified Bessel functions of the first kind are given by k e z J (c) ν (z; ρ)dz e z I (c) ν (z; ρ)dz ν [Γ(ν + )] ν [Γ(ν + )] ( ) k (c; ρ) ν+k Γ(ν + k + ) (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k! k (c; ρ) ν+k Γ(ν + k + ) (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k!, k, where Re(ν) > and Re(c) >. Integrals involving usual Bessel and modified Bessel functions are given in the following Corollary: 3
Corollary.5.6 by where Re(ν) >. Infinite integrals involving the usual Bessel and modified Bessel functions are given e z J ν (z)dz e z I ν (z)dz ν [Γ(ν + )] ν [Γ(ν + )] ( ) k [Γ(ν + k + ] (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k!, k [Γ(ν + k + )] (ν + ) k ( ν+ ) k ( ν+ ) k 6 k k!, k Besides, the Mellin transforms satisfied by unified four parameter Bessel, generalized three parameter Bessel and modified Bessel functions of the first kind, usual and modified Bessel functions are obtained in the following Theorem and corresponding Corollaries, as well. Theorem.6 For the unified four parameter Bessel function, the Mellin transform is given by M{ Γ(s)Γ(c + ν + s) (ν + m) Γ(v + m) ν (z; ρ); s} [Γ(ν + )] J ν+m (z) Γ(c) m! F 3 ( c + ν + s m where Re(ν) >, Re(c) >, c + ν + s, ν + m {,,,...}. Proof. The Mellin transform is given by M{ ν (z; ρ); s} Substituting equation (.) for ν (z; ρ), we have M{ ν (z; ρ); s} z ν ρ s [ ν [Γ(ν + )] Γ(c), c + ν + s + ; ν +, ν +, ν + ; bz 4 ) ρ s ν (z; ρ)dρ. t c+ν e t ρ t F 3 ( ; ν +, ν +, ν + ; bz t )dt]dρ. 6 Interchanging the order of integrals which is valid due to the conditions of the Theorem, we get M{ ν (z; ρ); s} ( z ν ν [Γ(ν + )] Γ(c) ρ s e ρ t dρ)dt. t c+ν e t F 3 ( ; ν +, ν +, ν + ; bz t ) 6 Letting ρ ut and using the Gamma function, which is presented in (.4), in above integral we have M{ ν (z; ρ); s} Γ(s)z ν ν [Γ(ν + )] Γ(c) t c+ν+s e t F 3 ( ; ν +, ν +, ν + ; bz t )dt. 6 Now, writing the expansion of the hypergeometric series, we have M{ ν (z; ρ); s} Γ(s)z ν ν [Γ(ν + )] Γ(c) t c+ν+s e t ( k ( b) k z k t k (ν + ) k ( ν+ ) k( ν+ ) k 4k k! )dt. 4
Interchanging the order of integral and summation which is true for Re(c) >, Re(ν) >, Re(s) >, we get M{ ν (z; ρ); s} Γ(s)z ν ν [Γ(ν + )] Γ(c) Using the Gamma function, we have ( k M{ ν (z; ρ); s} Γ(s)z ν ν [Γ(ν + )] Γ(c) t c+ν+s+k e t ( b) k z k dt) (ν + ) k ( ν+ ) k( ν+ ) k 4k k!. Γ(c + ν + s + k)( b) k k (ν + ) k ( ν+ ) k( ν+ ) k Applying (.) for the Gamma function Γ(c + ν + s + k), we have M{ ν (z; ρ); s} Γ(s)z ν ν [Γ(ν + )] Γ(c) (c + ν + s) k Γ(c + ν + s) (ν + ) k ( ν+ ) k( ν+ ) k k z k 4k k!. ( b) k z k 4k. k! By (.3), instead of (c + ν + s) k, we can write k ( c+ν+s ) k ( c+ν+s+ ) k. Thus, we have M{ Γ(s)Γ(c + ν + s)zν ν (z; ρ); s} ν [Γ(ν + )] Γ(c) Γ(s)Γ(c + ν + s)zν ν [Γ(ν + )] Γ(c) k k k ( c+ν+s ) k ( c+ν+s+ ) k (ν + ) k ( ν+ ) k( ν+ ) k ( c+ν+s ) k ( c+ν+s+ ) k (ν + ) k ( ν+ ) k( ν+ ) k In the last step, using the hypergeometric expansion (.5) and ( z (ν + m)(ν + m )! )ν J ν+m (z) m! in [69], we have m M{ Γ(s)Γ(c + ν + s) ν (z; ρ); s} [Γ(ν + )] Γ(c) F 3 ( c + ν + s m ( b) k z k 4k k! ( bz 4 )k k! (ν + m) Γ(ν + m) J ν+m (z) m!, c + ν + s + ; ν +, ν +, ν + ; bz 4 ). The Mellin transform of the generalized three parameter Bessel and modified Bessel functions of the first kind can be obtained by substituting b and b in Theorem.6, respectively. Thus, the following result is clear: Corollary.6. For the generalized three parameter Bessel and modified Bessel functions of the first kind, the Mellin transforms are given by M{J ν (c) Γ(s)Γ(c + ν + s) (ν + m) Γ(ν + m) (z; ρ); s} [Γ(ν + )] J ν+m (z) Γ(c) m! m F 3 ( c + ν + s, c + ν + s + ; ν +, ν +, ν + ; z 4 ), M{I ν (c) Γ(s)Γ(c + ν + s) (ν + m) Γ(ν + m) (z; ρ); s} [Γ(ν + )] J ν+m (z) Γ(c) m! F 3 ( c + ν + s m, c + ν + s + ; ν +, ν +, ν + ; z 4 ), where Re(ν) >, Re(c) >, Re(s) >, c + ν + s, ν + m {,,,...}. 5.
Taking c in Corollary.6., it is reduced the following Corollary: Corollary.6. For the functions J (,) ν M{J ν (,) Γ(s)Γ( + ν + s) (z; ρ); s} [Γ(ν + )] (z; ρ) and I ν (,) (z; ρ), the Mellin transform is given by m (ν + m) Γ(ν + m) J ν+m (z) m! F 3 ( ν + s +, ν + s + ; ν +, ν +, ν + ; z 4 ), M{I ν (,) Γ(s)Γ( + ν + s) (ν + m) Γ(ν + m) (z; ρ); s} [Γ(ν + )] J ν+m (z) m! F 3 ( ν + s + m, ν + s + ; ν +, ν +, ν + ; z 4 ), where Re(ν) >, Re(s) >, ν + m {,,,...}, ν + s {,,...}. Letting s in Theorem.6, the following integral representation of the unified four parameter Bessel function is valid: Corollary.6.3 Infinite integral of the unified four parameter Bessel function is given by ν (z; ρ)dρ Γ(c + ν + ) [Γ(ν + )] Γ(c) F 3 ( c + ν + m (ν + m) Γ(ν + m) J ν+m (z) m!, c + ν + ; ν +, ν +, ν + ; bz 4 ), where Re(ν) >, Re(c) >, ν + m {,,,...}, c + ν {,,...}. Substituting b and b in Corollary.6.3, the following Corollary is found: Corollary.6.4 Infinite integrals satisfied by the generalized three parameter Bessel and modified Bessel functions of the first kind are given by J (c) ν (z; ρ)dρ I (c) ν (z; ρ)dρ Γ(c + ν + ) [Γ(ν + )] Γ(c) F 3 ( c + ν + Γ(c + ν + ) [Γ(ν + )] Γ(c) F 3 ( c + ν + m, c + ν + m (ν + m) Γ(ν + m) J ν+m (z) m! ; ν +, ν +, ν + ; z 4 ), (ν + m) Γ(ν + m) J ν+m (z) m!, c + ν + ; ν +, ν +, ν + ; z 4 ), where Re(ν) >, Re(c) >, ν + m {,,,...}, c + ν {,,...}. Letting c in Corollary.6.4, the integral representations of the functions J ν (,) (z; ρ) and I ν (,) (z; ρ) are presented, respectively: 6
Corollary.6.5 For the functions J ν (,) (z; ρ) and I ν (,) (z; ρ), the following integrals are valid J (,) ν (z; ρ)dρ I (,) ν (z; ρ)dρ Γ(ν + ) [Γ(ν + )] m (ν + m) Γ(ν + m) J ν+m (z) m! F 3 ( ν +, ν + 3 ; ν +, ν +, ν + ; z 4 ), Γ(ν + ) [Γ(ν + )] where Re(ν) > and ν + m {,,,...}. m (ν + m) Γ(ν + m) J ν+m (z) m! F 3 ( ν +, ν + 3 ; ν +, ν +, ν + ; z 4 ), The expansion of the unified four parameter Bessel function is introduced as a series of Bessel functions in the following Theorem: Theorem.7 Unified four parameter Bessel function is given by a double series of Bessel functions ν (z; ρ) Γ(µ + ) [Γ(ν + )] m n where µ ν and Re(ν) >, Re(µ) >. Proof. have ( z )ν µ+m+n ( )n J µ+m+n (z)( m n) n ( b) n (c; ρ) ν+n (µ + ) n (m + n)!n!(ν + ) n (ν + ) n Taking into consideration of the definition of the unified four parameter Bessel function, we n Using Gegenbauer expansion [69] (page 43) we have n Taking m n for p, we have ( b) n (c; ρ) ν+n n! Γ(n + ν + ) Γ(n + ν + ) (z )ν µ+n ( z )µ+n. ( z )µ+n Γ(µ + n + ) p ( z )p J µ+n+p (z), p! ( b) n (c; ρ) ν+n n! Γ(n + ν + ) Γ(n + ν + ) (z )ν µ+n Γ(µ + n + ) m n p ( z )p J µ+n+p (z). p! ( z ( b) n (c; ρ) ν+n Γ(µ + n + ) )ν µ+m J µ+m (z){ n!(m n)! Γ(n + ν + ) Γ(n + ν + ) } ( z ( ) n m!b n (c; ρ) ν+n Γ(µ + n + ) )ν µ+m J µ+m (z){ (m n)!n!γ(n + ν + )Γ(n + ν + )m!. m Now, using the expansion of and (ν + ) n and (ν + ) n,we get ( z )ν µ+m J µ+m (z) m n ( m) n ( )n m! (m n)!, Γ(µ + ) [Γ(ν + )] m! 7 m n ( m) n b n (c; ρ) ν+n (µ + ) n n!(ν + ) n (ν + ) n.
Applying the Cauchy product for the series [5], we get Γ(µ + ) [Γ(ν + )] m n ( z )ν µ+m+n ( )n J µ+m+n (z)( m n) n ( b) n (c; ρ) ν+n (µ + ) n. (m + n)!n!(ν + ) n (ν + ) n The expansions of the generalized three parameter Bessel and modified Bessel functions of the first kind are given by follows: Corollary.7. The series expansions of the generalized three parameter Bessel and modified Bessel functions of the first kind are given by J (c) I (c) Γ(µ + ) [Γ(ν + )] Γ(µ + ) [Γ(ν + )] m n m n where µ ν and Re(ν) >, Re(µ) >. ( z J µ+m+n(z)( m n) n (c; ρ) ν+n (µ + ) n )ν µ+m+n, (m + n)!n!(ν + ) n (ν + ) n ( z )ν µ+m+n ( )n J µ+m+n (z)( m n) n (c; ρ) ν+n (µ + ) n, (m + n)!n!(ν + ) n (ν + ) n Substituting c and ρ in Corollary.7. and then using Chu-Vandermode Theorem [5] m n ( m) n (µ + ) n (ν + ) n n! (ν µ) m (ν + ) m, the expansions of the usual Bessel and modified Bessel functions can be obtained. Corollary.7. [69] Series expansions satisfied by the usual and modified Bessel functions are given by J ν (z) I ν (z) Γ(µ + ) Γ(ν µ) Γ(µ + ) [Γ(ν + )] ( z Γ(ν µ + m) )ν µ+m Γ(ν + m + )m! J µ+m(z), µ ν, Re(µ) >, ν µ {,,,...}, ( z )ν µ+m+n ( )n J µ+m+n (z)( m n) n (µ + ) n, µ ν, Re(ν) >, Re(µ) >. Γ(m + n + )n!(ν + ) n m m n 3 Derivative Properties, Recurrence Relation and Partial Differential Equation of the Unified Four Parameter Bessel Function Derivative properties and recurrence relations of the unified four parameter Bessel function are obtained in the following Theorems. Theorem 3. A differential recurrence formula satisfied by ν (z; ρ) is given by Proof. z [z ν+ z (zν G ν (b,c ) (z; ρ))] (c ) ν (z; ρ). (3.) Substituting c in (.8) and multiplying with z ν yields ( b) k (c ; ρ) k+ν z k+ν Γ(ν + k + ) Γ(ν + k + ) k+ν k!. k Taking derivative with respect to z of z ν G ν (b,c ) (z; ρ), we get z [zν G (b,c ) ν (z; ρ)] ( b) k (c ; ρ) k+ν z k+ν Γ(ν + k) Γ(ν + k + ) k+ν k!. k 8
Then, multiplying the last series with z ν+ and differentiating with respect to z gives Using (.7), we get z [z ν+ z [zν G (b,c ) ν (z; ρ)]] z [z ν+ z [zν G (b,c ) ν (z; ρ)]] k k ( b) k (c ; ρ) k+ν z k+ν Γ(ν + k) Γ(v + k) k+v k!. ( b) k (c ) ν (c + ν ; ρ) k z k+ν Γ(ν + k) Γ(v + k) k+v. k! Multiplying and dividing with the term (c) ν of the right hand side, we have z [z ν+ z [zν G (b,c ) ν (z; ρ)]] (c ) ν (c) ν k ( b) k (c) ν (c + ν ; ρ) k z k+ν Γ(ν + k) Γ(v + k) k+v. k! Taking into consideration of the unified Bessel function and equation (.7), yields By (.), we get the result z [z ν+ z [zν G (b,c ) ν (z; ρ)]] (c ) ν ν (z; ρ). (c) ν z [z ν+ z [zν G ν (b,c ) (z; ρ)]] (c ) ν (z; ρ). The following Corollary is presented for the functions J (c) ν (z; ρ) and I (c) (z; ρ). Corollary 3.. Recurrence relations satisfied by the generalized three parameter Bessel and modified Bessel functions of the first kind are given by z [z ν+ z (zν J ν (c ) z [z ν+ z (zν I ν (c ) (z; ρ))] (c )J (c) ν (z; ρ), (z; ρ))] (c )I (c) ν (z; ρ). Theorem 3. Recurrence relation satisfied by the unified four parameter Bessel function is given by z [zν+ z (z ν G (b,c ) ν (z; ρ))] b(c ) ν+ (z; ρ). (3.) Proof. Applying the similar process that is used in the previous theorem, one can get the result. Substituting b and b respectively in Theorem 3., the following recurrences are obtained: Corollary 3.. Recurrence formulas satisfied by the generalized three parameter Bessel and modified Bessel functions of the first kind are given by Theorem 3.3 For c, we have z [zν+ z (z ν J ν (c ) z [zν+ z (z ν I ν (c ) (z; ρ))] (c )J (c) ν+ (z; ρ), (z; ρ))] (c )I (c) ν+ (z; ρ). ρ [G(b,c) ν (z; ρ)] c G(b,c ) ν (z; ρ). (3.3) Proof. Taking derivative with respect to ρ in (.), the desired result is obtained. Taking b and b in Theorem 3.3, the derivatives of the generalized three parameter Bessel and modified Bessel functions of the first kind are calculated, respectively: 9 ν
Corollary 3.3. For c, we have (c) [J ν (z; ρ)] ρ c J ν (c ) (z; ρ), ρ [I(c) ν (z; ρ)] c I(c ) ν (z; ρ). Theorem 3.4 The recurrence relation satisfied by the unified four parameter Bessel function is ( ν) z G(b,c ) ν (z; ρ) + z( b(ν + ) z G(b,c ) ν+ (z; ρ). z G(b,c ) ν (z; ρ) + b z G(b,c ) ν+ (z; ρ)) (3.4) Proof. Taking ν + in place of ν in (3.) and letting ν instead of ν in (3.), then comparing these relations, one can get (3.4). G (b,c ) ν (z; ρ) is reduced to J (c ) ν (z; ρ) and G(b,c ) ν+ (z; ρ) is reduced to J (c ) ν+ (z; ρ) when b. Besides, G (b,c ) ν+ (z; ρ) is reduced to I (c ) ν+ (z; ρ) and G(b,c ) ν (z; ρ) is reduced to I (c ) ν (z; ρ) when b. And so, the following Corollary is found: Corollary 3.4. Recurrence relations satisfied by the generalized three parameter Bessel and modified Bessel functions of the first kind are given by ( ν) z J (c ) ν (z; ρ) + z( z J (c ) ν (z; ρ) + z J (c ) ν+ (z; ρ)) (ν + ) z J (c ) ν+ (z; ρ), ( ν) z I(c ) ν (z; ρ) + z( (ν + ) z I(c ) ν+ (z; ρ). z I(c ) ν (z; ρ) z I(c ) ν+ (z; ρ)) To obtain the recurrence relations satisfied by the usual Bessel and modified Bessel functions, one can substitute c and ρ in Corollary 3.4.. In that case, J (c ) ν (z; ρ) is reduced to J ν (z) and J (c ) ν+ (z; ρ) is reduced to J ν+(z). Under the similar substitutions, I (c ) ν (z; ρ) is reduced to I ν (z) and I (c ) ν+ (z; ρ) is reduced to I ν+(z). Besides, considering the equations (.) and (.8) in [5] (page ), the recurrence relation of the usual Bessel function is obtained. The similar process can be applied to find out the recurrence relation of the modified Bessel function. Corollary 3.4. given by Recurrence relations satisfied by the usual Bessel and modified Bessel functions are ( ν) d dz J ν (z) + z( d dz J ν (z) + d dz J ν+(z)) (ν + ) d dz J ν+(z), ( ν) d dz I ν (z) + z( d dz I ν (z) d dz I ν+(z)) (ν + ) d dz I ν+(z). Proof. Taking derivative with respect to z in the following recurrence formula [5] it is directly obtained that ν J ν (z) z[j ν (z) + J ν+ (z)] ν d dz J ν(z) J ν (z) + J ν+ (z) + z d dz J ν (z) + z d dz J ν+(z).
Now, inserting the derivative of J ν (z), d dz J ν(z) [J ν (z) J ν+ (z)] in the above recurrence formula and differentiating with respect to z, result is obtained as ( ν) d dz J ν (z) + z( d dz J ν (z) + d dz J ν+(z)) (ν + ) d dz J ν+(z). Proof of the recurrence formula satisfied by modified Bessel function can be obtained as a similar way by means of the recurrence formulas given in Section. In the following Theorem, the partial differential equation satisfied by the unified four parameter Bessel function is obtained. Theorem 3.5 Partial differential equation satisfied by the unified four parameter Bessel function is given by Proof. 6 z 4 ρ G(b,c) ν (z; ρ) + 5 5 (ν z z 3 ρ G(b,c) ) 4 ν (z; ρ) + z z ρ G(b,c) ν (z; ρ) (3.5) b (z; ρ). z G(b,c) ν Taking ν in place of ν in (3.) yields and letting c in place of c in (3.), we get z [zν z (z ν+ G (b,c ) ν (z; ρ))] b(c ) ν (z; ρ) (3.6) (c ) z [z ν+ z (zν G ν (b,c ) (z; ρ))] G (b,c ) ν (z; ρ). (3.7) In equation (3.3), substituting c in place of c, we get Using (3.3) for G (b,c ) ν (z; ρ), we get G (b,c ) ν G (b,c ) (c ) ρ G(b,c ) ν (z; ρ). (3.8) (z; ρ) (c ) ρ [ (c ) ρ G(b,c) ν (z; ρ)] (c )(c ) ρ G(b,c) ν (z; ρ). (3.9) Obtaining G (b,c ) ν (z; ρ) from (3.) and inserting that into (3.6), we get z [zν z (z ν+ c Plugging (3.9) into (3.), we have z [z ν+ z (zν G ν (b,c ) z [zν z (z ν+ c z [z ν+ z (zν (c )(c ) b(c ) ν (z; ρ). Applying the derivatives, we get 6 z 4 ρ G(b,c) ν (z; ρ) + 5 5 (ν z z 3 ρ G(b,c) ) 4 ν (z; ρ) + z (z; ρ))])] b(c ) ν (z; ρ). (3.) z ρ G(b,c) ν ρ G(b,c) ν (z; ρ))])] (3.) (z; ρ) + b z G(b,c). Taking b, b and b, c and Corollary can be presented: b and c in Theorem 3.5, the following
Corollary 3.5. Partial differential equations satisfied by the generalized three parameter Bessel function and modified Bessel function of the first kind and the functions J ν (,) (z; ρ) and I ν (,) (z; ρ) are given by 6 6 z 4 ρ J ν (c) (z; ρ) + 5 5 z z 3 ρ J ν (c) (ν ) 4 (z; ρ) + z z ρ J ν (c) (z; ρ) + z J ν (c) (z; ρ), 6 z 4 ρ I(c) ν (z; ρ) + 5 5 (ν z z 3 ρ I(c) ) 4 ν (z; ρ) + z z ρ I(c) ν (z; ρ) z I(c), 6 z 4 ρ J ν (,) (z; ρ) + 5 5 z z 3 ρ J ν (,) (ν ) 4 (z; ρ) + z z ρ J ν (,) (z; ρ) + z J ν (,) (z; ρ), z 4 ρ I(,) ν (z; ρ) + 5 z respectively. 5 z 3 ρ I(,) ν (z; ρ) + (ν ) z 4 z ρ I(,) ν (z; ρ) z I(,), Theorem 3.6 Let α R and u ν (αz; ρ). Then the partial differential equation satisfied by u is given by z 4 6 z 4 ρ u + 5 5z3 z 3 ρ u + (ν ) z 4 z ρ u + bα z u. (3.) Proof. Taking into consideration of the following partial derivatives u α G(b,c) z ν (αz; ρ) u, z u α ν (αz; ρ) z, in the partial differential equation (3.5), we get 3 u z 3 α3 3 ν (αz; ρ) z 3, 4 u z 4 α4 4 ν (αz; ρ) z 4, (αz) 4 6 z 4 ρ G(b,c) ν (αz; ρ) + 5(αz) 3 5 z 3 ρ G(b,c) ν (αz; ρ) + (ν ) (αz) 4 z ρ G(b,c) ν (αz; ρ) b(αz) ν (αz; ρ). Therefore, u ν (αz; ρ) is a solution of (3.). 4 Mellin Transform of Products of Two Unified Four Parameter Bessel Functions In this Section, the Mellin transform involving products of two unified four parameter Bessel functions are obtained. To obtain this, integral representation of the product of the unified four parameter Bessel functions should be calculated. Theorem 4. Let α, β R. Double integral representation satisfied by the multiplication of the unified four parameter Bessel functions is given by ν (αz; ρ) w (βz; ρ) (αz) ν (βz) w ν+w [Γ(c)] [Γ(ν + )] [Γ(w + )] F 3 ( ; ν +, ν +, ν + ; bα z t 6 F 3 ( ; w +, w + where Re(c) >, Re(ν) > and Re(w) >., w + ) ; bβ z u )dtdu, 6 t c+ν u c+w e t u ρ t ρ u
Proof. as Considering series definition of the unified four parameter Bessel function, it can be written ν (αz; ρ) w (βz; ρ) k,l ( b) k+l (c; ρ) k+ν (c; ρ) l+w (αz) k+ν (βz) l+w k!l! Γ(k + ν + ) Γ(l + w + ) Γ(k + ν + ) Γ(l + w + ) k+ν l+w. Using the generalized Pochhammer function for (c; ρ) k+ν and (c; ρ) l+w, it is clear that ν (αz; ρ) w (βz; ρ) Now, using (.) yields ν (αz; ρ) w (βz; ρ) k,l [Γ(c)] Γ( ν+ k,l [Γ(c)] ( b) k+l (αz) k+ν (βz) l+w k!l! Γ(k + ν + ) Γ(l + w + ) Γ(k + ν + ) Γ(l + w + ) k+ν l+w )Γ( ν+ t c+k+ν u c+l+w e t u ρ t ρ u dtdu. )Γ( w+ Γ(ν + )Γ(w + ) w+ αz )Γ( )( )ν ( βz )w ( bz α 6 ) k ( bz β 6 ) l Γ(k + ν + )Γ(l + w + )Γ( ν+ + k)γ( ν+ + k)γ( w+ + l)γ( w+ + l)k!l! Recalling the fact that given double power series m,n A Γ(a j + mϑ j + nϕ j ) B j t c+k+ν u c+l+w e t u ρ t ρ u dtdu. j Γ(b j + mψ j ) B j Γ(b j + nψ j) C Γ(c j + mδ j + nε j ) D Γ(d j + mη j ) D Γ(d j + nη j ) j j converges absolutely for all complex x and y when + + C δ j + j D η j j C D ε j + η j j j A ϑ j j j B ψ j >, j A B ϕ j ψ j >, j j x m y n m!n! (see [57] in (3.)). Comparing the given power series with the double series of the right hand side of ν (αz; ρ) w (βz; ρ) and replacing the order of the integrals and summations where δ j, 3 3 η j 3, ϑ j, ψ j and ε j, η j 3, ϕ j, ψ j, x bz α 6, y bz β 6, the j following is obtained ν (αz; ρ) w (βz; ρ) Γ( ν+ )Γ( ν+ j )Γ( w+ w+ αz )Γ( )( )ν ( βz )w [Γ(c)] Γ(ν + )Γ(w + ) { k,l ( bz α 6 ) k ( bz β 6 ) l t k u l Γ(k + ν + )Γ(l + w + )Γ( ν+ + k)γ( ν+ + k)γ( w+ + l)γ( w+ + l)k!l! } t c+ν u c+w e t u ρ t ρ u dtdu. 3
After some calculations in series, summations can be written as Γ( ν+ k,l )Γ( ν+ )Γ( w+ Γ(ν + )Γ(w + ) w+ αz )Γ( )( )ν ( βz )w ( bz α 6 ) k ( bz β 6 ) l t k u l Γ(k + ν + )Γ(l + w + )Γ( ν+ + k)γ( ν+ + k)γ( w+ + l)γ( w+ + l)k!l! (αz) ν (βz) w ν+w [Γ(ν + )] [Γ(w + )] F 3 ( ; ν +, ν +, ν + ; bα z t ) 6 F 3 ( ; w +, w +, w + ; bβ z u ). 6 Substituting the last relation inside of the integrals and using usual Pochhammer function expansions, the desired result is obtained as ν (αz; ρ) w (βz; ρ) (αz) ν (βz) w ν+w [Γ(c)] [Γ(ν + )] [Γ(w + )] F 3 ( ; ν +, ν +, ν + ; bα z t 6 F 3 ( ; w +, w +, w + ) ; bβ z u )dtdu. 6 t c+ν u c+w e t u ρ t ρ u Letting b, b, b, c, ρ following Corollaries are obtained: and b, c, ρ in Theorem 4., the Corollary 4.. The integral representations satisfied by the functions J ν (c) (αz; ρ), J w (c) (βz; ρ) are given by J ν (c) (αz; ρ)j w (c) (βz; ρ) I ν (c) (αz; ρ)i w (c) (βz; ρ) (αz) ν (βz) w ν+w [Γ(c)] [Γ(ν + )] [Γ(w + )] F 3 ( ; ν +, ν +, ν + ; α z t 6 F 3 ( ; w +, w +, w + (αz) ν (βz) w ν+w [Γ(c)] [Γ(ν + )] [Γ(w + )] F 3 ( ; ν +, ν +, ν + ; α z t 6 F 3 ( ; w +, w + where Re(c) >, Re(ν) > and Re(w) >., w + ) ; β z u )dtdu, 6 ) ; β z u )dtdu, 6 t c+ν u c+w e t u ρ t ρ u t c+ν u c+w e t u ρ t ρ u Corollary 4.. Integral representations satisfied by the usual Bessel and modified Bessel functions 4
are given by J ν (αz)j w (βz) I ν (αz)i w (βz) where Re(ν) > and Re(w) >. (αz) ν (βz) w ν+w [Γ(ν + )] [Γ(w + )] F 3 ( ; ν +, ν +, ν + ; α z t 6 F 3 ( ; w +, w +, w + (αz) ν (βz) w ν+w [Γ(ν + )] [Γ(w + )] t ν u w e t u ) ; β z u )dtdu, 6 F 3 ( ; ν +, ν +, ν + ; α z t 6 F 3 ( ; w +, w +, w + In the following Theorem, the Mellin transform of the z ν t ν u w e t u ) ; β z u )dtdu, 6 (αz; ρ) (βz; ρ) is calculated. w Theorem 4. The Mellin transform of ze z ν (αz; ρ) (βz; ρ) is given by w M{ze z ν (αz; ρ) w (βz; ρ); s} α ν β w ν+w [Γ(ν + )] [Γ(w + )] k,l where Re(ν) > and Re(w) >. ( b) k+l α k β l (c; ρ) ν+k (c; ρ) w+l Γ(s + ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ), l k!l! 4k+4l Proof. Mellin transform can be written M{ze z ν (αz; ρ) w (βz; ρ); s} z s ze z ν (αz; ρ) w (βz; ρ)dz. Inserting the integral representation of the ν (αz; ρ) w (βz; ρ) and expanding the hypergeometric series and using the expansion of the generalized Pochhammer functions, we have M{ze z ν (αz; ρ) w (βz; ρ); s} α ν β w ν+w [Γ(ν + )] [Γ(w + )] [Γ(c)] k,l e z z s+ν+w t c+ν u c+w e t u ρ t ρ u ( b) k+l α k β l t k u l z k+l (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ) dtdudz. l k!l! 6k+l Replacing the order of integrals and summations, we get M{ze z ν (αz; ρ) w (βz; ρ); s} α ν β w ν+w [Γ(ν + )] [Γ(w + )] [Γ(c)] { k,l ( b) k+l α k β l (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ) l k!l!(6). k+l 5 t c+ν+k e t ρ t u l+c+w e u ρ u z s+ν+w+k+l e z dtdudz}
Now, computing the integrals in terms of the generalized Pochhammer functions and Gamma function, we have M{ze z ν (αz; ρ) w (βz; ρ); s} α ν β w ν+w [Γ(ν + )] [Γ(w + )] k,l ( b) k+l α k β l (c; ρ) ν+k (c; ρ) w+l Γ(s + ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ). l k!l! 4k+4l Taking s in Theorem 4., the following integral representation formula is obtained. Corollary 4.. ze z ν Infinite integral involving of the unified four parameter Bessel functions is given by (αz; ρ) (βz; ρ)dz α ν β w ν+w [Γ(ν + )] [Γ(w + )] where Re(ν) > and Re(w) >. w k,l ( b) k+l α k β l (c; ρ) ν+k (c; ρ) w+l Γ(ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ) l k!l!, 4k+4l Taking b, b, b, c, ρ and b, c, ρ in Corollary 4.., the following integral representations are obtained: Corollary 4.. The integral representations involving the multiplication of the generalized three parameter Bessel and modified Bessel functions of the first kind are given by ze z J ν (c) (αz; ρ)j w (c) (βz; ρ)dz α ν β w ν+w [Γ(ν + )] [Γ(w + )] ze z I ν (c) (αz; ρ)i w (c) (βz; ρ)dz α ν β w ν+w [Γ(ν + )] [Γ(w + )] k,l k,l where Re(ν) > and Re(w) >. Corollary 4..3 Integrals involving J ν (,) (αz; ρ), J w (,) given by ze z J ν (,) (αz; ρ)j w (,) (βz; ρ)dz α ν β w ν+w [Γ(ν + )] [Γ(w + )] ze z I (,) ν k,l (αz; ρ)i w (,) (βz; ρ)dz α ν β w ν+w [Γ(ν + )] [Γ(w + )] k,l where Re(ν) > and Re(w) >. ( ) k+l α k β l (c; ρ) ν+k (c; ρ) w+l Γ(ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ) l k!l!, 4k+4l α k β l (c; ρ) ν+k (c; ρ) w+l Γ(ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ) l k!l!, 4k+4l (βz; ρ), I (,) ν (αz; ρ) and I w (,) (βz; ρ) are ( ) k+l α k β l (; ρ) ν+k (; ρ) w+l Γ(ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ), l k!l! 4k+4l α k β l (; ρ) ν+k (; ρ) w+l Γ(ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ) l k!l!, 4k+4l 6
For the products of usual Bessel and modified Bessel functions, the following Corollary can be written. Corollary 4..4 Integral representations satisfied by the usual Bessel and modified Bessel functions J ν (αz), J w (βz) and I ν (αz), I w (βz) are given by ze z J ν (αz)j w (βz)dz α ν β w ν+w [Γ(ν + )] [Γ(w + )] ze z I ν (αz)i w (βz)dz α ν β w ν+w [Γ(ν + )] [Γ(w + )] k,l k,l where Re(ν) > and Re(w) >. ( ) k+l α k β l Γ(ν + k + ) Γ(w + l + ) Γ(ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ), l k!l! 4k+4l α k β l Γ(ν + k + ) Γ(w + l + ) Γ(ν + w + k + l + ) (ν + ) k (w + ) l ( ν+ ) k ( w+ ) l ( ν+ ) k ( w+ ), l k!l! 4k+4l Note that, the Mellin transform of the products of Bessel functions was obtained in [45]. Recalling that the integrals f(x)j ν (αx)j w (βx)dx arises in problems involving particle motion in an unbounded rotating fluid [, 65] in magnetohydrodynamic flow, crack problems in elasticity [66] and distortions of nearly circular lipid domains where v, w Z + and α, β R + [64]. Taking f(x) xe x the result of the corresponding Theorem coincides with this integral. 5 A Three-Fold Integral Formula for the Unified Four Parameter Bessel Function In the following Theorem, a three-fold integral formula for the unified four parameter Bessel function is given: Theorem 5. A three-fold integral formula satisfied by the unified four parameter Bessel function is given by ( z )ν Γ(c)π[Γ(ν + )] e s ρ( s) s( s) t u s c+ν ( t) ν ( u) ν ( s) c ν F 3 ( ; 4, 3 4, ; bz s u t 6( s) )dsdtdu, where Re(c) >, Re(ν) > and Re(s) >. Proof. Considering series expansion of the unified four parameter Bessel function as k then using Beta function 4k ( b) k (c; ρ) k+ν ( z )ν z k Γ(k + )Γ(ν + )Γ(k + )Γ(ν + ) 4k k k!γ(k + )Γ(k + ν + )Γ(ν + )Γ(k + ν + )Γ(k + )Γ(ν + ), B(x; y) Γ(x)Γ(y) Γ(x + y) 7
and applying duplication formula for the Gamma function [3, 58] πγ(k + ) k k!γ(k + ), we have k 4k ( b) k (c; ρ) k+ν ( z )ν z k B(k + ; ν + )B(k + ; ν + ) 4k πγ(k + )Γ(ν + )Γ(k + )Γ(ν + ). Again, using duplication formula, we get G ν (b,c) 4k ( b) k (c; ρ) k+ν ( z (z; ρ) )ν z k B(k + ; ν + )B(k + ; ν + ) πγ(4k + ) π[γ(ν +. )] k Now, inserting the Beta functions, we have B(k + ; ν + ) t k ( t) ν dt, B(k + ; ν + ) u k ( u) ν du 4k ( b) k (c; ρ) k+ν ( z )ν z k k πγ(4k + )[Γ(ν + )] ( b) k (c; ρ) k+ν z k 4k ( z )ν k πγ(4k + )[Γ(ν + )] ( z )ν π[γ(ν + )] t k ( t) ν dt ( b) k (c; ρ) k+ν z k 4k k Γ(4k + ) Inserting the generalized Pochhammer function we have Making substitution y s s (c; ρ) k+ν Γ(c) ( z )ν π[γ(ν + )] k u k ( u) ν du, t k u k ( t) ν ( u) ν dtdu, y c+k+ν e y ρ y dy, ( b) k z k 4k Γ(4k + ) Γ(c) ( t k u k ( t) ν ( u) ν dtdu. t k u k ( t) ν ( u) ν dtdu. in the first integral on the right side, we have ( z )ν πγ(c)[γ(ν + )] e k ( b) k z k 4k Γ(4k + ) y c+k+ν e y ρ y dy) t k u k s c+k+ν ( t) ν ( u) ν ( s) c k ν s ρ( s) s( s) dsdtdu. 8
Taking into consideration of the Legendre s duplication formula for the function Γ(4k + ) Γ(4k + ) π Γ(k + )4k Γ(k + ) and applying (.) and (.3), we have Γ(4k + ) 4k k ( 4 ) k ( 3 4 ) k k ( ) k() k. Now, replacing the order of summation and integrals, we get ( z )ν πγ(c)[γ(ν + )] { k s u t ( 4 ) k( 3 4 ) k( ) k k! ( bz 6( s) )k } t u s c+ν ( t) ν ( u) ν ( s) c ν e Using hypergeometric series expansion, the result is obtained ( z )ν Γ(c)π[Γ(ν + )] e s ρ( s) s( s) s ρ( s) s( s) dsdtdu. t u s c+ν ( t) ν ( u) ν ( s) c ν F 3 ( ; 4, 3 4, ; bz s u t 6( s) )dsdtdu. Letting b and b in Theorem 5., the following triple integral representations for the generalized three parameter Bessel and modified Bessel functions of the first kind are obtained: Corollary 5.. For the generalized three parameter Bessel and modified Bessel functions of the first kind, we have J (c) I (c) ( z )ν Γ(c)π[Γ(ν + )] e s ρ( s) s( s) ( z )ν Γ(c)π[Γ(ν + )] e s ρ( s) s( s) where Re(c) > and Re(ν) >. t u s c+ν ( t) ν ( u) ν ( s) c ν F 3 ( ; 4, 3 4, ; z s u t 6( s) )dsdtdu, F 3 ( ; 4, 3 4, ; t u s c+ν ( t) ν ( u) ν ( s) c ν z s u t 6( s) )dsdtdu, Taking b, c and ρ and b, c and ρ in Corollary 5.., the integral representations of the usual Bessel and modified Bessel functions are given in the following Corollary. Corollary 5.. Triple integral formulas satisfied by the usual Bessel and modified Bessel functions 9