Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the finite element approximation of a semicoercive Stokes variational
  inequality arising in glaciology   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 element approximation. Error estimates in the
presence of rigid modes are obtained by means of a novel technique involving
metric projections onto closed convex cones. Numerical results are reported to
validate the error estimates and demonstrate the advantages of using a mixed
formulation in a glaciological application.

29
The categories of this paper are: funct-an
16
The categories of this paper are: stat
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
11
The categories of this paper are: hep-lat
28
The categories of this paper are: alg-geom
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
26
The categories of this paper are: bayes-an
25
The categories of this paper are: patt-sol