Abstract:Lagrangian multiforms provide a variational framework to describe integrable hierarchies. The case of Lagrangian 1-forms covers finite-dimensional integrable systems. We use the theory of Lie dialgebras introduced by Semenov-Tian-Shansky to construct a Lagrangian 1-form. Given a Lie dialgebra associated with a Lie algebra and a collection , , of invariant functions on , we give a formula for a Lagrangian multiform describing the commuting flows for on a coadjoint orbit in . We show that the Euler–Lagrange equations for our multiform produce the set of compatible equations in Lax form associated with the underlying r -matrix of the Lie dialgebra. We establish a structural result which relates the closure relation for our multiform to the Poisson involutivity of the Hamiltonians and the so-called double zero on the Euler–Lagrange equations. The construction is extended to a general coadjoint orbit by using reduction from the free motion of the cotangent bundle of a Lie group. We illustrate the dialgebra construction of a Lagrangian multiform with the open Toda chain and the rational Gaudin model. The open Toda chain is built using two different Lie dialgebra structures on . The first one possesses a non-skew-symmetric r -matrix and falls within the Adler–Kostant–Symes scheme. The second one possesses a skew-symmetric r -matrix. In both cases, the connection with the well-known descriptions of the chain in Flaschka and canonical coordinates is provided.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to construct Lagrangian multiforms of finite - dimensional integrable systems. Specifically, the authors use the theory of Lie dialgebras to construct a Lagrangian 1 - form that describes the hierarchy of integrable systems on co - adjoint orbits. This method can generate a set of compatible Lax equations, thus providing a new variational framework to describe the dynamic behaviors of these systems. In addition, the paper also explores the relationship between the closure relations of Lagrangian multiforms and the Poisson involution of Hamiltonians, and generalizes the results to general co - adjoint orbits by the reduction method. Finally, the paper shows how to apply this theoretical framework through specific examples of the open Toda chain and the rational Gaudin model.
### Main problems
1. **Construction of Lagrangian multiforms**: How to use the theory of Lie dialgebras to construct a Lagrangian 1 - form that describes a finite - dimensional integrable system?
2. **Generation of compatible Lax equations**: How to prove that the Euler - Lagrange equations derived from the constructed Lagrangian multiforms can generate a set of compatible Lax equations?
3. **Closure relations and Poisson involution**: How to establish the relationship between the closure relations of Lagrangian multiforms and the Poisson involution of Hamiltonians?
4. **Application of the reduction method**: How to generalize the results to general co - adjoint orbits by the reduction method?
5. **Verification of specific models**: How to verify the effectiveness of this theoretical framework through specific models (such as the open Toda chain and the rational Gaudin model)?
### Solutions
1. **Construction of Lagrangian 1 - form**:
- Using the theory of Lie dialgebras, given a Lie algebra \( \mathfrak{g} \) and a set of invariant functions \( H_k \) (\( k = 1,\ldots,N \)), construct a Lagrangian 1 - form.
- The form of the Lagrangian 1 - form is:
\[
L[\phi]=\sum_{k = 1}^N L_k \, dt_k=K[\phi]-H[\phi]
\]
where the kinetic energy part \( K[\phi] \) and the potential energy part \( H[\phi] \) are respectively:
\[
K[\phi]=\sum_{k = 1}^N\left( L,\partial_{t_k}\phi\cdot R\phi^{-1}\right)dt_k,\quad L = \text{Ad}^*_{\phi}\cdot\Lambda,\quad\phi\in G_R
\]
\[
H[\phi]=\sum_{k = 1}^N H_k(L)\, dt_k
\]
2. **Generation of compatible Lax equations**:
- Prove that the Lagrangian 1 - form satisfies the corner equations of the multi - time Euler - Lagrange equations.
- The standard Euler - Lagrange equations can be written in the form of compatible Lax equations:
\[
\partial_{t_k}L=[R\pm\nabla H_k(L),L],\quad k = 1,\ldots,N
\]
3. **Closure relations and Poisson involution**:
- Establish the relationship between the closure relations of Lagrangian multiforms and the Poisson involution of Hamiltonians:
\[
\partial_{t_k}L_j-\partial_{t_j}L_k = 0,\quad j,k = 1,\ldots,N
\]
4. **Application of the reduction method**:
- Through the reduction method, generalize the results to general co - adjoint orbits. Specifically, starting from the "free" Lagrangian on the cotangent bundle \( T^*A \) of free motion, obtain the Lagrangian multiforms on general co - adjoint orbits by reduction.
5. **Verification of specific models**