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
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).
- Huybrechts et al. The EISMINT Benchmarks for Testing Ice--Sheet Models. Ann. Glaciol. (1996) vol. 23 pp. 1-12 pdf