Abstract:The paper suggests a Hamiltonian formulation for delay ordinary differential equations (DODEs). Such equations are related to DODEs with a Lagrangian formulation via a delay analog of the Legendre transformation. The Hamiltonian delay operator identity is established. It states the relationship for the invariance of a delay Hamiltonian functional, appropriate delay variational equations, and their conserved quantities. The identity is used to formulate a Noether-type theorem, which provides first integrals for Hamiltonian DODEs with symmetries. The relationship between the invariance of the delay Hamiltonian functional and the invariance of the delay variational equations is also examined. Several examples illustrate the theoretical results.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to establish the Hamiltonian form for delay ordinary differential equations (DODEs) and explore the transformation from the Lagrangian method to the Hamiltonian method. Specifically, by introducing the delayed version of the Legendre transformation, the paper establishes the delayed Hamiltonian operator identity, which describes the relationship among the invariance of the delayed Hamiltonian functional, the corresponding delayed variational equations and their conserved quantities. In addition, the paper also uses this identity to propose an analogy of the Noether - type theorem, providing the first integral of Hamiltonian DODEs with symmetry. The paper also explores the relationship between the invariance of the delayed Hamiltonian functional and the invariance of the delayed variational equations and illustrates these theoretical results through several examples.
### Core problems of the paper
1. **Establishing the Hamiltonian form**:
- Establish the Hamiltonian form for delay ordinary differential equations (DODEs).
- Explore the transformation from the Lagrangian method to the Hamiltonian method.
2. **Delayed Legendre transformation**:
- Introduce the delayed version of the Legendre transformation to connect the Lagrangian and Hamiltonian descriptions.
3. **Hamiltonian operator identity**:
- Establish the delayed Hamiltonian operator identity to describe the relationship among the invariance of the delayed Hamiltonian functional, the corresponding delayed variational equations and their conserved quantities.
4. **Analogy of Noether's theorem**:
- Use the delayed Hamiltonian operator identity to propose an analogy of Noether's theorem, providing the first integral of Hamiltonian DODEs with symmetry.
5. **Invariance relationship**:
- Explore the relationship between the invariance of the delayed Hamiltonian functional and the invariance of the delayed variational equations.
### Formula summary
- **Delayed Legendre transformation**:
\[
H(t, t^{-}, q, q^{-}, p, p^{-}) = p^{-}(\alpha_1 \dot{q} + \alpha_2 \dot{q}^{-}) + p(\alpha_3 \dot{q} + \alpha_4 \dot{q}^{-}) - L(t, t^{-}, q, q^{-}, \dot{q}, \dot{q}^{-})
\]
- **Hamiltonian operator identity**:
\[
\Omega \equiv \xi \frac{\delta \tilde{H}}{\delta t} + \eta \frac{\delta \tilde{H}}{\delta q} + \nu \frac{\delta \tilde{H}}{\delta p} + D(C) + (1 - S^{+})P
\]
where:
\[
C = \eta (\alpha_4 p^{+} + (\alpha_2 + \alpha_3) p + \alpha_1 p^{-}) - \xi (\alpha_2 (p \dot{q} - p^{-} \dot{q}^{-}) + \alpha_4 (p^{+} \dot{q} - p \dot{q}^{-}) + H)
\]
\[
P = (\alpha_2 p^{-} + \alpha_4 p) D(\eta^{-}) + \nu^{-} (\alpha_1 \dot{q} + \alpha_2 \dot{q}^{-}) - (\alpha_2 p^{-} + \alpha_4 p) \dot{q} - D(\xi^{-}) - \xi^{-} \frac{\partial H}{\partial t^{-}} - \eta^{-} \frac{\partial H}{\partial q^{-}} - \nu^{-} \frac{\partial H}{\partial p^{-}}