versión On-line ISSN 1678-4448
Braz. J. Phys. v. 27 n. 4 São Paulo Dic. 1997
On the Nonequilibrium Statistical Operator and Classical Thermofield Dynamics
Lourival M. da Silvaa,b, Ademir E. Santanab, and J. David M. Viannab,c.
aDepartamento de Ciências
Universidade Estadual da Bahia
48100-000, Alagoinhas, BA, Brazil
bInstituto de Física, Universidade Federal da Bahia
Campus de Ondina, 40210-340, Salvador, BA, Brazil
cDepartamento de Física, Universidade de Brasília
70910-900, Brasília, DF, Brazil
In commemoration of Roberto Luzzi's 60th birthday
Received May 30, 1997
A nonequilibrium statistical operator (NSO) is built for classical sistems using a field theory in classical phase space, which is but a classical version of the thermofield dynamics formalism. The approach developed here starts with a second-quantized version of this phase-space field theory. Then elements of symmetry are analysed and invariants of the theory are introduced. The local conservation laws are derived and used to make explicit NSO. Such a method is applied to derive the Fokker-Planck-Kramers equation.
In statistical mechanics a general and celebrated approach to treat nonequilibrium systems was proposed by Zubarev , the so-called nonequibrium statistical operator (NSO), which is based in a generalization of the Gibbs ensemble concept.
The NSO formalism has been used to treat nonequilibrium situations, which can be classified in two general classes of phenomena, associated with the response of the system to mechanical perturbations, as well as to thermal perturbations. Such a formalism has been a powerful tool to treat experimental situations, with a particular emphasis to quantum systems. So, for instance, Buishvili et al - applied NSO to develop a diffusion theory for nuclear spin, to study magnetic resonance, and to analyze the dynamics of nuclear polarization in solids; Kalashnikov , in his turn, used such an approach to study relaxation process of spin lattices and hot electrons in semiconductors; Zubarev and Bashkirov [9, 10] derived equations of type Fokker-Planck-Kramers. More recently, Tang  applied the method to deduce relations involving heat and work for out of equilibrium non-homogeneous systems. In particular, Professor Luzzi and collaborators - have developed the NSO concept, and have been successful, in a series of works, to describe photo-excited semiconductors in regions far from thermal equilibrium, and to derive kinetic equations. In a formal aspect, trying to improve the nonequilibrium theory to relativistic fields, Zubarev and Tokarchuk  have shown that NSO can be developed in the context of the called (quantum) thermofield dynamics [19, 20], an operator version of the Schwinger-Keldysh closed-time-path formalism.
For classical irreversible processes, NSO is based on the distribution function, that is the solution of the Liouville equation. Such a formulation has, as a basic characteristic, the fact that the (usual) Liouville equation describes the evolution of classical states with a fixed number of particles. This fact, in particular, makes difficult the use of the method where the number of particles is variable, as it is, for example, the case when chemical reactions take place. On the other hand, despite the renewal interest in the relativistic classical kinetic theory, motived by the use of such a theory to deal with the quark-gluons plasma formed during a heavy-ion collision , in the relativistic situation NSO is only partially developed . These aspects show that the NSO approach for classical systems has not been fully developed and explored, in spite of the importance of a myriad of (relativistic or non relativistic) other classical systems, as the intracellular transport process, classical bidimensional plasmas, gases, and so on.
The main goal of this paper is to improve the NSO method for a broader set of classical systems. In order to do this, the NSO formalism is developed in the context of a classical version of thermofield dynamics approach and applied to derive a basic kinetic equation.
Through the analysis of representations of the Galilei group on Liouville spaces [22, 23], a classical counterpart of the (quantum) thermofield dynamics formalism [24, 25] was recently identified as the Schönberg 's generalization of classical statistical mechanics [26, 27, 28]. This approach -, based on the use of methods similar to those of second quantization but for the classical Liouville equation, is built through the notion of phase-space fields, say y(x), x = (q,p), satisfying commutation (anticommutation) rules, according to the bosonic (fermionic) nature of the classical particles. The operators y(x) are defined in a Hilbert space (the Schönberg-Fock space), where the state of the system is established, and the usual theory is derived for a special class of Hermitian operators.
In such a phase-space field theory, that can also be considered as a second quantized version of the framework introduced by Prigogine and collaborators [35, 40, 41], some aspects should be pointed out: (i) The dynamical variables of a classical system are operators defined on Fock space. This fact allows a generalization of the concept of classical observable, by the introduction of quantities as, for instance, the "quantized'' Liouville operator. (ii) The use of symmetrized or antisymmetrized Fock space allows us to introduce the indistinguishability of particles within the context of classical mechanics, solving, for example, the Gibbs paradox in classical statistical mechanics. (iii) As in the case of a quantum field theory, the quanta of the field y(x) are interpreted as the classical particles. (iv) The concept of grand-ensemble is introduced in a natural way.
The Schönberg's classical second-quantization formalism, with its associated representations, gives rise then to new aspects of the description of classical systems, as well as a new mathematical construction is introduced in classical statistical mechanics. In this realm, therefore, we can explore the notion of classical NSO, taking advantage of the vector space structure, early developed for quantum systems.
In order to go on with, a résumé of the classical second-quantization method on phase space is presented in Section II, with emphasis on some aspects which are relevant for the sequence of this work. Thus we show that for every additive variable defined in phase space, there exists an operator in the Schönberg-Fock space. Besides, in Section III, some elements of symmetry are studied, and the constants of motion are identified in terms of quantized field operators y(x). In this context, we present the local conservation equations. Our NSO is introduced in Section IV, with a derivation of the Fokker-Planck-Kramers equation. This application has a twofold proposal. First, to show how such a NSO method works out in a specific situation. Second, as the derivation of such a kinetic equation is not a trivial problem, our method can be better compared with standard procedures. Section V is dedicated to concluding remarks.
II. Field Formalism in Phase Space
Consider a classical n-body system described by the Liouville equation
is the n-Poisson bracket;
is the Hamiltonian; pl is the momentum of the particle whose position is ql; and fn = f(q1,q2,...,qn,p1,p2,...,pn;t) is the probability density in the phase space of the n-body system.
In the Schönberg's formalism, such a classical n-body system is described in terms of field operators y(x;t) defined on phase space (x = (q,p)) and characterized by the commutation and anticommutation rules
where d(x-x¢) = d(q-q¢)d(p-p¢), and [A,B]± = AB±BA. In this approach, the equation of motion for the state of the system, |c(t)ñ, is given by
where L is the "second-quantized'' Liouville operator, that is
with dx = dpdq,
and y*(x;t) being the Hermitian conjugated of y(x;t). |c(t)ñ is an element of the Fock space (the Schönberg-Fock space) Fi = Å¥n = 0 Fin, Fin = HÄi HÄi···Äi H (n-factors), with i = a,s, such that Äi = s (Äi = a) is a symmetrized (antisymmetrized) product, and H is the Hilbert space introduced by Koopman. The choice of sign in the rules (3) and (4) determines the space Fs or Fa to be used and the statistics of the particles, which here are considered indistinguishable.
The number operator is defined by
for which any of the eigenvalues 0,1,2,... may be assigned. In the space Fi , a general state, solution of Eq.(5), is given by
where dnx = dx1dx2...dxn, |cnñ = y*(x1;t)y*(x2;t)...y*(xn;t)|0ñ. The state |0ñ, the vacuum defined in the phase space, is normalized, á0|0ñ = 1, and y(x;t)|0ñ = 0. The coefficients
are complex-valued functions, which belong to the class of functions 2 (W(x1, x2, ...,xn), Lebesgue), with W(x1,x2,...,xn) the phase space of n particles; such complex functions define a Hilbert-Koopman space Hn.
An approach developed in terms of Hn corresponds to a "first-quantized'' representation of classical statistical mechanics and describes a system with a fixed number of particles, n. It is showed  that the functions qn = q(x1,x2,...,xn;t) = áx1,x2,...,xn|qn(t)ñ, (|qn(t)ñ Î Hn) satisfy the equation
Hence, if we define f(x1,x2,...,xn;t) = |q(x1,x2,...,xn;t)|2, we obtain a solution of the Liouville equation, since the square of the absolute value of any solution of Eq.(8) is solution of Eq.(1). A consistent physical interpretation is gotten since |qn|2 is interpreted as the distribution function of n-particles in phase space. It follows that |cnñ describes a n-particle state for which the particles are at points xi = (qi,pi),i = 1,2,...,n of W(x1,x2,...,xn), and |c(t)ñ is a classical nonstationary grand-ensemble state.
In this "second-quantized'' formalism, a physical quantity, corresponding to a n-point dynamical variable, is represented by a linear Hermitian operator as
where a(x1,x2,...,xn) is a "first-quantized'' operator defined on Hn. The possible numerical values of a classical quantity described by A are its eigenvalues, and the average value is given by
As in quantum theory, three pictures can be introduced for both the state vector |c(t)ñ and the operator of this formalism, namely, a classical Schrödinger picture, a classical Heisenberg picture and a classical interaction picture. In the former, the operators are considered as time-independent whilst the functional state |c(t)ñ is time dependent. Then, we have |cS(t)ñ = U(t,to)|c(to)ñ, with U(to,to) = 1 and
if L does not depend on time explicitly. The classical Heisenberg picture is defined by the transformation (the index s (H) refers to the classical Schrödinger (Heisenberg) picture)
For this picture, it follows that
while Eq.(5) refers to the classical Schrödinger picture.
In the classical Heisenberg picture the field operator obeys the motion equation
and the density of probability of n-body in the phase space, f(x1,x2,...,xn;t), is defined thus
Ending this section, we would like to emphasize that the classical statistical mechanics developed in this scenario of vector (Fock) space, analogue to the quantum field theory, presents, beyond elegance, some formal and practical advantages. In particular, there exists a double structure revealed in the nature of the operators. Indeed, we notice that the generator of time evolution, the Liouvillian, is different from the Hamiltonian of the system. Such a doubling, in algebraic terms, is the same as that one arising in quantum thermofield-dynamics formalism. This aspect will be set up in a more evident way in the next section, where we will explore some aspects of symmetry in this phase space field theory. The conservation laws, a central point to build a nonequilibrium statistical operator, will be then written in a local form.
III. Aspects of symmetry and local conservation laws
First of all, let us write down the expressions of the main important operators for the development of this work, using the definition given by Eq.(9). They are (as longer as there is no confusion, hereafter we adopt the summation convention for repeated indices):
Generator of time translations (the Liouvillian, Eq.(6)),
Generator of phase space translations,
Generator of phase space rotations,
Linear momentum operator,
Angular momentum operator
If we define the operators
a representation for the Lie algebra of the Galilei group can be derived. That is, the generator of the symmetries in this representation, Eqs.( 11)-(17), satisfy
B plays the role of Galilei boost. There are ancillary commutation relations, showing how the observables are transformed under the Galilei generators; for instance, for the observable operators h, p, m and b, we have
So the operators b/m can be interpreted as the position operator of the theory, whilst m is the mass.
We notice that to each generator of symmetry there is an associated observable, both described by different elements of the Lie algebra given by Eqs.(19)-(28). This is a thermofield-dynamics Lie algebra[23, 43], and so, the Schönberg 's approach is its classical representation.
The invariants of this formalism can be derived from Eq.(10), via the condition
Then requiring the hypothesis of isotropy and homogeneity of the space-time and the condition (29), we can show that there exists seven basic invariants in this formalism: the six operators given by Eqs.(11)-(16) plus the conservation of mass, which can be expressed by the fact that [L, n] =0, where n, the number operator, is given by Eq.(7)
In order to build the nonequilibrium statistical operator, we obtain from Eq. (29), with A standing for each of the operators L,P,M,h,p, m, and n, the conservation laws in a local form, using Eqs.(11)-(16) and (30). First, to set the notation, we define
and the currents Jm(x;t) are defined by
with Ñx·Jm(x;t) = Ñq·Jm,q(x;t)+Ñp·Jm,p(x;t). Then, we have the following continuity equation for the densities L(x;t), P(x;t), M(x;t), h(x;t), p(x;t), m(x;t), and n(x;t):
Generator of time translation, L(x;t),
Generator of translation in phase space, P(x),
Generator of rotations in phase space, M(x),
Linear momentum, pb(x;t),b = 1,2,3,
where Tab(x;t) = (Tab(q)(x;t),Tab(p)(x;t)), with
r = |q-q¢| and
Angular momentum density, mab(x), a,b = 1,2,3
and Tab(x;t) = (Tab(q)(x;t),Tab(p)(x;t)) is given by Eqs.(37) and (38).
Particle number , n(x;t),
where J6(x;t) = ( J6,q(x;t),J6,p(x;t)) , with
In short, we write these equations as
Comparing our local conservation laws with those derived in the context of quantum statistical mechanics, we note that the currents Jm(x;t) depend not only on q, as in the quantum case, but also on p. Moreover, it should be interesting to point out that in order to determine such (phase space) conservation laws, we have used the correspondent hypothesis employed in the derivation of NSO in quantum case (for instance, given an operator O(x), x = (q,p), we are interested in integrals of type òF(x)O(x) dx, where F(x) is some arbitrary vector function of the phase space coordinates, that varies little over distances of order in the range of interaction forces between particles). Such a development has been so possible because this phase space field theory is based on a mathematical structure similar to that of quantum theory.
With such conservation laws written in a local form, we can build an expression of the NSO in this classical thermofield dynamics formalism. This is the subject of next section where, as an application, we consider a gas in contact with a thermostat to derive the Fokker-Planck-Kramers equation.
IV. Nonequilibrium statistical operator and Fokker-Planck-Kramers equation
As it is usual to derive the NSO operator, we assume that the state of a nonequilibrium system, for short interval of time, depends on a finite set of macroscopic parameters, which are, in turn, analytic functions of space position and time. We are looking for an operator r(t) which obeys the Liouville equation in its "second quantized'' version, Eq.(10), that is
At this point, one advantage of using the second quantized version of the classical statistical mechanics arises associated with its vector structure. In fact, we note that Eq.(42) is, in form, identical to the quantum case, except, as we are dealing with a classical system, that the generator of temporal evolution is the second quantized Liouvillian L (not a Hamiltonian) given in Eq.(6). In spite of this fact, however, we can follow, from Eq.(42), step-by-step, the quantum case (which can be found, for instance, in refs.[1, 12]). The differences from the quantum situation will emerge when the NSO operator is explicitly written. Then, the final result is given by (in this section, we consider all the operators in the classical Heisenberg picture)
is the Massieu-Planck functional. The parameters am(x;t) are the intensive thermodynamical variables conjugated to the extensive varibles Am(t), defined by Am(t) = áamñqt = Tr[amr]. The quantities am and Jm (m = 0,1,2,...,6) are the densities and the corresponding fluxes given in the previous Section. Eq.(43) gives the NSO in classical thermofield dynamics in its general form. If we are interested in some specific system we choose the convenient am and Jm to compose r(t).
Let us apply this method to derive the Fokker-Planck-Kramers equation. We consider s subsystems in contact to a thermostat (which is in thermal equilibrium), and the subsystems are supposed not to interact to each other. In this situation, the "second quantized'' Liouvillian can be written as
where Lo, the Liouvillian of the subsystems, is defined by
Lther is the Liouvillian for the thermostat, with phase space variables X = (Q,P); and Lin is the interaction Liouvillian between the subsystems and thermostat, specified here by
ho = ho(x) is the Hamiltonian for a generic subsystem, and hin = hin(x,X) is the interaction Hamiltonian between the generic subsystem and the thermostat.
The macroscopic state of the system is assumed to be fully characterized by the function f(x,t) defined by
where n(t) is the density number operator and r(t) is the NSO. Assuming the conservation of mass, we can write the equation for n(t) as a continuity equation, given by Eq.(40), that now takes the form
J6(x) = (J6q(x),J6p(x)), the flow density, is specified by
where we are using the notation
Using the conservation law Eq.(45) with the energy flow equation, we write Eq.(43) explicitly, picking up as the non-null variables a3(x;t) = h(t), with the corresponding thermal variable a3(x;t) = b(x;t), and a6(x;t) = n(x;t), with a6(x;t) = -b(x;t)j(x;t), resulting then in
The function j(x;t) can be determined assuming the condition
Here á···ñ is indicating the average with r(t), and á···ñloc is an average under the local statistical operator, defined from r(t) by discarding the flow terms, that is
(t) is the Massieu-Planck functional for the local situation.
Eq.(46) under condition (47) corresponds, in the classical thermofield dynamics, to the result derived by Zubarev  in the (usual) classical statistical mechanics. Then, from this point, we can follow according to Zubarev to derive an equation for (x,t), where f(x,t) is defined in Eq.(44). In this way we get
where á···ño means an canonical equilibrium average, kB the Boltzmann constant and T the temperature of the thermostat. The kinetic coefficients L11, L12, L21, and L22 are given by
Eq.(48) is the Fokker-Planck-Kramers equation, written in the Schönberg phase-space field formalism, describing the behavior of subsystems in contact with a thermostat.
V. Final remarks and conclusions
In this paper we have proposed a nonequilibrium statistical operator (NSO), to describe classical systems, based on a phase space field theory, using methods of the number representation first developed for quantum field theory. Then, in this approach, the field operators, y(x), x = (q,p), which are introduced in a second quantized version in the classical phase space, hold a representation for the Galilei group, associated with the algebraic structure of the thermofield dynamics formalism. Indeed, the field operators in phase-space, written in terms of y(x), present a double structure, which can be considered as a representation of w*-algebras from which the Lie algebra of thermal field theories emerge .
From the analysis of symmetries, we have presented the constants of motion in terms of the field operators and the equations of conservation have been written in a local form. This is a relevant feature of our work, which allows the introduction of a classical NSO on new grounds. This method has been used to derive the Fokker-Planck-Kramers equation, and doing so, we have shown as this classical NSO works in a specific example. Beyond that, we could analyse our procedure in comparison with standard methods.
We would like to emphasize that the method of second-quantized operators in phase space, used here in a non relativistic classical problem, can be generalized for relativistic situations. This is a work to appear elsewhere.
Acknowledgments: We are grateful to J. M. C. Malbouisson for suggestions and for reading the manuscript, and to A. Matos Neto for the discussions. This work was supported in part by CAPES and CNPq. A. E. S. would like to thank F. C. Khanna for stimulating discussions.
- D. N. Zubarev, Nonequilibrium Statistical Thermodynamics, (Plenum Publishing Corp. - Consultants Bureau, N. York, 1974).
- L. L. Buishvili and D. N. Zubarev, Sov. Phys. Solid State 7, 1505 (1965).
- L. L. Buishvili, Sov. Phys.-JETP 22, 1277 (1966).
- L. L. Buishvili and M. D. Zviadadze, Phys. Lett. 24A, 634 (1967).
- L. L. Buishvili and M. D. Zviadadze, Phys. Lett. 25A, 86 (1967).
- N. S. Bendiashvili, L. L. Buishvili and M. D. Zviadadze, Sov. Phys. - Solid State 10, 971 (1968).
- L. L. Buishvili and N. P. Giorgadze, Sov. Phys. Solid State 10, 937 (1968).
- V. P. Kalashnikov, Phys. Lett. 26A, 433 (1968).
- D. N. Zubarev and A. G. Bashkirov, Phys. Lett. 25A, 202 (1967).
- D. N. Zubarev and A. G. Bashkirov, Physica 39, 334 (1968).
- N. Tang, N. Cimento 94B, 1 (1986).
- T. T. M. de Castro, Fundamentação Mecânico-Estatística da Teoria de Estruturas Dissipativas em Matéria Condensada, PhD thesis, Instituto de Fí sica "Gleb Wataghin'', Universidade de Campinas, São Paulo, 1987.
- A. R. Vasconcelos, R. Luzzi, A. J. Sampaio and A. C. Algarte, Rev. Bras. Fis. 15, 106 (1985).
- R. Luzzi, A. R. Vasconcelos and A. C. Algarte, Rev. Bras. Fis. 16, 42 (1986).
- L. Lauk, A. R. Vasconcelos and R. Luzzi, Physica 168A, 789 (1990).
- A. S. Esperidião, A. R. Vasconcelos and R. Luzzi, Int. J. Mod. Phys. 7B,1157 (1993).
- J. G. Ramos, A. R. Vasconcelos and R. Luzzi, Fortschr. Phys. 43, 265 (1995).
- D. N. Zubarev and M. V. Tokarshuk, Theor. Math. Phys. 88, 876 (1991).
- H. Umezawa, Advanced Thermo Field Theory: Micro, Macro and Themal Physics (American Institute of Physics, N. York, 1993).
- H. Chu and H. Umezawa, Int. J. Mod. Phys. 9A, 2363 (1994).
- J. Alam, S. Raha and B. Sinha, Physics Report 273, 243 (1997).
- A. E. Santana, A. Matos Neto and J. D. M. Vianna, Hadronic J. 17, 539 (1994).
- A. Matos Neto, J. D. M. Vianna, A. E. Santana, F. C. Khanna, Physics Essay, 9, 596 (1996).
- A. E. Santana, F. C. Khanna, H. Chu, Classical Statistical Mechanics and Thermofield Dynamics, in Proc. of Thermal Field Theories and Their Applications, Eds. Y. X. Gui, F. C. Khanna and Z. B. Su (W.Scientific, Singapore, 1996), p.39.
- A. E. Santana, F. C. Khanna, H. Chu and C. Chang, Ann. Phys (N.Y.), 249, 481 (1996).
- M. Schönberg, N. Cimento 9, 1139 (1952).
- M. Schönberg, N. Cimento 10, 419 (1953).
- M. Schönberg, N. Cimento 10, 697 (1953).
- A. Loinger, Ann. Phys. (N.Y.) 20, 132 (1962).
- D. Riccia and M. Wernier, J. Math. Phys. 7, 1372 (1966).
- J. J. Hopfield and A. J. F. Bastini, Phys. Rev., 168, 193 (1968).
- M. Doi, J. Phys. A: Math. Gen. 9, 1474 (1976).
- T. Ali and E. Prugovecki, Physica, 89A, 501 (1977).
- T. N. Sherry and E. C. G. Sudarshan, Phys. Rev. 18D, 4580 (1978).
- C. George and I. Prigogine, Physica 99A, 369 (1979).
- D. Bohm and B. J. Hilley, Found. Phys. 11, 179 (1981).
- R. Paul, Field Theoretical Methods in Chemical Physics (Elsivier, Amsterdam, 1982).
- A. Matos Neto and J. D. M. Vianna, N. Cimento 86B, 117 (1985).
- A. E. Santana, A. Matos Neto and J. D. M. Vianna, Int. J. Theor. Phys. 28, 787 (1989).
- I. Prigogine, C. George, F. Henin and L. Rosenfield, Chem. Scripta 4, 5 (1973).
- B. Misra and Prigogine, Lett. Math. Phys. 7, 421 (1983).
- B. O. Koopman, Proc. Natl. Acad. Sci. USA 17, 315 (1931).
- A. E. Santana and F. C. Khanna, Phys. Lett. 203A, 68 (1995).