Abstract
In this paper we will present a review of recent advances in the application of the augmented Lagrange multiplier method as a general approach for generating multiplier-free stabilised methods. The augmented Lagrangian method consists of a standard Lagrange multiplier method augmented by a penalty term, penalising the constraint equations, and is well known as the basis for iterative algorithms for constrained optimisation problems. Its use as a stabilisation methods in computational mechanics has, however, only recently been appreciated. We first show how the method generates Galerkin/Least Squares type schemes for equality constraints and then how it can be extended to develop new stabilised methods for inequality constraints. Application to several different problems in computational mechanics is given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Augmented Lagrangian Method (ALM) has a long history in optimisation. In its standard form it can be seen as augmenting standard Lagrange multiplier methods with a penalty term, penalising the constraint equations. It was introduced in order to combine the advantages of the penalty method and the multiplier method in the context on constrained optimisation independently by Hestenes and Powell in [1, 2]. It was then extended to the case of optimization with inequality constraints by Rockafellar in [3, 4]. Soon afterwards the potential of ALM for the numerical approximation of partial differential equations (pde) and computational mechanics was explored in Glowinski and Morocco [5] and by Fortin in [6]. For overviews of the early results on augmented Lagrangian methods for approximation of pde we refer to the monographs by Glowinski and coworkers [7, 8].
In computational mechanics, Lagrangian methods have the drawback of having to fulfil an inf-sup condition to ensure stability of the discrete scheme such that the balance between the discretisation of the primal variable and the multiplier variable must be chosen carefully. Adding a penalty term does not change this situation, and in computational mechanics ALM has therefore been used mostly in an iterative approach (improving the conditioning of the discrete system) [7,8,9,10,11,12,13], or as a way of strengthening control of the constraints in cases where the discretisation is under-constrained. It was also shown to improve convergence in some cases by making the penalty parameter mesh dependent in [14]. Recently similar ideas have been applied in the context of preconditioning solution methods for discretisations of incompressible flows [15, 16]. The ideas of extending the ALM to variational inequalities of [3, 4] were introduced in the context of contact mechanics by Alart and Curnier in [17].
An early approach to weak boundary conditions for finite element methods was introduced orignally by Nitsche in [18], using a method that is related to ALM, but without any multiplier. Indeed here the multiplier has been replaced by its physical representation, the normal boundary flux. Only recently this possibility of substituting the multiplier by its physical interpretation in the discrete augmented Lagrangian formulation has been explored in its generality. This approach gives rise to schemes that are formally equivalent to stabilised Lagrange multiplier methods, where the stabilisation is of Galerkin/Least Squares (GLS) type [19].
There is, however a crucial difference between the ALM and GLS stabilisation method, and that is the treatment of variational inequalities. The classical GLS formulation for variational inequalities of Barbosa and Hughes [20] is very close to standard multiplier schemes, whereas the ALM supplies an alternative way to define the stabilisation mechanism which transforms the variational inequalities to nonlinear equalities to which iterative schemes can be readily applied.
There is a very large literature on variational inequalities in pde and we can not survey the whole field herein. Below we will focus on works on finite element method formulation and error analysis. For theoretical background material relevant to the material herein we refer to [21,22,23] and for a review of computational aspects including design of special finite element spaces, adaptive method and solvers we refer to [24] and references therein.
The theoretical foundation for finite element approximation of variational inequalities was laid in the seminal works by Falk [25, 26], by Brezzi et al. [27, 28] and Haslinger [29]. For early overviews on computational aspects we refer to the monographs by Glowinski and co-workers [30, 31] and Kikuchi and Oden [32]. More recent studies of the numerical analysis of finite element methods for variational inequalities include [33,34,35,36,37,38,39]. For further work on mixed finite element methods we refer to [40,41,42,43,44,45,46]. For stabilised finite element methods in the context of variational inequalities see [20, 47,48,49,50,51,52]. More recently discontinuous Galerkin methods and other non-conforming methods allowing for polygonal elements have been developed for different types of contact problems [53,54,55,56,57,58,59,60]. Another recent development is the application of isogeometric analysis to contact problems [61,62,63,64]. Some results on fourth order problems have been reported in [41, 52, 65,66,67,68]. Some early error analyses for augmented Lagrangian finite element methods applied to variational inequalities have been proposed in [35, 69].
Optimal error estimates for the unilateral contact problem however remained elusive and typically required some additional assumptions on the interface between the zones of contact and no contact. The Nitsche ALM, where the multiplier is replaced by its physical interpretation, was first introduced and analysed for variational inequalities by Chouly and Hild [70] in the setting of friction free small deformation elastic contact (without explicit reference to augmented Lagrangians). In this context they also showed optimal error estimates without additional a priori assumptions on the contact set. A similar result for the Signorini problem using a Lagrange multiplier approach (without ALM) was derived in [71]. The idea of using ALM with eliminated multiplier for contact problems was then extended to various other models in [72,73,74,75,76,77]; for an overview, cf. [78]. Finite element methods using ALM in the form of a nonlinear equality without eliminating the multiplier was analysed in [79]. In the context of non-conforming approximation the approach has been applied in [80] and using IGA in [63, 81]. It has been explored for CutFEM applications in [82, 83], for obstacle problems in [84, 85], and for Signorini boundaries in the plate model in [86]. Typically the analysis of Nitsche’s method requires some additional regularity assumptions in order to make sense of the non-conforming terms and we will consider this case below. An analysis for low regularity solutions for Nitsche type methods applied to contact problems was proposed in [52, 87]. The reformulation of the variational inequality as a nonlinear equality with elimination of the multiplier is also advantageous in multi physics applications as illustrated in [88, 89] and to impose positivity in flow problems [90].
Our main objective in this paper is to introduce the ALM in a model context, starting with the original formulation for optimization under constraints and then presenting the extension to pde approximation in an abstract framework. Particular focus will be given to variational inequalities that are rewritten as nonlinear equalities in the ALM framework. Here we prove existence and best approximation estimates for the multiplier method under the assumption of sufficient smoothness of the multiplier. We discuss stabilised methods and sketch how these results generalize to the case where the multiplier is eliminated. The versatility of the approach is then shown by applying it in some different settings. Although the analysis is presented in a relatively simple framework we believe that the ideas have potential to extend to a larger class of optimization problem. A fruitful future approach could be to interpret the regularization of the inequality constraint in the framework of Moreau–Yosida regularization [91,92,93] allowing for more general inequality constraints [94], nonsmooth functionals [95] and further applications, for instance in control problems [96].
In Sect. 2 we start by recalling the augmented Lagrangian method in the finite dimensional setting for equality and inequality constraints and derive the augmented Lagrangian formulation for inequality constraints using the equality constraint formulation and slack variables. In Sect. 4 we then discuss the use of the augmented Lagrangian in the context of partial differential equations and present the properties of the formulation in an abstract framework. We show how the necessary a priori bounds for existence of discrete solutions are obtained and we derive best approximation estimates for the augmented Lagrangian finite element method. In Sect. 5 we proceed and give a number of different applications drawing from fluid and solid mechanics. The paper finishes with some numerical experiments in Sect. 6 showing the versatility of the proposed framework.
2 The Finite Dimensional Setting
We begin by recalling the ALM for finite dimensional optimisation problems and by giving an informal introduction to some key ideas to be used in the following. Below we will frequently use the notation \(a \lesssim b\) for \(a \le C b\), where C is constant that, in particular, is independent of the mesh size in the context of the finite element discretizations we consider below.
2.1 Optimisation with Equality Constraints
We consider the quadratic optimisation problem:
This problem can be solved by the Lagrange multiplier method, seeking stationary points to the function
solving the system of equations
It can also be solved approximately by the penalty method, seeking the minimum to the function
where \(\gamma \in \mathbb {R}^+\) is a given (large) penalty parameter. We note that the penalty method has a strong regularising effect on the problem in the sense that if some of the side conditions are (close to being) linear combinations of each other, this does not matter; indeed even if \(g_j({{\varvec{x}}}) = g_1({{\varvec{x}}})\) for all j we simply solve
which is a well posed problem. This is not the case in the multiplier method, where the system (3)–(4) would then be ill posed. The key point is that the side conditions do not come into play explicitly in the penalty method. On the other hand, in general the minimiser of (5) coincides with that of (1) only in the limit as \(\gamma \rightarrow \infty\). The ALM is a combination of the penalty method and the multiplier method: seek the stationary point to
This problem has the same stationary point as (2) and the same stability problem in case of linearly independent side conditions. We note, however, that the multiplier can be eliminated by first solving (3), which we symbolically denote by
(the multipliers can be interpreted as the change in objective with respect to change in the corresponding side condition), and seek the minimum to the reduced Lagrangian
Like in the penalty method, the side conditions are then no longer explicit; however, in case of linear dependence we still have an ill posed problem in solving (3) and we cannot obtain the representation (8). But say that we had an alternative way of computing the multiplier so that symbolically we had
Then we could consider the problem of minimising
The accuracy of this method would then depend on the accuracy of the approximation (10) and the stability of the formulation. A typical situation is that there is a constant such that
which gives
where we obtained the last estimate by taking \(\delta\) sufficiently small and \(\gamma\) sufficiently large. We conclude that the minimization problem for \(\mathcal {L}_{A}^{*}({{\varvec{x}}})\) is well posed if \(\gamma > \gamma _C\). This is the basic idea that underlies the application of the ALM as a stabilisation method, in cases where the multiplier can be eliminated.
2.2 Optimisation with Inequality Constraints
We consider next a quadratic optimisation problems of the type:
The augmented Lagrangian for this problem proposed by Rockafellar [3, Eq. (7)], here with \(\gamma =2 r\), and with the multiplier chosen negative, takes the form for \(\gamma \in \mathbb {R}^+\),
where \([x]_+ = \max (x,0)\).
Observe that another equivalent reformulation is given by
where \([x]_- = \min (x,0)\). This is easily seen by using that \(x = [x]_+ + [x]_-\) and hence
Applying this in (15) with \(x = \gamma g_i({{\varvec{x}}}) -\lambda _i\) leads to (16). In (16) we recognise the augmented Lagrangian for the equality constraint (7) in the first three terms and the last term is the non-linear switch that introduces the inequality constraint.
To see that (15) is indeed the natural formulation we introduce slack variables \(z_i \in \mathbb {R}_+\) and rewrite (14) in the form
with corresponding augmented Lagrangian
for which we seek stationary points, minimizing in \(({{\varvec{x}}}, {{\varvec{z}}})\). Here we may now perform the optimization over \({{\varvec{z}}}\in \mathbb {R}_+^m\) explicitly by noting that for each \({{\varvec{x}}}\) and \({\varvec{\lambda }}\) we obtain a sum of quadratic polynomials in \(z_i\) of the form
and therefore the minimum is attained at \(\gamma z_i = - (\gamma g_i -\lambda _i)\) and taking the constraint \(z_i \in \mathbb {R}_+\) into account we find that \(\gamma z_i = [-(\gamma g_i({{\varvec{x}}}) -\lambda _i)]_+\). Inserting this expression for \(\gamma z_i\) into (19) and using the identity \(a+[-a]_+ = [a]_+\) we arrive at
Alternatively we may seek stationary points to the standard Lagrangian
under the Karush–Kuhn–Tucker (KKT) conditions
Noting that the KKT conditions (22)–(24) are equivalent to the single statement
where \(\gamma \in \mathbb {R}^+\) is an arbitrary positive number. We may then rewrite the Lagrangian in the form
where we used (25) and the fact that \([a]_+a = [a]_+^2\). The substitutions \(\lambda _i \mapsto \lambda _i/2\) and \(\gamma \mapsto 2 \gamma\) manufactures the Lagrangian (20).
Writing the optimality system of (20) results in the system of equations
which is a nonlinear equality problem which explicitly includes the KKT conditions.
Again, if we can use (10) we may instead seek the minima to
3 Iterative Solution Using the Augmented Lagrangian
The augmented Lagrangian is possibly most well known as the basis for an iterative algorithm for constrained optimization problems. The stationary points of the functional (7) can be approximated using the following classical algorithm attributed to Usawa, with the application to augmented Lagrangian methods developed in the works of Glowinski and co-workers [7, 8, 30, 97]. Following [7] we consider the situation where the model problem is to minimize
over \({{\varvec{x}}}\in \mathbb {R}^n\) under the constraint \({{\varvec{B}}}{{\varvec{x}}}= {{\varvec{c}}}\in \mathbb {R}^m\). Here \({{\varvec{A}}}\in \mathbb {R}^{n\times n}\) is symmetric positive definite, \({{\varvec{b}}}\in \mathbb {R}^n\) and \({{\varvec{B}}}\in \mathbb {R}^{m \times n}\). The augmented Lagrangian (7) then takes the form,
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs11831-022-09878-6/MediaObjects/11831_2022_9878_Figa_HTML.png)
We note that step 2 is equivalent to solving the linear system, find \({{\varvec{x}}}^k \in \mathbb {R}^n\) such that
The iterates \({{\varvec{x}}}^k, {\varvec{\lambda }}^k\) of the iterative method converges to the saddle point of (30) provided the steplength \(\rho_k\) satisfies
where \(\beta ^2\) is the largest eigenvalue of the matrix \({{\varvec{A}}}^{-1} {{\varvec{B}}}^T {{\varvec{B}}}\) defined by
For a proof of the convergence result we refer to [30, Chap. 2, Sect. 4] or [7, Chap. 1, Sect. 2].
4 Augmented Lagrangian Methods and Galerkin/Least Squares
We now turn to the case where the Lagrangian is a functional taking values in some Sobolev space and the numerical method is obtained by finding the stationary points in a finite dimensional approximation space. Typically we are interested in the discretisation of a problem where some energy is minimised under a constraint. To illustrate this we consider the case with equality constraints. Let V and H denote two Hilbert spaces, with dual spaces \(V'\) and \(H'\), respectively. Let \(F:V \rightarrow \mathbb {R}\) denote a strictly convex \(C^2\)-functional and \(B:V \rightarrow H\) a linear operator. We are interested in minimising F under a constraint defined by B. Given the data \(f\in V'\) and \(g\in H\) we consider the optimization problem
The Lagrangian takes the form
This problem can be shown to have unique solution under suitable hypothesis on the spaces V and H and the operators F, B, f and g (see for instance [98, Chap. 1, Sect. 2.1, Theorems 2.1 and 2.2]). Augmenting the Lagrangian has no effect on the continuous level, but formally an augmented version of (32), in the spirit of (7) can be written
The discrete version of the ALM based on (33), would then be obtained by restricting \(\mathcal {L}_\text {A}\) to finite dimensional spaces. As we saw in the previous section the ALM on the discrete level combines the control of the constraint given by the Lagrange multiplier and of the penalty. It also gives us an iterative procedure to find the minimiser. When using the ALM in the context of pde problems the ALM also gives enhanced control of the side condition in the sense of a GaLS method, or a variational multiscale method. To see this we assume that \(H=H'=L^2\) and that \(H'_h \subset H'\), \(V_h \subset V\) are some finite dimensional approximation spaces. Here h denotes the characteristic lengthscale (or mesh parameter) of the discrete space. We let \(\pi _H:H \mapsto H'_h\) denote the \(L^2\)-orthogonal projection onto \(H'_h\). Since
we see that the Lagrange multiplier only gives control of the projection of \(Bv-g\) on the finite dimensional subspace \(H_h'\). This may be insufficient for the stability of the method, in particular since \(H_h'\) may need to be chosen small compared to \(V_h\) for stability reasons, i.e. to satisfy the inf-sup stability condition that we will discuss below. A classical example is the stability of the incompressibility constraint (in which case B is the divergence operator) of the Brinkman problem when the viscosity becomes negligible. Adding the term \(\Vert Bv-g\Vert _H^2\) enhances the stability, by adding control of \((I - \pi _H)(Bv-g)\) compared to the pure Lagrange multiplier method. This also shows that a sufficient stabilization can be achieved by augmenting with \(\Vert (I - \pi _H)(Bv-g)\Vert _H^2\). This we recognise as a stabilization of the orthogonal subscales, which is a member of the family of variational multiscale methods. Of course in the associated Euler-Lagrange equations these terms take the form of GLS stabilizations of some residual quantities. Indeed a number of ideas from the field of stabilized methods can be made to bear to the ALM, but we will not explore this further herein. Instead we will show in the examples below how the design of finite element methods using the ALM allows us to recover some well known GLS methods from computational mechanics.
We can discern two different situations for the continuous problem (33):
-
A.
The multiplier has enough regularity to define a scalar product with the side condition.
-
B.
The multiplier has only regularity enough to support a duality pairing with the side condition.
In the first case we can use an analogue to the reformulation (15) which is convenient for the treatment of inequality conditions, and formulate the problem on the continuous level; in the second case this is not formally correct. Indeed if the multiplier does not have sufficient regularity the augmented continuous formulation does not lead to a well-defined problem, unless the augmentation is taken in the continuous H-norm, which may be inconvenient from computational standpoint. In this case the reformulation (15) is not available. We emphasize that this is not a problem in the discrete setting since we can use norm equivalence of discrete spaces to obtain an ALM that has the right asymptotic scaling. However in order to carry out a rigorous numerical analysis of the resulting finite element method the assumption of additional regularity of the exact solution must be justifiable. This is often, but not always the case. In that sense ALM methods in the situation B can be seen as a non-conforming method.
For the discrete as well as the continuous problem we have two further cases:
-
C.
The multiplier has a physical interpretation in terms of the primal variable.
-
D.
The multiplier cannot be interpreted (or be easily interpreted) in terms of the primal variable.
For the discrete case, we also have the problem of finding suitable approximations to fulfil a discrete inf–sup condition. In case C we can use a trick analogous to that of (10), which gives a class of problems where the multiplier has been eliminated beforehand; alternatively, the multiplier can be retained and stabilised by the addition of a GLS term, in the spirit of [20, 99]. These approaches give stability without balancing the discretisation of the multiplier space and the space for the primal variable. In case D the multiplier has to be retained, but the inequality case can still be handled in the same way as above and stabilisation is still possible, for instance using interior penalty stabilization where the stabilization acts on the multiplier alone [79, 100].
4.1 Abstract Framework
Since the rationale of the method is from numerical approximation we will only consider formulations that work in the finite dimensional setting, then A and B above are treated similarly. However it is only in case A that the discussion holds also for the continuous case. The resulting numerical methods can be shown to be optimally converging for sufficiently smooth exact solutions, but the problem of convergence is not established for exact solutions that has no additional regularity. The question of how to design methods that are valid formulations also for the original pde problem is subtle and requires the design of sophisticated stabilization operators, for an interesting work in this direction we refer to [101].
We are interested in minimising F under a constraint defined by B, either as an equality or an inequality constraint. We will now introduce some sufficient conditions for the abstract analysis below to hold. We will then in the examples show that the assumptions are verified.
-
1.
We assume that the operator B is bounded and surjective from V to H, so that for every \(\zeta \in H\) there exists \(\xi \in V\) such that \(B \xi = \zeta\) and \(\Vert \xi \Vert _V \le C \Vert \zeta \Vert _{H}\). It follows that there exists \(\alpha >0\) such that for every \(\mu \in H'\) there holds
$$\begin{aligned} \alpha \Vert \mu \Vert _{H'} \le \sup _{v \in V} \frac{\left\langle B v, \mu \right\rangle _{H,H'}}{\Vert v\Vert _{V}} \end{aligned}$$(34) -
2.
We also assume that \(V_h\) and \(H_h'\) are chosen in such a way that this property carries over to the finite dimensional setting, in the sense that a so called Fortin interpolant exists, for all \(v \in V\) such that \(B v \in H\), there exists \(\exists i_F v \in V_h\) such that for all \(q_h \in H_h'\),
$$\begin{aligned} \nonumber \left\langle B (v - i_F v), q_h\right\rangle = {}&0, \\ \Vert i_F v\Vert _V+ \Vert B i_F v\Vert _{H_h} \lesssim {}&\Vert v\Vert _V + \Vert B v\Vert _{H_h} \end{aligned}$$(35)and note that for \(v \in V_h\) there holds \(i_F v = v\). Here and below \(\left\langle \cdot ,\cdot \right\rangle\) denotes the \(L^2\) scalar product over the the domain of definition of functions in H and we denote the associated norm \(\Vert v\Vert := \left\langle v,v\right\rangle ^{\frac{1}{2}}\).
-
3.
We assume that the surjectivity also holds for the discrete spaces on the following form: for all \(\mu _h \in H_h'\) there exists \(v_h \in V_h\) such that for all \(q_h \in H_h'\),
$$\begin{aligned} \nonumber \left\langle \mu _h -B v_h, q_h\right\rangle = {}&0, \\ \Vert v_h\Vert _V + \Vert B v_h\Vert _{H_h} \lesssim {}&\Vert \mu _h\Vert _{H_h} \end{aligned}$$(36)
Discrete surjectivity is a consequence of the discrete inf-sup condition which typically is equivalent with the existence of the Fortin interpolant [102, Lemma 26.9]. We state both (35) and (36) separately here for future reference and to highlight the difference of the norms required in the right hand side. If we are in a non-conforming situation it is not immediately clear that equivalence holds. Note however that if the spaces are such that \(\Vert B v - \pi _{H_h} B v\Vert _{H_h} \le \Vert v\Vert _V\) then (36) implies (35).
The form of the stabilities in (35) and (36) appear a bit ad hoc here, but as we shall see below this is the natural stability to require for the analysis. Here the norm \(\Vert \cdot \Vert _{H_h}\) is an h-weighted \(L^2\)-norm and will be discussed below.
4.2 Equality Constraints
We wish to solve the optimization problem (31) and recall the formal augmented Lagrangian similar to (7) given by
For later use with inequality constraints, we would now like to use the analogy to (15). However, this is not possible unless \(H' = H := L^2\), where \(L^2\) denotes the space of square integrable functions over the pertinent domain, which is case A above. In this particular case, completing the square, \(-2 a b + b^2 = (a-b)^2 - a^2\), results in the following equivalent formulation
analogous to (15) and we recall that \(\Vert \cdot \Vert\) is the \(L^2\) norm, see Assumption 2 above. We let the semi-linear form \(a:V \times V \rightarrow \mathbb {R}\) be defined by the Gateaux derivative of F(v),
and we assume that the form a satisfies the positivity, monotonicity and continuity conditions
The optimality system obtained by differentiating (38) then reads: find \((u,\lambda ) \in V \times H'\)such that
for all \((v,\mu )\in V\times H'\). Here we simply replace V and \(H'\) by \(V_h\) and \(H_h'\) to obtain the discrete method.
We also want to handle case B. Then typically \(Bv\in H := H^r\) where \(H^r\) denotes a (potentially fractional) Hilbert space with \(r > 0\), and consequently \(\mu \in H' := H^{-r}\), the dual to \(H^r\). Since \(H^{-r} \not \subset H^r\) the formulation (38) no longer makes sense. Instead in the spirit of discretize first then optimize we move to the discrete counterpart of (31) and introduce discrete spaces \(V_h\subset V\) and \(H'_h \subset H'\). The finite element method then amounts to seek stationary points in \(V_h\) and \(H'_h\) to the augmented Lagrangian (37). On the finite dimensional finite element spaces we can approximate the continuous norms \(\Vert \cdot \Vert _H\) and \(\Vert \cdot \Vert _{H'}\) by discrete counterparts
and
where h is the local meshsize (assumed constant in the following for simplicity) and \(r\ge 0\) depends on the space H; loosely speaking r corresponds to the number of derivatives present in the norm \(\Vert \cdot \Vert _H\). It is also immediate by the Cauchy-Schwarz inequality that the following discrete duality property holds
This is done for two reasons
-
1.
To obtain a well conditioned method, we wish to have the same condition number emanating from the penalty term as from the form \(a(\cdot ,\cdot )\).
-
2.
The analysis of the resulting methods requires that the discrete norms can be bounded in terms of the form \(a(\cdot ,\cdot )\) which is only possible if they scale the same way.
Now we can use the arbitrariness of \(\gamma\) to set
where \(\gamma _0\) is a problem– and discretization–dependent constant. Proceeding as above we find that on discrete spaces
and the discrete optimality system reads: find \((u_h,\lambda _h) \in V_h \times H'_h\) such that
for all \((v,\mu )\in V_h\times H'_h\), where \(\langle \cdot ,\cdot \rangle\) denotes the standard \(L^2\) scalar product. Introducing the global form
we can cast the optimality system on the compact form: find \((u_h,\lambda _h) \in V_h \times H'_h\) such that
for all \((v,\mu ) \in V_h \times H'_h\).
It follows by inspection that any solution to (31) that is sufficiently smooth, i.e. \((u,\lambda ) \in V \times H' \cap L^2\) is a solution to (47) and hence the formulation is consistent. Indeed the stationary point of (32) is given by the solution to
and
If the solution is sufficiently regular these equalities hold with H and \(H'\) replaced by the \(L^2\) norm and we see that in that case the exact solution satisfies the finite element formulation,
We do not give a full analysis of the linear problem herein, but focus on the nonlinear case in the next section. The analysis immediately also applies to the linear case.
4.3 Inequality Constraints
For the subsequent analysis, we will consider the discrete case and hence we use the space \(V_h\) for the primal variable and \(H_h'\) for the dual variable. For simplicity we do not use the subscript h on all variables below. We wish to solve the continuous optimization problem
where the inequality constraint is interpreted in the sense of distributions on H as follows,
We will denote the continuous multiplier appearing in the constrained optimization by \(\lambda \in H'\). The weak formulation characterizing the solution to the continuous problem is as follows. Find \((u,\lambda ) \in V \times K\), where \(K= \{ \mu \in H' : \mu \le 0 \}\) such that
Here the inequality constraint with test functions in K is defined by (50) and the fact that \(\{C^\infty : \phi \le 0\}\) is dense in K. It follows by choosing \(\lambda - \mu >0\) in (52) that \(Bu \le 0\). By taking \(\mu =0\) it follows that \(\left\langle B u , \lambda \right\rangle _{H,H'} \le 0\) and since both Bu and \(\lambda\) are negative it follows that \(\lambda B u = 0\).
We have arrived at the following Kuhn–Tucker conditions on the multiplier and side condition:
We now use the analogue to (25), to show that (53) formally is equivalent to
To derive the finite element formulation we also proceed formally following the discussion of Sect. 2.1 applied to the problem (49) with the min taken over the finite dimensional space \(V_h\) and write the augmented Lagrangian, for \(\gamma \in \mathbb {R}^+\), \((v,\mu ) \in V_h \times H_h'\),
we note that if \(\gamma\) is chosen as in (46) we may use (44) and (45) to write
The finite element optimality system reads: find \((u_h,\lambda _h) \in V_h \times H_h'\) such that
for all \((v,\mu ) \in V_h \times H_h'\), where
Note that in general (\(H \ne H'\)) and it is not possible to prove well-posedness of (57) in continuous spaces. Nevertheless also in this case a sufficiently smooth solution of the original continuous problem will also be solution to the formulation (57), showing that the formulation remains consistent.
First we note that for smooth solutions \(\lambda \in K\) and (52) are equivalent to (54). Then evaluating (57) at a sufficiently smooth exact solution \((u,\lambda )\) we see that for all \((v,\mu ) \in V_h \times H_h'\)
and hence by (51) the formulation (57) is consistent for exact solutions \((u,\lambda ) \in V \times H'\cap L^2\).
To see the effect of the nonlinear formulation for active and non-active constraints, first assume
in (57). The constraint is active and we see that the equation becomes
which we recognise as the augmented Lagrangian form from (47) imposing the equality constraint \(Bw = 0\). If on the other hand \([Bw-\eta /\gamma ]_+=0\) then the constraint is not active and the equation (57) takes the form
and we see that Bw is free and \(\eta = 0\) is imposed. As expected the formulation expresses the conditions of (53) and acts as a nonlinear switch between imposing either \(B u = 0\) and \(\lambda = 0\).
Using the parameter \(\gamma\) introduced in (46) and the h-weighted norms introduced in (44) and (45) together with the inequality \(\vert [a]_+ - [b]_+\vert \le \vert a - b\vert\) [70] we see that the following continuity holds
Together with (42) this shows that the form A is continuous. If \(H\equiv L^2\), the formulation (57) and (59) makes sense on the continuous level. Observe that unless \(r=0\) the norms are h dependent and hence the bound degenerates for decreasing h.
4.3.1 Stability, Existence and Uniqueness of Solutions
We will now show that thanks to the properties (40) - (42) we can derive a priori bounds on \((w,\eta )\) that allows us to prove existence of a solution in the spaces \(V_h \times H_h'\), using fixed point arguments.
Proposition 1
Assume that (34)-(36) and (40)-(42) hold. Then for every fixed h the formulation (57) admits a unique solution \((u_h,\lambda _h) \in V_h\times H_h'\). The solution satisfies the a priori bound
Proof
If we can show that the operator A is continuous and satisfies a stability condition then existence follows using Brouwer’s fixed point theorem and the arguments of [98, Chapter 2, Theorem 4.3] (see also [79, Proposition 4.3] for a discussion of finite element methods and augmented Lagrangian methods). First note that continuity of A follows by (59) and (42). Since h is fixed there is no need for the constant of the continuity to be independent of h. Existence of discrete solutions follow from the stability estimate, for all \(w, \eta \in V_h \times H_h'\),
where \(\xi \in V_h\) is a function such that
(c.f (36)), \(\gamma _0\ge 1\) and \(\alpha _\xi = 1/2 \min (C_{(36)}^{-2}, C_{(42)}^{-2} \min (1,\gamma _0 \alpha )\) where \(C_{(36)}\) and \(C_{(42)}\) are the constants in the bounds (36) and (42) respectively. The bound (60) follows from (61) since for a solution \((u_h,\lambda _h)\) there holds
Using the duality pairing we see that
and the claim follows.
To show (61) observe that by testing with \((v,\mu ) = (w,-\eta )\) we have
By completing the square we see that
We conclude that A satisfies the following positivity property, for all \((w,\eta ) \in V_h \times H_h'\),
Then, since \(\eta \in H_h'\) we can use (36) to choose \(\xi (\eta ) \in V_h\) satisfying (62), and test with \(v =\xi\) and \(\mu =0\) to obtain
Now observe that
and since \(\gamma _0^{\frac{1}{2}} \Vert B \xi (\eta )\Vert _{H_h} \le C_{(36)} \gamma _0^{\frac{1}{2}} \Vert \eta /\gamma \Vert _{H_h} = C_{(36)} \gamma _0^{-\frac{1}{2}} \Vert \eta \Vert _{H_h'}\) we see that
Combining (36) with (42) we see that, using the boundedness
The desired inequality then follow by adding (65) and (67) for \(\gamma _0 \ge 1\) and
If \(H\equiv L^2\) the analysis can be extended to the continuous case, for details see [98, Chapter 1, Lemma 4.3].
Uniqueness follows in principle from [98, Chapter 2, Theorem 2.2], but for completeness we give a simple proof below. Considering the nonlinearity expressing the constraint we have using the monotonicity \(([a]_+-[b]_+)(a - b) \ge ([a]_+-[b]_+)^2\), and setting, \(e=w_1-w_2\) and \(\zeta = \eta _1-\eta _2\),
It follows from (41) and (68) that
where \(E_C\) is the error in the approximation of the contact zone defined by
If we assume that both \(\{w_1,\eta _1\}\) and \(\{w_2,\eta _2\}\) are solutions to (57) it follows that the right hand side of (69) is zero and
It follows that \(e=0\) and the primal solution is unique. To see that also the multiplier is unique once again choose \(\xi (\eta )\) such that \(B \xi (\eta ) = -\eta /\gamma\), in the sense that \(\left\langle B \xi (\zeta ) , q_h\right\rangle = -\left\langle \zeta /\gamma , q_h\right\rangle\), for all \(q_h \in H_h'\), and test with \(v = \xi\) and \(\mu =0\), and use arguments similar as those leading to (61) to see that
We have already shown in (69) that \(I_1 = I_2 = 0\) if both \(\{w_1,\eta _1\}\) and \(\{w_2, \eta _2\}\) are solutions, hence we conclude that \(\Vert \zeta \Vert _{H_h'} = 0\) which finishes the discussion of (discrete) well-posedness. \(\square\)
4.3.2 Best Approximation Results
In this section we will derive a best approximation result for the solution of (57). Due to the nonconforming character of the ALM we need to assume that the multiplier is in \(H' \cap L^2\). By specifying the approximation properties of our finite element spaces optimal a priori error estimates can be deduced.
Proposition 2
Assume that (34)-(36) and (40)-(42) hold. Let \((u,\lambda ) \in V \times (H' \cap L^2)\) be the solution to (49)-(53) and \((u_h,\lambda _h) \in V_h \times H_h'\) be the solution of (57). Then if \(\Phi [(u,\lambda ),(u_h,\lambda _h)] := E_C[(u,\lambda ),(u_h,\lambda _h)] + \Vert u - u_h\Vert _V + \gamma _0^{-\frac{1}{2}} \Vert \lambda - \lambda _h\Vert _{H_h'}\) there holds
Proof
Since (69) holds for all \(w_1,w_2 \in V\) and \(\zeta \in H'\cap L^2\), if the exact solution \(u,\lambda \in V \times (H'\cap L^2)\) we may apply it with \(w_1= u\), \(\eta _1 = \lambda\) and \(w_2=u_h\), \(\eta _2 = \lambda _h\) to obtain, with \(e = u - u_h\) and \(\zeta = \lambda - \lambda _h\),
Using the consistency of the method we have
By the continuity of a we have
For the nonlinearity imposing the constraint we notice that by the \(L^2\)-orthogonality of \(\pi _H\),
and using in addition the properties of \(i_F u\) we have \(\left\langle \pi _H \zeta , B ( u - i_F u) + (\lambda - \pi _H \lambda )/\gamma \right\rangle = 0\) and hence using that \(\pi _H \zeta = \zeta + \pi _H \zeta - \zeta = \zeta - (\lambda -\pi _H \lambda )\),
Collecting the above inequalities we obtain using the Cauchy-Schwarz inequality and the arithmetic-geometric inequality in each right hand side,
It follows that the following error bound holds,
By adding and subtracting \(v_h\), applying the triangle inequality followed by the stability of the Fortin operator (right inequality of (35)) there holds
and we conclude using also the definition of the \(L^2\)-projection \(\pi _H\), that
Turning to the error in the multiplier we have using (62)
where \(\xi (\gamma ^{-1} \pi _H \zeta )\) is defined by (36) with \(z_h = \gamma ^{-1} \pi _H \zeta\)
Using the equation we see that
Applying the bound (42) to the last two terms of the right hand side and the Cauchy-Schwarz inequality to the others and applying the stability of (36) we see that
and
Collecting terms and dividing through by \(\gamma _0^{-\frac{1}{2}} \Vert \pi _H \zeta \Vert _{H_h'}\) we have
We conclude by applying (74) to the right hand side and the triangle inequality \(\Vert \zeta \Vert \le \Vert \lambda - \pi _H \lambda \Vert + \Vert \pi _H \zeta \Vert\) to obtain,
The claim now follows by combining (74) and (75). \(\square\)
We observe that the natural norm for \(\lambda\) here would be \(H'\), but that we here consider the corresponding weighted \(L^2\)-norm \(H_h'\) instead. Since this is an h-weighted norm, the resulting \(L^2\) error estimate is suboptimal compared to approximation. Recovering control of the error in the \(H'\) norm would require an additional duality argument that is beyond the scope of this work.
4.3.3 Remark on Stabilized Methods
If the discrete spaces \(V_h\), \(H_h'\) do not satisfy the infsup condition (35), one can introduce a stabilization operator \(s(\cdot ,\cdot )\) which is designed to control the unstable modes. If a stable pair \(V_h\), \({\tilde{H}}_h'\), where \({\tilde{H}}_h'\) has the same approximation properties as \(H_h'\) up to a constant factor, is known, i.e. (35) and (36) are satisfied for these spaces, then a convenient way of choosing s is by using the following design criteria
-
1.
Control of unstable modes:
$$\begin{aligned} \gamma _0^{-1/2} \Vert \mu - {\tilde{\pi }}_H \mu \Vert _{H_h'} \lesssim s(\mu ,\mu )^{\frac{1}{2}}, \; \forall \mu \in H_h' + L^2 \end{aligned}$$(76)where \({\tilde{\pi }}_H\) denotes the \(L^2\) projection on \({\tilde{H}}_h'\).
-
2.
Weak consistency:
$$\begin{aligned} s(\mu - {\tilde{\pi }}_H \mu ,\mu - {\tilde{\pi }}_H \mu ) \sim \gamma _0^{-1} \Vert \mu - {\tilde{\pi }}_H \mu \Vert _{H_h'}^2, \; \forall \mu \in L^2 \end{aligned}$$(77)Here the \(\sim\) notation means that the two quantities have the same asymptotics in h for smooth enough \(\mu\).
The simplest choice of s is
The optimality system of the finite element formulation then reads: find \((u_h,\lambda _h) \in V_h \times H_h'\) such that
for all \((v,\mu ) \in V_h \times H_h'\), with A defined in (58).
It is then possible to use the monotonicity, the inf-sup stability (35) together with (76) and (77) to obtain bounds similar to (71) for the error of the stabilized Galerkin approximation. We only sketch the arguments. The only modification of the stability is that the stabilization operator appears in the left hand side. If \(e = u- u_h\) and \(\zeta = \lambda -\lambda _h\) then
The key observation to obtain optimal approximation is to use Galerkin orthogonality using \(u_h - i_F u\) and \(\lambda _h - \tilde{\pi }_H \lambda\) and then apply a modified continuity estimate. Indeed by the assumptions we have \(\left\langle {\tilde{\pi }}_H \zeta , B ( u - i_F u) \right\rangle = 0\) and hence we can modify the continuity (73) the following way,
where we used that
In this expression all but the last term can be bounded in the same fashion as before. For the last term we apply the Cauchy-Schwarz inequality and then (76) to see that
where now the right hand side is controlled by stability and approximation respectively. This leads to an error estimate for \(u - u_h\). The error in the multiplier can also be estimated using that
and noting that the first term of the right hand side can be controlled as in the infsup stable case and the second is bounded by (79).
4.4 Eliminating the Multiplier
Now we assume that the multiplier can be expressed in the primal variable through a linear operator T on the continuous level, i.e. \(\lambda = T u\), such that for \(v_h \in V_h\), the following inequality that typically is of inverse type, holds
where \(C_\text {I}\) is a constant that may depend on the mesh geometry, but not on the mesh size. We may then write the Nitsche type form of the equation (57): find \(u_h\in V_h\) such that
for all \(v \in V_h\), where \(A_h\) was defined in (58). This formulation, where the multiplier is eliminated is identified as a nonlinear GLS method. For this GLS formulation existence and uniqueness is ensured without any inf-sup condition [70, Theorem 3.3]. Stability is obtained thanks to the continuity of the T operator, (80).
We now revisit the analysis of the previous section and show that the same results hold for the case when the multiplier has been eliminated.
4.4.1 Continuity and Stability
We only need to verify (59) for the method (81). We immediately have for \(w_1,w_2,v \in V_h\),
where we used (80) for the second inequality. To prove the a priori estimate that together with the continuity allows for the fixed point analysis we test with \(v=u_h\) in (81) to obtain using (40)
Applying (80) to the last term of the right hand side we see that
We conclude that the stability holds for \(\gamma _0> C_I/\alpha\). Hence under this condition there exists a discrete solution to (81).
4.4.2 Uniqueness and Best Approximation Estimates
Uniqueness and best approximation follows using similar arguments, we only detail the best approximation case. We assume that the exact solution u to (49) is sufficiently smooth that
Then we may write, \(e=u-u_h\) and using the monotonicity of a (41) and of \([\cdot ]_+\) we see that, using the notation \(E_C(u,u_h) := \gamma _0 \Vert [Bu -T u\gamma ]_+ - [B u_h-T u_h/\gamma ]_+\Vert _{H_h}^2\),
For the last term of the right hand side observe that
Hence
Fix \(\gamma _0 = 6 C_I/\alpha\) so that \(\alpha - 3 C_I/\gamma _0 = \alpha /2\). Considering the left hand side we have using (83), for all \(v_h \in V_h\)
To conclude we use the continuity (42) and the arithmetic-geometric inequality,
together with the Cauchy-Schwarz inequality and the arithmetic-geometric inequality,
Applying these inequalities in (84) we see that for all \(v_h \in V_h\)
Taking square roots of both sides and the infimum over \(v_h \in V_h\) in the right hand side we conclude
We have sketched a best approximation result for the formulation (81). Observe that no condition needs to be imposed on the finite element space in this case. Instead stability is ensured by the inverse inequality (80) that bounds the \(H_h'\)-norm of the multiplier expressed in the primal variable by the V-norm of the primal variable. By equivalence of norms on finite dimensional spaces this bound is always true. The key to optimality of the estimate is the proper h-scaling of the discrete norms given in (44) and (45).
We now turn to specific examples.
5 Applications
5.1 The Stokes Problem with Cavitation
Consider a domain \(\Omega\) in \({\mathbb {R}}^n\), \(n=2\) or \(n=3\) with boundary \(\partial \Omega\) that is composed of the two subsets \(\Gamma _D\) and \(\Gamma _N\) such that \(\partial \Omega = {\bar{\Gamma }}_D \cup {\bar{\Gamma }}_N\). We consider a lubricant with viscosity \(\mu\). The Stokes equation can then be written
with \({\varvec{u}}=0\) on \(\Gamma _D\) and \((-p{\varvec{I}} + \mu \nabla {\varvec{u}})\cdot {\varvec{n}} = {\varvec{0}}\) on \(\Gamma _N\). Here, \({\varvec{u}}\) is the velocity of the lubricant, p is the pressure, and \({ {\varvec{f}}}\) is a force term. The lubricant cannot support subatmospheric pressure, so an additional condition is \(p\ge 0\) in \(\Omega\). In order to incorporate this condition into the model, it can be written as a variational inequality as follows. Let
and
Seek \({\varvec{u}}\in [H_0^1(\Omega )]^n\) and \(p\in K\) such that
for all \({{\varvec{v}}} \in [H^1(\Omega )]^n\), and
To rewrite this problem as a variational equality, we use the Kuhn-Tucker conditions
and again replace conditions (89) by the equivalent statement
with \(\gamma _0\) a positive number. We note here that we can identify the abstract spaces H and \(H'\) with \(L^2(\Omega )\) and that here the pressure cannot easily be interpreted as coming from a linear operator on the velocity, so we are in cases A and D from Sect. 4; the pressure has to be retained but \(r=0\) in the discrete norms.
Defining function spaces
and seeking \((\varvec{u},p)\in V\times Q\) we seek stationary points to the functional
analogously to (55).
For the discrete problem, we will use the inf-sup stable Taylor–Hood approximation which utilises the finite element space
for the velocity, where \(P^2(K)\) denotes the space of piecewise quadratic polynomials on K, and the space \(Q_h\) of piecewise linears for the pressure:
The finite element method based on (92) is to find \((\varvec{u}_h,p_h)\in \textbf{V}_h\times Q_{h}\) such that
for all \(\varvec{v}\in \textbf{V}_h\), and
for all \(q\in Q_{h}\).
5.1.1 Satisfaction of Assumptions for the Abstract Analysis
For the present problem we have \(V=[H^1(\Omega )]^n\), \(H = H_h=H_h' = L^2(\Omega )\). The constraint operator B is the divergence operator. It if well known that the Taylor-Hood element admits a Fortin interpolant satisfying
Since \(\Vert \nabla \pi _F \varvec{v}\Vert _\Omega \lesssim \Vert \nabla \pi _F \varvec{v}\Vert _\Omega\) the relation (35) holds. This means that for all \(\mu _h \in Q_h\) there exists \(\varvec{v}_h \in \textbf{V}_h\) such that \((\nabla \cdot \varvec{v}_h, q_h)_\Omega = (\mu _h, q_h)_\Omega\) and \(\Vert \varvec{v}_h\Vert _V \lesssim \Vert \mu _h\Vert _\Omega\). Hence (36) is also satisfied.
Since \(a(\cdot ,\cdot )\) is a linear operator in this case we see that (40)–(42) are satisfied using standard arguments. Hence the assumptions of Sect. 4 are satisfied in this case and hence we conclude that the best approximation estimate (71) holds.
5.2 Weak Imposition of Dirichlet Boundary Conditions
5.2.1 Model Problem
Let us first consider the Poisson model problem: find \(u:\Omega \rightarrow \mathbb {R}\) such that
where \(\Omega\) is a bounded domain in two or three space dimensions, with outward pointing normal \(\varvec{n}\), and f and g are given functions. For simplicity, we shall assume that \(\Omega\) is polyhedral (polygonal). A classical way of prescribing \(u=g\) on the boundary is to pose the problem (96) as a minimisation problem with side conditions and seek stationary points to the functional
where
and \(\left\langle \mu ,v-g\right\rangle _{H^{-1/2}(\Gamma ),H^{1/2}(\Gamma )}\) is interpreted as a duality pairing on \(H^{-1/2}(\Gamma ) \times H^{1/2}(\Gamma )\). We are thus in case B of Sec. 4, and the method proposed will only make sense on discrete spaces.
The stationary points to (97) are given by finding \((u,\lambda )\in H^1(\Omega )\times H^{-1/2}(\Gamma )\) such that
As mentioned above, the discretisation of this problem requires balancing of the discrete spaces for the multiplier \(\lambda\) and the primal solution u in order for the method to be stable.
5.2.2 The Augmented Lagrangian Method for Boundary Conditions
The Lagrangian in (97) is augmented by a penalty term scaled by a parameter \(\gamma \in \mathbb {R}^+\) so that we seek stationary points to
We note that the continuous norms imply \(r=1/2\) in the discrete norms. To find the stationary points we seek \((u,\lambda )\) such that
To determine the Lagrange multiplier \(\lambda\) we set \(\mu = 0\), and integrate by parts which gives
For the exact solution the first term vanish and we conclude that \(\lambda = \nabla _n v\).
We now wish to find a stable discrete counterpart to this optimisation problem. To this end, let \(\mathcal {T}_h\) be a family of quasi–uniform partitions, with mesh parameter h, of \(\Omega\) into shape regular triangles or tetrahedra T and the discrete space
for \(k\ge 1\), and some discrete space \(Q_h\) (not explicitly defined) for the approximation of the Lagrange multiplier.
We first follow the idea of (44) and replace the \(H^{1/2}\)–norm by the discrete counterpart \(h^{-1/2} \Vert \cdot \Vert _{L^2(\Gamma )}\), which by an inverse estimate dominates the \(H^{1/2}(\Gamma )\) norm,
and introduce the problem of finding the stationary point in \(V_h\times Q_h\) of the discrete Lagrangian
Recalling next that formally the Lagrange multiplier in (99) is given by \(\mu = \nabla _n v\), which provides a direct way of computing the Lagrange multiplier from the primal solution, we obtain
This is our stabilised ALM, the minimiser to which solves the problem of finding \(u_h\in V_h\) such that
where
We identify the classical method of Nitsche [18], stable if \(\gamma _0\) is chosen so that \(\gamma _0> \gamma _C\), where \(\gamma _C\) is the constant in the inverse inequality
Remark 1
As shown by Stenberg [19] (and discussed in Sec. 4.4), Nitsche’s method can be viewed as a particular instance of the GLS stabilisation method of Barbosa–Hughes [99]; in this sense the ALM is a variant of GLS, with the multiplier eliminated.
Remark 2
We note that the ALM leads to the symmetric form of Nitsche’s method. The corresponding unsymmetric forms, as discussed, e.g., in [73], are derived using different arguments.
5.3 Inequality Boundary Conditions
An important feature of the augmented Lagrangian approach is that it can be extended to the case of inequality constraints. We consider the problem: find \(u:\Omega \rightarrow \mathbb {R}\) such that
We have the following Kuhn–Tucker conditions on the multiplier and side condition:
We now use the analogue to (25), that (111) is equivalent to
first used in this context by Alart and Curnier [17]. Now we can take another route to the augmented Lagrangian method. Taking the discrete counterpart to the standard multiplier equilibrium equation (99) we find
for all \(v\in V_h\) and \(\mu \in Q_h\) arbitrary. Using now (112) we find
This is the optimality system for the Lagrangian
cf. [17]. Approximating \(\lambda _h\approx \partial _n u_h\), and setting \(\mu =\partial _n v\), leads to the Nitsche method first introduced by Chouly and Hild in the context of elastic contact [70]. We seek \(u_h\in V_h\) such that
The solution to this problem is the minimiser of the nonlinear augmented Lagrangian
Again, we choose \(\gamma = \gamma _0/h\). Variants and several extensions of (116) can be found in [83]. We remark here that (116) coincides with (107) in case of contact and gives a penalty on \(\partial _n u = 0\) on \(\Gamma\) in case of no contact. This penalty does not destroy the coercivity of the problem if (104) is satisfied.
Remark 3
In the GLS stabilisation for variational inequalities proposed by Barbosa and Hughes [20], no penalty is added to the Lagrangian; the multiplier is not eliminated, and their approach is a stabilised Lagrange multiplier method which requires the solution of an inequality problem. It is also possible to retain the multiplier in the ALM and add GLS stabilisation to the augmented Lagrangian. This approach, which also leads to a nonlinear equality problem, was explored in [103].
5.3.1 Satisfaction of Assumptions for the Abstract Analysis
In this case \(V=H^1(\Omega )\) and \(H=H^{\frac{1}{2}}(\partial \Omega )\), \(H' = H^{-\frac{1}{2}}(\partial \Omega )\). However since the solution to (110) is known to have the additional regularity \(u \in H^{\frac{3}{2}+\epsilon }(\Omega )\), \(\epsilon >0\), see [114]. It follows that \(\partial _n u \in L^2(\Omega )\) and the discrete norms \(H_h\) and \(H_h'\) defined by (44) and (45) are well defined on the exact solution. While (109) then is enough to make the formulation (116) satisfy the assumptions necessary for the analysis of Sect. 4.4, the formulation (115) still requires the satisfaction of (35) and (36). For a charaterisation of spaces satisfying these conditions (in the h-weighted \(L^2\)-norm) we refer to [104]. An example of a construction is two space dimension is to take element wise constant approximation for \(Q_h\) and let \(V_h\) consist of piecewise quadratic continuous approximation, or piecewise affine approximation enriched with a quadratic bubble added to elements adjacent to the boundary on each boundary face. The Fortin interpolant can then be constructed by first defining the nodal degrees of freedom using any \(H^1\)-stable interpolant and then fixing the degree of freedom associated to the bubble on each boundary faces so that (35) and (36) are satisfied. Indeed here they are equivalent. The same construction may be used for the forthcoming sections.
5.4 A Model for Elastic Contact
5.4.1 Treatment of Robin Boundary Conditions
To show the versatility of the ALM we shall consider the equations of linear elasticity in contact with a springy substrate. We start with the linear case of a Robin boundary condition: Find the displacement \({{\varvec{u}}}= \left[ u_i\right] _{i=1}^n\) and the symmetric stress tensor \({\varvec{\sigma }}= \left[ \sigma _{ij}\right] _{i,j=1}^n\) such that
Here \(\Omega\) is a closed subset of \(\mathbb {R}^n\), \(n=2\) or \(n=3\), E is Young’s modulus and \(\nu\) is Poisson’s ratio. \({\varvec{\varepsilon }}\left( {{\varvec{u}}}\right) = \left[ \varepsilon _{ij}({{\varvec{u}}})\right] _{i,j=1}^n\) is the strain tensor with components
and trace
Furthermore, \(\nabla \cdot {\varvec{\sigma }}= \left[ \sum _{j=1}^n\partial \sigma _{ij}/\partial x_j\right] _{i=1}^n\), \({{\varvec{I}}}= \left[ \delta _{ij}\right] _{i,j=1}^n\) with \(\delta _{ij} =1\) if \(i=j\) and \(\delta _{ij}= 0\) if \(i\ne j\), and \({{\varvec{f}}}\) is a given load. Finally, we assume that the boundary stiffness \({{\varvec{S}}}\) is of the form
where \(\alpha\) and \(\beta\) are flexibility parameters in the normal and tangential direction, respectively. The solution to (118)–(120) minimises the functional
where
which is the usual foundation for a discrete method. However, to obtain a robust method for the case of \(\alpha \rightarrow 0\) or \(\beta \rightarrow 0\), we can introduce a new variable \({\varvec{\lambda }}\in [ L^2(\partial \Omega _\text {S})]^n\) and seek stationary points to
where \({{\varvec{K}}}:= {{\varvec{S}}}^{-1}\) is a flexibility matrix which simply tends to the zero matrix if \(\alpha ,\beta \rightarrow 0\), and the Robin condition becomes a Dirichlet condition. The stationary point to (122) fulfils the variational equations of finding \(({{\varvec{u}}},{\varvec{\lambda }})\in [H^1(\Omega )]^n\times [L^2(\partial \Omega _\text {S})]^n\) such that
and we note that, formally,
In the discrete case, we can now formulate an ALM by adding a penalty term and replacing \({\varvec{\lambda }}\) using (127), looking for the minimiser of
where \({{\varvec{S}}}_h\) is a discrete stiffness matrix, to be chosen. The minimiser to (126) satisfies the variational equation of finding \({{\varvec{u}}}_h\in V := [V_h]^n\) such that
where
which is related to the Nitsche method for interfaces in [105, 106], and a variant of the method of Juntunen and Stenberg [107] for Poisson’s problem with Robin boundary conditions. With the particular choice
we regain the standard Nitsche method for the Dirichet problem if \({{\varvec{K}}}\) is the zero matrix, and if \({{\varvec{K}}}\) is nonzero we approach the minimiser of (124) as \(h\rightarrow 0\). Thus the method is robust also in the limit of zero flexibility.
5.4.2 One-Sided Conditions in Contact
We now wish to activate the Robin boundary only if \({{\varvec{u}}}\cdot {{\varvec{n}}}-g > 0\), corresponding to contact with a springy foundation at a distance g from the elastic body. Since this condition is only on the normal part of the displacement, we consider the case of slip, i.e., we choose
Setting \(\sigma _n := {{\varvec{n}}}\cdot {\varvec{\sigma }}\cdot {{\varvec{n}}}\) and \(u_n ={{\varvec{u}}}\cdot {{\varvec{n}}}\), the linear case is then to find stationary points to (124) simplified as
where formally \(\lambda _n = \sigma _n({{\varvec{u}}})\). In the case of contact we now have the KKT condition
which we can formally rewrite as
Proceeding as in (113), the equilibrium equation resulting from (132) is
and seeing as
with \(\mu _n\) arbitrary, we find that the discrete augmented Lagrangian can be written
and with \(\lambda _n \approx \sigma _n({{\varvec{u}}})\),
the minimiser of which is \({{\varvec{u}}}\in V\) satisfying
which coincides with (127) in contact, and gives an additional penalty on the condition \(\sigma _n({{\varvec{u}}}) =0\) if there is no contact. Choosing now
we obtain the same penalty on the normal stress as in [70], which does not destroy the positive definite nature of the problem if we take \(\gamma _0 > \gamma _C\) where \(\gamma _C\) is the (stiffness dependent) constant in the inverse inequality
5.5 Stabilising the Kirchhoff Plate Model
5.5.1 Approximation with Independent Rotations and Displacement
In the Kirchhoff plate model, posed on a domain \(\Omega \subset \mathbb {R}^2\) with boundary \(\partial \Omega\), we seek an out–of–plane (scalar) displacement u to which we associate the strain (curvature) tensor
and the plate stress (moment) tensor
where
where t denotes the plate thickness.
The Kirchhoff clamped problem then takes the form: given the out–of–plane (scaled) load \(t^3f\), find the displacement u such that
The corresponding variational problem takes the form: Find the displacement \(u \in H^2_0(\Omega )\) such that
where
From a computational point of view (150) is cumbersome since it requires \(C^1\)–conforming elements or carefully constructed nonconforming approximations. It is therefore common to use instead the Mindlin–Reissner model which is described by the following partial differential equations:
where \({\varvec{\theta }}\) is the rotation of the median surface and \(\kappa\) is a shear correction factor. We note that this relaxes the continuity requirement on u and that, as \(t\rightarrow 0\), tends to the Kirchhoff model. However, the requirement on the approximation to allow \(\vert \nabla u -{\varvec{\theta }}\vert \rightarrow 0\) is difficult to realise in the discrete setting and if this condition cannot be met, shear locking occurs, destroying the approximation properties of the discrete model. The ALM can offer an alternative approach in which we enforce the requirement \(\nabla u = {\varvec{\theta }}\) by a Lagrange multiplier. To this end we consider the Lagrangian
The Euler stationary points of (153) satisfy the weak system
for all \((v,{\varvec{\vartheta }})\in H_0^1(\Omega )\times [H_0^1(\Omega )]^2\), and
for all \({\varvec{\mu }}\in [L^2(\Omega )]^2,\) corresponding to the strong form
We now wish to stabilise (153) using the ALM. To this end, we use (156) to eliminate \({\varvec{\lambda }}\) and add a penalty term on the side condition to obtain the augmented discrete functional
where \(u_h\in V^h_1\) and \({\varvec{\theta }}_h\in [V^h_2]^2\) for some discrete spaces \(V^h_1\) and \(V^h_2\). Here we use the notation
The Euler equations corresponding to the augmented system are
for all \((v,{\varvec{\vartheta }})\in V^h_1\times [V^h_2]^2\), where
Now, if \(V_2^h\) is the space of piecewise linears, the terms \((\cdot ,\cdot )_h\) vanish and, seeing as \(\theta \in H^{1}(\Omega )\) and thus \(\lambda \in H^{-1}(\Omega )\), we choose \(r=1\) in (45) and \(\gamma = \gamma _0/h^2\) to obtain a scheme proposed by Pitkäranta [108]; for higher order polynomial approximations we recover a GLS stabilisation method due to Stenberg [109, 110].
5.5.2 The Plate Obstacle Problem
We next consider applying the model from the previous Section to a regularised plate obstacle problem. The continuous model is
Here, \(\beta\) is a given compliance which regularises the problem, in the limit case of \(\beta =0\) (rigid obstacle) we instead have the KKT conditions \(p\ge 0\), \(u-g\ge 0\), and \(p(u-g)= 0\). Note that the regularity in the limit case is insufficient for the analysis above. Indeed it is well known that \(u \not \in H^4(\Omega )\), which is insufficient for the multiplier to be in \(L^2\). It is however known that for \(\beta >0\), \(u \in H^4(\Omega )\) if the interior angles of the domain are smaller than \(126^\circ\) (see [111]). Therefore the analysis is valid for all \(\beta >0\), since we have
We see that, again, formally \({\varvec{\lambda }}= -t^{-3}\nabla \cdot {\varvec{\sigma }}_P ({\varvec{\theta }})\) and that \(p = f -t^{-3}\nabla \cdot \left( \nabla \cdot {\varvec{\sigma }}_P ({\varvec{\theta }})\right)\). Following the strategy from Sec. 5.4.2 we write
We need to also stabilise the rotations, and to this end we consider the discrete Lagrangian
where, considering the limit case \(p\in H^{-2}(\Omega )\), we choose \(r=2\) and thus
with \(\gamma _1\) a sufficiently large constant. A similar approach has been suggested by Gustafsson et al. [52, 112] in the context of \(C^1\) approximations of the clamped Kirchhoff plate with GLS stabilisation, without specific reference to augmented Lagrangian methods.
6 Numerical Examples
6.1 Cavitation
The problem formulation is that of (94)–(95). Our numerical experience is that for the chosen discretization \(\gamma _0\) should not be chosen too large; in our example we chose \(\gamma _0=1/100\).
We consider a domain with an elliptically shaped pocket, with mesh shown in Fig. 1. The boundary conditions are natural boundary conditions
at the left- and right-hand sides. The velocity is set to zero along the floor of the channel and pocket boundary, and the flow is driven by setting \(\varvec{u} = (1,0)\) at the ceiling. The viscosity is \(\mu =1\). We compare the pressure solution with and without cavitation in Figs. 2 and 3 and note that there is a pressure resultant in the cavitation case, creating a lifting resultant force, cf. [113].
6.2 Elastic Contact with Flexible Plane
In this example, we consider an elastic sphere of radius 1 under the load \({{\varvec{f}}}=(0,0,-50)\) in contact with a flexible plane. The contact is assumed friction-free, in accordance with the form (141). The moduli of elasticity were chosen as \(E=200\) and \(\nu =0.33\) and the stabilisation parameter was taken as \(\gamma =100 E\). In Figs. 4, 5, and 6 we show the deformation and contact pressure for increasing flexibilities of the contact plane.
6.3 Plate Obstacle Problem
The considered example, from [52], concerns a clamped square plate \(\Omega = (0,1)\times (0,1)\) in contact with a rigid obstacle (\(\beta =0)\) in the center of the plate, \(g=100((x-1/2)^2+(y-1/2)^2)\). Here \(E=1\), \(\nu =0\), \(t=1\), and we chose \(\gamma _1=10 E\) and \(\gamma _2 =E/10\). We present a sample computation using continuous, piecewise \(P^2\) approximations for both displacement and rotations on triangular meshes, based on the variational equations resulting from minimization of the Lagrangian (169). The mesh is shown in Fig. 7 (left), and the corresponding soultion is given in Figs. 7 (right, with obstacle indicated) and 8. The computational solution agrees well with that of [52].
References
Hestenes MR (1969) Multiplier and gradient methods. J Optim Theory Appl 4:303–320
Powell MJD (1969) A method for nonlinear constraints in minimization problems. In Optimization (Sympos., Univ. Keele, Keele, 1968), pp 283–298. Academic Press, London
Rockafellar RT (1973) A dual approach to solving nonlinear programming problems by unconstrained optimization. Math Program 5:354–373
Rockafellar RT (1973) The multiplier method of Hestenes and Powell applied to convex programming. J Optim Theory Appl 12:555–562
Glowinski R, Marrocco A (1975) Sur l’approximation, par éléments finis d’ordre un, et la résolution, par pénalisation-dualité, d’une classe de problèmes de Dirichlet non linéaires. Rev. Française Automat. Informat. Rech Opér Sér Rouge Anal Numér 9(R-2):41–76
Fortin M (1977) An analysis of the convergence of mixed finite element methods. RAIRO Anal Numér 11(4):341–354, iii
Fortin M, Glowinski R (1983) Lagrangian Augmented, methods, volume 15 of Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam. Applications to the numerical solution of boundary value problems. Translated from the French by B. Hunt and D. C, Spicer
Glowinski R, Le Tallec P (1989) Augmented Lagrangian and operator-splitting methods in nonlinear mechanics, volume 9 of SIAM Studies in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA
Simo JC, Laursen TA (1992) An augmented Lagrangian treatment of contact problems involving friction. Comput Struct 42(1):97–116
Wriggers P, Zavarise G (1993) Application of augmented Lagrangian techniques for non-linear constitutive laws in contact interfaces. Commun Numer Methods Eng 9(10):815–824
Laursen TA, Oancea VG (1994) Automation and assessment of augmented Lagrangian algorithms for frictional contact problems. J Appl Mech Trans ASME 61(4):956–963
Zavarise G, Wriggers P, Schrefler BA (1995) On augmented Lagrangian algorithms for thermomechanical contact problems with friction. Int J Numer Methods Eng 38(17):2924–2949
Wheeler MF, Wick T, Wollner W (2014) An augmented-Lagrangian method for the phase-field approach for pressurized fractures. Comput Methods Appl Mech Eng 271:69–85
Boffi D, Lovadina C (1997) Analysis of new augmented Lagrangian formulations for mixed finite element schemes. Numer Math 75(4):405–419
Farrell PE, Mitchell L, Wechsung F (2019) An augmented Lagrangian preconditioner for the 3D stationary incompressible Navier-Stokes equations at high Reynolds number. SIAM J Sci Comput 41(5):A3073–A3096
Olshanskii MA, Zhiliakov A (2022) Recycling augmented Lagrangian preconditioner in an incompressible fluid solver. Numer Linear Algebra Appl 29(2):Paper No. e2415, 15
Alart P, Curnier A (1991) A mixed formulation for frictional contact problems prone to Newton like solution methods. Comput Methods Appl Mech Eng 92(3):353–375
Nitsche JA (1971) Über ein Variationsprinzip zur Lösung von Dirichlet-Problemen bei Verwendung von Teilräumen, die keinen Randbedingungen unterworfen sind. Abh Math Univ Hamburg 36:9–15
Stenberg R (1995) On some techniques for approximating boundary conditions in the finite element method. J Comput Appl Math 63(1–3):139–148
Barbosa HJC, Hughes TJR (1992) Circumventing the Babuška-Brezzi condition in mixed finite element approximations of elliptic variational inequalities. Comput Methods Appl Mech Eng 97(2):193–210
Duvaut G, Lions J-L (1976) Inequalities in mechanics and physics, volume 219 of Grundlehren der Mathematischen Wissenschaften. Springer, Berlin. Translated from the French by C. W. John
Kinderlehrer D, Stampacchia G (1980) An introduction to variational inequalities and their applications, volume 88 of Pure and Applied Mathematics. Academic Press, Inc., New York
Eck C, Jarušek J, Krbec M (2005) Unilateral contact problems, volume 270 of Pure and Applied Mathematics (Boca Raton). Chapman & Hall/CRC, Boca Raton, FL, Variational methods and existence theorems
Wohlmuth B (2011) Variationally consistent discretization schemes and numerical algorithms for contact problems. Acta Numer 20:569–734
Falk RS (1974) Error estimates for the approximation of a class of variational inequalities. Math Comput 28:963–971
Falk RS (1975) Approximation of an elliptic boundary value problem with unilateral constraints. Rev Française Automat Informat Rech Opér 9(R-2):5–12
Brezzi F, Hager WW, Raviart P-A (1977) Error estimates for the finite element solution of variational inequalities. Numer Math 28(4):431–443
Brezzi F, Hager WW, Raviart P-A (1978/79) Error estimates for the finite element solution of variational inequalities. II. Mixed methods. Numer Math 31(1):1–16
Haslinger J (1979) Finite element analysis of the Signorini problem. Comment Math Univ Carolin 20(1):1–17
Glowinski R, Lions J-L, Trémolières R (1981) Numerical analysis of variational inequalities, volume 8 of Studies in Mathematics and its Applications. North-Holland Publishing Co., Amsterdam, Translated from the French
Glowinski R (1984) Numerical methods for nonlinear variational problems. Springer Series in Computational Physics. Springer, New York
Kikuchi N, Oden JT (1988) Contact problems in elasticity: a study of variational inequalities and finite element methods, volume 8 of SIAM Studies in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA
Hild P (2000) Numerical implementation of two nonconforming finite element methods for unilateral contact. Comput Methods Appl Mech Eng 184(1):99–123
Ben Belgacem F (2000) Numerical simulation of some variational inequalities arisen from unilateral contact problems by the finite element methods. SIAM J Numer Anal 37(4):1198–1216
Chen Z (2001) On the augmented Lagrangian approach to Signorini elastic contact problem. Numer Math 88(4):641–659
Ben Belgacem F, Brenner SC (2001) Some nonstandard finite element estimates with applications to 3D Poisson and Signorini problems. Electron Trans Numer Anal 12:134–148
Hild P, Laborde P (2002) Quadratic finite element methods for unilateral contact problems. Appl Numer Math 41(3):401–421
Belhachmi Z, Belgacem FB (2003) Quadratic finite element approximation of the Signorini problem. Math Comput 72(241):83–104
Hild P, Renard Y (2012) An improved a priori error analysis for finite element approximations of Signorini’s problem. SIAM J Numer Anal 50(5):2400–2419
Haslinger J, Hlaváček I (1982) Approximation of the Signorini problem with friction by a mixed finite element method. J Math Anal Appl 86(1):99–122
Scholz R (1987) Mixed finite element approximation of a fourth order variational inequality by the penalty method. Numer Funct Anal Optim 9(3–4):233–247
Coorevits P, Hild P, Lhalouani K, Sassi T (2002) Mixed finite element methods for unilateral problems: convergence analysis and numerical studies. Math Comput 71(237):1–25
Ben Belgacem F, Renard Y (2003) Hybrid finite element methods for the Signorini problem. Math Comput 72(243):1117–1145
Slimane L, Bendali A, Laborde P (2004) Mixed formulations for a class of variational inequalities, M2AN Math Model Numer Anal 38(1):177–201
Ben Belgacem F, Renard Y, Slimane L (2005) A mixed formulation for the Signorini problem in nearly incompressible elasticity. Appl Numer Math 54(1):1–22
Schröder A (2011) Mixed finite element methods of higher-order for model contact problems. SIAM J Numer Anal 49(6):2323–2339
Heintz P, Hansbo P (2006) Stabilized Lagrange multiplier methods for bilateral elastic contact with friction. Comput Methods Appl Mech Eng 195(33–36):4323–4333
Hild P, Renard Y (2010) A stabilized Lagrange multiplier method for the finite element approximation of contact problems in elastostatics. Numer Math 115(1):101–129
Hansbo P, Rashid A, Salomonsson K (2016) Least-squares stabilized augmented Lagrangian multiplier method for elastic contact. Finite Elem Anal Des 116:32–37
Gustafsson T, Stenberg R, Videman J (2017) Mixed and stabilized finite element methods for the obstacle problem. SIAM J Numer Anal 55(6):2718–2744
Gustafsson T, Stenberg R, Videman J (2017) On finite element formulations for the obstacle problem–mixed and stabilised methods. Comput Methods Appl Math 17(3):413–429
Gustafsson T, Stenberg R, Videman J (2019) A stabilised finite element method for the plate obstacle problem. BIT 59(1):97–124
Wang F, Han W, Cheng X-L (2010) Discontinuous Galerkin methods for solving elliptic variational inequalities. SIAM J Numer Anal 48(2):708–733
Wang F, Han W, Cheng X (2011) Discontinuous Galerkin methods for solving the Signorini problem. IMA J Numer Anal 31(4):1754–1772
Bustinza R, Sayas F-J (2012) Error estimates for an LDG method applied to Signorini type problems. J Sci Comput 52(2):322–339
Zeng Y, Chen J, Wang F (2015) Error estimates of the weakly over-penalized symmetric interior penalty method for two variational inequalities. Comput Math Appl 69(8):760–770
Zeng Y, Chen J, Wang F (2017) Convergence analysis of a modified weak Galerkin finite element method for Signorini and obstacle problems. Numer Methods Partial Differ Equ 33(5):1459–1474
Führer T, Heuer N, Stephan EP (2018) On the DPG method for Signorini problems. IMA J Numer Anal 38(4):1893–1926
Wang F, Wei H (2020) Virtual element methods for the obstacle problem. IMA J Numer Anal 40(1):708–728
Cicuttin M, Ern A, Gudi T (2020) Hybrid high-order methods for the elliptic obstacle problem. J Sci Comput 83(1):Paper No. 8, 18
Temizer I, Wriggers P, Hughes TJR (2011) Contact treatment in isogeometric analysis with NURBS. Comput Methods Appl Mech Eng 200(9–12):1100–1112
De Lorenzis L, Evans JA, Hughes TJR, Reali A (2015) Isogeometric collocation: Neumann boundary conditions and contact. Comput Methods Appl Mech Eng 284:21–54
Hu Q, Chouly F, Hu P, Cheng G, Bordas SPA (2018) Skew-symmetric Nitsche’s formulation in isogeometric analysis: Dirichlet and symmetry conditions, patch coupling and frictionless contact. Comput Methods Appl Mech Eng 341:188–220
Antolin P, Buffa A, Fabre M (2019) A priori error for unilateral contact problems with Lagrange multipliers and isogeometric analysis. IMA J Numer Anal 39(4):1627–1651
Haslinger J (1978) On numerical solution of a variational inequality of the 4th order by finite element method. Appl Mater 23(5):334–345
Brenner SC, Sung L-Y, Zhang Y (2012) Finite element methods for the displacement obstacle problem of clamped plates. Math Comput 81(279):1247–1262
Brenner SC, Sung L-Y, Zhang H, Zhang Y (2012) A quadratic \(C^0\) interior penalty method for the displacement obstacle problem of clamped Kirchhoff plates. SIAM J Numer Anal 50(6):3329–3350
Gudi T, Porwal K (2016) A \(C^0\) interior penalty method for a fourth-order variational inequality of the second kind. Numer Methods Partial Differ Equ 32(1):36–59
Kärkkäinen T, Kunisch K, Tarvainen P (2003) Augmented Lagrangian active set methods for obstacle problems. J Optim Theory Appl 119(3):499–533
Chouly F, Hild P (2013) A Nitsche-based method for unilateral contact problems: numerical analysis. SIAM J Numer Anal 51(2):1295–1307
Drouet G, Hild P (2015) Optimal convergence for discrete variational inequalities modelling Signorini contact in 2D and 3D without additional assumptions on the unknown contact set. SIAM J Numer Anal 53(3):1488–1507
Chouly F (2014) An adaptation of Nitsche’s method to the Tresca friction problem. J Math Anal Appl 411(1):329–339
Chouly F, Hild P, Renard Y (2015) Symmetric and non-symmetric variants of Nitsche’s method for contact problems in elasticity: theory and numerical experiments. Math Comput 84(293):1089–1112
Chouly F, Hild P, Renard Y (2015) A Nitsche finite element method for dynamic contact: 1. Space semi-discretization and time-marching schemes. ESAIM Math Model Numer Anal, 49(2):481–502
Chouly F, Hild P, Renard Y (2015) A Nitsche finite element method for dynamic contact: 2. Stability of the schemes and numerical experiments. ESAIM Math Model Numer Anal, 49(2):503–528
Chouly F, Mlika R, Renard Y (2018) An unbiased Nitsche’s approximation of the frictional contact between two elastic structures. Numer Math 139(3):593–631
Chouly F, Hild P, Lleras V, Renard Y (2019) Nitsche-based finite element method for contact with Coulomb friction. In Numerical mathematics and advanced applications—ENUMATH 2017, volume 126 of Lecture Notes Computer Science Enginnering, pp 839–847. Springer, Cham
Chouly F, Mathieu F, Hild P, Mlika R, Pousin J, Renard Y (2018) An overview of recent results on Nitsche’s method for contact problems. In Geometrically Unfitted FEM, theory and applications. Proceedings from the 2016 UCL workshop. Springer, Berlin
Burman E, Hansbo P, Larson MG (2019) Augmented Lagrangian finite element methods for contact problems. ESAIM Math Model Numer Anal 53(1):173–195
Cascavita KL, Chouly F, Ern A (2020) Hybrid high-order discretizations combined with Nitsche’s method for Dirichlet and Signorini boundary conditions. IMA J Numer Anal 40(4):2189–2226
Fabre M (2018) A priori error for unilateral contact problems with augmented lagrange multipliers and isogeometric analysis. Technical report
Fabre M, Pousin J, Renard Y (2016) A fictitious domain method for frictionless contact problems in elasticity using Nitsche’s method. SMAI J Comput Math 2:19–50
Burman E, Hansbo P (2017) Deriving robust unfitted finite element methods from augmented Lagrangian formulations. In Geometrically unfitted finite element methods and applications, volume 121 of Lecture Notes Computer Science Enginnering, pp 1–24. Springer, Cham
Burman E, Hansbo P, Larson MG, Stenberg R (2017) Galerkin least squares finite element method for the obstacle problem. Comput Methods Appl Mech Eng 313:362–374
Burman E, Hansbo P, Larson MG (2018) Augmented Lagrangian and Galerkin least-squares methods for membrane contact. Int J Numer Methods Eng 114(11):1179–1191
Burman E, Hansbo P, Larson MG (2021) Augmented Lagrangian method for thin plates with Signorini boundaries. In Numerical mathematics and advanced applications—ENUMATH 2019, volume 139 of Lecture Notes Computer Science Engineering, pp 509–519. Springer, Cham
Gustafsson T, Stenberg R, Videman J (2020) On Nitsche’s method for elastic contact problems. SIAM J Sci Comput 42(2):B425–B446
Burman E, Fernández MA, Frei S (2020) A Nitsche-based formulation for fluid-structure interactions with contact. ESAIM Math Model Numer Anal 54(2):531–564
Burman E, Fernández MA, Frei S, Gerosa FM (2022) A mechanically consistent model for fluid-structure interactions with contact including seepage. Comput Methods Appl Mech Eng 392:Paper No. 114637, 28
Burman E, Ern A (2017) A nonlinear consistent penalty method weakly enforcing positivity in the finite element approximation of the transport equation. Comput Methods Appl Mech Eng 320:122–132
Moreau J-J (1965) Proximité et dualité dans un espace hilbertien. Bull Soc Math France 93:273–299
Yosida K (1965) Functional analysis. Die Grundlehren der mathematischen Wissenschaften, Band 123. Academic Press, Inc., New York
Lemaréchal C, Sagastizábal C (1997) Practical aspects of the Moreau-Yosida regularization: theoretical preliminaries. SIAM J Optim 7(2):367–385
Badea L (2022) On the resolution of the variational inequalities of the first and the second kind as equations obtained by explicit Moreau-Yosida regularizations. Appl Math Optim 86(2):Paper No. 17, 21
Dhingra NK, Khong SZ, Jovanović MR (2018) The proximal augmented lagrangian method for nonsmooth composite optimization. IEEE Trans Autom Control 64(7):2861–2868
Hintermüller M, Hinze M (2009) Moreau-Yosida regularization in state constrained elliptic control problems: error estimates and parameter adjustment. SIAM J Numer Anal 47(3):1666–1683
Arrow KJ, Hurwicz L, Uzawa H (1958) Studies in linear and non-linear programming. Stanford Mathematical Studies in the Social Sciences, II. Stanford University Press, Stanford, Calif. With contributions by H. B. Chenery, S. M. Johnson, S. Karlin, T. Marschak, R. M. Solow
Lions J-L (1969) Quelques méthodes de résolution des problèmes aux limites non linéaires. Dunod; Gauthier-Villars, Paris
Barbosa HJC, Hughes TJR (1991) The finite element method with Lagrange multipliers on the boundary: circumventing the Babuška–Brezzi condition. Comput Methods Appl Mech Eng 85(1):109–128
Burman E, Hansbo P (2010) Fictitious domain finite element methods using cut elements: I. A stabilized Lagrange multiplier method. Comput Methods Appl Mech Eng 199(41-44):2680–2686
Bertoluzza S (2000) Wavelet stabilization of the Lagrange multiplier method. Numer Math 86(1):1–28
Ern A, Guermond J-L (2021) Finite elements II—Galerkin approximation, elliptic and mixed PDEs, volume 73 of Texts in Applied Mathematics. Springer, Cham, [2021]
Hansbo P, Rashid A, Salomonsson K (2016) Least-squares stabilized augmented Lagrangian multiplier method for elastic contact. Finite Elem Anal Des 116:32–37
Pitkäranta J (1980) Local stability conditions for the Babuška method of Lagrange multipliers. Math Comput 35(152):1113–1129
Hansbo A, Hansbo P (2004) A finite element method for the simulation of strong and weak discontinuities in solid mechanics. Comput Methods Appl Mech Eng 193(33–35):3523–3540
Hansbo P (2005) Nitsche’s method for interface problems in computational mechanics. GAMM-Mitt 28(2):183–206
Juntunen M, Stenberg R (2009) Nitsche’s method for general boundary conditions. Math Comput 78(267):1353–1374
Pitkäranta J (1988) Analysis of some low-order finite element schemes for Mindlin-Reissner and Kirchhoff plates. Numer Math 53(1–2):237–254
Stenberg R (1995) A new finite element formulation for the plate bending problem. In Asymptotic methods for elastic structures (Lisbon, 1993), pp 209–221. de Gruyter, Berlin
da Veiga L, Beirão Niiranen J, Stenberg R (2007) A family of \(C^0\) finite elements for Kirchhoff plates, I. Error analysis. SIAM J Numer Anal 45(5):2047–2071
Blum H, Rannacher R (1980) On the boundary value problem of the biharmonic operator on domains with angular corners. Math Methods Appl Sci 2(4):556–581
Gustafsson T, Stenberg R, Videman J (2019) Nitsche’s method for the obstacle problem of clamped Kirchhoff plates. In Numerical mathematics and advanced applications—ENUMATH 2017, volume 126 of Lecture Notes Computer Science Enginnering, pp 407–415. Springer, Cham
Nilsson B, Hansbo P (2011) A Stokes model with cavitation for the numerical simulation of hydrodynamic lubrication. Int J Numer Methods Fluids 67(12):2015–2025
Apel T, Nicaise S (2020) Regularity of the solution of the scalar Signorini problem in polygonal domains. Results Math 75(2):15
Funding
This research was supported in part by the Swedish Research Council Grants Nos. 2017-03911, 2018-05262, 2021-04925, and the Swedish Research Programme Essence. EB was supported in part by the EPSRC grants EP/T033126/1, EP/V050400/1 and EP/W007460/1. Open access funding provided by Jönköping University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burman, E., Hansbo, P. & Larson, M.G. The Augmented Lagrangian Method as a Framework for Stabilised Methods in Computational Mechanics. Arch Computat Methods Eng 30, 2579–2604 (2023). https://doi.org/10.1007/s11831-022-09878-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11831-022-09878-6