Abstract:Solutions to many important partial differential equations satisfy bounds constraints, but approximations computed by finite element or finite difference methods typically fail to respect the same conditions. Chang and Nakshatrala enforce such bounds in finite element methods through the solution of variational inequalities rather than linear variational problems. Here, we provide a theoretical justification for this method, including higher-order discretizations. We prove an abstract best approximation result for the linear variational inequality and estimates showing that bounds-constrained polynomials provide comparable approximation power to standard spaces. For any unconstrained approximation to a function, there exists a constrained approximation which is comparable in the $W^{1,p}$ norm. In practice, one cannot efficiently represent and manipulate the entire family of bounds-constrained polynomials, but applying bounds constraints to the coefficients of a polynomial in the Bernstein basis guarantees those constraints on the polynomial. Although our theoretical results do not guaruntee high accuracy for this subset of bounds-constrained polynomials, numerical results indicate optimal orders of accuracy for smooth solutions and sharp resolution of features in convection-diffusion problems, all subject to bounds constraints.

Error Bounds for Affine Variational Inequalities with Second-Order Cone Constraints.

Local Error Bounds for Affine Variational Inequalities on Hilbert Spaces

Error Bounds for Abstract Linear Inequality Systems

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

Error Bounds for Some Convex Functions and Distance Composite Functions

Approximate Solutions for Abstract Inequality Systems

On Global Error Bounds for Convex Inequalities Systems

Computational error bounds for a differential linear variational inequality

Constraint Qualifications for Convex Inequality Systems with Applications in Constrained Optimization

On Error Bounds of Inequalities in Asplund Spaces

Extension of Hoffman's Error Bound to Polynomial Systems

Constraint Qualifications for Extended Farkas'S Lemmas and Lagrangian Dualities in Convex Infinite Programming

Error Bounds For Convex Polynomials

Convergence Results for a Class of Generalized Second-Order Evolutionary Variational–Hemivariational Inequalities

Constraint Qualifications for Optimality Conditions and Total Lagrange Dualities in Convex Infinite Programming

STABLE LAGRANGE DUALITIES FOR ROBUST CONICAL PROGRAMMING

Constitutive-relation-error-based a posteriori error bounds for a class of elliptic variational inequalities.

Optimal Error Bounds in the Absence of Constraint Qualifications with Applications to p-Cones and Beyond

High-order bounds-satisfying approximation of partial differential equations via finite element variational inequalities

Generalized Power Cones: Optimal Error Bounds and Automorphisms