Pontryagin maximum principle leaves the initial costate unknown. Terminal conditions determine these unknown constants and, when terminal time is free, the time. In a maximization convention with terminal reward and running cost , use . A free terminal coordinate gives ; a fixed terminal coordinate instead allows a constraint multiplier. More generally is normal to the permitted terminal manifold. The free-terminal-time transversality condition is . These conditions convert the adjoint and state equations into a boundary-value problem. Reversing the costate sign gives the equivalent minimization convention.
Maximize . Along the positive- trajectory use Hamiltonian of an optimal-control problem . The terminal costate is , and
Thus . Maximizing over gives as long as . The state equation integrates to , and the adjoint equation gives , validating the maximization. Hence
This is globally optimal, not just an extremal: whenever , . If a competitor reaches and later becomes positive, apply that bound after its last zero; it has even less remaining time to attain a positive terminal height. A negative terminal height cannot improve this positive maximum. Therefore the minimum objective is .
The fixed terminal height makes , so this is a minimum-time problem. An optimal path can be taken entirely in . To justify the positive- calculation despite the absolute value in the dynamics, the time of a spatial path is its length in the metric . Reflection to preserves this time; clipping the reflected height below to leaves the endpoints unchanged and cannot increase time, since it decreases vertical length and increases the speed available. Any excursion below strictly wastes time. Thus an optimum does not meet .
Use . Its maximum is , attained at
The costate equations and free-terminal-time transversality condition give
The last identity holds throughout because the maximized autonomous Hamiltonian is constant. An abnormal extremal would instead have maximized Hamiltonian , forcing both costates to vanish and contradicting their nontriviality. Thus the normal choice is valid. Also , since otherwise cannot reach one; in fact because has its constant sign.
Now express both requested derivatives using the costates:
Consequently the optimal trajectory satisfies
The maximizing controls above and the fixed endpoints determine the relevant extremal; the displayed equation is the requested necessary trajectory equation.

Articles by others on the same topic (0)

There are currently no matching articles.