Communications in Mathematics and Applications Volume (0), Numbers -3, pp. 97 09 RGN Publications http://www.rgnpublications.com On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable A. Shehata Abstract. In this paper, Tricomi and Hermite-Tricomi matrix functions are introduced starting from the Hermite matrix polynomials. The convergence, radius of regularity, integral form, generating matrix functions, matrix recurrence relations satisfied by these Tricomi matrix functions are derived. Finally, the generating matrix functions, matrix recurrence relations, addition theorems for the Hermite-Tricomi matrix functions are given and matrix differential equations satisfied by them are presented.. Introduction Theory of special functions plays an important role in the formalism of mathematical physics. Hermite and Chebyshev polynomials are among the most important special functions, with very diverse applications to physics, engineering and mathematical physics ranging from abstract number theory to problems of physics and engineering. The hypergeometric matrix function has been introduced as a matrix power series and an integral representation and the hypergeometric matrix differential equation in [9,, 5, 7] and the explicit closed form general solution of it has been given in [0]. Recently, extension to the matrix framework of the classical families of Hermite-Hermite, Hermite, Laguerre, Bessel, Jacobi, Chebyshev and Gegenbauer matrix polynomials have been proposed and studied in a number of papers [,, 3, 4, 7, 8,, 5, 6]. The primary goal of this paper is to consider a new system of matrix function, namely the Tricomi matrix functions and Hermite-Tricomi matrix functions. The structure of the paper is as follows: In Section a definition of Tricomi matrix functions is given and the convergence properties, radius of convergence and integral form are given, the generating matrix functions and matrix recurrence relations are established and the matrix differential equation of three order 00 Mathematics Subject Classification. 5A60, 33C05, 33C45, 34A05. Key words and phrases. Hermite matrix polynomials; Tricomi matrix functions; Hermite-Tricomi matrix functions; Matrix differential equations; Matrix recurrence relations; Differential operator.
98 A. Shehata satisfied by them is presented. Finally, we define the Hermite-Tricomi matrix functions and the matrix recurrence relations,addition theorems and matrix differential equations are investigated in Section 3. If D 0 is the complex plane cut along the negative real axis and log(z) is denoting the principle logarithm of z [5], then z represents exp log(z). The set of all eigenvalues of A is denoted by σ(a). If A is a matrix in C N N with σ(a) D 0, then A A exp log(a) denotes the image by z of the matrix functional calculus acting on the matrix A. The two-norm of A is denoted by A and it is defined by Ax A sup x 0 x where for a vector y in C N, y (y T y) is the Euclidean norm of y. If f (z) and g(z) are holomorphic functions of the complex variable z, which are defined in an open set Ω of the complex plane and if A is a matrix in C N N with σ(a) Ω, then from the properties of the matrix functional calculus [5], it follows that f (A)g(A) g(a)f (A). (.) Hence, if B in C N N is a matrix for which σ(b) Ω and also if AB BA, then f (A)g(B) g(b)f (A). (.) Let A be a positive stable matrix in C N N satisfying the condition [9, 0] Re(z) > 0, for all z σ(a). (.3) It has been seen by Defez and Jódar [] that if A(k, n) and B(k, n) are matrices in C N N for n 0, k 0, it follows (in an analogous way to the proof of Lemma of [3]) that n A(k, n) A(k, n k), n0 n0 n0 [ n] A(k, n) A(k, n k). n0 Similarly to (.4), we can write n A(k, n) A(k, n + k), n0 n0 n0 [ n] A(k, n) A(k, n + k). n0 (.4) (.5)
On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable 99 The Hermite matrix polynomials H n (x, A) of single variable was defined by using the generating function [, 6, 7] in the following form n0 t n n! H n(x, A) exp (x t t I) (.6) where I is the identity matrix in C N N. The Hermite matrix polynomials are explicitly expressed as follows [ n] ( ) k H n (x, A) n! k!(n k)! (x ) n k, n 0. (.7) The Hermite matrix polynomials are defined through the operational rule [] in the form H n (x, A) exp ( d x n. (.8) ) d x In addition, the inverse of (.8) allows concluding that (x ) n exp ( d ) d x H n (x, A). (.9) In next section, we introduce to define and study of a new matrix function which represents of the Tricomi matrix functions as given by the relation and the convergence properties, radius of convergence and an integral form are given.. Tricomi matrix functions Let A be a matrix in C N N satisfying the condition (.3). The Tricomi matrix functions C n (z, A) is defined by the series C n (z, A) ( ) k (z ) k k k!(n + k)!. (.) Using (.4), (.5) and (.), we arrange the series t n C n (z, A) n0 n0 ( ) k (z ) k k k!(n + k)! t n ( ) k (z ) k n! t n I e t I z t. k k!n! t n k ( ) k (z ) k k k! t k
00 A. Shehata We obtain an explicit representation for the Tricomi matrix functions by the generating matrix function in the form F(z, t, A) t n C n (z, A) e t I z t. (.) Now, we will investigate the convergence of the series (.) and by using the ratio test, one gets U lim k+ (z) k U k (z) lim ( ) k+ (z ) k+ k k!(n + k)! k k+ (k + )!(n + k + )! ( ) k (z ) k z lim k (k + )(n + k + ) z lim k (k + )(n + k + ) 0 where U k (z) ( )k (z ) k k k!(n + k)!. Now, we begin the study of this function by calculating its radius of convergence R. For this purpose, we recall relation of [4], then lim sup( U k ) k R k ( ) k ( ) k k lim sup k k k!(n + k)! ( ) k ( ) k lim sup k k π k( k )k π (n + k)( n+k e e ) n+k k 0. Then, the Tricomi matrix functions is an entire function. The integral form of Tricomi matrix functions is provided by the following theorem: Theorem.. Suppose that A is a matrix in C N N satisfying (.3), then C n (z, A) πγ n + where arg(z) < π and w z. Proof. By Lemma of [9], we can state that (n + k)! Γ(n + k + ) Γ n + Γ k + ( t ) n cos(wt)dt (.3) t h ( t ) n dt. (.4)
On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable 0 From (.) and (.4), we get ( ) k (z ) k C n (z, A) k k! Γ n + Γ k + t h ( t ) n dt ( ) k (z ) k Γ n + k k!γ k + t h ( t ) n dt ( ) k (z ) k Γ n + k t h ( t ) n dt π(k)! πγ n + ( t ) n ( ) k (z ) k t k dt (k)! πγ n + ( t ) n cos(wt)dt where arg(z) < π and w z, the result is established... Matrix recurrence relations Some matrix recurrence relations will be established for the Tricomi matrix functions. First, we obtain Theorem.. The Tricomi matrix functions C n (x, A) satisfy the relations d r dz r C n(z, A) ( ) r ( ) r r C n+r (z, A). (.5) Proof. Differentiating the identity (.) with respect to z yields t n d dz C n(z, A) e t I z t. (.6) t From (.6) and (.), we have t n d dz C n(z, A) t n C n (z, A). (.7) Hence, identifying the coefficients of t n, we obtain d dz C n(z, A) C n+(z, A). (.8) Iteration (.8) for 0 r n implies (.5). Therefore, the expression (.5) is established and the proof of Theorem. is completed. The above three-terms matrix recurrence relation will be used in the following theorem. Theorem.3. Let A be a matrix in C N N satisfying (.3). Then, we have z C n+ (z, A) nc n (z, A) + C n (z, A) 0. (.9)
0 A. Shehata Proof. Differentiating (.) with respect to z and t, we find respectively F(z, t, A) t n d z dz C n(z, A) e t I z t t t n C n (z, A) t and F(z, t, A) nt n C n (z, A) t z I + t e t I z t z I + t t n C n (z, A) z t n C n (z, A) + t n C n (z, A). Hence, identifying the coefficients of t n, we obtain x nc n (z, A) C n (z, A) + C n+ (z, A). Therefore, F(z, t, A) satisfies the partial matrix differential equation or z F(z, t, A) F(z, t, A) I + t + 0 z t t (t I + F(z, t, A) z) + F(z, t, A) t 0 z t which, by virtue of (.), becomes It follows that (t I + z) t n d dz C n(z, A) + t nt n C n (z, A) 0. d dz C n (z, A) + z d dz C n(z, A) + n C n (z, A) 0. (.0) Using (.8) and (.0), we get (.9). The proof of Theorem.3 is completed.
On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable 03 The above recurrence properties can be derived either from (.8) or from (.9). It is easy to prove that d dz C n(z, A) C n+(z, A), (.) C n (z, A) n + z d dz C n (z, A). The matrix differential equation satisfied by C n (z, A) can be straightforwardly inferred by introducing the shift operators P d dz, (.) M n + z d dz which act on C n (z, A) according to the rules P C n (z, A) C n+ (z, A), M C n (z, A) C n (z, A). (.3) Using the identity P M C n (z, A) C n (z, A) (.4) from (.), we find that C n (z, A) satisfies the following ordinary matrix differential equation of second order z d dz + (n + ) d dz + C n (z, A) 0. (.5) In the next result, the Tricomi matrix functions appear as finite series solutions of the second order matrix differential equation. Corollary.. The Tricomi matrix functions are solutions of the matrix differential equation of the second order z d dz + (n + ) d dz + C n (z, A) 0, n 0. (.6) Proof. From (.8) and using (.9), becomes C n (z, A) z d dz C n(x, A) nc n (z, A) 0. Differentiating the identity (.) with respect to z yields d dz C n (z, A) d dz C n(z, A) z d dz C n(z, A)) n d dz C n(z, A) 0. (.7) Substituting from (.8) into (.7), we obtain (.6). Thus the proof of Corollary. is completed. Corollary.. The Tricomi matrix functions satisfy the following relations ( ) k (w ) k C n (z ± w, A) C k n+k (z, A). (.8) k!
04 A. Shehata Proof. Using (.), we get directly the equation (.8). The proof of Corollary. is completed. 3. Hermite-Tricomi Matrix Functions Let A be a matrix in C N N satisfying the condition (.3). We define the new generating matrix function which represents the Hermite-Tricomi matrix functions in the form t n H C n (z, A) exp t I z t t I (3.) and by the series expansion ( ) k H C n (z, A) k!(n + k)! H k(z, A). (3.) It is clear that H C (z, A) 0, ( ) k H C 0 (z, A) (k!) H k(z, A), H C (z, A) ( ) k k!(k + )! H k(z, A). By exploiting the same argument of the previous section, it is evident that Hermite-Tricomi matrix functions H C n (z, A) satisfies the properties. In the following theorem, we obtain another representation for the Hermite-Tricomi matrix functions H C n (z, A) as follows: Theorem 3.. The Hermite-Tricomi matrix functions have the following representation H C n (z, A) exp ( d ) dz C n (z, A). (3.3) Proof. By using (.8) and (3.), we consider the series ( ) k H C n (z, A) k!(n + k)! H k(z, A) ( ) k k!(n + k)! exp ( d z k ) dz exp ( d ( ) k k z ) dz k!(n + k)! exp ( d ) dz C n (z, A).
On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable 05 The proof of Theorem 3. is completed. Furthermore, in view of (3.3), we can write C n (z, A) exp ( d ) dz H C n (z, A). (3.4) The new properties of the Hermite-Tricomi matrix functions generated by (3.) yields as given in the following theorem. Theorem 3.. The Hermite-Tricomi matrix functions satisfy the following relations H C n (z + w, A) ( w ) k k! H C n+k (z, A). (3.5) Proof. Using (3.), the series can be given in the form H C n (z + w, A)t n exp t (z + w) t t exp w exp t I z t t t I H C n (z, A)t n ( w ) k t k k! ( w ) k k! H C n (z, A)t n k. Comparing the coefficients of t n, we get (3.5) and the proof is established. In the following corollary, we obtain the properties of Hermite-Tricomi functions as follows: Corollary 3.. The addition corollary is easily derived from (3.5) which yields H C n (z ± w, A) ( w ) k k! H C n+k (z, A). (3.6) Proof. By exploiting the addition formula (w ) k H C n (z w, A) H C n+k (z, A). k! Hence, the proof of Corollary 3. is established. 3.. Matrix recurrence relations Some matrix recurrence relation is carried out on the Hermite-Tricomi matrix functions. We obtain the following
06 A. Shehata Theorem 3.3. Suppose that A is a matrix in C N N satisfying (.3). The Hermite- Tricomi matrix functions satisfies the following relations d k dz k H C n (z, A) ( ) k H C n+k (z, A), 0 k n. (3.7) Proof. Differentiating the identity (3.) with respect to z yields H C n (z, A)t n exp t I z. t t t I (3.8) From (3.) and (3.8), we have H C n (z, A)t n Hence, from identifying coefficients in t n, it follows that H C n (z, A)t n. (3.9) H C n (z, A) H C n+ (z, A). (3.0) Iteration (3.0), for 0 k n, implies (3.7). Hence for particular values of k and n, (3.7) yield H C n (z, A) ( n k d k n ) dz n k H C k (z, A). (3.) Therefore, the expression (3.7) is established and the proof of Theorem 3.3 is completed. Differentiating the identity (3.) with respect to t yields n H C n (z, A)t n (t 3 I + zt + I) H C n (z, A)t n 3 from which by comparing the coefficients of t n on both sides of the identity, we obtain both the pure matrix recurrence relation (n + ) H C n+ (z, A) H C n (z, A) + z H C n+ (z, A) + H C n+3 (z, A). (3.) The above matrix recurrence relation will be used in the following theorem. Theorem 3.4. Suppose that A is a matrix in C N N satisfying (.3). Then Hermite- Tricomi matrix functions, we have H C n+ (z, A) + z H C n (z, A) (n ) H C n (x) + H C n (x) 0. (3.3) Proof. We define the new generating matrix function which represents of the Hermite-Tricomi matrix functions by W (z, t, A) H C n (z, A)t n exp t I z. t t I (3.4) Differentiating (3.4) with respect to z and t, we find respectively W (z, t, A) H C n z (z, A)t n H C n (z, A)t n
On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable 07 and W (z, t, A) t n H C n (z, A)t n (t 3 I + x t + I) H C n (z, A)t n 3. Therefore, W (z, t, A) satisfies the partial matrix differential equation (t 3 I + zt W (z, t, A) + I) + t W (z, t, A) 0 z t which, by using (3.), becomes it follows (t 3 I + zt + I) H C n (z, A)t n + t n H C n (z, A)t n 0 H C n 3 (x) + z H C n (x) + H C n (x) + (n ) H C n (x) 0. (3.5) Using (3.0) and (3.5), we get (3.3) and the proof of Theorem 3.4 is completed. The following result, the Hermite-Tricomi matrix functions appear as finite series solutions of the three order matrix differential equation. Corollary 3.. The Hermite-Tricomi matrix functions are solutions of the matrix differential equation of the three order in the form d3 dz 3 z( ) d dz (n + )( ) d dz ( ) 3 H C n (z, A) 0. (3.6) Proof. Using (3.0) gives d dz H C n (z, A) H C n+ (z, A), d dz H C n (z, A) d dz H C n+ (z, A) ( ) H C n+ (z, A), d 3 dz 3 H C n (z, A) d dz ( H C n+ (z, A)) (3.7) ( ) d dz H C n+ (z, A) ( ) 3 H C n+3 (z, A). Substituting from (3.7) into (3.) to obtain (3.6). Thus the proof of Corollary 3. is completed. Finally, the extension to forms of the type in (.) and (3.) are straightforward to give definitions of this family matrix functions and will be reported here.
08 A. Shehata It is the purpose of this end section to introduce a new matrix function of complex variable which can be stated in the following form: ( ) k ( ) k z n+k J n (z, A) (3.8) k k!(n + k)! where A is a matrix in C N N satisfying (.3), this is known as Bessel matrix functions and is characterized by the following link with Tricomi matrix functions of complex variable: z n z J n (z, A) C n 4, A. (3.9) The Hermite-Bessel matrix polynomials is defined by the series expansion ( ) k H J n (z, A) k!(n + k)! H n+k(z, A). (3.0) Further examples proving the usefulness of the present methods can be easily worked out, but are not reported here for conciseness. These last identities indicate that the method described in this paper can go beyond the specific problem addressed here and can be exploited in a wider context. Acknowledgements The author would like to thank the referees for his comments and suggestions on the manuscript. References [] R.S. Batahan, A new extension of Hermite matrix polynomials and its applications, Linear Algebra Appl. 49 (006), 8 9. [] E. Defez and L. Jódar, Some applications of the Hermite matrix polynomials series expansions, J. Comp. Appl. Math. 99 (998), 05 7. [3] E. Defez and L. Jódar, Chebyshev matrix polynomials and second order matrix differential equations, Utilitas Math. 6 (00), 07 3. [4] E. Defez, L. Jódar and A. Law, Jacobi matrix differential equation, polynomial solutions, and their properties, Comput. Math. Applicat. 48 (004), 789 803. [5] N. Dunford and J. Schwartz, Linear Operators, part I, Interscience, New York, 955. [6] L. Jódar and R. Company, Hermite matrix polynomials and second order matrix differential equations, J. Approx. Theory Appl. (996), 0 30. [7] L. Jódar and E. Defez, On Hermite matrix polynomials and Hermite matrix functions, J. Approx. Theory Appl. 4 (998), 36 48. [8] L. Jódar and J.C. Cortés, Some properties of Gamma and Beta matrix functions, Appl. Math. Lett. (998), 89 93. [9] L. Jódar and J.C. Cortés, On the hypergeometric matrix function, J. Comp. Appl. Math. 99 (998), 05 7. [0] L. Jódar and J.C. Cortés, Closed form general solution of the hypergeometric matrix differential equation, Math. Computer Modell. 3 (000), 07 08.
On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable 09 [] M.S. Metwally, M.T. Mohamed and A. Shehata, On Hermite-Hermite matrix polynomials, Math. Bohemica 33 (008), 4 434. [] M.T. Mohamed and A. Shehata, A study of Appell s matrix functions of two complex variables and some properties, J. Advan. Appl. Math. Sci. 9 (0), 3 33. [3] E.D. Rainville, Special Functions, The Macmillan Company, New York, 960. [4] K.A.M. Sayyed, Basic Sets of Polynomials of two Complex Variables and Convergence Propertiess, Ph.D. Thesis, Assiut University, Egypt, 975. [5] K.A.M. Sayyed, M.S. Metwally and R.S. Batahan, On generalized Hermite matrix polynomials, Electron. J. Linear Algebra 0 (003), 7 79. [6] K.A.M. Sayyed, M.S. Metwally and R.S. Batahan, Gegenbauer matrix polynomials and second order matrix differential equations, Divulg. Math. (004), 0 5. [7] K.A.M. Sayyed, M.S. Metwally and M.T. Mohammed, Certain hypergeometric matrix function, Scien. Math. Japon. 69 (009), 35 3. A. Shehata, Department of Mathematics, Faculty of Science, Assiut University, Assiut 756, Egypt. E-mail: drshehata006@yahoo.com Received August 4, 0 Accepted December 4, 0