Observability as a constraint qualification for a nonsmooth bilevel PDE-constrained problem
Motivated by experiment design for parameter identification in image reconstruction, we analyze a bilevel control problem involving sparse inversion at the lower level. Qualified optimality conditions in explicit multiplier form are shown to hold under either an observability condition for a coupled system or the Lebesgue nullity of a contact set induced by the lower-level adjoint variable. We prove that these conditions are independent of one another and that they cannot, in general, both be omitted. The approach is based on the characterization of local first-order geometric objects…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.21377
curl -X POST /api/v1/records/arxiv/2610.21377/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.21377/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'