Next Article in Journal
Riemann Hypothesis and Random Walks: The Zeta Case
Previous Article in Journal
Symmetry Detection and Analysis of Chinese Paifang Using 3D Point Clouds
Previous Article in Special Issue
Applications of Generalized q-Difference Equations for General q-Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Certain Finite Integrals Related to the Products of Special Functions

by
Dinesh Kumar
1,†,
Frédéric Ayant
2,3,†,
Suphawat Asawasamrit
4,† and
Jessada Tariboon
4,*,†
1
Department of Applied Sciences, College of Agriculture, Sumerpur-Pali, Agriculture University Jodhpur, Jodhpur 342304, India
2
Collége Jean L’herminier, Allée des Nymphéas, 83500 La Seyne-sur-Mer, France
3
Department of Var, 83140 Six-Fours-les-Plages, France
4
Intelligent and Nonlinear Dynamic Innovations Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok 10800, Thailand
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Symmetry 2021, 13(11), 2013; https://doi.org/10.3390/sym13112013
Submission received: 26 June 2021 / Revised: 25 September 2021 / Accepted: 18 October 2021 / Published: 23 October 2021
(This article belongs to the Special Issue Theory and Applications of Special Functions in Mathematical Physics)

Abstract

:
The aim of this paper is to establish a theorem associated with the product of the Aleph-function, the multivariable Aleph-function, and the general class of polynomials. The results of this theorem are unified in nature and provide a very large number of analogous results (new or known) involving simpler special functions and polynomials (of one or several variables) as special cases. The derived results lead to significant applications in physics and engineering sciences.

1. Introduction

Calculus of fractional orders is a field of mathematics study that grows out of the traditional definitions of calculus with integer orders of integral and derivative operators in much the same way that fractional exponents can do as an outgrowth of exponents with integer value. During the last three decades, from the development in computations by mathematical software, fractional calculus has been applied to almost every field of science, in particular mathematics, physics, and engineering. Many applications of fractional calculus can be found in plasma physics and controlled thermonuclear fusion, nonlinear control theory, turbulence and fluid dynamics, stochastic dynamical systems, image processing, nonlinear biological systems, astrophysics, and mathematical biology. The computations of fractional integrals and fractional derivatives involving transcendental functions of one and several variables are important because of the usefulness of their results, e.g., for evaluating differential and integral equations. Motivated by these and other applications, several mathematicians and physicians have made use of the calculus fractional orders in the theory of special functions of one and more variables.
Definition 1.
(Mellin–Barnes integral) Let L be a contour in the complex plane starting at c ι and ending at c + ι with ( s ) = c > 0 . We call the Mellin–Barnes integral to any integral in the complex plane whose integrand contemplates at least one gamma function, given by:
I z = 1 2 π ι L f ( s ) z s d s
where the density function, f ( s ) , in general, the solution of a differential equation with polynomial coefficients, is given by a quotient of products of gamma functions depending on parameters.
A newly found special function is called the Aleph-function, which occurs as an extension of the I-function, itself a generalization of the well-known and familiar G- and H-functions in one variable. A special case of the Aleph-function has appeared in the investigation of fractional driftless Fokker–Planck equations with power law diffusion coefficients. The Aleph-function was introduced by Südland et al. [1], who named it after the symbol used for its representation. The notation and complete definition in terms of the Mellin–Barnes-type integrals along with the conditions of convergence were presented by Saxena and Pogáany [2]. Later on, several studies were performed that established relationships between Aleph-functions with various fractional integral operators [3,4,5,6]. In addition, the multivariable Aleph-function is a generalization of the multivariable I-function defined by Sharma and Ahmad [7], which is itself a generalization of the multivariable H-function defined by Srivastava and Panda [8,9]. The multivariable Aleph-function z 1 , , z r of complex arguments z 1 , , z r writes:
z 1 , , z r = p i , q i , τ i ; R : p i ( 1 ) , q i ( 1 ) , τ i ( 1 ) ; R ( 1 ) ; ; p i ( r ) , q i ( r ) ; τ i ( r ) ; R ( r ) 0 , n : m 1 , n 1 , , m r , n r z 1 . . z r a j ; α j ( 1 ) , , α j ( r ) 1 , n , , τ i a j i ; α j i ( 1 ) , , α j i ( r ) n + 1 , p i : c j ( 1 ) , γ j ( 1 ) 1 , n 1 , τ i b j i ; β j i ( 1 ) , , β j i ( r ) 1 , q i : d j ( 1 ) , δ j ( 1 ) 1 , m 1 , τ i ( 1 ) c j i ( 1 ) ( 1 ) , γ j i ( 1 ) ( 1 ) n 1 + 1 , p i ( 1 ) ; ; c j ( r ) , γ j ( r ) 1 , n r , τ i ( r ) c j i ( r ) ( r ) , γ j i ( r ) ( r ) n r + 1 , p i ( r ) τ i ( 1 ) d j i ( 1 ) ( 1 ) , δ j i ( 1 ) ( 1 ) m 1 + 1 , q i ( 1 ) ; ; d j ( r ) , δ j ( r ) 1 , m r , τ i ( r ) d j i ( r ) ( r ) , δ j i ( r ) ( r ) m r + 1 , q i ( r ) = 1 2 π ω r L 1 L r ψ s 1 , , s r k = 1 r θ k s k z k s k d s 1 d s r ,
with ω = 1 ; it is defined by means of the multiple contour integral, given by:
z 1 , , z r : = 1 ( 2 π ω ) r L 1 L r ψ ( s 1 , , s r ) k = 1 r θ k ( s k ) z k s k d s 1 d s r .
Here,
ψ s 1 , , s r : = j = 1 n Γ 1 a j + k = 1 r α j ( k ) s k i = 1 R τ i j = n + 1 p i Γ a j i k = 1 r α j i ( k ) s k j = 1 q i Γ 1 b j i + k = 1 r β j i ( k ) s k
and:
θ k ( s k ) : = j = 1 m k Γ d j ( k ) δ j ( k ) s k j = 1 n k Γ 1 c j ( k ) + γ j ( k ) s k i ( k ) = 1 R ( k ) τ i ( k ) j = m k + 1 q i ( k ) Γ 1 d j i ( k ) ( k ) + δ j i ( k ) ( k ) s k j = n k + 1 p i ( k ) Γ c j i ( k ) ( k ) γ j i ( k ) ( k ) s k .
Suppose, as usual, that the parameters a j j = 1 , , p ; b j j = 1 , , q ; c j ( k ) ( j = 1 , , n k ) ; c j i ( k ) ( k ) j = n k + 1 , , p i ( k ) ;   d j ( k ) j = 1 , , m k ; d j i ( k ) ( k ) j = m k + 1 , , q i ( k ) are complex numbers, with k = 1 , , r , i = 1 , , R , i ( k ) = 1 , , R ( k ) , and the α s , β s , γ s , and δ s are assumed to be positive real numbers for standardization purpose such that:
U i ( k ) = j = 1 n α j ( k ) + τ i j = n + 1 p i α j i ( k ) + j = 1 n k γ j ( k ) + τ i ( k ) j = n k + 1 p i ( k ) γ j i ( k ) ( k ) τ i j = 1 q i β j i ( k ) j = 1 m k δ j ( k ) τ i ( k ) j = m k + 1 q i ( k ) δ j i ( k ) ( k ) 0 .
The reals numbers τ i are positives for i = 1 , , R ; τ i ( k ) are positives for i ( k ) = 1 , , R ( k ) . The contour L k is in the s k -plane and runs from σ i to σ + i where σ is a real number with a loop, if necessary, to ensure that the poles of Γ d j ( k ) δ j ( k ) s k with j = 1 , , m k are separated from those of Γ 1 a j + i = 1 r α j ( k ) s k with j = 1 , , n and Γ 1 c j ( k ) + γ j ( k ) s k with j = 1 , , n k to the left of contour L k .
For more details, the reader may refer to the recent works of Ayant [10] and Suthar [6], in particular, as concerns the criteria for the absolute convergence of the above multiple Mellin–Barnes contour integral. They can be obtained by extending the corresponding conditions fulfilled by the multivariable H-function and are given by the conditions:
| a r g   z k | < 1 2 A i ( k ) π ( f o r k = 1 , 2 , r ) ,
in which:
A i ( k ) : = j = 1 n α j ( k ) τ i j = n + 1 p i α j i ( k ) τ i j = 1 q i β j i ( k ) + j = 1 n k γ j ( k ) τ i ( k ) j = n k + 1 p i ( k ) γ j i ( k ) ( k ) + j = 1 m k δ j ( k ) τ i ( k ) j = m k + 1 q i ( k ) δ j i ( k ) ( k ) > 0
with k = 1 r , i = 1 , , R , and i ( k ) = 1 , , R ( k ) . The complex numbers z i are not zero. In the remainder of the paper, we assume that the existence and absolute convergence conditions of the multivariable Aleph-function are satisfied according to the above criteria.
Remark 1.
Its asymptotic behavior when variables become small or large (resp.) is expressed in the following basic forms:
z 1 , , z r = O | z 1 | α 1 , , | z r | α r , w h e n m a x | z 1 | , , | z r | 0 . z 1 , , z r = O | z 1 | β 1 , , | z r | β r , w h e n m i n | z 1 | , , | z r | ,
where, for k = 1 , , r ,
α k = m i n d j ( k ) / δ j ( k ) , j = 1 , , m k
and
β k = m a x c j ( k ) 1 / γ j ( k ) , j = 1 , , n k .
For the sake of simplicity, we use the following notations in what follows,
V : = m 1 , n 1 ; ; m r , n r a n d
W : = p i ( 1 ) , q i ( 1 ) , τ i ( 1 ) ; R ( 1 ) ; ; p i ( r ) , q i ( r ) , τ i ( r ) ; R ( r ) ,
and also,
A : = a j ; α j ( 1 ) , , α j ( r ) 1 , n , τ i a j i ; α j i ( 1 ) , , α j i ( r ) n + 1 , p i : c j ( 1 ) , γ j ( 1 ) 1 , n 1 , τ i ( 1 ) c j i ( 1 ) ( 1 ) , γ j i ( 1 ) ( 1 ) n 1 + 1 , p i ( 1 ) ; ; c j ( r ) , γ j ( r ) 1 , n r , τ i ( r ) c j i ( r ) ( r ) , γ j i ( r ) ( r ) n r + 1 , p i ( r )
B : = τ i b j i ; β j i ( 1 ) , , β j i ( r ) 1 , q i : d j ( 1 ) , δ j ( 1 ) 1 , m 1 , τ i ( 1 ) d j i ( 1 ) ( 1 ) , δ j i ( 1 ) ( 1 ) m 1 + 1 , q i ( 1 ) ; ; d j ( r ) , δ j ( r ) 1 , m r , τ i ( r ) d j i ( r ) ( r ) , δ j i ( r ) ( r ) m r + 1 , q i ( r ) .
In other words, the contracted form of the multivariable Aleph-function can be written as:
z 1 , , z r : = p i , q i , τ i ; R ; W 0 , n : V z 1 z r A B .
MultivariableH-function: If we set τ i = τ i ( 1 ) = = τ i ( k ) = 1 and R = R ( 1 ) = = R ( k ) = 1 with k = 1 , , r in (2), then the multivariable Aleph-function reduces to the multivariable H-function, defined by:
H z 1 , , z r = H p , q : p 1 , q 1 ; ; p r , q r 0 , n : m 1 , n 1 ; ; m r , n r z 1 . . z r a j ; α j ( 1 ) , , α j ( r ) 1 , n : c j ( 1 ) , γ 1 ( 1 ) 1 , n 1 , , c j ( r ) , γ j ( r ) 1 , n r b j ; β j ( 1 ) , , β j ( r ) 1 , q : d j ( 1 ) , δ j ( 1 ) 1 , q 1 , , d j ( r ) , δ j ( r ) 1 , q r = 1 2 π ω r + 1 L 1 L r + 1 ϕ s 1 , , s r i = 1 r θ i s i z i t i d s 1 d s r ,
where ϕ s 1 , , s r , θ i s i i = 1 , , r + 1 are given by:
ϕ s 1 , , s r = j = 1 n Γ 1 a j + i = 1 r α j ( j ) s j j = n + 1 p Γ a j i = 1 r α j ( i ) s i j = 1 q Γ 1 b j + i = 1 r β j ( i ) s i ,
and:
θ i s i = j = 1 m i Γ d j ( i ) δ j ( i ) s i j = 1 n i Γ 1 c j ( i ) + γ j ( i ) s i j = n i + 1 p i Γ c j ( i ) γ j ( i ) s i j = m i + 1 q i Γ 1 d j ( i ) + δ j ( i ) s i .
Aleph-function of one variable: The Aleph-function was first introduced by Südland et al. [1] by means of a Mellin–Barnes-type integral in the following manner for z 0 (see, also, [2,3,4,5]):
( z ) = P i , Q i , c i ; r M , N z b j , B j 1 , M , , c i b j i , B j i M + 1 , Q i ; r a j , A j 1 , N , , c j a j i , A j i N + 1 , P i ; r : = 1 2 π i L Ω P i , Q i , c i ; r M , N s z s d s ,
where:
Ω P i , Q i , c i ; r M , N ( s ) : = j = 1 M Γ b j + B j s j = 1 N Γ 1 a j A j s i = 1 r c i j = M + 1 Q i Γ 1 b j i B j i s j = N + 1 P i Γ a j i + A j i s .
Here and throughout, let Z , C , R , R + , and N be the sets of integers, complex numbers, real numbers, positive real numbers, and positive integers, respectively, and let N 0 : = N { 0 } .
The L = L ω γ , γ R is a suitable contour of the Mellin–Barnes-type, which runs from γ ω to γ + ω . The poles of Γ 1 a j A j s , j { 1 , , N } are distinct from the poles of Γ b j + B j s , j { 1 , , M } . The parameters A j , B j , A j i , B j i are positive real numbers, and a j , b j , a j i , b j i are complex numbers. The parameters P i , Q i are nonnegative integers satisfying the conditions 0 N P i , 1 M Q i , c i > 0 for i { 1 , , r } and M , N Z . As usual, the empty product in (15) is interpreted as unity.
The conditions of the existence of the contour integral defined in (14) are given below for = 1 , 2 , , r by:
| a r g ( z ) | < π 2 φ w h e n φ > 0
and:
| a r g ( z ) | < π 2 φ a n d ζ + 1 < 0 w h e n φ 0 ,
where, for = 1 , 2 , , r ,
φ : = j = 1 N A j + j = 1 M B j c j = N + 1 P A j + j = M + 1 Q B j a n d
ζ : = j = 1 M b j j = 1 N a j + c j = M + 1 Q b j j = N + 1 P a j + 1 2 P Q .
I-function of one variable: If we set c i = 1 for i { 1 , , r } in (14), then the Aleph-function coincides with the I-function, given as:
I P i , Q i ; r M , N [ z ] = P i , Q i , 1 ; r M , N z a j , A j 1 , N , , a j , A j N + 1 , P i b j , B j 1 , M , , b j , B j M + 1 , Q i = 1 2 π ι L Ω P i , Q i , 1 ; r M , N ( s ) z s d s ,
which holds under the conditions (16a)–(17b) (for c i = 1 ).
H-function of one variable: By taking c i 1 and r = 1 in (14), then the Aleph-function reduces to Fox’s H-function [11] as follows:
H P , Q M , N [ z ] = P , Q , 1 ; 1 M , N z a j , A j 1 , P b j , B j 1 , Q = 1 2 π ι L Ω P , Q M , N ( s ) z s d s ,
where the kernel Ω P , Q M , N ( s ) is given by:
Ω P , Q M , N s = j = 1 M Γ b j + B j s j = 1 N Γ 1 a j A j s j = N + 1 P Γ a j + A j s j = M + 1 Q Γ 1 b j B j s .
Furthermore, the series representation of the Aleph-function was given by Chaurasia and Singh [12] in the form:
P i , Q i , c i ; r M , N ( z ) = G = 1 M g = 0 1 g Ω P i , Q i , c i ; r M , N ( η G , g ) B G g ! z η G , g ,
with s = η G , g = B G + g B G , P i Q i , | z | < 1 , as well as Ω P i , Q i , c i ; r M , N as defined in relation (15).
These preliminaries ultimately come to an end with the definition of Srivastava’s generalized polynomials, which was given as follows in [13],
S N 1 , , N s M 1 , , M s y 1 , , y s : = K 1 = 0 [ N 1 / M 1 ] K s = 0 [ N s / M s ] ( N 1 ) M 1 K 1 K 1 ! ( N s ) M s K s K s ! × A N 1 , K 1 ; ; N s , K s y 1 K 1 y s K s .
Here, M 1 , , M s are arbitrary positive integers and the coefficients A N 1 , K 1 ; ; N s , K s are arbitrary (real or complex) constants. By suitably specializing these coefficients, the general polynomials S N 1 , , N s M 1 , , M s y 1 , , y s provide a number of known polynomials that arise as their special cases—these include the Hermite polynomials, the Jacobi polynomials, and the Laguerre polynomials, among others.
Orthogonal polynomials: We consider the class of polynomials S n m ( z ) = k = 0 [ n / m ] ( n ) m k k ! A n , k z k for n = 0 , 1 , 2 , 3 , (for more details, see, Srivastava and Singh [14]). If m = 2 , A n , k = 1 k , then S n 2 ( x ) x n / 2 H n 1 2 x (Hermite polynomials). If m = 1 , A n , k = n + α n 1 ( α + 1 ) k , then we have the Laguerre polynomials defined by S n 1 ( x ) = L n α ( x ) . If m = 1 , A n , k = n + α n α + β + n + 1 k α + 1 k , then S n 1 ( x ) = P n α , β 1 2 x (Jacobi polynomial).

2. Main Results

Lemma 1.
Let α , β , γ R ; the following formulas hold true (see, Slater [15], p. 75).
If ( 1 x ) α + β γ 1 2 2 F 1 [ 2 α , 2 β ; 2 γ ; x ] = u = 0 β u x u , then:
2 F 1 [ α , β ; γ ; x ] 2 F 1 γ α + 1 2 , γ β + 1 2 ; γ ; x = u = 0 γ + 1 2 u ( γ + 1 ) u β u x u .
Theorem 1.
Let α , β , γ , ρ , u i , ρ i , h j , j R with i = 1 , , s , j = 1 , , r . If:
1 x α + β γ 1 2 2 F 1 2 α , 2 β ; 2 γ ; x = u = 0 β u x u ,
then the formula holds:
0 1 x λ x k + c ρ 2 F 1 α , β ; γ ; x 2 F 1 γ α + 1 2 , γ β + 1 2 ; γ ; x × S N 1 , , N s M 1 , , M s c 1 x u 1 x k + c ρ 1 c s x u s x k + c ρ s P i , Q i , c i ; r M , N z x h x k + c ψ z 1 x h 1 x k + c 1 z r x h r x k + c r d x = K 1 = 0 [ N 1 / M 1 ] K s = 0 [ N s / M s ] G = 1 M g = 0 u = 0 N 1 M 1 K 1 K 1 ! N s M s K s K s ! A N 1 , K 1 ; ; N s , K s c 1 K 1 c s K s × ( 1 ) g Ω P i , Q i , c i , r M , N η G , g B G g ! z η G , g γ + 1 2 u γ + 1 u β u c ρ ψ η G , g + i = 1 s K i ρ i × p i + 2 , q i + 2 , τ i ; R : W ; 0 , 1 0 , n + 2 : V ; 1 , 0 c 1 z 1 c r z r x k c 1 ρ + ψ η G , g i = 1 s K i ρ i : 1 , , r , 1 , 1 ρ + ψ η G , g i = 1 s K i ρ i : 1 , , r , 0 , λ u + h η G , g i = 1 s K i u i : h 1 , , h r , 0 , A 1 1 λ u + h η G , g i = 1 s K i u i : h 1 , , h r , 0 , B 1 ,
where:
A 1 : = a j ; α j ( 1 ) , , α j ( r ) , 0 1 , n , τ i a j i ; α j i ( 1 ) , , α j i ( r ) , 0 n + 1 , p i : c j ( 1 ) , γ j ( 1 ) 1 , n 1 , τ i ( 1 ) c j i ( 1 ) ( 1 ) , γ j i ( 1 ) ( 1 ) n 1 + 1 , p i ( 1 ) ; ; c j ( r ) , γ j ( r ) 1 , n r , τ i ( r ) c j i ( r ) ( r ) , γ j i ( r ) ( r ) n r + 1 , p i ( r ) .
B 1 : = τ i b j i ; β j i ( 1 ) , , β j i ( r ) , 0 1 , q i : d j ( 1 ) , δ j ( 1 ) 1 , m 1 , τ i ( 1 ) d j i ( 1 ) ( 1 ) , δ j i ( 1 ) ( 1 ) m 1 + 1 , q i ( 1 ) ; ; d j ( r ) , δ j ( r ) 1 , m r , τ i ( r ) d j i ( r ) ( r ) , δ j i ( r ) ( r ) m r + 1 , q i ( r ) ; 0 , 1 .
This is provided that the following constraints are satisfied:
m i n ρ i , u i , K i , j , h j > 0 f o r i = 1 , , s , j = 1 , , r , h > 0 , ψ > 0 , | γ α β | < 1 2 , ρ h η G , g + i = 1 s K i s i + i = 1 r h i min 1 j m i d j ( i ) δ j ( i ) > 0 ,
and in addition,
| a r g   z k | < 1 2 A i ( k ) π , f o r k = 1 , , r , where A i ( k ) is defined in Equation (6);
| a r g   z | < 1 2 π Ω with:
Ω : = j = 1 N A j + j = 1 M B j c i j = M + 1 Q i B j i + j = N + 1 P i A j i .
Proof. 
Using Slater’s Lemma 1, we can multiply both sides of Equation (23) by:
x λ x k + c ρ S N 1 , , N s M 1 , , M s c 1 x u 1 x k + c ρ 1 c s x u s x k + c ρ s P i , Q i , c i ; r M , N z x h x k + c ψ × z 1 x h 1 x k + c 1 z r x h r x k + c r ,
Now, integrating with respect to x between zero and one leads to the equation:
0 1 x λ x k + c ρ 2 F 1 α , β ; γ ; x 2 F 1 γ α + 1 2 , γ β + 1 2 ; γ ; x × S N 1 , , N s M 1 , , M s c 1 x u 1 x k + c ρ 1 c s x u s x k + c ρ s P i , Q i , c i ; r M , N z x h x k + c ψ × z 1 x h 1 x k + c 1 z r x h r x k + c r d x = 0 1 x λ x k + c ρ u = 0 γ + 1 2 u γ + 1 u β u x u S N 1 , , N s M 1 , , M s c 1 x u 1 x k + c ρ 1 c s x u s x k + c ρ s × P i , Q i , c i ; r M , N z x h x k + c ψ z 1 x h 1 x k + c 1 z r x h r x k + c r d x .
Finally, interchanging the order of integration and summations (which is permissible under the conditions stated in Equation (24)) and after a few simplifications, we obtain the final result (denoted here by I):
I = u = 0 γ + 1 2 u γ + 1 u β u 0 1 x λ + u x k + c ρ S N 1 , , N s M 1 , , M s c 1 x u 1 x k + c ρ 1 c s x u s x k + c ρ s × P i , Q i , c i ; r M , N z x h x k + c ψ z 1 x h 1 x k + c 1 z r x h r x k + c r d x .
From the definitions of the general class of multivariable polynomials defined in (22) formulated in terms of the series representation of the Aleph-function of one variable given in Equation (21) extended to the multivariable Aleph-function in the Mellin–Barnes multiple contour integral defined in Equation (3), the proof proceeds in the following lines.
The quantity:
x k + c ρ h η G , g + i = 1 s K i ρ i + j = 1 r j ξ j
can be expressed as a contour integral by use of the result of Srivastava et al. in [16] and, next, by interchanging the order of summation and integration (which is permissible under the conditions of the theorem). Interpreting the resulting Mellin–Barnes contour integral as an Aleph-function of r + 1 variables, the desired result is obtained. □

3. Particular Cases

Due to the quite general nature of the multivariable Aleph-function and of the class of multivariable polynomials, several integrals involving simpler functions can be readily evaluated as special cases of the main theorem.
Corollary 1.
If we set γ = α in Theorem 1, then the value of β u in Equation (23) is equal to β + 1 2 u u ! and the result in Equation (24) yields the following interesting integral.
0 1 x λ x k + c ρ 2 F 1 α + 1 2 , β + 1 2 ; α + 1 ; x S N 1 , , N s M 1 , , M s c 1 x u 1 x k + c ρ 1 c s x u s x k + c ρ s × P i , Q i , c i ; r M , N z x h x k + c ψ z 1 x h 1 x k + c 1 z r x h r x k + c r d x = K 1 = 0 [ N 1 / M 1 ] K s = 0 [ N s / M s ] G = 1 M g = 0 u = 0 N 1 M 1 K 1 K 1 ! N s M s K s K s ! A N 1 , K 1 ; ; N s , K s c 1 K 1 c s K s × ( 1 ) g Ω P i , Q i , c i , r M , N η G , g B G g ! z η G , g γ + 1 2 u γ + 1 u β + 1 2 u u ! c ρ ψ η G , g + i = 1 s K i ρ i × p i + 2 , q i + 2 , τ i ; R : W ; 0 , 1 0 , n + 2 : V ; 1 , 0 c 1 z 1 c r z r x k c 1 ρ + ψ η G , g i = 1 s K i ρ i : 1 , , r , 1 , 1 ρ + ψ η G , g i = 1 s K i ρ i : 1 , , r , 0 , λ u + h η G , g i = 1 s K i u i : h 1 , , h r , 0 , A 1 1 λ u + h η G , g i = 1 s K i u i : h 1 , , h r , 0 , B 1 ,
where A 1 and B 1 are given by Equations (25a) and (25b), respectively. The above relation satisfies the same conditions of validity that are stated for the multiple Aleph-function in Theorem 1 for Equation (24).
Corollary 2.
If we set β = α + 1 2 and ν = α + 1 2 (where ν is a nonnegative integer) in (29), we obtain:
0 1 x λ x k + c ρ 1 x ν S N 1 , , N s M 1 , , M s c 1 x u 1 x k + c ρ 1 c s x u s x k + c ρ s P i , Q i , c i ; r M , N ) z x h x k + c ψ × z 1 x h 1 x k + c 1 z r x h r ( x k + c ) r d x = K 1 = 0 [ N 1 / M 1 ] K s = 0 [ N s / M s ] G = 1 M g = 0 u = 0 N 1 M 1 K 1 K 1 ! N s M s K s K s ! A N 1 , K 1 ; ; N s , K s c 1 K 1 c s K s × ( 1 ) g Ω P i , Q i , c i , r M , N η G , g B G g ! z η G , g ν u u ! c ρ ψ η G , g + i = 1 s K i ρ i × p i + 2 , q i + 2 , τ i ; R : W ; 0 , 1 0 , n + 2 : V ; 1 , 0 c 1 z 1 c r z r x k c 1 ρ + ψ η G , g i = 1 s K i ρ i : 1 , , r , 1 , 1 ρ + ψ η G , g i = 1 s K i ρ i : 1 , , r , 0 , λ u + h η G , g i = 1 s K i u i : h 1 , , h r , 0 , A 1 1 λ u + h η G , g i = 1 s K i u i : h 1 , , h r , 0 , B 1 ,
where (as in Corollary (2)) A 1 and B 1 are both defined in Equations (25a) and (25b), respectively, and satisfy the same conditions of validity that are stated for Formula (24) (see Theorem 1).
Remark 2.
If the Aleph-function and the multivariable Aleph-function reduce to the Fox H-function [16] (see Equation (19)) and to the multivariable H-function (11), respectively [8,9], then the recent results of Ghiya et al. [17] follow as a consequence.

4. Concluding Remarks

In this paper, we studied and presented results associated with the product of Aleph-functions, multivariable Aleph-functions, and the general class of polynomials defined in (22). The one-variable and multivariable Aleph-functions expressed herein are relatively basic and quite general in nature. Therefore, some suitable adjustments of the parameters of multivariable Aleph-functions and the general class of polynomials make it possible to obtain various other special functions (such as the I-function, the Fox H-function, Meijer’s G-function, etc.; see, e.g., [6]) involving a large variety of polynomials. Some of the issues of the main theorem have been already discussed here as special cases in the form of corollaries; they lead to significant applications in physics and engineering sciences.

Author Contributions

Conceptualization, D.K., F.A., S.A. and J.T.; methodology, D.K., F.A., S.A. and J.T.; formal analysis, D.K., F.A., S.A. and J.T.; funding acquisition, J.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by King Mongkut’s University of Technology North Bangkok, Contract No. KMUTNB-GRAD-59-02.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Südland, D.L.; Habenom, H.; Tadesse, H. Open problem: Who knows about the Aleph-functions? Fract. Calc. Appl. Anal. 1998, 1, 401–402. [Google Scholar]
  2. Saxena, R.K.; Pogány, T.K. On fractional integration formula for Aleph-functions. Appl. Math. Comput. 2011, 218, 985–990. [Google Scholar]
  3. Choi, J.; Kumar, D. Certain unified fractional integrals and derivatives for a product of Aleph-function and a general class of multivariable polynomials. J. Inequal. Appl. 2014, 2014, 15. [Google Scholar] [CrossRef] [Green Version]
  4. Kumar, D.; Ram, J.; Choi, J. Certain generalized integral formulas involving Chebyshev Hermite polynomials, generalized M-Series and Aleph-function, and their application in heat conduction. Int. J. Math. Anal. 2015, 9, 1795–1803. [Google Scholar] [CrossRef] [Green Version]
  5. Saxena, R.K.; Kumar, D. Generalized fractional calculus of the Aleph-function involving a general class of polynomials. Acta Math. Sci. 2015, 35, 1095–1110. [Google Scholar] [CrossRef]
  6. Suthar, N.; Baumann, B.; Nonnenmacher, T.F. Integrals involving Aleph-functions and Wright’s generalized hypergeometric function. Int. J. Adv. Res. Math. 2017, 5, 20–26. [Google Scholar] [CrossRef] [Green Version]
  7. Sharma, C.K.; Ahmad, S.S. On the multivariable I-function. Acta Cienc. Indica Math. 1994, 20, 113–116. [Google Scholar]
  8. Srivastava, H.M.; Panda, R. Some expansion theorems and generating relations for the H-function of several complex variables. Comment. Math. Univ. St. Paul. 1975, 24, 119–137. [Google Scholar]
  9. Srivastava, H.M.; Panda, R. Some bilateral generating function for a class of generalized hypergeometric polynomials. J. Reine Angew. Math. 1976, 283–284, 265–274. [Google Scholar]
  10. Ayant, F.Y. An integral associated with the Aleph-functions of several variables. Int. J. Math. Trends Technol. 2016, 31, 142–154. [Google Scholar] [CrossRef]
  11. Mathai, A.M.; Saxena, R.K.; Haubold, H.J. The H-Function: Theory and Applications; Springer: New York, NY, USA, 2010. [Google Scholar]
  12. Chaurasia, V.B.L.; Singh, Y. New generalization of integral equations of fredholm type using Aleph-function. Int. J. Mod. Math. Sci. 2014, 9, 208–220. [Google Scholar]
  13. Srivastava, H.M. A multilinear generating function for the Konhauser set of biorthogonal polynomials suggested by Laguerre polynomial. Pac. J. Math. 1985, 177, 183–191. [Google Scholar] [CrossRef] [Green Version]
  14. Srivastava, H.M.; Singh, N.P. The integration of certain products of the multivariable H-function with a general class of polynomials. Rend. Circ. Mat. Palermo 1983, 32, 157–187. [Google Scholar] [CrossRef]
  15. Slater, L.J. Generalized Hypergeometric Functions; Cambridge University Press: Cambridge, UK, 1966. [Google Scholar]
  16. Srivastava, H.M.; Gupta, K.C.; Goyal, S.P. The H-Function of One and Two Variables with Applications; South Asian Publishers: New Delhi, India, 1982. [Google Scholar]
  17. Ghiya, N.; Shivakumar, N.; Patil, V. Theorem pertaining to some product of special functions. Int. J. Math. Phys. Sci. Res. 2016, 3, 33–36. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Kumar, D.; Ayant, F.; Asawasamrit, S.; Tariboon, J. Certain Finite Integrals Related to the Products of Special Functions. Symmetry 2021, 13, 2013. https://doi.org/10.3390/sym13112013

AMA Style

Kumar D, Ayant F, Asawasamrit S, Tariboon J. Certain Finite Integrals Related to the Products of Special Functions. Symmetry. 2021; 13(11):2013. https://doi.org/10.3390/sym13112013

Chicago/Turabian Style

Kumar, Dinesh, Frédéric Ayant, Suphawat Asawasamrit, and Jessada Tariboon. 2021. "Certain Finite Integrals Related to the Products of Special Functions" Symmetry 13, no. 11: 2013. https://doi.org/10.3390/sym13112013

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop