In the mathematics and continuum mechanics literature (cf. Marsden and Hughes, 1983),
different symbols are often used for the same field when it is expressed in terms of different
independent variables, that is, when the description is Eulerian or Lagrangian. In this
convention, the function which in an Eulerian description is \(f(\mathbf{x},t)\) is denoted by \(F(\mathbf{X},t)\) in a
Lagrangian description. The two functions are related by
\[F(\mathbf{X},t)=f(\mathbf{\Phi}(\mathbf{X},t),t) \quad or \quad F=f\circ \mathbf{\Phi}\]
Two domains are commonly used in continuum mechanics: the material domain \(R_{X} \subset \mathbb{R}^{n_{\text {sd }}}\),
with \(n_{\text {sd }}\) spatial dimensions, made up of material particles \(\mathbf{X}\), and the spatial domain \(R_{\mathbf{x}}\),
consisting of spatial points \(\mathbf{x}\).
which explicitly states the particular nature of \(\boldsymbol{\varphi}\) : first, the spatial coordinates \(\mathbf{x}\) depend both
on the material particle, \(\mathbf{X}\) , and time \(t\) , and, second, physical time is measured by the same
variable \(t\) in both material and spatial domains. For every fixed instant \(t\), the mapping \(\boldsymbol{\varphi}\) defines
a configuration in the spatial domain. It is convenient to employ a matrix representation for
the gradient of \(\boldsymbol{\varphi}\),
In the ALE description of motion, neither the material configuration \(R_{\mathbf{X}}\) nor the spatial
configuration \(R_{\mathbf{x}}\) is taken as the reference. Thus, a third domain is needed: the referential
configuration \(R_{\boldsymbol{\chi}}\) where reference coordinates \(\boldsymbol{\chi}\) are introduced to identify the grid points.
Figure above shows these domains and the one-to-one transformations relating the configurations.
The referential domain \(R_{\boldsymbol{\chi}}\) is mapped into the material and spatial domains by \(\boldsymbol{\Psi}\) and \(\boldsymbol{\varphi}\)
respectively. The particle motion \(\boldsymbol{\varphi}\) may then be expressed as \(\boldsymbol{\varphi}=\boldsymbol{\Phi} \circ \boldsymbol{\Psi}^{-1}\) , clearly showing
that, of course, the three mappings \(\boldsymbol{\Psi}\), \(\boldsymbol{\Phi}\) , and \(\boldsymbol{\varphi}\) are not independent.
is involved. Note that both the material and the mesh move with respect to the laboratory.
Thus, the corresponding material and mesh velocities have been defined by deriving the
equations of material motion and mesh motion respectively with respect to time.
Finally, regarding \(\boldsymbol{\Psi}\), it is convenient to represent directly its inverse \(\boldsymbol{\Psi}^{-1}\),
and can be interpreted as the particle velocity in the referential domain, since it measures
the time variation of the referential coordinate \(\boldsymbol{\chi}\) holding the material particle \(\mathbf{X}\) fixed. The
relation between velocities \(\mathbf{v}\), \(\hat{\mathbf{v}}\), and \(\mathbf{w}\) can be obtained by differentiating \(\boldsymbol{\varphi}=\boldsymbol{\Phi} \circ \boldsymbol{\Psi}^{-1}\),
The convective velocity \(\mathbf{c}\), should not be confused with \(\mathbf{w}\).
As stated before, \(\mathbf{w}\) is the particle velocity as seen from the referential domain \(R\boldsymbol{\chi}\), whereas \(\mathbf{c}\) is
the particle velocity relative to the mesh as seen from the spatial domain \(R\mathbf{x}\) (both \(\mathbf{v}\) and \(\hat{\mathbf{v}}\) are
variations of coordinate \(\mathbf{x}\)).
Material, spatial, and referential time derivatives
In order to relate the time derivative in the material, spatial, and referential domains, let
a scalar physical quantity be described by \(f(\mathbf{x}, t)\), \(f^{*}(\boldsymbol{\chi}, t)\), and \(f^{* *}(\mathbf{X}, t)\) in the spatial,
referential, and material domains respectively. Stars are employed to emphasize that the
functional forms are, in general, different.
Since the particle motion \(\boldsymbol{\varphi}\) is a mapping, the spatial description \(f(\mathbf{x}, t)\), and the material
description \(f^{* *}(\mathbf{X}, t)\) of the physical quantity can be related as
which renders, after block multiplication, a first expression, which is obvious, that is,
\(({\partial f^{**}}/{\partial \mathbf{X}})=({\partial f}/{\partial \mathbf{x}})({\partial \mathbf{x}}/{\partial \mathbf{X}})\)); however, the second one is more interesting:
Note that this is the well-known equation that relates the material and the spatial time
derivatives. Dropping the stars to ease the notation, this relation is finally cast as
\[\cfrac{\partial f}{\partial t}\Bigg|_{\mathbf{X}}=\cfrac{\partial f}{\partial t}\Bigg|_{\mathbf{x}}+ \mathbf{v}\cdot \nabla f \quad or \quad
\cfrac{\mathrm{d} f}{\mathrm{d} t}=\cfrac{\partial f}{\partial t}+ \mathbf{v}\cdot \nabla f\]
which can be interpreted in the usual way: the variation of a physical quantity for a given
particle \(\mathbf{X}\) is the local variation plus a convective term taking into account the relative motion
between the material and spatial (laboratory) systems. Moreover, in order not to overload the
rest of the text with notation, except for the specific sections, the material time derivative is
denoted as
The relation between material and spatial time derivatives is now extended to include the
referential time derivative. With the help of mapping \(\mathbf{\Psi}\), the transformation from the referential
description \(f^{*}(\boldsymbol{\chi},t)\) of the scalar physical quantity to the material description \(f^{**}(\mathbf{X},t)\) can
be written as
Note that this equation relates the material and the referential time derivatives. However,
it also requires the evaluation of the gradient of the considered quantity in the referential
domain. This can be done, but in computational mechanics it is usually easier to work in the
spatial (or material) domain. Moreover, in fluids, constitutive relations are naturally expressed
in the spatial configuration and the Cauchy stress tensor, which will be introduced next, is
the natural measure for stresses. Thus, using the definition of w , the
previous equation may be rearranged into
and shows that the time derivative of the physical quantity \(f\) for a given particle \(\mathbf{X}\), that is,
its material derivative, is its local derivative (with the reference coordinate \(\boldsymbol{\chi}\) held fixed) plus
a convective term taking into account the relative velocity \(\mathbf{c}\) between the material and the
reference system. This equation is equivalent to equation (19) but in the ALE formulation,
that is, when \((\boldsymbol{\chi},t)\) is the reference.
Consider thus a material volume Vt bounded by a smooth closed surface \(S_{t}\) whose points
at time t move with the material velocity \(\mathbf{v}=\mathbf{v}(\mathbf{x},t)\) where \(\mathbf{x}\in S_{t}\). A material volume is a
volume that permanently contains the same particles of the continuum under consideration.
The material time derivative of the integral of a scalar function \(f(\mathbf{x}, t)\) (note that \(f\) is defined
in the spatial domain) over the time-varying material volume \(V_{t}\) is given by the following
well-known expression, often referred to as Reynolds transport theorem (see, for instance,
Belytschko et al, 2000 for a detailed proof):
which holds for smooth functions \(f(\mathbf{x}, t)\). The volume integral in the right-hand side is defined
over a control volume \(V_{c}\) (fixed in space), which coincides with the moving material volume
\(V_{t}\) at the considered instant, \(t\), in time. Similarly, the fixed control surface \(S_{c}\) coincides at
time \(t\) with the closed surface \(S_{t}\) bounding the material volume \(V_{t}\). In the surface integral, \(\mathbf{n}\)
denotes the unit outward normal to the surface \(S_{t}\) at time \(t\), and \(\mathbf{v}\) is the material velocity of
points of the boundary \(S_{t}\). The first term in the right-hand side is the local
time derivative of the volume integral. The boundary integral represents the flux of the scalar
quantity \(f\) across the fixed boundary of the control volume \(V_{c} \equiv V_{t}\).
Similar forms hold for the material derivative of the volume integral of a vector quantity.
Analogous formulae can be developed in the ALE context, that is, with a referential time
derivative. In this case, however, the characterizing velocity is no longer the material velocity
\(\mathbf{v}\), but the grid velocity \(\mathbf{\hat{v}}\).
Material Motion, Mesh Displacement, Mesh Velocity,and Mesh Acceleration
To establish the integral form of the basic conservation laws for mass, momentum, and energy,
we also need to consider the rate of change of integrals of scalar and vector functions over a
moving volume occupied by fluid
In an ALE method, both the motion of the mesh and the material must be described. The
motion of the material is described as before by:
\[\mathbf{x}=\boldsymbol{\Phi}(\mathbf{X}, t)\]
where \(\mathbf{X}\) are the material coordinates. The function \(\boldsymbol{\Phi}(\mathbf{X}, t)\) maps the body from the initial configuration \(\Omega_{0}\) to the current or spatial configuration \(\Omega\). Although it is called the motion
throughout this book, in this chapter we will often call it the material motion to distinguish it
from the mesh motion. It is identical to the map used to describe the motion of Lagrangian elements.
In the ALE formulation, we consider another reference domain \(\hat{\Omega}\) as shown in Figure 7.1.
This domain is called the referential domain or the ALE domain. The initial values of the
position of particles are denoted by \(\boldsymbol{\chi}\), so:
The coordinates \(\boldsymbol{\chi}\) are called the referential or ALE coordinates. In most cases \(\boldsymbol{\Phi}(\mathbf{X}, 0)=\mathbf{X}\), so
\(\boldsymbol{\chi}(\mathbf{X}, 0)=\mathbf{X}\) . The referential domain \(\hat{\Omega}\) is used to describe the motion of the mesh independent
of the motion of the material. In the implementation, the domain \(\hat{\Omega}\) is used to construct the
initial mesh. It remains coincident with the mesh throughout the computation, so it can also be
considered the computational domain.
This map \(\hat{\boldsymbol{\phi}}\) plays a crucial role in the ALE finite element formulation. Points \(\boldsymbol{\chi}\) in the ALE
domain, \(\hat{\Omega}\) , are mapped to points \(\boldsymbol{x}\) in the spatial domain, \(\Omega\) , via this map.
As is apparent from Figure 7.1, (7.2.1) and (7.2.3), we can relate the ALE coordinates to the
material coordinates by a composition of functions:
As will be seen, in the ALE algorithm the mesh motion is prescribed or computed. The material
motion can then be reconstructed through the above composition of functions if the map \(\Psi\) is
invertible.
We will now define the displacement, velocity and acceleration of the mesh motion, which
will be called the mesh displacement, mesh velocity and mesh acceleration. The mesh
displacement, \(\hat{\mathbf{u}}\) , is defined by
\[{\hat{\mathbf{u}}}(\boldsymbol{\chi},t)=\mathbf{x}-\boldsymbol{\chi}={\hat{\boldsymbol\Phi}} ( \boldsymbol{\chi}, t ) -\boldsymbol{\chi}\]
Note the similarity of the above definition to the definition of material displacement, which is
\(\mathbf{u} = \mathbf{x} – \mathbf{X}\): the material coordinate in the material description has been replaced by the ALE
referential coordinate to obtain the mesh displacement. The mesh velocity is also defined
analogously to the material velocity:
In the above, the ALE coordinate \(\boldsymbol{\chi}\) is fixed; in the expression for the material velocity, the
material coordinate \(\mathbf{X}\) is fixed. Three notations to be used are shown in (7.2.7). When the
independent variables are explicitly given, we simply use the partial derivative with respect to
time to indicate the mesh velocity. If the independent variables are not explicitly given, we
will designate the coordinate which is fixed either by a subscript following a bar or in brackets
following the subscript ‘\(,t\)’ as shown previously.
Neither the mesh acceleration nor the mesh velocity have any physical meaning in an ALE
mesh which is not Lagrangian. When the mesh is Lagrangian, they correspond to the material
velocity and acceleration.
In ALE descriptions, fields are usually expressed as functions of the ALE coordinates \(\boldsymbol{\chi}\) and
time \(t\). The material time derivative (or total derivative) must then be obtained by the chain
rule, similar to the process used in Section 3.2.5 to obtain the material time derivative in an
Eulerian description. Consider a specific function, \(f(\boldsymbol{\chi},t)\). Using the chain rule gives
In the formulations to be given later, the ALE field variables are often treated as functions
of the material coordinates \(\mathbf{X}\) and time. Hence, it is convenient to develop expressions for the
material time derivative in terms of the spatial gradient.
This relationship between the convected velocity \(\mathbf{c}\), material velocity \(\mathbf{v}\), mesh velocity \(\mathbf{\hat{v}}\) and
the referential velocity \(\mathbf{w}\) will be used frequently in the ALE formulation.
The above gives the material time derivative for the function in terms of the partial time derivative with
the ALE coordinates fixed and a spatial gradient. Note that a comma followed by an index
represents the spatial derivative with respect to an Eulerian coordinate, as in the rest of this
book. In vector notation, the above can be written as
Relationship of ALE Description to Eulerian and Lagrangian Descriptions
It is worthwhile at this point to relate Lagrangian and Eulerian descriptions to the ALE description. We begin by letting \(\boldsymbol{\chi}=\mathbf{X}\), that is, by letting the ALE coordinates be coincident with the
material coordinates. The mesh motion is then given by
Since the mesh motion is now identical to the material motion, this indicates that the
mesh is now Lagrangian. This can also be seen by examining the \(\Psi\) map, which becomes
and as indicated above, the \(\Psi\) map becomes the identity map, i.e. in this case the ALE coordinates are identical to the material coordinates. This does not really say anything new, since
this was our starting point. Nevertheless it is of interest because of the correspondence
which will emerge when we examine the reduction of an ALE formulation to an Eulerian
formulation.
When we let the ALE coordinates correspond to the Eulerian coordinate, i.e. \(\boldsymbol{\chi}=\mathbf{x}\), then the
mesh motion is given by
So in the reduction of the ALE description to the Eulerian description,
\[{\mathbf{\Phi}}= \mathbf{\Psi}\]
The reductions are thus duals of each other. In the reduction of ALE to the Lagrangian description, the \(\mathbf{\Psi}\) map becomes the identity and the mesh motion becomes the material motion. In
the degeneration to the Eulerian description, the mesh motion becomes the identity map, and
the \(\mathbf{\Psi}\) map becomes the material motion.
It is also interesting to examine the Eulerian and Lagrangian forms of the material time
derivative which are embedded in the ALE form. Recall the material time derivative can be
expressed for the different descriptions as follows:
The velocity \(\mathbf{v}(\mathbf{X}, t)\) is the rate of change of the position vector for a material point, i.e. the
time derivative with \(\mathbf{X}\) held constant. Time derivatives with \(\mathbf{X}\) held constant are called material
time derivatives, or sometimes material derivatives. Material time derivatives are also called
total derivatives. The velocity can be written in various forms:
The acceleration \(\mathbf{a}(\mathbf{X}, t)\) is the rate of change of velocity of a material point, or in other
words the material time derivative of the velocity, and can be written in the forms
The above expression is called the material form of the acceleration.
When the velocity is expressed in terms of the spatial coordinates and the time, that is, in an
Eulerian description as in \(\mathbf{v}(\mathbf{x}, t)\), the material time derivative is obtained as follows. The
spatial coordinates in \(\mathbf{v}(\mathbf{x}, t)\) are expressed as a function of the material coordinates and
, giving \(\mathbf{v}(\mathbf{\Phi}(\mathbf{X}, t), t)\). The material time derivative is then obtained by the
chain rule:
where \(\nabla {\mathbf{v}}\) and \({\mathrm{grad}} \ {\mathbf{v}}\) are the left gradients of a vector field as defined in Malvern (1969: 58).
The matrix of the left gradient is given by
The material time derivative of any function of the spatial variables \(\mathbf{x}\) and time \(t\) can similarly
be obtained by the chain rule. Thus for a scalar function \(f(\mathbf{x},t)\) and a tensor function \(\sigma_{i j}(\mathbf{x},t)\)
the material time derivatives are given by
\[\mathbf{x}= {\mathbf{\Phi}}(\mathbf{X}, t)\quad or \quad x_{i}=\phi_{i}(\mathbf{X}, t)\]
where \(\mathbf{x}\) is the position of the material point \(\mathbf{X}\) at time \(t\). The coordinates \(x_{i}\) give the spatial
position, and are called spatial or Eulerian coordinates. The function \({\mathbf{\Phi}}(\mathbf{X}, t)\) maps the initial
configuration into the current configuration at time t, and is called a mapping or map from the
initial configuration to the current configuration.
The description of deformation and the measure of strain are essential parts of nonlinear
continuum mechanics. An important variable in the characterization of deformation is the
deformation gradient. The deformation gradient is defined by
In the terminology of mathematics, the deformation gradient \(\mathbf{F}\) is the Jacobian matrix of the
motion \({\mathbf{\Phi}}(\mathbf{X}, t)\). Note in the above that the first index of \(F_{ij}\) refers to the motion, the second to the
partial derivative. The operator \(\nabla_{0}\) is the left gradient with respect to the material coordinates.
If we consider an infinitesimal line segment \(d\mathbf{X}\) in the reference configuration, then
the corresponding line segment \(d\mathbf{x}\) in the current configuration is given by
\[d\mathbf{x}=\mathbf{F}\cdot d\mathbf{X} \quad or \quad dx_{i}=F_{ij}dX_{j}\]
In the above expression, the dot could have been omitted between the \(\mathbf{F}\) and \(d\mathbf{X}\), since the
expression is also valid as a matrix expression. We have retained it to conform to our convention
of always explicitly indicating contractions in tensor expressions.
In two dimensions, the deformation gradient in a rectangular coordinate system is given by
As can be seen in the above, in writing a second-order tensor in matrix form, we use the first
index for the row number, and the second index for the column number. Note that \(\mathbf{F}\) is the
transpose of the left-gradient.
The determinant of \(\mathbf{F}\) is denoted by \(J\) and called the Jacobian determinant or the determinant of the deformation gradient
\[J=\mathrm{det}(\mathbf{F})\]
The Jacobian determinant can be used to relate integrals in the current and reference configurations by
\[\int\limits_{\Omega }^{}f(\mathbf{x},t)\mathrm{d}\Omega=\int\limits_{\Omega_{0} }^{}f(\mathbf{\Phi}(\mathbf{x},t),t)J\mathrm{d}\Omega_{0} \quad or \quad
\int\limits_{\Omega }^{}f\mathrm{d}\Omega=\int\limits_{\Omega_{0} }^{}fJ\mathrm{d}\Omega_{0}\]
The last mapping involves the relationship between the referential coordinates, \(\boldsymbol{\chi}\), and the
material coordinates \(\boldsymbol{X}\):
Spatial coordinates are denoted by \(\mathbf{x}\) and are also called Eulerian coordinates. A spatial
coordinate specifies the location of a point in space. Material coordinates, also called
Lagrangian coordinates, are denoted by \(\mathbf{X}\). The material coordinate labels a material point:
each material point has a unique material coordinate, which is usually taken to be its spatial
coordinate in the initial configuration of the body, so at \(t = 0\), \(\mathbf{X}=\mathbf{x}\).
The motion or deformation of a body is described by a function \(\boldsymbol{\phi}(\mathbf{X}, t)\), with the material
coordinates \(\mathbf{X}\) and the time \(t\) as the independent variables. This function gives the spatial
positions of the material points as a function of time through
This is also called a map between the initial and current configurations. The displacement \(\mathbf{u}\) of
a material point is the difference between its current position and its original position:
In these equations, the material and spatial coordinates have been changed to scalars since the
motion is one-dimensional. A motion is shown in the figure above; the motions
of several material points are plotted in space-time to exhibit their trajectories. The velocity of
a material point is the time derivative of the motion with the material coordinate fixed, that is,
the velocity is given by
The mesh description depends on the choice of independent variables. For purposes of
illustration, let us consider the velocity field. We can describe the velocity field as a function
of the Lagrangian (material) coordinates, as in (Eq.4), or we can describe the velocity as a
function of the Eulerian (spatial) coordinates:
In these expressions we have placed a bar over the velocity symbol to indicate that the velocity
field, when expressed in terms of the spatial coordinate \(x\) and the time \(t\), will not be the same
function as that given in (Eq.4). We have also used an inverse map to express the material
coordinates in terms of the spatial coordinates:
Such inverse mappings can generally not be expressed in closed form for arbitrary motions,
but they are an important conceptual device. For the simple motion given in (Eq.3), the inverse
map is given by
\[\begin{split}\begin{array}{c}
x = {\phi}(X, t) = (1-X)t+\frac{1}{2}Xt^{2}+X\\
x = t-Xt+\frac{1}{2}Xt^{2}+X=t+X(-t+\frac{1}{2}t^{2}+1)\\
x-t=X(-t+\frac{1}{2}t^{2}+1)\\
X=\cfrac{x-t}{-t+\cfrac{1}{2}t^{2}+1} \\
X=\cfrac{x-t}{\cfrac{1}{2}t^{2}-t+1} \\
\end{array}\end{split}\]
Equations (Eq.4) and (Eq.8) give the same physical velocity fields, but express them in terms of
different independent variables. Equation (Eq.4) is called a Lagrangian (material) description, for
it expresses the dependent variable in terms of the Lagrangian (material) coordinates. Equation
(Eq.8) is called an Eulerian (spatial) description, for it expresses the dependent variable as a
function of the Eulerian (spatial) coordinates. Mathematically, the velocities in the two
descriptions are different functions. Henceforth in this book, we will seldom use different symbols
for different functions when they pertain to the same field, but keep in mind that if a field variable
is expressed in terms of different independent variables, then the functions must be different. In
this book, a symbol for a dependent variable is associated with the field, not the function.
The differences between Lagrangian and Eulerian meshes are most clearly seen in the
behavior of the nodes. If the mesh is Eulerian, the Eulerian coordinates of nodes are fixed, that
is, the nodes are coincident with spatial points. If the mesh is Lagrangian, the Lagrangian
(material) coordinates of nodes are time invariant, that is, the nodes are coincident with
material points. This is illustrated in Figure 1.1. In the Eulerian mesh, the nodal trajectories
are vertical lines and material points pass across element interfaces. In the Lagrangian mesh,
nodal trajectories are coincident with material point trajectories, and no material passes
between elements. Furthermore, element quadrature points remain coincident with material
points in Lagrangian meshes, whereas in Eulerian meshes the material point at a given
quadrature point changes with time. We will see later that this complicates the treatment of
materials for which the stress is history-dependent.
The comparative advantages of Eulerian and Lagrangian meshes can be seen even in this
simple one-dimensional example. Since the nodes are coincident with material points in the
Lagrangian mesh, boundary nodes remain on the boundary throughout the evolution of the
problem. This simplifies the imposition of boundary conditions in Lagrangian meshes. In
Eulerian meshes, on the other hand, boundary nodes do not remain coincident with the
boundary. Therefore, boundary conditions must be imposed at points which are not nodes, and
this engenders significant complications in multi-dimensional problems. Similarly, if a node
is placed on an interface between two materials, it remains on the interface in a Lagrangian
mesh, but not in an Eulerian mesh.
In Lagrangian meshes, since the material points remain coincident with mesh points,
elements deform with the material. Therefore, elements in a Lagrangian mesh can become
severely distorted. This effect is apparent in a one-dimensional problem only in the element
lengths: in Eulerian meshes, element lengths are constant in time, whereas in Lagrangian
meshes, element lengths change with time. In multi-dimensional problems, these effects are
far more severe, and Lagrangian elements can get very distorted. Since element accuracy
degrades with distortion, the magnitude of deformation that can be simulated with a Lagrangian
mesh is limited. Eulerian elements, on the other hand, are unchanged by the deformation of
the material, so no degradation in accuracy occurs because of material deformation.
To illustrate the differences between Eulerian and Lagrangian mesh descriptions, a twodimensional example will be considered. The spatial coordinates are denoted by \(\mathbf{x} = [x, y]^{T}\)
and the material coordinates by \(\mathbf{X} = [X, Y]^{T}\). The motion is given by
where \(\Phi(\mathbf{X},t)\) is a vector function, i.e. it gives a vector for every pair of the independent variables. Writing out the above expression gives
\[x=\phi_{1}(X, Y, t) \quad y=\phi_{2}(X, Y, t)\]
As an example of a motion, consider a pure shear
\[x=X+tY \quad y=Y\]
In a Lagrangian mesh, the nodes are coincident with material (Lagrangian) points, so for
Lagrangian nodes, \(\mathbf{X}_{I} =constant\) in time
For an Eulerian mesh, the nodes are coincident with spatial (Eulerian) points, so for Eulerian
nodes, \(\mathbf{x}_{I} =constant\) in time
Points on the edges of elements behave similarly to the nodes: in two-dimensional
Lagrangian meshes, element edges remain coincident with material lines, whereas in Eulerian
meshes, the element edges remain fixed in space.