{"id":"arxiv/2604.05811","url":"https://arxiv.org/abs/2604.05811","tags":["math.OC","eess.SY"],"score":0,"title":"A Posteriori Second-Order Guarantees for Bolza Problems via Collocation","domain":"math.OC","source":"arxiv","authors":["Dongzhe Zheng","Wenjie Mei"],"reviews":0,"subject":"math.OC","summary":"Direct collocation for Bolza optimal control yields discrete Karush-Kuhn-Tucker (KKT) points, while practical solvers expose only discrete quantities such as primal-dual iterates, reduced Hessians, and Jacobians. This creates a gap between continuous second-order optimality theory and what can be certified from solver output. We develop an a posteriori certification framework that bridges this gap. Starting from a discrete KKT solution, we reconstruct piecewise polynomial state, control, and costate trajectories, evaluate residuals of the dynamics, boundary, and stationarity conditions, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-07","reactions":{}}