arxiv: v1 [math.ca] 31 Jan 2015

Transcription

1 An integral representation for the product of two parabolic cylinder functions having unrelated arguments. arxiv:15.1v1 [math.ca] 31 Jan 15 M.L. Glasser Department of Physics, Clarkson University, Potsdam,New York , USA Donostia International Physics Center, P. Manuel de Lardizabal 4,E-18 San Sebastián, Spain Abstract An integral representation is provided for the parabolic cylinder function product D µ (x)d µ ( y) where Reµ < and x > y are unrelated. A few simple consequences are given in the form of hyperbolic integrals and a sum rule. Keywords: Parabolic Cylinder Function, Integral Representation, Hermite Polynomial, Hyperbolic Integral, Sum Rule. Class 33C15, C3345, C334 1

2 1. Introduction A search of the literature and tables has shown that the number of known integral representations for a product of two parabolic cylinder functions is limited. Only two are available in the standard reference[1] D ν (x)d ν 1 (x) = 1 coth ν+1/ t 1 sin x sinht+πν dt π sinht D ν (ze iπ/4 )D ν (ze iπ/4 ) = 1 Γ( ν) and three more are given in the Wolfram web-site[] D ν (x)d ν 1 (x) = D ν (ze iπ/4 )D ν (ze iπ/4 ) = ( e xt cos π Γ( ν) D ν (ze iπ/4 )D ν (ze iπ/4 ) = πγ( ν) where, in terms of the Whittaker function, ] coth ν texp [ z dt sinht sinht. xt πν ) J ν+1/ (t )dt e zt J ν 1/ ( t )dt ( e zt cos zt νπ ) K ν+1/ (t )dt, D ν (z) = (ν+1)/4 z 1/ W ν+1)/4, 1/4 (z /). Even these five are inter-related by contour manipulation. A fairly recent report by C. Malyshev[3] contains numerous references to the origins of these representations, to which we refer the interested reader. Conspicuously missing among these entries are representations where the two arguments on the left hand side are not linearly related. The aim of the present note is to fill this gap, at least partially since representations where the indices are unrelated is still open.. Derivation We begin by examining the Laplace transform I = t ν 1 (1+t) ν 1/ e at e b t(t+1) dt, ν >, Re[a b] >. (1) By introducing the substitution t = u /(1 u ) one finds I = 1 { } bu au u ν 1 (1 u ) ν 3/ exp 1 u du. ()

3 Next, weintroducethequantitiesx = a+ a b /,Y = a a b / and recall Mehler s formula [4] [ XYu (X +Y )u ] exp 1 u = 1 u n= to find, after performing the elementary u-integration, I = n= H n (X)H n (Y) n u n (3) n! H n (X)H n (Y) n n!(ν +n). (4) Now let us consider the Sturm-Liouville problem on the real line y +(λ x )y(x) =, y(± ) = (5) for which the normalized eigenfunctions are y n (x) = 1 n n! π e 1 x H n (x), λ n = n+1, n =,1,,. (6) Then the solution to the Green function equation is Y (x,x,λ)+(λ x )Y(x,x,λ) = δ(x x ), Y(± ) = (7) Y(x,x,λ) = 1 π e 1 (x +x ) n= H n (x)h n (x ) n n!(λ n λ). (8) However, the problem (5) has been treated by Titchmarsh[4] who has shown that, for x > x, Y(x,x,λ) = 1 ( ) 1 λ π Γ Dλ 1(x )Dλ 1( x ). (9) Finally, from (4), (8) and (9) we conclude that for x > y > and ν >, = e 1 4 (x +y ) Γ(ν) D ν (x)d ν ( y) t ν/ 1 (t+1) (ν+1)/ e 1 (x +y )t+xy t(t+1) dt. (1) 3.Discussion Equation (1) is our principal result and can be written t ν/ 1 (1+t) (ν+1)/ e at e b t(t+1) dt 3

4 ( = e a/ Γ(ν)D ν a+ ) a b D ν ( a ) a b, (11) for Re(a) > Re(b) >. Similarly, it can be proven that t ν/ 1 (1+t) (ν+1)/ e at e b t(t+1) dt = e a/ Γ(ν)D ν ( a+ a b ) D ν ( a a b ), (1) for Re(a+b) >.. First of all, (1) cannot be related to the identities listed in the introduction, for the right hand side diverges when x = y. In the forms (11) and (1), since both sides can be differentiated any number of times with respect to the parameters a, b or ν, it is the gateway to a previously unknown class of Laplace Transforms. Furthermore, through (4) we have summed exactly a new Hermite series from which further ones can be obtained. To conclude, we append a short list of special cases. For ν = 1, D 1 (z) = π/exp(z /4)Erfc(z/ ) and (1) gives rise to the interesting hyperbolic integrations sechθe α sinhθsinh(θ+φ) dθ = π eα coshφ Erfc(αsinh(φ/))Erfc(αcosh(φ/)). (13a) sinhθe α sinhθsinh(θ+φ) dθ π [ ] = e α cosh (φ/) cosh(φ/)erfc(αcosh(φ/)) e α sinh (φ/) sinh(φ/)erfc(αsinh(φ/)) α (13b) In the case ν = 1/, where D 1/ (z) = z/πk 1/4 (z /4), (1) can be manipulated to give dθ sinhθ e acosh(θ+φ) = asinhφ Finally, From (3) we obtain the new sum rule n= D n (x)d n (y) n!(n+ν) from which others may be derived. π K 1 4 (acosh (φ/))k 1 4 (asinh (φ/)). (14) = Γ(ν)D ν (x)d ν ( y), where x > y, (15) 4

5 Acknowledgement The author is grateful for hospitality of the DIPC where this work was carried out. References [1] I.S. Gradshteyn and I. Ryzhik, Tables of Integrals, Series and Products, Ed. A. Jeffrey and D. Zwillinger, Academic Press, N.Y. (7). [] Wolfram Website: [3] C. Malyshev, arxiv:math/1/614v[math.ca]4dec1 [4] Weisstein, Eric W. Mehler s Hermite Polynomial Formula. From MathWorld A Wolfram Web Resource. [4] E.C. Titchmarch, Eigenfunction Expansions, Vol.1, Oxford, London (1961) p.74. 5