737ea3131956e9bd.tex
1: \begin{abstract}
2:   Strongly contracting dynamical systems have numerous properties (e.g.,
3:   incremental ISS), find widespread applications (e.g., in controls and
4:   learning), and their study is receiving increasing attention. This work starts with the 
5:   simple observation that, given a strongly contracting system 
6:   on a normed space, its adjoint dynamical system is also strongly contracting, with the 
7:   same rate, with respect to the dual norm, under time reversal. As main implication of 
8:   this dual contractivity, we show that the classic Method of Successive Approximations 
9:   (MSA), an indirect method in optimal control, is a contraction mapping for short 
10:   optimization intervals or large contraction rates. Consequently, we 
11:   establish new convergence conditions for the MSA algorithm, which further imply 
12:   uniqueness of the optimal control and sufficiency of Pontryagin's minimum principle 
13:   under additional assumptions.
14:   
15: %  Our approach therefore provides a constructive
16: %  approach to the existence and uniqueness of solutions to the Pontryagin's
17: %  minimum principle.
18: \end{abstract}