Abstract
This review is devoted to the universal algebraic and geometric properties of the non-relativistic quantum current algebra symmetry and to their representations subject to applications in describing geometrical and analytical properties of quantum and classical integrable Hamiltonian systems of theoretical and mathematical physics. The Fock space, the non-relativistic quantum current algebra symmetry and its cyclic representations on separable Hilbert spaces are reviewed and described in detail. The unitary current algebra family of operators and generating functional equations are described. A generating functional method to constructing irreducible current algebra representations is reviewed, and the ergodicity of the corresponding representation Hilbert space measure is mentioned. The algebraic properties of the so called coherent states are also reviewed, generated by cyclic representations of the Heisenberg algebra on Hilbert spaces. Unbelievable and impressive applications of coherent states to the theory of nonlinear dynamical systems on Hilbert spaces are described, along with their linearization and integrability. Moreover, we present a further development of these results within the modern Lie-algebraic approach to nonlinear dynamical systems on Poissonian functional manifolds, which proved to be both unexpected and important for the classification of integrable Hamiltonian flows on Hilbert spaces. The quantum current Lie algebra symmetry properties and their functional representations, interpreted as a universal algebraic structure of symmetries of completely integrable nonlinear dynamical systems of theoretical and mathematical physics on functional manifolds, are analyzed in detail. Based on the current algebra symmetry structure and their functional representations, an effective integrability criterion is formulated for a wide class of completely integrable Hamiltonian systems on functional manifolds. The related algebraic structure of the Poissonian operators and an effective algorithm of their analytical construction are described. The current algebra representations in separable Hilbert spaces and the factorized structure of quantum integrable many-particle Hamiltonian systems are reviewed. The related current algebra-based Hamiltonian reconstruction of the many-particle oscillatory and Calogero–Moser–Sutherland quantum models are reviewed and discussed in detail. The related quasi-classical quantum current algebra density representations and the collective variable approach in equilibrium statistical physics are reviewed. In addition, the classical Wigner type current algebra representation and its application to non-equilibrium classical statistical mechanics are described, and the construction of the Lie–Poisson structure on the phase space of the infinite hierarchy of distribution functions is presented. The related Boltzmann–Bogolubov type kinetic equation for the generating functional of many-particle distribution functions is constructed, and the invariant reduction scheme, compatible with imposed correlation functions constraints, is suggested and analyzed in detail. We also review current algebra functional representations and their geometric structure subject to the analytical description of quasi-stationary hydrodynamic flows and their magneto-hydrodynamic generalizations. A unified geometric description of the ideal idiabatic liquid dynamics is presented, and its Hamiltonian structure is analyzed. A special chapter of the review is devoted to recent results on the description of modified current Lie algebra symmetries on torus and their Lie-algebraic structures, related to integrable so-called heavenly type spatially many-dimensional dynamical systems on functional manifolds.
Keywords:
diffeomorphism group; current algebra symmetry; current Lie algebra representation; fock space; generating functional; distribution functions; Lie–Poisson structure; coherent states; Lie-Poisson action; Hilbert space linearization; hamiltonian systems; symmetry reduction; integrability; idiabatic states; factorization; heavenly type dynamical systems; integrable dynamical systems; dirac reduction; hydrodynamic flows; entropy; vortex flows PACS:
11.10.Ef; 11.15.Kc; 11.10.-z; 11.15.-q; 11.10.Wx; 05.30.-d
1. Introduction
It is an old classical result that the nonrelativistic quantum current algebra realizes [,,] a representation of the Lie algebra related to the semidirect product Diff of the topological diffeomorphism group Diff of the real space and the space of smooth Schwartz type functions on it. As it was later shown by G. Goldin, with collaborators [,,,], in fact, all nonrelativistic quantum many-particle Hamiltonian systems allow the equivalent representation by means of the current algebra operators and their realization on some specially constructed generalized Hilbert spaces with cyclic vector structure, strongly depending on the groundstate vectors of the corresponding Hamiltonian operators. The detailed analysis of this representation [,,] made it possible to reveal a deep connection of the specially factorized operator structure of Hamiltonian operators and the quantum complete integrability of the corresponding Heisenberg type operator dynamical systems. Moreover, studying vector field representations of the quantum current algebra, related to the semidirect product Diff of the topological diffeomorphism group Diff of the circle and the space of the smooth periodic functions on it, their isomorphism was stated [,,] with all completely known and up to date Lax type integrable classical dynamical systems on spatially one-dimensional functional manifolds. Closely related algebraic aspects of representation theory of the canonical creation–annihilation operators, both on the Fock space and on related cyclic Hilbert spaces, gave rise to the construction of the effective linearizing scheme of any smooth dynamical system on functional Hilbert space. As the main analytical trick of these schemes is based on the coherent vector representation of the canonical creation–annihilation operators on the Fock space, we describe their unbelievable and impressive applications to the theory of nonlinear dynamical systems on Hilbert spaces, their linearization and integrability, previously initiated in [,] and continued in []. We briefly review the coherent vector representations of the Bargmann–Segal space of complex holomorphic functions on , and describe a general approach to constructing coherent states and their applications both to the linearization of nonlinear dynamical systems on Hilbert spaces, and to describing their complete integrability. The latter is developed using the modern Lie-algebraic approach [,,,] to nonlinear dynamical systems on Poissonian functional manifolds, and proved to be both unexpected and important for the classification of integrable Hamiltonian flows on Hilbert spaces.
Other very important applications of the current algebra representations are related both to statistical physics, classical and quantum, and to hydrodynamics. The quantum current algebra quasi-classical representations made it possible to analytically describe [,,] the so-called collective variable approach in equilibrium statistical physics and calculate the main thermodynamical quantities at finite temperatures. The related quantum current algebra quasi-classical Wigner type representations proved to be effective in describing the kinetic theory [,] of many-particle systems and calculating both the corresponding evolution equations for the infinite hierarchy of many-particle distribution functions, and developing a new approach to their dynamically compatible splitting, based on the well known Dirac type reduction of Poissonian systems on functional submanifolds.
A very rich geometric structure of liquid flow in a domain and its properties can be deeply described by means of the corresponding diffeomorphism group Diff and its semi-direct products with different functional spaces on the domain It is well known that the same physical system is often described using different sets of variables, related with their different physical interpretation. It was observed [,,,,,,,,] that the corresponding mathematical structures used for describing the analytical properties of hydrodynamical systems are canonically related to each other. Simultaneously, mathematical properties, against a background of their analytical description, make it possible to study additional important parameters [,,,,,,,,,,,,,,,,] of different hydrodynamic and magnetohydrodynamic systems. Amongst these, we will mention integral invariants, describing such internal fluid motion peculiarities as vortices, topological singularities [] and other different instability states, strongly depending [,] on imposed isentropic fluid motion constraints. Being interested in their general properties and mathematical structures which are responsible for their existence and behavior, we present [] a detailed differential geometrical approach to thermodynamically investigating quasi-stationary isentropic fluid motions, paying more attention to the analytical argumentation of tricks and techniques used during the presentation. Amongst the systems analyzed here, we mention the Hamiltonian analysis and adiabatic magneto-hydrodynamic superfluid motion, as well constructing a modified current Lie algebra and describing magneto-hydrodynamic invariants and their geometry. In particular, we studied a modified current Lie algebra symmetry on torus, its Lie-algebraic structure and related integrable heavenly type dynamical systems, describing the quasi-conformal metrics of Riemannian spaces in general relativity.
2. The Fock Space, Non-Relativistic Quantum Current Algebra and Its Cyclic Representations
2.1. The Fock Space Representation
Let a Hilbert space possess the standard canonical Fock space structure [,,,,,,,], that is
where subspaces , are the symmetrized tensor products of the Hilbert space If a vector its norm
where and is the corresponding norm in for all Note here that concerning the rigging structure (18), there holds the corresponding rigging for the Hilbert spaces that is
with some suitably chosen dense and separable topological spaces of symmetric functions Concerning expansion (1), we obtain by means of projective and inductive limits [,,,] the quasi-nucleus rigging of the Fock space in the form (18).
Consider now any basis vector which can be written [,,,,] in the following canonical Dirac ket-form:
where, by definition,
and vectors are bi-orthogonal to each other, that is for any The corresponding scalar product of base vectors as (5) is given as follows:
where “” denotes the permanence of the matrix and is the corresponding scalar product in the Hilbert space Based now on the representation (4), one can define an operator for any as follows:
which is called the “creation” operator in the Fock space The adjoint operator with respect to the Fock space (1) for any called the “annihilation” operator, acts as follows:
where the hat over a vector denotes that it should be omitted from the sequence.
It is easy to check that the commutator relationship
holds for any vectors and Expression (9), owing to the rigging structure (18), can be naturally extended to the general case, when vectors and conserving its form. In particular, taking for any one easily gets from (9) that
for any where we put, by definition, the usual scalar product in the m-dimensional Euclidean space and for all and denoted by the classical Dirac delta-function.
The construction above makes it possible to observe easily that there exists the unique vacuum vector such that for any
for all and the set of vectors
is total in that is, their linear integral hull over the functional spaces is dense in the Hilbert space for every This means that for any vector , the following canonical representation
holds with the Fourier type coefficients for all The latter is naturally endowed with the Gelfand type quasi-nucleus rigging, dual to
making it possible to construct a quasi-nucleous rigging of the dual Fock space Thereby, the chain (14) generates the dual Fock space quasi-nucleolus rigging
with respect to the Fock space easily following from (1) and (14).
Construct now the following self-adjoint operator as
called the density operator at a point satisfying the commutation properties:
for any
Assume now that is a separable Hilbert space, F is a topological real linear space and is a family of commuting self-adjoint operators in (i.e., these operators commute in the sense of their resolutions of the identity) with dense in domain Consider the corresponding Gelfand rigging [,,] of the Hilbert space i.e., a chain
in which is a Hilbert space, topologically (densely and continuously) and quasi-nucleus (the inclusion operator is of the Hilbert–Schmidt type) embedded into the space is the dual to as the completion of functionals on with respect to the norm a linear dense in topological space is such that and the mapping → is continuous for any Then, the following structural theorem [,,,,,,,,] about the cyclic representations of the family of commuting self-adjoint operators in the separable Hilbert space holds.
Theorem 1.
Assume that the family of operators satisfies the following conditions:
(a) for the closure of the operator in coincides with for any that is on domain in
(b) the Range for any
(c) for every the mapping is linear and continuous;
(d) there exists a strong cyclic vector such that the set of all vectors and is total in (i.e., their linear hull is dense in ).
Then there exists a probability measure μ on , where is the dual of F and is the σ-algebra generated by cylinder sets in such that, for almost every there is a generalized common eigenvector of the family corresponding to the common eigenvalue that is for any and
with denoting here the result of the pairing between F and
The mapping
for any can be continuously extended to a unitary surjective operator where
for any is a generalized Fourier transform, corresponding to the family Moreover, the image of the operator under the - mapping is the operator of multiplication by the function
Now, if to construct the following self-adjoint family of linear operators in the Hilbert space where F is the Schwartz functional space dense in one can derive, making use of Theorem 1, that there exists the generalized Fourier transform (21), such that
for some Hilbert space sets and a suitable measure on with respect to which the corresponding joint eigenvector for any generates the Fourier transformed family Moreover, if for all the Fourier transformed eigenvector for all
Now we will consider the family of self-adjoint operators as generating a unitary family where the operator
is unitary, satisfying the abelian commutation condition
for any Since, in general, the unitary family is defined in the Hilbert space not coinciding, in general with the canonical Fock type space, the important problem of describing its cyclic unitary representation spaces arises, within which the factorization jointly with relationships (17) hold for any This problem can be treated using mathematical tools devised both within the representation theory of -algebras [,,,] and the Gelfand–Vilenkin [] approach. Below we will describe the main features of the Gelfand–Vilenkin formalism, being much more suitable for the task, providing a reasonably unified framework of constructing the corresponding representations. The next definitions will be used in our construction.
Definition 1.
Let F be a locally convex topological vector space, be a finite dimensional subspace of Let be defined by
and called the annihilator of
The quotient space may be, evidently, identified with the adjoint space of
Definition 2.
Let then the subset
is called the cylinder set with the base Q and the generating subspace
Definition 3.
Let One says that a cylinder set has Borel base, if Q is a Borel set, when regarded as a subset of
The family of cylinder sets with Borel base forms an algebra of sets, which is a key stone for defining measurable sets in and the corresponding measures on
Definition 4.
The measurable sets in are the elements of the σ-algebra generated by the cylinder sets with Borel base.
Definition 5.
A cylindrical measure in is a non-negative σ-pre-additive function μ defined on the algebra of cylinder sets with a Borel base and satisfying the conditions for any and if all sets have a common generating subspace
Definition 6.
A cylindrical measure μ satisfies the commutativity condition if, and only if, for any bounded continuous function, of real variables the function
is sequentially continuous in
Remark 1.
It is known [,,] that in countably normalized spaces, the properties of sequential and ordinary continuity are equivalent.
Definition 7.
A cylindrical measure μ is countably additive if, and only if, for any cylinder set which is the union of countably many mutually disjoints cylinder sets
The next two standard propositions [,,,,], characterizing extensions of the measure on hold.
Proposition 1.
A countably additive cylindrical measure μ can be extended to a countably additive measure on the σ-algebra, generated by the cylinder sets with a Borel base. Such a measure will also be called a cylindrical measure.
Proposition 2.
Let F be a nuclear space. Then, any cylindrical measure μ on satisfying the continuity condition, is countably additive.
2.2. Non-Relativistic Quantum Current Algebra and Its Cyclic Representations
Based on the Fock space defined by (18) and generated by the creation–annihilation operators (7) and (8), the current operator can be easily constructed as follows:
satisfying jointly with the density operator defined by (16), the following quantum current Lie algebra symmetry [,,,,,,] relationships:
holding for all and where we put, by definition,
being the usual commutator of vector fields and on the configuration space It is easy to observe that the current algebra (29) is the Lie algebra corresponding to the Banach group Diff the semidirect product of the Banach group of diffeomorphisms Diff of the m-dimensional space and the Abelian group As the Lie algebra of smooth vector fields on with the Lie bracket (17) is isomorphic to the Lie algebra of the Banach diffeomorphism group Diff it is natural to construct the corresponding unitary operators
on the Representation Hilbert space where for any , there holds where The constructed above exponential currents (23) and (31) constitute together a unitary operator group on the Hilbert space endowed with the following composition law
for all and The operator group (32) is, evidently, isomorphic to the semidirect product group which is endowed, respectively, with the natural composition law
for all and Concerning a more adequate mathematical description of the Banach diffeomorphism group , it is useful to consider the subgroup of smooth diffeomorphisms of with compact supports, which is a topological space with the topology given by a counted family of the metrics for all and So, the diffeomorphism group can be defined as the completion of the space with respect to the topology introduced above. This way, the constructed group is topological, locally linear connected and metrizable with a countable topology basis at each of its points. In particular, the group contains diffeomorphisms with noncompact supports, yet in the limit they can be approximated by the identity mapping in The latter makes it possible to state that for any the element for all generates the uniform continuous mapping
Proceeding now to the Banach group of currents G= Diff we have that the separable Hilbert space for every irreducible cyclic representation will be unitary equivalent to the Hilbert space (45), which in many physical applications reduces in the case for all to the following form:
being the space of square integrable functions with respect to the measure on
Assume now that an element is taken arbitrarily and consider the action of the Banach group of currents G on it:
where, by definition, for all is the corresponding Radon–Nikodym derivative [,] of the measure with respect to the measure on and is a complex-valued character of the unit norm, satisfying the relationship
for all ff For the Radon–Nikodym derivative above to exist, the measure on should be quasi-invariant with respect to the diffeomorphism group ff that is, for any measurable set the condition if, and only if, for arbitrary ff
In physics applications, the representation (35) is uniquely determined by the measure on which in the general case has a very complicated [,] structure, and its analytic construction is nontrivial. One of the fairly effective approaches to this problem is the quantum method of Bogolubov generating functionals developed in [,,,,]. Another approach, which is of considerable interest for the theory of dynamical systems, is based on algebraic methods of constructing self-adjoint functional-operator representations of the original current Lie algebra (29). In particular, the representation (35), corresponding to a quantum-mechanical system of identical bose-particles localized at points has a measure with supports [,] on Dirac delta-functions of the form:
at any with a measure of the form:
where is the corresponding symmetric ground-state wave function of the related quantum Hamiltonian system, satisfying the conditions (49) and (49), reduced on the invariant subspace Moreover, the following general expressions hold: and for any
where, by definition, As a simple consequence of the actions (39), one derives that
where we put, for brevity, that the character for all
2.3. The Generating Functional Equation, Cyclic Current Algebra Representation and Hamiltonian Operator Groundstate
Concerning the Fourier transform of a cylindrical measure in we will use the following natural definitions.
Definition 8.
Let μ be a cylindrical measure in The Fourier transform of μ is the nonlinear functional
coinciding with the characteristic functional of the measure
Definition 9.
The nonlinear functional on defined by (41), is called positive definite, if, and only if, for all and the condition
holds for any
The following important proposition, owing to Gelfand and Vilenkin [,], Araki [] and Goldin [,], holds.
Proposition 3.
The functional on defined by (41), is the Fourier transform of a cylindrical measure on if, and only if, it is positive definite, sequentially continuous and satisfying the condition .Suppose now that we have a continuous unitary representation of the unitary family in a suitable Hilbert space with a cyclic vector Then we can put
for any being the Schwartz space on and observe that functional (43) is continuous on F owing to the continuity of the representation. Therefore, this functional is the generalized Fourier transform of a cylindrical measure μ on :
From the spectral point of view, based on Theorem 1, there is an isomorphism between the Hilbert spaces and defined by and and next extended by linearity upon the whole Hilbert space In the non-cyclic case, there exists a finite or countably infinite family of measures on with and the unitary operator ⟶ for any corresponds in all to a multiplication operator on the exponent function This means that there exists a single cylindrical measure μ on and a measurable field of Hilbert spaces on such that
with ⟶, corresponding [] to the operator of multiplication by for any and Thereby, having constructed the nonlinear functional (41) in an exact analytical form, one can retrieve the representation of the unitary family on the corresponding Hilbert space , as follows: where
for all
The cyclic vector can be, in particular, obtained as the ground state vector of some unbounded self-adjoint positive definite Hamiltonian operator ⟶ , commuting with the self-adjoint non-negative particle number operator
that is Moreover, the conditions
and
hold for the operator →, where denotes its domain of definition, dense in To find the functional (43), which is called the generating Bogolubov type functional for moment distribution functions
where and the normal ordering operation is defined [,,,,,] as
it is convenient first to choose the Hamilton operator in the following secondly quantized [,,] representation
on the related Fock space where the sign means the usual gradient operation with respect to in the Euclidean space If the energy spectrum density of the Hamiltonian operator (52) on the cyclic representation Hilbert space is bounded from below, in works done by Goldin G.A., Grodnik J., Menikov R. Powers R.T. and Sharp D. [,,] it was stated that this Hamiltonian, modulo the ground state energy eigenvalue, can be algebraically represented on a suitably constructed current algebra symmetry representation Hilbert space , as the positive definite gauge type factorized operator
satisfying conditions (48) and (49), where is some specially constructed [,] linear self-adjoint operator, satisfying the condition
with the ground state , corresponding to chosen potential operators → . The singular structure of the operator (53) was previously analyzed in detail in [] where, in part, its well-posedness was showed.
The “potential” operator → is, in general, a polynomial (or analytical) functional of the density operator ⟶ for any and the operator → is defined as
where the self-adjoint “current” operator → can be naturally defined (but non-uniquely) from the continuity equality
holding for all Such an operator →, can exist owing to the commutation condition giving rise to the continuity relationship (56), if, additionally, to take into account that supports of the density operator →, can be chosen arbitrarily, owing to the independence of (56) on the potential operator →, but its strict dependence on the corresponding representation (45).
Remark 2.
The self-adjointness of the operator →, can be stated following schemes from works [,,] under the additional existence of such a linear anti-unitary mapping → that the following invariance conditions hold:
for any Thereby, owing to conditions (57), the following equalities
hold for any giving rise to the self-adjointness of the operator ⟶ ,
It is easy to observe that the time-reversal condition (57) imposes the real value relationship for the real valued ground state of the canonically represented N-particle Hamiltonian Hfor arbitrary Moreover, taking into account the relationship (58), one can easily observe that on the invariant subspace , the operator is representable as
entailing the following expression for the related operator on the subspace
The latter makes it possible to derive its secondly quantized [,,,] expression as
which holds for any and arbitrary Being interested in the infinite particle case when the expression (61) can be naturally decomposed [,] as
where the corresponding real-valued coefficients should be such functions that the series (62) were convergent in a suitably chosen representation Fock space for which the resulting ground state is necessarily cyclic and normalized.
Based now on the construction above, one easily deduces from expression (55) that the generating Bogolubov type functional (43) obeys for all the following functional-differential equation:
whose solutions should satisfy [,] the Fourier transform representation (44), and which were, in part, studied in []. In particular, a wide class of special so-called Poissonian white noise type solutions to the functional-differential Equation (63) was obtained in [,,,,,] by means of functional-operator methods in the following generalized form:
where is a suitable Poisson process parameter and the operator resulting from the expression (62) for some scalar operator
Remark 3.
It is worth remarking here that solutions to Equation (63) realize the suitable physically motivated representations of the abelian Banach subgroup F of the Banach group mentioned above. In the general case of this Banach group one can also construct [,,,] a generalized Bogolubov type functional equation, whose solutions give rise to suitable physically motivated representations of the corresponding current Lie algebra
Recalling now the Hamiltonian operator representation (53), one can readily deduce that the following weak representation Hilbert space weak relationship
where is the corresponding ground state energy density value. Thus, the main analytical problem is now reduced to constructing the expansion (62) corresponding to a suitable cyclic representation Hilbert space of the quantum current algebra (29), compatible with the Hamiltonian operator structure (52).
Remark 4.
Here we mention that the operator → defined by (55), relates to that from the work [,,] via scaling
2.4. The Hamiltonian Operator Reconstruction and the Cyclic Current Algebra Representation
We will assume that we are given a Banach current group cyclic representation in a Hilbert space with respect to F with a cyclic vector Based on the well known Araki reconstruction theorem [,] for the canonical Weyl commutation relations, we can first readily obtain from (56) that
where is an element of the unitary family The expression (66) makes it possible to calculate the bilinear form
for any Taking into account the symmetry properties (57), we finally deduce from (67) that for arbitrary functions
The standard reasonings make it possible to state that the bilinear symmetric form (68) determines on a self-adjoint non-negative definite Hamiltonian operator densely defined on the domain Really, for any set of functions the following inequalities
hold for any complex numbers and arbitrary Since, for any non-negative definite complex matrices , the matrix proves to be non-negative definite [,] too, one ensures that the bilinear form (69) is also non-negative definite. Then, as follows from the classical Friedrichs’ theorem [,,,], there exists a self-adjoint densely defined and non-negative definite operator
2.5. Current Algebra Representations, Generating Functional Method and Ergodicity of the Hilbert Space Representation Measure
In view of the importance of the current algebra representations of the Banach group G= Diff for physics applications, we consider their construction by means of the generating functional method [,,,]. From the very beginning, let us introduce a governing definition in connection with this method.
Definition 10.
A generating functional on a group G is a complex-valued function E on G with the following conditions: (1) (2) is a continuous function of the parameter for all A and G; (3) the matrix is positive definite for any
The following theorem [] holds.
Theorem 2.
The function E is a generating functional on G if, and only if, there exists a continuous unitary representation on a separable Hilbert space with a cyclic vector such that
holds for all
The vector is said to be cyclic with respect to the representation if the set is complete in i.e., is dense in if taken together with its linear combinations over The significance of this theorem is that one can implicitly construct unitary representations of the Banach current group Diff and, thus, the current Lie algebra by means of an appropriately defined generating functional on G. This is important, since frequently the latter problem is much simpler than the initial problem.
We now consider the representation restricted to the Abelian subgroup F in the group Diff and its corresponding generating functional in the form
where the cyclic vector is normalized to unity: In many physically interesting cases [,,,] the expression (71) can be replaced by means of the following equivalent trace-representation:
where is the corresponding so called statistical operator, depending on the Hamiltonian operator H The constructed above generating functional (71) should possess the following necessary properties: (1) for all (2) (3) for all (4) is a positive definite functional on the inequality holds for all and arbitrary As one can show, a generating functional satisfying the properties (1)–(4) always defines [] a measure on defining the searched for unitary representation of the Abelian subgroup F of the current Banach group Diff. If the measure is in addition quasi-invariant and the factors in (35) are known for all Diff the corresponding representation of the current Lie algebra is completely determined. Yet, if being interested only by irreducible representations of the current Banach algebra it is well known [] that the corresponding measure on is ergodic for the diffeomorphism subgroup Diff that is for any measurable and invariant subset either or Moreover, an arbitrary invariant set is in the general case a nondenumerable union of a family of mutually non-intersecting orbits. Assuming that the orbits containing an invariant subset are measurable, we obtain that there exist only two possibilities for ergodicity of the cylindrical measure on either it is concentrated on one orbit, or each orbit has zero measure, and these two possibilities really occur in applications. For instance, the case when the measure is concentrated on functionals of the form (37) leads to irreducibility of the generating functional representation on the Hilbert space for any finite
2.6. The Creation–Annihilation Heisenberg Algebra, Its Coherent State Representations and Linearization of Nonlinear Dynamical Systems on Hilbert Spaces
It is well known [,] that the representation theory of the quantum current algebra in a separable Hilbert space is very close to the cyclic Hilbert space representations of the canonical creation–annihilation operator Heisenberg algebra family defined on the Fock space The coherent states, being venerable objects in physics, were invented by Schrëdinger [], as far back as in 1926, in the context of the quantum harmonic oscillator, they seemed to have lapsed into oblivion for some obscure reasons. About thirty-five years later, they were rediscovered, almost simultaneously, by Glauber [], Klauder [,] and Sudarshan [], in the context of a quantum optical description of coherent light beams emitted by lasers. Since then, coherent states have pervaded nearly all branches of quantum physics—including, of course, quantum optics in the study of lasers, nuclear, atomic and solid state physics, quantum electrodynamics, quantization and dequantization problems and path integrals, to mention just a few. For original references, the reader is referred to the review [] and reprint volume of Klauder and Skagerstam []. In many of these applications, the question naturally poses itself as to whether it might not be possible to find other families of states, sharing some properties of the original or canonical coherent states, emanating from the quantum oscillator and which could possibly be useful to yet other areas of physics.
Already, in 1926, Schrëdinger had tried unsuccessfully to construct coherent states appropriate to the hydrogen atom problem. This was motivated by the quasi-classical character of the canonical coherent states which made them very desirable for studying the quantization of classical dynamical systems, a point which we discuss in some detail below. The key to the generalization of the notion of a coherent state was the observation by Perelomov [] and independently by Gilmore [,], that the construction of the oscillator coherent states could be reformulated as a problem in group representation theory: the canonical coherent states could be obtained by acting on the oscillator ground state with the operators of a unitary representation of the group generated by the creation and annihilation operators, namely the Weyl–Heisenberg group.
The link between the Schrëdinger and the Perelomov approaches is the uniqueness theorem [,] of von Neumann for the quantum mechanics of a system with finitely many degrees of freedom. In addition, a unitary representation of a compact symmetry group G in a separable Hilbert space used for building up the system of canonical coherent states, has the property of square integrability with respect to the left (or right) invariant Haar measure on Furthermore, the physical states, associated with the coherent states, are not indexed by elements of G itself, but by points in the coset space where is the Cartan subgroup of G and is isomorphic to the torus.
Since its introduction in 1972, the concept of coherent states was widely exploited [,,,,,] in many fields of mathematical physics, whose leading idea consisting of considering the translates of a fixed cyclic vector under a group action is as old as the celebrated Gel’fand-Raikov theorem [] on locally bicompact groups. Their common properties, namely that the related homogeneous space has a complex homogeneous structure, and the corresponding representation Hilbert space can be identified in the coherent state basis with a space of holomorphic functions on the homogeneous space. As it was stated in [], a homogeneous complex structure is actually present quite generally, and on the basis of the homogeneous complex structure, the related homogeneous manifolds are just the classical phase spaces on which the group acts through canonical transformations. From this point of view, coherent states can be interpreted just as probability wave packets over the classical phase space, that is a well-known result for the harmonic oscillator coherent states. The converse problem, i.e., the construction of irreducible unitary representations of the group, starting from its phase space realization, was considered in [] and found a definite mathematical setting.
To look at the coherent vector representation problem within the Fock type space, its main idea becomes very transparent and motivative owing to the classical Bargmann–Segal [] construction. Namely, there is considered the Hilbert space
of holomorphic functions with the scalar product for arbitrary with respect to the measure for It is easy to observe that the Hilbert space is the direct sum of the symmetric polynomial subspaces :
where, by definition,
Moreover, it is easy to check that the polynomials
form a complete and orthogonal base in that is The next important observation, made by V. Bargmann, was the point boundedness of any function ≤ Really, for any there holds the expansion
from which one easily ensues, owing to the closedness property and Schwartz inequality on that
The latter makes it possible to define for any the following dual to (78) bounded functional
on whose Riesz representation
defines the unique element or equivalently
Taking into account the orthogonality of the base vectors (76) in it is easy to calculate that the vector whose norm for any and which is called the “coherent vector”. It is worth remarking here that the function representation (81) is well known in the operator theory [,] and is called the “reproducing kernel” representation with the kernel
The Hilbert space as the direct sum (74) of symmetrical polynomial subspaces, possesses the Fock space structure, allowing the introduction of the creation operators for any and all as multiplication operators: for any for any and all The corresponding adjoint expressions act as on arbitrary for any and all where, by definition, Now one can easily check that the coherent vector for any is a common eigenvector of the annihilation operators :
with the eigenvalues It is important also to mention here that the creation–annihilation operators defined above satisfy the canonical commutation relationships:
for all
The coherent vector representation scheme described above can be respectively generalized to arbitrary symmetric Fock space that will be effectively used in the sections proceeding below. Returning back to the algebraic properties of coherent states, we proceed to describing their unbelievable and impressive applications to theory of nonlinear dynamical systems on Hilbert spaces, their linearization and integrability, previously initiated in [,] and continued in []. We briefly reviewed the cyclic Hilbert space representations of the quantum Heisenberg algebra and presented a general approach to constructing the coherent states and their applications both to the linearization of nonlinear dynamical systems on Hilbert spaces, and to describing their complete integrability. The latter is developed using the modern Lie-algebraic approach [,,,] to nonlinear dynamical systems on Poissonian functional manifolds, and proved to be both unexpected and important for the classification of integrable Hamiltonian flows on Hilbert spaces.
Jointly with the cyclic Hilbert space representations of the Heisenberg algebra we briefly reviewed the closely related cyclic Hilbert space density representations [,,,] of the canonical quantum current algebra on the circle whose vector field representations on smooth spatially one-dimensional functional manifolds coincide exactly with the related symmetry algebra of completely integrable nonlinear Hamiltonian systems on these manifolds. Based on the current algebra symmetry structure and their functional representations, an effective integrability criterion is formulated for a wide class of completely integrable Hamiltonian systems on smooth spatially one-dimensional functional manifolds. The algebraic structure of the Poissonian operators and an effective algorithm of their analytical construction are also described.
2.7. The Canonical Heisenberg Algebra and Its Cyclic Hilbert Space Representations
Let be a separable Hilbert space, F be a topological real linear space and a family of commuting self-adjoint operators in (i.e., these operators commute in the sense of their resolutions of the identity) with dense in domain Consider the Gelfand rigging [,,] of the Hilbert space i.e., a chain
in which is a Hilbert space, topologically (densely and continuously) and quasi-nucleus (the inclusion operator is of the Hilbert-Schmidt type) embedded into the space is the dual to as the completion of functionals on with respect to the norm a linear dense in topological space is such that and the mapping → is continuous for any Then, owing to the structural theorem (1) there exists a cyclic representation of the canonical creation–annihilation Heisenberg operator algebra family on the separable Hilbert space whose generalized Fourier transform is given by the expression
for some Hilbert space sets and a suitable measure on with respect to which the corresponding joint eigenvector for any generates the Fourier transformed family Moreover, if for all the Fourier transformed eigenvector for all
Next, we will consider the family of self-adjoint operators as generating a unitary Heisenberg group
satisfying the commutation conditions
for any Since, in general, the unitary Heisenberg group is defined on a representation Hilbert space not coinciding, in general, with the canonical Fock type space the important problem of describing its cyclic unitary representation spaces arises, within which the factorization (86) jointly with relationships (87) should hold. Below, we will briefly describe only the main features of the Gelfand–Vilenkin formalism, being much more suitable for the task, providing a reasonably unified framework of constructing the corresponding cyclic representations of the family of commuting self-adjoint operators in a separable Hilbert space
Proceeding now to the Heisenberg group the separable Hilbert space for its every irreducible representation will be unitary equivalent to the Hilbert space (45), which in many physical applications reduces in the case for all to the following form:
being the space of square integrable functions with respect to the measure on
Assume now that an element is taken arbitrarily and consider [] the action of the Heisenberg group on it:
where, by definition, for any the expression at means the corresponding Radon–Nikodym derivative [,] of the measure with respect to the measure on and is a complex-valued character of the unit norm, satisfying the relationship
for all and arbitrary For the Radon–Nikodym derivative above to exist, the measure on should be quasi-invariant with respect to the shift group elements that is, for any measurable set the condition if, and only if, for arbitrary
Definition 11.
A vector is called a coherent vector state in the representation Hilbert space with respect to an element if it satisfies the eigenfunction condition
for each and all
It is easy to check that for any the coherent ket-vector exists: really, the following vector expression
where is a cyclic vector for the creation–annihilation operator algebra family and satisfies the defining condition (91), where the operator action ensues from the determining condition (19): for any there exists a unique vector for which
for all Moreover, as the Hilbert space the eigenvalue is bounded jointly with the Hilbert space norm
since and its Hilbert space norm is a priori bounded.
Consider now any function and observe that the Hilbert spaces embedding mapping
defined by means of the coherent vector expression (92), realizes a smooth isomorphism between the Hilbert spaces H and the image The inverse mapping is given by the following exact expression:
holding for any Owing to condition (94), one finds from (96) and the classical Riesz type theorem [,] that the corresponding function
Let now define on the Hilbert space a nonlinear in general dynamical system (which can, in general, be non-autonomous) in partial derivatives
where is the corresponding evolution parameter, belongs to the jet-space of the order and, in general, a nonlinear mapping is Frechet smooth. Assume also that the corresponding Cauchy problem
for the nonlinear dynamical system (97) is solvable in the Hilbert space H for any on an interval for some Thus, there is determined a smooth evolution mapping
for all Now, it is natural to consider the following commuting diagram:
where the mapping is defined from the conjugation relationship on the image of the mapping (95):
Now take coherent vector corresponding to the Cauchy data and construct the vector
for all Since the vector (102) is, by construction, coherent, that is
for each and almost all owing to the smoothness of the mapping with respect to the corresponding norms in the Hilbert spaces H and we derive that the coherent vector (102) is differentiable with respect to the evolution parameter . Thus, one can easily find [,] that
where
and an operator mapping is defined by means of the exact analytical expression
As a result of the consideration above we obtain the following theorem.
Theorem 3.
We now make some comments concerning the solution to the linear Equation (104) under the Cauchy condition (105) in the case of the Fock representation space Since any vector allows the series representation
where for any functions
its Fock space norm is easily calculated as
For the case of the coherent vector its norm is easily obtained as coinciding with the result (94). Moreover, substituting (107) into Equation (104), reduces (104) to an infinite recurrent set of linear evolution equations in partial derivatives on coefficient functions (108). The latter can often be solved [] step by step analytically in exact form, thereby, making it possible to obtain, owing to representation (96), the exact solution to the Cauchy problem (98) for our nonlinear dynamical system in partial derivatives (97).
Concerning possible applications of nonlinear dynamical systems like (95) in mathematical physics, it is very important to construct their so called conservation laws or smooth invariant functionals on the Hilbert space Making use of the quantum mathematics technique described above, one can suggest an effective algorithm for constructing these conservation laws in exact form.
Indeed, consider a vector satisfying the linear equation:
Then, the following proposition [,] holds.
Proposition 4.
It is interesting to reanalyze the dynamical system (104) from the Lie-algebraic point of view [,] and represent it as a coadjoint canonical Hamiltonian flow on the corresponding adjoint space to the Hilbert space considered as a Lie algebra over the field To do this, it is necessary to define the related Lie commutator on the Hilbert space for any vectors and where and are smooth mappings and a central vector is chosen to be fixed, their commutator, defined as
allows the construction of the related co-adjoint action of a vector on a fixed element where for any vector there holds the following identity:
The latter makes it possible to define on the adjoint space the classical Lie–Poisson bracket for any smooth functionals and :
where, by definition, is some skew-symmetric Poisson operator, the element for any is interpreted as the corresponding momentum mapping for the Poissonian action of the Lie algebra on the Hilbert space H:
with for arbitrary The related action
is a Hamiltonian vector field on generated by the corresponding Hamiltonian vector field on the Hilbert space commonly with the invariant Hamiltonian function Simultaneously, the flow (117) for any naturally generates the linear flow on the adjoint space in the form
Moreover, one easily checks that the commutator of vector fields and equals
for any smooth conservation laws and of the dynamical system (104), easily following from the evident conditions and Consider now the following representations of the gradient vectors and for some fixed central element Then, the Poisson bracket (115) for any is representable as
being completely compatible with the Poissonian action of the Lie algebra on the Hilbert space The obtained result can be summarized as the following theorem.
Theorem 4.
If the momentum mapping related with the nonlinear dynamical system ((97) on the Hilbert space H, is Poissonian, then all its symmetries (117), generated by smooth invariants are represented as linear Hamiltonian flows (118) on the adjoint Hilbert space with respect to the canonical Lie–Poisson bracket (120).
The theorem above plays a decisive role in constructing within the suitably modified Adler–Kostant–Souriau [,] scheme integrable Hamiltonian flows on the adjoint space equivalent to nonlinear integrable Hamiltonian systems on the functional Hilbert space H.
2.8. Conclusions
Within the scope of this Section we have described the main mathematical preliminaries and properties of the quantum mathematics techniques suitable for analytical studying of the important linearization problem for a wide class of nonlinear dynamical systems in partial derivatives in Hilbert spaces. This problem was analyzed in much detail using the Gelfand–Vilenkin representation theory [] of infinite dimensional groups and the Goldin–Menikoff–Sharp theory [,,] of generating Bogolubov type functionals, classifying these representations. The related problem of constructing cyclic Hilbert space representations and retrieving their creation–annihilation generating structure still needs a deeper investigation within the approach devised. Here we mention only that some aspects of this problem within the so-called Poissonian White noise analysis which was analyzed in a series of works [,,,], based on some generalizations of the Delsarte type characters technique. The above-stated theorem about the Hamiltonian structure of symmetries of a nonlinear dynamical system on a Hilbert space and their linearization on a suitably constructed Hilbert space presents, from a practical point of view, a strong interest, if the related results, obtained in [,,,] and devoted to the application of the Hilbert spaces embedding method to finding conservation laws and the so called recursion operators for the well [,] known Korteweg–de Vries type nonlinear dynamical systems, are taken into account. Moreover, a development of these results within the modern Lie-algebraic approach, based on the Adler–Kostant–Symes construction and applied to nonlinear dynamical systems on Poissonian functional manifolds, proves to be both unexpected and important for the classification of integrable Hamiltonian flows on Hilbert spaces, and inspires a hope for new investigations of coherent states and their applications.
3. Quantum Current Lie Algebra as a Universal Algebraic Structure of Symmetries of Completely Integrable Nonlinear Dynamical Systems
3.1. Quantum Lie Algebra of Currents and Its Vector Field Representations
We consider the non-relativistic quantum Lie algebra of currents [,,,] on the torus , realized by means of the density and current operators on the separable Hilbert subspace :
where for Their representation on the Fock space is given, respectively, by the following operator expressions: and where is the creation and is the annihilation operators of bose-particle states at point satisfying the canonical commutation relationships:
for all The current Lie algebra (121) is the infinite-dimensional Lie algebra of the semi-direct product of the Banach Lie group of currents and the abelian functional group where is the topological group of diffeomorphisms [,] of the torus If, to introduce [,,,,,] a family of unitary operators and acting on a Hilbert space and defined by the formulas
where g and then the following relations
hold for all and As was argued in [], the various unitary representations of the current group describe different physical systems and their states, and the study of the set of cyclic unitarily irreducible representations of the Banach Lie group relationships (123) is an extremely important and topical problem in the quantum theory of dynamical systems.
For every irreducible cyclic representation of the unitary current group G on the separable Hilbert space there exists a unitarily equivalent Hilbert space
where is the measure on the space of continuous real linear functionals on F and are complex linear finite-dimensional spaces labeled by the index In the case when the space of complex-valued functions on integrable with respect to the measure on Moreover, if an element then for the action of the current group G on this element we have the following representations:
where, by definition, for all is the corresponding Radon–Nikodym derivative of the measure with respect to the measure on and is a complex-valued character of the unit norm, satisfying the relationship
for all For the Radon–Nikodym derivative above to exist, the measure on should be quasi-invariant with respect to the diffeomorphism group that is for any measurable set the condition if, and only if, for arbitrary
In physics applications, the representation (125) is uniquely determined by the measure on which in the general case has a very complicated [,,] structure, and its analytic construction is nontrivial. One of the fairly effective approaches to this problem is the quantum method of Bogolubov generating functionals developed in [,,,]. Another approach, which is of considerable interest for the theory of dynamical systems, is based on algebraic methods of constructing self-adjoint functional-operator representations of the original current Lie algebra (121). We proceed to its description in the case of the current group where on the circle taking into account results in [,,,,].
We now introduce the following basis operators of the Lie current Lie algebra (121) for :
where and is a parameter. Then from (121) and (127), we find that
for all that is the set of operators (128) on the representation Hilbert space is equivalent to the semidirect product of the Lie subalgebra and the Abelian subalgebra and isomorphic to the current Lie algebra (121) for It is also worth mentioning [] that in the case of functional-operator representations, the Lie algebra (128) admits the following central extension by means of the Schwinger cocycle:
where and are the Schwinger parameters. The current Lie algebra (129) is called the generalized Virasoro current algebra [] and has many applications in modern theoretical physics.
It is easy to show that the current Lie algebra (128) for admits the standard representation in the ring of operators, , regarded as a Lie subalgebra of the Lie algebra of rational vector fields on Namely, if we set
for then the current Lie algebra relations (128) are satisfied identically. In this case. if we make the restriction then for the current algebra operators and we obtain the expressions
It is readily seen that the operators (131) are N-particle representations of the current Lie algebra (121) on the circle and that the support of the measure on in the representation (124) is concentrated on functionals and the Hilbert space the space symmetric square integrable functions on the torus In the general case, the current generalized Lie algebra (129) possesses numerous functional-operator representations by means of vector fields on special infinite dimensional manifolds. As will be shown below, these vector fields are defined on these manifold’s so-called completely integrable infinite-dimensional Hamiltonian systems, many of which have applications in theoretical and mathematical physics.
On the infinite-dimensional smooth functional manifold are finite, we consider a homogeneous autonomous nonlinear dynamical system
where is a Frechet-smooth vector field on denotes a point of a finite order [,] at the jet-manifold and is the evolution parameter. We assume that the vector field (132) is Hamiltonian, i.e., there exists a skew-symmetric Poissonian [,,,] operator such that condition
where denotes the Lie derivative [,,,,,] along the vector field , “” denotes the usual Frechet derivative of a mapping and “*” denotes the adjoint mapping subject to the standard bilinear convolution form on the product of the tangent and cotangent spaces over the functional manifold If the condition (133) holds, there exists such a smooth Hamiltonian functional that
Assume now that the dynamical system (132) possesses one further algebraically independent solution to the Equation (133), that is which is Poissonian.
Definition 12.
A dynamical system (132) possessing a -pair of Poissonian operators is said [,,,] to be bi-Hamiltonian, if for any the pencil is also Poissonian. The Poissonian -pair is called the Magri type compatible.
Definition 13.
If the Poisson operator is invertible, the operator is said to be gradient-recursive and satisfies the Noether–Lax equation
Similarly, the operator is said to be symmetry-recursive and satisfies the Noether–Lax equation
The inverse operator is said to be symplectic, and the operator itself is often called cosymplectic.
Yet, if the inverse operator does not exist, the notions of gradient-recursive and symmetry-recursive operators remain the same: and , respectively.
Definition 14.
The operator is said to be hereditary-recursive if the bilinear operator
is symmetric.
It is easy to check that the operator is hereditary-recursive [,,] if the Poissonian pair -pair is compatible. The Poissonian -pair is compatible if, and only if, the operator is Poissonian too. Moreover, the operators for all are Poissonian also.
Definition 15.
It is easy to observe that subsets of homogeneous and inhomogeneous symmetries, respectively, are Lie subalgebras of the symmetry space Suppose now that for a consistent bi-Hamiltonian dynamical system (132) there exist two nontrivial homogeneous symmetry and homogeneous symmetry such that
where are certain numerical parameters. Having assumed that the symmetry-recursive operator is invertible, one can construct the following subsets and where
The following proposition holds.
Proposition 5.
As a simplest example we consider the classical nonlinear Korteweg–de Vries dynamical system on the functional manifold possessing two compatible Poissonian operators
where Its symmetry-recursive operator equals to the expression
where is the operator of inverse differentiation, Then, taking into account the homogeneous symmetry, and inhomogeneous generate, respectively, two subalgebras and whose semidirect product is isomorphic to the current Lie algebra (128).
3.2. Completely Integrable Hamiltonian Systems and the Current Algebra Symmetry Integrability Criterion
In analyzing the dynamical system (132) above, we assumed for it the existence of the consistent -pair of Poissonian operators, with respect to which it is bi-Hamiltonian. However, if the dynamical system (132) is not bi-Hamiltonian but only Hamiltonian and integrable, then obviously the Noether–Lax Equation (133) has only one solution, which is determined up to multiplication by a constant. On the other hand, if the dynamical system (132) is invariant with respect to the universal Banach Lie group symmetry ff then for the corresponding Lie algebra of symmetries which is isomorphic to the current Lie algebra the next conditions should hold:
for all and In addition, one easily ensues from (128) the following commutation relationships:
Algebraic relationships (144) give rise to the following Lie-algebraic relationships
and show that on the basis of the Lie subalgebra jointly with the set of initial homogeneous symmetries for or for as well as the inhomogeneous symmetries one can construct recursively an entire infinite-hierarchy of symmetries which is isomorphic to the current Lie algebra (128) by virtue of the construction. In addition, in accordance with the Noether relations (143) there exist two infinite hierarchies of conservation laws to the dynamical system (132), namely, the homogeneous functionals and the inhomogeneous satisfying the conditions
for any where, by definition, and denotes the Poisson bracket on the space of functionals on the functional manifold
Direct calculations show that the results described above are valid for all the currently known completely integrable nonlinear dynamical systems, including the nonlinear equations of Schrëdinger type [,,,,], the Benney—Kaup and Ito equations [], the Davey—Stewartson and Yajima—Mel’nikov equations [], and others, defined on infinite-dimensional manifolds, whose symmetry groups are isomorphic to the universal Banach current group on the circle With regard to “two- dimensionalized” integrable dynamical systems of the Kadomtsev–Petviashvily type, it can be asserted that they are closely related [,,,] to special operator-valued nonlinear integrable dynamical systems, generated by suitably defined iso-spectral Lax type problems [,] and which are bi-Hamiltonian with respect to the Poissonian operators on these operator-valued manifolds.
The analysis made above of the correspondence between the universal Lie algebra of currents (128) and the functional Lie algebras of symmetries of integrable infinite-dimensional dynamical systems makes it possible to formulate the following working algorithm as an effective criterion of testing integrability of an arbitrary homogeneous nonlinear dynamical system (132) on the infinite-dimensional manifold
Algorithm: If for the dynamical system on the functional manifold M there exists the nontrivial Lie subalgebra together with a subset of “initial” inhomogeneous symmetries and homogeneous symmetries, satisfying the conditions
then this dynamical system on M possesses an infinite-dimensional Lie algebra of symmetries isomorphic to the current Lie algebra G (128) of the Banach group on the circle and if there exists a nontrivial solution of the Noether–Lax equation then our dynamical system is an infinite-dimensional completely integrable Hamiltonian flow on the functional manifold If at the same time the relations (145) are satisfied, then the dynamical system on M is bi-Hamiltonian and possesses an hereditary-recursive operator where and, by virtue of the gradient-holonomic algorithm [,,,], a standard Lax type representation.
3.3. Integrable Systems, Their Symmetry Analysis and Structure of the Poissonian Operators
Suppose we are given the homogeneous nonlinear dynamical system (132) on the functional manifold and pose a question of the existence for this dynamical system of a bi-Hamiltonian structure on M and effective methods of determining it in explicit form. In accordance with the gradient-holonomic algorithm [,,,] for investigating the integrability of nonlinear dynamical systems, we can successively establish in explicit form the presence for our system (132) of an infinite functionally independent and naturally ordered by means of the parameter hierarchy of conservation laws. In addition, by virtue of the homogeneity of the dynamical system (132), it always possesses a priori two commuting to each other homogeneous symmetries, which are defined on M by the vector fields and We can also consider the equivalent realization of these vector fields and on M as Hamiltonian systems [,,,] on the infinite-dimensional manifold of jets with respect to a symplectic structure We denote by a Liouville type 1-form, for which and take into account that, by definition, there holds the conditions and where denotes the density of the corresponding conservation law at point Based now on the Cartan representation [] of the Lie derivative one easily obtains the following general relationship: for some element at any point which should simultaneously satisfy the compatibility condition d subject to the vector field on The latter gives rise to the analytical expression that is useful in applications, , for the corresponding cosymplectic operator on the manifold whose inverse mapping is our searched for Poissonian operator for the dynamical system (132).
3.3.1. Two-Dimensional Korteweg–de Vries Type Hydrodynamic System
We consider an example of a nonlinear bi-Hamiltonian Korteweg–de Vries type hydrodynamic system on “two-dimensionalized” smooth functional manifold for which the Noether–Lax property (143), mentioned above, is not satisfied. This system [,] has the form
and possesses two algebraically-independent Poissonian operators
Moreover, it is readily shown that for the dynamical system, (148) allows the representation where is the corresponding symmetry-recursive operator on One can check by direct calculations that the set consists of inhomogeneous symmetries of the dynamical system (148) and the set consists of homogeneous symmetries. From them, one constructs the following hierarchies of symmetries:
The resulting Lie subalgebras and have the following commutation relationships:
for and the Lie subalgebras and are isomorphic to the current Lie algebra (128) on the circle Taking into account this fact and expressions (151), we readily state that the following sets and of symmetries
satisfy for all the commutation relationships
The latter make it possible to deduce the direct sum of Lie algebras of commuting to each of the other Abelian symmetries
which jointly with the symmetry Lie subalgebra constitutes the Lie algebra Q constructed above of symmetries to the nonlinear dynamical system (148) as the semidirect product
being fully isomorphic to the current Lie algebra (128). The latter states the invariance of the nonlinear dynamical system (148) with respect to the current symmetry group ff of the circle
3.3.2. Nonlinear Schrëdinger Type Dynamical System
On a smooth functional manifold a nonlinear Schrëdinger type dynamical system, which was first considered in [], looks as
and is a bi-Hamiltonian flow with respect to the following two compatible Poisson structures:
It is easy to check that the following flows on M
are nonuniform symmetries of the dynamical system (156), that is
for where and is the corresponding symmetry-recursive operator. Moreover, the following algebraic relationships hold:
where, as before, denotes the Lie derivative with respect to the vector field Put now, by definition, and for Then the following proposition holds.
Proposition 6.
The nonlinear Schrëdinger type dynamical system (156) is a completely integrable bi-Hamiltonian system on the functional manifold possessing two independent symmetry Lie subalgebras and Moreover, their semidirect product is isomorphic to the quantum Lie algebra of currents (128) of the Banach group on the circle
3.3.3. The Benjamin–Ono Nonlinear Dynamical System
This dynamical system is defined on a functional manifold as
where and is the classical Hilbert transform
for any The Hilbert transform (162) satisfies the following algebraic properties: subject to the standard bilinear convolution form on the product It is easy to check that the dynamical system (161) is Hamiltonian [] with respect to the Poisson operator
that is where the Hamiltonian function Simple calculations make it possible to state [] that the following functional expressions
are symmetries of the Benjamin–Ono nonlinear dynamical system (161). Moreover, since there hold algebraic relationships for we can state that this dynamical system is not bi-Hamiltonian on the functional manifold as owing to the relationships (145) we should have and whose common solution is and The latter means that the Benjamin–Ono nonlinear dynamical system (161) is not bi-Hamiltonian on the functional manifold albeit it proves to be bi-Hamiltonian [] on an extended spatially two-dimensional operator manifold being equivalent to a respectively defined Hilbert–Schmidt operator algebra, whose theory was previously developed in [,,,,] and applied to other nonlinear dynamical systems such as Devey–Stewartson, Kadomtsev–Petviashvily, etc.
3.4. Conclusions
In this Section, we analyzed the algebraic structure of symmetries of nonlinear integrable infinite-dimensional integrable Hamiltonian dynamical systems. It was stated that the Banach group of currents on the circle is a universal symmetry group of all completely integrable bi-Hamiltonian systems. Applications of this phenomenon to the problem of constructing effective criteria of integrability of nonlinear dynamical systems of theoretical and mathematical physics are presented.
4. The Current Algebra Representations and the Factorized Structure of Quantum Integrable Many-Particle Hamiltonian Systems
4.1. The Current Algebra Representation and the Hamiltonian Reconstruction of the Calogero–Moser–Sutherland Quantum Model
The periodic Calogero–Moser–Sutherland quantum bosonic model on the finite interval is governed by the N-particle Hamiltonian
on the symmetric Hilbert space where and is an interaction parameter. As it was stated in very interesting and highly speculative works [,], there exists linear differential operators
for such that the Hamiltonian (165) is factorized as the bounded from below symmetric operator
where
is the ground state energy of of the Hamiltonian operator (165), that there exists such a vector satisfying for any the eigenfunction condition
and equals
coinciding with the corresponding Bethe anzatz representation [,] for the groundstate of the quantum Calogero–Moser-Sutherland model (165).
Being additionally interested in proving the quantum integrability of the Calogero–Moser–Sutherland model (165), we will proceed to its second quantized representation [,,,,,,,,] and studying it by means of the density operator representation approach to the current algebra, described above in Section 2 and devised previously in [,,,,,,].
The secondly quantized form of the Calogero–Moser–Sutherland Hamiltonian operator (165) looks as
acting on the corresponding Fock space To proceed to the current algebra representation of the Hamiltonian operator (171), it would useful to recall the factorized representation (167) and construct preliminarily the following singular Dunkl type [,,,] symmetrized differential operator
on the Hilbert space parametrized by a running point The corresponding secondly quantized representation of the operator (172) looks as
for any or on the density operator representation form, as
which is equivalently representable in a suitable current algebra symmetry representation Hilbert space as
Now, based on the operator (174), one can formulate [] the following proposition.
Proposition 7.
The secondly quantized Calogero–Moser–Sutherland Hamiltonian operator (171) in a suitable current algebra symmetry representation Hilbert space is weakly equivalent to the factorized Hamiltonian operator
modulo the ground state energy operator where
where, as before,
is the particle number operator, and satisfies the determining conditions
on the suitably renormalized groundstate vector for all Moreover, for any integer the corresponding projected vector exactly coincides with the related Bethe groundstate vector for the N-particle Calogero–Moser–Sutherland model (165) and satisfies the following eigenfunction relationships:
exactly ensuing the result (168).
Remark 5.
When deriving the expression (180), we have used the identities
which hold [,,,] for the density operator at any points
Observe now that the operator (173) can be rewritten down in as
where, by definition,
for all Recalling now the second condition of (179), one can rewrite it equivalently as
on the renormalized ground state vector for all On the other hand, owing to the expression (176), we obtain the searched for current algebra representation
of the Calogero–Moser–Sutherland Hamiltonian operator (165) on the suitably renormalized Hilbert space as it was already demonstrated in the work [,], using the condition (184) in the form (61).
4.2. The Current Algebra Representation and Integrability of the Calogero–Moser–Sutherland Quantum Model
We now briefly discuss the quantum integrability of the Calogero–Moser–Sutherland model (165). Owing to the factorized representation (185), one can easily observe [,,] that for any integer , the suitably symmetrized Hamiltonian operator densities h commute to each other and with the particle number operator that is
for any As a result of the commutation property (186), one easily obtains that for any integer the symmetric operators
also commute to each other
for all integers and in particular, commute to the Calogero–Moser–Sutherland Hamiltonian operator (176):
Concerning the related N-particle differential expressions for the operators (187), it is enough to calculate their projections on the N-particle Fock subspace Namely, let an arbitrary vector be representable as
for some coefficient function Then, by definition,
where
for a given any In particular, for when one easily retrieves the shifted Calogero–Moser–Sutherland Hamiltonian operator (165):
Respectively for higher integers the resulting N-particle differential operator expressions can be obtained the described above way by means of simple yet cumbersome calculations, and which will prove to be completely equivalent to those calculated previously in good work [].
Remark 6.
In the thermodynamical limit, when the structural operator reduces to
and, respectively, the operator (165) reduces to
on the Hilbert space for any whose density operator representation in a suitable Hilbert space respectively, equals
where denotes the average energy density of the reduced Calogero–Moser–Sutherland Hamiltonian operator (195) as exactly coinciding with the before obtained results in [,].
5. The Dual Current Algebra Density Representation and the Factorized Structure of Quantum Integrable Many-Particle Hamiltonian Systems
5.1. The Current Algebra Density Representation
We are now interested in constructing a special density functional representation of the local current algebra (29) on the corresponding representation Hilbert space with the cyclic vector To do this, let us first consider the creation and annihilation operators defined via (56) on the canonical Fock space which can be formally represented as
where is our density operator and is some self-adjoint operator. What is important is the operators and realize the canonical [,,,,] commutation relationships
for any Concerning the current operator one can easily obtain its equivalent expression
Based on the canonical relationships (198) one can easily obtain, following [,,], that
where acts on the corresponding Hilbert representation space and is some function of the density operator Then, respectively, the current operator (199) is representable in as
The functional-operator expression (201) proves to make sense [,,,] as operators on the Hilbert space of functional valued complex-functions on the manifold coordinated by the density functional parameter and endowed with the scalar product subject to some measure on To calculate this measure on we will present an explicit isomorphism between this Hilbert space and the corresponding Fock space of spinless bosonic particles in First, we determine the support of the measure having assumed that the manifold
where where are arbitrary vector parameters. The restriction of the measure on the submanifold can be presented [,,,,] as
where functions should be determined from the condition (201). In accordance with the manifold structure (202), we can decompose the Hilbert space as
where the space depends on the mapping and consists of functionals that are bounded on in particular, for any the restrictions consist of functions of vectors respectively. The scalar product in is suitably defined by means of the expressions (203). Now we can construct the isomorphism between the Hilbert spaces and the corresponding components of the corresponding Fock space representing spinless bosonic particles in In the Hilbert space one can easily calculate the eigenfunctions of the free Hamiltonian
with structural
and the momentum
operators:
where are momentums of bose-particles in the operator is given by the expressions (55), (201) and (205) and the operator is given by the expressions (201) and (206), respectively, within which the current operator is realized under the condition as
where is a fixed real-valued parameter. In this case, the eigenfunctions can be expressed [,] as
where
The corresponding n-particle Fock subspaces can be naturally represented by means of the vectors
with functions where
denotes the momentum creation operator for any
Moreover, any functional can be uniquely represented as
for since the following condition
holds identically for all and arbitrary state
Remark 7.
The condition (215) jointly with the constraint in should be, in general, naturally satisfied for any current algebra representation space if and only if for arbitrary
As a result of the construction above, we can state that the Hilbert spaces embed, respectively, isomorphically into the related Fock subspaces As a consequence, we derive that the Hilbert space allows an isomorphic embedding into the related Fock space
Consider now, following [,,], the action of the current operator (209) on the basic vectors :
from which one ensues easily at its -particle representation on the functional manifold :
where we took into account that for all densities and have put, by definition, the Fourier transform
for any fixed particle position vectors and for arbitrary The expression (217), in particular, means that the current operator is symmetric with respect to the measure on each functional submanifold for all where the constants can be determined from the normalization condition The latter gives rise [,,,,,,] to the following symbolic measure expression
for all and arbitrary
Remark 8.
As was aptly observed in [], the choice makes it possible to realize the current algebra representation on the space of analytic functions, which will be a priori assumed for further, that is the corresponding measure can be symbolically expressed as
on the subspace for any
5.2. The Current Algebra Representation and Hamiltonian Reconstruction: A Many-Dimensional Quantum Oscillator Model
As a classical application of the construction above, one can consider a density current algebra representation of the quantum Hamiltonian operator
on the corresponding representation Hilbert space of the generalized quantum N-particle oscillatory Hamiltonian
for bose-particles in the m-dimensional space under the external oscillatory potential, parametrized by the positive definite frequency matrix
Having shifted the representation Hilbert space by the functional the corresponding current operator (209) becomes
simultaneously entailing the related K-operator changing
for any The latter gives rise, respectively, to the following equivalent current algebra functional representation of the oscillatory Hamiltonian (221):
for any positive defined matrix The shifted current operator (223) makes it possible to construct the suitably deformed free particle measure
on the one-particle functional manifold for which the following expression
holds for any test function The latter, jointly with the related ground state condition makes it possible to easily calculate the scalar product elements
for any test functions The expression (228) makes it possible to successfully calculate the matrix elements of the Hamiltonian on the corresponding eigenvectors for arbitrary and, therefore, to find its spectrum.
Consider now the operator (55), taking into account the analytical current representation (216) at :
for any Having substituted instead of the ground state eigenfunction we can easily retrieve the before derived expression (61). Moreover, based on the representation (224) and the definition (54), one can calculate that
where The latter means, in particular, that the corresponding multiplication operator or, respectively,
where is the corresponding ground state vector in for the oscillatory Hamiltonian operator (222). Making use of the operator (226), based on expression (64), one can present a special solution to the functional Equation (63) in the form
confirming similar statements from [,,].
5.3. Conclusions
In this Section, we have reviewed the development and applications of an effective algebraic scheme of constructing density operator and density functional representations for the local quantum current algebra and its application to quantum Hamiltonian and symmetry operators reconstruction. We analyzed the corresponding factorization structure for quantum Hamiltonian operators, spatially governing many- and one-dimensional integrable dynamical systems. The quantum generalized oscillatory and Calogero–Moser–Sutherland models of spin-less bose-particles were analyzed in detail. The central vector of the density operator current algebra representation proved to be the ground vector state of the corresponding completely integrable factorized quantum Hamiltonian system in the classical Bethe anzatz form. The latter makes it possible to quantum classify completely integrable Hamiltonian systems a priori, allowing the factorized form and those whose groundstate is of the Bethe anzatz from. These and related aspects of the factorized and completely integrable quantum Hamiltonians systems are planned to be studied in other places.
6. The Quantum Current Algebra Quasi-Classical Representations and the Collective Variable Approach in Equilibrium Statistical Physics
Introductory Notes
We consider a large system of (one-atomic and spinless) bose-particles with a fixed density in a volume which is specified by a quantum-mechanical Hamiltonian operator of the form:
where ℏ—the Planck constant, —a particle mass and —a two-particle potential energy, allowing a partition where —a short range potential of the Lennard–Johns type and —a long range potential of the Coulomb type. Making use of the second quantization representation [,,,,,,], the Hamiltonian (233) as and can be written as a sum where
and the operator acts on the corresponding Fock space and are the creation and annihilation operators at points and Assume now that our particle system is in a thermodynamically equilibrium state at an “inverse” temperature Assume also that this equilibrium state is compatible with the respectively constructed quantum current algebra representation in a separable Hilbert space [,,,,], whose generating cyclic vector realizes the ground state of the Hamiltonian operator Then, the corresponding n-particles distribution functions can be written down [,,] as
where —the density operator acting on the Hilbert space and —the related Wick normal ordering, naturally ensued from that defined over the creation and annihilation operators, and is the ground state of the Hamiltonian (234) at the temperature normed by the stability condition Having introduced the corresponding Bogolubov generating functional
for any “test” Schwartz function where then for the n-particle distribution functions (235) one can get the expression
Here and the symbol “” imitates the normal ordering symbol “” action on operator expressions that is
and so on. Consider now the expression (236) at some making use of the statistical operator P: and the “shifted” ’Hamiltonian with being a suitable “chemical” potential:
where “” means the operator trace-operation on the Hilbert space Keeping in mind within the task of studying distribution functions (235) in the classical statistical mechanics case, we need to calculate the trace in (239) as The latter gives rise to the following expressions:
where is the system “activity” [,], and
Based on expressions (240) and (241) we can formulate the following proposition.
Proposition 8.
Below, we will proceed to constructing effective analytic tools allowing the exact functional-analytic solutions to the Bogolubov functional Equation (242) to be found, describing equilibrium many-particle dynamical systems, as well as generalizing the obtained results for the case of non-equilibrium dynamical many particle systems.
7. The Bogolubov-Zubarev “Collective” Variables Transform
Taking into account the two-particle potential energy partition owing to the representation (240) one can easily write down the following expression for generating functional :
where we put
Needing to calculate the functional corresponding to the long range part of the full potential energy we will apply the analogue of Bogolubov–Zubarev [,] “collective” variables transform within the grand canonical ensemble, suggested before in [,,,]. Namely, denote by —a partial solution to the functional Equation (242), possessing exactly particles. Then, owing to the results of [], for there holds the following exact expression:
where —the long term part potential energy of an particle group of the system. Then we get that
The sum in (246) can be calculated exactly, taking into account the expression
where
and Now, from (246)–(248) one easily finds that
where and the function allows the following series expansion:
The expression (249) can now be represented [,,,] in the following cluster Ursell form:
Here for any
where are called the particle Ursell cluster functions, are suitable “correlation” functions [,,] and denotes a partition of the set into non-intersecting subsets that is for and Having separated from the function the natural “Gaussian” part one can write down that
where
Since the integrals one can calculate exactly, the formulae (251) and (253) are sources of the so called ”virial” variables for Ursell–Mayer ”cluster” correlation functions having important applications. In particular, from the function one gets right away that the cluster expansion for the functions are fulfilled by means of the ”screened” potential function where
In particular, from (237) and (251) one easily finds that
and so on. The result, presented above, can be obtained by means of slightly formal calculations, based on generalized functions and operator theories [,,,]. Really, as one has that
where The expression (257) coincides exactly with that of (251), thereby proving the validity of our expressions (240) and (243) for the N.N. Bogolubov type generating functional satisfying the functional Equation (242) of Proposition (8).
8. The Functional-Analytic Solution and Its Ursell–Mayer Type Diagram Expansion
Having considered (243) and (249) as starting expressions with just known functions for the functional one can obtain the following expansion:
where functionals are calculated via the following rule. Denote by such a connected graph that: it consists of exactly N generalized vertices of type, and ordinary vertices of type. Moreover, each vertex is necessarily connected with n vertices of type by means of dashed lines each to other, and vertices can be connected arbitrarily by means of uniform lines. If now, to attribute to each generalized vertex—the factor to each simple vertex—the factor and to the line connecting them—the factor then the obtained resulting expression will be exactly equal to the functional The final summing up over all such connected graphs gives rise to the expression (257), where the factor counts the symmetry order of the graph under the generalized vertices permutations. It is evident that, by representing the factor entering the vertex as the expression (257) can easily be resumed into Ursell–Mayer type expressions but already with other suitable —functions, replacing the former ones, giving rise to expansions similar to (256), based already on the “screened” potential (255).
Thereby, we can formulate, taking into account the results of [,], the next proposition, characterizing the Bogolubov type generating functional satisfying the functional Equation (242).
Proposition 9.
Let the Bogolubov type generating functional represented analytically as a series (258) of graph-generated functionals, satisfy the following conditions:
(i) continuity with respect to the natural topology on
(ii) positivity: for any and all
(iii) symmetry and normalization conditions: for all and
(iv) translational-invariance: where for any
(v) cluster condition or, equivalently, the Bogolubov correlation decay: for any
(vi) density condition:
The obtained result makes it possible to find the many-particle distribution functions (237) and apply them to constructing different thermodynamic functions important [,] for applications.
Below, following the Bogolubov method [], we obtain, based on the expression (245), the important Kirkwood–Saltzbourg–Simansic functional equation for the Bogolubov generating functional Namely, making use of the expression (245) we can write down the following relationship:
for any where
Since, by definition, from (260) one gets right away that
which is called the Kirkwood–Saltzburg–Symanzik functional equation, being very important for proving the Proposition (9) by means of the classical Leray–Schauder fixed point theorem [,,] in some suitably defined Banach space. In particular, at from (261) one finds the following important relationship:
for any
Conclusions
In the article, we have showed that the N.N. Bogolubov generating functional method is a very effective tool for studying distribution functions of both equilibrium and non equilibrium states of classical many-particle dynamical systems. In some cases, the N.N. Bogolubov generating functionals can be represented by means of infinite Ursell–Mayer diagram expansions, whose convergence holds under some additional constraints on a statistical system. We also have shown that the Bogolubov idea [] to use the Wigner density operator transformation to study the non equilibrium distribution functions proved to be very effective, having proposed a new analytic form of non-stationary solutions to the classical N.N. Bogolubov evolution functional equation.
9. The Wigner Type Current Algebra Representation and Its Application to Non-Equilibrium Classical Statistical Mechanics
9.1. Many-Particle Distribution Functions Space and Its Poissonian Structure
In the case of non-stationary (non-equilibrium) states of the many-particle dynamical systems, the Bogolubov’s generating functional (236) does not possess all needed information. To specify this case, we introduce the generating representation functional:
where is a cyclic vector of the representation of the current group satisfying the following additional conditions:
with the mapping being the operator of time inversion, and f taken arbitrary. In the N-particle representation of the current Lie algebra (29) for any finite the functional f (263) allows the following [,,] standard finite-particle form:
where and is a cyclic state. The operator acts on any function by the rule:
where is a diffeomorphism of corresponding to the vector field that is where For the expression (264) becomes
where for all Bogolubov’s quantum distribution functions [] are
and satisfy the compatibility conditions
where
To proceed with the further study of the classical distribution functions of the many-particle dynamical system, when the inverse temperature and the Planck constant Let us introduce [,,,] the following quantized selfadjoint Wigner operator
where, by definition, is the corresponding Hilbert space for the constructed Wigner type current algebra representation with the generating cyclic vector Performing transformation (268) in the expression (263), we can find that
for some functions From the expression (269) it also follows that
where is the Gibbs statistical operator and Tr: is the corresponding trace-operator, defined on the space of the nuclear operators on the corresponding Hilbert space representation The corresponding quantum current Lie algebra suitably transforms [,] into the Abelian Lie algebra of the operator functionals
Consider now a quantum dynamical system of many identical particles with the average nonvanishing density as and in the Van Hove’s sense [,]. Then, according to [,,], the Hamiltonian operator (234) in the Wigner representation (268) looks as
where ) and are the standard phase space measures in ) and the ordering operation is naturally inherited from (238). According to the Heisenberg’s principle [], the evolution equation with respect to temporal variable for an arbitrary observable operator quantity in the Wigner type representation space is
where is a usual operator commutator, naturally ensued from that on the Hilbert space Following [,,,,], one can state, that for in the weak sense the following theorem is true.
Theorem 5.
Let us denote as an algebra of the self-adjoint operators with in the Wigner representation. Then, the operator bracket on the algebra in the weak sense is equivalent to
where is a standard canonical Poisson bracket on the phase space of particles.
The statement (273) could be proved by means of the next general Bohr–Dirac correspondence principle in the quasi-classical approach:
where is a maximal number of the particle in the system and are operators in N-particle Hilbert space representation Here, it is worth making the following corollary.
Corollary. Algebra of the operators of the observable quantities for allows “hierarchical” representation
along with Lie bracket which is inducted by the bracket (273):
where in the Wigner representation and the following expansions hold
Consider now the following linear mapping where
and the Lie bracket is defined in and the corresponding Lie bracket (273) in Let us consider the dual to (278) mapping where
Here is statistic operator of the initial dynamical system (271), which satisfy the Heisenberg–Liouville equation
for all The expression (280), according to (274), transforms into the quasi-classical Liouville equation in the Wigner representation.
It is easy to check that for element the expression
defines the representation on the space of the distribution functions
where and for any
Let be linear functionals on then on the standard [] Lie-Poisson bracket is defined via the rule
where are such that In the same way, the dual Lie–Poisson bracket is defined on the set of functionals over the adjoint space (279)
where
Definition 16.
It is said that mapping of the Lie algebras is canonical (or Poissonian []), if for all and the following equality holds
where .
From reasonings presented above we can formulated the following proposition.
Proposition 10.
Let A and be two arbitrary Lie algebras and be a linear mapping. Then dual mapping is canonical if is Lie algebras homomorphism.
As a consequence of the statement above, one derives the next theorem.
Theorem 6.
Dual mapping , which was built by means of the hierarchical Lie algebra of the operators is canonical.
Let us consider the generating functional defined by expression (270) in Wigner representation, and apply the developed above algebraic technique to the calculation of the following quantity:
for the evolution with respect to the temporal parameter From (270) one can easily obtain that
where for all the Hamiltonian functional is given as
Based on (288) and Theorem 6, we immediately obtain the Hamiltonian evolution equation
where and is arbitrary. Thus, the following theorem is stated.
Theorem 7.
Using Equation (290) and formulae (273), (276), we finally get the following non-equilibrium functional Bogolubov’s equation []
where for any
and, by definition, denotes the standard canonical Poisson bracket on the phase space for all
Taking into account that for functional there exists the unlimited expansion (269):
from (291), we obtain the kinetic equations for the hierarchy of the Bogolubov distribution functions []:
where are the coefficients of the n-particle cluster in denotes its corresponding energy:
Thus, the problem of the construction of the kinetic theory by Bogolubov is reduced to finding the special solutions of the unlimited hierarchy of the Equations (294), where the selection criterion is based on Bogolubov’s fundamental weakening correlation principle:
where is a distance between two clusters with and numbers of the particles. If a special solution of the hierarchy (289) exists in the functional form
for all and then the corresponding equation for one-particle distribution function of the system in the external field V is the following
where is the so called ”collision integral” [,,,,], and is called the kinetic Boltzmann equation [,,]. Below, we will focus on the such special solutions of the Bogolubov’s hierarchy of the Equations (294), using the above developed algebraic method of Bogolubov’s generating functional.
9.2. Generating Representation Functional and Its Solution Space Structure
Let us consider Bogolubov’s functional Equation (291)
generated by the statistical operator evolution
for solving the Heisenberg evolution equation
for the statistical Gibbs operator with
When in the Wigner representation, the expression (300), as an explicit solution of the (301), allows the following expansion
where we denoted
The operator in (303) is called a “cluster operator” and allows the next expansion into the unlimited series:
where the functions can be defined uniquely form the representation (303) under the condition that the Gibbs operator is defined explicitly in the Wigner representation. Thus, from (302)–(304) we obtain the following expressions for the Bogolubov’s generating functional
where is a generating functional if the initial dynamical system of the particles under absent of interaction, that is
Applying to (306) when Bogolubov’s correlation weakening (296), we obtain that for all
where Now, according to (305) and (307), we find that
is a solution of Bogolubov’s functional Equation (299), where
for all To specify the form of the operators (309), we note that operator for all satisfies under the following differential evolution relationship:
where all operators are assumed to be given in the Wigner representation. Expanding the operator into the sum of n-particles components, , we find
and there is mutually unambiguous correspondence [,] between coefficient functions in (311) and coefficient functions in the expansion (304)
Here, is an arbitrary partition of the symmetry group of all permutations of the set of numbers on the subsets which are not intersect, that is and and are the corresponding to this partition coefficient functions. In particular,
and so on. Thus, on the base of the defined operator series (304) or (311), the problem of the explicit calculations of the distribution functions become very simple. Below we will analyze these series by means of the language of Bogolubov’s generating functional using Bogolubov’s functional hypothesis [,,,,].
9.3. Bogolubov–Boltzmann Kinetic Equation in the Frame of Functional Hypothesis
The generating functional, as it was stated above, is given by the expression
Here, is a generating functional of the system of non-interacting particles, which is equal to the expression (307) when From (313), it follows that for all for the n-particle distribution function the general functional relationship holds
Respectively, the generating functional (313) satisfies, according to (290) when , the following dynamic equation:
Let us put where and that
Then from (315), we also obtain that
for all Then Equation (317) can be rewritten in the following way:
where, by definition, and
is the Vlasov-type Hamiltonian of the self-consistent particles interaction. Let us define the following mapping on the phase space of particles:
where for all
It easy to see that the system of Equations (321) gives the exact solution [] for the dual Equation (316) in the form of the sum of -functions of particles:
where are the coordinates of the cluster. Using (320) from (318) we obtain that for all
where we denoted
Integrating the Equation (323) in limits we obtain that
We should also note here, that due to the Bogolubov’s principle of correlations weakening (296) and using (307) the first item in (325) can be represented in the form
Applying to the expression (325) the different variants of the successive approximations method [,,,,], we can get the generating functional in explicit form and then, using formula
for all obtain distribution function for any order of perturbation theory. In particular, choosing expansion by the particle density in container as a small parameter, it is easy to get the modified kinetic Bogolubov–Boltzmann equation for one-particle distribution function :
where the function is defined according to (325) and (326) by the following expression:
for Taking into account that the Poisson bracket is invariant with respect to the mappings from (329) it is easy to find that
where is a parameter of the axis in a cylindrical coordination system which is directed along the vector and beginning at the point After substituting (330) into (328), we can get the kinetic Bogolubov–Boltzmann equation [,,,,] in the form of (298) with the explicitly defined collision integral obtained from (330) via integration by Choosing in (326) other approximations of the generating functional one can find other forms of Bogolubov–Boltzmann kinetic Equations (298).
We can also make a remark concerning the nature of the operator-functional expression (309) or (304). Namely, it is easy to see that generating functional allows the following operator-functional representation for all :
Comparing the expressions (331) and (305), we find that for arbitrary
since the functional is arbitrary. It is easy to see from (332), that operator is not poly-local with respect to the functional derivatives which corresponds to the singularity in the operator expansion (304). Thus, using the expression (331), the arbitrariness of the initial state and the classical Bogolubov weakening correlation condition gives a possibility to find many types of the solutions via the method of successive approximations, which follows from (331) and the Bogolubov functional hypothesis subject to the generating representation functional of distribution functions.
Having analyzed the Bogolubov generating functional (331) within the quasi-classical Wigner density operator representation (287), one can obtain an exact functional-operator solution to the evolution Bogolubov functional Equation (323):
for Here we denoted
where are given particle distribution functions at that is, owing to the definition (237),
and are so-called cluster potential functions, determined recursively by means of the following functional-operator relationships:
with
being the statistical operator of the non-interacting particle system.
If the initial distribution at is ”chaotic”, that is for all the following relationships
hold, one easily gets from (334) and (338) that
If the ”chaotic” condition is not fulfilled, we can proceed to the usual cluster Ursell–Mayer type representation [,,,] for the Bogolubov generating functional (333), where
where ”cluster” distribution functions have the form
and denotes a partition of the set into non-intersecting subsets that is for and In particular,
and so on. The classical Bogolubov generating functional (333), owing to (334) and (340), allows a natural infinite series expansion, whose coefficients can be represented as above, by means of the usual Ursell–Mayer type diagram expressions, which can be effectively used for studying the kinetic properties of our many-particle statistical system.
9.4. The Kinetic Equations for Many-Particle Distribution Functions, Their Lie-Algebraic Structure and Invariant Reductions
It is well known that the classical Bogolubov–Boltzmann kinetic equations under the condition of many-particle correlations [,,,,,,,,,,,] at weak short range interaction potentials describe long waves in a dense gas medium. In general, based on the Liouville equations of a finite number of particles in a fixed volume, it is easy to get for these distribution functions a finite chain of the corresponding kinetic equations, within which one can formally proceed to the statistical mechanics limit and get a chain of equations for the limiting distribution functions. There will be strong difficulties here if we try to mathematically justify the correctness of this limiting transition in a chain of multi-particle kinetic equations. If we do not pay attention to this complex problem, and consider a fairly weak interaction between particles under appropriate initial conditions, one can obtain the related Boltzmann equation, characterizing the process of establishing statistical equilibrium. Many of the problems related to these limiting distribution functions can be omitted if the infinite particle statistical physics ensemble is worked with from the very beginning, making use of the secondly quantized representation [,,,] of the particle states in the corresponding Fock type space.
Relating to the Boltzmann kinetic equation, the same equation, called the Vlasov equation, as it was shown by N. Bogolubov [], also describes exact microscopic solutions of the infinite Bogolubov chain [] for the many-particle distribution functions, which was widely studied, making use of both classical approaches in [,,,,,,,,,,,,,,,,,,,,,,,,], and making use of the generating Bogolubov functional method and the related quantum current algebra representations.
A.A. Vlasov proposed his kinetic equation [] for electron-ion plasma, based on general physical reasonings that in contrast to the short range interaction forces between neutral gas atoms, interaction forces between charged particles slowly decrease with distance, and therefore the motion of each such particle is determined not only by its pair-wise interaction with either particle, but also by the interaction with the whole ensemble of charged particles. In this case, the Bogolubov equation for distribution functions in a domain
where is the temporal evolution parameter, denotes the canonical Poisson bracket [,,] on the product and is an interparticle interaction potential, - reduces to the Vlasov equation if to put in (343)
that is to assume that the two-particle correlation function [,,,] vanishes:
for all and Then one easily obtains from (343) that
for all and We remark here that the Equation (346) is reversible under the time reflection thus it is obvious that it can not describe thermodynamically stable limiting states of the particle system in contrast to the classical Bogolubov–Boltzmann kinetic equations [,,,,,,,], being a priori time non-reversible owing to the choice of boundary conditions in the correlation weakening form. This means that in spite of the Hamiltonicity of the Bogolubov chain for the distribution functions, the Bogolubov–Boltzmann equation a priori is not reversible. It is also evident that the condition (345) does not break the Hamiltonicity—the Equation (346) is Hamiltonian with respect to the following Lie–Poisson–Vlasov bracket:
where respectively are smooth functionals on the functional manifold consisting of functions fast decreasing at the boundary of the domain The statement above easily ensues from the following proposition.
Proposition 11.
Let denote a set of many-particle distribution functions. Then the classical Bogolubov–Poisson bracket [,,,] on the functional space reduces invariantly on the subspace to the Lie–Poisson–Vlasov bracket (347).
Concerning the general case when we work with an infinite Bogolubov chain of kinetic equations on the many-particle distribution functions and are forced to break it at some place, numbered by some natural number the usual approaches always give rise to the resulting inconsistency [,] of the chain and, as a result, to the nonphysical solutions. The most successful approach to obtaining the Boltzmann kinetic equation for the one-particle distribution function was suggested many years ago by N. Bogolubov [,], based on the effective application of the so called weak correlation condition. So far, regretfully, this approach, being conjugated with the complex problem of solving functional equations, also gives rise to inconsistency of the higher order kinetic equations. Nonetheless, being inspired by former studies [,,] of these problems, based on the geometrical interpretation of the Bogolubov kinetic equations chain, we devised a new functional analytic approach [] to constructing its compatible reduction a priori free of any non-physical consequences. We also succeeded in constructing a reduced set of kinetic equations, based on a suitably devised Dirac type invariant reduction scheme of the corresponding many-particle Lie–Poisson phase space. The approach to solving this problem and its different consequences will be analyzed in more detail in sections to follow below.
9.5. The Classical Lie-Poisson-Vlasov Bracket and Kinetic Equation for the One-Particle Distribution Function
The bracket expression (347) allows a slightly different Lie-algebraic interpretation, based on considering the functional space as a Poisson manifold, related with the canonical symplectic structure on the diffeomorphism group of the domain first described [,] in 1887 by Sophus Lie. Namely, the following classical theorem holds.
Theorem 8.
The Lie-Poisson bracket at point on the coadjoint space is equal to the expression
for any smooth right-invariant functionals
Proof.
By classical definition [,,,,] of the Poisson bracket of smooth functions on the symplectic space it is easy to calculate that
where Since the expressions and owing the right-invariance of the vector fields the Poisson bracket (349) transforms into
for all and any The Poisson bracket (350) is easily generalized to
for any smooth functionals finishing the proof. □
Concerning our special problem of describing evolution equations for one-particle distribution functions, we will consider the one particle cotangent space over a domain and the canonical Poisson bracket on for which, by definition, for any
where We denote now by the related functional Lie algebra and its adjoint space with respect to the standard bilinear symmetric form on the product where
The constructed Lie algebra with respect to the bilinear symmetric form (353) proves to be metrized, that is and
for any and is a smooth functional on its gradient at point is naturally defined via the limiting expression
for arbitrary element Now we define the Poisson structure by means of the standard Lie–Poisson [,,,,,,,,] expression:
for arbitrary functionals It is evident that the expression (356) identically coincides with the Poisson bracket (347).
Consider a functional and the related coadjoint action of the element at a fixed element :
where is the corresponding evolution parameter. It is easy observe that
is a Hamiltonian equation with the functional taken as its Hamiltonian, being simultaneously equivalent to the following canonical Hamiltonian flow:
if to choose as a Hamiltonian the following functional
where is a two-particle interaction potential, It is easy to observe here that the Hamiltonian (360) is obtained from the corresponding classical Hamiltonian expression
where denotes an infinite vector from the space of multiparticle distribution functions, and if to impose on it the constraint (344). Thus, we have stated the following proposition.
9.6. Boltzmann–Vlasov Kinetic Equations and Microscopic Exact Solutions
Proposition 11, stated above, claims that the Boltzmann–Vlasov Equation (346) is a suitable reduction of the whole Bogolubov chain upon the invariant functional subspace Moreover, this invariance in no way should be compatible a priori [,,,,,,,] with the other kinetic equations from the Bogolubov chain, and can even be contradictory. Nonetheless, as it was stated [] by N. Bogolubov, namely owing to this invariance of the subspace the Boltzmann–Vlasov Equation (346) in the case of the Boltzmann–Enskog hard sphere approximation of the inter-particle potential possesses exact microscopical solutions which are compatible with the whole hierarchy of the Bogolubov kinetic equations. The latter is, obviously, equivalent to its Hamiltonicity on the manifold with respect to the Lie–Poisson bracket (356). The Boltzmann–Enskog kinetic equation [,,,,] equals
where a particle diameter, − a unit vector, and, by definition, for all satisfying the condition The Equation (362) easily reduces to the Vlasov–Enskog equation
for all owing to its Hamiltonicity on the space If, in addition, there exists a nontrivial interparticle potential, the equation above is naturally generalized to the kinetic equation
which remains to be Hamiltonian on and possesses, in particular, the following exact singular solution:
where —phase space coordinates in of interacting particles in the domain Specified above the Hamiltonicity problem and the existence of exact solutions to the Boltzmann–Vlasov kinetic Equation (364) is deeply related to that of describing correlation functions [,,], suitably breaking the infinite Bogolubov chain [,,,,,] of many-particle distribution functions. Namely, if to introduce many-particle correlation functions [,,] for related Bogolubov distribution functions as
where then the Vlasov Equation (364) is obtained from the Bogolubov hierarchy at and for all
As it was mentioned above, the constraint imposed on the infinite Bogolubov hierarchy is compatible with its Hamiltonicity. Yet in many practical cases, this closedness procedure by means of imposing the conditions like
for all at some fixed gives rise to some serious dynamical problems related to its mathematical correctness. Namely, if to close the infinite Bogolubov chain of kinetic equations on many-particle distribution functions in this way, one easily checks that the imposed constraint (367) does not persist in time subject to the evolution of the distribution functions This means that these naively reduced kinetic equations are written down somehow incorrectly, as the reduced functional submanifold should remain invariant in time. To dissolve this problem, we are forced to consider the whole Bogolubov hierarchy of kinetic equations on multiparticle distribution functions as a Hamiltonian system on the functional manifold and correctly reduce it on the constructed above functional submanifold via the classical Dirac type [,,,,] procedure. The kinetic equations obtained this way by means of the reduced Lie–Poisson–Bogolubov structure will evidently differ from those naively obtained by means of the direct substitution of the imposed constraint (367) into the Bogolubov chain of kinetic equations, and in due course will conserve the functional submanifold invariant.
9.7. The Invariant Reduction of the Bogolubov Distribution Functions Chain
Consider the constructed before Hamiltonian functional (361)
and calculate the evolution of the distribution functions vector under the simplest constraint (367) at that is
for all To perform this reduction on , we need [,,] to constraint the -extended Hamiltonian expression
for some smooth function and next to determine it from the submanifold invariance condition
for all and To effectively calculate the condition (371), let us first calculate the evolutions for distribution functions and
and
which can be rewritten equivalently as follows:
and
Having now substituted temporal derivatives (374) and (375) into the equality (371) in their explicit form, one obtains the following functional relationship:
which is satisfied if
for all Taking into account the result (377), one easily obtains from the Equation (374) the invariantly reduced on the submanifold kinetic equation on the one-particle distribution function:
which can be rewritten in the following compact form:
where we put, by definition,
The kinetic Equation (378) naturally coincides exactly with that obtained previously from the naively reduced evolution equation
on the submanifold as it is globally invariant [,] with respect to the classical Lie–Poisson–Bogolubov structure on
The obtained result can be formulated as the following proposition.
Proposition 13.
The first correlation function Dirac type reduction on the functional submanifold formed by relationships (369), reduces the corresponding Bogolubov chain of many-particle kinetic equations to the well known classical Vlasov kinetic equation.
Remark 9.
It is worth mentioning here that the well known classical Bogolubov approximation of the many-particle distribution functions as with mapping presenting smooth nonlinear functionals, independent of the temporal parameter define a suitably different functional submanifold upon which the reduced evolution flow
gives rise to a new Boltzmann type kinetic equation, being compatible with evolution equations for higher distribution functions, free of evolution inconsistencies and completely different from that derived previously by Bogolubov [].
In the same way as above, one can explicitly construct the system of invariantly reduced kinetic equations
on the submanifold which already is not a priori globally invariant with respect to the Hamiltonian evolution flows on and whose detail structure and analysis are postponed to another place.
9.8. Conclusions and Perspectives
We presented a review of the Boltzmann type kinetic equations in statistical physics as analytical objects based on the non-relativistic current algebra symmetry approach to constructing the Bogolubov generating functional of many-particle distribution functions. We then applied it to an important classical problem of describing Boltzmann–Bogolubov and Boltzmann–Vlasov type kinetic equations, naturally related with an invariantly reduced canonical Hamiltonian system on the infinite-dimensional space of distribution functions subject to the constraints imposed on suitably chosen many-particle correlation functions. As an interesting introductory example of deriving Boltzman–Vlasov type kinetic equations, we considered a quantum-mechanical model of spinless particles with delta-type interaction, having applications [,,] for describing so called Benney type hydrodynamic particle flows. We also reviewed new results on a special class of dynamical systems of Boltzmann–Bogolubov and Boltzmann–Vlasov type on infinite dimensional functional manifolds modeling kinetic processes in many-particle media. There was demonstrated construction of the classical Bogolubov generating functional method in non-equilibrium statistical mechanics within the classical Wigner quasi-classical representation. We also analyzed and presented the kinetic Boltzmann type equation in non-equilibrium statistical mechanics in the frame of the Bogolubov functional hypothesis. Moreover, the Hamiltonian analysis of the infinite hierarchy of many-particle distribution functions was reviewed, and the algebraic structure of the Boltzmann–Bogolubov kinetic equations and their invariant Poissonian reductions were analyzed in detail, including the derivation of the related Boltzmann–Vlasov kinetic equations. Based on the methods and devised techniques, an approach was proposed to invariant reduction of the chain of Bogolubov distribution functions on suitably chosen correlation function constraints, which allowed the derivation of the related modified Boltzmann–Bogolubov kinetic equations for a finite set of multi-particle distribution functions.
We also elaborated in detail effective enough invariant analytical tools reducing the infinite Boltzmann–Bogolubov hierarchy of kinetic equations upon the two-particle correlation function constraint. Within this aspect of invariant reduction of the infinite Boltzmann–Bogolubov hierarchy of kinetic equations that has very important applications, there stays an interesting problem of analytically presenting this reduction upon the three-particle correlation function constraint and deriving a closed system of the Boltzmann type kinetic equations on the corresponding one- and two-particle distribution functions. The similar, yet much more complicated, analytical problem for the future analysis consists of deriving invariantly reduced kinetic equations under the Bogolubov functional hypothesis and its modified versions.
10. The Current Algebra Functional Representations and Geometric Structure of Quasi-Stationary Hydrodynamic Flows
10.1. Introductory Notes
This section is devoted to compressible liquid or gas motions in which entropy remains locally constant throughout the flow field, i.e., the flow for which the entropy of a moving element along a streamline remains constant, is called isentropic. This means that along different streamlines, the entropy changes normal to the streamlines. As a typical example, one can mention the flow field behind a curved shock wave, where streamlines, passing through different locations along the curved shock wave, experience different increases in entropy. Hence, downstream from this shock, the entropy can be constant along a given streamline but differs from one streamline to another. This type of flow, with entropy constant along streamlines, is defined as isentropic. Flow with entropy constant everywhere is then called homentropic. Here we need to remark that owing to the second law of thermodynamics, an isentropic flow does not strictly exist. We know from thermodynamics that an isentropic flow is defined to be along streamlines both adiabatic and reversible. Yet, all real flows always experience to some extent the irreversible phenomena of friction, thermal conduction, and diffusion. For instance, any non-equilibrium, chemically reacting flow is always irreversible, when considered to be a closed system. Nonetheless, there are a large number of liquid and gas dynamic problems with entropy increase negligibly slight, which for the purpose of analysis are assumed to be isentropic. Examples are flows through subsonic and supersonic nozzles, as in wind tunnels and rocket engines, or shock-free flows over a wing, fuselage, or other aerodynamic shapes. For all of them, except for a flow near the thin boundary-layer region, adjacent to the surface where friction and thermal conduction effects can be strong, the outer inviscid flow can be considered isentropic. In contrast, if shock waves exist in the flow, the entropy increase across these shocks destroys the assumption of isentropic flow, although the flow along streamlines between shocks may persist to be isentropic.
As an isentropic flow is governed by thermodynamically reversible processes, being adiabatic along a streamline, it needs to be specified with locally defined [] thermodynamical parameters, such as the medium density the specific entropy the local medium absolute temperature the pressure p and the specific energy All these quantities are related to each other in some way, which can be retrieved following the classical Gibbs reasonings. We assume from the very beginning that the reversible thermodynamical state of the medium under regard is completely locally described by means of the following first pair: -local pressure-specific density) of thermodynamical parameters. Assume now that the same thermodynamical state of this medium can also be simultaneously described by means of the following second pair: -local absolute temperature, -specific entropy The latter, in particular, means that a suitable functional transformation from one parameter to another, if smooth, is diffeomorphic, which is the Jacobian of this transformation is not degenerate everywhere, i.e.,
at all points Taking into account that the local absolute temperature T and the adiabatic parameters are, in general, defined with some scaling ambiguity, we can always put, by definition, that everywhere. As a simple consequence of multiplying this expression by the unity Jacobian one easily derives that
or, equivalently,
at all points The equality of partial derivatives above simply means, owing to the well known Montel–Menchoff–Young theorem [,,], the existence of such a differentiable thermodynamic state function that its differential satisfies the following equality:
The latter expression presents exactly the written down second thermodynamic law with respect to the locally defined variables, if the smooth function is interpreted as the specific medium energy of the system at the internal absolute temperature and pressure at suitably fixed state parameters Taking into account that our medium is embedded into some domain moving in space-time, our next task is to adequately describe the related motion spatial phase space variables, compatible with the corresponding Euler evolution equations.
10.2. Diffeomorphism Group Structure and Functional Phase Space Description
It is well known that the same physical system is often described using different sets of variables, related with their different physical interpretation. Simultaneously, this same system is endowed with different mathematical structures deeply depending on the geometric scenario used for its description. In general, these structures prove to be not equivalent but some special way connected to each other. In particular, such double descriptions commonly occur in systems with distributed parameters such as hydrodynamics, magnetohydrodynamics and diverse gauge systems, which are effectively described by means of both symplectic and Poisson structures on suitable phase spaces. In particular, it was observed [,,,,,,,,] that these structures are canonically related to each other. Mathematical properties, lying in a background of their analytical description, make it possible to study additional important parameters [,,,,,,,,,,,,,,,,] of different hydrodynamic and magnetohydrodynamic systems, amongst which we will mention integral invariants, describing such internal fluid motion peculiarities as vortices, topological singularities [] and other different instability states, strongly depending [,] on imposed isentropic fluid motion constraints. Being interested in their general properties and mathematical structures, responsible for their existence and behavior, we present a detailed enough differential geometrical approach to investigating thermodynamically quasi-stationary isentropic fluid motions, paying more attention to analytical argumentation of tricks and techniques used during the presentation.
In particular, we consider a compressible liquid filling a compact linearly-connected domain with smooth boundary and moving free of external forces. A configuration of this fluid is called the reference or Lagrangian configuration, its points are called material or Lagrangian points and are denoted by and are referred to as material, or Lagrangian coordinates. We shall not for now be specific about the correct choices of the related functional spaces to be used and refer to works [,], where this is discussed in great detail. The manifold thought of as the target space of a configuration of the fluid at a different time, is called the spatial or Eulerian configuration, whose points, called spatial or Eulerian points, will be denoted by small letters Then a motion of the fluid is a time dependent family [,,,,,,,,] of diffeomorphisms written as
for any initial configuration and some mapping We also are given the mass density and the specific entropy of the fluid in the reference configuration, changing in time in such a way that
where denotes the standard Jacobian determinant of the motion at and denotes the specific entropy for any and For a motion and arbitrary one usually defines three velocities:
the material or Lagrangian velocity
the spatial or Eulerian velocity
and convective or body velocity
being equivalent to the expression for all Since the velocity is tangent to M for all at it determines a time dependent vector field on On the other hand, tangency of and means that the velocity is a vector field over a configuration on that is is such a map that is tangent to M not at but at point Simultaneously, the velocity is a tangent vector to M at that is is also a time dependent vector field on In what will follow, we will think of the fluid as moving smoothly in the domain at any time filling it and producing no shocks and cavitation.
We present in the introductory section a modern differential geometric description of the isentropic fluid motion phase space and featuring diffeomorphism group structure, modelling the related dynamics, as well as its compatibility with the quasi-stationary thermodynamical constraints. The next section is devoted to the Hamiltonian analysis of the adiabatic liquid dynamics, within which, following the general approach of [,,], we explain the nature of the related Poissonian structure on the fluid motion phase space, as a semidirect Banach groups product, and a natural reduction of the canonical symplectic structure on its cotangent space to the classical Lie–Poisson bracket on the adjoint space to the corresponding semidirect Lie algebras product. A modification of the Hamiltonian analysis in case of the isothermal liquid dynamics is presented in the next section. We proceed further to studying the differential-geometric structure of the adiabatic magneto-hydrodynamic superfluid phase space and its related motion within the Hamiltonian analysis and invariant theory. We construct there an infinite hierarchy of different kinds of integral magneto-hydrodynamic invariants, generalizing those previously constructed in [,], and analyzing their differential-geometric origins. The last section presents charged fluid dynamics on the phase space invariant with respect to an Abelian gauge group transformation.
10.3. A Modified Current Algebra, Its Functional Representation and Geometric Description of the Ideal Liquid Dynamics
It is well known that the motion of an ideal compressible and isentropic fluid is governed by the Euler equations
where is the internal fluid pressure, is the specific entropy at a spatial point for any which is fixed owing to the Euler Equation (393), is the usual gradient on the space of smooth functions and denotes the usual convolution on subject to the usual metric in reduced on the submanifold The evolution (393) is considered to be a priori thermodynamic equilibrium and quasi-stationary, meaning that the following infinitesimal heat convective and strictly mathematical relationship (387), derived above in the Introduction,
holds for all and where denotes the internal specific fluid energy, denotes the internal fluid absolute temperature, is the internal liquid pressure and the variation sign means the change subject to both the temporal variable and the spatial variable
Let us now analyze the internal mathematical structure of quantities as the physical observables subject to their evolution (393) with respect to the group diffeomorphisms generated by the liquid motion vector field :
where denotes the corresponding Lie derivative with respect to the vector field The relationships (395) here simply mean that at every fixed the space of physical observables, being by definition, the adjoint space to the vector space the tangent space at the identity to the extended differential-functional current group manifold where we have naturally identified the Abelian group product with its direct tangent space sum
Consider now the natural action of the -group on the constructed differential-functional manifold :
for and any Then, taking into account the suitably extended action (396) on the differential-functional manifold one can formulate the following easily checkable and crucial for what will follow further proposition.
Proposition 14.
The functional manifold in Eulerian coordinates is a smooth symmetry Banach group equal to the semidirect product of the diffeomorphism group and the direct product of the Abelian functional and density group, endowed in Eulerian variables with the following right group multiplication law:
for arbitrary elements and
This proposition allows a simple enough interpretation, namely, it means that the adiabatic mixing of the -liquid configuration with the -liquid configuration amounts to summation of their densities and entropies, simultaneously changing the common specific density owing to the fact that some space of the domain M is already occupied by the first liquid configuration and the second one should be diffeomorphically shifted from this configuration to another free part of the spatial domain whose volume is assumed to be fixed and bounded.
The second important observation concerns the variational one-form (394), which can be naturally interpreted as some constraint on the group manifold G for any fixed initial extended Lagrangian configuration as it follows from the conditions (389):
for all and In addition, if to determine, owing to (394) and the streamline adiabatic constraint for all the specific energy density
for some still unknown mapping and the internal potential energy function of the liquid under regard, the local energy conservation property
holds for all and the domain where a smooth submanifold D is chosen arbitrarily and denotes the corresponding evolution subgroup of the diffeomorphism group generated by the Euler evolution Equation (393), becomes compatible with constraint (394) if there holds the following equality:
for all and In particular, from (400) and (401) the following global internal energy functional
is conserved that is for all
As the extended Lagrangian configuration is fixed for all whiles of time and the dynamical variables and depend only on the evolution diffeomorphisms it is reasonable to consider the constraint (394) as an element of the cotangent space to the diffeomorphism group at the point for any
Determine first the tangent space to the group manifold G at point which will be the direct product of the tangent spaces and The last two tangent spaces are isomorphic, respectively, to themselves, that is and at any Their adjoint spaces are naturally determined as suitably constructed density and functional spaces on the manifold and Concerning the tangent space at a configuration we will make use of the construction, devised before in [,,]. Namely, let be a Lagrangian configuration and determine the tangent space at as the collection of left invariant vectors at where is, by definition, the left shift on the diffeomorphism group and is a tangent vector at the unity It is obvious that for all reference points and any smooth curve of diffeomorphisms of M, the set of right invariant vectors at point defines a smooth vector field on the manifold Since, by definition, the tangent space coincides with the Lie algebra of the diffeomorphism group strictly isomorphic to the Lie algebra of right invariant vector fields on the dual space can be naturally determined from the geometric point of view as the space consisting of analytic functions on and coinciding with the set of one-form densities on M:
Similarly, the cotangent space consists of all one-form densities on M over :
subject to the canonical nondegenerate convolution on if where then
The construction above makes it possible to identify the cotangent bundle at the fixed Lagrangian configuration to the tangent space insomuch as the tangent space is endowed with the natural internal tangent bundle metric at any point identifying with via the metric isomorphism The latter can also be naturally lifted to at namely: for any elements and we can define the metric
where, by definition, for any
The diffeomorphism group can be naturally restricted to the factor-group subject to the stationary normal symmetry subgroup where
for any Based on the construction above, one can proceed to constructing smooth flows and functionals on the specially extended group manifold and consider their coadjoint action on the cotangent bundle and relate them in some way to the evolution with respect to the Euler Equation (393). Moreover, as the cotangent bundle is a priori endowed with the canonical Poisson structure, one can study both the Hamiltonian flows on it, related with the Euler Equation (393), and a hidden geometrical meaning of the differential constraints like (394).
10.4. The Hamiltonian Analysis and Related Adiabatic Liquid Dynamics
We observed above that the liquid motion is adequately described by means of the symmetry diffeomorphism group acting on the target manifold and in this way the modeling liquid motion, generated by suitable vector fields on This also means that the fluid motion strongly depends on the constraint (394) on the cotangent bundle and a priori possesses the canonical Poisson structure on it. Taking into account that the diffeomorphism group acts on the extended group density manifold fixed by the element one can suitably construct the canonical Poisson bracket on the cotangent bundle using the canonical coordinate variables on it. Namely, let be coordinates on where
and being suitably represented into the Eulerian spatial variables on at point In particular, the quantities and are called, respectively, the Eulerian momentum density, the Eulerian fluid density and entropy variables at point The corresponding metric on is given by the expression
where for is determined by (406) and for any and one determines, respectively, as
Consider now the cotangent bundle at point as a smooth manifold endowed with the canonical symplectic structure on it, equivalent to the corresponding canonical Poisson bracket on Taking into account that the manifold shifted by the right -action to the manifold becomes diffeomorphic to the adjoint space to the Lie algebra of the group as was stated [,,,,] by S. Lie in 1887, this canonical Poisson bracket on transforms [,,,,,] into the classical Lie–Poisson bracket on the adjoint space Moreover, the orbits of the group on transform into the corresponding coadjoint orbits on the adjoint space generated by elements of the Lie algebra To construct this Lie–Poisson bracket, we formulate the following preliminary proposition.
Proposition 15.
The Lie algebra is determined by the following Lie commutator relationships:
for any vector fields and scalar quantities and on the manifold
Proof.
As an example, we calculate, for brevity, the Poisson bracket on the cotangent space at any Consider the cotangent space the adjoint space to the tangent space of left invariant vector fields on at any and take the canonical symplectic structure on in the form where the canonical Liouville form at a point is defined a priori on the tangent space of right-invariant vector fields on the torus manifold Having calculated the corresponding Poisson bracket of smooth functions on one can formulate the following proposition.
Proposition 16.
The Lie–Poisson bracket on the coadjoint space is equal to the expression
for any smooth functionals
Proof.
By definition [,] of the Poisson bracket of smooth functions on the symplectic space it is easy to calculate that
where Since the expressions and owing the right-invariance of the vector fields the Poisson bracket (412) transforms into
for all and any The Poisson bracket (412) is easily generalized to
for any smooth functionals finishing the proof. □
Proceed now to the Grassmann algebra endowed with Hodge [] star-isomorphism subject to the usual metric on the tangent space and determine the adjoint space to the Abelian subalgebra as the space with respect to the following scalar product on
for any Then the adjoint space owing to the expressions (409) and (389), is described by means of the Eulerian variables The latter makes it possible to calculate the corresponding Lie–Poisson bracket on the adjoint space at a point generalizing the Poisson bracket (414):
for any smooth functionals where we put, by definition, for all and any
Return now to the constraint (394) in the following variational form:
which should hold at any for all Insomuch as, owing to the Euler Equation (393), the full (convective) derivative at any for all one checks once more that the expression (399) holds at any for all To determine the energy density function (399), we consider the Euler Equation (393) and check their Hamiltonian structure subject to the Poisson bracket (417), i.e., the existence of a Hamiltonian functional for which
at any element By means of easy calculations, one obtains from the system (419) the variational gradient vector
from which one derives [,,] via the Volterra homotopy mapping
the exact Hamiltonian expression
coinciding with the expression (402) at as for Thus, we obtain the internal energy density functional (399) as
for all and satisfying simultaneously both the constraint (394) and the Euler evolution Equation (393) for all Moreover, from the condition (400) one easily finds [] the following important local differential relationship:
satisfied for all and also confirming the energy conservation (422).
10.5. The Hamiltonian Analysis and Related Isothermal Liquid Dynamics
Consider a liquid motion governed by the Euler equations
and describing the ideal compressible and isothermal motion of an ideal compressible and adiabatic fluid in a spatial domain as the temperature at any evolution point for all and The evolution (425) is considered to be a priori thermodynamically quasi-stationary, i.e., the following, infinitesimal convective energy relationship
holds for all densities temperature ∈ and specific entropy where denotes the corresponding internal specific fluid “energy”and the variation sign means the change subject to both the temporal variable and the spatial variable Under the imposed isothermal condition the expression (426) transforms into
where is the specific potential liquid energy for the isothermal flow, determined at solving the functional relation subject to the entropy argument if the condition holds for all densities and .
Observe now that the third equation of (425) is exactly equivalent to the internal average fluid kinetic energy conservation integral relationship
over the domain where a smooth submanifold is chosen arbitrarily and denotes the corresponding evolution subgroup of the diffeomorphism group generated by the Euler evolution Equation (425). The relationship (428) simply means that if the density function transforms under diffeomorphism group action as the Abelian functional group the corresponding transformation of the temperature is induced by the diffeomorphism group action on the related Abelian group Concerning the energy density (427) one easily obtains the following differential relationship:
satisfied for all As a simple consequence of the relationship (429), one obtains that the following functional
is conserved over the domain where a smooth submanifold is chosen arbitrarily.
Similarly to the reasoning above, one can now construct the differential-functional group space and formulate the following easily checkable proposition. The differential-functional group functional manifold in Eulerian coordinates is a smooth Banach group equal to the semidirect product of the diffeomorphism group and the direct product of Abelian functional and density groups, endowed with the following group multiplication law:
for arbitrary elements and
This proposition allows a simple enough interpretation, namely, it means that the adiabatic mixing of the liquid configuration with the liquid configuration amounts to summation of their spatially shifted densities, simultaneously changing the common specific kinetic energy, proportional [,,] to the liquid temperature, owing to the fact that some space in the domain M is already occupied by the first liquid configuration and the second one should be diffeomorphically shifted from this configuration to another free part of the spatial domain with fixed and bounded volume. The diffeomorphism group can be naturally restricted to the factor-group subject to the stationary normal symmetry subgroup where
for any Based on the construction above one can proceed to studying the extended Banach group action on the cotangent bundle at generated by the fluid evolution with respect to the Euler Equation (425). The related fluid motion is naturally modelled by means of the coadjoint action of the corresponding Lie algebra of the group on its adjoint space
The related Lie structure on easily ensues from the action (431):
for any representative elements and Moreover, as the cotangent bundle at is diffeomorphic to the adjoint space to the Lie algebra of the Banach group it is a priori endowed with the canonical Lie–Poisson structure
for any smooth functional where we put, by definition, an element for all and one can easily check that the flow (425) is Hamiltonian:
subject to the adjusted Hamiltonian functional (430):
satisfying the conservative condition for all following simultaneously both from (435) and from the differential relationship (429).
10.6. The Hamiltonian Analysis and Adiabatic Magneto-Hydrodynamic Superfluid Motion
We start with considering a quasi-neutral superfluid contained in a domain and interacting with a “frozen” sourceless magnetic field satisfying the superconductivity conditions
where is the internal net superfluid electric field, and are the internal electric and magnetic fields, respectively, generated by the corresponding magnetic vector field potential is the superfluid velocity and “×” denotes the usual vector product in the Euclidean space The following natural boundary conditions and are imposed on the superfluid flow, where is the vector normal to the boundary which is considered to be smooth almost everywhere.
Then, in adiabatic magneto-hydrodynamics (MHD), quasi-neutral superconductive superfluid motion is described by the following system of evolution equations:
where, as before, is the superfluid density, is the “frozen” into the superfluid magnetic field, is the internal liquid pressure and is the specific superfluid entropy at time The latter is related to the internal MHD superfluid specific energy function owing to the first thermodynamic law:
satisfied for any admissible variations of the phase space parameters where is the internal absolute temperature in the superfluid for The isentropic condition where for all and that related to (438) evolution diffeomorphism entails the following expression for the specific internal energy
where is the corresponding internal potential specific energy density and is some still unknown function, depending in general on the imposed magnetic field
Let us now analyze, as before, the mathematical structure of quantities as the physical observables subject to their evolution (438) with respect to the group diffeomorphisms generated by the liquid motion vector field :
where denotes the corresponding Lie derivative with respect to the vector field The relationships (441) mean that the space of physical observables, being by definition, the adjoint space to the extended configuration space is equal to the tangent space at the identity to the extended differential-functional group manifold where we have naturally identified the Abelian group product with its direct tangent space sum
Consider now the constructed differential-functional current group manifold in Eulerian variables, on which one naturally acts the -group the standard way:
for and any Then, taking into account the suitably extended action (442) on the differential-functional manifold one can formulate the following easily checkable further proposition that is crucial for what will follow.
Proposition 17.
The differential-functional current group manifold in Eulerian coordinates is a smooth symmetry Banach group equal to the semidirect product of the diffeomorphism group and the direct product of abelian functional density and one-form groups, endowed with the following group multiplication law in Eulerian variables:
for arbitrary elements and
Thus, one can proceed to studying the corresponding coadjoint action of the Lie algebra on the adjoint space As the Lagrangian configuration and the entropy are assumed to be invariant under the Banach diffeomorphism group action the resulting group action can be reduced to the factor-group action on the semidirect group product Based on the multiplication law (443), one easily calculates the following Lie algebra commutation relationships:
for any elements and
The adjoint space to the semidirect product Lie algebra can be, naturally, written symbolically as the space whereas before, the mapping denotes the Hodge isomorphism. Then, taking into account the adjoint space to the current Lie algebra is endowed with the following [,,,,,] canonical Lie–Poisson bracket
for any smooth functionals on the adjoint space where, as before, we denoted by the specific momentum of the superfluid. The bracket (445) naturally ensues from the canonical symplectic structure on the cotangent phase space as it was previously demonstrated in the section above.
We now write down the first two equations of the Euler MHD system (438) as the local fluid mass and momentum conservation laws in the integral Ampere–Newton form
which is completely equivalent to the relationships (441) and where is the net internal superfluid pressure, is the spatially distributed Lorentz force on the superfluid, is the respectively oriented surface measure on the boundary for the domain and a smooth submanifold D is chosen arbitrarily. Taking into account that for any the second integral relationship (446) becomes equivalent to the following:
where we have represented the internal superfluid pressure quantity as
for some mapping strictly depending only on the internal liquid configuration for all
Based on the Poisson bracket expression (445), one can now easily determine the Hamiltonian function corresponding to the Euler evolution equation (438) on the adjoint space :
where the quantity
denotes the specific internal superfluid energy, modified by means of the “frozen” magnetic field replacing the previously defined internal specified potential energy by the shifted specified potential energy quantity In particular, the Equation (447) reduces to the equivalent Hamilton expression
for and all It is also seen that if uniformly with respect to time the internal energy expression (450) brings about that (423). Recall now that the following quasi-stationary second thermodynamic energy conservation law
holds for all admitted superfluid variations and As, by isentropic assumption, for all along fluid streamlines, for the internal pressure one easily obtains the expression exactly coinciding with that of (448).
The Hamiltonian function (449) evidently satisfies the conservation condition for all To check this directly, it is enough to observe [] that the following differential relationship
holds for all and whose integration over the domain easily gives rise to the conservation of the Hamiltonian function (449).
10.7. A Modified Current Lie Algebra, Magneto-Hydrodynamic Invariants and Their Geometry
The importance of spatial invariants describing the stability [] of MHD superfluid motion was previously stated long ago [,,,]. Based on the modern symplectic theory of differential–geometric structures on manifolds, we devise a unified approach to study MHD invariants of compressible superfluid flow, related with specially constructed symmetry structures and commuting to each other vector fields on the phase space.
We start from a useful differential-geometric observation that the magneto-hydrodynamic Euler equations action on the adjoint space to the Lie algebra of the modified Banach current group generated by the following vector field differential relationship:
where and is an acceptable time-dependent vector field on the domain describing the adiabatic superfluid and superconductive motion via the diffeomorphism subgroup mappings Taking into account that the initial superfluid configuration is fixed, one can define, following reasonings from [], a new differential relationship
on the domain M with respect to the evolution variable parameterized by the time parameter where is a -independent vector field on generating the diffeomorphism subgroup commuting to that generated by the vector field (454), i.e., for all The action of the diffeomorphism subgroup at any fixed time can be naturally interpreted as rearranging the particle configurations in the superfluid, not changing its other dynamic characteristics. If to denote the corresponding Lie derivatives with respect to the vector fields (454) and (455) by differential expressions and the commutation condition for all is equivalently rewritten as the operator commutator
Consider now an arbitrary integral invariant of the MHD superfluid, governed by the Euler system (438):
generated by some specific density functional and held over the domain for any domain corresponding to the diffeomorphism subgroup generated by flow (454). Taking into account that there holds the following density relationship
for any one easily derives from (457) and (458) that also
for any Thus, based on the commutation relationship (456) one can formulate the following important lemma.
Lemma 1.
Let vector fields (454) and (455) commute to each other and a density functional satisfies for all the condition
then the following expressions
over the domain generated by corresponding to the flow (454) diffeomorphism subgroup and arbitrary domain are for all integers the MHD invariants of the superfluid flow (438).
Proof.
As examples, let us take following [,], the vector field commuting to the vector field and where the magnetic vector potential satisfies the classical Maxwell relationships: the magnetic field and the electric field owing to the net electric field superconductivity (437) condition Really, the commutativity condition (456) means that
which is satisfied, owing to the second and fourth equations of the Euler MHD system (438), as well as to the invariance
which holds owing to the algebraic relationship
commutativity of vector fields and and the integral relationship
equivalent to the condition for all The same statement we obtain from the slightly simpler reasoning:
following from the net electric field superconductivity condition (437) along the boundary where is the surface, generated by the diffeomorphism subgroup and an arbitrarily chosen surface The latter is, evidently, equivalent to the equality modulo the gauge transformation where for some function and all Thus, one can formulate [,] the following proposition.
Proposition 18.
It is natural here to mention [,] that the specific entropy functional →satisfies the sufficient condition a priori generates for the superfluid flow (438) the infinite hierarchy
of the MHD invariants over the domain generated by the corresponding to the flow (454) diffeomorphism subgroup and arbitrary domain
To construct other MHD invariants, depending on the superfluid velocity let us consider, following [], two differential one-forms satisfying for all the following identity:
for some function where the vector field
is uniform with respect to the evolution parameter and satisfies the following constraints:
and at almost all points for all evolution parameters Then one can formulate the following general proposition.
Proposition 19.
The following integral expressions
over the whole domain are for all integers the global MHD invariants.
Proof.
Consider, for example, a proof that is an invariant: taking into account that one obtains the expression:
for all where we put, by definition, denoted the surface measure on the boundary used the Cartan representation and the natural boundary tangency condition thus proving the proposition. Exactly similar calculations ensue for the next two invariant on which we will not stop here. □
As a simple example, one can put the vector field and show by easy calculations, using the variational equality (439) that
where, we have denoted the specific enthalpy [,,] function As a consequence of equality (474), under the spatial temperature constancy condition for all one obtains the following MHD superfluid invariant:
where and coinciding with the MHD invariant, presented before in [,]. If the above temperature condition does not hold, the equality (474) reduces to the differential relationship
satisfied for all and
Remark. It is worth remarking here that the following baroclinic relationship
holds for all and
Similarly, we also easily obtain the following invariant
coinciding exactly with the Hamiltonian function for the flow (438) on the phase space The third invariant is, eventually, closely related to the vorticity vector and needs a more detailed analysis.
It is instructive now to analyze the existence of integral invariants for the pure hydrodynamic case when the magnetic field following the approach, devised before in []. In particular, owing to the relationship (477), there holds the following integral expression for the vorticity
and define the vector field
for some scalar smooth mapping which we will choose from the assumed commutation condition
The latter gives rise to the equality at any or
where we took into account that with respect to the temporal parameter From (482), one obtains that the mapping should satisfy the following constraints:
for some scalar smooth functions and It is easy to check that the system (483) is compatible, i.e., the quasi-stationary thermodynamic relationship jointly with the Euler Equation (393) make it possible to determine these unknown scalar smooth functions and for all
Consider now, following [], a slightly modified expression (474) at the magnetic field :
and calculate the related integral expression:
where we put, by definition, the function
If now to put that the mapping satisfies for all the constraint the integral expression (485) reduces to
where the vorticity vector tangency constraint is assumed. Thus, under conditions assumed above, the following vortex functional
persists to be conserved for all
If the function being defined by relationships (483), satisfies for all the scalar constraint one easily derives the following differential relationship:
or, equivalently, in the integral form
where we took into account that for the isentropic fluid flow under regard there holds the tangency condition for all If the right hand side of (489) proves to be zero, i.e., this will mean that the constraint for all if at thus producing the vortex conservation functional (487).
11. A Modified Current Lie Algebra Symmetry on Torus, Its Lie-Algebraic Structure and Related Integrable Heavenly Type Dynamical Systems
11.1. Introductory Notes
The main object of our study is integrable multidimensional dispersionless differential equations, which possess modified Lax–Sato type representations, related with their hidden Hamiltonian structures. Equations of this type arise and are widely applied in mechanics, general relativity, differential geometry and the theory of integrable systems. Among the most mentioned are the Boyer–Finley equations, heavenly type Plebański equations, which are descriptive of a class of self-dual 4-manifolds, as well as the dispersionless Kadomtsev–Petviashvili (dKP) equation, also known as the Khokhlov–Zabolotskaya equation, which arises in non-linear acoustics and the theory of Einstein–Weyl structures. Their integrability have been investigated by a whole variety of modern techniques including symmetry analysis, differential-geometric and algebrogeometric methods, dispersionless -dressing, factorization techniques, Virasoro constraints, hydrodynamic reductions, etc. The first important examples of the related Hamiltonian structures were previously demonstrated in [,,,,] and later were developed in [,,,,,,,], where many examples of dispersionless differential equations were analyzed in detail as flows on orbits of the coadjoint action of loop vector field algebras generated by specially chosen seed elements In these works, it was observed that many integrable multidimensional dispersionless differential equations are generated by seed elements of a very special structure, namely for them there exist such analytical functional elements that As the latter naturally generates the symplectic structure on the moduli space [,] of flat connections on related to coadjoint actions of the corresponding Casimir functionals, the geometric nature of many integrable multidimensional dispersionless differential equations can be also studied using cohomological techniques, devised in [,] for the case of Riemannian surfaces. It is also worth mentioning that in [,,] a deep connection of the related Hamiltonian flows on was revealed with the well known in classical mechanics Lagrange–d’Alembert principle.
In this section, developing the approach, devised in [,,], we will describe a Lie algebraic structure and integrability properties of a generalized hierarchy of the Lax-Sato type compatible systems of Hamiltonian flows and related integrable multidimensional dispersionless differential equations. Such systems are called the heavenly type equations and were first introduced by Plebański in []. The heavenly type equations were analyzed in many articles (see, e.g., [,,,,,,,,,]) using several different approaches. In [,,,] the heavenly type equations were analyzed by using non-associative and non-commutative current algebras on the torus We also mention that [,] B. Szablikowski and A. Sergyeyev developed some generalizations of the classical AKS-algebraic and related R-structures [,,,]. In [,] and recently in [,], these ideas were applied to a semi-direct Lie algebra of the loop Lie algebra of vector fields on the torus and its dual space . Several interesting and deep results about the orbits of the corresponding coadjoint actions on the space and the classical Lie–Poisson type structures on them were presented. It is worth especially remarking here that the AKS-algebraic scheme is naturally embedded into the classical R-structure approach via the following construction.
Let a denote a Lie algebra over and be its natural adjoint space. Take some tensor element and consider its splitting into symmetric and antisymmetric parts
respectively, and assume that the symmetric tensor does not degenerate. That allows the definition on the Lie algebra of a symmetric non-degenerate bi-linear product via the expression
for any The composed mapping following the scheme
defines the following R-structure on the Lie algebra :
for all elements The following theorem, defining the related Poissonian structure [,,,,,] on the adjoint space holds.
Theorem 9.
Let be arbitrary and define the bracket
Then the bracket (494) is Poissonian if the R-structure on the Lie algebra defines the Lie structure on that is there holds the Yang–Baxter equation
for any
Remark 10.
The above theorem makes it possible to consider the Hamiltonian flows on the coadjoint space as those determined on the Lie algebra The latter is exceptionally useful if for the scalar product (491) there exists such a trace-type symmetric and ad-invariant functional (of Killing type) that
for any and Then any Hamiltonian flow of an element is representable in the standard Lax type form
where is generated by the corresponding smooth Hamiltonian function
Concerning the loop Lie algebra on the torus it is well known that such a trace-type functional on does not exist, thus we need to study the Hamiltonian flows on the adjoint loop space of meromorphic differential forms on the torus and obtain, as a result, integrable dispersionless differential equations as compatibility conditions for the related loop vector fields, generated by Casimir functionals on This procedure is much more complicated for analysis than the standard one and employs more geometrical tools and considerations about the orbit space structure of the seed elements generating a hierarchy of integrable Hamiltonian flows. The latter, in part, is deeply related to its reduction properties, guaranteeing the existence of nontrivial Casimir invariants on its coadjoint orbits. By applying and extending these ideas to central extensions of Lie algebras, we construct new classes of commuting Hamiltonian flows on an extended adjoint space These Hamiltonian flows are generated by seed elements and specially constructed Casimir invariants on the corresponding orbits of In most cases, these seed elements appeared to be represented as specially factorized differential objects, whose real geometric nature is still much hidden and not clear. Moreover, we found that the corresponding compatibility condition of constructed Hamiltonian flows coincides exactly with the compatibility condition for a system of related three Lax–Sato type linear vector field equations. As examples, we found and described new multidimensional generalizations of the Mikhalev–Pavlov and Alonso–Shabat type integrable dispersionless equation, whose seed elements possess a special factorized structure, allowing to extend them to the multidimensional case of arbitrary dimension.
11.2. Differential-Geometric Setting: The Diffeomorphism Group and Its Description
Consider the n-dimensional torus and call points as the Lagrangian variables of a configuration The manifold thought of as the target space of a configuration is called the spatial or Eulerian configuration, whose points, called spatial or Eulerian points, will be denoted by small letters Then any one-parametric configuration of is a time dependent family [,,,,] of diffeomorphisms written as
for any initial configuration and some mappings
Being interested in studying flows on the space of Lagrangian configurations with respect to the temporal variable generated by group diffeomorphisms let us proceed to describing the structure of tangent and cotangent spaces to the diffeomorphism group at the points for any Determine first the tangent space to the diffeomorphism group manifold at point for which we will make use of the construction, devised before in [,,]. Namely, let be a Lagrangian configuration and try to determine the tangent space at as the collection of vectors where is a smooth curve on and for arbitrary reference point there holds The latter equivalently means that the vectors represent a vector field on the manifold for any Thus, the tangent space coincides with the set of vector fields on :
and similarly, the cotangent space consists of all one-form densities on over :
subject to the canonical non-degenerate pairing on if where then
The construction above makes it possible to identify the cotangent bundle at the fixed Lagrangian configuration to the tangent space as the tangent space is endowed with the natural internal tangent bundle metric at any point identifying with via the related metric isomorphism The latter can be also naturally lifted to at namely: for any elements and we can define the metric
where, by definition, for any Based on the construction above, one can proceed to constructing smooth invariant functionals on the cotangent bundle subject to the corresponding coadjoint actions of the diffeomorphism group Moreover, as the cotangent bundle is a priori endowed with the canonical symplectic structure, equivalent [,,,,,,,,] to the corresponding Poisson bracket on the space of smooth functionals on one can study both the related Hamiltonian flows on it and their adjoint symmetries and complete integrability.
Consider now the cotangent bundle as a smooth manifold endowed with the canonical symplectic structure [,] on it, equivalent to the corresponding canonical Poisson bracket on the space of smooth functionals on it. Taking into account that the cotangent space at shifted by the right - action to the space becomes diffeomorphic to the adjoint space to the Lie algebra of vector fields on as there was stated [,,,] still by S. Lie in 1887 this canonical Poisson bracket on transforms [,,,,,] into the classical Lie-Poisson bracket on the adjoint space Moreover, the orbits of the diffeomorphism group on respectively transform into the coadjoint orbits on the adjoint space generated by suitable elements of the Lie algebra To construct in detail this Lie–Poisson bracket, we formulate the following preliminary simple lemma.
Lemma 2.
The Lie algebra is determined by the following Lie commutator relationships:
for any vector fields on the manifold
Proof.
Proof of the commutation relationships (503) easily follows from the group multiplication
for any local group diffeomorphisms and under condition that and □
To calculate the Poisson bracket on the cotangent space at any let us consider the cotangent space the adjoint space to the tangent space of left invariant vector fields on at any and take the canonical symplectic structure on in the form where the canonical Liouville form at a point is defined a priori on the tangent space of right-invariant vector fields on the torus manifold Having calculated the corresponding Poisson bracket of smooth functions on one can formulate the following proposition.
Proposition 20.
The Lie–Poisson bracket on the coadjoint space is equal to the expression
for any smooth functionals
Proof.
By definition [,] of the Poisson bracket of smooth functions on the symplectic space it is easy to calculate that
where Since the expressions and owing the right-invariance of the vector fields the Poisson bracket (506) transforms into
for all and any The Poisson bracket (506) is easily generalized to
for any smooth functionals finishing the proof. □
Based on the Lie–Poisson bracket (505), one can naturally construct Hamiltonian flows on the adjoint space via the expressions
for any element where, by definition, for some smooth Hamiltonian function If the system possesses enough additional invariants except the Hamiltonian function, one can expect its simplification often reducing to its complete integrability. Below, we proceed to developing an effective enough analytical scheme, before suggested in [,,] for suitably constructed holomorphic loop diffeomorphism groups on tori, allowing to generate infinite hierarchies of such completely integrable Hamiltonian systems on related functional phase spaces.
11.3. A Modified Current Lie Algebra and Related Symmetry Analysis on Functional Manifolds
Consider a smooth manifold endowed with the generalized quantum current group [,,] group as the semidirect product of the diffeomorphism group with the Abelian groups and defined by the natural —group action :
for and any The semidirect product group G is endowed with the following internal right group multiplication subject to the Eulerian variable :
at a fixed point and arbitrary elements and
Let denote the Lie algebra of the current group where we took into account that and proceed to studying its coadjoint action on the adjoint space Using (511), one can easily write down that
where denotes the standard [,,] Lie derivative with respect to a vector field From (512) one easily ensues the following current Lie algebra commutation relationships:
for any elements and where we have also denoted the gradient vector at The adjoint space to the semidirect product Lie algebra can be written symbolically as = where denotes the corresponding Hodge isomorphism with respect to the natural scalar product
for any forms and Then, taking into account that the adjoint space is endowed [,,,,,] with the canonical Lie–Poisson bracket
for any smooth functionals on the where we have denoted by and by the corresponding functional gradient.
Remark 11.
We remark here that the bracket (515) naturally derives, as it was demonstrated in [,,,], from the canonical symplectic structure on the cotangent phase space
Based on the Lie–Poisson bracket, one can construct the Hamiltonian system
where is the related evolution parameter and is some suitably constructed Hamiltonian function. For the evolution flow (516) to be integrable, it should possess [,,,] enough commuting to each of the other invariant functionals which is in most cases a very complicated problem. Thereby, taking this into account, we will proceed the following way: we will construct a set a priori commuting to each of the other invariants defined on the coadjoint space to a suitably generalized Lie algebra
Namely, let us consider a group where are subgroups of the smooth loop mappings holomorphically extended, respectively, on the interior and on the exterior domains of the unit centrally located disk and such that for any The corresponding Lie subalgebras of the loop current subgroups consist, in general, of vector fields on holomorphically extended, respectively, on regions where for any the value The loop current Lie algebra splitting where
can be naturally identified with a dense subspace of the dual space through the pairing
with respect to the scalar product
on the usual Hilbert space for any elements and naturally represented in their component wise canonical form as
where for any x we have denoted, for brevity, the gradient operator in the Euclidean space and The corresponding Lie commutator of any vectors is calculated the standard way, using (513), and equals
The expression (521) makes it possible to construct the related Lie–Poisson bracket on the adjoint space modifying that of (515):
for any smooth functionals
The Lie–Poisson bracket (522) is strongly degenerate and possesses a lot of Casimir invariants satisfying the condition
for all smooth functionals and As the Lie algebra acts on its adjoint space for any and as where
the latter condition (523) is easily rewritten as
where being equivalent, owing to (524), to the following three differential-functional relationships:
for any Recall now that the constructed above loop Lie algebra as the direct sum of its subalgebras, possesses the additional Lie commutator
for any where, by definition, the linear homomorphism projectors and Based on the second Lie commutator (527) we can construct, in the same way as above, the second Lie–Poisson bracket on the adjoint space as
11.4. A New Modified Spatially Four-Dimensional Mikhalev–Pavlov Heavenly Type Integrable System
Let a seed element be chosen as
where The asymptotic splits for the components of the gradient of the corresponding Casimir functional , as have the following forms:
In the case when
and
the compatibility condition of the Hamiltonian vector flows leads to the system of new integrable evolution equations:
where
Under the constraint , one obtains a new spatially four-dimensional system
which reduces to the Mikhalev–Pavlov [,,] integrable heavenly type equation, if to put
Here, we can observe that the seed element (529) can be presented in the following special compact form:
deeply connected with the geometry of the related moduli space of flat connections, related to the coadjoint actions of the corresponding Casimir functionals. Its possible generalization to multidimensional Mikhalev–Pavlov type equations can be done by the seed element
for some elements An analysis of the case (534) and corresponding systems of multidimensional Mikhalev–Pavlov type equations is planned to be done in a separate study.
11.5. A Modified Martinez Alonso-Shabat Heavenly Type Integrable System
If the seed element is chosen as
where one has the following asymptotic splits for the components of the gradients of the corresponding Casimir functionals as :
and
where
and
In the case when the reduced Casimir gradients are equal to the expressions
and
the Lax–Sato compatibility condition of the Hamiltonian vector flows leads to the system of evolution equations:
generalizing the Martinez Alonso–Shabat heavenly type integrable system. Thus, the following proposition holds.
Proposition 21.
The system of Equations (536) and (537) admits the reduction when . In this case, under one obtains such a system:
The additional constraint transforms the system (538) into the following interesting integro-differential equation:
where and . Thus, the Equation (538) is integrable and can be considered as some multi-dimensional generalization of the Martinez Alonso–Shabat system [].
11.6. A Modified Current Loop Algebra and Multidimensional Heavenly Type Integrable Equations: The Generalized Lie-Algebraic Structures
A further generalization of the multi-dimensional case related to the loop group on the torus can be developed [,,] by the following approach. Since the Lie algebra consists of the loop group elements, analytically continued from the circle being the boundary of the disk by means of the complex “spectral”variable both into the interior and the exterior parts of the disk one can take into account its analytical invariance to the circle diffeomorphism group The latter gives rise to the naturally extended holomorphic Lie algebra on the torus whose elements are representable as for some holomorphic in vectors for all and where we denoted by the generalized Euclidean vector gradient with respect to the vector variable
Let us construct a modified current loop Lie algebra as the semi-direct sum of the Lie algebra and its adjoint space taking into account their natural pairing
for any and The corresponding Lie commutator on the loop Lie algebra is given for any by
The Lie algebra also splits into the direct sum of two subalgebras:
allowing the introduction of the classical R-structure:
for any where, by definition,
and
The space (adjoint to the Lie algebra ) can be identified with the space by using the symmetric and non-degenerate form
where, by definition,
for any pair of elements
Remark 12.
The above constructed Lie algebra being metrized by means of the symmetric, nondegenerate bilinear form (545), is owing to the construction described in the introduction, to uniquely represent the coadjoint orbits on in the standard Lax type form on that will be used further.
Owing to the convolution (546), the Lie algebra becomes metrized. For arbitrary smooth functions one can naturally determine two Lie–Poisson brackets
and
where at any seed element the gradient element and and, similarly, the gradient element and are calculated with respect to the metric (546).
Let us now assume that a smooth function is a Casimir invariant, that is
for a chosen seed element Since for an element and an arbitrary the adjoint mapping is
the condition (549) can be rewritten as
and one can easily obtain that the Casimir functional satisfies the system of determining equations
For the Casimir functional the Equation (552) should be be solved analytically. In the case when an element is singular as one can consider the general asymptotic expansion
for some suitably chosen which is substituted into the Equation (552). The latter is then solved recurrently giving rise to a set of gradient expressions for the Casimir functionals at the specially found integers
Assume now that are such Casimir functionals for which the Hamiltonian vector field generators
are, respectively, defined at some specially found integers These invariants generate owing to the Lie–Poisson bracket (548) the following commuting to each other Hamiltonian flows:
on an element with respect to the corresponding evolution parameters Owing to the construction, the flows (554) can be rewritten equivalently as
where are the corresponding evolution parameters. Since the invariants are commuting to each other with respect to the Lie–Poisson bracket (548), the flows (556) are commuting too, meaning equivalently that the corresponding Hamiltonian vector field generators
satisfy the Lax type compatibility condition
for all On the other hand, the condition (558) is equivalent to the compatibility condition of two linear equations
for a function all and any The results obtained above can be formulated as the following proposition.
Proposition 22.
Let a seed element and are some Casimir functionals subject to the metric on the holomorphic current loop algebra and the natural coadjoint action on the co-algebra Then the following dynamical systems
are commuting to each other Hamiltonian flows for evolution parameters Moreover, the compatibility condition of these flows is equivalent to the vector field representation
where and the vector fields are given by the expressions (557).
Remark 13.
As it was mentioned above, the expansion (553) is effective if a chosen seed element is singular as In the case when it is singular as the expression (553) should be respectively replaced by the expansion
for suitably chosen integers and the reduced Casimir function gradients are then given by the Hamiltonian vector field generators
for suitably chosen positive integers and the corresponding Hamiltonian flows are, respectively, written as
for evolution parameters
As it was demonstrated above, the presented construction of Hamiltonian flows on the adjoint space can be generalized proceeding to the point product of the holomorphic current Lie algebra endowed with the central extension, generated by a two-cocycle where
for any pair of elements The resulting R-deformed Lie–Poisson bracket for any smooth functionals on the adjoint space to the centrally extended loop Lie algebra becomes equal to
The corresponding Casimir functionals for specially chosen are defined with respect to the standard Lie–Poisson bracket as
for all smooth functionals Based on the equality one easily finds that the gradients of the Casimir functionals satisfy the following equations:
for a chosen element Making use of the suitable Casimir functionals one can construct, making use of (566), the following commuting Hamiltonian flows on the adjoint space :
which are equivalent to the evolution equations
and
The results obtained above are summarized as
Proposition 23.
The Hamiltonian flows (569) on the adjoint space generate the separately commuting evolution flows (570) and (571), giving rise to the following unique Lax type compatibility condition:
being equivalent to some system of nonlinear heavenly type equations in partial derivatives. Moreover, the system of evolution flows (570) and (571) can be considered as the compatibility condition for the following set of linear vector equations
for all and a function
Remark 14.
The Lie-algebraic scheme of constructing heavenly type integrable equations on respectively chosen smooth functional manifolds, applied above for the modified current loop Lie algebra as the semi-direct sum of the Lie algebra and its dual space can be naturally reformulated within a respectively generalized Lagrange–d’Alembert mechanical principle, as was done in the work [], and which will be analyzed in a separate work under preparation.
11.7. A New Modified Spatially Four-Dimensional Mikhalev-Pavlov Type Heavenly Equation
Let a seed element be chosen as
where . The asymptotic expressions for the components of the gradients (562) of the corresponding Casimir functionals as have the following forms:
where
In the case when
and
the compatibility condition of the Hamiltonian vector flows (569) leads to the system of evolution equations:
Under the constraint one obtains the modified Michalev–Pavlov type integrable system (532).
Here, we can also observe that the seed element (574) can also be presented in the compact form:
being closely connected with the geometry of the related moduli space of flat connections, related to the coadjoint actions of the corresponding Casimir functionals. Its suitable generalization to multidimensional Mikhalev–Pavlov type equations can be chosen as
for some elements The analysis of corresponding systems of integrable multidimensional Mikhalev–Pavlov type equations is planned to be presented in a separate study.
12. Conclusions
A wide variety of multidimensional completely integrable evolution flows on smooth functional manifolds have been constructed. Our approach was based on a generalized Lie-algebraic Adler–Kostant–Symes scheme, applied to the modified holomorphic current loop algebra the semi-direct sum of the loop Lie algebra of vector fields on the and its adjoint space Its relation to the classical R-structure on the loop Lie algebra is also discussed. The structure of the corresponding seed elements is analyzed, its multidimensional generalizations are presented. We also demonstrated that the obtained Hamiltonian flows are equivalent to the compatibility conditions for the suitably related Lax–Sato type linear vector field equations. We also mentioned a very interesting Lagrange–d’Alembert type mechanical interpretation, naturally related to the devised Lax–Sato vector field equations and their compatibility conditions. As interesting examples, we constructed new modified spatially four-dimensional Mikhalev–Pavlov and Alonso–Shabat type completely integrable equations, appearing in the study of some differential geometric structures on Riemannian spaces with symmetries.
Funding
This research was funded by the Department of Computer Science and Telecommunication of the Cracov University of Technology for a local research grant F-2/370/2018/DS.
Acknowledgments
I would like to convey my warm thanks to Gerald A. Goldin for many discussions of the work and instrumental help in editing a manuscript during the XXVIII International Workshop on “Geometry in Physics”, held on 30 June–7 July 2019 in Białowieża, Poland. My special appreciation belongs to Stefan Duplij for friendly encouragement to write this article and to Joel Lebowitz for the invitation to take part in the 121-st Statistical Mechanics Conference, held 12–14 May 2019 at the Rutgers University, New Brunswick, NJ, USA. I cordially appreciate Joel Lebowitz, Denis Blackmore and Nikolai N. Bogolubov for instructive discussions, useful comments and remarks on the work during the Conference. My warm acknowledgements also belong to my close collaborators Alex A. Balinsky, Radoslaw Kycia, Yarema A. Prykarpatsky, Valeriy H. Samoilenko for the support during my work on manuscript.
Conflicts of Interest
The author declares no conflict of interest.
References
- Goldin, G.A. Lectures on diffeomorphism groups in quantum physics. In Contemporary Problems in Mathematical Physics, Proceedings of the Third International Workshop, Helsinki, Finland, 30–31 October 2014; World Scientific Publishing: Singapore, 2004; pp. 3–93. [Google Scholar]
- Goldin, G.A.; Sharp, D.H. Lie algebras of local currents and their representations. In Group Representations in Mathematics and Physics; Battelle Seattle 1969 Rencontres, Lecture Nootes in Physics; Springer: Berlin/Heidelberg, Germany, 1970; Volume 6, pp. 300–311. [Google Scholar]
- Goldin, G.A.; Sharp, D.H. Functional Differential Equations Determining Representations of Local Current Algebras in Magic without Magic: John Archibald Wheeler; Klauder, J.R., Ed.; Freeman: San Francisco, CA, USA, 1972. [Google Scholar]
- Goldin, G.A. Nonrelativistic current algebras as unitary representations of groups. J. Math. Phys. 1971, 12, 462–487. [Google Scholar] [CrossRef]
- Goldin, G.A.; Grodnik, J.; Powers, R.T.; Sharp, D. Nonrelativistic current algebra in the N/V-limit. J. Math. Phys. 1974, 15, 88–100. [Google Scholar] [CrossRef]
- Goldin, G.A.; Menikoff, R.; Sharp, F.H. Diffeomorphism groups, gauge groups, and quantum theory. Phys. Rev. Lett. 1983, 51, 2246–2249. [Google Scholar] [CrossRef]
- Goldin, G.A.; Menikoff, R.; Sharp, F.H. Representations of a local current algebra in nonsimply connected space and the Aharonov-Bohm effect. J. Math. Phys. 1981, 22, 1664–1668. [Google Scholar] [CrossRef]
- Bogolubov, N.N., Jr.; Prorok, D.; Prykarpatski, A.K. Integrability Aspects of the Current Algebra Representation and the Factorized Quantum Nonlinear Schrëdinger Type Dynamical Systems. Phys. Part. Nucl. 2020, 51, 434–442. [Google Scholar] [CrossRef]
- Prorok, D.; Prykarpatski, A. Quantum Current Algebra Symmetries and Integrable Many-Particle Schrëdinger Type Quantum Hamiltonian Operators. Symmetry 2019, 11, 975. [Google Scholar] [CrossRef]
- Prorok, D.; Prykarpatski, A. The current algebra representations of quantum many-particle Schrëdinger Hamiltonian models, their factorized structure and integrability. Condens. Matter Phys. 2019, 22, 33101–33130. [Google Scholar] [CrossRef]
- Blackmore, D.; Prykarpatsky, A.K.; Samoylenko, V.H. Nonlinear Dynamical Systems of Mathematical Physics: Spectral and Differential-Geometrical Integrability Analysis; World Scientific: Singapore, 2011. [Google Scholar]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K. Quantum current Lie algebra as the universal algebraic structure of the symmetries of completely integrable nonlinear dynamical systems of theoretical and mathematical physics. Theor. Math. Phys. 1988, 75, 329–339. [Google Scholar] [CrossRef]
- Mitropolsky, Y.A.; Bogolubov, N.N.; Prykarpatsky, A.K.; Samoylenko, V.H. Integrable dynamical systems. In Spectral and Differential Geometric Aspects; Naukova Dumka: Kyiv, Ukraine, 1987. [Google Scholar]
- Kowalski, K. Methods of Hilbert Spaces in the Theory of Nonlinear Dynamical Systems; World Scientific: Singapore, 1994. [Google Scholar]
- Kowalski, K.; Steeb, W.-H. Non Linear Dynamical Systems and Carleman Linearization; World Scientific: Singapore, 1991. [Google Scholar]
- Prykarpatsky, A.K.; Bogoliubov, N.N., Jr.; Golenia, J.; Taneri, U. Introductive Backgrounds to Modern Quantum Mathematics with Application to Nonlinear Dynamical Systems. Int. J. Theor. Phys. 2008, 47, 2882–2897. [Google Scholar] [CrossRef][Green Version]
- Faddeev, L.D.; Tahtadjian, L.A. Hamiltonian Approach in Soliton Theory; Springer: Berlin/Heidelberg, Germany, 1987. [Google Scholar]
- Blaszak, M. Bi-Hamiltonian Dynamical Systems; Springer: New York, NY, USA, 1998. [Google Scholar]
- Reyman, A.G.; Semenov-Tian-Shansky, M.A. Integrable Systems; The Computer Research Institute : Moscow, Russia, 2003. (In Russian) [Google Scholar]
- Bogolubov, N.N., Jr.; Prykarpatsky, A.K. Quantum method of Bogolyubov generating functionals in statistical physics: Lie current algebra, its representations and functional equations. Sov. J. Part. Nucl. 1986, 17, 789–827. [Google Scholar]
- Bogolubov, N.N., Jr.; Prykarpatsky, A.K. NN Bogolyubov’s quantum method of generating functionals in statistical physics: The current Lie algebra, its representations and functional equations. Ukr. Mat. Zhurnal 1986, 38, 245–249. [Google Scholar] [CrossRef]
- Bogolyubov, N.N., Jr.; Prykarpatsky, A.K. The Wigner quantized operator and N. N. Bogolyubov generating functional method in nonequilibrium statistical physics. Dokl. Akad. Nauk SSSR 1985, 285, 1365–1370. [Google Scholar]
- Ivankiv, L.I.; Prykarpatsky, Y.A.; Samoilenko, V.H.; Prykarpatski, A.K. Quantum Current Algebra Symmetry and Description of Boltzmann Type Kinetic Equations in Statistical Physics. Symmetry 2021, 13, 1452. [Google Scholar] [CrossRef]
- Prykarpatsky, Y.A.; Kycia, R.; Prykarpatski, A.K. On the Bogolubov’s chain of kinetic equations, the invariant subspaces and the corresponding Dirac type reduction. Ann. Math. Phys. 2021, 4, 074–083. [Google Scholar]
- Kupershmidt, B. Hydrodynamical Poisson brackets and local Lie algebras. Phys. Lett. 1987, 21, 167–174. [Google Scholar] [CrossRef]
- Arnold, V.I. Sur la geometrie differerentielle des groupes de Lie de dimension infinie et ses applications a l’hydrodynamique des fluides parfaits. Ann. Inst. Fourier 1966, 16, 319–361. [Google Scholar] [CrossRef]
- Holm, D.; Kupershmidt, B. Poisson structures of superfluids. Phys. Lett. 1982, 91, 425–430. [Google Scholar] [CrossRef]
- Kupershmidt, B.A.; Ratiu, T. Canonical Maps between Semidirect Products with Applications to Elasticity and Superfluids. Commun. Math. Phys. 1983, 90, 235–250. [Google Scholar] [CrossRef][Green Version]
- Marsden, J.; Ratiu, T.; Schmid, R.; Spencer, R.; Weinstein, A. Hamiltonian systems with symmetry, coadjoint orbits, and plasma physics. Atti Acad. Sci. Torino 1983, 117, 289–340. [Google Scholar]
- Marsden, J.; Weinstein, A. The Hamiltonian structure of the Maxwell-Vlasov equations. Phys. D 1982, 4, 394–406. [Google Scholar] [CrossRef]
- Weinstein, A. Sophus Lie and symplectic geometry. Expos. Math. 1983, 1, 95–96. [Google Scholar]
- Weinstein, A. The local structure of Poisson manifolds. J. Differ. Geom. 1983, 18, 523–557. [Google Scholar] [CrossRef]
- Marsden, J.; Weinstein, A. Reduction of symplectic manifolds with symmetry. Rep. Math. Phys. 1974, 5, 121–130. [Google Scholar] [CrossRef]
- Gay-Balmaz, F.; Monastyrsky, M.; Ratiu, T.S. Lagrangian Reductions and Integrable Systems in Condensed Matter. Commun. Math. Phys. 2015, 335, 609–636. [Google Scholar] [CrossRef]
- Gay-Balmaz, F.; Yoshimira, H. Dirac reduction for nonholonomic mechanical systems and semi-direct product. arXiv 2014, arXiv:1410.5394v1. [Google Scholar]
- Holm, D.D.; Tronci, C. Euler-Poincare formulation of hybrid plasma models. arXiv 2011, arXiv:1012.0999v2. [Google Scholar] [CrossRef]
- Khesin, B.; Lenells, J.; Misiolek, G.; Preston, S.C. Geometry of diffeomorphism groups, complete integrability and geometric statistics. Geom. Funct. Anal. 2013, 23, 334–366. [Google Scholar] [CrossRef]
- Kolev, B. Lie groups and mechanics: Introduction. J. Nonl. Math. Phys. 2004, 11, 480–498. [Google Scholar] [CrossRef]
- Kushner, A.; Lychagin, V.; Roop, M. Optimal Thermodynamic Processes for Gases. Entropy 2020, 22, 448. [Google Scholar] [CrossRef]
- Marsden, J.E.; Ratiu, T.S.; Shkoller, S. The geometry and analysis of the averaged Euler equations and a new diffeomorphism group. Geom. Funct. Anal. 2000, 10, 582–599. [Google Scholar] [CrossRef]
- Marsden, J.; Ratiu, T.; Weinstein, A. Reduction and Hamiltoninan structures on duals of semidirect product Lie algebras. Contemp. Math. 1984, 28, 55–100. [Google Scholar]
- Mrugala, R. Continuous contact transformations in thermodynamics. Rep. Math. Phys. 1993, 33, 149–154. [Google Scholar] [CrossRef]
- Mrugala, R. Lie, Jacobi, Poisson and quasi-Poisson structures in thermodynamics. Tensor. New Ser. 1995, 56, 37–45. [Google Scholar]
- Preston, S.C. For ideal fluids, Eulerian and Lagrangian instabilities are equivalent. Geom. Funct. Anal. 2004, 14, 1044–1062. [Google Scholar] [CrossRef]
- Schneider, E. Differential invariants. In Nonlinear PDEs, Their Geometry, and Applications; Kycia, R.A., Ulan, M., Schneider, E., Eds.; Springer Nature: Cham, Switzerland, 2019. [Google Scholar]
- Schneider, E. Differential invariants of measurements, and their connection to central moments. arXiv 2020, arXiv:2005.08895v1. [Google Scholar]
- Tronci, C.; Tassi, E.; Camporeale, E.; Morrison, P.J. Hybrid Vlasov-MHD models: Hamiltonian vs. non-Hamiltonian. arXiv 2014, arXiv:1403.2773v2. [Google Scholar] [CrossRef]
- Vizman, C. Geodesic Equations on Diffeomorphism Groups. SIGMA 2008, 4, 030. [Google Scholar] [CrossRef]
- Blackmore, D.; Balinsky, A.A.; Prykarpatski, A.K. Entropy and Ergodicity of Boole-Type Transformations. Entropy 2021, 23, 1405. [Google Scholar] [CrossRef]
- Nikitin, V.Y.; Tsybenko, S. On Clebsch variables in hydrodynamics of classical fluids and plasmas. Czechoslov. J. Phys. 2002, 52, 305–309. [Google Scholar]
- Jackson, D.M.; Moffatt, I. An Introduction to Quantum and Vassiliev Knot Invariants; Springer: Berlin/Heidelberg, Germany, 2019. [Google Scholar]
- Esen, O.; Grmela, M.; Gumral, H.; Pavelka, M. Lifts of Symmetric Tensors: Fluids, Plasma, and Grad Hierarchy. Entropy 2019, 21, 907. [Google Scholar] [CrossRef]
- Grmela, M. Contact Geometry of Mesoscopic Thermodynamics and Dynamics. Entropy 2014, 16, 1652–1686. [Google Scholar] [CrossRef]
- Balinsky, A.A.; Blackmore, D.; Kycia, R.; Prykarpatski, A.K. Geometric Aspects of the Isentropic Liquid Dynamics and Vorticity Invariants. Entropy 2020, 22, 1241. [Google Scholar] [CrossRef] [PubMed]
- Berezin, F.A. The Method of Second Quantization (Monographs and Textbooks in Pure and Applied Physics); Academic Press: Cambridge, MA, USA, 1966. [Google Scholar]
- Bogolubov, N.N.; Bogolubov, N.N., Jr. Introduction to Quantum Statistical Mechanics; Gordon and Breach: New York, NY, USA; London, UK, 1994. [Google Scholar]
- Berezin, F.A.; Shubin, M.A. Schrëdinger Equation; Springer Science & Business Media: Berlin/Heidelberg, Germany, 2012; 555p. [Google Scholar]
- Faddeev, L.D.; Yakubovskii, O.A. Lectures on Quantum Mechanics for Mathematics Students; American Mathematical Society: Providence, RI, USA, 2009. [Google Scholar]
- Prykarpatsky, A.; Mykytyuk, I. Algebraic Integrability of Nonlinear Dynamical Systems on Manifolds: Classical and Quantum Aspects; Kluwer Academic Publishers: Alphen aan den Rijn, The Newtherlands, 1998. [Google Scholar]
- Takhtajan, L.A. Quantum Mechanics for Mathematicians; Department of Mathematics, Stony Brook University: Stony Brook, NY, USA, 2008. [Google Scholar]
- Berezanskii, Y.M. Expansions in Eigenfunctions of Selfadjoint Operators; Translations of Mathematical Monographs; American Mathematical Society: Providence, RI, USA, 1968; 809p. [Google Scholar]
- Berezansky, Y.M.; Kondratiev, Y.G. Spectral Methods in Infinite Dimensional Analysis, v.1 and 2; Kluwer: Alphen aan den Rijn, The Netherlands, 1995. [Google Scholar]
- Dirac, P.A.M. The Principles of Quantum Mechanics, 2nd ed.; Clarendon Press: Oxford, UK, 1935. [Google Scholar]
- Fock, V.A. Konfigurationsraum und zweite Quantelung. Zeischrift Phys. Bd. 1932, 75, 622–647. [Google Scholar] [CrossRef]
- Prykarpatsky, A.K.; Taneri, U.; Bogolubov, N.N., Jr. Quantum Field Theory and Application to Quantum Nonlinear Optics; World Scientific: Singapore, 2002. [Google Scholar]
- Gelfand, I.; Vilenkin, N. Generalized Functions; Academic Press: Cambridge, MA, USA, 1964; Volume 4. [Google Scholar]
- Balakrishnan, A.V. Applied Functional Analysis; Springer: New York, NY, USA, 1981. [Google Scholar]
- Bogolubov, N.N., Jr.; Prykarpatsky, A.K. Quantum method of generating Bogolubov functionals in statistical physics: Current Lie algebras, their representations and functional equations. Phys. Elem. Part. At. Nucl. 1986, 17, 791–827. [Google Scholar]
- Reed, M.; Simon, B. Theory of Operators, v.3; Springer: Berlin/Heidelberg, Germany, 1987. [Google Scholar]
- Albeverio, S.; Kondratiev, Y.G.; Streit, L. How to Generalize White Noice Analysis to Non-Gaussian Measures; Bi-Bo-S: Bielefeld, Germany, 1992. [Google Scholar]
- Albeverio, S.; Daletsky, A.; Kondratiev, Y.; Lytvynov, E. Laplace operators in de-Rham complexes associated with measures on configuration spaces. J. Geom. Phys. 2003, 47, 259–302. [Google Scholar] [CrossRef][Green Version]
- Aref’eva, I.Y. Current formalism in nonrelativistic quantum mechanics. Theoret. Math. Phys. 1972, 10, 146–155. [Google Scholar] [CrossRef]
- Parthasarathy, K.R. Introduction to Probability and Measure; Hindustan Book Agency: New Delhi, India, 2005. [Google Scholar]
- Goldin, G.A.; Sharp, D.H. Rotational generators in two-dimensional space and particles obeying unusual statistics. Phys. Rev. D 1983, 28, 830–832. [Google Scholar] [CrossRef]
- Araki, H. Hamiltonian Formalism and the Canonical Commutation Relations in Quantum Field Theory. J. Math. Phys. 1960, 1, 492–504. [Google Scholar] [CrossRef]
- Menikoff, R. Generating functionals determining representation of a nonrelativistic local current algebra in the N/V-limit. J. Math. Phys. 1974, 15, 1394–1408. [Google Scholar] [CrossRef]
- Menikoff, R.; Sharp, D. Representation of a local current algebra: Their dynamical determination. J. Math. Phys. 1975, 16, 2341–2352. [Google Scholar] [CrossRef]
- Campbell, C.E. Extended Jastrow functions. Phys. Lett. 1973, 44, 471–477. [Google Scholar] [CrossRef]
- Feenberg, E. Ground state of an interacting boson system. Ann. Phys. 1974, 84, 128–137. [Google Scholar] [CrossRef]
- Berezansky, Y.M. A generalization of white noice analysis by means of theory of hypergroups. Rep. Math. Phys. 1996, 38, 289–300. [Google Scholar] [CrossRef]
- Prykarpatsky, A.K.; Bogoliubov, N.N., Jr.; Golenia, J. A symplectic generalization of the Peradzyński helicity theorem and some applications. Int. J. Theor. Phys. 2008, 47, 1919–1928. [Google Scholar] [CrossRef]
- Beckenbach, E.F.; Bellman, R. Inequalities; Springer: Berlin/Heidelberg, Germany, 1961. [Google Scholar]
- Friedrichs, K. Spektraltheorie halbbeschränkter Operatoren I–III. Math. Ann. 1934, 109, 465–487, 685–713. [Google Scholar] [CrossRef]
- Kato, T. Perturbations Theory of Linear Operators; Springer: Berlin/Heidelberg, Germany, 1966. [Google Scholar]
- Reed, M.; Simon, B. Functional Analysis, v.1; Springer: Berlin/Heidelberg, Germany, 1987. [Google Scholar]
- Bogolubov, N.N. Problems of Dynamical Theory in Statistical Physics; Geophysics Research Directorate, AF Cambridge Research Laboratories, Air Force Research Division, United States Air Force: Washington, DC, USA, 1960. [Google Scholar]
- Onofri, E. A note on coherent state representations of Lie groups. J. Math. Phys. 1975, 16, 1087. [Google Scholar] [CrossRef]
- Twareque-Ali, S.; Antoine, J.-P.; Gazeau, J.-P.; Mueller, U.A. Coherent states and their generalizations: A mathematical overview. Rev. Math. Phys. 1995, 7, 1013–1104. [Google Scholar] [CrossRef]
- Schrëdinger, E. Der stetige Ubergang von der Mikro-zur Makromechanik. Naturwiss 1926, 14, 664–666. [Google Scholar] [CrossRef]
- Glauber, R.J. Quantum Theory of Optical Coherence; Selected Papers and Lectures; Wiley-VCH: Weinheim, Germany, 2007. [Google Scholar]
- Klauder, J.R. Continuous-representation theory. I. Postulates of continuousrepresentation theory. J. Math. Phys. 1963, 4, 1055–1058. [Google Scholar] [CrossRef]
- Klauder, J.R. Continuous-representation theory. II. Generalized relation between quantum and classical dynamics. J. Math. Phys. 1963, 4, 1058–1073. [Google Scholar] [CrossRef]
- Sudarshan, E.C.G. Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams. Phys. Rev. Lett. 1963, 10, 277–279. [Google Scholar] [CrossRef]
- Klauder, J.R.; Skagerstam, B.S. Coherent States—Applications in Physics and Mathematical Physics; World Scientific: Singapore, 1985. [Google Scholar]
- Perelomov, A.M. Coherent States for Arbitrary Lie Group. Commun. Math. Phys. 1972, 26, 222–236. [Google Scholar] [CrossRef]
- Gilmore, R. Geometry of symmetrized states. Ann. Phys. 1972, 74, 391–463. [Google Scholar] [CrossRef]
- Gilmore, R. On properties of coherent states. Rev. Mex. Fis. 1974, 23, 143–187. [Google Scholar]
- Von Neumann, J. Mathematische Grundlagen der Quanten Mechanik; Springer: Berlin/Heidelberg, Germany, 1932. [Google Scholar]
- Weyl, H. The Theory of Groups and Quantum Mechanics; Dover: Mineola, NY, USA, 1931. [Google Scholar]
- Valatin, J.G. Comments on the theory of superconductivity. Nuovo Cim. 1958, 7, 843–857. [Google Scholar] [CrossRef]
- Bogolubov, N.N., Jr.; Blackmore, D.; Prykarpatski, A.K. The Lagrangian and Hamiltonian Aspects of the Electrodynamic Vacuum-Field Theory Models. Boson J. Mod. Phys. 2016, 2, 105–196. [Google Scholar]
- Onofri, E.; Pauri, M. Dynamical Quantization. J. Math. Phys. 1972, 13, 533. [Google Scholar] [CrossRef]
- Bargmann, V. On a Hilbert space of analytic functions and an associated integral transform, Part I, Commun. Pure Appl. Math. 1961, 14, 187–214. [Google Scholar] [CrossRef]
- Sontz, S.B. On the reproducing kernel of the Segal-Bargmann space. J. Math. Phys. 1999, 40, 1664–1676. [Google Scholar] [CrossRef]
- Szafraniec, F.H. Przestrzenie Hilberta z Jadrem Reprodukcyjnym; Jagiellonian University Publisher: Kraków, Poland, 2004. [Google Scholar]
- Rudin, W. Functional Analysis; International Series in Pure and Applied Mathematics, McGraw-Hill Series in Higher Mathematics; Tata McGraw-Hill: New York, NY, USA, 1974. [Google Scholar]
- Kondratiev, Y.G.; Streit, L.; Westerkamp, W.; Yan, J.-A. Generalized Functions in Infinite Dimensional Analysis. Hiroshima Math. J. 1998, 28, 213–260. [Google Scholar] [CrossRef]
- Lytvynov, E.W.; Rebenko, A.L.; Shchepaniuk, G.V. Wick calculus on spaces of generalized functions compound Poisson white noise. Rep. Math. Phys. 1997, 39, 219–247. [Google Scholar] [CrossRef]
- Kowalski, K.; Steeb, W.-H. Symmetries and first integrals for nonlinear dynamical systems: Hilbert space approach. I. Prog. Theor. Phys. 1991, 85, 713–722. [Google Scholar] [CrossRef]
- Kostant, B. Quantization and representation. Lond. Math. Soc. Lect. Notes Ser. A 1979, 34, 287–316. [Google Scholar]
- Novikov, S.P. Theory of Solitons: The Inverse Scattering Method (Monographs in Contemporary Mathematics); Springer: Berlin/Heidelberg, Germany, 1984. [Google Scholar]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K. A bi-local periodic problem for the Sturm-Liouville and Dirac operators and some applications to the theory of nonlinear dynamical systems. Ukr. Math. J. 1990, 42, 702–707. [Google Scholar] [CrossRef]
- Fil, B.N.; Prikarpatskii, A.K.; Pritula, N.N. Quantum Lie algebra of currents—The universal algebraic structure of symmetries of completely integrable dynamical systems. Ukr. Math. J. 1988, 40, 645–649. [Google Scholar] [CrossRef]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K. Complete integrability of the nonlinear Ito and Benney-Kaup systems: Gradient algorithm and Lax representation. Theor. Math. Phys. 1986, 67, 586–596. [Google Scholar] [CrossRef]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K. Bogolyubov generating functional method in statistical mechanics and the analog of the transformation to collective variables. Theor. Math. 1986, 66, 305–317. [Google Scholar] [CrossRef]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K.; Kurbatov, A.M.; Samoilenko, V.G. Nonlinear model of Schrëdinger type: Conservation laws, Hamiltonian structure, and complete integrability. Theor. Math. Phys. 1985, 65, 1154–1164. [Google Scholar] [CrossRef]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K. A bilocal periodic problem for Sturm–Liouville and Dirac differential operators, and some applications in the theory of nonlinear dynamical systems. Dokl. Math. 1990, 41, 21–25. [Google Scholar]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K. The N.N. Bogolubov generating functional method in statistical mechanics and a collective variables transform analog. Theor. Math. Phys. 1986, 66, 463–480. (In Russian) [Google Scholar] [CrossRef]
- Gelfand, I.M.; Fuchs, D.B. Cohomology of the Lie algebra of vector fields on the circle. Funct. Anal. Appl. 1968, 2, 342–343. [Google Scholar] [CrossRef]
- Olver, P. Applications of Lie Groups to Differential Equations; Graduate Texts in Mathematics Series 107; Springer: New York, NY, USA, 1986. [Google Scholar]
- Fuchssteiner, B.; Fokas, A.S. Symplectic structures, their Bäcklund transformations and hereditary symmetries. Phys. Nonlinear Phenom. 1981, 4, 47–66. [Google Scholar] [CrossRef]
- Abraham, R.; Marsden, J. Foundations of Mechanics, 2nd ed.; Benjamin Cummings: San Francisco, CA, USA, 2008. [Google Scholar]
- Godbillon, C. Geometrie Differentielle et Mecanique Analytique; Hermann: Paris, France, 1969. [Google Scholar]
- Sidorenko, Y.N.; Prikarpatskii, A.K. Periodic problem for nonlinear Ablowitz model. J. Sov. Math. 1993, 65, 1921–1927. [Google Scholar] [CrossRef]
- Sidorenko, Y.N. Elliptic bundles and generating operators. Zap. Nauchn. Semin. LOMI 1987, 161, 76–87. [Google Scholar] [CrossRef]
- Lax, P.D. Periodic solutions of the Korteweg-de Vries equation. Comm. Pure Appl. Math. 1968, 21, 467–490. [Google Scholar] [CrossRef]
- Cartan, A. Differential Forms; Dover Publisher: Mineola, NY, USA, 1971. [Google Scholar]
- Kaup, D.; Newell, A.C. An exact solution for a derivative nonlinear Schrëdinger equation. J. Math. Phys. 1987, 19, 798–801. [Google Scholar] [CrossRef]
- Fokas, A.S.; Santini, P.M. BiHamiltonian formulation of the Kadomtsev–Petviashvili and Benjamin–Ono equations. J. Math. Phys. 1988, 29, 604–617. [Google Scholar] [CrossRef]
- Prykarpatskyj, A.K.; Samoilenko, V.H.; Andrushkiw, R.I. Algebraic structure of the gradient-holonomic algorithm for Lax integrable nonlinear dynamical systems. II. The reduction via Dirac and canonical quantization procedure. J. Math. Phys. 1994, 35, 4088–4116. [Google Scholar] [CrossRef]
- Hentosh, O.E.; Balinsky, A.A.; Prykarpatski, A.K. Poisson structures on (non) associative noncommutative algebras and integrable Kontsevich type Hamiltonian systems. Ann. Math. Phys. 2020, 3, 001–006. [Google Scholar]
- Lapointe, L.; Vinet, L. Exact operator solution of the Calogero-Sutherland model. Commun. Math. Phys. 1996, 178, 425–452. [Google Scholar] [CrossRef]
- Sergeev, A.N.; Veselov, A.P. Dunkl operators at infinity and Calogero–Moser systems. arXiv 2013, arXiv:1311.0853. [Google Scholar] [CrossRef]
- An-Chun, J.; Qing, S.; Xie, X.C.; Liu, W.M. Josephson Effect for Photons in Two Weakly Linked Microcavities. Phys. Rev. Lett. 2009, 102, 023602. [Google Scholar]
- Sklyanin, E.K. Quantum version of the method of inverse scattering problem, Differential geometry, Lie groups and mechanics. Part III. J. Sov. Math. 1982, 19, 1546–1596. [Google Scholar] [CrossRef]
- Sklyanin, E.K.; Takhtadzhyan, L.A.; Faddeev, L.D. Quantum inverse problem method. I. Theoret. Math. Phys. 1979, 40, 688–706. [Google Scholar] [CrossRef]
- Dunkl, C.F. Differential-difference operators associated to reflection groups. Trans. Am. Math. Soc. 1989, 311, 167–183. [Google Scholar] [CrossRef]
- Aniceto, I.; Avan, J.; Jevicki, A. Poisson structures of Calogero–Moser and Ruijsenaars–Schneider models. J. Phys. A Math. Theor. 2010, 43, 185201. [Google Scholar] [CrossRef]
- Pardee, W.J.; Schlessinger, L. Wright. J. Phys Rev. 1968, 165, 1883. [Google Scholar]
- Kac, M. Some Stochastic Problems in Physics and Mathematics, Colloquium Lectures in Pure and Applied Science; Magnolia Petroleum Co.: Galveston, TX, USA, 1956; Volume 2. [Google Scholar]
- Bogolubov, N.N.; Shirkov, D.V. Introduction to the Theory of Quantizerd Fields; Interscience: New York, NY, USA, 1959; 479p. [Google Scholar]
- Balescu, R. Equilibrium and Non-Equilibrium Statistical Mechanics; Wiley: Hoboken, NJ, USA, 1975. [Google Scholar]
- Bogolyubov, N.N. Problems of Dynamical Theory in Statistical Physics; Moscow-Leningrad GITTL (State Publishing House for Technical and Theoretical Literature): Moscow, Russia, 1946. [Google Scholar]
- Bohm, D. The General Collective Variables Theory; Mir: Moscow, Russia, 1964; 187p. (In Russian) [Google Scholar]
- Prykarpatsky, A.K.; Kaleniuk, P.I. Gibbs representations of current Lie algebra and quantum functional Bogoliubov equation. Dokl. Acad. Nauk USSR 1988, 301, 871–876. [Google Scholar]
- Prykarpatsky, A.K. The NN Bogolubov generating functional method in statistical mechanics and a collective variables transform analog within the grand canonical ensemble. Dokl. SSSR 1985, 285, 1096–1101. (In Russian) [Google Scholar]
- Vladimirov, V.S. Generalized Functions in Mathematical Physics; Nauka: Moscow, Russia, 1979; 319p. (In Russian) [Google Scholar]
- Granas, A.; Dugunji, J. Fixed Point Theory; Springer: New York, NY, USA, 2003; 564p. [Google Scholar]
- Akhiezer, A.I.; Peletminsky, S.V. Methods of Statistical Physics; Pergamon Press: Oxford, UK, 2013. [Google Scholar]
- Bogolubov, N.N., Jr.; Sadovnikov, B.J.; Shumovsky, A.S. Mathematical Methods of Statistical Mechanical Model Systems; CRC: Boca Raton, FL, USA, 1984. [Google Scholar]
- Petrina, D.Y.; Gerasimenko, V.I.; Malyshev, P.V. Mathematical Foundations of Classical Statistical Mechanics; CRC Press Publisher: Boca Raton, FL, USA, 2002. [Google Scholar]
- Berezin, F.A.; Sushko, V.N. Relativistic two-dimensional model of a melf-interacting fermion field with non-vanishing rest mass. Sov. Phys. JETP 1965, 21, 865–873. [Google Scholar]
- Tsvetkov, A.A. Integrals of the nonlinear quantum Schrëdinger equation and the trace of the resolvent of the Dirac operator. Funkt. Anal. Appl. 1981, 15, 92–93. [Google Scholar] [CrossRef]
- Tsvetkov, A.A. On a family of commutative Wick symbols. Theor. Math. Phys. 1981, 47, 302–309. [Google Scholar] [CrossRef]
- Bogolubov, N.N., Jr.; Sadovnikov, B.I. Some Problems of Statistical Mechanics; Vyshaya Shkola Publisher: Minsk, Belarus, 1975. [Google Scholar]
- Gibbon, J. Collisionless Boltzmann equations and integrable moment equations. Physica 1981, 3, 502–511. [Google Scholar] [CrossRef]
- Bogolubov, N.N. Microscopic solutions of the Boltzmann-Enskog equation in kinetic theory for elastic balls. Theor. Math. Phys. 1975, 24, 804–807. [Google Scholar] [CrossRef]
- Bazarov, I.P.; Gevorkian, E.V.; Nikolaev, P.N. Nonequilibrium Thermodynamics and Physical Kinetics; Moscow University Press: Moscow, Russia, 1989. [Google Scholar]
- Bogolubov, N.N., Jr.; Prykarpatsky, A.K.; Samoilenko, V.H. Hamiltonian Structure of Hydrodynamical Benney Type Equations and Associated with Them Boltzmann-Vlasove Equations on Axis; Preprint of the Institute of Mathematics of NAS of Ukraine: Kiev, Ukraine, 1991; Volume 91, p. 25. [Google Scholar]
- Chapman, S.; Cowling, T. Mathematical Theory of Non-Uniform Gases; Cambridge University Press: London, UK; New York, NY, USA, 1952. [Google Scholar]
- Libov, R. Introduction to the Theory of Kinetic Equations; Wiley: Hoboken, NJ, USA, 1969. [Google Scholar]
- Mendes, R.V. Current algebra, statistical mechanics and quantum models. arXiv 2017, arXiv:1711.03027v1. [Google Scholar]
- Bardos, C.; Besse, N. The Cauchy problem for the Vlasov-Dirac-Benney equation and related issues in fluid mechanics and semi-classical limits. Kinet. Relat. Model. 2013, 6, 893–917. [Google Scholar] [CrossRef]
- Boglolubov, N.N., Jr.; Brankov, J.G.; Zagrebnov, V.A.; Kurbatov, A.M.; Tonchev, N.S. Approximating Hamiltonian Method in Statistical Physics; Bulgarian Academy of Sciences Publ.: Sophia, Bulgaria, 1981. [Google Scholar]
- Daletsky, Y.L.; Kadobyansky, R.M. The Poisson structures hierarchy and interacting ststems dynamics. Proceed. Ukr. Sci. 1994, 8, 21–26. [Google Scholar]
- Ivankiv, L.I.; Prykarpatski, A.K.; Samulyak, R.V. Non-Equilibrium Statistical Mechanics of Many-Particle Systems in Bounded Domain with Surface Peculiarities and Adsorption Phenomenon; Preprint N1-92, Institute for applied Problems of Mechanics and Mathematics of NASU: Lviv, Ukraine, 1992. [Google Scholar]
- Kozlov, V.V. Thermal Equilibrium in the Sense of Gibbs and Poincare; Inst. Komp’yut. Issled. Publisher: Izhevsk, Russia, 2002. [Google Scholar]
- Kozlov, V.V. Gibbs Ensembles and Nonequilibrium Statistical Mechanics; Regulyarnaya i Khaoticheskaya Dinamika Publisher: Izhevsk, Russia, 2008. [Google Scholar]
- Kozlov, V.V. The Vlasov kinetic equation, dynamics of continuum and turbulence. Regul. Chaotic Dyn. 2011, 16, 602–622. [Google Scholar] [CrossRef]
- Lions, P.L.; Perthame, B. Propagation of Moments and Regularity for the 3-Dimensional Vlasov-Poisson System. Invent. Math. 1991, 105, 415–430. [Google Scholar] [CrossRef]
- Mandjavidze, J.; Sissakian, A. Generating functional method of N.N. Bogolubov and multiple production physics. arXiv 2000, arXiv:hep-ph/0003039v1. [Google Scholar]
- Marsden, J.E.; Morrison, P.J.; Weinstein, A. The Hamiltonian structure of the BBBGKY hierarchy equations. Contemp. Math. 1984, 28, 115–124. [Google Scholar]
- Mikhaylov, A.I. The functional mechanics: Evolution of the moments of distribution function and the Poincare recurrence theorem. Vestn. Samar. Gos. Tekh. Univ. Fiz.-Mat. Nauk. 2011, 1, 124–133. [Google Scholar] [CrossRef]
- Mikhaylov, A.I. The functional mechanics: Evolution of the moments of distribution function and the Poincare recurrence theorem. P-Adic Numbers Ultrametr. Anal. Appl. 2011, 3, 205–211. [Google Scholar] [CrossRef]
- Trushechkin, A.S. Microscopic solutions of kinetic equations and the irreversibility problem. Proc. Steklov Inst. Math. 2014, 285, 251–274. [Google Scholar] [CrossRef]
- Villani, C. A review of mathematical topics in collisional kinetic theory. In Handbook of Mathematical Fluid Dynamics; Friedlander, S., Serre, D., Eds.; Elsevier Science Publisher: Amsterdam, The Netherlands, 2002; Volume 1. [Google Scholar]
- Volovik, G.E. Poisson bracket scheme for vortex dynamics in superfluids and superconductors and the effect of the band structure of the crystal. J. Exp. Theor. Phys. Lett. 1996, 64, 845–852. [Google Scholar] [CrossRef]
- Kruglikov, B.; Morozov, O. Integrable dispersionless PDE in 4D, their symmetry pseudogroups and deformations. arXiv 2015, arXiv:1410.7104v2. [Google Scholar] [CrossRef]
- Zubarev, D.N. Nonequilibrium Statistical Thermodynamics; Consultants Bureau: New York, NY, USA, 1974. [Google Scholar]
- Vlasov, A.A. Statistical Distribution Functions; Nauka Publisher: Moscow, Russia, 1966. [Google Scholar]
- Arnold, V.I. Mathematical Methods of Classical Mechanics; Springer: New York, NY, USA, 1978. [Google Scholar]
- Bogolyubov, N.N., Jr.; Prikarpatskii, A.K.; Samoilenko, V.G. Bogolyubov’s functional equation and the Lie-poisson-Vlasov symplectic structure associated with it. Ukr. Math. J. 1986, 38, 654–657. [Google Scholar] [CrossRef]
- Mokhov, O.I. Symplectic and Poisson Geometry on Loop Spaces of Smooth Manifolds and Integrable Equations; Cambridge Scientific Publishers: Cottenham, UK, 2008. [Google Scholar]
- Prykarpatsky, Y.A. Canonical reduction on cotangent symplectic manifolds with group action and on associated principal bundles with connections. J. Nonlinear Oscil. 2006, 9, 96–106. [Google Scholar] [CrossRef]
- Bogoliubov, N.N.; Blackmore, D.; Prykarpatsky, A.K. On Benney Type Hydrodynamical Systems and Their Boltzmann-Vlasov Equations Kinetic Models. Preprint IC/2006/006. The Abdus Salam International Center for Theoretical Physics, United Nations Educational Scientific and Cultural Organization and International Atomic Energy Agency. Available online: http://www.ictp.it/pub_off (accessed on 1 December 2021).
- Lebedev, D.R.; Manin, Y.I. Benney’s long wave equations: Lax representation and conservation laws. In Zapiski Nauchnykh Seminarov LOMI.-1980-96; Boundary Value Problems of Mathematical Physics and Adjacent Function Theory Questions; Elsevier: Amsterdam, The Netherlands, 2019; pp. 169–178. (In Russian) [Google Scholar]
- Marsden, J.; Chorin, A. Mathematical Foundations of the Mechanics of Liquid; Springer: New York, NY, USA, 1993. [Google Scholar]
- Chernoff, P.R.; Royden, H.F. The equation ∂f/∂dx = ∂f/∂y. Am. Math. Mon. 1975, 82, 530–531. [Google Scholar] [CrossRef]
- Montel, P. Sur differentielles totales et les fontions monogenes. CR Acad. Sci. Paris 1913, 156, 1820–1822. [Google Scholar]
- Tolstoff, G. Sur la differentielle totale. Recl. Math. 1941, 9, 461–468. [Google Scholar]
- Ebin, D.; Marsden, J. Groups of diffeomorphisms and the motion of an incompressible fluid. Ann. Math. 1970, 125, 102–163. [Google Scholar] [CrossRef]
- Kambe, T. Geometric theory of fluid flows and dynamical systems. Fluid Dyn. Res. 2002, 30, 331–378. [Google Scholar] [CrossRef]
- Arnold, V.I.; Khesin, B.A. Topological Methods in Hydrodynamics; Springer: New York, NY, USA, 1998. [Google Scholar]
- Holm, D.; Marsden, J.; Ratiu, T.; Weinstein, A. Nonlinear stability of fluid and plasma equilibria. Phys. Rep. 1985, 123, 1–116. [Google Scholar] [CrossRef]
- Kuznetsov, E.A.; Mikhailov, A.V. On the topological meaning of canonical Clebsch variables. Phys. Lett. A 1980, 77, 37–38. [Google Scholar] [CrossRef]
- Henyea, F. Gauge groups and Noether’s theorem for continuum mechanics. AIF Conf. Proc. 1982, 88, 85–90. [Google Scholar]
- Warner, F.W. Foundations of Diffderentiable Manifolds and Lie Groups; Springer: New York, NY, USA, 1983. [Google Scholar]
- Huang, K. Statistical Mechanics; John Wiley and Sons Inc.: New York, NY, USA; London, UK, 1963. [Google Scholar]
- Minlos, R.A. Introduction to Mathematical Statistical Physics; University Lecture Series 19; American Mathematical Society: Providence, RI, USA, 1999. [Google Scholar]
- Holm, D.; Kupershmidt, B. Superfluid plasmas: Multivelocity nonlinear hydrodynamics of superfluid solutions with charged condensates coupled electromagnetically. Phys. Rev. 1987, 36, 3947–3956. [Google Scholar] [CrossRef]
- Moffat, H.K. The degree of knottedness of tangled vortex lines. J. Fluid Mech. 1969, 35, 117–129. [Google Scholar] [CrossRef]
- Kulish, P.P. An Analogue of the Korteweg-de Vries Quation for the Superconformal Algebra, Differential Geometry, Lie Groups and Mechanics. Zap. Nauchnykh Semin. POMI 1986, 155, 142–149. [Google Scholar]
- Ovsienko, V. Bi-Hamilton nature of the equation utx = uxyuy − uyyux. arXiv 2008, arXiv:0802.1818v1. [Google Scholar]
- Mikhalev, V.G. On the Hamiltonian formalism for Korteweg-de Vries type hierarchies. Funct. Anal. Its Appl. 1992, 26, 140–142. [Google Scholar] [CrossRef]
- Misiolek, G. A shallow water equation as a geodesic flow on the Bott-Virasoro group. J. Geom. Phys. 1998, 24, 203–208. [Google Scholar] [CrossRef]
- Sheftel, M.B.; Malykh, A.A.; Yazıcı, D. Recursion operators and bi-Hamiltonian structure of the general heavenly equation. arXiv 2016, arXiv:1510.03666v3. [Google Scholar] [CrossRef][Green Version]
- Hentosh, O.E.; Prykarpatsky, Y.A.; Blackmore, D.; Prykarpatski, A.K. Pfeiffer-Sato solutions of Buhl’s problem and a Lagrange-D’Alembert principle for Heavenly equations. In Nonlinear Systems and Their Remarkable Mathematical Structures; Euler, N., Ed.; CRC Press: Boca Raton, FL, USA, 2018; pp. 187–232. ISBN 9780429470462. [Google Scholar]
- Hentosh, O.Y.; Prykarpatsky, Y.A.; Blackmore, D.; Prykarpatski, A. Generalized Lie-algebraic structures related to integrable dispersionless dynamical systems and their application. J. Math. Sci. Model. 2018, 1, 105–130. [Google Scholar] [CrossRef]
- Hentosh, O.Y.; Prykarpatsky, Y.A.; Blackmore, D.; Prykarpatski, A. Lie-algebraic structure of Lax–Sato integrable heavenly equations and the Lagrange–d’Alembert principle. J. Geom. Phys. 2017, 120, 208–227. [Google Scholar] [CrossRef]
- Prykarpatski, A.K. On the Linearization Covering Technique and its Application to Integrable Nonlinear Differential Systems. Symmetry Integr. Geom. Methods Appl. 2018, 14, 023. [Google Scholar] [CrossRef]
- Prykarpatskyy, Y. On the Integrable Chaplygin Type Hydrodynamic Systems and Their Geometric Structure. Symmetry 2020, 12, 697. [Google Scholar] [CrossRef]
- Doubrov, B.; Ferapontov, E.V. On the integrability of symplectic Monge-Ampère equations. J. Geom. Phys. 2010, 60, 1604–1616. [Google Scholar] [CrossRef]
- Ferapontov, E.V.; Moss, J. Linearly degenerate PDEs and quadratic line complexes. arXiv 2012, arXiv:1204.2777v1. [Google Scholar]
- Prykarpatski, A.K.; Hentosh, O.E.; Prykarpatsky, A.K. Geometric Structure of the Classical Lagrange-d’Alembert Principle and its Application to Integrable Nonlinear Dynamical Systems. Mathematics 2017, 5, 75. [Google Scholar] [CrossRef]
- Hertling, C. Frobenius Manifolds and Moduli Spaces for Singularities; Cambridge University Press: Cambridge, UK, 2002. [Google Scholar]
- Pressley, A.; Segal, G. Loop Groups; Clarendon Press: London, UK, 1986. [Google Scholar]
- Audin, M. Lectures on gauge theory and integrable systems. In Gauge Theory and Symplectic Geometry; Hurtubise, J., Lalonde, F., Eds.; Kluwer: Alphen aan den Rijn, The Netherlands, 1997; pp. 1–48. [Google Scholar]
- Ovsienko, V.; Roger, C. Looped Cotangent Virasoro Algebra and Non-Linear Integrable Systems in Dimension 2 + 1. Commun. Math. Phys. 2007, 273, 357–378. [Google Scholar] [CrossRef]
- Plebański, J.F. Some solutions of complex Einstein equations. J. Math. Phys. 1975, 16, 2395–2402. [Google Scholar] [CrossRef]
- Dunajski, M. Anti-self-dual four-manifolds with a parallel real spinor. Proc. Roy Soc. A 2002, 458, 1205. [Google Scholar] [CrossRef]
- Dunajski, M.; Mason, L.J.; Tod, P. Einstein-Weyl geometry, the dKP equation and twistor theory. J. Geom. Phys. 2001, 37, 63–93. [Google Scholar] [CrossRef]
- Manakov, S.V.; Santini, P.M. On the solutions of the second heavenly and Pavlov equations. J. Phys. A Mat. Theor. 2009, 42, 404013. [Google Scholar] [CrossRef]
- Pavlov, M.V. Integrable hydrodynamic chains. J. Math. Phys. 2003, 44, 4134–4156. [Google Scholar] [CrossRef]
- Schief, W.K. Self-dual Einstein spaces via a permutability theorem for the Tzitzeica equation. Phys. Lett. A 1996, 223, 55–62. [Google Scholar] [CrossRef]
- Schief, W.K. Self-dual Einstein spaces and a discrete Tzitzeica equation. A permutability theorem link. In Symmetries and Integrability of Difference Equations; Clarkson, P., Nijhoff, F., Eds.; London Mathematical Society, Lecture Note Series 255; Cambridge University Press: Cambridge, UK, 1999; pp. 137–148. [Google Scholar]
- Takasaki, K.; Takebe, T. SDiff(2) Toda equation— Hierarchy, Tau function, and symmetries. Lett. Math. Phys. 1991, 23, 205–214. [Google Scholar] [CrossRef]
- Takasaki, K.; Takebe, T. Integrable Hierarchies and Dispersionless Limit. Rev. Math. Phys. 1995, 7, 743–808. [Google Scholar] [CrossRef]
- Strachan, I.A.B.; Szablikowski, B.M. Novikov algebras and a classification of multicomponent Camassa-Holm equations. Stud. Appl. Math. 2014, 133, 84–117. [Google Scholar] [CrossRef]
- Sergyeyev, A.; Szablikowski, B.M. Central extensions of cotangent universal hierarrchy: (2+1)-dimensional bi-Hamiltonian systems. Phys. Lett. A 2008, 372, 7016–7023. [Google Scholar] [CrossRef]
- Szablikowski, B. Hierarchies of Manakov-Santini Type by Means of Rota-Baxter and Other Identities. SIGMA 2016, 12, 022. [Google Scholar] [CrossRef]
- Prykarpatski, A.K.; Balinsky, A.A. On Symmetry Properties of Frobenius Manifolds and Related Lie-Algebraic Structures. Symmetry 2021, 13, 979. [Google Scholar] [CrossRef]
- Adler, M. On a trace functional for formal pseudo-differential operators and the symplectic structure of the Korteweg-de Vries equation. Invent. Math. 1979, 50, 219–248. [Google Scholar] [CrossRef]
- Semenov-Tian-Shansky, M. What is a classical R-matrix? Funct. Anal. Appl. 1983, 17, 259–272. [Google Scholar] [CrossRef]
- Hentosh, O.E.; Prykarpatsky, Y.A.; Balinsky, A.A.; Prykarpatski, A.K. The dispersionless completely integrable heavenly type Hamiltonian flows and their differential-geometric structure. Ann. Math. Phys. 2019, 2, 011–025. [Google Scholar] [CrossRef]
- Thirring, W. Classical Mathematical Physics, 3rd ed.; Springer: Berlin, Germany, 1992. [Google Scholar]
- Alonso, L.M.; Shabat, A.B. Hydrodynamic reductions and solutions of a universal hierarchy. Theoret. Math. Phys. 2004, 104, 1073–1085. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the author. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).