Abstract:This paper shows how left and right actions of Lie groups on a manifold may be used to complement one another in a variational reformulation of optimal control problems equivalently as geodesic boundary value problems with symmetry. We prove an equivalence theorem to this effect and illustrate it with several examples. In finite-dimensions, we discuss geodesic flows on the Lie groups SO(3) and SE(3) under the left and right actions of their respective Lie algebras. In an infinite-dimensional example, we discuss optimal large-deformation matching of one closed curve to another embedded in the same plane. In the curve-matching example, the manifold $\Emb(S^1, \mathbb{R}^2)$ comprises the space of closed curves $S^1$ embedded in the plane $\mathbb{R}^2$. The diffeomorphic left action $\Diff(\mathbb{R}^2)$ deforms the curve by a smooth invertible time-dependent transformation of the coordinate system in which it is embedded, while leaving the parameterisation of the curve invariant. The diffeomorphic right action $\Diff(S^1)$ corresponds to a smooth invertible reparameterisation of the $S^1$ domain coordinates of the curve. As we show, this right action unlocks an important degree of freedom for geodesically matching the curve shapes using an equivalent fixed boundary value problem, without being constrained to match corresponding points along the template and target curves at the endpoint in time.

Differential Equations and Exact Solutions in the Moving Sofa Problem

Solving Moving Sofa Problem Using Calculus of Variations

Improved upper bounds in the moving sofa problem

A Conditional Upper Bound for the Moving Sofa Problem

The Minkowski Problem in the Sphere

Symmetry of Solutions to a Class of Geometric Equations for Hypersurfaces in Rn+1

On the Planar Dual Minkowski Problem

Exponential mapping in Euler's elastic problem

Solving Partial Differential Equations Numerically on Manifolds with Arbitrary Spatial Topologies

A Moving Mesh Finite Element Algorithm for Singular Problems in Two and Three Space Dimensions

Triangles with one fixed side‚Äďlength, a Furstenberg-type problem, and incidences in finite vector spaces

Riemann-Hilbert problems, Toeplitz operators and ergosurfaces

Solutions to the minimal surface system with large singular sets

Geodesic boundary value problems with symmetry

A miscellanea of qualitative and symmetry properties of the solutions to the two-phase Serrin's problem

A Geometric Method for Determining Intersection Relations Between a Movable Convex Object and a Set of Planar Polygons.

Existence of Solutions for a Class of One-Dimensional Models of Pedestrian Evacuations

Moving plane method for varifolds and applications

Pseudo-holomorphic dynamics in the three-body problem: fillability and convexity

The Method of Moving Spheres on the Hyperbolic Space and the Classification of Solutions and the prescribed Q-curvature problem