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.

Constrained $L^2$-approximation by polynomials on subsets of the circle

Constrained optimization in classes of analytic functions with prescribed pointwise values

Best one-sided approximation of polynomials under L

Best one-sided approximation of polynomials under L1 norm

On Taylor-like Estimates for $L^{2}$ Polynomial Approximations

Approximation and quadrature by weighted least squares polynomials on the sphere

Weak-star convergence and a polynomial approximation problem

Nonlinearly Constrained Best Approximation in Hilbert Spaces: the Strong CHIP and the Basic Constraint Qualification.

Approximate Solutions for Abstract Inequality Systems

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

Polynomial approximation avoiding values in sets II

Approximation by polynomials on quaternionic compact sets

Polynomial approximation on $C^2$-domains

Analytic approximation of matrix functions in $L^p$

Uniform Approximation by Polynomials with Integer Coefficients via the Bernstein Lattice

Algorithms of constrained uniform approximation

Approximation of the Hilbert Transform on the unit circle

Uniform approximation on certain polynomial polyhedra in $\mathbb{C}^2$

Approximation and Interpolation of Singular Measures by Trigonometric Polynomials

Holomorphic approximation by polynomials with exponents restricted to a convex cone