Related papers: First Order Actions: a New View
In this paper we discuss singular Lagrangian systems on the framework of contact geometry. These systems exhibit a dissipative behavior in contrast with the symplectic scenario. We develop a constraint algorithm similar to the presymplectic…
A generalized version is proposed for the field-antifield formalism. The antibracket operation is defined in arbitrary field-antifield coordinates. The antisymplectic definitions are given for first- and second-class constraints. In the…
The authors previous derivation of a variational principle from the total work functional, as a generalization of the first variation of an action functional, is extended by deriving a corresponding generalization of the Hamiltonian…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
Motivated by the Hamilton$-$Jacobi approach of fields with constraints, we analyse the classical structure of three different constrained field systems: (i) the scalar field coupled to two flavors of fermions through Yukawa couplings (ii)…
The Lagrangian-Hamiltonian unified formalism of R. Skinner and R. Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, as well as for…
By using the supersymmetric version of the Faddeev-Jackiw symplectic formalism, a family of first-order constrained Lagrangians for the t-J model is found. In this approach the Hubbard ${\hat X}$-operators are used as field variables. In…
This work is devoted to giving a geometric framework for describing higher-order non-autonomous mechanical systems. The starting point is to extend the Lagrangian-Hamiltonian unified formalism of Skinner and Rusk for these kinds of systems,…
A Dirac Hamiltonian formulation of d-dimensional Einstein-Hilbert action in first order form, has shown that as well as secondary first class constraints, tertiary first class constraints also arise, with an unusual nonlocal Poisson bracket…
The definition of an action functional for the Jacobi sigma models, known for Jacobi brackets of functions, is generalized to \emph{Jacobi bundles}, i.e., Lie brackets on sections of (possibly nontrivial) line bundles, with the particular…
We construct a first order Lagrangian formalism for bimetric theories with an interaction which is a general function of metrics and their derivatives, including non-analytic functions. The first-order actions are fully equivalent to the…
The Hamiltonian form of the Hilbert action in the first order tetrad formalism is examined. We perform a non-linear field redefinition of the canonical variables isolating the part of the spin connection which is canonically conjugate to…
We show that all W-gravity actions can be easilly constructed and understood from the point of view of the Hamiltonian formalism for the constrained systems. This formalism also gives a method of constructing gauge invariant actions for…
In this paper, non-Hamiltonian systems with holonomic constraints are treated by a generalization of Dirac's formalism. Non-Hamiltonian phase space flows can be described by generalized antisymmetric brackets or by general Liouville…
First-order linear temporal logic (FOLTL) is a flexible and expressive formalism capable of naturally describing complex behaviors and properties. Although the logic is in general highly undecidable, the idea of using it as a specification…
A generalization of the Hamilton-Jacobi theory to arbitrary dynamical systems, including non-Hamiltonian ones, is considered. The generalized Hamilton-Jacobi theory is constructed as a theory of ensemble of identical systems moving in the…
On the space ${\cal L}$, of loops in the group of Hamiltonian symplectomorphisms of a symplectic quantizable manifold, we define a closed ${\bf Z}$-valued 1-form $\Omega$. If $\Omega$ vanishes, the prequantization map can be extended to a…
The goal of this contribution is to introduce the Hamiltonian formalism of theoretical mechanics for analysing motion in generic linear and non-linear dynamical systems, including particle accelerators. This framework allows the derivation…
Interference dynamics is analyzed in the light of the complex quantum Hamilton-Jacobi formalism, using as a working model the collision of two Gaussian wave packets. Though simple, this model nicely shows that interference in quantum…
In this paper, we derive a "hamiltonian formalism" for a wide class of mechanical systems, including classical hamiltonian systems, nonholonomic systems, some classes of servomechanism... This construction strongly relies in the geometry…