# On the finite element approximation of a semicoercive Stokes variational inequality arising in glaciology

@article{Diego2021OnTF, title={On the finite element approximation of a semicoercive Stokes variational inequality arising in glaciology}, author={G. G. de Diego and Patrick E. Farrell and Ian J. Hewitt}, journal={ArXiv}, year={2021}, volume={abs/2108.00046} }

Stokes variational inequalities arise in the formulation of glaciological problems involving contact. Two important examples of such problems are that of the grounding line of a marine ice sheet and the evolution of a subglacial cavity. In general, rigid modes are present in the velocity space, rendering the variational inequality semicoercive. In this work, we consider a mixed formulation of this variational inequality involving a Lagrange multiplier and provide an analysis of its finite… Expand

#### References

SHOWING 1-10 OF 46 REFERENCES

Analysis and Finite Element Approximation of a Nonlinear Stationary Stokes Problem Arising in Glaciology

- Mathematics, Computer Science
- Adv. Numer. Anal.
- 2011

Several algorithms (including Newton's method) are proposed to solve the nonlinearity of the Stokes problem and are proved to be convergent and the existence and the uniqueness of a weak solution are proved. Expand

Error estimates for the approximation of semicoercive
variational inequalities

- Mathematics
- 1994

Summary.
An abstract error estimate for the approximation of semicoercive variational
inequalities is obtained provided a certain condition holds for the exact
solution. This condition turns out to… Expand

Finite element analysis of primal and dual variational formulations of semicoercive elliptic problems with nonhomogeneous obstacles on the boundary

- Mathematics
- 1988

The Poisson equation with non-homogeneous unilateral condition on the boundary is solved by means of finite elements. The primal variational problem is approximated on the basis of linear triangular… Expand

Well-Posedness Results for a Nonlinear Stokes Problem Arising in Glaciology

- Computer Science, Physics
- SIAM J. Math. Anal.
- 2013

This work considers the boundary conditions proposed by Schoof and extends his well-posendess results to the Stokes case, and proves an existence result for nonlocal friction in the nonlinear, incompressible Stokes model. Expand

Modélisation, analyse mathématique et simulation numérique de la dynamique des glaciers

- Geography
- 2010

We address the free boundary problem that consists in finding the shape of a three dimensional glacier over a given period and under given climatic conditions. Glacier surface moves by sliding,… Expand

Approximation of the p-Stokes Equations with Equal-Order Finite Elements

- Mathematics
- 2013

Non-Newtonian fluid motions are often modeled by the p-Stokes equations with power-law exponent $${p\in(1,\infty)}$$ . In the present paper we study the discretization of the p-Stokes equations with… Expand

A sliding law for glaciers of constant viscosity in the presence of subglacial cavitation

- Geology
- Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences
- 1986

A method of solution for the problem of slow flow of a Newtonian viscous glacier slipping over a rough bed is constructed, for the case where cavities form when the lubricating water film pressure… Expand

Quasi-norm error bounds for the finite element
approximation of a non-Newtonian flow

- Mathematics
- 1994

Summary.
We consider the finite element approximation of a
non-Newtonian flow, where the viscosity obeys a general law including
the Carreau or power law. For sufficiently regular solutions we prove… Expand

COULOMB FRICTION AND OTHER SLIDING LAWS IN A HIGHER-ORDER GLACIER FLOW MODEL

- Physics
- 2010

We consider a widely used higher-order glacier flow model with a variety of parametrizations of wall slip, including Coulomb friction, regularized Coulomb friction laws and a power law.… Expand

A discretization theory for a class of semi-coercive unilateral problems

- Mathematics, Computer Science
- Numerische Mathematik
- 2000

A convergence analysis applicable to the approximation of a large class of semi-coercive variational inequalities based on a recession analysis of some regularized Galerkin schema is presented. Expand