The maximum principle that we are about to state provides necessary conditions for a trajectory of the hybrid control system corresponding to a control , a time sequence , and a switching sequence to be locally optimal over trajectories with the same switching sequence and such that is close to on each subinterval . Most of the statements of this hybrid maximum principle are more or less familiar to us from Chapter 4. We proceed with the understanding that suitable technical assumptions are in place so that all derivatives, tangent spaces, and other objects appearing below are well defined.
Define the family of Hamiltonians
The abnormal multiplier must satisfy as usual. The costate is allowed to be discontinuous at the switching times of , while between these times it must satisfy the adjoint equation
The transversality condition says that the vector must be orthogonal to the tangent space to the endpoint constraint set at , which we write as
The transversality condition (7.36) is completely analogous to the transversality condition (4.46) for the case of initial sets discussed at the end of Section 4.3.1. As for the switching conditions (7.37), the intuition behind them is similar and can be understood as follows. Consider the continuous portions of which correspond to the subintervals , . Reparameterize the time individually for each of them so that their domains are all mapped onto the same interval, say, . This allows us to ``stack" them all together, i.e., treat them as if they evolve simultaneously. Then, the transversality condition (7.36) and the switching conditions (7.37) become one aggregate transversality condition induced by the endpoint constraint and the switching surfaces. The appearance of the gradient of the switching cost in this transversality condition is also not surprising because the switching cost becomes a combination of terminal and initial cost (see Section 4.3.1 for a discussion of transversality conditions for problems with terminal cost).