arxiv: v2 [math-ph] 12 May 2011

Transcription

1 An index F hypergeometric transform arxiv:5.64v [math-ph] May Zouhaïr MOUAYN Sultan Moulay Slimane University, Faculty of Sciences and Technics M Ghila PO.Box 53, Béni Mellal, Morocco mouayn@gmail.com Abstract We construct a new one-parameter family of index hypergeometric transforms associated with the relativistic pseudoharmonic oscillator by using coherent states analysis. Introduction In [], while introducing a class of coherent states attached to symmetric spaces of non-compact type, the authors have considered a family of weighted Bergman spaces labelled by a real parameter γ with γ =,,..., as F γ C = ψ analytic on C, ψz K γ z z γ dµz <. C where K ν. denotes the MacDonald function [] and dµz is the Lebesgue measure on C. In this paper, we construct a one-parameter family of index hypergeometric transforms mapping isometrically the space of complex-valued square integrable functions ϕx on positive real half-line onto spaces in. by γ : L R +,dx F γ C + γ +ix,γ ix γ,γ + ;z γγ ix ΓixΓ γ +ix ϕxdx i γ expz γ [ϕ]z = ΓγΓ γ +. with the Euler gamma function Γ and the F hypergeometric series [3]. Our method is based on coherent state analysis. That is, we present a class of coherent states as superpositions of eigenstates of a relativistic model for the pseudoharmonic oscillator [4]. These eigenstates are expressed in terms of continuous dual Hahn polynomials [3]. In this superposition, the coefficients are

2 the basis elements of the weighted Bergman spaces in.. The closed form of the constructed coherent states allows to define a coherent states transform which turns out to be the index hypergeometric transform in.. The paper is organized as follows. Section deals with a brief formalism of coherent states and their corresponding coherent state transforms. In section 3, we summarize some needed tools on the relativistic pseudoharmonic oscillator. In section 4, we recall the definition of the weighted Bergman spaces we are dealing with. In section 5, we construct a class of coherent states from which we deduce a one-parameter family of index hypergeometric transforms. Coherent states Following [5], let X,σ be a measure space and let A X L X,σ be a closed subspace of infinite dimension. Let {Φ n } be an orthogonal basis of A X satisfying, for arbitrary ξ X, ωξ := where ρ n := Φ n L X. Define Kξ,ζ := Φ n ξ ρ n < +,. Φ n ξφ n ζ ρ n, ξ,ζ X.. Then, Kξ,ζ is a reproducing kernel, A X is the corresponding reproducing kernel Hilbert space and ωξ = Kξ,ξ, ξ X. Let H be another Hilbert space with dimh = and {φ n } be an orthonormalbasisofh. Therefore,define a coherentstateas aket vector ξ > H labelled by a point ξ X as Φ ξ >:= ωξ n ξ φ n >..3 ρn We rewrite.3 using Dirac s bra-ket notation as Φ < x ξ >= ωξ n ξ < x φ n >..4 ρn By definition, it is straightforward to show that < ξ ξ >= and the coherent state transform W : H A X L X,σ defined by W [φ]ξ := ωξ < ξ φ >.5 is an isometry. Thus, for φ,ψ H, we have < φ ψ > H =< W [φ] W [ψ] > L X= X dσξωξ < φ ξ >< ξ ψ >.6

3 and thereby we have a resolution of the identity H = dσξωξ ξ >< ξ,.7 where ωξ appears as a weight function. X 3 The weighted Bergman space F γ C As mentioned in Section., a countable set of Hilbert spaces whose elements are analytic functions on C, have been introduced by the authors in [], p.5 as follows. For each fixed γ with γ =,,..., the inner product is defined by ψ,φ γ := ψzφzdµ γ z, 3. where dµ γ z = C πγγ ργ K γ ρρdθdρ,z = ρeiθ C 3. with the MacDonald function defined by [5], p.83: K ν ρ = ρ ν + t ν exp Using the notation in 3., the space in. also reads { } F γ C = ψ analytic on C, ψ,ψ γ < +. t ρ dt t 3.4 A well known orthonormal basis of the space in 3.4 is given by the functions ψ γ nz := and its reproducing kernel is obtained as z n n!γn, n =,,,..., z C, 3.5 K γ z,w := + zw n γ n n! in which a n is the Pochhammer symbol defined by a := and 3.6 a n := aa+...a+n = Γa+n. 3.7 Γa One can use the formula for the modified Bessel function of the first kind [5], p.77: + ν+n ζ I ν ζ =, 3.8 n!γν +n+ 3

4 for ζ = zw and ν = γ, to present 3.6 in a closed form as K γ z,w = Γγzw γ I γ zw, 3.9 So that the diagonal function of 3.9 reads K γ z,z = Γγ z γ I γ z,z C. 3. The latter will be used in the sequel. 4 A relativistic model for the pseudoharmonic oscillator In this section, we recall some needed results which have been developed in [4] where the authors considered a model for the relativistic pseudoharmonic oscillator with the following interaction potential V x := mω xx+iλ+ g xx+iλ e iλ x 4. where ω is a frequency, g is a real quantity and λ = /mc denotes the Compton wavelength defined by the ratio of Planck s constant by the mass m times the speed of light c. The corresponding stationary Schrödinger equation is described by the finitedifference equation mc coshiλ x + mω xx+iλe iλ x + g ϕx = ǫϕx xx+iλ eiλ x 4. with the boundary conditions for the wave function ϕ = and ϕ =. The energy spectrum of the Schrödinger operator in 4. is ǫ n := ωn+α + +α,n =,,, where α ± = + + ω ± 8g ω 4.4 and ω = ω mc, g = mg 4.5 The corresponding orthonormalized eigenstates of the form < x ϕ α± n >= c n x α+ ω ix Γα +ixs n x ;α +,α, 4.6 4

5 where c n = n!γn+α + +α Γ n+α + + Γ n+α and S n x ;a,b,c := a+b n a+c n 3F n,a+ix,a ix a+b,a+c ; 4.8 is the continuous dual Hahn polynomial [3], p.33 given in terms of the 3 F - sum. The notation ζ ν := i νγν iζ 4.9 Γ iζ means the generalized degree [4],[6]. The wavefunctions in 4.6 satisfy the relations : + < x ϕ α± m > < x ϕα± n >dx = δ n,m 4. which means that they constitute an orthonormalized system in the Hilbert space L R +,dx. 5 An index hypergeometric transform We now combine the two basis ψ γ n n in 3.5 and ϕ α± n > in 4.6 together n with the function K γ.,. in 3. to construct for every fixed γ R with γ =,,..., a set of coherent states z;γ > z C labelled by points z C according to definition.3 by setting z;γ >:= K γ z,z z n γn n! ϕα± n > 5. For our purpose, we choose the parameters g and ω in 4. are such that 8gω = mc 4. In such case and in view of 4.5, we get that 8g ω = 5. and Eq.4.4 reduces to α + = α = + + ω 5.3 Now, if we set which means that γ = γ := α + = α gω c = + mc ω

6 Then, we can establish a closed form for wavefunctions of the coherent states defined in 5. as follows. Let x R +. Then, starting from 5. with the condition 5.4, we can write successively = K γ z,z < x z;γ >= K γ z,z c n z n γn n! xγ ω ix Γγ +ixs n z n < x n;γ >, 5.6 γn n! x ;γ,γ; = xγ ω ix Γγ +ix z n Kγ z,z γn n! c ns n x ;γ,γ, S n x ;γ,γ, = xγ ω ix Γγ +ix Kγ z,z Let us set where γn Γγ +nγ n+γ + zn n! < x z;γ >= xα ω ix Γγ +ix G γ x,z 5. ωγ z S n x ;γ,γ, G γ x,z := zn γn Γγ +nγ n+γ + n! S n x ;γ,γ, z = n ΓγΓ γ + γ n γ + n! n Making use of the following generating formula for the continuous dual Hahn [3],p.349: e ξ a+ix,a ix a+b,a+c + S n x ;a,b,c ξ n ; ξ = a+b n a+c n n! for a = b = γ, c = and ξ = z, we obtain that e z γ +ix,γ ix G γ x,z =. ΓγΓ γ + γ,γ ; z. 5.4 Returning back to 5. and inserting 5.4, we get that γ +ix,γ ix < x z;γ >= xα ω ix Γγ +ixez γ,γ + ; z 5.5 Kγ z,z ΓγΓ γ + Next, making use of 4.9, we write x γ in 5.5 as x γ = i γγγ +ix Γix 5.6 6

7 On the other hand, by 5.3 and 5.4, we can write ω in terms of γ as ω = γγ 5.7 Now, summarizing up the above calculation, Eq.5.5 takes the form i γ Γγ+ix ixγγ γ +ix,γ ix Γix γγ +ix e z γ,γ + ; z < x z;γ >= Kγ z,z ΓγΓ γ Finally, making use of Eq. 3., arrive at the following closed form for i γ γγ ix γ +ix,γ ix Γ γ +ixe z γ,γ + ; z < x z;γ >= z γ I γ z ΓγΓ γ + Γix 5.9 Finally, by.5,the coherent state transform corresponding the coherent states in 5.6 with the closed form 5.9 of their wavefunctions is the isometry mapping γ : L R +,dx F γ C 5. defined by Explicitly, i γ expz γ [ϕ]z = ΓγΓ γ + γ [ϕ]z := K γ z,z < z;γ ϕ > L R +,dx 5. + which is the announced transform in.. γ +ix,γ ix Γ γ +ix γ,γ + γγ ix Γix References ; z ϕxdx [] A. O. Barut and L. Girardello, Commun. Math. Phys., 4 97 [] G. N. Watson, Treatise on the Theory of Bessel functions, University Press,Cambridge 958 [3] G. E. Andrews, R. Askey and R. Roy, Special Functions, Encyclopedia of Mathematics and its Applications, Cambridge University Press, 999 [4] S.M. Nagiyev, E.I. Jafarov and R. M. Imanov, J. Phys. A: Math. Gen., 36 3 p.783 [5] J.P. Gazeau, Coherent states in quantum physics, Wiley-VCH Verlag GmbH & KGaA Weinheim,

8 [6] M. Freeman, M. D. Mateev and R. M. Mir-Kasimov, Nucl. Phys. B 969, p.97 8

9 AN INDEX F HYPERGEOMETRIC TRANSFORM ZOUHAÏR MOUAYN ABSTRACT. We construct a new one-parameter family of index hypergeometric transforms associated with the relativistic pseudoharmonic oscillator by using coherent states analysis. arxiv:5.64v [math-ph] May INTRODUCTION In[], while introducing a class of coherent states attached to symmetric spaces of non-compact type, the authors have considered a family of weighted Bergman spaceslabeledbyarealparameter γwithγ =,,,as { } F γ C = ψanalyticon C, ψz K C γ z z γ dµz <. wherek ν denotesthemacdonaldfunction[]anddµzisthelebesguemeasure on C. In this paper, we construct a one-parameter family of index hypergeometric transforms mapping isometrically the space of complex-valued square integrable functions ϕx on positive real half-line onto spaces in. by γ[ϕ]z = i γ expz Γγ Γ γ+ γ:l R +,dx F γ C + γ+ix, γ ix γ, γ+ ;z γγ ix ϕxdx. Γix Γ γ+ix withtheeulergammafunction Γandthe F hypergeometricseries[3]. Ourmethodisbasedoncoherentstateanalysis. Thatis,wepresentaclassof coherent states as superpositions of eigenstates of a relativistic model for the pseudoharmonic oscillator[4]. These eigenstates are expressed in terms of continuous dual Hahn polynomials[3]. In this superposition, the coefficients are the basis elements of the weighted Bergman spaces in.. The closed form of the constructed coherent states allows to define a coherent states transform which turns out to be the index hypergeometric transform in.. Thepaperisorganizedasfollows. Sectiondealswithabriefformalismofcoherent states and their corresponding coherent state transforms. In section 3, we summarize some needed tools on the relativistic pseudoharmonic oscillator. In section4,werecallthedefinitionoftheweightedbergmanspaceswearedealingwith. Insection5,weconstructaclassofcoherentstatesfromwhichwededuceaoneparameter family of index hypergeometric transforms.

10 ZOUHAÏR MOUAYN COHERENTSTATES Following[5,pp.7-76],let X, σbeameasurespaceandlet A x L X, σ beaclosedsubspaceofinfinitedimension.let {Φ n } beanorthogonalbasisof A xsatisfying,forarbitrary ξ X, ωξ:= where ρ n := Φ n L X.Define Kξ, ζ:= Φ n ξ < +,. ρ n Φ n ξ Φ n ζ, ξ, ζ X.. ρ n Then, Kξ, ζisareproducingkernel, A xisthecorrespondingreproducingkernelhilbertspaceand ωξ = Kξ, ξ, ξ X. Let HbeanotherHilbertspacewithdimH = and {φ n } beanorthonormal basisof H.Therefore,defineacoherentstateasaketvector ξ > Hlabelledbya point ξ Xas Φ ξ >:= ωξ n ξ φ n >..3 ρn We rewrite.3 using Dirac s bra-ket notation as <x ξ >= ωξ Φ n ξ <x φ n >..4 ρn Bydefinition,itisstraightforwardtoshowthat< ξ ξ >=andthecoherentstate transformw: H A x L X, σdefinedby isanisometry.thus,for φ, ψ H,wehave < φ ψ > H =<W[φ] W[ψ] > L x = W[φ]ξ:= ωξ < ξ φ >.5 X dσξ ωξ < φ ξ >< ξ ψ >.6 andtherebywehavearesolutionoftheidentity H = dσξ ωξ ξ >< ξ,.7 where ωξappearsasaweightfunction. X 3 THEWEIGHTEDBERGMANSPACE F γ C As mentioned in Section., a countable set of Hilbert spaces whose elements are analytic functions on C, have been introduced by the authors in[, p.5] as follows. Foreachfixed γwithγ =,,,theinnerproductisdefinedby ψ, φ γ := ψzφzdµ γ z, 3. C

11 where dµ γ z = ANINDEX F HYPERGEOMETRICTRANSFORM 3 πγγ ργ K γ ρ ρdθdρ,z = ρeiθ C 3. with the MacDonald function defined by[5, p.83]: K ν ρ = ρ ν + t ν exp t ρ 4t Usingthenotationin3.,thespacein.alsoreads { } F γ C = ψanalyticon C, ψ, ψ γ < +. dt. 3.3 Awellknownorthonormalbasisofthespacein3.4isgivenbythefunctions ψ γ nz:= 3.4 z n n!γn,n =,,,,z C, 3.5 and its reproducing kernel is obtained as K γ z,w:= + zw n γ n n! 3.6 inwhich a n isthepochhammersymboldefinedby a :=and a n :=aa+ a+n = Γa+n. 3.7 Γa OnecanusetheformulaforthemodifiedBesselfunctionofthefirstkind[5,p.77]: ζ ν+n I ν ζ =, 3.8 n!γν+n+ + for ζ = zwand ν =γ,topresent3.6inaclosedformas K γ z,w = Γγzw γ I γ zw, 3.9 So that the diagonal function of3.9 reads K γ z,z = Γγ z γ I γ z, z C. 3. Thelatterwillbeusedinthesequel. 4 A RELATIVISTIC MODEL FOR THE PSEUDOHARMONIC OSCILLATOR In this section, we recall some needed results which have been developed in [4] where the authors considered a model for the relativistic pseudoharmonic oscillator with the following interaction potential Vx:= mω xx+iλ+ g e iλ x 4. xx+iλ where ωisafrequency,g isarealquantityand λ = h/mcdenotesthecompton wavelengthdefinedbytheratioofplanck sconstant hbythemassmtimesthespeed oflightc.

12 4 ZOUHAÏR MOUAYN The corresponding stationary Schrödinger equation is described by the finitedifference equation mc coshiλ x + mω xx+iλe iλ x g + xx+iλ eiλ x ϕx = ǫϕx 4. withtheboundaryconditionsforthewavefunction ϕ =and ϕ =.The energy spectrum of the Schrödinger operator in4. is where and ǫ n := hωn+α + + α,n =,,, 4.3 α ± = + + ω ± 8g ω 4.4 ω = hω mc, g = mg h 4.5 The corresponding orthonormalized eigenstates of the form <x ϕ α ± n >=c n x α + ω ix Γα +ixs n x ; α +, α, 4.6 where and c n = n!γn+α + + α Γ n+α + + Γ n+α S n x n,a+ix,a ix ;a,b,c := a+b n a+c n 3F a+b,a+c ; 4.8 isthecontinuousdualhahnpolynomial[3,p.33]givenintermsofthe 3 F -sum. The notation ζ ν :=i ν Γν iζ 4.9 Γ iζ means the generalized degree[4, 6]. The wavefunctions in4.6 satisfy the relations: + <x ϕ α ± m > <x ϕ α ± n >dx = δ n,m 4. which means that they constitute an orthonormalized system in the Hilbert space L R +,dx. 5 AN INDEX HYPERGEOMETRIC TRANSFORM Wenowcombinethetwobasis ψn γ n in3.5and ϕ α ± n > n in4.6togetherwith thefunction K γ.,.in3.toconstructforeveryfixed γ Rwithγ =,,, asetofcoherentstates z; γ > z C labelledbypointsz Caccordingtodefinition.3 by setting z; γ >:= K γ z,z z n γn n! ϕα ± n >. 5.

13 ANINDEX F HYPERGEOMETRICTRANSFORM 5 Forourpurpose,wechoosetheparametersgand ωin4.aresuchthat8gω = mc 4.Insuchcaseandinviewof4.5,wegetthat and Eq.4.4 reduces to 8g ω = 5. α + = α = ω Now,ifweset γ:= α + = α 5.4 which means that γ = + 6gω hc = + mc hω. 5.5 Then, we can establish a closed form for wavefunctions of the coherent states definedin5.asfollows. Letx R +.Then,startingfrom5.withthecondition 5.4, we can write successively Letusset where = K γ z,z <x z; γ >= K γ z,z z n γn n! c n z n γn n! xγ ω ix Γγ+ixS n = xγ ω ix Γγ+ix Kγ z,z = xγ ω ix Γγ+ix Kγ z,z <x n; γ >, 5.6 x ; γ, γ; z n γn n! c ns n x ; γ, γ, S n x ; γ, γ, zn γn Γγ+nΓ n+γ+ n! <x z; γ >= xα ω ix Γγ+ix G γ x,z 5. ωγ z G γ x,z:= = S n x ; γ, γ, γn Γγ+nΓ n+γ+ S n x ; γ, γ, z γ n γ+ n n! ΓγΓ γ+ n zn n! Making use of the following generating formula for the continuous dual Hahn[3, p.349]: e ξ a+ix,a ix S n x ;a,b,c ξ n ; ξ = 5.3 a+b,a+c a+b n a+c n n! +

14 6 ZOUHAÏR MOUAYN fora =b=γ,c = and ξ =z,weobtainthat G γ x,z = e z. ΓγΓ γ+ γ+ix, γ ix γ, γ+ ; z. 5.4 Returning back to5. and inserting5.4, we get that γ+ix, γ ix <x z; γ >= xα ω ix Γγ+ixez γ, γ+ ; z. 5.5 Kγ z,z ΓγΓ γ+ Next,makinguseof4.9,wewrite x γ in5.5as x γ =i γ Γγ+ix Γix 5.6 Ontheotherhand,by5.3and5.4,wecanwrite ω intermsof γas ω = γγ 5.7 Now, summarizing up the above calculation, Eq.5.5 takes the form i γ Γγ+ix ix γ+ix, γ ix Γix γγ Γγ+ix e z γ, γ+ ; z <x z; γ >= 5.8 Kγ z,z ΓγΓ γ+ Finally, making use of Eq.3., arrive at the following closed form for i γ γγ ix γ+ix, γ ix Γ γ+ixe z γ, γ+ ; z <x z; γ >= z γ I γ z Γγ Γ γ+ Γix 5.9 Finally, by.5, the coherent state transform corresponding the coherent states in 5.6 with the closed form5.9 of their wavefunctions is the isometry mapping defined by γ:l R +,dx F γ C 5. γ[ϕ]z:= K γ z,z <z; γ ϕ > L R +,dx 5. Explicitly, γ[ϕ]z = i γ expz Γγ Γ γ+ + which is the announced transform in.. γ+ix, γ ix Γ γ+ix γ, γ+ γγ ix Γix ; z ϕxdx 5.

15 ANINDEX F HYPERGEOMETRICTRANSFORM 7 REFERENCES []A.O.BarutandL.Girardello,Commun.Math.Phys.,497 [] G. N. Watson, Treatise on the Theory of Bessel functions, University Press,Cambridge 958 [3] G. E. Andrews, R. Askey and R. Roy, Special Functions, Encyclopedia of Mathematics and its Applications, Cambridge University Press, 999 [4]S.M.Nagiyev,E.I.JafarovandR.M.Imanov,J.Phys.A:Math.Gen.,363p.783 [5] J.P. Gazeau, Coherent states in quantum physics, Wiley-VCH Verlag GmbH& KGaA Weinheim, 9 [6]M.Freeman,M.D.MateevandR.M.Mir-Kasimov,Nucl.Phys.B969,p.97 SULTAN MOULAY SLIMANE UNIVERSITY, FACULTY OF SCIENCES AND TECHNICSM GHILA PO.BOX 53, BÉNI MELLAL, MOROCCO address: mouayn@gmail.com