Now, let's see if COMSOL can be used to solve problems of glaciological relevance. We'll look at shallow ice approximation flow, and shallow shelf approximation flows.
Isothermal Shallow Ice Approximation
Begin with the often used shallow ice form for ice thickness evolution, which casts evolution as a non-linear diffusion problem
with boundary condition on the edge of the computational domain.
We will use the PDE, General Form transient mode to solve this equation. For convenience, make the dependent variable .
You should not find it difficult to create a unit square. Once it's made, you can double click it to change it's size and do other transformations. Read below to find the appropriate domain.
This equation mode solves equations of the form
Which is just what we want if we recognize that in our system =0, =1, =, and
Now the problem has been reduced to one of typing. It will make the COMSOL model easier to read if you create a scalar expression for . Then your and are very clear.
This type of problem requires a Dirchlet boundary condition. Set = 0 on all four sides.
You'll also be needing to know how to tell COMSOL to use a derivative. That is Hx, Hy, and Ht for , , and respectively.
- Complete the model, and do the isothermal fixed margin experiment Huybrechts (1996). You'll find all values of constants there as well. Verify that your model is providing results consistent with those reported in the paper.
- Now alter your model (the accumulation field) to do the isothermal moving margin, again verify that it's at least just as wrong as the other models. You're going to have to come up with something to deal with the negative values of thickness that you'll get...
Shallow shelf approximation
Now, consider the equations describing a flow that is vertically integrated. The equations are
is the non-linear, vertically averaged viscosity, is the ice shelf thickness and is the surface elevation. will need to be entered as a scalar expression, and is written
There are two flavors of boundary conditions applied in the typical ice sheet model.
First, the Dirichlet, or kinematic boundary condition specify the velocity
This is the boundary condition where the ice moving across the grounding line. In order to model an ice shelf, one determines (or estimates), and specifies that velocity.
This is the Neumann, or dynamic boundary condition that is applied along the ice front,
Note that in case you will need to know how to tell Comsol the normal vectors. These are nx, and ny.
- As a first exercise in solving these equations, try the experiments described in the EISMINT ice shelf models, but never published . Get the self-descr.pdf, or the first hyperlink on the page. Let's do experiments 3-4 on page 6 of the document (Note that we will see and work with the solution to these experiments again when we do some exercises with the higher-order dynamics routines in Glimmer/CISM).
- The above is neat, but ultimately not that useful because it just isn't a realistic geometry. Try out this model, that has the geometry and boundary conditions for the Ross Ice shelf, but otherwise the same equations solved in the previous exercise. This model is based on MacAyeal et. al. (1996) . An ice-shelf model test based on the Ross ice shelf. Annals of Glaciology 23, 46-51 See the utility of this? Is the solution dependent on the mesh? Can you do anything with the solver to improve the time required for a solution.
It is possible (even easy!) to represent the full Stoke's equations in Comsol, by starting from the fluid mechanics application mode. Here is a geometry for the Arolla glacier. See if you can work out the eta_nonlinear field, the appropriate boundary conditions, and the appropriate subdomain settings for full Stoke's flow. A useful reference on higher order modeling is Pattyn, F (2003) .