**14th International Young Researchers Workshop on Geometry, Mechanics and Control**

**Göttingen, December 16 - 18, 2019**

**Mini-courses**

**Daniele Angella**(Firenze): Cohomological and metric aspects in complex non-Kähler geometry

**Gabriella Pinzari**(Napoli): Some application of perturbative theory to the N-body problem

**Dimitra Panagou**(Michigan): Multi-Agent Control for Safety-Critical Systems

**Location:**Sitzungszimmer, Mathematisches Institut, Bunsenstr. 3-5, D-37073 Göttingen

____________________________

**Contributed talks**

**Martin Kohlmann**The Cauchy problem for a weakly dissipative μ-DP equation

V. I. Arnold found out in the 1960s that the motion of inertia rigid objects in Classical Mechanics and the incompressible flow of some ideal fluid can be described by the same mathematical
approach: both can be recast as a geodesic flow on a suitable Lie group. While the configuration space for a rigid three-dimensional body is the Lie group

*SO*(3), fluid flow can be modeled on suitable diffeomorphism groups. In this talk, we explain how the geometric reformulation of a variant of the Degasparis-Procesi equation occurring in shallow water theory can be used to obtain results on well-posedness, conservation laws and blow up.**Alexandre Simoes**Exact discrete nonholonomic mechanics: an open problem

The existence of an exact discrete lagrangian function for nonholonomic systems is still an open problem in the field of geometric integration. In the last few decades, an effort has been made to introduce geometric numerical methods, such as variational integrators, which preserve geometric structure. In the case of variational integrators, we discretize the principal action of the system and then we apply a discrete variational principle to obtain the discrete-time equations of motion, whose solutions are sequences of points which approximate the solution for the continuous-time problem. In this talk we will restrict to nonholonomic mechanics. Although there are plenty of discrete descriptions at our disposable in the existing literature, the problem of finding an exact discrete lagrangian function for onholonomic mechanics or, more generally, the problem of integrating exactly the continuous-time nonholonomic problem was not yet solved. We will show how to produce a family of nonholonomic integrators with the special property that we can distinguish one of them that exactly integrates the continuous-time non-holonomic problem. This discovery could make an advance to the study of error analysis of numerical methods and would have many applications on subjects such as optimal control.

**Antonio Bueno**The structure of complete surfaces in R

^{3}with prescribed mean curvature

Let

*H*be a*C*^{1}function defined in the 2-sphere of the Euclidean space*R*^{3}. An oriented surface*M*is said to have prescribed mean curvature equal to*H*if its mean curvature function at every point is given by the value of the function*H*at the image of the Gauss map at*p*. In this talk we give a structure result concerning the existence and uniqueness of properly embedded surfaces with prescribed mean curvature. This is a joint work with José Antonio Gálvez and Pablo Mira.**Layth L. Alabdulsada**On the Connections of Sub-Finslerian Geometry

A sub-Finslerian manifold is, roughly speaking, a manifold endowed with a Finsler type metric which is defined on a

*k*-dimensional smooth distribution only, not on the whole tangent manifold. Our purpose is to construct a generalized non-linear connection for a sub-Finslerian manifold, called*L*-connection by the Legendre transformation which characterizes normal extremals of a sub-Finsler structure as geodesics of this connection. We also wish to investigate some of its properties like normal, adapted, partial and metrical.**Theocharis Papantonis**Representation up to homotopy of Lie

*n*-algebroids

In this talk, we will discuss about 'representations up to homotopy' which are considered to be the 'correct' notion of representations of higher Lie algebroids. We will construct an important class of representations called 'adjoint representation' and see an interesting connection between this class and higher Poisson and symplectic structures.

**Veronica Arroyo**Control-oriented learning for formation control of Lagrangian systems

Methods such as deep learning and reinforced learning have been successful in modeling and controlling many dynamical systems. For such methods to achieve the desired performance which appears in the real world, but we don't know which dynamics follow, we often require multiple systems runs over a large sum of data that sometimes may not be available in several scenarios. In this poster, we present a method based on quadratic programming to approximate the Lagrangian associated with the distance-based formation problem from limited data from an observation of the trajectory. We further show how to obtain bounds for the approximation errors. This is joint work together with Leonardo J. Colombo

**Ashraf Owis**Feedback optimal control using Hamiltonian dynamics

The aim of this work is to combine multiobjective optimization with the feedback optimal control problem via solving the Hmailton Jacobi Bellman (HJB) PDE. A method used to solve the feedback optimal control problem has been introduced by Park, Guibout and Scheeres, 2006. This method is called the generating function technique which allows to solve the associated Hamilton-Jacobi-Bellman equation directly. Our aim is to intertwine this technique with numerical methods for feedback optimal control problem. In order to overcome the nonlinearity of the most of the physical problems we transform the nonlinear feedback optimal control problem to iterative linear problems by a sequence approximating series method. The solutions derived by the proposed method have the property to be robust to perturbations and errors in the initial conditions: in this way we do not solve a single optimal control problem but rather we find the whole family of optimal control laws. We can apply this technique with both soft and hard constraints according to the physical model of the problem in hand.

**Poster session**

**Manuel Lainz Valcázar**Contact Hamiltonian systems with nonholonomic constraints

We study the dynamics and geometry of contact Hamiltonian systems with nonholonomic constraints. The equations of motion can be obtained from Herglotz's variational principle when we constrain the
variations to lie on a given distribution. We prove that this dynamics can also be understood as a projection of the non-constrained dynamics. Finally, we construct a bracket that provides the dynamics
on the constrained system that generalizes the Jacobi bracket of the contact manifold on the unconstrained case. This new bracket does not fulfill the Jacobi identity.

**Miguel Berbel**A category towards Lagrangian reduction by stages in Field Theory

The symmetry of a Lagrangian mechanical system, given by the action of a Lie group G, may sometimes come from different sources. In this context, it is natural to reduce by stages, that is, reducing
first by a normal subgroup N of G and afterwards by the quotient. In order to perform successive steps of reduction it was introduced [2] the category of Lagrange- Poincaré bundles. The aim of this poster is to explore if there exists a category of bundles playing an analogous role in the Field Theory setting developed in [1,3].

[1] M. Castrillón López, P. L. García Pérez, T.S. Ratiu: Euler-Poincaré Reduction on Principal Bundles. Lett. Math. Phys 58, 167-180, 2001.

[2] H. Cendra, J.E. Marsden, T.S. Ratiu: Lagrangian reduction by stages. Mem. Amer. Math. Soc. 152, no. 722 (2001).

[3] F.Gay-Balmaz, D. Holm, and T. S. Ratiu: Higher order Lagrange-Poincaré and Hamilton-Poincaré reductions J. Braz. Math. Soc. 42(4), (2011), 579–606.

[1] M. Castrillón López, P. L. García Pérez, T.S. Ratiu: Euler-Poincaré Reduction on Principal Bundles. Lett. Math. Phys 58, 167-180, 2001.

[2] H. Cendra, J.E. Marsden, T.S. Ratiu: Lagrangian reduction by stages. Mem. Amer. Math. Soc. 152, no. 722 (2001).

[3] F.Gay-Balmaz, D. Holm, and T. S. Ratiu: Higher order Lagrange-Poincaré and Hamilton-Poincaré reductions J. Braz. Math. Soc. 42(4), (2011), 579–606.

**Omayra Yago Nieto**Path planning and formation control for a team of quadrotors

In this poster, we study how the equations of motions for a quadrotor arise naturally from variational principles on Lie groups for systems with external forces. We extend the analysis to the motion
of four quadrotors in formation, where a constraint is introduced to keep the formation between the quadrotors. We formulate the problem of inexact interpolation for the centroid dynamics of the team, that is, a trajectory planning problem, for the quadrotors moving in the space while they keep the formation and the planned (smooth) trajectory passes close enough to the centroid of the formation. This problem can bee seen as an optimization problem with constraints and moreover, as a constrained higher-order variational problem. We derive necessary conditions for optimal solutions. This is joint work together with Leonardo Colombo.

**Antonio Bueno**Rotational symmetry of hypersurfaces with prescribed linear mean curvature

A hypersurface M immersed in the Euclidean space has prescribed linear mean curvature if its mean curvature function is given as a linear function defined in the n-sphere, depending on its
Gauss map. These hypersurfaces are related with the theory of manifolds with density, since their weighted mean curvature in the sense of Gromov is constant. They also can be characterized as
critical points of a variational problem involving the weighted area and volume functionals. In this work, we give a classification of such hypersurfaces that are rotational. This is a joint work with Irene
Ortiz.

**Irene Ortiz**Cylindrical flat hypersurfaces in

*R*

^{{n+1}}with linear prescribed mean curvature

In this work we study hypersurfaces in

*R*^{{n+1}}with linear prescribed mean curvature which have constant curvature. By classical theorems of Liebmann, Hilbert and Hartman-Nirenberg, any such hypersurface must be flat, hence invariant by an (*n*− 1)-group of translations and described as the riemannian product α ×*R*^{{n+1}}, where α is a plane curve called the base curve. We classify such hypersurfaces by giving explicit parametrizations of the base curve. This is a joint work with Antonio Bueno.**Fahim Kistosil**Rough Paths Perturbation Of The Equation of Semilinear Volterra Equations

In the classical theory of thermodynamics, thermal signals propagate with infinite speed, local actions and cumulative behaviour are neglected; the history, even the very recent history is not taken
into account. A way to introduce a memory is first to introduce a so called memory function. By this memory function β the history will be taken into account by taking a averaging the past with β and leads to a so-called Volterra equation. The theory of rough path introduced by Terry Lyons in his seminal work as an extension of the classical theory of controlled differential equations. In this work we show existence and uniqueness of mild solution for an infinitesimal semilinear Volterra equations driven by a rough path perturbation. The first step we give some maximal regularity results of the Ornstein Uhlenbeck process with memory term driven by a rough path using the Nagy Dilation Theorem.

**Samreen Kahn**Inversion of Covering Maps and its Polar Decomposition

My talk will focus on inverting the covering map from

*SL*(2,R) to*So*+(2,1) and simultaneously provide the polar decomposition for matrices in*So*+(2,1). Extensions to higher dimensions will also be discussed.**Liudmyla Vyhivska**Extremal problem for domains that are non-overlapping with free poles on the circle

Although much research has been devoted to the extremal problems of a geometric function theory associated with estimates of functionals defined on systems of non-overlapping domains, however, in
the general case the problems remain unsolved. The paper describes the problem of finding the maximum of a functional. This problem is to find a maximum of the product of inner radii of mutually
non-overlapping symmetric domains with respect to the points on a unit circle and the inner radius in some positive certain degree of the domain with respect to zero and description of extreme
configurations. The problem was studied using the method of separating transformation. Proving the theorem shows that the maximum is obtained. Let $\mathbb{N}$, $\mathbb{R}$ be the sets of natural and real numbers, respectively, $\mathbb{C}$ be the complex plane, $\overline{\mathbb{C}}=\mathbb{C}\cup\{\infty\}$ be its one-point compactification, and $\mathbb{R^{+}}=(0,\infty)$. Let $r(D,a)$ be an inner radius of the domain $D\subset\overline{\mathbb{C}}$ with respect to the point $a\in D$. An inner radius is a generalization of a conformal radius for multiply connected domains. An inner radius of the domain $D$ is associated with the generalized Green's function $g_{D}(z,a)$ of the domain $D$ by the relation $$g_{D}(z,a)=\ln\frac{1}{|z-a|}+\ln r(D,a)+o(1),\quad z\rightarrow a.$$ Denote by $P_k:=\{w: \arg a_{k}<\arg w<\arg a_{k+1}\}$, $a_{n+1}:=a_{1}$,\break $\alpha_{k}:=\displaystyle\frac{1}{\pi}\arg \displaystyle\frac{a_{k+1}}{a_{k}}$, $\alpha_{n+1}:=\alpha_{1},$ $k=\overline{1,n}$, $\sum\nolimits_{k=1}^{n}\alpha_{k}=2.$ The system of domains $D_k\subset\overline{\mathbb{C}},$ $k=\overline{0,n}$ is called non-overlapping system of domains if $D_{k}\cap D_{m}=\emptyset$, \, $k\neq m$, \, $k,m=\overline{0,n}$. Let $y_0$ is the solution of the equation $\ln{\frac{x^2}{4-x^2}}-\frac{4}{x^2}=0$ for $x\in(0,2].$ {\bf Theorem~1.} {\it Let $n\in \mathbb{N}$, $n\geqslant 2$, $\gamma\in(1,0,38n^2].$ Then for any different points of a unit circle $|a_k|=1$ such that $0<\alpha_{k}.

**Abraham Bobadilla**Rolling and holonomy of pseudo-Riemannian manifolds

In Riemannian geometry, the rolling system is a well-known framework for comparing certain geometric information of two Riemannian manifolds. Typically, one is well understood and something
needs to be said about the other one. In a series of papers, Chitour, Kokkonen, Godoy (2015, 2016, 2017) and others, found a deep link between the holonomy of an appropriate vector bundle connection and the controllability of the rolling system. In this poster, I will present some results that extend this, but for rolling pseudo-Riemannian manifolds, as introduced by Markina and Silva-Leite
(2016). These results are part of my Ph.D. thesis in Mathematics at Universidad de La Frontera (Temuco, Chile).

**Mauricio Godoy Molina**Submersions and curves of constant geodesic curvature

A classic point of view to study sub-Riemannian manifolds is to find a Riemannian metric taming the sub-Riemannian one. Controlling this taming is necessary if one hopes to be able to prove
something. One possibility is to consider sub-Riemannian metrics obtained via Riemannian submersions. The aim of this talk is to present necessary and sufficient conditions for when sub-Riemannian
normal geodesics project to curves of constant first geodesic curvature or constant first and vanishing second geodesic curvature. Additionally, it is possible to describe a canonical extension of the sub-Riemannian metric and study geometric properties of the obtained Riemannian manifold. This is joint work with Erlend Grong (Orsay) and Irina Markina (Bergen).

**Rodrigo T. Sato Martín de Almagro**TBC

abstract

**Bakherad Mojtaba**TBC

abstract

## _________________________

The workshop is supported by:Klaus-Inhülsen Stiftung

Fakultät für Mathematik und Informatik