No Arabic abstract
In previous papers, a geometric framework has been developed to describe non-conservative field theories as a kind of modified Lagrangian and Hamiltonian field theories. This approach is that of $k$-contact Hamiltonian systems, which is based on the $k$-symplectic formulation of field theories as well as on contact geometry. In this work we present the Skinner--Rusk unified setting for these kinds of theories, which encompasses both the Lagrangian and Hamiltonian formalisms into a single picture. This unified framework is specially useful when dealing with singular systems, since: (i) it incorporates in a natural way the second-order condition for the solutions of field equations, (ii) it allows to implement the Lagrangian and Hamiltonian constraint algorithms in a unique simple way, and (iii) it gives the Legendre transformation, so that the Lagrangian and the Hamiltonian formalisms are obtained straightforwardly. We apply this description to several interesting physical examples: the damped vibrating string, the telegraphers equations, and Maxwells equations with dissipation terms.
We introduce a version of the Hamiltonian formalism based on the Clairaut equation theory, which allows us a self-consistent description of systems with degenerate (or singular) Lagrangian. A generalization of the Legendre transform to the case, when the Hessian is zero is done using the mixed (envelope/general) solutions of the multidimensional Clairaut equation. The corresponding system of equations of motion is equivalent to the initial Lagrange equations, but contains nondynamical momenta and unresolved velocities. This system is reduced to the physical phase space and presented in the Hamiltonian form by introducing a new (non-Lie) bracket.
These notes give an introduction to the mathematical framework of the Batalin-Vilkovisky and Batalin-Fradkin-Vilkovisky formalisms. Some of the presented content was given as a mini course by the first author at the 2018 QSPACE conference in Benasque.
We show how to derive asymptotic charges for field theories on manifolds with asymptotic boundary, using the BV-BFV formalism. We also prove that the conservation of said charges follows naturally from the vanishing of the BFV boundary action, and show how this construction generalises Noethers procedure. Using the BV-BFV viewpoint, we resolve the controversy present in the literature, regarding the status of large gauge transformation as symmetries of the asymptotic structure. We show that even though the symplectic structure at the asymptotic boundary is not preserved under these transformations, the failure is governed by the corner data, in agreement with the BV-BFV philosophy. We analyse in detail the case of electrodynamics and the interacting scalar field, for which we present a new type of duality to a sourced two-form model.
We show that the contact dynamics obtained from the Herglotz variational principle can be described as a constrained nonholonomic or vakonomic ordinary Lagrangian system depending on a dissipative variable with an adequate choice of one constraint. As a consequence we obtain the dynamics of contact nonholonomic and vakonomic systems as ordinary variational calculus with constraints on a Lagrangian with a dissipative variable. The variation of the energy and the other dissipative quantities are also obtained giving the usual results.
We formulate singular classical theories without involving constraints. Applying the action principle for the action (27) we develop a partial (in the sense that not all velocities are transformed to momenta) Hamiltonian formalism in the initially reduced phase space (with the canonical coordinates $q_{i},p_{i}$, where the number $n_{p}$ of momenta $p_{i}$, $i=1,...,n_{p}$ (17) is arbitrary $n_{p}leq n$, where $n$ is the dimension of the configuration space), in terms of the partial Hamiltonian $H_{0}$ (18) and $(n-n_{p})$ additional Hamiltonians $H_{alpha}$, $alpha=n_{p}+1,...,n$ (20). We obtain $(n-n_{p}+1)$ Hamilton-Jacobi equations (25)-(26). The equations of motion are first order differential equations (33)-(34) with respect to $q_{i},p_{i}$ and second order differential equations (35) for $q_{alpha}$. If $H_{0}$, $H_{alpha}$ do not depend on $dot{q}_{alpha}$ (42), then the second order differential equations (35) become algebraic equations (43) with respect to $dot{q}_{alpha}$. We interpret $q_{alpha}$ as additional times by (45), and arrive at a multi-time dynamics. The above independence is satisfied in singular theories and $r_{W}leq n_{p}$ (58), where $r_{W}$ is the Hessian rank. If $n_{p}=r_{W}$, then there are no constraints. A classification of the singular theories is given by analyzing system (62) in terms of $F_{alphabeta}$ (63). If its rank is full, then we can solve the system (62); if not, some of $dot{q}_{alpha}$ remain arbitrary (sign of a gauge theory). We define new antisymmetric brackets (69) and (80) and present the equations of motion in the Hamilton-like form, (67)-(68) and (81)-(82) respectively. The origin of the Dirac constraints in our framework is shown: if we define extra momenta $p_{alpha}$ by (86), then we obtain the standard primary constraints (87), and the new brackets transform to the Dirac bracket. Quantization is discussed.