Search papers, labs, and topics across Lattice.
This paper investigates the local branches of finite-horizon discrete-time Pontryagin boundary value systems by eliminating smooth controls and establishing a two-point endpoint inverse for the linearization. The authors demonstrate the existence of this inverse through scaled stable-unstable boundary transversality, leading to a robust endpoint-corrected Green estimate that ensures existence, uniqueness, and Lipschitz dependence of solutions, independent of the horizon. Their findings extend to smooth nonlinear endpoint maps and encompass a wide range of systems, including stabilizable linear-quadratic systems with complex dynamics.
Endpoint corrections can ensure unique solutions in Pontryagin systems, even with complex dynamics and varying horizons.
We study horizon-uniform local branches of finite-horizon discrete-time Pontryagin boundary value systems after smooth control elimination. The central input is a two-point endpoint inverse for the linearization. We verify this inverse from scaled stable--unstable boundary transversality, prove the associated endpoint-corrected Green estimate, and combine it with weighted contractions to obtain existence, uniqueness, Lipschitz dependence, and first-order expansions with constants independent of the horizon. The framework covers smooth nonlinear endpoint maps, including the original Pontryagin rows that fix the initial state and couple the terminal costate to the terminal state. Symplectic and Riccati criteria verify the inverse hypothesis at the level of the matrix data; in particular, every stabilizable linear-quadratic system with invertible dynamics and definite weights is covered, including noncommuting coupled data. A numerical section illustrates the certificates and the horizon-uniform first-order expansion.
