![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
This work aims to introduce -Appell hypergeometric matrix functions
and
, where
. New relations for these functions, such as the integral representation, important transformation formulas, infinite matrix summation and reduction formulas, are also presented. Finally, new results of the differential formulas associated with
-Appell hypergeometric matrix functions
are derived.
1. Introduction and preliminaries
Special functions play an important role in solving several problems in analysis, mathematical sciences, mathematical physics, engineering [Citation1–5] and many applications because they represent the solutions of many famous differential equations. Specifically, Appell hypergeometric functions exist in several physical, chemical and engineering applications [Citation6–11] and the exact solution of several problems in quantum mechanics is explored using Appell’s function [Citation12,Citation13]. Poul Appell introduced the Appell hypergeometric series of two variables that generalize the Gauss hypergeometric series
of one variable in 1880.
Jodar and Cortes [Citation14] investigated gamma and beta matrix function properties. Abdalla et al. [Citation15] defined the extended gamma and beta matrix functions. Rahul Goyal et al. [Citation16] studied the extended gamma and beta matrix functions using a two-parameters Mittag-Leffler matrix function. Mubeen et al. [Citation17] introduced the -gamma and
-beta matrix functions. Khammash et al. [Citation18] introduced extended
-gamma and
-beta matrix functions. Many scholars have analysed these functions in recent years. Ravi Dwivedi et al. [Citation19] defined Appell’s hypergeometric matrix functions and discussed integral representations and regions of convergence. Ravi Dwivedi and Vivek Sahai [Citation20] presented infinite matrix summation formulas involving Appell matrix functions. M. Hidan and M. Abdalla [Citation21] discussed integral representations, transformation formulas, and series formulas for the second Appell hypergeometric matrix function. M. Abdalla et al. [Citation22] explored limit, some differentiation, summation and recursion formulas involving the second Appell function. Abdullah Altin et al. [Citation23] derived the integral representation and demonstrated that matrix differential equations satisfy the first Appell hypergeometric matrix functions. H. Abd-Elmageed et al. [Citation24] discussed generating matrix functions, recursion formulas, contiguous relations, differentiations and series for the first Appell hypergeometric matrix function. Verma and Yadav [Citation25] introduced the incomplete second Appell hypergeometric matrix functions. This study aims to introduce and investigate
-Appell hypergeometric matrix functions using the definition of the
-Pochhammer symbol matrix and
-gamma matrix function as well as analyse integral representations, differential formulas, transformation formulas, and infinite matrix summation formulas. The structure of this paper is organized as follows. We introduce the
-Appell hypergeometric matrix functions
using
-Pochhammer matrix symbols in Section 2. We provide integral representations for
-Appell hypergeometric matrix functions in Section 3. We prove the transformation, infinite matrix summation formulas and some reduction formulas to demonstrate the relations for
-hypergeometric matrix functions and
-Appell matrix functions in Sections 4 and 5. Differentiation formulas for
-Appell hypergeometric matrix functions
are derived in Section 6.
Throughout the paper, we use of the following notations:
= | Denotes the vector space of | |
= | Denotes the matrices in | |
= | Denotes the complex variables. | |
= | Denotes the positive real number. | |
= | Denotes the positive natural number. | |
= | Denotes the spectrum of the matrix | |
= | Denotes the Gauss hypergeometric matrix function. | |
= | Denotes the | |
= | Denotes generalized hypergeometric matrix functions. | |
= | Denotes the Pochhammer symbol of the matrix argument. | |
= | Denotes the Pochhammer | |
= | Denotes the | |
= | Denotes the | |
= | Denotes the first Appell hypergeometric matrix functions of two variables. | |
= | Denotes the first | |
= | Denotes the second Appell hypergeometric matrix functions of two variables. | |
= | Denotes the second | |
= | Denotes the third Appell hypergeometric matrix functions of two variables. | |
= | Denotes the third | |
= | Denotes the fourth Appell hypergeometric matrix functions of two variables. | |
= | Denotes the fourth |
The generalized hypergeometric matrix functions are defined as follows [Citation19]:
(1)
(1) where
are matrices in
Let
and
be finite positive integers, such that
is an invertible matrix for all integrals
.
Remark 1.1:
We obtain the following Gauss hypergeometric function given the special case of Equation (2), when and
[Citation14]:
(2)
(2) where
is the Pochhammer symbol of a matrix argument and expressed as
(3)
(3) Let
be a vector space of
-square matrices with
rows and
columns where entries are complex numbers
. The
and
denote the imaginary and real parts of
, respectively. For any matrix
in
,
denotes the spectrum of the matrix
and
the set of all eigenvalues of
and defined in [Citation14] as follows:
(4)
(4) where
is referred to as the spectral abscissa of matrix
and
. The square matrix
is considered positive stable if and only if
,
.
A matrix norm is the vector norm on . ||
|| denotes the norm of the matrix
and the 2-norm for vectors is defined as follows:
(5)
(5) where
is any vector in the
complex plane,
is a Euclidean norm of
, and
denotes the transposed conjugate of
.
and
stand for the null and identity matrices in
, respectively. Let
matrix in
is an open set of the complex plan with
, if
are holomorphic functions of a complex variable
, which are defined in
then from the properties of the matrix functional calculus (see [Citation26,p.558]), it follows that
. Furthermore, in [Citation27], if the
matrix in
, which
, and if
, then
.
According to [Citation17], let be the Pochhammer
-symbol of the matrix argument given by
(6)
(6)
Proposition 1.1:
[Citation28] The following identity holds for any and
be matrix in
:
(7)
(7) where
is the Pochhammer
-symbol of the matrix argument defined in Equation (6).
Definition 1.1:
Let and
be two positive stable matrices in
. The integral representation of the
-gamma matrix function
and the
-beta matrix function
defined by Mubeen et al. [Citation17], for
, is as follows:
(8)
(8) Since the reciprocal
-gamma function denoted by
is an entire function of the complex variable
. For any matrix
in
the image of
acting on
, denoted by
, is the well-defined matrix for
. Moreover, according to Mubeen et al. [Citation29], if
is a matrix in
such that
(9)
(9) Then, by application of the matrix functional calculus,
is invertible and its inverse coincides with
and
(10)
(10) where
.
The relation between the Pochhammer -symbol of the matrix argument and the
-gamma matrix function is expressed as follows [Citation17]:
(11)
(11) The matrices
and
are positive stable matrices and commuting matrices in
(diagonalizable matrices such that
) so that
and
are the invertible matrices for every integer
and
. Then, we have [Citation17]
(12)
(12)
Mubeen et al. [Citation17] proved that the generalized
-gamma matrix function for any positive stable matrix
in
is
(13)
(13) where
is an integer,
and
is the identity matrix.
Definition 1.2:
Let be matrices in
, such that
is the invertible matrix for all integrals
. Then, we define the
-hypergeometric matrix functions as follows [Citation28]:
(14)
(14) Appell hypergeometric matrix functions have been extensively investigated in recent years (see, [Citation19–24,Citation30–35]).
2. κ-Appell hypergeometric matrix function
We introduce the -Appell matrix functions of two variables in this section.
Definition 2.1:
Let ,
be matrices in
, such that
are invertible matrices for all integrals
. We then define the
-Appell hypergeometric matrix functions as follows:
(15)
(15)
(16)
(16)
(17)
(17)
(18)
(18) where
, respectively.
Remark 2.1:
The special cases of -Appell matrix functions in Definition 2.1 are presented as follows:
(1) When , then
-Appell matrix functions
,
reduces to Appell matrix functions
,
in [Citation19,Citation23,Citation36], as following form
(19)
(19)
(20)
(20)
(21)
(21)
(22)
(22) where
, respectively.
,
are matrices in
, such that
are invertible matrices for all integrals
.
(2) Definition 2.1 can be rewritten using Equations (6) and (14) as follows:
(23)
(23)
(24)
(24)
(25)
(25)
(26)
(26) where
respectively.
Theorem 2.1:
Relationships between -Appell hypergeometric matrix functions and original Appell hypergeometric matrix functions are expressed as follows:
(27)
(27)
(28)
(28)
(29)
(29)
(30)
(30)
Proof. These relationships are direct consequences of the definition of the -Appell hypergeometric matrix functions and property
.
3. Integral representation
The integral representations for -Appell hypergeometric matrix functions
,
, where
, are provided in this section.
Theorem 3.1:
Let be matrices in
, such that
,
is an invertible matrix for all integrals
. Suppose that
are positively stable, and
, then the integral representations of
for
are defined as follows
(31)
(31)
Proof
. Let be positive stable,
. We then obtain the following formula using Equations (7) and (12):
(32)
(32) We also obtain the following formula using Equations (7), (15), and (32):
(33)
(33)
Remark 3.1:
We obtain the integral representation of Appell’s in ([Citation23,Citation36]) when
in Theorem 3.1.
Theorem 3.2:
Let be matrices in
, such that
and
are invertible matrices for all integrals
. Suppose that
and
are commutative matrices in
and
. Suppose that
are positive stable for every integral
, then the integral representation of
is defined as follows
(34)
(34)
Proof.
The following equation is according to the definition of the -Pochhammer matrix symbol and using Equation (7):
(35)
(35) We can rewrite Equation (35) in the following form:
(36)
(36) We then obtain the following equation using Equation (36) in Equation (16):
Remark 3.2:
We obtain the integral representation of the second Appell hypergeometric matrix function in [Citation19] when
.
Theorem 3.3:
Let be matrices in
, such that
and
are invertible matrices for all integrals
. Suppose that
and
are commutative matrices in
, then
. The integral representation of
for
is defined as follows:
(37)
(37)
Proof.
Replacing the integral representation of the -Pochhammer matrix symbol, which is attained from (8) and (11) in place of
in Equation (16), we get
(38)
(38) This equation can be rewritten as follows:
(39)
(39)
Remark 3.3:
When then we get the integral representation of the second Appell hypergeometric matrix function
in [Citation21].
Theorem 3.4:
Let be matrices in
, such that
is the invertible matrix for all integrals
. Suppose that
and
are commutative matrices in
, then the integral representations of
is defined as follows:
(40)
(40) where
Remark 3.4:
When then we get the integral representation of the Appell hypergeometric matrix function
in [Citation19].
Theorem 3.5:
Let be matrices in
, such that
is invertible matrix for all integrals
. Suppose that
and
are commutative matrices in
, then the integral representations of
is defined as follows:
(41)
(41) Formulas in Equations (40) and (41) can be proven in a similar way; hence, the details are omitted.
4. Transformation formulas
We intend to derive transformation formulas involving the -Appell functions
and
in the matrix setting.
Theorem 4.1:
For and
are commutative matrices in
with
is invertible matrix for all integrals
. Suppose that
are positive stable, and
. For the matrix function
, we have the following transformations:
(42)
(42)
(43)
(43)
(44)
(44) where
,
,
;
,
, respectively.
Proof.
We proved only Equation (42), since the others Equations (43) and (44) can be proven similarly.
Substituting in the Equations (31) and (12) to obtain the following equation:
(45)
(45) Furthermore, we can prove Equations (43) and (44) using the same argument proof of Equation (42) by substituting
and
in Equation (31) and Equation (12) to obtain Equations (43) and (44), respectively.
Theorem 4.2:
Let ,
be matrices in
, such that
is invertible matrix for all integrals
. Suppose that
are positive stable and commuting matrices then
. For
we have transformations as follows:
(46)
(46)
(47)
(47)
Proof.
The first relation can be proven by setting and
in Equation (31) and using Equation (12), we get
(48)
(48) The second relation is proven using the same argument proof as the first relation by substituting
and
in Equation (31) and using Equation (12).
Theorem 4.3:
For ,
, and
are commutative matrices in
, such that
and
are invertible matrices for all integrals
Suppose that
, and
are positively stable, then the matrix function
have transformations as follows:
(49)
(49)
(50)
(50)
(51)
(51)
Proof.
In the first relation we taking , for the second relation
and, finally, for the third relation
together in the double integral in Equation (34), we find Equations (49)–(51), respectively. These complete the proof.
Connections with some reduction formulas for Appell matrix functions and
in terms of the
generalized hypergeometric matrix function presented in the next theorem.
Theorem 4.4:
let , then
and
be given in Definition 2.1 have the special cases given as follows
(52)
(52)
(53)
(53)
(54)
(54)
(55)
(55) where
is the generalized hypergeometric matrix function defined in [Citation28].
Proof.
We obtain the relations in Equations (52) and (53) if we set in Equations (43) and (44), respectively. Similarly, we set
and
in Equations (49) and (50) to get the relations in Equations (54) and (55), respectively.
5. Infinite matrix summation formulas
In this section, we obtain certain infinite matrix summation formulas involving -Appell matrix functions. The infinite matrix summation formulas involving the
-Appell matrix function
are listed in the following theorem.
Theorem 5.1:
Let and
be commutative matrices in
such that
is invertible matrix for all integral
with
, and
. Then the following infinite matrix summation formulas involving the
-Appell matrix function
hold:
(56)
(56) where
and
.
(57)
(57) where
,
and
Proof.
By using Equation (15) in Equation (56), we obtain the following formula:
(58)
(58) Using the following identity in Equation (58), we get
(59)
(59) The proof of Equation (56) is completed.
For Equation (57), we substitute Equation (15) in Equation (57), we get:
(60)
(60) Using the series expansion
in Equation (60), we get
Remark 5.1:
When in Equation (56), then we get infinite matrix summation formulas of
in [Citation20,Citation24]. Moreover, when
in Equation (57), then we get infinite matrix summation formulas of
in [Citation20].
The list of infinite matrix summation formulas associated with the -Appell matrix function
are presented in the following theorem. Since the proofs are similar to Theorem 5.1, we omit them.
Theorem 5.2:
Let , and
be commutative matrices in
, with
and
are invertible matrixes for all integrals
. Then the following infinite matrix summation formulas hold for the
-Appell matrix function
(61)
(61) where
, and
.
(62)
(62) where
,
and
.
(63)
(63) where
,
and
.
Remark 5.2:
The proofs are similar to Theorem 5.1, for proof Equation (62) using the matrix identities
When
, then we get infinite matrix summation formulas of
in [Citation20].
Theorem 5.3:
Let be matrices in
, with
is invertible matrix for all integrals
. Then the following infinite matrix summation formulas hold for
-Appell matrix function
(64)
(64) where
and
.
(65)
(65) where
,
Proof.
By using Equation (17) and the identity we get
This completes the proof of Equation (64).
We notice that the proof of the formula in Equation (65) is similar to proof formula in Equation (57).
Remark 5.3:
When then we get infinite matrix summation formulas of
in [Citation20].
Theorem 5.4:
Let and
be matrices in
with
and
are invertible matrixes for all integrals
. Then the following infinite matrix summation formulas hold for the
-Appell matrix function
(66)
(66) where
.
Proof.
The proof is similar to Equation (57).
Remark 5.4:
When then we get infinite matrix summation formulas of
in [Citation20].
6. Differentiation formulas
In this section, we establish some differentiation formulas for the -Appell matrix functions
. In the sequel, the notation
will be used.
Theorem 6.1:
Let ,
be positive stable matrices in
, such that
and
are invertible matrices for all integrals
. Then, for
the differentiation formulas of
are defined as follows:
(67)
(67)
(68)
(68)
(69)
(69)
Proof.
These formulas can be established using the series expansions of in Equation (15). Here we prove Formula (68), the other differentiation formulas can be proven in a similar manner.
Using the
-Pochhammer matrix identity
we get
Remark 6.1:
When then we obtain differentiation formulas of
in [Citation24].
Theorem 6.2:
Let and
be positive stable matrices in
, such that
and
are invertible matrices for all integrals
. Then, for
the differentiation formulas of
are defined as the following form:
(70)
(70)
(71)
(71)
(72)
(72)
(73)
(73)
Proof.
These formulas can be established using the series expansions of in Equation (16). Proof of the differentiation formulas are similar that of Theorem 6.1.
Remark 6.2:
When then we get differentiation formulas of
in [Citation22].
7. Conclusion
The -Appell hypergeometric functions are a generalization of the standard hypergeometric functions and are used in a variety of fields, such as physics, engineering, and mathematics [Citation6–11]. Their applications include solving differential equations, computing integrals, modelling various phenomena, such as wave propagation, and particularly obtaining exact solutions for various problems in quantum mechanics [Citation12,Citation13]. Additionally, they are related to other special functions, such as Meijer
-function and Fox
-function, which also have important applications in various areas of science and engineering. A recent surge in research has occurred on extend the classical Appell hypergeometric functions to the matrix setting, with many authors contributing to this field of study.
This work is devoted to the study of -Appell hypergeometric matrix functions within the analysis. This study is assumed to be the improvement and generalization of the scalar case [Citation30,Citation33,Citation37], in which the matrix case has never been investigated. If we take
, we can obtain some results to reduce the classical Appell hypergeometric functions
in [Citation19–24,Citation36]. In this work, we introduced the
-Appell hypergeometric matrix functions and further investigated their mathematical properties, including integral representation, differential formulas, transformation formulas and infinite matrix summation formulas. The results are novel and will be valuable in future research.
Interesting problems arise from this work. Future research in this area must focus on exploring a -generalization of other special functions, similar to what was performed for the scalar case in references [Citation38–41]. Such problems offer researchers a wealth of opportunities to expand this new area.
Acknowledgements
All authors are also indebted to the anonymous reviewers for their helpful, valuable comments and suggestions to improve this manuscript.
Disclosure statement
No potential conflict of interest was reported by the author(s).
References
- Samko SG, Kilbas AA, Marichev OI. Fractional integrals and derivatives: theory and applications. Yverdon: Gordon & Breach; 1993.
- Mathai AM, Saxena RK. Generalized hypergeometric functions with applications in statistics and physical sciences. Berlin: Springer; 1973.
- Kiryakova V. Generalized fractional calculus and applications. New York: Wiley; 1994.
- Ata E, Kıymaz IO. A study on certain properties of generalized special functions defined by Fox-Wright function. Appl Math Nonlinear Sci. 2020;5(1):147–162. doi:10.2478/amns.2020.1.00014
- Ata E, Kıymaz OI. Generalized gamma, beta and hypergeometric functions defined by Wright function and applications to fractional differential equations. Cumhuriyet Sci J. 2022;43(4):684–695.
- Saad N, Hall RL. Integrals containing confluent hypergeometric functions with applications to perturbed singular potentials. J Phys A Math Gen. 2003;36(28):7771–7788. doi:10.1088/0305-4470/36/28/307
- Loebbert F, Müller D, Münkler H. Yangian bootstrap for conformal Feynman integrals. Phys Rev D. 2020;101(6):66006.
- Tewari SP, Dhingra G, Silotia P. Collective dynamics of a nano-fluid: Fullerene, C60. Int J Mod Phys B. 2010;24(22):4281–4292. doi:10.1142/S0217979210055974
- el abidine Bentalha Z. Representation of the Coulomb matrix elements by means of Appell hypergeometric function F2. Math Phys Anal Geom. 2018;21(2):1–10. doi:10.1007/s11040-018-9267-3
- Fleischer J, Jegerlehner F, Tarasov OV. A new hypergeometric representation of one-loop scalar integrals in d dimensions. Nucl Phys B. 2003;672(1–2):303–328. doi:10.1016/j.nuclphysb.2003.09.004
- Saad N, Hall RL. Closed-form sums for some perturbation series involving hypergeometric functions. J Phys A Math Gen. 2002;35(18):4105–4123. doi:10.1088/0305-4470/35/18/308
- Slater LJ. Generalized hypergeometric functions. Cambridge: Cambridge University Press; 1966.
- Landau LD, Lifshitz EM. Quantum mechanics: non-relativistic theory. London: Pergamon Press; 1981.
- Jódar L, Cortés JC. On the hypergeometric matrix function. J Comput Appl Math. 1998;99(1–2):205–217. doi:10.1016/S0377-0427(98)00158-7
- Abdalla M, Bakhet A. Extension of beta matrix function. Asian J Math Comput Res. 2016;9:253–264.
- Goyal R, Agarwal P, Oros GI, et al. Extended beta and gamma matrix functions via 2-parameter Mittag-Leffler matrix function. Mathematics. 2022;10(6):892. doi:10.3390/math10060892
- Mubeen S, Rahman G, Arshad M. k-Gamma, k-Beta matrix functions and their properties. J Math Comput Sci. 2015;5(5):647–657.
- Khammash GS, Agarwal P, Choi J. Extended k-gamma and k-beta functions of matrix arguments. Mathematics. 2020;8(10):1715. doi:10.3390/math8101715
- Dwivedi R, Sahai V. On the hypergeometric matrix functions of two variables. Linear Multilinear Algebr. 2018;66(9):1819–1837. doi:10.1080/03081087.2017.1373732
- Dwivedi R, Sahai V. A note on the Appell matrix functions. Quaest Math. 2020;43(3):321–334. doi:10.2989/16073606.2019.1577309
- Hidan M, Abdalla M. A note on the Appell hypergeometric matrix function F2. Math Probl Eng. 2020;2020:1–6. doi:10.1155/2020/6058987
- Abdalla M, Abd-Elmageed H, Abul-Ez M, et al. Further investigations on the two variables second Appell hypergeometric matrix function. Quaest Math. 2022;45(7):1–18.
- Altin A, Çekim B, Şahin R. On the matrix versions of Appell hypergeometric functions. Quaest Math. 2014;37(1):31–38. doi:10.2989/16073606.2013.779955
- Abd-Elmageed H, Abdalla M, Abul-Ez M, et al. Some results on the first Appell matrix function F1(A,B,B′,C;z,w). Linear Multilinear Algebr. 2020;68(2):278–292. doi:10.1080/03081087.2018.1502254
- Verma A, Yadav S. On the incomplete second Appell hypergeometric matrix functions. Linear Multilinear Algebr. 2021;69(9):1747–1760. doi:10.1080/03081087.2019.1640178
- Dunford N, Schwartz J. Linear operators. New York: Interscience; 1957.
- Bakhet A, Jiao Y, He F. On the Wright hypergeometric matrix functions and their fractional calculus. Integr Transform Spec Funct. 2019;30(2):138–156. doi:10.1080/10652469.2018.1543669
- Rahman G, Ghaffar A, Purohit SD, et al. On the hypergeometic matrix k-functions. Bull Math Anal Appl. 2016;8(4):98–111.
- Mubeen S, Arshad M, Rahman G. Closed form general solution of the hypergeometric matrix differential equation. J Inequalities Spec Funct. 2016;7(1):39–52.
- Mubeen S, Iqbal S, Rahman G. Contiguous function relations and an integral representation for Appell k-series F_(1,k). Int J Math Res. 2015;4(2):53–63. doi:10.18488/journal.24/2015.4.2/24.2.53.63
- Jain S, Goyal R, Oros GI, et al. A study of generalized hypergeometric matrix functions via two-parameter Mittag-Leffler matrix function. Open Phys. 2022;20(1):730–739. doi:10.1515/phys-2022-0068
- Rahman G, Mubeen S, Nisar KS. On generalized k-fractional derivative operator. AIMS Math. 2020;5(3):1936–1945. doi:10.3934/math.2020129
- Yılmaz ÖG, Aktaş R, Taşdelen F. On some formulas for the K-analogue of appell functions and generating relations via K-fractional derivative. Fractal Fract. 2020;4(4):1–20.
- Awan MU, Noor MA, Mihai MV, et al. K-fractional estimates of hermite–hadamard type inequalities involving k-Appell’s hypergeometric functions and applications. Fractal Fract. 2019;3(3):1–9.
- Nagar DK, Nadarajah S. Appell’s hypergeometric functions of matrix arguments. Integr Transform Spec Funct. 2017;28(2):91–112. doi:10.1080/10652469.2016.1252762
- Batahan RS, Metwally MS. Differential and integral operators on Appell’s matrix functions. Andalus Soc Appl Sci. 2009;3:7–25.
- Onur Kıymaz I, Çetinkaya A, Praveen A. A study on the k-generalizations of some known functions and fractional operators. J Inequalities Spec Funct. 2017;8(4):31–41.
- Çetinkaya A. The incomplete second Appell hypergeometric functions. Appl Math Comput. 2013;219:8332–8337.
- Çetinkaya A, Yağbasan MB, Kıymaz O. The extended Srivastava’s triple hypergeometric functions and their integral representations. J Nonlinear Sci Appl. 2016;9(6):4860–4866. doi:10.22436/jnsa.009.06.121
- Agarwal P, Cetinkaya A, JainA S, et al. S-generalized Mittag-Leffler function and its certain properties. Math Sci Appl E-Notes. 2019;7(2):139–148. doi:10.36753/mathenot.578638
- Abdalla M, Boulaaras S, Akel M, et al. Certain fractional formulas of the extended k- hypergeometric functions. Adv Differ Equ. 2021;2021(1):1–10. doi:10.1186/s13662-021-03612-5