Corpus ID: 236772305

# 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}
}
• Published 30 July 2021
• Computer Science, Mathematics
• ArXiv
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…

#### References

SHOWING 1-10 OF 46 REFERENCES
Analysis and Finite Element Approximation of a Nonlinear Stationary Stokes Problem Arising in Glaciology
• Mathematics, Computer Science
• 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.
Error estimates for the approximation of semicoercive variational inequalities
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
Finite element analysis of primal and dual variational formulations of semicoercive elliptic problems with nonhomogeneous obstacles on the boundary
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
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.
Modélisation, analyse mathématique et simulation numérique de la dynamique des glaciers
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,
Approximation of the p-Stokes Equations with Equal-Order Finite Elements
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
A sliding law for glaciers of constant viscosity in the presence of subglacial cavitation
• A. Fowler
• 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
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
COULOMB FRICTION AND OTHER SLIDING LAWS IN A HIGHER-ORDER GLACIER FLOW MODEL
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.
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.