# Integrable Hamiltonian Systems on Complex Lie Groups

Paperback
This paper is a study of the elastic problems on simply connected manifolds $M_n$ whose orthonormal frame bundle is a Lie group $G$. Such manifolds, called the space forms in the literature on differential geometry, are classified and consist of the Euclidean spaces $\mathbb{E}^n$, the hyperboloids $\mathbb{H}^n$, and the spheres $S^n$, with the corresponding orthonormal frame bundles equal to the Euclidean group of motions $\mathbb{E}^n\rtimes SO_n(\mathbb{R})$, the rotation group $SO_{n+1}(\mathbb{R})$, and the Lorentz group $SO(1,n)$. The manifolds $M_n$ are treated as the symmetric spaces $G/K$ with $K$ isomorphic with $SO_n(R)$. Then the Lie algebra $\mathfrak{g}$ of $G$ admits a Cartan decomposition $\mathfrak{g}=\mathfrak{p}+\mathfrak{k}$ with $\mathfrak{k}$ equal to the Lie algebra of $K$ and $\mathfrak{p}$ equal to the orthogonal comlement $\mathfrak{k}$ relative to the trace form.The elastic problems on $G/K$ concern the solutions $g(t)$ of a left invariant differential systems on $G$ $\textfrac{dg}{dt}(t)=g(t)(A_0+U(t)))$ that minimize the expression $\textfrac{1}{2}\int_0^T (U(t),U(t))\,dt$ subject to the given boundary conditions $g(0)=g_0$, $g(T)=g_1$, over all locally bounded and measurable $\mathfrak{k}$ valued curves $U(t)$ relative to a positive definite quadratic form $(\,, \,)$ where $A_0$ is a fixed matrix in $\mathfrak{p}$. These variational problems fall in two classes, the Euler-Griffiths problems and the problems of Kirchhoff. The Euler-Griffiths elastic problems consist of minimizing the integral $\textfrac{1}{2}\int_0^T\kappa^2(s)\,ds$ with $\kappa (t)$ equal to the geodesic curvature of a curve $x(t)$ in the base manifold $M_n$ with $T$ equal to the Riemannian length of $x$.The curves $x(t)$ in this variational problem are subject to certain initial and terminal boundary conditions. The elastic problems of Kirchhoff is more general than the problems of Euler-Griffiths in the sense that the quadratic form $(\,, \,)$ that defines the functional to be minimized may be independent of the geometric invariants of the projected curves in the base manifold. It is only on two dimensional manifolds that these two problems coincide in which case the solutions curves can be viewed as the non-Euclidean versions of L. Euler elasticae introduced in 174. Each elastic problem defines the appropriate left-invariant Hamiltonian $\mathcal{H}$ on the dual $\mathfrak{g}^*$ of the Lie algebra of $G$ through the Maximum Principle of optimal control. The integral curves of the corresponding Hamiltonian vector field $\vec{\mathcal{H}}$ are called the extremal curves.The paper is essentially concerned with the extremal curves of the Hamiltonian systems associated with the elastic problems. This class of Hamiltonian systems reveals a remarkable fact that the Hamiltonian systems traditionally associated with the movements of the top are invariant subsystems of the Hamiltonian systems associated with the elastic problems. The paper is divided into two parts. The first part of the paper synthesizes ideas from optimal control theory, adapted to variational problems on the principal bundles of Riemannian spaces, and the symplectic geometry of the Lie algebra $\mathfrak{g},$ of $G$, or more precisely, the symplectic structure of the cotangent bundle $T^*G$ of $G$.