Abstract:McCormick envelopes are a standard tool for deriving convex relaxations of optimization problems that involve polynomial terms. McCormick envelopes provide lower bounds, for example, in branch-and-bound procedures for mixed-integer nonlinear programs but have not gained much attention in infinite-dimensional optimization so far. This lack of attention may be due to the distributed nature of infinite-dimensional problems, which on the one hand leads to infinitely many constraints (generally state constraints that may be difficult to handle) that are added to the problem under consideration and on the other hand renders bound-tightening procedures that successively improve these convex envelopes computationally intractable. We take on the challenge and analyze McCormick envelopes for a model problem class that is governed by a semilinear PDE involving a bilinearity. We approximate the McCormick envelopes by averaging them over the cells of a discretization of the computational domain. This process yields convex problems that underestimate the original problem up to an a priori error estimate that depends on the mesh size of the discretization. These approximate McCormick envelopes can be improved by means of an optimization-based bound-tightening procedure and can be shown to $\Gamma$-converge to a limit problem with a pointwise formulation of the McCormick envelopes. We provide a computational example, for which we certify all of our imposed assumptions. The results point to both the potential of the methodology and the gaps in the research that need to be closed. Our methodology provides a framework first for obtaining pointwise underestimators for nonconvexities and second for approximating them with finitely many linear inequalities in a superordinate infinite-dimensional setting.

An Electronic Compendium of Extreme Functions for the Gomory--Johnson Infinite Group Problem

Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. III. Foundations for the k-Dimensional Case with Applications to k=2

On the notions of facets, weak facets, and extreme functions of the Gomory-Johnson infinite group problem

An extreme function which is nonnegative and discontinuous everywhere

Extended Newton Methods for Multiobjective Optimization: Majorizing Function Technique and Convergence Analysis

Kantorovich'S Theorems for Newton'S Method for Mappings and Optimization Problems on Lie Groups

Another pedagogy for mixed-integer Gomory

Effective finite generation for [IA_n,IA_n] and the Johnson kernel

Quantitative bounds for Gowers uniformity of the Möbius and von Mangoldt functions

Weak commutativity, virtually nilpotent groups, and Dehn functions

McCormick envelopes in mixed-integer PDE-constrained optimization

A note on an effective bound for the gonality conjecture

Extremal functions on moduli spaces and applications

G-functions and Estimates of Spectral Radius of Iterative Matrices

Computations of Critical Groups and Applications to Asymptotically Linear Wave Equation and Beam Equation

Generalized Converses of Operator Jensens Inequalities with Applications to Hypercomplex Function Approximations and Bounds Algebra

Numerical Computation of Galois Groups

Existence of Extremal Functions for a Family of Caffarelli-Kohn-Nirenberg Inequalities

Computations Of The Cohomology Groups With Applications To Asymptotically Linear Beam Equations And Noncooperative Elliptic Systems

Data sets of very large linear feasibility problems solved by projection methods

The Complexity of Large-scale Convex Programming under a Linear Optimization Oracle