相关论文: Lie group foliations: Dynamical systems and integr…
We construct symplectic integrators for Lie-Poisson systems. The integrators are standard symplectic (partitioned) Runge--Kutta methods. Their phase space is a symplectic vector space with a Hamiltonian action with momentum map $J$ whose…
Lie-integration is one of the most efficient algorithms for numerical integration of ordinary differential equations if high precision is needed for longer terms. The method is based on the computation of the Taylor-coefficients of the…
We study tensors on Lie groupoids suitably compatible with the groupoid structure, called {\em multiplicative}. Our main result gives a complete description of these objects only in terms of infinitesimal data. Special cases include the…
In this paper we use retraction and discretization maps (see [Barbero Li\~n\'an and Mart\'in de Diego, 2022]) as a tool for deriving in a systematic way numerical integrators preserving geometric structures (such as symplecticity or…
In the context of the Floquet theory, using a variation of parameter argument, we show that the logarithm of the monodromy of a real periodic Lie system with appropriate properties admits a splitting into two parts, called dynamic and…
This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…
In the last two decades, significant effort has been put in understanding and designing so-called structure-preserving numerical methods for the simulation of mechanical systems. Geometric integrators attempt to preserve the geometry…
Starting with some motivating examples (classical atlases for a manifold, space of leaves of a foliation, group orbits), we propose to view a Lie groupoid as a generalized atlas for the "virtual structure" of its orbit space, the…
We present a slight generalization of the notion of completely integrable systems to get them being integrable by quadratures. We use this generalization to integrate dynamical systems on double Lie groups.
In this paper we study differential forms and vector fields on the orbit space of a proper action of a Lie group on a smooth manifold, defining them as multilinear maps on the generators of infinitesimal diffeomorphisms, respectively. This…
The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector…
We study local normal forms for completely integrable systems on Poisson manifolds in the presence of additional symmetries. The symmetries that we consider are encoded in actions of compact Lie groups. The existence of Weinstein's…
We endow the group of invertible Fourier integral operators on an open}manifold with the structure of an ILH Lie group. This is done by establishing such structures for the groups of invertible pseudodifferential operators and contact…
We introduce a class of objects which we call 'affine surfaces'. These provide families of foliations on surfaces whose dynamics we are interested in. We present and analyze a couple of examples, and we define concepts related to these in…
Motivated by questions of deformations/moduli in foliation theory, we investigate the structure of some groups of diffeomorphisms preserving a foliation. We give an example of a $C^\infty$ foliation whose diffeomorphism group is not a Lie…
A foliation on a manifold M can be informally thought of as a partition of M into injectively immersed submanifolds, called leaves. In this thesis we study foliations whose leaves carry some specific geometric structures. The thesis…
In this work we deal with coverings and actions of Lie group- groupoids being a sort of the structured Lie groupoids. Firstly, we define an action of a Lie group-groupoid on some Lie group and the smooth coverings of Lie group-groupoids.…
We study groups of formal or germs of analytic diffeomorphisms in several complex variables. Such groups are related to the study of the transverse structure and dynamics of Holomorphic foliations, via the notion of holonomy group of a leaf…
In this paper, we discuss the geometric integration of hamiltonian systems on Poisson manifolds, in particular, in the case, when the Poisson structure is induced by a Lie algebra, that is, it is a Lie-Poisson structure. A Hamiltonian…
The geometric theory of Lie systems will be used to establish integrability conditions for several systems of differential equations, in particular Riccati equations and Ermakov systems. Many different integrability criteria in the…