Appending boundary conditions by Lagrange multipliers: Analysis of the LBB condition

Summary. This paper is concerned with the analysis of discretization schemes for second order elliptic boundary value problems when essential boundary conditions are enforced with the aid of Lagrange multipliers. Specifically, we show how the validity of the Ladyškaja–Babušska–Brezzi (LBB) condition for the corresponding saddle point problems depends on the various ingredients of the involved discretizations. The main result states that the LBB condition is satisfied whenever the discretization step length on the boundary, $h_\Gamma \sim 2^{-\ell}$, is somewhat bigger than the one on the domain, $h_\Omega \sim 2^{-j}$. This is quantified through constants stemming from the trace theorem, norm equivalences for the multiplier spaces on the boundary, and direct and inverse inequalities. In order to better understand the interplay of these constants, we then specialize the setting to wavelet discretizations. In this case the stability criteria can be stated solely in terms of spectral properties of wavelet representations of the trace operator. We conclude by illustrating our theoretical findings by some numerical experiments. We stress that the results presented here apply to any spatial dimension and to a wide selection of Lagrange multiplier spaces which, in particular, need not be traces of the trial spaces. However, we do always assume that a hierarchy of nested trial spaces is given.

[1]  W. Dahmen Wavelet and multiscale methods for operator equations , 1997, Acta Numerica.

[2]  Wolfgang Dahmen,et al.  Wavelets on Manifolds I: Construction and Domain Decomposition , 1999, SIAM J. Math. Anal..

[3]  Wolfgang Dahmen,et al.  Element-by-Element Construction of Wavelets Satisfying Stability and Moment Conditions , 1999, SIAM J. Numer. Anal..

[4]  G. Marchuk,et al.  Fictitious domain and domain decomposition methods , 1986 .

[5]  W. Dahmen,et al.  Multilevel preconditioning , 1992 .

[6]  W. Dahmen,et al.  Wavelets with Complementary Boundary Conditions — Function Spaces on the Cube , 1998 .

[7]  Helio J. C. Barbosa,et al.  The finite element method with Lagrange multiplier on the boundary: circumventing the Babuscka-Brezzi condition , 1991 .

[8]  W. Dahmen Stability of Multiscale Transformations. , 1995 .

[9]  W. Dahmen,et al.  Biorthogonal Spline Wavelets on the Interval—Stability and Moment Conditions , 1999 .

[10]  Jaak Peetre,et al.  Function spaces on subsets of Rn , 1984 .

[11]  Claudio Canuto,et al.  The wavelet element method. Part I: Construction and analysis. , 1997 .

[12]  Jean E. Roberts,et al.  Mixed and hybrid finite element methods , 1987 .

[13]  Faker Ben Belgacem,et al.  The Mortar finite element method with Lagrange multipliers , 1999, Numerische Mathematik.

[14]  GermanyNumerische Mathematik,et al.  Multilevel Preconditioning , 1992 .

[15]  P. Grisvard Elliptic Problems in Nonsmooth Domains , 1985 .

[16]  G. P. Astrakhantsev Method of fictitious domains for a second-order elliptic equation with natural boundary conditions , 1978 .

[17]  James H. Bramble,et al.  The Lagrange multiplier method for Dirichlet’s problem , 1981 .

[18]  J. Lions,et al.  Non-homogeneous boundary value problems and applications , 1972 .

[19]  Juhani Pitkäranta,et al.  Boundary subspaces for the finite element method with Lagrange multipliers , 1979 .

[20]  R. Glowinski,et al.  A fictitious domain method for Dirichlet problem and applications , 1994 .

[21]  I. Daubechies,et al.  Biorthogonal bases of compactly supported wavelets , 1992 .

[22]  Wolfgang Dahmen,et al.  A Multigrid Algorithm for the Mortar Finite Element Method , 1999, SIAM J. Numer. Anal..

[23]  R. Glowinski,et al.  Error analysis of a fictitious domain method applied to a Dirichlet problem , 1995 .

[24]  Rolf Stenberg,et al.  On some techniques for approximating boundary conditions in the finite element method , 1995 .

[25]  L. Hou,et al.  Analysis and finite element approximation of optimal control problems for the stationary Navier-Stokes equations with Dirichlet controls , 1991 .

[26]  Angela Kunoth,et al.  Computing Reenable Integrals | Documentation of the Program | | Version 1.1 | , 1995 .

[27]  Silvia Bertoluzza,et al.  Wavelet stabilization of the Lagrange multiplier method , 2000, Numerische Mathematik.

[28]  Wolfgang Dahmen,et al.  Composite wavelet bases for operator equations , 1999, Math. Comput..

[29]  C. Micchelli,et al.  Using the refinement equation for evaluating integrals of wavelets , 1993 .