Rev. Real Academia de Ciencias. Zaragoza. 62: 91–98, (2007). On generating functions of modified Laguerre polynomials S. Alam and A. K. Chongdar Department of Mathematics Bengal Engineering and Science University, Shibpur P.O. Botanic Garden, Howrah - 711 103, India Abstract In this note, we have obtained some results on bilateral and trilateral generating functions of modified Laguerre polynomials. Furthermore, some comments are made on the results of Laguerre polynomials obtained by Das and Chatterjea [1] while deriving the bilateral and trilateral generating relations by using the operator obtained by double interpretations. Key words: Laguerre polynomials, generating functions, special functions. AMS-2000 Classification Code: 33C47 1 Introduction In [1], Das and Chatterjea have claimed that the operator ’A’, obtained by double interpretations to both the index (n) and the parameter (α) of the Laguerre polynomial in Weisner’s group-theoretic method, given by A = xy −1 z ∂ ∂ +z − xy −1 z ∂x ∂y (1) such that (α−1) α−1 n+1 A[y α z n L(α) z n (x)] = (n + 1)Ln+1 (x)y and exp(aA)f (x, y, z) = exp(− (2) axz )f (x + axy −1 z, y + az, z) y (3) in obtaining the following generating function in original: (1 + t) α exp(−xt)L(α) n (x ∞ X m + n (α−m) Ln+m (x)tm , + xt) = m m=0 Finally they obtained the following theorems: 91 |t| < 1. (4) Theorem 1. If there exists a generating function of the form F (x, t) = ∞ X an L(α−n) (x)tn , n (5) n=0 then ∞ X L(α−n) (x)σn (y)tn n α = (1 + t) exp(−xt)F n=0 where yt x + xt, 1+t , ∞ X n k y . σn (y) = ak k k=0 (6) (7) Theorem 2. If there exists a generating function of the form F (x, y, t) = ∞ X an L(α−n) (x)gn (y)tn , n (8) n=0 where gn (y) is an arbitrary polynomial, then ∞ X Ln(α−n) (x)σn (y, z)tn n=0 where zt = (1 + t) exp(−xt)F x + xt, y, , 1+t α ∞ X n gk (y)z k . σn (y, z) = ak k k=0 (9) (10) Theorem 3. If there exists a generating function of the form G(x, t) = ∞ X n an L(α) n (x)t , (11) n=0 then ∞ X n=0 z n n X k=0 ak n Ln(α−n+k) (x)tn = (1 + z)α exp(−xz)G(x + xz, tz). (12) k To prove Theorema 1 and 2 they used result (4) and to obtain Theorem 3 they used the operator ‘A’ directly. Here, we would like to mention that the authors of [1] perhaps fails to notice the work [2]. In fact, neither the operator ‘A’ nor the generating function (4) is new and they are found derived in [2] and the Theorems 1—3 are the direct consequences of them. The aim at presenting this article is to obtain some results on the bilateral and trilateral generating functions involving the said polynomial. We would also like to point it out that the operator ‘A’, satisfying (2) and (3) (obtained by double interpretations) with the help of which Das and Chatterjea proved (4) and the theorems 1-3, is not only cumbrous but also unnecessary in the derivation of the aforementioned result (4) and the theorems. In fact, the operator obtained by single interpretation to the index in the study of modified (α−n) Laguerre polynomials, Ln (x) by Weisner’s method is very much simple and straight forward even in deriving the nice extensions of the same. The main results of the paper are given below: 92 Theorem 4. If G(x, w) = ∞ X (α−n) an Ln+r (x)w n , (13) n=0 then ∞ X (α−n) Ln+r (x)σn (z)w n zw , = (1 + w) exp(−xw)G x(1 + w), 1+w α (14) n+r k z . ak σn (z) = k + r k=0 (15) n=0 where n X Theorem 5. If G(x, u, w) = ∞ X (α−n) an Ln+r (x)gn (u)w n , (16) n=0 then ∞ X (α−n) Ln+r (x)σn (u, z)w n n=0 zw = (1 + w) exp(−xw)G x(1 + w), u, , 1+w α where σn (u, z) = n X ak k=0 n+r gk (u)z k . k+r (17) (18) Theorem 6. If G(x, w) = ∞ X (α) an Ln+r (x)w n , (19) n=0 then ∞ X n X n + r (α−n+k) Ln+r (x)w k = (1 + z)α exp(−xz)G(x(1 + z), zw). z ak k+r n=0 k=0 n (20) Theorem 7. If G(x, u, w) = ∞ X (α) an Ln+r (x)gn (u)w n , (21) n=0 then ∞ X σn (x, u, v)w n = (1 + w)α exp(−xw)G(x(1 + w), u, wv), (22) n=0 where σn (x, u, v) = n X k=0 ak n + r (α−n+k) L (x)gk (u)v k . k + r n+r (23) In the next section we first proceed to prove the result (4) by using the operator obtained by single interpretation to the index (n) of the polynomial under consideration. 93 2 Derivation of the results At first we consider the following operator R : R = xy such that R ∂ ∂ − y2 − xy + αy ∂x ∂y (24) (25) L(α−n) (x)y n n (α−n−1) = (n + 1)Ln+1 (x)y n+1. We now define the corresponding extended group generated by R as follows: y wR −wxy α e f (x, y) = e (1 + wy) f x(1 + wy), . 1 + cy (26) Now using (26), we obtain −wxy α−n (α−n) (α−n) n wR x(1 + wy) y n . =e (1 + wy) Ln Ln (x)y e But, using (25), we obtain wR e X ∞ wm (α−n−m) (α−n) n (n + 1)m Ln+m (x)y n+m . = Ln (x)y m! m=0 (27) Equating (27) and (27), we get e −wxy (1 + wy) α−n L(α−n) n ∞ X n + m (α−n−m) Ln+m (x)(yw)m. x(1 + wy) = m m=0 (28) Replacing wy by t in (28), we get e −xt (1 + t) α−n L(α−n) n x(1 + t) ∞ X n + m (α−n−m) Ln+m (x)(t)m = m m=0 (29) Finally if we write α = α + n on both sides of (29), we get e −xt (1 + t) α L(α) n X ∞ n + m (α−m) Ln+m (x)(t)m , x(1 + t) = m m=0 which is obtained by Das and Chatterjea ( (1.4) of [1]). Now we shall proceed to prove the Theorems 4-7 of this paper. 94 (30) Proof of Theorem 4: Now ∞ X (α−n) (wy)n Ln+r (x)σn (z) n=0 = = = = ∞ X (wy) n=0 ∞ X ∞ X n k=0 ∞ X n+k ak z k k+r k=0 (wy) k=0 n=0 ∞ X n n+r X (α−n) Ln+r (x) (α−n−k) Ln+k+r (x)ak z k n+k+r k+r ∞ n+k+r X (α−n−k) k Ln+k+r (x)(wy)k ak (wyz) k+r n=0 (α−k) ak (wyz)k e−xwy (1 + wy)α−k Lk+r (x/ ) k=0 =e −xwy (1 + wy) α ∞ X (α−k) ak Lk+r (x/ ) k=0 wyz 1 + wy k wyz / =e (1 + wy) G x , 1 + wy wyz −xwy α , =e (1 + wy) G x(1 + wy), 1 + wy α −xwy which, on putting y=1, reduces exactly to Theorem 4. Cor-1: If we put r=0 in Theorem 4 then we get the following result: If G(x, w) = ∞ X an L(α−n) (x)w n , n n=0 then ∞ X Ln(α−n) (x)σn (z)w n n=0 zw = (1 + w) exp(−xw)G x(1 + w), , 1+w α where σn (z) = n X k=0 ak n zk . k which is Theorem 1 of Das and Chatterjea. Proof of Theorem 5: Proof of Theorem 5 is exactly similar to Theorem 4 and the calculation is a routine one. Cor-2: If we put r=0 in theorem 5 then we get ∞ X n=0 L(α−n) (x)σn (u, z)w n n zw = (1 + w) exp(−xw)G x(1 + w), u, , 1+w where σn (u, z) = α n X k=0 n gk (u)z k , ak 95 k which is Theorem 2, obtained by Das and Chatterjea. Proof of Theorem 6: ∞ X (w)n σn (x, v) n=0 = = = = ∞ X n=0 ∞ X n=0 ∞ X k=0 ∞ X n X n+r (α−n+k) )Ln+r (x)v k ak (w) n (w) k=0 ∞ X n+k ak (wv) k+r n+k+r (α−n) Ln+k+r (x)v k ak k+r k=0 ∞ n+k+r X k (α−n) Ln+k+r (x)w n k+r n=0 (α) ak (wv)k e−xw (1 + w)α Lk+r (x/ ) k=0 = e−xw (1 + w)α ∞ X (α) ak Lk+r (x/ )(wv)k k=0 =e −xw (1 + w) G x(1 + w), wv , α which is Theorem 6. Cor-3: If we put r=0 in theorem 6 then we get the following result: If G(x, w) = ∞ X an Ln(α) (x)w n , n=0 then ∞ X n=0 z n n X k=0 n Ln(α−n+k) (x)w k = (1 + z)α exp(−xz)G(x(1 + z), zw). ak k which is Theorem 3 of Das and Chatterjea. Proof of Theorem 7: Proof of Theorem 7 is exactly similar to Theorem 6 and the calculation is a routine one. Cor-4: If we put r=0 in theorem 7, then we get the following result: If G(x, u, w) = ∞ X n an L(α) n (x)gn (u)w , n=0 then ∞ X n=0 σn (x, u, v)w = (1 + w) exp(−xw)G x(1 + w), u, wv , n where σn (x, u, v) = α n X k=0 n Ln(α−n+k) (x)gk (u)v k , ak k which is found derived in [ ]. 96 3 Applications 3.1 Application of Theorem 6 A.1: As an application of Theorem 6, we consider the following generating relation [3]: ∞ X x xt n + m (α) (α) n −α−m−1 L Lm+n (x)t = (1 − t) exp − 1−t m 1−t n n=0 (31) If in our theorem, we take n+m , an = n then G(x, t) = (1 − t) −α−m−1 exp xt x (α) − L 1−t m 1−t (32) Therefore by the application of our Theorem 6 we get the following generalization of the result (31): n X n + r (α−n+k) m+k Ln+r (x)w k z k + r k n=0 k=0 −xz(1 + w) (α) x(1 + z) α −α−m−1 = (1 + z) (1 − zw) exp Lm 1 − zw 1 − zw ∞ X n A.2: We now consider the following generating relation [4]: ∞ X (λ)n m+n (α) Lm+n (x)tn n (α + m + 1) n n=0 xt α+m −λ (1 − t) φ2 − m, λ; α + 1; x, = . m t−1 (33) (34) Now, if in our theorem, we take (λ)n m+n an = , n (α + m + 1)n then xt α+m −λ (1 − t) φ2 − m, λ; α + 1; x, G(x, t) = t−1 m Therefore, by the application of our Theorem 6, we get the following generalization of (34) ∞ X n X m+k (λ)k n + r (α−n+k) z Ln+r (x)w k k k + r (α + m + 1) k n=0 k=0 x(1 + z)zw α+m −λ α . (1 − zw) φ2 − m, λ; α + 1; x(1 + z), = (1 + z) exp(−xz) zw − 1 m n 97 3.2 Application of Theorem 7 As an application of our Theorem 7, we consider the following generating relation [4]: ∞ X (r + n)! (α) n Ln+r (x)L(β) n (u)w (β + 1)n n=0 uw x x −α−r−1 = (α + 1)r e (1 − w) ψ2 α + r + 1; β + 1, α + 1; , w−1 w−1 (35) where | w |< 1. If in our Theorem 7, we take an = (r + n)! , (β + 1)n gn (u) = L(β) n (u), then x G(y, x, t) = (α + 1)r e (1 − w) −α−r−1 uw x ψ2 α + r + 1; β + 1, α + 1; . , w−1 w−1 Therefore, by the application our Theorem 7, we get the following generalization of (35) ∞ X σn (x, u, w)v n n=0 α x = (α + 1)r (1 + w) e (1 − wv) where −α−r−1 uvw x(1 + w) , ψ2 α + r + 1; β + 1, α + 1; wv − 1 wv − 1 n X (r + k)! n + r (α−n+k) (β) σn (x, u, w) = Ln+r (x)Lk (u)v k . (β + 1)k k + r k=0 References [1] Sarama Das and Chatterjea S.K., On a partial differential operator for Laguerre polynomials, Pure Math. Manuscript, 4(1985), 187-193. [2] Chongdar A. K., Some generating functions involving Laguerre polynomials, Bull. Cal. Math. Soc., 76(1984), 262-269. [3] Rainville E.D., Special Functions, Macmillan (1960), New York. [4] Srivastava H.M. and Manocha H.L., A Treatise on Generating Functions, Halsted Press (Ellis Horwood Limited) Chichester(1984), P-132. 98