Dual companions and improved regularity of Lagrange multipliers in optimal control
Abstract
We investigate optimal control problems whose state equation takes the form πxββ¬u=b, where π:π³βπ«' is an isomorphism from a Banach state space π³ onto the dual of a reflexive Banach space π«. The adjoint equation involves the Banach space adjoint π':π«βπ³', so that, in general, state and multiplier are of different regularity. For particular classes of partial differential equations, the typically weaker regularity of the multiplier is improved a posteriori by bootstrapping. In this work, we provide an abstract foundation for this methodology on the operator level. More precisely, we show that whenever the state cost extends to a differentiable function on a Hilbert space β in which π³ is densely embedded, as for L2-tracking costs on Sobolev-type state spaces, the multiplier automatically lies in a subspace of π«, the dual companion, on which π' restricts to an isomorphism onto β'. This yields an optimality system with balanced regularity, where state and multiplier solve equations of the same type. In applications, the dual companion can be identified by integration by parts in time or space. We illustrate the framework by linear elliptic and parabolic equations, Cauchy problems governed by general C0-semigroups, and a wave equation with accumulated-state observation.
Related
- Degeneracies of Lagrange functions and geometric interpretations of Lagrange multipliers
- On the Choice of Continuous and Discontinuous Lagrange Multipliers in Fictitious-Domain Methods
- On error bounds and noncritical Lagrange multipliers
- Regularity theory for non-local almost minimal surfaces via Euler-Lagrange inequalities at small scales
- A Lagrange-Newton method for solving optimal control problems on manifolds
BibTeX
@misc{preuster2026dual,
title = {{Dual companions and improved regularity of Lagrange multipliers in optimal control}},
author = {Till Preuster and Manuel Schaller},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.32520},
eprint = {2610.32520},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.32520},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Dual companions and improved regularity of Lagrange multipliers in optimal control
AU - Till Preuster
AU - Manuel Schaller
PY - 2026
DA - 2026/10/23
PB - arXiv
DO - 10.48550/arxiv.2610.32520
UR - https://arxiv.org/abs/2610.32520
AB - We investigate optimal control problems whose state equation takes the form πxββ¬u=b, where π:π³βπ«' is an isomorphism from a Banach state space π³ onto the dual of a reflexive Banach space π«. The adjoint equation involves the Banach space adjoint π':π«βπ³', so that, in general, state and multiplier are of different regularity. For particular classes of partial differential equations, the typically weaker regularity of the multiplier is improved a posteriori by bootstrapping. In this work, we provide an abstract foundation for this methodology on the operator level. More precisely, we show that whenever the state cost extends to a differentiable function on a Hilbert space β in which π³ is densely embedded, as for L^2-tracking costs on Sobolev-type state spaces, the multiplier automatically lies in a subspace of π«, the dual companion, on which π' restricts to an isomorphism onto β'. This yields an optimality system with balanced regularity, where state and multiplier solve equations of the same type. In applications, the dual companion can be identified by integration by parts in time or space. We illustrate the framework by linear elliptic and parabolic equations, Cauchy problems governed by general C_0-semigroups, and a wave equation with accumulated-state observation.
ER -