Skip to content
DraconiticResearch
Search Sources API
181,716 studies31 sourcesUpdated 37 min ago
PreprintarXiv licencearXiv

McCormick relaxations for PDE-constrained optimization on multi-dimensional domains

Abstract

We are interested in computing approximate dual bounds for nonconvex optimal control problems using McCormick inequalities. To handle the numerical burden concerned with the tightening of these inequalities, we locally average the bilinear term in the PDE constraint. We extend recent theory in this area to elliptic PDEs on multidimensional domains that involve bilinear terms. As an additional result, we also generalize the necessary assumptions to allow for more flexibility in the choice of the discretization for the total variation penalty term from the underlying control problem. Furthermore, we prove the existence of valid bounds on the state variable, which are crucial to enable the optimization-based bound-tightening (OBBT) procedure to tighten the McCormick inequalities. Since theoretical bounds on the state variable are rather conservative, OBBT is both crucial and the main computational bottleneck for deriving a sharp approximate dual bound. We show how the sequence of LPs arising during OBBT may sensibly be warmstarted, allowing us to successfully scale the numerical experiments to finer discretizations than what was possible before.

Related

  1. Optimal Control of State Constrained Systems via Measure Relaxations and Polynomial Optimization
    Saroj Prasad Chhatoi, Aneel Tanwani, Didier Henrion
    HALPreprintPublisher termsFull textOptimisation & controlHAL
  2. A two-dimensional counterexample for Kobayashi completeness of balanced domains
    Armen Edigarian
    arXivPreprintCC BY 4.0Full textAnalysis & PDEsarXiv
  3. Pseudoconvex domains in complex Euclidean space with finite-dimensional Bergman spaces
    Yuan Yuan
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
  4. Obstructions in Symplectic Embedding Problems for Four-Dimensional Convex Toric Domains
    Theodore Coyne
    arXivPreprintCC BY 4.0Full textGeometry & topologyarXiv
  5. Rigidity results for Euler flows in two dimensional exterior domains
    Diego Alonso-Orán, Daniel Sánchez-Simón del Pino, Juan J. L. Velázquez
    arXivPreprintarXiv licenceFull textAnalysis & PDEsarXiv
BibTeX
@misc{pokotylo2026mccormick,
  title = {{McCormick relaxations for PDE-constrained optimization on multi-dimensional domains}},
  author = {Mariia Pokotylo and Paul Manns},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.08614},
  eprint = {2609.08614},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.08614},
}
RIS
TY  - UNPB
TI  - McCormick relaxations for PDE-constrained optimization on multi-dimensional domains
AU  - Mariia Pokotylo
AU  - Paul Manns
PY  - 2026
DA  - 2026/09/08
PB  - arXiv
DO  - 10.48550/arxiv.2609.08614
UR  - https://arxiv.org/abs/2609.08614
AB  - We are interested in computing approximate dual bounds for nonconvex optimal control problems using McCormick inequalities. To handle the numerical burden concerned with the tightening of these inequalities, we locally average the bilinear term in the PDE constraint. We extend recent theory in this area to elliptic PDEs on multidimensional domains that involve bilinear terms. As an additional result, we also generalize the necessary assumptions to allow for more flexibility in the choice of the discretization for the total variation penalty term from the underlying control problem. Furthermore, we prove the existence of valid bounds on the state variable, which are crucial to enable the optimization-based bound-tightening (OBBT) procedure to tighten the McCormick inequalities. Since theoretical bounds on the state variable are rather conservative, OBBT is both crucial and the main computational bottleneck for deriving a sharp approximate dual bound. We show how the sequence of LPs arising during OBBT may sensibly be warmstarted, allowing us to successfully scale the numerical experiments to finer discretizations than what was possible before.
ER  -