Classical geometric mechanics, including the study of symmetries, Lagrangian and Hamiltonian mechanics, and the Hamilton-Jacobi theory, are founded on geometric structures such as jets, symplectic and contact ones. In this paper, we shall use a partly forgotten framework of second-order (or stochastic) differential geometry, developed originally by L. Schwartz and P.-A. Meyer, to construct second-order counterparts of those classical structures. These will allow us to study symmetries of stochastic differential equations (SDEs), to establish stochastic Lagrangian and Hamiltonian mechanics and their key relations with second-order Hamilton-Jacobi-Bellman (HJB) equations. Indeed, stochastic prolongation formulae will be derived to study symmetries of SDEs and mixed-order Cartan symmetries. Stochastic Hamilton's equations will follow from a second-order symplectic structure and canonical transformations will lead to the HJB equation. A stochastic variational problem on Riemannian manifolds will provide a stochastic Euler-Lagrange equation compatible with HJB one and equivalent to the Riemannian version of stochastic Hamilton's equations. A stochastic Noether's theorem will also follow. The inspirational example, along the paper, will be the rich dynamical structure of Schrödinger's problem in optimal transport, where the latter is also regarded as a Euclidean version of hydrodynamical interpretation of quantum mechanics.
We are describing relations between Schrödinger's variational problem and Onsager's approach to nonequilibrium statistical mechanics. Although the second work on reciprocal relations and detailed balance has been published in the same year (1931) as the first one, the impact of Schrödinger's idea has not yet been considered in the classical context of Onsager.
We give an overview of a program of Stochastic Deformation of Classical Mechanics and the Calculus of Variations, strongly inspired by the quantization method.
We consider a system of stochastic partial differential equations modeling heat conduction in a non-linear medium. We show global existence of solutions for the system in Sobolev spaces of low regularity, including spaces with norm beneath the energy norm. For the special case of thermal equilibrium, we also show the existence of an invariant measure (Gibbs state).
Geometric mechanics is usually studied in applied mathematics and most introductory texts are hence aimed at a mathematically minded audience. The present note tries to provide the intuition of geometric mechanics and to show the relevance of the subject for an understanding of "mechanics".
We show that non-relativistic Quantum Mechanics can be faithfully represented in terms of a classical diffusion process endowed with a gauge symmetry of group Z_4. The representation is based on a quantization condition for the realized action along paths. A lattice regularization is introduced to make rigorous sense of the construction and then removed. Quantum mechanics is recovered in the continuum limit and the full U(1) gauge group symmetry of electro-magnetism appears. Anti-particle representations emerge naturally, albeit the context is non-relativistic. Quantum density matrices are obt…
This note is answering an old questioning about the Fényes-Nelson stochastic mechanics. The Brownian nature of the quantum fluctuations, which are associated to this mechanics, is deduced from Feynman's interpretation of the Heisenberg uncertainty principle via infinitesimal random walks stemming from nonstandard analysis. It is therefore no more necessary to combine those fluctuations with a background field, which has never been well understood. Most of the technical details are contained in an extended english abstract.
We review the concept of a graded bundle, which is a generalisation of a vector bundle, its linearisation, and a double structure of this kind. We then present applications of these structures in geometric mechanics including systems with higher order Lagrangian and the Plateau problem.
Some ideas from quantum theory are just beginning to percolate back to classical probability theory. For example, there is a widely used and successful theory of "chemical reaction networks", which describes the interactions of molecules in a stochastic rather than quantum way. Computer science and population biology use the same ideas under a different name: "stochastic Petri nets". But if we look at these theories from the perspective of quantum theory, they turn out to involve creation and annihilation operators, coherent states and other well-known ideas - but in a context where probabilit…
The class of stochastic maps, that is, linear, trace-preserving, positive maps between the self-adjoint trace class operators of complex separable Hilbert spaces plays an important role in the representation of reversible dynamics and symmetry transformations. Here a characterization of the isometric stochastic maps is given and possible physical applications are indicated.
We discuss the classical mechanics on the Grassmannian and the Disc modeled on the ideal L^(2,\infty)(H). We apply methods of geometric quantization to these systems. Their relation to a flat symplectic space is also discussed.
We present the geometric solutions of the various extremal problems of statistical mechanics and combinatorics. Together with the Wulff construction, which predicts the shape of the crystals, we discuss the construction which exhibits the shape of a typical Young diagram and of a typical skyscraper.
We prove a theorem showing that quantum mechanics is not directly a stochastic process characterizing Brownian motion but rather its square root. This implies that a complex-valued stochastic process is involved. Schrödinger equation is immediately derived without further assumptions using Itō integrals that are properly generalized. Fluctuations in space arise from a Brownian motion and the combined effect of a stochastic process with a symmetric Bernoulli distribution typical of tossing a coin.
Noether's celebrated theorem associating symmetry and conservation laws in classical field theory is adapted to allow for broken symmetry in geometric mechanics and is shown to play a central role in deriving and understanding the generation of fluid circulation via the Kelvin-Noether theorem for ideal fluids with stochastic advection by Lie transport (SALT).
A natural geometric framework is proposed, based on ideas of W. M. Tulczyjew, for constructions of dynamics on general algebroids. One obtains formalisms similar to the Lagrangian and the Hamiltonian ones. In contrast with recently studied concepts of Analytical Mechanics on Lie algebroids, this approach requires much less than the presence of a Lie algebroid structure on a vector bundle, but it still reproduces the main features of the Analytical Mechanics, like the Euler-Lagrange-type equations, the correspondence between the Lagrangian and Hamiltonian functions (Legendre transform) in the h…
In this paper we will present an ongoing project which aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We will argue that this approach provides a geometric semantics for such formalism by means of establishing a (non-commutative) duality between certain algebraic and geometric objects.
This work has the purpose of applying the concept of Geometric Calculus (Clifford Algebras) to the Fibre Bundle description of Quantum Mechanics. Thus, it is intended to generalize that formulation to curved spacetimes [the base space of the fibre bundle in question] in a more natural way.
This paper contains a fully geometric formulation of the General Equation for Non-Equilibrium Reversible-Irreversible Coupling (GENERIC). Although GENERIC, which is the sum of Hamiltonian mechanics and gradient dynamics, is a framework unifying a vast range of models in non-equilibrium thermodynamics, it has unclear geometric structure, due to the diverse geometric origins of Hamiltonian mechanics and gradient dynamics. The difference can be overcome by cotangent lifts of the dynamics, which leads, for instance, to a Hamiltonian form of gradient dynamics. Moreover, the lifted vector fields can…
We show how to find the physical Langevin equation describing the trajectories of particles undergoing collisionless stochastic acceleration. These stochastic differential equations retain not only one-, but two-particle statistics, and inherit the Hamiltonian nature of the underlying microscopic equations. This opens the door to using stochastic variational integrators to perform simulations of stochastic interactions such as Fermi acceleration. We illustrate the theory by applying it to two example problems.
In the scientific literature there are basically two schools of formulating Lagrangian (or Hamiltonian) mechanics in the (Lie) algebroid setting: in terms of prolongations and in terms of Tulczyjew triples. Despite the fact that in both approaches we describe the same phenomena, so far no comparison between prolongations and Tulczyjew triples was made. In this note we aim to fill this gap. More precisely, we will strip the prolongation approach to uncover the Tulczyjew triple reality hidden inside, thus proving that the latter approach is a more basic one.
Quantum mechanics is among the most important and successful mathematical model for describing our physical reality. The traditional formulation of quantum mechanics is linear and algebraic. In contrast classical mechanics is a geometrical and non-linear theory that is defined on a symplectic manifold. However, after invention of general relativity, we are convinced that geometry is physical and effect us in all scale. Hence the geometric formulation of quantum mechanics sought to give a unified picture of physical systems based on its underling geometrical structures, e.g., now, the states ar…
We give a geometric description of variational principles in mechanics, with special attention to constrained systems. For the general case of nonholonomic constraints, a unified variational approach is given, and the equations of motion of both vakonomic and nonholonomic frameworks are obtained. We study specifically the existence of infinitesimal variations in both cases. When the constraints are integrable, both formalisms are compared and it is proved that they coincide. As examples, we give geometric formulations of the equations of motion for the case of optimal control and for vakonomic…
A relativistic Hamiltonian mechanical system is seen as a conservative Dirac constraint system on the cotangent bundle of a pseudo-Riemannian manifold. We provide geometric quantization of this cotangent bundle where the quantum constraint serves as a relativistic quantum equation.
We consider a one-dimensional partial differential equation system modeling heat flow around a ring. The system includes a Klein-Gordon wave equation for a field satisfying spatial periodic boundary conditions, as well as Ornstein-Uhlenbeck stochastic differential equations with finite rank dissipation and stochastic driving terms modeling heat baths. There is an energy flow around the ring. In the case of a linear field with different (fixed) bath temperatures, the energy flow can persist even when the interaction with the baths is turned off. A simple example is given.
We show that non-relativistic and relativistic mechanical systems on a configuration space Q can be seen as the conservative Dirac constraint systems with zero Hamiltonians on different subbundles of the same cotangent bundle T^*Q. The geometric quantization of this cotangent bundle under the vertical polarization leads to compatible covariant quantizations of non-relativistic and relativistic Hamiltonian mechanics.
Considering an extension of the principle of covarience to the action along a path in relativistic Lagrangian mechanics, we motivate the use of geometric -- i.e. covariant and parameter invariant -- Lagrangian functions. We then study some properties of geometric Lagrangians, and introduce the notion of deviation of a path, which is a covariant measure of how much a path departs from a geodesic. Finally, we apply this notion of the twin paradox, and provide a rigorous resolution of it.
The formalism of geometric algebra can be described as deformed super analysis. The deformation is done with a fermionic star product, that arises from deformation quantization of pseudoclassical mechanics. If one then extends the deformation to the bosonic coefficient part of superanalysis one obtains quantum mechanics for systems with spin. This approach clarifies on the one hand the relation between Grassmann and Clifford structures in geometric algebra and on the other hand the relation between classical mechanics and quantum mechanics. Moreover it gives a formalism that allows to handle c…
Geometrization of physical theories have always played an important role in their analysis and development. In this contribution we discuss various aspects concerning the geometrization of physical theories: from classical mechanics to quantum mechanics. We will concentrate our attention into quantum theories and we will show how to use in a systematic way the transition from algebraic to geometrical structures to explore their geometry, mainly its Jordan-Lie structure.
Methods from the geometry of nonholonomic manifolds and Lagrange-Finsler spaces are applied in fractional calculus with Caputo derivatives and for elaborating models of fractional gravity and fractional Lagrange mechanics. The geometric data for such models are encoded into (fractional) bi-Hamiltonian structures and associated solitonic hierarchies. The constructions yield horizontal/vertical pairs of fractional vector sine-Gordon equations and fractional vector mKdV equations when the hierarchies for corresponding curve fractional flows are described in explicit forms by fractional wave maps …
Bistable structures associated with non-linear deformation behavior, exemplified by the Venus flytrap and slap bracelet, can switch between different functional shapes upon actuation. Despite numerous efforts in modeling such large deformation behavior of shells, the roles of mechanical and nonlinear geometric effects on bistability remain elusive. We demonstrate, through both theoretical analysis and table-top experiments, that two dimensionless parameters control bistability. Our work classifies the conditions for bistability, and extends the large deformation theory of plates and shells.
We study a (relativistic) Wiener process on a complexified (pseudo-)Riemannian manifold. Using Nelson's stochastic quantization procedure, we derive three equivalent descriptions for this problem. If the process has a purely real quadratic variation, we obtain the one-sided Wiener process that is encountered in the theory of Brownian motion. In this case, the result coincides with the Feyman-Kac formula. On the other hand, for a purely imaginary quadratic variation, we obtain the two-sided Wiener process that is encountered in stochastic mechanics, which provides a stochastic description of a …
The algebras of non-relativistic and of classical mechanics are unstable algebraic structures. Their deformation towards stable structures leads, respectively, to relativity and to quantum mechanics. Likewise, the combined relativistic quantum mechanics algebra is also unstable. Its stabilization requires the non-commutativity of the space-time coordinates and the existence of a fundamental length constant. The new relativistic quantum mechanics algebra has important consequences on the geometry of space-time, on quantum stochastic calculus and on the construction of quantum fields. Some of th…
We describe the geometric (Berry) phases arising when some quantum systems are driven by control classical parameters but also by outer classical stochastic processes (as for example classical noises). The total geometric phase is then divided into an usual geometric phase associated with the control parameters and a second geometric phase associated with the stochastic processes. The geometric structure in which these geometric phases take place is a composite bundle (and not an usual principal bundle), which is explicitely built in this paper. We explain why the composite bundle structure is…
In this work, the principles of Homological Integration Theory are applied to the mathematical formulation of continuum mechanics. A central guideline in the currently acceptable formulation of continuum mechanics is that an admissible body is represented by a set of finite perimeter. The proposed framework is shown to enable the inclusion of a class of generalized bodies for which a corresponding stress theory is properly formulated and a generalized principle of virtual power is presented.
We provide geometric quantization of the vertical cotangent bundle V^*Q equipped with the canonical Poisson structure. This is a momentum phase space of non-relativistic mechanics with the configuration bundle Q -> R. The goal is the Schrodinger representation of V^*Q. We show that this quantization is equivalent to the fibrewise quantization of symplectic fibres of V^*Q -> R, that makes the quantum algebra of non-relativistic mechanics an instantwise algebra. Quantization of the classical evolution equation defines a connection on this instantwise algebra, which provides quantum evolution in …
The success of Berry phases in quantum mechanics stimulated the study of similar phenomena in other areas of physics, including the theory of living cell locomotion and motion of patterns in nonlinear media. More recently, geometric phases have been applied to systems operating in a strongly stochastic environment, such as molecular motors. We discuss such geometric effects in purely classical dissipative stochastic systems and their role in the theory of the stochastic pump effect (SPE).
We illustrate how the different kinds of constraints acting on an impulsive mechanical system can be clearly described in the geometric setup given by the configuration space--time bundle $π_t:\mathcal{M} \to \mathbb{E}$ and its first jet extension $π: J_1 \to \mathcal{M}$ in a way that ensures total compliance with axioms and invariance requirements of Classical Mechanics. We specify the differences between geometric and constitutive characterizations of a constraint. We point out the relevance of the role played by the concept of frame of reference, underlining when the frame independence is…
Analytical (rational) mechanics is the mathematical structure of Newtonian deterministic dynamics developed by D'Alembert, Langrange, Hamilton, Jacobi, and many other luminaries of applied mathematics. Diffusion as a stochastic process of an overdamped individual particle immersed in a fluid, initiated by Einstein, Smoluchowski, Langevin and Wiener, has no momentum since its path is nowhere differentiable. In this exposition, we illustrate how analytical mechanics arises in stochastic dynamics from a randomly perturbed ordinary differential equation $dX_t=b(X_t)dt+εdW_t$ where $W_t$ is a Brown…
In this paper we study a Hamiltonization procedure for mechanical systems with velocity-depending (nonholonomic) constraints. We first rewrite the nonholonomic equations of motion as Euler-Lagrange equations, with a Lagrangian that follows from rephrasing the issue in terms of the inverse problem of Lagrangian mechanics. Second, the Legendre transformation transforms the Lagrangian in the sought-for Hamiltonian. As an application, we compare some variational integrators for the new Lagrangians with some known nonholonomic integrators.
In the last decade, the development of new ideas in quantum theory, including geometric and deformation quantization, the non-Abelian Berry factor, super- and BRST symmetries, non-commutativity, has called into play the geometric techniques based on the deep interplay between algebra, differential geometry and topology. The present book aims at being a guide to advanced differential geometric and topological methods in quantum mechanics. Their main peculiarity lies in the fact that geometry in quantum theory speaks mainly the algebraic language of rings, modules, sheaves and categories. Geomet…
We consider the geometrization of quantum mechanics. We then focus on the pull-back of the Fubini-Study metric tensor field from the projective Hibert space to the orbits of the local unitary groups. An inner product on these tensor fields allows us to obtain functions which are invariant under the considered local unitary groups. This procedure paves the way to an algorithmic approach to the identification of entanglement monotone candidates. Finally, a link between the Fubini-Study metric and a quantum version of the Fisher information metric is discussed.
The Landau-Lifshitz-Gilbert (LLG) equation describes the dynamics of a damped magnetization vector that can be understood as a generalization of Larmor spin precession. The LLG equation cannot be deduced from the Hamiltonian framework, by introducing a coupling to a usual bath, but requires the introduction of additional constraints. It is shown that these constraints can be formulated elegantly and consistently in the framework of dissipative Nambu mechanics. This has many consequences for both the variational principle and for topological aspects of hidden symmetries that control conserved q…
The effects of a stochastic reset, to its initial configuration, is studied in the exactly solvable one-dimensional coagulation-diffusion process. A finite resetting rate leads to a modified non-equilibrium stationary state. If in addition the input of particles at a fixed given rate is admitted, a competition between the resetting and the input rates leads to a non-trivial behaviour of the particle-density in the stationary state. From the exact inter-particle probability distribution, a simple physical picture emerges: the reset mainly changes the behaviour at larger distance scales, while a…
