Print version ISSN 0103-9733
Braz. J. Phys. vol.28 n.4 São Paulo Dec. 1998
On the Duffin-Kemmer-Petiau algebra and the generalized phase space
Marco Cezar B. Fernandes(1) and J. David M. Vianna(1,2)
(1)Núcleo de Física Atômica, Molecular e Fluidos
Instituto de Física, Universidade de Brasília
70910-900 Brasília, DF, Brazil
(2)Instituto de Física, Universidade Federal da Bahia
Campus Universitário de Ondina
40210-340 Salvador, BA, Brazil
Received 9 September, 1998
The Duffin-Kemmer-Petiau (DKP) relativistic equation has been recently uded to study the interactions of spinless mesons with nuclei. In view of this interest and also the interest to determine the phase space picture for hadronic quantum theory, we present a derivation of the DKP equation of the generalized phase space proposed by Bohm and Hiley. Our development is based on the algebraic calculus introduced by Schönberg and uses the idea of algebraic spinors due to Riesz and Cartan. The free DKP particle and the more general case of the DKP particle in a prescribed external electromagnetic field are considered, and we obtain the DKP Liouville type equations for these cases.
The description of quantum systems using a generalized form of the Liouville equation is apropriate in the context where one wants to use a classical formalism to understand the nature of physical attributes usually associated with quantum mechanics. Quantities like spin, for instance, can be given a formulation in terms of a Liouville type equation in a relativistic phase space . In such cases the spinorial character of the theory is contained essentially in the algebraic structure of the Liouville superoperator. Therefore, it is important to know how the spin algebras are combined with the differential operators involved in the Liouville equation as well as the domain of these operators . This combined structure is then what we mean by a generalized Liouville equation. In the relativistic case the role played by the so-called geometric algebras has been given attention as a way of understanding the nature of the relativistic phase space . Following suggestions of Schönberg and Bohm, Holland  derived relativistic phase space equations for a massive spin particle in an external electromagnetic field. In his development, Holland takes the complex Dirac algebra C4 and obtains the phase space representation of the Dirac and Feynman-Gell-Mann equations.
Recently [4, and Refs. cited therein] the first-order relativistic Duffin-Kemmer-Petiau (D.K.P) equation has been analyzed as part of a program to study the interactions of spinless mesons with nuclei. Simultaneously (and independently) the D.K.P algebras which are associated to D.K.P equation have been studied from a modern perspective .
In view of this recent interest in the use of the D.K.P relativistic equation, the study of D.K.P algebras and also the interest to determine the phase space formulation for hadronic quantum theory , we propose in this paper a derivation of the phase space representation of the D.K.P equation for scalar particles. We will follow the algebraic calculus introduced by Schönberg and the mathematical development of Bohm and Hiley  based on the idea of algebraic spinors . In doing so, we show that it is also possible to write relations of classical type in a relativistic phase space by means of the D.K.P. algebra. The paper is organized as follows. In section 2, along the lines of Schönberg  , we begin with the D.K.P equation for the algebra in the sense that the D.K.P operator acts on a subspace of the algebra. This allows us to suggest a broader meaning for this operator aiming to generalize the equation for further integer spins. This will also yields a relation with the Dirac algebraic spinors. We will then take from that and use a relativistic version of the Wigner-Moyal transformation to make the passage to a phase space equation. Section 3 will follow with an interpretation of our D.K.P Liouville type equation corresponding to scalar particles in an external electromagnetic field. Section 4 closes with some conclusion remarks.In the Appendix the notation and some formal definitions related to spinor spaces, Grassmann, Dirac and D.K.P. algebras are presented.
II Phase space formulation of the D.K.P relativistic equation
In this section, following Schönberg , we begin with the D.K.P equation in the algebra in order to give a broader meaning to this relativistic equation in terms of the algebraic spinors . This will allow us to use the techniques introduced in  further on in the paper.
The D.K.P operator in the algebra combines the covariant vector ¶/¶xm º ¶m with the generator of the D.K.P algebra bm. The evolution D.K.P operator is the contraction
The free D.K.P particle of mass m is described by the following equation:
This is an equation defining the eigenstates Y of ¶m bm . This equation is being seen here as a generalization of the usual D.K.P equation  in the sense that the Y is an element of the minimum left ideal of an extended Grassmann algebra. Following the Appendix, this Y takes the explicit form:
Now, from the general form
it is easy to see that the action of a bm (p) on a spinor Y projects it down to the space of antisymmetric tensors of order p+1 and p. This then shows the difference between the Dirac algebraic spinors and D.K.P spinors in this algebraic context.
In the present work, we restrict our analysis to the scalar particles, i.e we take p = 0. Thus
The Y which are elements of the space of representation of the operators above have the general form
They are expressed as a direct sum of scalars and vectors. This corresponds in the usual D.K.P. theory to the column representation
where f is a scalar function proportional to the projector (P) onto the scalars (see appendix) and the (fm ) are vector functions. In this case the D.K.P algebra coincides with the total matrix algebra of the (4+1) - dimensional space (see Appendix for more details).
We now aim to arrive at a phase-space D.K.P equation. Following  we first regard the free particle equation
and its adjoint
We define two sets of elements in the algebra:
It can be verified that these are generators of two D.K.P algebras satisfying the relations
It is convenient to relate the and the to the and . For we define
The relations we want are
and it is verified that the element w anticommutes with all the .
From these relations we can write
where we have adopted the convention
The construction of the above relations amounts to apply the techniques introduced in  to derive a Liouville type equation in the generalized phase space. The relations (20) are analogous to the relations between the Grassmann algebra and the Clifford algebra shown in . Here, however, they have a different interpretation.
III D.K.P equation on the generalized phase space
The above algebraic calculus is based on an algebra for vectors and covectors (see Appendix). Therefore it gives rise to a structure similar to the momentum phase space i.e the image of a local chart of a cotangent bundle . It should be noted that the bilinear form B(see Appendix) used to construct the D.K.P algebra is not the symplectic bilinear form but a pseudo-euclidean form on phase space W. The space W enters the theory of the relativistic D.K.P particle in the usual (X, p) phase space in the following way: let M be the phase space of continuous variables (Xm , pm ) defined by the relativistic version of the Wigner-Moyal transformation .
The generalized relativistic phase space of the D.K.P particle can modulo relativistic constraints be viewed as the product space
where is the spin space of the D.K.P particle in W. T is the total space. A state of the particle is represented by the Wigner function defined on T. The set of these states will then form the domain of the operators that will be involved in the Liouville equation. Next, we derive this equation for the free D.K.P scalar particle. We begin with the D.K.P equation with no mass. The following steps serve to give a brief summary of the techniques used in  to obtain the Liouville operator. We go back to equations (8) and (9) and write it down for the density matrix V in the usual x-representation:
V is a function defined on the space T. The dependence on the spin indices has been dropped for convenience. Multiplying (25) by w and using the definitions (18) we get
Now we use the relations (20) to write:
We change variables according to
Thus (28) and (29) become
The addition and subtraction of the above equations give
Under the Wigner-Moyal transformation (23) these equations become
These are the massless free-particle D.K.P equations on the generalized phase space T. The functions F(Xm, pm) has the following module structure
where F(Xm , pm ) is the Wigner function defined on the continuous variables only.
The square of the operator
is the Liouville operator on F. In fact, we have
And, by using the relations
where [A, B]+ = AB+BA, we obtain
This is the classical Liouville equation for a free particle. Notice that the equation has two terms. The first one accounts for the scalar part of F and the second for the vector part of F. The operator
leaves the space of states stable which makes the equation algebraicaly consistent. It is noteworth to point out that besides the scalar part, there is also a term involving . This is because the D.K.P is a matrix algebra of the tensors of order p and p+1. In the case in consideration, we are taking p = 0 which justify the term corresponding to p+1. The making of the equation (39) opens the possibility of deriving the Liouville operator in a more general situation; we shall regard the D.K.P particle with mass m in an external electromagnetic field (in units = 1 and metric (1,-1,-1,-1)). The equations for V are:
Multiplying (42) by w and using (18) we get:
We now use the relations (20) to write
Changing the variables to Xm and xm , according to (30), and further expanding in the potentials yields
Following the same steps which led to (33) and (34) one gets
which under the Wigner-Moyal transformation become
These are the D.K.P equations in the generalized phase space. The corresponding Liouville operator is the square of the operator on F given in (47). The square of(48) leads to the same equation. In order to compute the square of the above operator we first rewrite (48) taking into account the fact that w2 = 1. Thus,
This equation is an eigenvalue equation for F. The Liouville operator LDKP is the square of the operator
with m2 as the eigenvalue. In order to compute the square we define the following notation
Now we compute
Clearly one can distinguish two terms. Firstly, the scalar part, i.e,
and secondly, the vector part
The total Liouville operator is +-2im2. Due to the presence of the projector P0 º P (see Appendix) in (51), operates only on the scalar part of F. We can leave P out of since it is just a unit on its range. Thus (51) can be read without P. Hence is just the Liouville operator for the Klein-Gordon equation with Euclidean metric dmn . The two terms in represent: the modified contribution to LDKP coming from the motion of the trajectory in phase space and the electromagnetic force, respectively.
In (53) we have the vector part of F being modified by two similar terms. Contrary to (51), these terms operate only on the vector part since they vanish on the scalar part. The third term shows the effect of the spin of the DKP particle which appears coupled with the electromagnetic field only in the vector part. Here there is a complete similarity with the Liouville operator for the Dirac equation derived in . The term (- ) is just the spin operator Smn exhibited in . Notice that despite we are analyzing the scalar case (p = 0), there is always the p+1 term involved. As aforementioned, this is because the D.K.P algebra gives rise to a total matrix algebra of order p and p+1.
We have shown how to apply the phase space approach proposed by Bohm and Hiley  in order to find a formalism describing bosonic particles. In such an approach the physical property of spin appears in a classical relativistic algebraic formalism in phase space. This space can be viewed as a product space which naturally embodies new kind of algebraic operators besides the usual differential operators that feature in the plain Liouville formalism. The generators of the D.K.P algebras are constructed in the standard fashion used for deriving Clifford algebras out of bilinear forms.
Via a relativistic version of the Wigner-Moyal transformation we have arrived at two Liouville type equations. One for free particles and the other for particles in the presence of an electromagnetic field. In previous works on this subject Bohm and Hiley studied the Dirac equation and its non-relativistic case . Therefore our results add to the program since we were able to exhibt an algebraic development for the relativistic phase space describing bosons as well. As a consequence, the interpretation of the solutions of the Liouville equation as spin fields having certain independence of motion, and the phase trajectories as whole depending on the interaction of these fields with the electromagnetic field has also been verified for bosonic systems.
So far we have obtained the Liouville equation for D.K.P particles corresponding to p = 0 in the D.K.P algebra. However it is possible to generalize this result for any allowed values of the label p. A further work in this direction is in progress and should be published in a forthcoming paper.
V-I The extended Grassmann algebra of a phase space
Let V be a n-dimensional vector space and V* its dual space. A phase space W is defined as
Let B be a bilinear form defined on W, i.e. B: W×W® R or C (Real or Complex field) given by
where á·,·ñ is the natural pairing of vectors and covectors. This bilinear form is non-singular and establishes an isomorphism between W and W*; the choice of this bilinear form on W embeds it into a Clifford algebra but in this case a Clifford algebra of the phase space W.
The standard way to construct the algebra from B is as follows: Let T(W) be the tensor algebra over W i.e.
where T(i) = WÄWÄ¼ÄW (i times) and W is identified with the 1-piece T(1)(W) of T(W).
From the universal property of T(W) one has
where C(W) is an associative algebra. Let I be the two-sided ideal
in T(W). Define C(W) = T(W)/I. Therefore one has
since f is an homomorphism. This implies that
Writing w as w = v Å u, v Î V and u Î V* one gets the extended Grassmann algebra of vectors and covectors
where one may have the identifications f(v) = v, f(u) = u.
Writing v and u in a basis i.e.
and using linearity of f one gets
Therefore C(W) is an algebra generated by vectors and covectors with basis comprised by the 22n elements
In order to build up a canonical basis for C(W) one defines the following primitive idempotent
It is easily verified that P2 = P. The canonical basis for C(W) is written as
Hence these 22n elements are linearly independents and a general element of C(W) can be expressed as a linear combination
where we have adopted the multi-index notation
and sum in repeated indices is also understood.
V-II The spinor spaces of C(W)
We shall now consider the regular representation of C(W) . The regular representaion of an algebra is a representation of the algebra on itself. An irreducible representation of C(W) can be constructed on its minimum left ideals . According to Cartan , the minimum left ideal of the Clifford algebra can be taken as the space of spinors of the algebra. The group of inner-automorphisms of the algebra acts irreducibly on the minimum left ideals thus yielding a spinorial representation. A way to construct minimum left ideals in an algebra is to use a primitive idempotent. In our case the element P introduced in (61) happens to be a primitive idempotent since,
Hence a minimum left ideal of C(W) can be formed by the projection
for every G Î C(W). We denote the projected space by CP(W).
Analogously one can form the space PG denoted by CP(W), which is a minimun right ideal of C(W). It turns out that C(W) is a matrix algebra and has a representation on the subspaces CP(W) and CP(W). Let us see how this result works in terms of components. For take
and project it down into CP(W),i.e
By taking into account the relations ei(P) = (P)ej = 0 as well as rules (62) we get
Now the space CP(W) of elements Y plays the role of the space of representations of C(W). Indeed it can be easily verified that
V-III The Dirac algebra
The algebra C(W) developed above is an affine algebra since it is generated by a set of vectors and covectors defined independently. When a metric is available one can distinguish two metric subalgebras in C(W) generated by
one for each sign of the metric.
Using relations (60) it follows that
Here an important point on the notation is in order. The element noted by gmnen does not mean to lower the indices n with the metric. We just mean that there is a sum on n thus leaving free the indice m to balance the equality. In this regard we should point out that the multiplication rules of the algebra depend on the covariant or contravariant nature of the generators.
The elements gm+ generates a Clifford algebra corresponding to the positive metric gmn. When n = 4 and gmn is the Minkowski metric, we have the Dirac algebra of space-time.
V-IV The Duffin-Kemmer-Petiau algebras
are idempotent elements of C(W). The unity of the algebra has an idempotent decomposition
The elements Pp satisfy some important properties, namely,
The generators of the D.K.P algebra which is denoted by b(p)m satisfy the following fundamental relations:
These generators have an expression within C(W) as follows
where "p'' is the order of the linear space into which Pp projects the Y Î C(W).
The element (Pp) + (Pp+1) is idempotent and commutes with all the bj(p). Thus (Pp) + (Pp+1) is the unity of the D.K.P algebra.
Despite one has a metric in the defining relations (67), the D.K.P algebra is not always a metric subalgebra of C(W). In fact,one can introduce the affine algebra Dn,p  generated by
It is clear that Dn, p contains D.K.P as a subalgebra. In fact, Dn, p coincides with D.K.P algebra when . In this case, D.K.P is an affine algebra even if the components of the bj(p) are defined in terms of the components of the metric tensor. As far as C(W) is concerned the algebra Dn, p is the total matrix algebra of the direct sum of the linear subspaces of CP(W) corresponding to covariant antisymmetric tensors of order "p'' and "p+1''. This total matrix algebra is the D.K.P algebra when . We shall denote the space of matrices of order p and p+1 by Dpp+1(W)
- D. Bohm and B.J. Hiley, in ''Old and New Questions in Physics, Cosmology, Philosophy, and Theoretical Biology'', A. van der Merwe, ed. (Plenum, New York, 1983), p.67.
- M. Schönberg, Anais Acad. Bras. Cienc. 28, 11(1956), 473 (1957); 30, 1, 117, 259, 429 (1958); Suppl. Nuovo Cimento (X) 6, 356 (1957).
- P.R. Holand, Found. Phys. 16, 701(1986)
- Y. Nedjadi and R. C. Barrett, J. Phys. G.: Nucl. Part. Phys. 19, 87 (1993)
- O. A. Sánchez-Valenzuela and R. E. Zuazua-Vega, J. Phys. A: Math. Gen. 23, 4967 (1993)
- Y. S. Kim and M. E. Noz, ''Phase Space Picture of Quantum Mechanics'', World Scientific, London (1991)
- M. Riesz, in Comptes Rendus 12me Cong. Math. Scand. (Lund, 1953), p. 241
- L. H. Loomis and S. Sternberg, ''Advanced Calculus'', Addison-Wesley, Reading, Mass. (1968).
- N. Kemmer, Proc. R. Soc. A 173, 91 (1939)
- D. Bohm and B.J. Hiley, Found. Phys. 11, 179(1981).
- R. Hermann,''Spinors, Clifford and Cayley Algebras'', Interdisciplinary Mathematics Vol. VII. Math. Sci. Press. USA (1974)
- E. Cartan, ''The Theory of Spinors'', Dover Publications, New York (1966)
- M. C. B. Fernandes, ''Geometric Algebras and the Foundations of Quantum Theory'', Ph.D. Thesis, Birkbeck College, Dept. Phys., London University (1995)