1: \begin{abstract}

2:   This paper shows how commuting left and right actions of Lie groups

3:   on a manifold may be used to complement one another in a variational

4:   reformulation of optimal control problems as geodesic boundary value

5:   problems with symmetry. In such problems, the endpoint boundary

6:   condition is only specified up to the right action of a symmetry

7:   group. In this paper we show how to reformulate the problem by

8:   introducing extra degrees of freedom so that the endpoint condition

9:   specifies a single point on the manifold. We prove an equivalence

10:   theorem to this effect and illustrate it with several examples.  In

11:   finite-dimensions, we discuss geodesic flows on the Lie groups

12:   $SO(3)$ and $SE(3)$ under the left and right actions of their

13:   respective Lie algebras.  In an infinite-dimensional example, we

14:   discuss optimal large-deformation matching of one closed curve to

15:   another embedded in the same plane. In the curve-matching example,

16:   the manifold $\Emb(S^1, \mathbb{R}^2)$ comprises the space of closed

17:   curves $S^1$ embedded in the plane $\mathbb{R}^2$.  The

18:   diffeomorphic left action $\Diff(\mathbb{R}^2)$ deforms the curve by

19:   a smooth invertible time-dependent transformation of the coordinate

20:   system in which it is embedded, while leaving the parameterisation

21:   of the curve invariant. The diffeomorphic right action $\Diff(S^1)$

22:   corresponds to a smooth invertible reparameterisation of the $S^1$

23:   domain coordinates of the curve. As we show, this right action

24:   unlocks an important degree of freedom for geodesically matching the

25:   curve shapes using an equivalent fixed boundary value problem,

26:   without being constrained to match corresponding points along the

27:   template and target curves at the endpoint in time.

28: 

29: \end{abstract}

30: