The Hamiltonian of optimal control theory was developed by L. S. Pontryagin as part of his minimum principle. It was inspired by, but is distinct from, the Hamiltonian of classical mechanics. Pontryagin proved that a necessary condition for solving the optimal control problem is that the control should be chosen so as to minimize the Hamiltonian. For details see Pontryagin's minimum principle.
Contents |
Definition of the Hamiltonian
where λ(t) is a vector of costate variables of the same dimension as the state variables x(t).
Notation and Problem statement
A control u(t) is to be chosen so as to minimize the objective function:
The system state x(t) evolves according to the state equations
the control must satisfy the constraints
The Hamiltonian in discrete time
When the problem is formulated in discrete time, the Hamiltonian is defined as:
and the costate equations are
(Note that the discrete time Hamiltonian at time t involves the costate variable at time t + 1.[1] This small detail is essential so that when we differentiate with respect to x we get a term involving λ(t + 1) on the right hand side of the costate equations. Using a wrong convention here can lead to incorrect results, i.e. a costate equation which is not a backwards difference equation).
The Hamiltonian of control compared to the Hamiltonian of mechanics
William Rowan Hamilton defined the Hamiltonian as a function of three variables:
where
is defined implicitly by
Hamilton then formulated his equations as
In contrast the Hamiltonian of control theory (as defined by Pontryagin) is a function of 4 variables
and the associated conditions for a maximum are
This difference is somewhat confusing, nevertheless a specific problem, such as the Brachystochrone problem, can be solved by either method. For details, see the article by Sussmann and Willems [2].
References
P. Varaiya: Lecture Notes on Optimization, 2d. ed. (1998) [1]
- ^ Varaiya, Chapter 6
- ^ Sussmann, Willems: 300 Year of Optimal Control, IEEE Control Systems, June 1997
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)



![\dot{x}=f(x,u,t) \qquad x(0)=x_0 \quad t \in [0,T]](http://wpcontent.answers.com/math/d/a/9/da94a0c2c4d41239da1a75f860378e99.png)
![a \le u(t) \le b \quad t \in [0,T]](http://wpcontent.answers.com/math/e/f/f/effbb88d89d5bd9964309d744a3faf54.png)













