Abstract:
In this paper we present a general framework that allows one to study discretization of certain dynamical systems. This generalizes earlier work on discretization of Lagrangian and Hamiltonian systems on tangent bundles and cotangent bundles respectively. In particular we show how to obtain a large class of discrete algorithms using this geometric approach. We give new geometric insight into the Newmark model for example and we give a direct discrete formulation of the Hamilton-Jacobi method. Moreover we extend these ideas to deriving a discrete version of the maximum principle for smooth optimal control problems. We define discrete variational principles that are the discrete counterpart of known variational principles. For dynamical systems, we introduce principles of critical action on both the tangent bundle and the cotangent bundle. These two principles are equivalent and allow one to recover most of the classical symplectic algorithms. We also identify a class of coordinate transformations that leave the variational principles presented in this paper invariant and develop a discrete Hamilton-Jacobi theory. This theory allows us to show that the energy error in the (symplectic) integration of a dynamical system is invariant under discrete canonical transformations. Finally, for optimal control problems we develop a discrete maximum principle that yields discrete necessary conditions for optimality. These conditions are in agreement with the usual conditions obtained from Pontryagin maximum principle. We illustrate our approach with an example of a sub-Riemannian optimal control.

Abstract:
The interplay between the Hamilton-Jacobi theory of orthogonal separation of variables and the theory of group actions is investigated based on concrete examples.

Abstract:
The interplay between the Hamilton-Jacobi theory of orthogonal separation of variables and the theory of group actions is investigated based on concrete examples.

Abstract:
In this paper we develop a Hamilton-Jacobi theory in the setting of almost Poisson manifolds. The theory extends the classical Hamilton-Jacobi theory and can be also applied to very general situations including nonholonomic mechanical systems and time dependent systems with external forces.

Abstract:
Recently, M. de Le\'on el al. ([9]) have developed a geometric Hamilton-Jacobi theory for Classical Field Theories in the setting of multisymplectic geometry. Our purpose in the current paper is to establish the corresponding Hamilton-Jacobi theory in the Cauchy data space, and relate both approaches.

Abstract:
Quantum canonical transformations have attracted interest since the beginning of quantum theory. Based on their classical analogues, one would expect them to provide a powerful quantum tool. However, the difficulty of solving a nonlinear operator partial differential equation such as the quantum Hamilton-Jacobi equation (QHJE) has hindered progress along this otherwise promising avenue. We overcome this difficulty. We show that solutions to the QHJE can be constructed by a simple prescription starting from the propagator of the associated Schroedinger equation. Our result opens the possibility of practical use of quantum Hamilton-Jacobi theory. As an application we develop a surprising relation between operator ordering and the density of paths around a semiclassical trajectory.

Abstract:
We develop a Hamilton-Jacobi theory for singular lagrangian systems using the Gotay-Nester-Hinds constraint algorithm. The procedure works even if the system has secondary constraints.

Abstract:
Reduction theory has played a major role in the study of Hamiltonian systems. On the other hand, the Hamilton-Jacobi theory is one of the main tools to integrate the dynamics of certain Hamiltonian problems and a topic of research on its own. Moreover, the construction of several symplectic integrators rely on approximations of a complete solution of the Hamilton-Jacobi equation. The natural question that we address in this paper is how these two topics (reduction and Hamilton-Jacobi theory) fit together. We obtain a reduction and reconstruction procedure for the Hamilton-Jacobi equation with symmetries, even in a generalized sense to be clarified below. Several applications and relations to other reductions of the Hamilton-Jacobi theory are shown in the last section of the paper. It is remarkable that as a by-product we obtain a generalization of the Ge-Marsden reduction procedure. Quite surprinsingly, the classical ansatzs available in the literature to solve the Hamilton-Jacobi equation are also particular instances of our framework.

Abstract:
We present a new setting of the geometric Hamilton-Jacobi theory by using the so-called time-evolution operator K. This new approach unifies both the Lagrangian and the Hamiltonian formulation of the problem developed in a previous paper [7], and can be applied to the case of singular Lagrangian dynamical systems.