We discuss dimensional reduction for Hamiltonian systems which possess nonconstant Poisson brackets between pairs of coordinates and between pairs of momenta. The associated Jacobi identities imply that the dimensionally reduced brackets are always constant. Some examples are given alongside the general theory.
In this paper, we consider Hamiltonian structures of hydrodynamic type and some of their generalizations. In particular, we discuss the questions concerning the structure and special forms of the corresponding Poisson brackets and the connection of such structures with the theory of integration of systems of hydrodynamic type.
We establish a new representation of the infinite hierarchy of Pois- son brackets (PB) for the open Toda lattice in terms of its spectral curve. For the classical Poisson bracket (PB) we give a representation in the form of a contour integral of some special Abelian differential (meromorphic one-form) on the spectral curve. All higher brackets of the infinite hierarchy are obtained by multiplication of the one-form by a power of the spectral parameter.
By introducing an integration factor to the differential one-form of contact dynamics, equations of motion are derived variationally, and contact Poisson bracket and contact Lagrangian are formulated. Discrete symplectic integrator, named hybrid leap-frog method, is found to be a numerical solver of equations of motion for contact dissipative systems.
We consider a hierarchy of Poisson structures defined on rational functions on the Riemann sphere. This hierarchy is originated in the theory of the integrable Camassa-Holm equation associated with the Krein's string spectral problem. Previously the proof of Jacobi identity was obtained by reducing the bracket to canonical Darboux coordinates. The main result of this note is a direct proof of the Jacobi identity. It turns out that the direct proof of the Jacobi identity is far from trivial. We also give an example of another hierarchy of Poisson brackets and construct Darboux coordinates for i…
Poisson brackets between conserved quantities are a fundamental tool in the theory of integrable systems. The subclass of weakly nonlocal Poisson brackets occurs in many significant integrable systems. Proving that a weakly nonlocal differential operator defines a Poisson bracket can be challenging. We propose a computational approach to this problem through the identification of such operators with superfunctions on supermanifolds.
In this note the notion of Poisson brackets in Kontsevich's "Lie World" is developed. These brackets can be thought of as "universally" defined classical Poisson structures, namely formal expressions only involving the structure maps of a quadratic Lie algebra. We prove a uniqueness statement about these Poisson brackets with a given moment map. As an application we get formulae for the linearization of the quasi-Poisson structure of the moduli space of flat connections on a punctured sphere, and thereby identify their symplectic leaves with the reduction of coadjoint orbits. Equivalently, we …
Reversible part of evolution equations of physical systems is often generated by a Poisson bracket. We discuss geometric means of construction of Poisson brackets and their mutual coupling (direct, semidirect and matched-pair products) as well as projections of Poisson brackets to less detailed Poisson brackets. This way the Hamiltonian coupling between transport of mixtures and electrodynamics is elucidated.
Reversible evolution of macroscopic and mesoscopic systems can be conveniently constructed from two ingredients: an energy functional and a Poisson bracket. The goal of this paper is to elucidate how the Poisson brackets can be constructed and what additional features we also gain by the construction. In particular, the Poisson brackets governing reversible evolution in one-particle kinetic theory, kinetic theory of binary mixtures, binary fluid mixtures, classical irreversible thermodynamics and classical hydrodynamics are derived from Liouville equation. Although the construction is quite na…
A common approach to the theory of nonlocal Poisson brackets, seen from the operatorial point of view, has been to keep implicit the sets on which these brackets act. In this paper we aim to explicitly define appropriate functional spaces underlying to the theory of 1 codimensional weakly nonlocal Poisson brackets, motivating the definitions, and to prove the validity in this context of some classical results in the field. We start by introducing the spaces for the local case, which will serve as building tools for those in the nonlocal one. The definition and the study of these nonlocal funct…
In the phase space $\R^{2d}$, let us denote $\{A,B\}$ the Poisson bracket of two smooth classical observables and $\{A, B\}_\circledast $ their Moyal bracket, defined as the Weyl symbol of $i[ A, B]$, where $ \hat A$ is the Weyl quantization of $A$ and $[ \hat A, \hat B]= \hat A \hat B- \hat B \hat A$ (commutator). In this note we prove that if a smooth Hamiltonian $H$ on the phase space $\R^{2d}$, with derivatives of moderate growth, satisfies $\{A,H\}= \{A, H\}_\circledast$ for any smooth and bounded observable $A$ then $H$ must be a polynomial of degree at most 2. This is related with the G…
We compare three different ways of checking the Jacobi identity for weakly nonlocal Poisson brackets using the theory of distributions, of pseudodifferential operators and of Poisson vertex algebras, respectively. We show that the three approaches lead to similar computations and same results.
In field theory the Poisson bracket $\{F, \mathcal{H}\}$ between an arbitrary function $F$ and the system Hamiltonian $\mathcal{H}$ acquires odd contributions. Here a modification is worked out to remove those terms, which leads to a certain version of the energy-momentum tensor. The resulting Poisson bracket is thus more easily accessible for quantization. An outlook hereupon is given, based on a field theoretic alternative to non-commutative spacetime.
We construct a symplectic realization and a bi-hamiltonian formulation of a 3-dimensional system whose solution are the Jacobi elliptic functions. We generalize this system and the related Poisson brackets to higher dimensions. These more general systems are parametrized by lines in projective space. For these rank 2 Poisson brackets the Jacobi identity is satisfied only when the Pl\" ucker relations hold. Two of these Poisson brackets are compatible if and only if the corresponding lines in projective space intersect. We present several examples of such systems.
We consider here special Poisson brackets given by the "averaging" of local multi-dimensional Poisson brackets in the Whitham method. For the brackets of this kind it is natural to ask about their canonical forms, which can be obtained after transformations preserving the "physical meaning" of the field variables. We show here that the averaged bracket can always be written in the canonical form after a transformation of "Hydrodynamic Type" in the case of absence of annihilators of initial bracket. However, in general case the situation is more complicated. As we show here, in more general cas…
Given a symplectic form and a pseudo-riemannian metric on a manifold, a non degenerate even Poisson bracket on the algebra of differential forms is defined and its properties are studied. A comparison with the Koszul-Schouten bracket is established.
We give a method to construct Poisson brackets $\{\cdot,\cdot\}$ on Banach manifolds~$M$, for which the value of $\{f,g\}$ at some point $m\in M$ may depend on higher order derivatives of the smooth functions $f,g\colon M\to{\mathbb R}$, and not only on the first-order derivatives, as it is the case on all finite-dimensional manifolds. We discuss specific examples in this connection, as well as the impact on the earlier research on Poisson geometry of Banach manifolds. Those brackets are counterexamples to the claim that the Leibniz property for any Poisson bracket on a Banach manifold would i…
It is well known that the compatible linear and quadratic Poisson brackets of the full symmetric and of the standard open Toda lattices are restrictions of linear and quadratic $r$-matrix Poisson brackets on the associative algebra ${\mathrm{gl}}(n,{\mathbb{R}})$. We here show that the quadratic bracket on ${\mathrm{gl}}(n,{\mathbb{R}})$, corresponding to the $r$-matrix defined by the splitting of ${\mathrm{gl}}(n,{\mathbb{R}})$ into the direct sum of the upper triangular and orthogonal Lie subalgebras, descends by Poisson reduction from a quadratic Poisson structure on the cotangent bundle $T…
We construct the family of algebroid brackets $[\cdot,\cdot]_{c,v}$ on the tangent bundle $T^*M$ to a Poisson manifold $(M,π)$ starting from an algebroid bracket of differential forms. We use these brackets to generate Poisson structures on the tangent bundle $TM$. Next, in the case when $M$ is equipped with a bi-Hamiltonian structure $(M,π_1, π_2)$ we show how to construct another family of Poisson structures. Moreover we present how to find Casimir functions for those structures and we discuss some particular examples.
We introduce a natural class of multicomponent local Poisson structures $\mathcal P_k + \mathcal P_1$, where $\mathcal P_1$ is a local Poisson bracket of order one and $\mathcal P_k$ is a homogeneous Poisson bracket of odd order $k$ under assumption that is has Darboux coordinates (Darboux-Poisson bracket) and non-degenerate. For such brackets we obtain the general formulas in arbitrary coordinates, find normal forms (related to Frobenius triples) and provide the description of the Casimirs, using purely algebraic procedure. In two-component case we completely classify such brackets up to the …
We propose an extension of n-ary Nambu-Poisson bracket to superspace R^{n|m} and construct by means of superdeterminant a family of Nambu-Poisson algebras of even degree functions, where the parameter of this family is an invertible transformation of Grassmann coordinates in superspace R^{n|m}. We prove in the case of the superspaces R^{n|1} and R^{n|2} that our n-ary bracket, defined with the help of superdeterminant, satisfies the conditions for n-ary Nambu-Poisson bracket, i.e. it is totally skew-symmetric and it satisfies the Leibniz rule and the Filippov-Jacobi identity (fundamental ident…
FZU - Institute of Physics of the Czech Academy of Sciences（捷克科学院物理研究所）；University of California, Davis（加州大学戴维斯分校）；Institute of Mathematics of the Czech Academy of Sciences（捷克科学院数学研究所）
We compute the Poisson cohomology of a scalar Poisson bracket of Dubrovin-Novikov type with $D$ independent variables. We find that the second and third cohomology groups are generically non-vanishing in $D>1$. Hence, in contrast with the $D=1$ case, the deformation theory in the multivariable case is non-trivial.
