Abstract:In this work we study the invariant optimal control problem on Lie groupoids. We show that any invariant optimal control problem on a Lie groupoid reduces to its co-adjoint Lie algebroid. In the final section of the paper, we present an illustrative example.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the simplification of the invariant optimal control problem on Lie groupoids. Specifically, the author has studied how to simplify an invariant optimal control problem on a Lie groupoid to its co - adjoint Lie algebroid.
### Core problems of the paper
1. **Simplification of the invariant optimal control problem**:
- The author shows that any invariant optimal control problem on a Lie groupoid can be simplified to its co - adjoint Lie algebroid. This provides a new method for solving control problems on complex Lie groupoids.
2. **Combination of geometry and Hamiltonian systems**:
- The paper explores how to use the methods of geometry and Hamiltonian systems to study these control problems. By introducing an appropriate symplectic form, the author defines the Hamiltonian vector field and the Hamiltonian equations, and proves that the extremal curves of the optimal control problem are the integral curves of these Hamiltonian systems.
3. **Illustration with specific examples**:
- In the last part of the paper, the author illustrates the application of the above - mentioned theory in detail through a specific example. This example involves the optimal control problems on a trivial Lie groupoid and its co - adjoint Lie algebroid, and shows how to simplify the problem to the orbits on the cotangent bundle.
### Key concepts and formulas
- **Lie groupoids and Lie algebroids**:
- A Lie groupoid \( G \Rightarrow M \) is composed of two sets \( G \) and \( M \) and structural maps \( \alpha, \beta, 1, \iota, m \).
- A Lie algebroid \( A \) is a vector bundle \( \tau: A \to M \), with a Lie bracket \( [\cdot,\cdot] \) and an anchor map \( \rho: A \to TM \).
- **Invariant control systems**:
- The form of an invariant control system is:
\[
\frac{dg}{dt}=F(g, u)
\]
- where \( F: G\times\mathbb{R}^m\to T_{\alpha}G \) is a smooth mapping, and \( u(t)=(u_1(t), u_2(t),\ldots, u_n(t)) \) is the control function.
- **Co - adjoint action**:
- The co - adjoint action \( \text{Ad}^* \) is defined as:
\[
\langle \text{Ad}^*_g\xi, X\rangle=\langle\xi, \text{Ad}_{g^{-1}}X\rangle
\]
- where \( g\in G_p \), \( \xi\in(A^*G)_p \), \( X\in(AG)_p \).
### Summary
The main contribution of this paper lies in proposing a method to simplify the invariant optimal control problem on Lie groupoids to their co - adjoint Lie algebroids, and conducting a detailed theoretical analysis through the methods of geometry and Hamiltonian systems. In addition, the paper also verifies the effectiveness of this method through specific examples.