Next Article in Journal
Superconvergent Nyström and Degenerate Kernel Methods for Integro-Differential Equations
Next Article in Special Issue
Finite and Infinite Hypergeometric Sums Involving the Digamma Function
Previous Article in Journal
Geometry of Solutions of the Quasi-Vortex Filament Equation in Euclidean 3-Space E3
Previous Article in Special Issue
A Note on Some Reduction Formulas for the Incomplete Beta Function and the Lerch Transcendent
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Extended Beta and Gamma Matrix Functions via 2-Parameter Mittag-Leffler Matrix Function

1
Department of Mathematics, Anand International College of Engineering, Jaipur 303012, India
2
Department of Mathematics and Computer Science, Faculty of Informatics and Sciences, University of Oradea, 1 Universității Str., 410087 Oradea, Romania
3
Department of Mathematics, Poornima College of Engineering, Jaipur 302022, India
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(6), 892; https://doi.org/10.3390/math10060892
Submission received: 24 January 2022 / Revised: 27 February 2022 / Accepted: 1 March 2022 / Published: 11 March 2022
(This article belongs to the Special Issue New Trends in Special Functions and Applications)

Abstract

:
The main aim of this article is to study an extension of the Beta and Gamma matrix functions by using a two-parameter Mittag-Leffler matrix function. In particular, we investigate certain properties of these extended matrix functions such as symmetric relation, integral representations, summation relations, generating relation and functional relation.

1. Introduction and Preliminaries

The theory of special matrix functions has been introduced by Jó and Cortés [1,2] and they proved some basic and important properties of the Gamma and Beta matrix functions and a limit expression for the Gamma function of a matrix. After some time using these results, they also studied the hypergeometric function with matrix arguments. Motivated by the investigations of the extended Gamma, Beta, and Gauss hypergeometric matrix functions given in [1,2] many researchers [3,4,5,6,7] were attracted to work in the field of special functions with matrix arguments. Its study has become important both from a theoretical and applied point of view. Special matrix functions are found in the solutions for some physical problems and applications of these functions also increased in the statistics [8], Lie group theory [9] and differential equations. In mathematical physics, theoretical physics and the emerging theory of orthogonal matrix polynomials [10,11,12], these special matrix functions play a vital role due to their applications. Matrix extensions of some known classical special functions have become an important topic of research during recent years. To discuss our main results we require prior knowledge of some special matrix functions.
Throughout the paper, let I and O denote the Identity matrix and Zero matrix in C r × r , respectively, and where C r × r is vector space of r-square matrices with complex entries. For a matrix B C r × r , the spectrum is denoted by σ ( B ) and it is the set of all eigenvalues of the matrix B. A matrix B C r × r is a positive stable matrix if ( μ ) > 0 μ σ ( B ) .
Gamma matrix function is defined as [1]:
Γ ( B ) = 0 e t t B I d t ,
here, B is a positive stable matrix in C r × r .
In addition, if B + kI is invertible matrix ∀ k 0 , then the reciprocal Gamma matrix function is defined as [1]:
Γ 1 ( B ) = B ( B + I ) ( B + ( n 1 ) I ) Γ 1 ( B + n I ) , n 1 .
Pochammer Matrix symbol is defined as [2]:
( B ) n = I , i f n = 0 , B ( B + I ) ( B + ( n 1 ) I ) , i f n 1 .
From the above definition of Pochammer Matrix symbol and Equation (2), we can observe that:
( B ) n = Γ 1 ( B ) Γ ( B + n I ) , n 1 .
Beta matrix function is defined as [1]:
B ( P , Q ) = 0 1 t P I ( 1 t ) Q I d t ,
here, P and Q are positive stable matrices in C r × r .
In addition, if P, Q and P + Q are positive stable matrices in C r × r and P and Q are commutative with each other, i.e., PQ = QP , then
B ( P , Q ) = Γ ( P ) Γ ( Q ) Γ 1 ( P + Q ) .
In 2013, Çekim [3], studied generalizations of Euler’s Beta, Gamma, hypergeometric and confluent hypergeometric matrix functions, and recurrence relations and integral representations are derived for these extended matrix functions. Some properties such as transformation formulas, recurrence relations and integral representations are obtained for extended matrix functions.
Generalised Gamma and Beta matrix functions are given as [3]:
Γ ( P , r ) = 0 t P I e ( t r t ) d t , B ( P , Q ; r ) = 0 1 t P I ( 1 t ) Q I e r t ( 1 t ) d t ,
here, P, Q, and R are positive stable matrices in C r × r and r > 0 .
Later in 2014, Altin et al. [7] studied the matrix version of the Appell hypergeometric functions and its properties. They also derived matrix differential equations, and integral representation satisfied the F 1 matrix function.
In 2016, motivated by the above work, Abdalla et al. [4] extended the Gamma and Beta matrix functions and studied some important properties.
Extended Gamma matrix function is defined as [4]:
Γ R ( B ) = 0 t B I e ( t I R t ) d t ,
here, B and R are positive stable matrices in C r × r .
Extended Beta matrix function is defined as [4]:
B ( P , Q ; R ) = 0 1 t P I ( 1 t ) Q I e R t ( 1 t ) d t ,
here, P, Q, and R are positive stable matrices in C r × r .
Remark 1.
If we set R = O in above Equations (8) and (9), then we obtain Gamma matrix function (1), and Beta matrix function (5), respectively:
Γ O ( B ) = Γ ( B ) ,
and
B ( P , Q ; O ) = B ( P , Q ) .
In the above extensions, Abdalla et al. have used an exponential matrix function as a regulator to extend Gamma matrix function and Beta matrix function. They have introduced the exponential matrix function as a kernel in definitions of Gamma matrix function and Beta matrix function.
In 2018, Garrappa et al. [5] computed Mittag-Leffler function with matrix arguments, with some applications in fractional calculus.
Two-parameter Mittag-Leffler matrix function is defined as [5]:
E ( α 1 , α 2 ) ( B ) = n = 0 B n Γ ( α 1 n + α 2 ) ,
here, B is a positive stable matrix in C r × r and ( α 1 ) , ( α 2 ) > 0 .
Very recently, Verma and Dwivedi [13], inspired by certain extensions of the special matrix functions, introduced new extensions of Gamma and Beta matrix function by using a confluent hypergeometric matrix function.
Γ P , Q ( R ) ( X ) = 0 t X I 1 F 1 ( P , Q ; t I R t 1 ) d t , B P , Q ( R ) ( X , Y ) = 0 1 t X I ( 1 t ) Y I 1 F 1 P , Q ; R t ( 1 t ) d t ,
here, P, Q, and R are positive stable matrices in C r × r .

2. Main Results

In this section, inspired and motivated by the above certain extensions of the special matrix functions, we introduce new extensions of Gamma and Beta matrix functions by using a two-parameter Mittag-Leffler matrix function as a kernel in integral representations of these functions, and we discuss some basic properties of these extended matrix functions.
Definition 1.
Let P and R be positive stable matrices in C r × r , then, the new extension of Gamma function is defined as:
Γ α 1 , α 2 ( R ) ( P ) = 0 t P I E ( α 1 , α 2 ) t I R t d t ,
here, ( α 1 ) , ( α 2 ) > 0 and E ( α 1 , α 2 ) ( B ) is two-parameter Mittag-Leffler matrix function.
Definition 2.
Let P, Q and R be positive stable matrices in C r × r , then the new extension of Beta matrix function is defined as:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 t P I ( 1 t ) Q I E ( α 1 , α 2 ) R t ( 1 t ) d t ,
here, ( α 1 ) , ( α 2 ) > 0 and E ( α 1 , α 2 ) ( B ) is two-parameter Mittag-Leffler matrix function.
Remark 2.
(i) If we set α 1 = α 2 = 1 in Equations (14) and (15), then we obtain the extended Gamma matrix function (8), and extended Beta matrix function (9), respectively:
Γ 1 , 1 ( R ) ( P ) = Γ R ( P ) ,
and
B ( 1 , 1 ) ( R ) ( P , Q ) = B ( P , Q ; R ) .
(ii) If we take α 1 = α 2 = 1 and R = O in Equations (14) and (15), then we obtain the Gamma matrix function (1), and Beta matrix function (5), respectively:
Γ 1 , 1 ( O ) ( P ) = Γ ( P ) ,
and
B ( 1 , 1 ) ( O ) ( P , Q ) = B ( P , Q ) .
In [1], it has been shown that if P and Q are positive stable matrices in C r × r such that if they do not commute, then the property B ( P , Q ) = B ( Q , P ) does not hold true, with a similar argument, the following result are easy to prove.
Theorem 1.
For the positive stable matrices P, Q and R such that P Q = Q P , the new extended Beta matrix function satisfies the symmetric relation
B ( α 1 , α 2 ) ( R ) ( P , Q ) = B ( α 1 , α 2 ) ( R ) ( Q , P ) ,
provided ( α 1 ) , ( α 2 ) > 0 .
Proof. 
From the definition of new extended Beta matrix function, we have:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 t P I ( 1 t ) Q I E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, putting t = 1 u in above equation, we obtain:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 u Q I ( 1 u ) P I E ( α 1 , α 2 ) R u ( 1 u ) d u .
Then, from Equation (15), we obtain our desired result.
B ( α 1 , α 2 ) ( R ) ( P , Q ) = B ( α 1 , α 2 ) ( R ) ( Q , P ) .
Hence, the proof of Theorem 1 is completed. □
Theorem 2.
For the positive stable matrices P, Q and R, the new extended Beta matrix function satisfies the functional relation
B ( α 1 , α 2 ) ( R ) ( P , Q ) = B ( α 1 , α 2 ) ( R ) ( P , Q + I ) + B ( α 1 , α 2 ) ( R ) ( P + I , Q ) ,
provided ( α 1 ) , ( α 2 ) > 0 .
Proof. 
To prove our result, consider the right-hand side of the Equation (24), and using the definition of the new extended Beta function, we obtain:
B ( α 1 , α 2 ) ( R ) ( P , Q + I ) + B ( α 1 , α 2 ) ( R ) ( P + I , Q ) = 0 1 t P I ( 1 t ) Q E ( α 1 , α 2 ) R t ( 1 t ) d t + 0 1 t P ( 1 t ) Q I E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, after re-arrangements of terms, we have:
B ( α 1 , α 2 ) ( R ) ( P , Q + I ) + B ( α 1 , α 2 ) ( R ) ( P + I , Q ) = 0 1 t I + ( 1 t ) I t P ( 1 t ) Q E ( α 1 , α 2 ) R t ( 1 t ) d t .
On some calculations, we have:
B ( α 1 , α 2 ) ( R ) ( P , Q + I ) + B ( α 1 , α 2 ) ( R ) ( P + I , Q ) = 0 1 t P I ( 1 t ) Q I E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, from the definition of the new extended Beta matrix function (15), we obtain our desired result.
B ( α 1 , α 2 ) ( R ) ( P , Q ) = B ( α 1 , α 2 ) ( R ) ( P , Q + I ) + B ( α 1 , α 2 ) ( R ) ( P + I , Q ) .
Hence, the proof of Theorem 2 is completed. □
Theorem 3.
For the positive stable matrices P, Q and R, the new extended Beta matrix function satisfies the summation relation
B ( α 1 , α 2 ) ( R ) ( P , Q ) = n = 0 B ( α 1 , α 2 ) ( R ) ( P + n I , Q + I )
provided ( α 1 ) , ( α 2 ) > 0 .
Proof. 
From the definition of the new extended Beta matrix function, we have:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 t P I ( 1 t ) Q I E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, after re-arrangement, we obtain:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 t P I ( 1 t ) Q ( 1 t ) I E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, using matrix identity ( 1 t ) I = n = 0 t n I in above equation, we obtain:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 t P I ( 1 t ) Q n = 0 t n I E ( α 1 , α 2 ) R t ( 1 t ) d t .
On changing the order of integration and summation and re-arranging the terms, we have:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = n = 0 0 1 t P + n I I ( 1 t ) Q E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, from definition of the new extended Beta matrix function (15), we obtain our desired result.
B ( α 1 , α 2 ) ( R ) ( P , Q ) = n = 0 B ( r 1 , r 2 ) ( R ) ( P + n I , Q + I ) .
Hence, the proof of Theorem 3 is completed. □
Theorem 4.
For the positive stable matrices P, Q, R, and I-Q, the new extended Beta matrix function satisfies the another summation relation
B ( α 1 , α 2 ) ( R ) ( P , I Q ) = n = 0 ( Q ) n n ! B ( α 1 , α 2 ) ( R ) ( P + n I , I )
provided ( α 1 ) , ( α 2 ) > 0 .
Proof. 
From the definition of the new extended Beta matrix function, we have:
B ( α 1 , α 2 ) ( R ) ( P , I Q ) = 0 1 t P I ( 1 t ) Q E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, using matrix identity ( 1 t ) Q = n = 0 ( Q ) n n ! t n I in above equation, we obtain:
B ( α 1 , α 2 ) ( R ) ( P , I Q ) = 0 1 t P I n = 0 ( Q ) n n ! t n I E ( α 1 , α 2 ) R t ( 1 t ) d t .
On interchanging the order of integration and summation and re-arranging the terms, we have:
B ( α 1 , α 2 ) ( R ) ( P , I Q ) = n = 0 ( Q ) n n ! 0 1 t P + n I I E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, from definition of the new extended Beta matrix function (15), we obtain our desired result.
B ( α 1 , α 2 ) ( R ) ( P , I Q ) = n = 0 ( Q ) n n ! B ( α 1 , α 2 ) ( R ) ( P + n I , I ) .
Hence, the proof of Theorem 4 is completed. □
Theorem 5.
For the positive stable matrices P, Q and R, the new extended Beta matrix function satisfies the another integral representation as follows:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 2 0 π 2 cos ( x ) 2 P I sin ( x ) 2 Q I E ( α 1 , α 2 ) R cos 2 ( x ) sin 2 ( x ) d x ,
provided ( α 1 ) , ( α 2 ) > 0 .
Proof. 
On substituting t = cos 2 ( x ) and using the definition of the new extended Beta matrix function (15), we obtain our desired result of Theorem 5. □
Theorem 6.
For the positive stable matrices P, Q and R, the new extended Beta matrix function satisfies the another integral representation as follows:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 2 0 π 2 sin ( x ) 2 P I cos ( x ) 2 Q I E ( α 1 , α 2 ) R cos 2 ( x ) sin 2 ( x ) d x ,
provided ( α 1 ) , ( α 2 ) > 0 .
Proof. 
On taking t = sin 2 ( x ) and using the definition of new extended Beta matrix function (15), we obtain our desired result of Theorem 6. □
Theorem 7.
For the positive stable matrices P, Q and R, the new extended Beta matrix function satisfies the another integral representation as follows:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 u P I ( 1 + u ) P + Q E ( α 1 , α 2 ) 2 R R u + 1 u d u ,
provided ( α 1 ) , ( α 2 ) > 0 .
Proof. 
On letting t = u 1 + u and using the definition of the new extended Beta matrix function (15), we obtain our desired result of Theorem 7. □
Theorem 8.
Generating relation for the new extended Beta matrix function
B ( α 1 , α 2 ) ( R ) ( P , Q ) = n = 0 ( R ) n Γ ( α 1 n + α 2 ) B ( P n I , Q n I ) ,
provided, P, Q and R are positive stable matrices and ( α 1 ) , ( α 2 ) > 0 .
Proof. 
From the definition of the new extended Beta matrix function, we have:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 t P I ( 1 t ) Q I E ( α 1 , α 2 ) R t ( 1 t ) d t .
Then, using the definition of two-parameter Mittag-Leffler function (12) in the above equation, we obtain:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = 0 1 t P I ( 1 t ) Q I n = 0 ( R ) n t n ( 1 t ) n Γ ( α 1 n + α 2 ) d t .
On interchanging the order of integration and summation, we have:
B ( α 1 , α 2 ) ( R ) ( P , Q ) = n = 0 ( R ) n Γ ( α 1 n + α 1 ) 0 1 t P n I I ( 1 t ) Q n I I d t .
After using the definition of the new extended Beta matrix function (15), we obtain our desired result.
B ( α 1 , α 2 ) ( R ) ( P , Q ) = n = 0 ( R ) n Γ ( α 1 n + α 2 ) B ( P n I , Q n I ) .
Hence, the proof of Theorem 8 is completed. □

3. Concluding Remarks

We conclude our analysis by remarking that the results presented in this paper are new and potentially useful. First, we have introduced new extensions of Gamma and Beta matrix functions by using the two-parameter Mittag-Leffler matrix function. Then, we investigated some important properties of these extended matrix functions. The results presented in this paper find an interesting application in the evaluation of certain infinite integrals whose specialised forms arise frequently in a number of applied problems.

Author Contributions

Conceptualization, R.G. and P.A.; methodology, P.A.; software, R.G.; validation, R.G., G.I.O., P.A. and S.J.; formal analysis, G.I.O.; investigation, G.I.O.; resources, P.A.; data writing—original draft preparation, P.A.; writing—review and editing, R.G., P.A.; visualization, P.A.; project administration, P.A.; funding acquisition, P.A. All authors have read and agreed to the published version of the manuscript.

Funding

Praveen Agarwal was very thankful to the SERB (project TAR/2018/000001), DST (project DST/INT/DAAD/P-21/2019, INT/RUS/RFBR/308) and NBHM (project 02011/12/ 2020NBHM(R.P)/ R&D II/7867) for their necessary support. Rahul Goyal also thankful for theNBHM(project 02011/12/ 2020NBHM(R.P)/R&D II/7867) for their necessary support.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Jódar, L.; Cortés, J.C. Some Properties of Gamma and Beta Matrix Functions. Appl. Math. Lett. 1998, 2, 89–93. [Google Scholar] [CrossRef] [Green Version]
  2. Jódar, L.; Cortés, J.C. On the hypergeometric matrix function. J. Comput. Appl. Math. 1998, 99, 205–217. [Google Scholar] [CrossRef] [Green Version]
  3. Çekim, B. Generalized Euler’s beta matrix function and related functions. AIP Conf. Proc. 2013, 1558, 1132–1135. [Google Scholar]
  4. Abdalla, M.; Bakhet, A. Extension of Beta matrix function. Asian J. Math. Comput. Res. 2016, 9, 253–264. [Google Scholar]
  5. Garrappa, R.; Popolizio, M. Computing the matrix Mittag-Leffler function with applications to fractional calculus. J. Sci. Comput. 2018, 77, 129–153. [Google Scholar] [CrossRef] [Green Version]
  6. Abdalla, M. Special matrix functions: Characteristics, achievements and future directions. Linear Multilinear Algebra 2020, 68, 1–28. [Google Scholar] [CrossRef]
  7. Altin, A.; Çekim, B.; Şahin, R. On the matrix versions of Appell hypergeometric functions. Quaest. Math. 2014, 37, 31–38. [Google Scholar] [CrossRef]
  8. Constantine, A.G.; Mairhead, R.J. Partial differential equations for hypergeometric function of two argument matrix. J. Mutivar. Anal. 1972, 3, 332–338. [Google Scholar] [CrossRef] [Green Version]
  9. Miller, W. Lie Theory and Specials Functions; Academic Press: New York, NY, USA, 1968. [Google Scholar]
  10. Geronimo, J.S. Scattering theory and matrix orthogonal polynomials on the real line. Circuits Syst. Signal Process. 1982, 1, 471–495. [Google Scholar] [CrossRef]
  11. Gohberg, I.; Lancaster, P.; Rodman, L. Matrix Polynomials; Academic Press: New York, NY, USA, 1982. [Google Scholar]
  12. James, A.T. Special functions of matrix and single argument in statistics. In Theory and Application of Special Functions; Askey, R.A., Ed.; Academic Press: New York, NY, USA, 1975. [Google Scholar]
  13. Verma, A.; Dwivedi, R. On the matrix version of new extended Gauss, Appell and Lauricella hypergeometric functions. arXiv 2021, arXiv:2108.11310. [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

Goyal, R.; Agarwal, P.; Oros, G.I.; Jain, S. Extended Beta and Gamma Matrix Functions via 2-Parameter Mittag-Leffler Matrix Function. Mathematics 2022, 10, 892. https://doi.org/10.3390/math10060892

AMA Style

Goyal R, Agarwal P, Oros GI, Jain S. Extended Beta and Gamma Matrix Functions via 2-Parameter Mittag-Leffler Matrix Function. Mathematics. 2022; 10(6):892. https://doi.org/10.3390/math10060892

Chicago/Turabian Style

Goyal, Rahul, Praveen Agarwal, Georgia Irina Oros, and Shilpi Jain. 2022. "Extended Beta and Gamma Matrix Functions via 2-Parameter Mittag-Leffler Matrix Function" Mathematics 10, no. 6: 892. https://doi.org/10.3390/math10060892

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