1: \begin{definition}

2: \label{def:extremal}

3:  A pair $(\wt q(t),\wh u(t))$ satisfying the necessary conditions for optimality provided by Theorem~\ref{thm:pmp_hamiltonian} (i.e., the existence of a covector curve $\wt \Lambda_t$ satisfying \eqref{eqn:pmp_evolution_ham}--\eqref{eqn:max_princip}) is called an \emph{extremal}.  

4: \end{definition}