- Open Access
Application of a finite element method for variational inequalities
Journal of Inequalities and Applications volume 2013, Article number: 45 (2013)
In this paper we explore the application of a finite element method (FEM) to the inequality and Laplacian constrained variational optimization problems. First, we illustrate the connection between the optimization problem and elliptic variational inequalities; secondly, we prove the existence of the solution via the augmented Lagrangian multipliers method. A triangular type FEM is employed in the numerical calculations. Computational results indicate that the present finite element method is a highly efficient technique in these sorts of variational problems involving inequalities.
AMS Subject Classification: 35J86, 26D10.
Nonlinear variational inequalities (VI) and optimal control problems are a significantly important class of problems having a broad range of applications in mathematics, engineering, mechanics and physics. Elasticity, computational fluid mechanics, computational mechanics are some of the particular applications of these types of problems.
In the present day, nonlinear variational problems or partial differential equation based optimal control problems are not only important but also very challenging problems which usually involve high storage requirements, hard optimization and solution techniques. Therefore, finding reliable and efficient computational and numerical techniques along with fast implementation methods for the solution of these types of problems is quite useful and one of active research areas in the subject. In this paper we explore the application of a finite element method (FEM)  to the inequality and Laplacian constrained variational optimization problems .
Structure of this paper can be summarized as follows. Section 2 overviews some related methods briefly. In Section 3 we express the model problem as an inequality and Laplacian constrained variational optimization problem. In the same section, we present a theorem which shows the connection between the optimization problem and the second kind variational inequality problems. We discretize the VI problems using a finite element method. We complete the paper with a conclusion section where we discuss the method presented in this paper and point some possible future extensions.
2 Related studies
In this section our goal is to present some related work where some type of FEM is employed as a numerical solution technique. Although there are a vast amount of related studies, we will try to mention only a few of those which have some particular and significant application areas and consider the ones which set up the connection between variational inequalities and optimal control problems besides employing FEM in numerical calculations. Before we start mentioning some of those related studies, we first illustrate an application of the present FEM to a specific variational inequality problem. Let , and
and for and . Let and . Define . Then the variational inequality problem to which to present FEM is applied is defined as finding u such that
Detailed information about this variational inequality problem and the application of the present FEM to this problem might be obtained from .
In  Barret et al. study the existence of a solution to an open problem about a quasi-variational inequality problem arising in a model for sand surface evolution. The authors first introduce a regularized mixed formulation involving both the primal and dual variables, and secondly study two methods for numerical solution of the problem. Detailed information about this study might be obtained in .
In  Burke et al. pose the Francfort-Marigo model of brittle fracture in terms of the minimization of a quite irregular energy functional. Employing a generalized Ambrosio-Tortorelli functional, the authors obtain a bound-constrained minimization problem, which can be expressed in terms of a variational inequality. By proposing a new FEM, the authors compute the local minimizer of the generalized functional.
In  Elliott et al. introduce a finite element approximation of a variational formulation of Bean’s model for the physical configuration of an infinitely long cylindrical superconductor subject to a transverse magnetic field. The authors prove an error between the exact solution and the approximate solution for the current density and the magnetic field in appropriate norms. In the paper some numerical simulations for a variety of applied magnetic fields are also presented.
In  Bank et al. consider the application of primal-dual interior methods to the optimization of systems arising in the finite-element discretization of a class of elliptic variational inequalities. These problems lead to very large optimization problems with upper and lower bound constraints. When interior methods are applied to the discretized problem, the resulting linear systems have the same zero/nonzero structure as the finite-element equations solved for the unconstrained case.
As we have pointed above, although it is highly possible to extend this list of related studies, we refer the interested reader to the literature for further related work within the present paper.
3 Main results
Let Ω be a bounded polygonal domain in . We consider a model problem defined as follows.
For given , find a scalar function ϕ on Ω being a minimizer of the cost functional
over the convex set K defined by
where the Sobolev space is defined as follows:
Variational inequalities might be separated into two main groups as elliptic and parabolic variational inequalities. Glowinski studies these sorts of inequalities in  in detail. He considers the elliptic variational inequalities (EVI) as the first kind and second kind EVI and defines those in a functional context as follows.
Let V denote a real Hilbert space with the inner product and the associated norm . is a dual space of V, is a bilinear, continuous and V-elliptic form on , continuous linear functional, K is a closed convex nonempty subset of V, is a convex lower semi-continuous functional. The first and second kind EVI are typically defined in the following way.
The first kind EVI: find such that ϕ is a solution of the problem
The second kind EVI: find such that ϕ is a solution of the problem
The next lemma sets up the connection between optimization and VI problems.
Lemma 1 
Let be a symmetric continuous bilinear V-elliptic form. Let and be a convex lower semi-continuous proper functional. Let
Then the minimization problem, find ϕ such that
has a unique solution which is characterized by
Proof The proof can be seen on p.7 of . □
It is clear that we can define the following in terms of the notations of Lemma 1:
We will approximate (1) with a finite element method introduced in . Assume that Ω is a polygonal domain of . Consider a triangulation of Ω in the following sense: is a finite set of triangles T such that
Here denotes the inner part of the corresponding triangle. Furthermore, for all and , exactly one of the following conditions must hold:
(ii) and have only one common vertex,
(iii) and have only a whole common edge.
h is the length of the largest edge of the triangles in the triangulation. Define as a space of polynomials in and of degree less than or equal to k, and
The space is approximated by the family of subspaces with or , where
It is obvious that the are finite dimensional. Then the space K is approximated by
Notice that for are closed convex nonempty subsets of .
With these settings, the solution is approximated by
Using the augmented Lagrangian multipliers method, we find a discrete solution of (1) as follows. First, let us introduce the Lagrange functional
For , an augmented Lagrangian is defined by
Augmented Lagrangian multipliers methods for VI problems have been introduced by Glowinski and Marrocco (see ). Theorem 2.1 on p.168 in  guarantees the existence of a solution of this optimization problem.
Let us do notice that the first component of (2) is then the solution of the original problem (1). Using the techniques of the variational calculus, we can write that
We can describe the solution algorithm as follows:
(i) Choose an initial iterate and ;
(ii) Solve the linear problem , ;
(iii) Update on each cell;
(iv) Set and go back to (ii).
In this note we have applied a finite element method to the inequality and Laplacian constrained variational optimization problems. Firstly, we illustrate the connection between the optimization problem and elliptic variational inequalities; and secondly, we solve the problem using the augmented Lagrangian multipliers method. In a future work, we are planning to apply the present method to some specific application areas including modeling with optimal control problems.
Lu Z, Chen Y, Huang Y: A priori error estimates for higher order variational discretization and mixed finite element methods of optimal control problems. J. Inequal. Appl. 2012., 2012: Article ID 95
Xu H: Efficient implementation of a modified and relaxed hybrid steepest-descent method for a type of variational inequality. J. Inequal. Appl. 2012., 2012: Article ID 93
Glowinski R: Numerical Methods for Nonlinear Variational Problems. Springer, Berlin; 2008.
Barrett JW, Prigozhin L: A quasi-variational inequality problem arising in the modeling of growing sandpiles. ESAIM, Math. Model. Numer. Anal. 2012. (accepted). doi:10.1051/m2an/2012062
Burke, S, Ortner, C, Suli, E: An adaptive finite element approximation of a generalised Ambrosio-Tortorelli functional. http://www2.maths.ox.ac.uk/oxmos/reports/pdfs/oxmos29.pdf
Elliott CM, Kay D, Styles V: Finite element approximation of a variational inequality formulation of Bean’s model for superconductivity. SIAM J. Numer. Anal. 2004, 42(3):1324–1341. 10.1137/S0036142902412324
Bank RE, Gill PE, Marcia RF: Interior Methods for a Class of Elliptic Variational Inequalities, Large-Scale PDE-Constrained Optimization. Springer, Berlin; 2003.
Glowinski R, Marrocco A: Numerical solution of two-dimensional magneto-static problems by augmented Lagrangian methods. Comput. Methods Appl. Mech. Eng. 1977, 12: 33–46. 10.1016/0045-7825(77)90049-4
The author declares that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.