arXiv:1112.1570v1 [math-ph] 7 Dec 2011
Umbral methods and operator ordering
D. Babusci∗
INFN - Laboratori Nazionali di Frascati, via E. Fermi, 40, IT 00044 Frascati (Roma), Italy
G. Dattoli†
ENEA - Centro Ricerche Frascati, via E. Fermi, 45, IT 00044 Frascati (Roma), Italy
(Dated: December 8, 2011)
Abstract
By using methods of umbral nature, we discuss new rules concerning the operator ordering. We apply the technique of formal power series to take advantage from the wealth of properties of the exponential operators. The usefulness of the obtained results in quantum field theory is discussed.
PACS numbers:
Keywords: Umbral calculus, operator ordering, Bessel-like functions, coherent states, integral transforms
∗Electronic address: [email protected] †Electronic address: [email protected]
I. INTRODUCTION
A formal power series associated with a function f(x) is defined as [1]
f(x) =X
n=0
cn
n!x
n. (1.1)
If we introduce the following umbral notation [2] ˆ
cn=cn, (1.2)
with the assumption1 (ˆc0 = 1)
ˆ
cmcˆn= ˆcm+n=cm+n, (1.3)
we can write the formal series (1.1) as a pseudo-exponential
f(x) = eˆc x. (1.4)
By taking the further freedom of defining the operator function as follows ˆ
F = ˆF =f( ˆO) = eˆcOˆ, (1.5)
we can transform a generic operatorial function into a pseudo-exponential operator (PEO). Albeit Eq. (1.5) is just a formal definition, we will see that the wealth of the properties of the exponential operators offers a powerful mean to transform the use of PEO in an effective and useful tool. If the operator ˆO is just the ordinary derivative, we find that, as a consequence of Eq. (1.2), the action of the exponential operator on an ordinary monomials is given by ec ∂ˆ x xn = (x+ ˆc)n= n X k=0 n k ckxn−k (1.6)
and, therefore, we can generalize the shift operator according to the following identity, valid for any function that can be expressed as a pseudo-exponential,
g(x+λˆc) = eλc ∂ˆ x g(x) = eλc ∂ˆ x ed xˆ = ∞ X n=0 ˆ dn n! n X k=0 n k (λˆc)kxn−k = edˆ(x+λˆc) = ed xˆ eλdˆˆc (1.7) 1
where λ is a c-number, and, in the second line, we have used the fact that the umbral operators ˆcand ˆd commute.
Along the same line of reasoning, we can consider other explicit forms of PEO. If ˆO =
λ x ∂x we can recognize the associated exponential as a kind of dilatation operator. In this
case, by setting x= et, it’s easy to show that [3]
eλˆc x ∂x
x=f(λ)x . (1.8)
In the case ˆO =λ x2∂x, by setting x= 1/t, we obtain a kind of projective transformation
eλˆc x2∂x x= e−λˆc ∂t 1 t = 1 t−λˆc = x 1−λˆc x. (1.9)
i.e., if the series converges,
eλˆc x2∂x x=x ∞ X n=0 cn(λ x)n =x q(x). (1.10)
As an example, in the case
cn =
(−1)n
n! (1.11)
we obtain for the function f(λ) in Eq. (1.8)
f(λ) = X n=0 (−1)n (n!)2 λ n =C 0(λ) =J0(2 √ λ) (1.12)
and for q(x) in Eq. (1.10)
q(x) = e−λ x, (1.13)
where C0(x) is the Bessel-Tricomi function of order zero [4]. The example of this function
and of its power series expansion is paradigmatic, and, for this reason, we will study it to provide further insight into the topics we will develop in the following.
The formalism of PEO can be exploited along with Fourier transforms to develop new and interesting speculations. Given a generic function F(x), by indicating with ˜F(k) its Fourier transform, we can express any function of the type F(ˆc x) as (see Eq. (1.4))
F(ˆc x) = √1 2π Z ∞ −∞ dkF˜(k) ei kˆc x= √1 2π Z ∞ −∞ dkF˜(k)f(i k x). (1.14) that, for cn satysfing Eq. (1.11), gives
F(ˆc x) = √1
2π
Z ∞
−∞
This result is particularly interesting since it can be considered as a generalization of the Fourier transform itself.
In this introduction we have presented the main elements of the formalism that we are going to apply in the rest of the paper. In sec. II we will further develop the theory of formal series expansion, by deriving some addition theorems. Here, we will also study some applications of the formalism. In particular, we will discuss how the known identities of operational calculus valid for ordinary exponential operators can be reconsidered within the present more general framework. Finally, in sec. III we will analyze the obtained results in the perspective of the generalized transforms.
II. UMBRAL OPERATOR ORDERING
In this section we will discuss formal operation between PE’s and PEO’s when non commuting operators are involved. We will use the exponential umbral notation to state addition formulae for functions expressible as formal power series. Therefore, we consider (see Eq. (1.4)) the following identity
f(x+y) = eˆc(x+y) (2.1)
and ask whether an addition formula for the function f(x) can be obtained.
Even though the general semi-group propertyf(x+y) =f(x)f(y) =f(y)f(x) is lacking, the use of the identity (2.1) allows to explore the possibility of a na¨ıve disentanglement based on a kind of semi-group factorization. Since the operators ˆA = ˆc x and ˆB = ˆc y commute, we can write
eˆc(x+y) = ec xˆ eˆc y = eˆc yeˆc x (2.2) that should be properly interpreted. In fact, taking into account Eq. (1.2), one has
ec yˆ ec xˆ = ec yˆ X n=0 cn n!x n= eˆc yf(x) 6 =f(y+x) (2.3) The following example better clarifies the meaning of this equation. If the coefficientscn are
given by Eq. (1.11), according to Eq. (1.3), one has eˆc yf(x) = ∞ X n=0 (−y)n n! Cn(x) (2.4)
where Cn(x) = ∞ X k=0 (−x)k (n+k)!k! (2.5)
is the Bessel-Tricomi function of order n. Therefore, it’s clear that
ec yˆ f(x)6=C0(x)C0(y). (2.6)
Instead, going back to Eq. (2.3) and expanding both series, we get
f(x+y) = ∞ X n=0 ˆ cnyn n! ∞ X k=0 ˆ ckxk k! = ∞ X n=0 yn n! ϕn(x) (2.7) where the function
ϕn(x) = ∞ X k=0 cn+kxk k!
in some cases can be identified with the the derivative of order n of the function f(x). In the previous examples, x and y are c-numbers or commuting operators. Further problems arise if they are replaced by non commuting operators. We will focus our attention on the problems associated to the operator ordering, by discussing, as an example, the theory of SU(1,1) coherent states [5] from the point of view of formal power series.
By introducing two indipendent sets of creation-annihilation operators with commutation relations (i, j = 1,2)
[ˆai,ˆa+j ] =δij, [ˆai,aˆj] = [ˆa+i ,ˆa+j ] = 0, (2.8)
we can define the following operators ˆ K+ = ˆa+1 ˆa+2 , Kˆ−= ˆa1aˆ2, Kˆ0 = 1 2(ˆa + 1 aˆ1+ ˆa2ˆa+2) (2.9)
that realize a SU(1, 1) algebra with commutation brackets [6] h ˆ K−,Kˆ+ i = 2 ˆK0 h ˆ K0,Kˆ± i =±Kˆ±. (2.10)
Let us now introduce the coherent states2
|α, mi= s m! Cm(|α|2) Cm(αKˆ+)|0, mi (α∈C) (2.11) 2
The name is motivated by the fact that, as we will see below, they are eigenstates of an annihilation operator.
(|0, mi means that mode 1 is empty and mode 2 contains m photons). If we define the repeated action of the operator ˆK+ on the state|0, mi as follows
ˆ K+n|0, mi= r n! (n+m)! m! |n, n+mi, (2.12) we can write |α, mi= p 1 Cm(|α|2) ∞ X n=0 (−α)n p n! (n+m)!|n, n+mi. (2.13) As a consequence of the orthonormality of the states |n, mi, namely
hn, m|n′, m′ i=δn,n′δm,m′ one has hα, m|α′, m′ i= p δm,m′ Cm(|α|2)Cm(|α′|2) ∞ X k=0 (α∗α′)k k! (m+k)!. (2.14) Moreover, defining the action of the operator ˆK− as follows
ˆ
K−|n, n+mi=
p
n(n+m)|n−1, n+m−1i, (2.15) it is easily checked that the states (2.13) are eigenstates of the operator ˆK−
ˆ
K−|α, mi=−α|α, mi. (2.16)
We will come back to the theory of the generalized coherent states in the last section. Here, we stress again that the reason for discussing these states lies in the fact that they can be defined as (we limit ourselves to the case m= 0)
|α,0i= p 1
C0(|α|2)
eαcˆKˆ+
|0,0i (2.17)
with the umbral operator ˆcsatisfying Eq. (1.11). This implies that a formal series expansion can be exploited to treat genuine quantum problems, as those associated with two-photon interactions [7].
In quantum mechanics often occur exponentials whose argument is a sum of non-commuting operators. For example, let us consider a formal exponential operator of the type
ˆ
E = exp ˆ
where Ω ∈ C and ˆa,ˆa+ are ladder operators, i.e. [ˆa,aˆ+] = 1. The operators Ω∗ˆcˆa+ and
Ω ˆcˆa satisfy the conditions for the validity of the Weyl disentanglement rule, according to which eAˆ+ ˆB= exp ( −[ ˆA,2Bˆ] ) eAˆeBˆ (2.19)
provided that hA,ˆ [ ˆB,Cˆ]i =hB,ˆ [ ˆB,Cˆ]i= 0. Therefore, we get ˆ E = exp (|Ω|ˆc)2 2 eΩ∗ˆcaˆ+ eΩ ˆcˆa. (2.20)
Let us now consider the action of the above operator on the vacuum state of the electro-magnetic field, namely3
|Ωi= ˆE|0i= exp (|Ω|cˆ)2 2 eΩ∗ˆcˆa+|0i. (2.21) It is easily checked that
ˆ
a|Ωi= Ω∗ˆc
|Ωi, (2.22)
i.e., that the states (2.21) are not, in general, coherent. The use of the generating function of two-variable Hermite polynomials
∞ X n=0 tn n!Hn(x, y) = e x t+y t2 Hn(x, y) =n! [n/2] X k=0 xn−2kyk (n−2k)!k! (2.23) allows us to write |Ωi= ∞ X n=0 ˆ cn n! |hni (2.24) where, since (a+)k|0i=√k!|ki |hni=Hn Ω∗ˆcˆa+,|Ω|2 2 |0i=n! [n/2] X k=0 (Ω∗)n−2k|Ω|2k 2kk!p (n−2k)!|n−2ki. (2.25) These states are called Hermite quantum states. They are not mutually orthogonal
hhn|hmi= n!m! √ 2n−m |Ω| n+m [n/2] X k=0 1 4kk! n−m 2 +k ! (n−2k)! , (2.26)
and the scalar product with the states |miis given by
hm|hni= n! √ 2n−m (Ω∗)m|Ω|n−m n−m 2 !√m! . (2.27) 3
III. FURTHER EXAMPLES AND CONCLUSIONS
The methods we have proposed in this paper are useful to deal with operator functions, but can also be exploited to treat many other problems, and this concluding section will be devoted to discuss some examples of them.
As a first example, we will consider the following evolution equation ˆ
∆ Ψ(x, δ) = ˆHΨ(x, δ) (3.1) where the eigenvalue equation for the operator ˆ∆ is
ˆ
∆E(λ δ) = λ E(λ δ) (3.2) with E(α) = eαˆc. The evolution operator associated to Eq. (3.1) is
ˆ
U(δ) = ˆE(δHˆ) = eδˆcHˆ . (3.3)
In the case ˆH =∂2
x and Ψ(x,0) = e−x
2
, the solution of the problem (3.1) can be written as a formal restatement of the Glaisher identity [8] as follows
Ψ(x, δ) = eδˆc ∂x2e−x2 = √ 1 1 + 4δcˆ exp − x 2 1 + 4δcˆ = ∞ X n=0 (4δˆc)nL− 1 2 n (x2) (3.4)
where in the second line an expansion involving the Laguerre polynomialsLnhas been used.
The relevance of the previous results, along with the formalism of the Laguerre derivative [8], will be discussed later in this section.
The method proposed can also usefully applied to solve partial differential equations. We consider indeed the following partial differential equation
∂tt ∂tF(x, t) =−∂x2F(x, t) F(x,0) =g(x) (3.5)
that we call pseudo-heat equation. Since the Bessel-Tricomi function of order zero is an eigenfunction of the Laguerre derivative operator LDˆξ=−∂ξξ ∂ξ [8], i.e.
LDˆξC0(ξ) =λ C0(ξ),
according to Eq. (1.12) we can write the solution of Eq. (3.5) in the form
F(x, t) =C0(t ∂x2)g(x) = e−ˆc t ∂
2
The rules for use in applications of the evolution operator ˆU(t) = e−ˆc t ∂2
x associated to Eq.
(3.5) deserve an accurate treatment, going beyond the scope of this paper. Here we only note that in the case g(x) =xm, the solution of the Eq. (3.5) is given by
F(x, t) = ∞ X n=0 (−tˆc)n n! ∂ 2n x xm = LHm(x,−t) (3.7) where LHm(ξ, τ) =m! [m/2] X k=0 τmξm−2k (k!)2(m−2k)! (3.8)
are sometimes called hybrid polynomials because their properties are intermediate between those of Laguerre and Hermite polynomials [8]. They can be framed within the context of the formalism of the hypergeometric function. However their properties are so peculiar, interesting and useful in applications that they should be considered separately.
In closing the paper we discuss the combination of the PEO formalism with integral transforms method. Let us consider the following identity (Reν > 0)
1 (1 + ˆc x)ν = 1 Γ(ν) Z ∞ 0 dse−s(1+ˆc x)sν−1. (3.9)
The use of Eq. (1.4) allows us to recast it in the form 1 (1 + ˆc x)ν = 1 Γ(ν) Z ∞ 0 dse−sf(−s x)sν−1, (3.10)
that, in some sense, generalizes the Laplace and Mellin transforms. For example, in the case ˆ
cn= 1
(m n+p)! (3.11)
from Eq. (3.9) one has 1 (1 + ˆc x)ν = 1 Γ(ν) ∞ X k=0 (−1)kxk k! (m k+p)!Γ(k+ν). (3.12) The theory of PEO Laplace and Fourier transform deserves a deeper treatment to which will be devoted a forthcoming paper.
[1] E. T. Bell, Amer. Math. Monthly45 (7), 414 (1938).
[2] G. C. Rota, D. Kahaner, and A. Odlyzko, J. Math. Anal. Appl.42(3), 684 (1973); S. Roman, The Umbral Calculus, Dover, Mineola, NY (2005).
[3] G. Dattoli, P. L. Ottaviani, A. Torre, and L. V´azquez, Riv. Nuovo Cimento 20(2), 1 (1997).
[4] L. C. Andrews.Special functions for Engineers and Applied Mathematicians, Mac Millan, New York (1985).
[5] W. H. Louisell,Quantum statistical properties of radiation, Wiley, New York (1990). [6] A. O. Barut and L. Girardello, Comm. Math. Phys.21, 41 (1971).
[7] D. Walls, Nature 306, 141 (1983).
[8] D. Babusci, G. Dattoli, and M. Del Franco, Lectures on Mathematical Methods for Physics, Internal Report ENEA RT/2010/5837.
