{"title":"Navier-Stokes and stochastic Navier-Stokes equations via Lagrange multipliers","authors":"Ana Bela Cruzeiro","doi":"10.3934/jgm.2019027","DOIUrl":"https://doi.org/10.3934/jgm.2019027","url":null,"abstract":"","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"39 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73043366","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The aim of this paper is to develop a constraint algorithm for singular classical field theories in the framework of begin{document}$ k $end{document} -cosymplectic geometry. Since these field theories are singular, we need to introduce the notion of begin{document}$ k $end{document} -precosymplectic structure, which is a generalization of the begin{document}$ k $end{document} -cosymplectic structure. Next begin{document}$ k $end{document} -precosymplectic Hamiltonian systems are introduced in order to describe singular field theories, both in Lagrangian and Hamiltonian formalisms. Finally, we develop a constraint algorithm in order to find a submanifold where the existence of solutions of the field equations is ensured. The case of affine Lagrangians is studied as a relevant example.
The aim of this paper is to develop a constraint algorithm for singular classical field theories in the framework of begin{document}$ k $end{document} -cosymplectic geometry. Since these field theories are singular, we need to introduce the notion of begin{document}$ k $end{document} -precosymplectic structure, which is a generalization of the begin{document}$ k $end{document} -cosymplectic structure. Next begin{document}$ k $end{document} -precosymplectic Hamiltonian systems are introduced in order to describe singular field theories, both in Lagrangian and Hamiltonian formalisms. Finally, we develop a constraint algorithm in order to find a submanifold where the existence of solutions of the field equations is ensured. The case of affine Lagrangians is studied as a relevant example.
{"title":"Erratum: Constraint algorithm for singular field theories in the $ k $-cosymplectic framework","authors":"Xavier Gràcia, X. Rivas, N. Rom'an-Roy","doi":"10.3934/JGM.2020002","DOIUrl":"https://doi.org/10.3934/JGM.2020002","url":null,"abstract":"The aim of this paper is to develop a constraint algorithm for singular classical field theories in the framework of begin{document}$ k $end{document} -cosymplectic geometry. Since these field theories are singular, we need to introduce the notion of begin{document}$ k $end{document} -precosymplectic structure, which is a generalization of the begin{document}$ k $end{document} -cosymplectic structure. Next begin{document}$ k $end{document} -precosymplectic Hamiltonian systems are introduced in order to describe singular field theories, both in Lagrangian and Hamiltonian formalisms. Finally, we develop a constraint algorithm in order to find a submanifold where the existence of solutions of the field equations is ensured. The case of affine Lagrangians is studied as a relevant example.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"95 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74937089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We present an account of dual pairs and the Kummer shapes for $n:m$ resonances that provides an alternative to Holm and Vizman's work. The advantages of our point of view are that the associated Poisson structure on $mathfrak{su}(2)^{*}$ is the standard $(+)$-Lie--Poisson bracket independent of the values of $(n,m)$ as well as that the Kummer shape is regularized to become a sphere without any pinches regardless of the values of $(n,m)$. A similar result holds for $n:-m$ resonance with a paraboloid and $mathfrak{su}(1,1)^{*}$. The result also has a straightforward generalization to multidimensional resonances as well.
{"title":"Dual pairs and regularization of Kummer shapes in resonances","authors":"T. Ohsawa","doi":"10.3934/jgm.2019012","DOIUrl":"https://doi.org/10.3934/jgm.2019012","url":null,"abstract":"We present an account of dual pairs and the Kummer shapes for $n:m$ resonances that provides an alternative to Holm and Vizman's work. The advantages of our point of view are that the associated Poisson structure on $mathfrak{su}(2)^{*}$ is the standard $(+)$-Lie--Poisson bracket independent of the values of $(n,m)$ as well as that the Kummer shape is regularized to become a sphere without any pinches regardless of the values of $(n,m)$. A similar result holds for $n:-m$ resonance with a paraboloid and $mathfrak{su}(1,1)^{*}$. The result also has a straightforward generalization to multidimensional resonances as well.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-10-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78735800","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This paper presents the momentum map structures which emerge in the dynamics of mixed states. Both quantum and classical mechanics are shown to possess analogous momentum map pairs associated to left and right group actions. In the quantum setting, the right leg of the pair identifies the Berry curvature, while its left leg is shown to lead to different realizations of the density operator, which are of interest in quantum molecular dynamics. Finally, the paper shows how alternative representations of both the density matrix and the classical density are equivariant momentum maps generating new Clebsch representations for both quantum and classical dynamics. Uhlmann's density matrix [ 58 ] and Koopman wavefunctions [ 41 ] are shown to be special cases of this construction.
{"title":"Momentum maps for mixed states in quantum and classical mechanics","authors":"C. Tronci","doi":"10.3934/jgm.2019032","DOIUrl":"https://doi.org/10.3934/jgm.2019032","url":null,"abstract":"This paper presents the momentum map structures which emerge in the dynamics of mixed states. Both quantum and classical mechanics are shown to possess analogous momentum map pairs associated to left and right group actions. In the quantum setting, the right leg of the pair identifies the Berry curvature, while its left leg is shown to lead to different realizations of the density operator, which are of interest in quantum molecular dynamics. Finally, the paper shows how alternative representations of both the density matrix and the classical density are equivariant momentum maps generating new Clebsch representations for both quantum and classical dynamics. Uhlmann's density matrix [ 58 ] and Koopman wavefunctions [ 41 ] are shown to be special cases of this construction.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"74 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91193786","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions, the matching conditions of the energy shaping method split into two decoupled subsets of equations: the kinetic and potential equations. The unknown of the kinetic equation is a metric on the configuration space of the system, while the unknown of the potential equation are the same metric and a positive-definite function around some critical point of the Hamiltonian function. In this paper, assuming that a solution of the kinetic equation is given, we find conditions (in the begin{document}$ C^{infty} $end{document} category) for the existence of positive-definite solutions of the potential equation and, moreover, we present a procedure to construct, up to quadratures, some of these solutions. In order to illustrate such a procedure, we consider the subclass of systems with one degree of underactuation, where we find in addition a concrete formula for the general solution of the kinetic equation. As a byproduct, new global and local expressions of the matching conditions are presented in the paper.
In the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions, the matching conditions of the energy shaping method split into two decoupled subsets of equations: the kinetic and potential equations. The unknown of the kinetic equation is a metric on the configuration space of the system, while the unknown of the potential equation are the same metric and a positive-definite function around some critical point of the Hamiltonian function. In this paper, assuming that a solution of the kinetic equation is given, we find conditions (in the begin{document}$ C^{infty} $end{document} category) for the existence of positive-definite solutions of the potential equation and, moreover, we present a procedure to construct, up to quadratures, some of these solutions. In order to illustrate such a procedure, we consider the subclass of systems with one degree of underactuation, where we find in addition a concrete formula for the general solution of the kinetic equation. As a byproduct, new global and local expressions of the matching conditions are presented in the paper.
{"title":"Explicit solutions of the kinetic and potential matching conditions of the energy shaping method","authors":"S. Grillo, L. Salomone, M. Zuccalli","doi":"10.3934/jgm.2021022","DOIUrl":"https://doi.org/10.3934/jgm.2021022","url":null,"abstract":"In the context of underactuated Hamiltonian systems defined by simple Hamiltonian functions, the matching conditions of the energy shaping method split into two decoupled subsets of equations: the kinetic and potential equations. The unknown of the kinetic equation is a metric on the configuration space of the system, while the unknown of the potential equation are the same metric and a positive-definite function around some critical point of the Hamiltonian function. In this paper, assuming that a solution of the kinetic equation is given, we find conditions (in the begin{document}$ C^{infty} $end{document} category) for the existence of positive-definite solutions of the potential equation and, moreover, we present a procedure to construct, up to quadratures, some of these solutions. In order to illustrate such a procedure, we consider the subclass of systems with one degree of underactuation, where we find in addition a concrete formula for the general solution of the kinetic equation. As a byproduct, new global and local expressions of the matching conditions are presented in the paper.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"138 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75785501","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The purpose of this paper is to compare a classical non-holonomic system---a sphere rolling against the inner surface of a vertical cylinder under gravity---and a class of discrete dynamical systems known as no-slip billiards in similar configurations. A well-known notable feature of the non-holonomic system is that the rolling sphere does not fall; its height function is bounded and oscillates harmonically up and down. The central issue of the present work is whether similar bounded behavior can be observed in the no-slip billiard counterpart. Our main results are as follows: for circular cylinders in dimension $3$, the no-slip billiard has the bounded orbits property, and very closely approximates rolling motion, for a class of initial conditions which we call transversal rolling impact. When this condition does not hold, trajectories undergo vertical oscillations superimposed to an overall downward acceleration. Considering cylinders with different cross-section shapes, we show that no-slip billiards between two parallel hyperplanes in Euclidean space of arbitrary dimension are always bounded even under a constant force parallel to the plates; for general cylinders, when the orbit of the transverse system (a concept that depends on a factorization of the motion into transversal and longitudinal components) has period two---a very common occurrence in planar no-slip billiards---the motion in the longitudinal direction, under no forces, is generically not bounded. This is shown using a formula for a longitudinal linear drift that we prove in arbitrary dimensions. While the systems for which we can prove the existence of bounded orbits have relatively simple transverse dynamics, we also briefly explore numerically a no-slip billiard system, namely the stadium cylinder billiard, that can exhibit chaotic transversal dynamics.
{"title":"Rolling and no-slip bouncing in cylinders","authors":"T. Chumley, Scott Cook, Christopher Cox, R. Feres","doi":"10.3934/jgm.2020004","DOIUrl":"https://doi.org/10.3934/jgm.2020004","url":null,"abstract":"The purpose of this paper is to compare a classical non-holonomic system---a sphere rolling against the inner surface of a vertical cylinder under gravity---and a class of discrete dynamical systems known as no-slip billiards in similar configurations. A well-known notable feature of the non-holonomic system is that the rolling sphere does not fall; its height function is bounded and oscillates harmonically up and down. The central issue of the present work is whether similar bounded behavior can be observed in the no-slip billiard counterpart. Our main results are as follows: for circular cylinders in dimension $3$, the no-slip billiard has the bounded orbits property, and very closely approximates rolling motion, for a class of initial conditions which we call transversal rolling impact. When this condition does not hold, trajectories undergo vertical oscillations superimposed to an overall downward acceleration. Considering cylinders with different cross-section shapes, we show that no-slip billiards between two parallel hyperplanes in Euclidean space of arbitrary dimension are always bounded even under a constant force parallel to the plates; for general cylinders, when the orbit of the transverse system (a concept that depends on a factorization of the motion into transversal and longitudinal components) has period two---a very common occurrence in planar no-slip billiards---the motion in the longitudinal direction, under no forces, is generically not bounded. This is shown using a formula for a longitudinal linear drift that we prove in arbitrary dimensions. While the systems for which we can prove the existence of bounded orbits have relatively simple transverse dynamics, we also briefly explore numerically a no-slip billiard system, namely the stadium cylinder billiard, that can exhibit chaotic transversal dynamics.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"1 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82314511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We consider the variational formulation for vertical slice models introduced in Cotter and Holm (Proc Roy Soc, 2013). These models have a Kelvin circulation theorem that holds on all materially-transported closed loops, not just those loops on isosurfaces of potential temperature. Potential vorticity conservation can be derived directly from this circulation theorem. In this paper, we show that this property is due to these models having a relabelling symmetry for every single diffeomorphism of the vertical slice that preserves the density, not just those diffeomorphisms that preserve the potential temperature. This is developed using the methodology of Cotter and Holm (Foundations of Computational Mathematics, 2012).
我们考虑Cotter和Holm引入的垂直切片模型的变分公式(Proc Roy Soc, 2013)。这些模型有一个开尔文循环定理,适用于所有物质运输的闭环,而不仅仅是位温等面上的环路。位涡守恒可以直接由这个循环定理推导出来。在本文中,我们证明了这一性质是由于这些模型对于保持密度的垂直切片的每一个微同态都具有重新标记对称性,而不仅仅是那些保持势温的微同态。这是使用Cotter和Holm(计算数学基础,2012)的方法开发的。
{"title":"Particle relabelling symmetries and Noether's theorem for vertical slice models","authors":"C. Cotter, M. Cullen","doi":"10.3934/JGM.2019007","DOIUrl":"https://doi.org/10.3934/JGM.2019007","url":null,"abstract":"We consider the variational formulation for vertical slice models introduced in Cotter and Holm (Proc Roy Soc, 2013). These models have a Kelvin circulation theorem that holds on all materially-transported closed loops, not just those loops on isosurfaces of potential temperature. Potential vorticity conservation can be derived directly from this circulation theorem. In this paper, we show that this property is due to these models having a relabelling symmetry for every single diffeomorphism of the vertical slice that preserves the density, not just those diffeomorphisms that preserve the potential temperature. This is developed using the methodology of Cotter and Holm (Foundations of Computational Mathematics, 2012).","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"50 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-08-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90752093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
We introduce an algorithm to find possible constants of motion for a given replicator equation. The algorithm is inspired by Dirac geometry and a Hamiltonian description for the replicator equations with such constants of motion, up to a time re-parametrization, is provided using Dirac$backslash$big-isotropic structures. Using the equivalence between replicator and Lotka-Volterra (LV) equations, the set of conservative LV equations is enlarged. Our approach generalizes the well-known use of gauge transformations to skew-symmetrize the interaction matrix of a LV system. In the case of predator-prey model, our method does allow interaction between different predators and between different preys.
{"title":"Conservative replicator and Lotka-Volterra equations in the context of Diracbig-isotropic structures","authors":"Hassan Najafi Alishah","doi":"10.3934/jgm.2020008","DOIUrl":"https://doi.org/10.3934/jgm.2020008","url":null,"abstract":"We introduce an algorithm to find possible constants of motion for a given replicator equation. The algorithm is inspired by Dirac geometry and a Hamiltonian description for the replicator equations with such constants of motion, up to a time re-parametrization, is provided using Dirac$backslash$big-isotropic structures. Using the equivalence between replicator and Lotka-Volterra (LV) equations, the set of conservative LV equations is enlarged. Our approach generalizes the well-known use of gauge transformations to skew-symmetrize the interaction matrix of a LV system. In the case of predator-prey model, our method does allow interaction between different predators and between different preys.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"431 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76492624","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A complete geometric classification of symmetries of autonomous Hamiltonian mechanical systems is established; explaining how to obtain their associated conserved quantities in all cases. In particular, first we review well-known results and properties about the symmetries of the Hamiltonian and of the symplectic form and then some new kinds of non-symplectic symmetries and their conserved quantities are introduced and studied.
{"title":"A summary on symmetries and conserved quantities of autonomous Hamiltonian systems","authors":"N. Rom'an-Roy","doi":"10.3934/JGM.2020009","DOIUrl":"https://doi.org/10.3934/JGM.2020009","url":null,"abstract":"A complete geometric classification of symmetries of autonomous Hamiltonian mechanical systems is established; explaining how to obtain their associated conserved quantities in all cases. In particular, first we review well-known results and properties about the symmetries of the Hamiltonian and of the symplectic form and then some new kinds of non-symplectic symmetries and their conserved quantities are introduced and studied.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"11 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90777614","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The Piola identity $operatorname{div} operatorname{cof} nabla f=0$ is a central result in the mathematical theory of elasticity. We prove a generalized version of the Piola identity for mappings between Riemannian manifolds, using two approaches, based on different interpretations of the cofactor of a linear map: one follows the lines of the classical Euclidean derivation and the other is based on a variational interpretation via Null-Lagrangians. In both cases, we first review the Euclidean case before proceeding to the general Riemannian setting.
{"title":"A geometric perspective on the Piola identity in Riemannian settings","authors":"R. Kupferman, A. Shachar","doi":"10.3934/JGM.2019004","DOIUrl":"https://doi.org/10.3934/JGM.2019004","url":null,"abstract":"The Piola identity $operatorname{div} operatorname{cof} nabla f=0$ is a central result in the mathematical theory of elasticity. We prove a generalized version of the Piola identity for mappings between Riemannian manifolds, using two approaches, based on different interpretations of the cofactor of a linear map: one follows the lines of the classical Euclidean derivation and the other is based on a variational interpretation via Null-Lagrangians. In both cases, we first review the Euclidean case before proceeding to the general Riemannian setting.","PeriodicalId":49161,"journal":{"name":"Journal of Geometric Mechanics","volume":"2 1","pages":""},"PeriodicalIF":0.8,"publicationDate":"2018-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88879362","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}