TY - JOUR

T1 - Symbolic test of the Jacobi identity for given generalized ’Poisson’ bracket

AU - Kröger, M.

AU - Hütter, M.

AU - Öttinger, H.C.

PY - 2001

Y1 - 2001

N2 - We have developed and provide an algorithm which allows to test the Jacobi identity for a given generalized ‘Poisson’ bracket. Novel frameworks for nonequilibrium thermodynamics have been established, which require that the reversible part of motion of thermodynamically admissible models is described by Poisson brackets satisfying the Jacobi identity in order to ensure the full time-structure invariance of equations of motion for arbitrary function(al)s on state space. For a nonassociative algebra obeyed by objects such as the Lie bracket, the elements of Lie groups fulfill this identity. But the manual evaluation of Jacobi identities relevant for applications and even for basic examples is often very time consuming. The efficient algorithm presented here can be obtained as a package to be used within the framework of the symbolic programming language MathematicaTM. The tool handles Poisson brackets acting either on functions or on functionals, depending on whether the system is described in terms of discrete or of continuous variables.

AB - We have developed and provide an algorithm which allows to test the Jacobi identity for a given generalized ‘Poisson’ bracket. Novel frameworks for nonequilibrium thermodynamics have been established, which require that the reversible part of motion of thermodynamically admissible models is described by Poisson brackets satisfying the Jacobi identity in order to ensure the full time-structure invariance of equations of motion for arbitrary function(al)s on state space. For a nonassociative algebra obeyed by objects such as the Lie bracket, the elements of Lie groups fulfill this identity. But the manual evaluation of Jacobi identities relevant for applications and even for basic examples is often very time consuming. The efficient algorithm presented here can be obtained as a package to be used within the framework of the symbolic programming language MathematicaTM. The tool handles Poisson brackets acting either on functions or on functionals, depending on whether the system is described in terms of discrete or of continuous variables.

U2 - 10.1016/S0010-4655(01)00161-8

DO - 10.1016/S0010-4655(01)00161-8

M3 - Article

VL - 137

SP - 325

EP - 340

JO - Computer Physics Communications

JF - Computer Physics Communications

SN - 0010-4655

IS - 2

ER -