- #1
msparapa
- 4
- 1
Homework Statement
I'm struggling to perform a symplectic reduction and don't really understand the process in general. I have a fairly solid understanding of differential equations but am just starting to explore differential geometry. Hopefully somebody will be able to walk me through this very simple example. Given the following optimization problem:
\begin{equation}\text{min}\;J = \frac{1}{2}\int_0^{t_f} u^2dt\end{equation}
\begin{equation}\dot{x_1} = x_2\end{equation}
\begin{equation}\dot{x_2} = u\end{equation}
Where u is a control variable and we have arbitrary boundary conditions defined. Our control Hamiltonian has 2 states and 2 co-states, thus has dimension 2n.
Homework Equations
\begin{equation}H = <\lambda,f> + L = \lambda_1x_2 + \lambda_2u + \frac{1}{2}u^2\end{equation}
\begin{equation}\frac{\partial H}{\partial u} = 0 = \lambda_2 + u\end{equation}
\begin{equation}\dot{x} = \frac{\partial H}{\partial \lambda}\end{equation}
\begin{equation}\dot{\lambda} = -\frac{\partial H}{\partial x}\end{equation}
Through integration, we know the solution has the following form:
\begin{equation}x_2 = \frac{1}{2}C_1t^2 - C_2t + C_3\end{equation}
\begin{equation}x_1 = \frac{1}{6}C_1t^3 - \frac{1}{2}C_2t^2 + C_3t + C_4\end{equation}
And using given boundary conditions, the problem simplifies to a 4 dimensional search for each of the 4 constants (or 5 depending on if final time is free, but let's ignore that for now).
The Attempt at a Solution
Knowing the following is a constant of motion:
\begin{equation}\int_0^t \dot{\lambda_1} dt = C_1\end{equation}
because
\begin{equation}\dot{\lambda_1} = 0\end{equation}
According to the Marsden-Weinstein reduction theorem, I should be able to reduce the Hamiltonian to dimension 2n-2.
\begin{equation}H = <\lambda,f> + L = C_1x_2 + \lambda_2u + \frac{1}{2}u^2\end{equation}
Yet when I rederive the equations of motion, the constant still reappears.
\begin{equation}u = -\lambda_2\end{equation}
\begin{equation}\dot{x_2} = \lambda_2\end{equation}
\begin{equation}\dot{\lambda_2} = -C_1\end{equation}
According to papers I've read online, I should be able to simplify this optimization problem down in dimensionality, but with the first constant reappearing in the equations of motions, I effectively still have a 4 dimensional search. Keep in mind that I'm assuming I'm using some numerical method to solve this problem, not an analytic procedure. Even though this is an easy problem to solve analytically, I don't care about the solution so much as the method itself. If anybody could help me properly reduce the Hamiltonian, that would be great!