DOUAR: A new three-dimensional creeping flow numerical model for the solution of geological problems

https://doi.org/10.1016/j.pepi.2008.05.003Get rights and content

Abstract

We present a new finite element code for the solution of the Stokes and energy (or heat transport) equations that has been purposely designed to address crustal-scale to mantle-scale flow problems in three dimensions. Although it is based on an Eulerian description of deformation and flow, the code, which we named DOUAR (‘Earth’ in Breton language), has the ability to track interfaces and, in particular, the free surface, by using a dual representation based on a set of particles placed on the interface and the computation of a level set function on the nodes of the finite element grid, thus ensuring accuracy and efficiency. The code also makes use of a new method to compute the dynamic Delaunay triangulation connecting the particles based on non-Euclidian, curvilinear measure of distance, ensuring that the density of particles remains uniform and/or dynamically adapted to the curvature of the interface. The finite element discretization is based on a non-uniform, yet regular octree division of space within a unit cube that allows efficient adaptation of the finite element discretization, i.e. in regions of strong velocity gradient or high interface curvature. The finite elements are cubes (the leaves of the octree) in which a q1p0 interpolation scheme is used. Nodal incompatibilities across faces separating elements of differing size are dealt with by introducing linear constraints among nodal degrees of freedom. Discontinuities in material properties across the interfaces are accommodated by the use of a novel method (which we called divFEM) to integrate the finite element equations in which the elemental volume is divided by a local octree to an appropriate depth (resolution). A variety of rheologies have been implemented including linear, non-linear and thermally activated creep and brittle (or plastic) frictional deformation. A simple smoothing operator has been defined to avoid checkerboard oscillations in pressure that tend to develop when using a highly irregular octree discretization and the tri-linear (or q1p0) finite element. A three-dimensional cloud of particles is used to track material properties that depend on the integrated history of deformation (the integrated strain, for example); its density is variable and dynamically adapted to the computed flow. The large system of algebraic equations that results from the finite element discretization and linearization of the basic partial differential equations is solved using a multi-frontal massively parallel direct solver that can efficiently factorize poorly conditioned systems resulting from the highly non-linear rheology and the presence of the free surface. The code is almost entirely parallelized. We present example results including the onset of a Rayleigh–Taylor instability, the indentation of a rigid-plastic material and the formation of a fold beneath a free eroding surface, that demonstrate the accuracy, efficiency and appropriateness of the new code to solve complex geodynamical problems in three dimensions.

Introduction

In recent years, modelling the Earth’s crust and upper mantle deformation has led to increased insight concerning the way the Earth responds to both tectonic and erosional forciong and indirectly to the climate Willett et al., 1993, Batt and Braun, 1997, Beaumont et al., 2001. Apart from a few exceptions Braun, 1993, Braun, 1994, Braun and Beaumont, 1995, such modelling has been limited to two-dimensional analysis, mostly for computational efficiency reasons. Convection or mantle-scale flow calculations have been more easily performed in three dimensions, in part due to the relatively simple geometry of the problem and the lack of interactions with a free or eroding upper surface (Houseman, 1988, Albers, 2000, Tackley, 1998, among many others).

The need for a three-dimensional model capable of taking into account the large stresses arising from surface topography gradient is however growing (Braun, 2006). Key questions regarding the potential couplings and feedbacks between tectonics, erosion and climate can only be properly addressed using a plan-view surface processes model and, thus a full three-dimensional representation of deformation in the underlying crust (Stolar et al., 2005).

Three dimensional calculations are inherently computationally costly. Using a uniform spatial discretization, most three-dimensional convection models are limited in their spatial resolution to meshes of the order of 1003 elements or nodes (Tackley, 1998, for example). Owing to the non-linear and localizing nature of lithospheric rheologies, deformation gradients are much greater in the lithosphere than in the convecting parts of the Earth’s mantle and a finer spatial discretization is required to capture them. This is the reason why complex meshing algorithms have been developed and are commonly used for the solution of lithospheric-scale deformation or flow problems in two dimensions (Braun and Sambridge, 1994). These are, however, difficult to generalize to three dimensions. Furthermore, the evolving nature of the deformation or velocity field (in part due to the formation of shear zones or faults) requires the use of adaptative meshing techniques in which the numerical spatial discretization evolves with the flow.

Two contrasting methodologies have commonly been used to solve lithospheric-scale deformation problems. Explicit time-stepping methods are based on the dynamical force balance equation (F=mγ) in which a pseudo-mass (m) has been introduced to damp numerical oscillations. These methods require relatively few operations per time steps but a large number of time steps. There have been several implementations of these implicit algorithms to solve problems of lithospheric deformation in two dimensions Poliakov et al., 1993, Hassani et al., 1997. Remarkably, none of these have been so far ported to three-dimensions. Implicit methods in which the equations of static equilibrium have been linearized to form a large system of algebraic equations require less time steps but become computationally expensive in three dimensions. Multigrid iterative methods are commonly used to solve these large systems of equations but their convergence is poor when dealing with highly non-linear problems or those involving a free surface (Moresi and Solomatov, 1998).

Here we present a newly developed finite element code to solve the three dimensional Navier–Stokes equations that we purposely developed to address Re=0, high Ra and infinite Pr flows characterized by a free and/or eroding surface. The new model, that we called DOUAR, is in principle capable of tracking any interface, such as the Moho or a stratigraphic marker, deforming with the flow. It is based on a multi-scale octree-based discretization method and uses a fast, yet accurate direct solver for the solution of the large system of algebraic equations resulting from the implicit time-stepping, finite element discretization of the static force balance equations. In this paper, we present in detail the various components of this new code that are based on existing and novel algorithms. We also present the results of selected computations that demonstrate the usefulness and accuracy of the methodology.

Section snippets

Basic equations

The deformation of the Earth’s lithosphere and underlying mantle are commonly regarded as similar to that of a high viscosity, viscoplastic material deforming at a sufficiently low speed that inertial forces can be neglected (zero Reynolds number flow) and that heat is conducted faster than dissipated by viscous flow (infinite Prandtl number flow). Under such conditions, the velocity field v and pressure p must obey the following simplified form of the momentum or Navier–Stokes equations,

Finite element discretization

Among the many methods that have been devised to solve this set of partial differential equations, the finite element method is one of the most commonly used, mainly because of its geometrical flexibility, i.e. how it can solve problems with complex (non-rectangular) geometries or those requiring a non-uniform discretization to represent efficiently localized flow/deformation. It is based on the assumption that the solution of the PDEs, in our case, the components of the velocity field, the

Octree division of space

As stated above, many problems require a non-uniform discretization of space. The use of irregular triangular meshes is common in two-dimensional analyses but becomes relatively impractical in three dimensions. For this reason, we chose an octree-based discretization of space (Cheng et al., 1986) which combines the flexibility of a non-uniform discretization while being regular. An octree is a geometrical construct that divides three-dimensional space in a space-filling set of cubes of varying

Interface tracking

Material interfaces can be numerous in large-scale tectonic problems. Chief among them is the upper free surface. Its deformation generates large differential stresses that can influence and potentially drive crustal-scale deformation and flow (Braun, 2006). A wide range of tectonic problems, including those in which erosional (and thus potentially climatic) feedback is addressed, require the accurate tracking of the deforming free surface. To track any interface, a dual approach is used

Level set functions

Knowing the geometry of interfaces, we need to pass that information onto the finite element grid (here an octree) to build the finite element equations that are functions of material properties (such as density or viscosity) which vary strongly across interfaces. For each interface, we first build an octree that has high resolution, i.e. small leaves, in the vicinity of the particles defining the interface.

We calculate the signed distance between the interface and the subset of nodes of the

Grid adaptivity

The solve octree constructed from the union of the individual interface octrees is further refined according to a set of criteria:

  • refinement based on the previous time step/iteration solution;

  • imposed refinement in a series of rectangular boxes defined by the user;

  • imposed refinement on the faces of the unit cube to accurately represent complex boundary conditions for example.

which leads to the creation of the solve octree Os, i.e. the octree whose leaves are used to perform the finite element

The free surface

In problems involving a free surface, one of the interfaces (the one representing the free surface) is given special properties. All degrees of freedom corresponding to nodes belonging to elements completely contained in the ‘void’, i.e. the space above the interface, are removed from the equation set to be solved. The finite elements (or cells) that are cut by the free surface are named ‘cut cells’. Material properties for the parts of the cut cells above the free surface are set to values

DivFEM

From the values of the level set functions, the position of each element with respect to each interface is known as well as possible intersections between the element and the interfaces. This information is used to determine the material making up the element, assuming that interfaces are material boundaries. When an element is intersected by one or several interfaces, the values of the level set functions at the nodes of the elements are used to compute the part or volume of the element that

Material memory

In many geodynamical problems, we need to track dynamic material properties, i.e. those that are derived from the solution of the equations but need either to be integrated over time, such as accumulated strain, or simply to be stored for computation of geological observables in a post-processing stage, such as the pressure-temperature-time paths of particles reaching the surface at the end of the model run. This is performed by injecting a large cloud of particles inside the computational

Direct solver

The most time consuming part of a large-scale three-dimensional finite element computation is the solution of the large set of coupled algebraic equations generated by the finite element discretization of the partial differential equations and, in the case of non-linear problems, their linearization. This system is represented in matrix notation as Ax=b where x is the solution vector, b is the right-hand side vector and A is a matrix containing the coefficients multiplying the unknowns in each

Parallelization

The construction of the finite element matrix is fully parallelizable because all the information required to build the finite element matrix is known at the nodes of the element (such as the level set function values). The advection of the particles used for interface tracking as well as those carrying the material memory is also fully parallelizable. The non-uniform octree discretization limits the number of particles in the 3D cloud which, in turn, allows for its complete storage in all

Rectangular punch problem

In order to illustrate how the octree refinement algorithm works practically, to justify its implementation in DOUAR and to demonstrate its efficiency, we have carried out numerical experiments of two-dimensional and three-dimensional punches indenting a rigid, perfectly plastic von Mises half-space. The analytical solution to the two-dimensional problem is to be found in many textbooks (Hill, 1950, Kachanov, 2004 or Freudenthal and Geiringer, 1958) for a more mathematical approach.

Moreover,

Folding experiments with a free eroding surface

To demonstrate the surface tracking capabilities of DOUAR, we have performed a folding experiment in which a thin layer of non-linear (n=3) viscous material is embedded in another, less viscous, non-linear fluid. The thickness of the layer (h=0.02) and the viscosity ratio (r=192) are chosen such that a folding instability develops at a wavelength (λ0.4) that is fully contained within the unit box in which the experiment is performed. Similar experiments have already been performed in three

Discussion and conclusions

We have presented here a new three-dimensional finite element code for solving Stokes equations in the context of geological problems that are characterized by a free surface. The design of this tool was driven by the need to track complex interfaces as well as material properties. Efficiency is achieved through the use of a regular but non-uniform octree division of space and a direct solver. We have shown the results of some computations for problems which either have an analytical solution

Acknowledgments

The work described in this paper has been supported by an ARC (Australian Research Council) Discovery grant. C. Thieulot was supported by a postdoctoral fellowship from the Canadian Institute for Advanced Research. Computations were performed on a cluster co-financed by Rennes-Metropole, the Centre National de la Recherche Scientifique (CNRS), the Agence Nationale de la Recherche (ANR) and a Marie Curie International Reintegration Grant of the European Union to J. Braun. Dalhousie University

References (51)

  • K.-J. Bathe

    Finite Element Procedures in Engineering Analysis

    (1982)
  • G. Batt et al.

    On the thermomechanical evolution of compressional orogens

    Geophys. J. Int.

    (1997)
  • C. Beaumont et al.

    Himalayan tectonics explained by extrusion of a low-viscosity crustal channel coupled to focused surface denudation

    Nature

    (2001)
  • J. Braun

    Three-dimensional numerical modelling of compressional orogens: thrust geometry and oblique convergence

    Geology

    (1993)
  • J. Braun

    Recent advances and current problems in modelling surface processes and their interactions with crustal deformation.

  • J. Braun et al.

    Three-dimensional numerical experiments of strain partitioning at oblique plate boundaries: implications for contrasting tectonic styles in the southern Coast Ranges, California and central South Island, New Zealand

    J. Geophys. Res.

    (1995)
  • J. Braun et al.

    Modelling landscape evolution on geological time scales: a new method based on irregular spatial discretization

    Basin Res.

    (1997)
  • J. Cheng et al.

    Quadtree/Octree Meshing with Adaptive Analysis

  • P. Davy et al.

    Indentation tectonics in nature and experiment. 1: Experiments scaled for gravity

    Bull. Geol. Inst. Uppsala

    (1988)
  • A. Freudenthal et al.

    The mathematical theory of the inelastic continuum

    Handbuch der Physik, Encyclopedia of Physics, Volume VI

    (1958)
  • P. Fullsack

    An arbitrary lagrangian-eulerian formulation for creeping flows and its application in tectonic models

    Geophys. J. Int.

    (1995)
  • S. Gourvenec et al.

    Effect of strength non-homogeneity on the shape of failure envelopes for combined loading of strip and circular foundations on clay

    Géotechnique

    (2003)
  • S. Gourvenec et al.

    Undrained bearing capacity of square and rectangular footings

    Int. J. Geomech.

    (2006)
  • Gupta, A., 2000. WSMP: Watson sparse matrix package (Part-II: direct solution of general sparse systems). Technical...
  • R. Hassani et al.

    Study of plate deformation and stress in subduction processes using two-dimensional numerical models

    J. Geophys. Res.

    (1997)
  • Cited by (60)

    • Stress recovery for the particle-in-cell finite element method

      2021, Physics of the Earth and Planetary Interiors
    • Making Coulomb angle-oriented shear bands in numerical tectonic models

      2015, Tectonophysics
      Citation Excerpt :

      Finally, our approach is discussed in the light of the theory of strain localization and compared with the behaviors of natural faults. Numerical tectonic models often describe the plastic behavior of rocks with the Mohr–Coulomb (MC) or the Drucker–Prager (DP) model (e.g. Braun et al., 2008; Choi and Gurnis, 2008; Gerya and Yuen, 2007; Moresi et al., 2007; Popov and Sobolev, 2008). In spite of differences in details, time-independent stress projection onto a yield surface and isotropic hardening/softening are commonly associated with these plasticity models.

    View all citing articles on Scopus
    1

    Now at Department of Earth Science, Bergen University, N-5007 Bergen, Norway.

    2

    Now at Geosciences Australia, GPO Box 378, Canberra, ACT 2601, Australia.

    View full text