Reviewing the geometric Hamilton–Jacobi theory concerning Jacobi and Leibniz identities

Abstract

In this survey, we review the classical Hamilton–Jacobi theory from a geometric point of view in different geometric backgrounds. We propose a Hamilton-Jacobi equation for different geometric structures attending to one particular characterization: whether they fulfill the Jacobi and Leibniz identities simultaneously, or if at least they satisfy one of them. In this regard, we review the case of time-dependent ($t$-dependent in the sequel) and dissipative physical systems as systems that fulfill the Jacobi identity but not the Leibnitz identity. Furthermore, we review the contact-evolution Hamilton-Jacobi theory as a split off the regular contact geometry, and that actually satisfies the Leibniz rule instead of Jacobi. Furthermore, we include a novel result, which is the Hamilton-Jacobi equation for conformal Hamiltonian vector fields as a generalization of the well-known Hamilton-Jacobi on a symplectic manifold, that is retrieved in the case of a zero conformal factor. The interest of a geometric Hamilton–Jacobi equation is the primordial observation that if a Hamiltonian vector field $X_H$ can be projected into a configuration manifold by means of a $1$-form $dW$, then the integral curves of the projected vector field $X_{H}^{dW}$ can be transformed into integral curves of $X_H$ provided that $W$ is a solution of the Hamilton-Jacobi equation. Geometrically, the solution of the Hamilton-Jacobi equation plays the role of a Lagrangian submanifold of a certain bundle. Exploiting these features in different geometric scenarios we propose a geometric theory for multiple physical systems depending on the fundamental identities that their dynamic satisfies. Different examples are pictured to reflect the results provided, being all of them new, except for one that is reassessment of a previously considered example.

Generalized virial theorem for contact Hamiltonian systems

“…Contact manifolds fall into the broader category of Jacobi manifolds [34] which are equipped with a local Lie bracket structure…”

“…where T is the absolute temperature. In order to describe it in the framework of time-dependent contact Hamiltonian dynamics, we consider a contact Hamiltonian function of the form given in eqn (34) with F (t) = η(t). The resulting equations of motion are…”

The flow method for the Baker-Campbell-Hausdorff formula: exact results

“…Moreover, the analysis and use of symplectic and contact integrators is a very active and prolific field e.g. in mechanics [3,14,17,25,47,48], general relativity [43,44] and plasma physics [34,35], and thus we consider that our results can be helpful in these contexts as well.…”

“…and equation (17) implies that d(τ ) = γ. The remaining three parameters a(τ ), b(τ ) and c(τ ) can be found from (21).…”

On locally conformally cosymplectic Hamiltonian dynamics and Hamilton–Jacobi theory

“…To be more concrete about our approach, we shall examine the damped harmonic oscillator in section 4.5. The same model was studied in [34] in the cosymplectic geometry without a local conformality assumption. This gives us a chance to compare pure cosymplectic and LCC formalisms.…”