Skip to main content

A reconstructed discontinuous Galerkin method for compressible flows on moving curved grids


A high-order accurate reconstructed discontinuous Galerkin (rDG) method is developed for compressible inviscid and viscous flows in arbitrary Lagrangian-Eulerian (ALE) formulation on moving and deforming unstructured curved meshes. Taylor basis functions in the rDG method are defined on the time-dependent domain, where the integration and computations are performed. The Geometric Conservation Law (GCL) is satisfied by modifying the grid velocity terms on the right-hand side of the discretized equations at Gauss quadrature points. A radial basis function (RBF) interpolation method is used for propagating the mesh motion of the boundary nodes to the interior of the mesh. A third order Explicit first stage, Single Diagonal coefficient, diagonally Implicit Runge-Kutta scheme (ESDIRK3) is employed for the temporal integration. A number of benchmark test cases are conducted to assess the accuracy and robustness of the rDG-ALE method for moving and deforming boundary problems. The numerical experiments indicate that the developed rDG method can attain the designed spatial and temporal orders of accuracy, and the RBF method is effective and robust to avoid excessive distortion and invalid elements near moving boundaries.

1 Introduction

Many engineering problems require the solution on variable geometries, such as aeroelasticity, fluid-structure interaction, flapping flight and rotor-stator flows in turbine passage. Due to the limitation of the measurement techniques in the experiment, numerical simulation of such problems is an important supplement to investigating and understanding these complex phenomena. The arbitrary Lagrangian-Eulerian (ALE) [1] formulation taking into account the mesh motion by nature, has been considered often and commonly used to solve such problems numerically.

For these engineering problems mentioned above, the ALE formulation usually combines consistently the advection due to mesh motion and the advection due to fluid motion, i.e., these two are solved simultaneously. This type of formulation is termed unsplit ALE [24], as opposed to the split ALE or Lagrange-plus-remap ALE which consists of three steps, a Lagrangian step, a rezoning step and a remapping step. The Lagrangian-plus-remap ALE method is mainly used in hydrodynamics where the evolution of flow is undergoing large deformation due to the strong compression or expansion. The application of the unsplit ALE method to the hydrodynamic problems has been reported in [2, 46]. In this paper, our focus is on the unsplit ALE method for the moving boundary/grid problems, typically the flow over moving airfoils.

In such problems, the velocity and/or position of the boundary nodes are usually known in practice, either from the prescription of an analytical expression or discrete data, or from the response of the solid in the fluid-structure interaction case. With the movement of the boundary nodes, the interior of mesh might be distorted or even invalid. Thus, either regenerating the mesh, or a smoothing procedure that propagates the boundary motion into the interior is necessary, to preserve the mesh quality. However, regeneration of the mesh is usually computationally very expensive, and the latter case, a smoothing procedure is preferred in general. Various methods have been proposed in the literature to smooth the interior mesh. One type of these methods requires the solution of a system of elliptic (Poisson-type) partial differential equations (PDEs), such as linear elasticity [7] and non-linear elasticity [8] methods. Another smoothing procedure is the interpolation method, for example, the radial basis function (RBF) interpolation [911] and Delaunay graph mapping [12]. In this work, we take advantage of the RBF interpolation based on its efficiency and mesh quality performance.

The high order methods, most commonly the discontinuous Galerkin methods (DGM), due to their higher computational efficiency compared with the low order method, have been investigated extensively in the Eulerian frame, and are gaining more and more interest in the ALE formulation.

The discontinuous Galerkin methods (DGM), originally introduced for solving the neutron transport equation by Reed and Hill [13], are widely used in computational fluid dynamics (CFD), owing to their many distinctive, and attractive features, such as flexibility to handle complex geometry, compact stencil for higher-order reconstruction, and amenability to parallelization and hp-adaptation. However, the DG methods have been recognized as expensive in terms of both computational costs and storage requirements. Indeed, compared to the finite element and finite volume methods, the DGM require solutions of systems of equations with more unknowns for the same grids. It is our belief that a lack of efficiency is one of reasons that prevents the application of DGM to engineering-type problems. In order to reduce high costs associated with the DGM, Dumbser et al. [1416] introduced a new family of reconstructed DGM, termed PnPm schemes and referred to as rDG(PnPm) in this paper, where Pn indicates that a piecewise polynomial of degree of n is used to represent a DG solution, and Pm represents a reconstructed polynomial solution of degree of m (\(m\geqslant n\)) that is used to compute the fluxes. The rDG(PnPm) schemes are designed to enhance the accuracy of the DGM by increasing the order of the underlying polynomial solution. The beauty of rDG(PnPm) schemes is that they provide a unified formulation for both FVM and DGM, and contain both classical FVM and standard DGM as two special cases of rDG(PnPm) schemes. When n=0, i.e. a piecewise constant polynomial is used to represent a numerical solution, rDG(P0Pm) is nothing but classical high order finite volume schemes, where a polynomial solution of degree m (\(m\geqslant 1\)) is reconstructed from a piecewise constant solution. When m=n, the reconstruction reduces to the identity operator, and rDG(PnPn) scheme yields a standard DG(Pn) method. For n>0, and n>m, a new family of numerical methods from third-order of accuracy upwards is obtained. A number of algorithms are proposed [1722] to construct the PnPm schemes, and their spatial convergence and effectiveness are validated [2327].

Based on the higher performance of the rDG methods in the Eulerian frame, an extension to the arbitrary Lagrangian-Eulerian (ALE) formulation is natural and desirable. A number of DG-ALE methods in the literature have been proposed and investigated for the compressible flows. How to satisfy the Geometric Conservation Law (GCL) is a critical issue for the ALE formulation, especially for higher-order DG methods, where the basis functions being defined on the time-dependent or fixed reference domain/element will come into the picture, making the problem more complicated.

In general, there are two types of approaches to ensure the satisfaction of the GCL condition. The most consistent and elegant approach is the space-time DG formulation. This formulation is fully conservative in space and time, and the GCL is automatically satisfied. The space-time DG methods have been applied to both incompressible [28, 29] and compressible flows [3033]. However, the generation of the space-time meshes will require additional work. And, the space-time DG methods do not allow for explicit time stepping or implicit multi-step schemes [34].

The second type requires special treatment for the ALE formulations on a fixed or time-dependent mesh, for example, an additional equation for updating the transformation Jacobian, or a correction of the grid velocity terms. Lomtev et al. [35] presented a matrix-free DG-ALE method using spectral basis for 2D and 3D compressible viscous flows in moving domains. A force-directed algorithm from graph theory is used to update the grid while minimizing distortions. In the method proposed by Persson et al. [34], the governing equations in the time-dependent physical domain are transformed to the conservations laws in a fixed reference domain (the initial domain), the conservative variables defined on the initial domain are solved thereafter. A continuous mapping between the time-dependent physical domain and the fixed initial domain is introduced to take into account the mesh motion. The transformation Jacobian is updated in time to ensure the GCL condition. Nguyen [36] presented a DG-ALE method using an explicit fourth order TVD Runge-Kutta method and the freestream solution is shown to be preserved numerically. Mavriplis [37] derived a general approach inspired from the space-time formulation to update the grid velocity terms at the Gauss quadrature points such that the GCL is satisfied. Ren and Xu et al. [38] introduced a DG-ALE method based on the gas-kinetic theory. In their method, the initial domain is taken as the reference domain, and the basis functions are mapped from this reference domain to the time-dependent physical domain. The computations are conducted in the physical domain. A space-time type integration is used to obtain the discretized equations and then the gas kinetic flux is computed to advance the solution. This method is shown to preserve the uniform flow automatically, and applied to several moving boundary problems.

In the current work, the reconstructed discontinuous Galerkin (rDG) method is extended to the ALE formulation, to simulate flow problems with moving or deforming grids. The Taylor basis functions are defined on the time-dependent physical domain, as a continuation of the rDG method in the Eulerian formulation. For better resolution at the wall of the airfoil, the curved elements are used in the whole domain. The third order temporal scheme ESDIRK3 (Explicit first stage, Single Diagonal coefficient, diagonally Implicit Runge-Kutta) is employed for time marching. To enforce the GCL, we follow a similar idea as in [37], by updating the grid velocity terms at Gauss quadrature points. The radial basis function (RBF) interpolation method has been chosen as the mesh smoothing algorithm to provide the mesh motion for the interior nodes, given the displacement or velocity at the boundary nodes. Numerical test cases are set up to demonstrate the accuracy and capability of the derived rDG-ALE method.

The remainder of this paper is organized as follows. The governing equations are presented in Section 2. The rDG formulation in ALE frame is derived in Section 3. Section 4 discusses how to satisfy the Geometric Conservation Law (GCL) condition. The RBF method for the mesh movement will be described in Section 5. Section 6 presents a set of numerical examples. Finally conclusions are given in Section 7.

2 Governing equations

The Navier-Stokes equations governing the unsteady compressible viscous flows can be expressed as

$$ \frac{\partial\mathbf{U}}{\partial t} +\frac{\partial\mathbf{F}_{k}(\mathbf{U})}{\partial x_{k}} =\frac{\partial\mathbf{G}_{k}(\mathbf{U},\nabla \mathbf{U})}{\partial x_{k}} $$

where the summation convention has been used. The conservative variable U, advective flux vector F and viscous flux vector G are defined by

$$ \mathbf{U}= \left(\begin{array}{l} \rho \\ \rho u_{i} \\ \rho e \end{array}\right) \hspace{0.4in} \mathbf{F}_{j}= \left(\begin{array}{l} \rho u_{j} \\ \rho u_{i} u_{j} + p\delta_{{ij}} \\ u_{j}(\rho e +p) \end{array}\right) \hspace{0.4in} \mathbf{G}_{j}= \left(\begin{array}{l} 0 \\ \tau_{{ij}} \\ u_{l}\tau_{{lj}}+q_{j} \end{array}\right) $$

Here ρ, p and e denote the density, pressure and specific total energy of the fluid, respectively, and ui is the velocity component of the flow in the coordinate direction xi. The pressure can be computed from the equation of state

$$ p=(\gamma -1)\rho\left(e-\frac{1}{2}u_{i} u_{i}\right) $$

which is valid for perfect gas. The ratio of the specific heats γ is assumed to be constant and equal to 1.4. The viscous stress tensor τij and heat flux vector qj are given by

$$ \tau_{{ij}} = \mu\left(\frac{\partial u_{i}}{\partial x_{j}} +\frac{\partial u_{j}}{\partial x_{i}} \right) -\frac{2}{3}\mu\frac{\partial u_{k}}{\partial x_{k}}\delta_{{ij}} \hspace{0.4in} q_{j} = \frac{1}{\gamma -1}\frac{\mu}{Pr}\frac{\partial T}{\partial x_{j}} $$

In the above equations, T is the temperature of the fluid, Pr the laminar Prandtl number, which is taken as 0.7 for air. μ represents the molecular viscosity, which can be determined through Sutherlands law

$$ \frac{\mu}{\mu_{0}}=\left(\frac{T}{T_{0}}\right)^{\frac{3}{2}} \frac{T_{0}+S}{T+S} $$

where μ0 is the viscosity at the reference temperature T0 and S=110K. The temperature T of the fluid is determined by

$$ T = \frac{p}{\rho R} $$

where R is the gas constant.

The Euler equations can be obtained if the effects of viscosity and thermal conduction are neglected in Eq. 1.

3 Reconstructed discontinuous Galerkin discretization

Since the grid velocity only contributes to and appears in the convective term, it’s sufficient to consider the compressible Euler equations here for deriving the ALE formulation. The differential governing equation can be written in the form

$$ \frac{\partial\mathbf{U}(\mathbf{x},t)}{\partial t} +\nabla \cdot \mathbf{F(\mathbf{U})} = 0 $$

where \(\frac {\partial }{\partial t}\) is the usual Eulerian time derivative.

Defining the (Taylor) basis functions ϕj associated with the moving volume \(\Omega _{e}^{t}\), multiplying ϕj on the equation above and integrating on the moving volume, one will get immediately

$$ \int_{\Omega_{e}^{t}}\phi_{j}\frac{\partial\mathbf{U}}{\partial t} d\Omega + \int_{\Omega_{e}^{t}}\phi_{j} \nabla\cdot\mathbf{F} d\Omega =0 $$

Using Reynolds Transport Theorem

$$ \begin{aligned} \frac{d}{dt}\int_{\Omega_{e}^{t}}\mathbf{U}\phi_{j} d\Omega &= \int_{\Omega_{e}^{t}}\frac{\partial \left(\mathbf{U}\phi_{j}\right)}{\partial t} d\Omega + \int_{\Omega_{e}^{t}}\nabla\cdot\left(\mathbf{U}\phi_{j} \mathbf{V}_{g}\right)d\Omega\\ &= \int_{\Omega_{e}^{t}}\phi_{j}\frac{\partial\mathbf{U}}{\partial t} d\Omega + \int_{\Omega_{e}^{t}}\mathbf{U}\frac{\partial \phi_{j}}{\partial t} d\Omega + \int_{\Gamma_{e}^{t}}\mathbf{U}\phi_{j} \mathbf{V}_{g}\cdot\mathbf{n} d\Gamma \end{aligned} $$

where Vg is the grid velocity, and the divergence theorem

$$ \int_{\Omega_{e}^{t}}\phi_{j} \nabla\cdot\mathbf{F} d\Omega +\int_{\Omega_{e}^{t}}\mathbf{F}\cdot\nabla\phi_{j} d\Omega = \int_{\Gamma_{e}^{t}}\phi_{j} \mathbf{F}\cdot\mathbf{n}d\Gamma $$

Eq. 8 becomes

$$ \frac{d}{dt}\int_{\Omega_{e}^{t}}\mathbf{U}\phi_{j} d\Omega + \int_{\Gamma_{e}^{t}}\phi_{j} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right)\cdot \mathbf{n} d\Gamma - \int_{\Omega_{e}^{t}} \left(\mathbf{F}\cdot\nabla\phi_{j} + \mathbf{U}\frac{\partial \phi_{j}}{\partial t} \right) d\Omega = 0 $$

The fundamental ALE relation for the total time derivative, Eulerian time derivative and the spatial gradient is

$$ \frac{d\phi}{d t} = \frac{\partial\phi}{\partial t} +\mathbf{V}_{g}\cdot \nabla\phi $$

We note that the total time derivative \(\frac {d}{d t}\) is with respect to the grid velocity, in contrast to the material derivative with respect to the fluid velocity. And also, the \(\frac {d}{d t}\) here is equivalent to the referential time derivative \(\frac {\partial {}}{\partial t}|_{X}\) in [38] where the subscript X was used to indicate fixing the mapping position in the initial mesh; in our case, although we are not performing an explicit mapping from the initial configuration to the time-dependent element as in [38], we are essentially using an implicit one-to-one mapping from the points (e.g., the Gauss quadratures) on a standard reference element to the grid coordinates in the time-dependent element. Thus in either case, we are tracking the grids when using this total time derivative, i.e., holding the grid point label fixed.

Plugging this relation into Eq. 11, we end up with the rDG-ALE formulation

$$ \frac{d}{dt}\int_{\Omega_{e}^{t}}\mathbf{U}\phi_{j} d\Omega + \int_{\Gamma_{e}^{t}}\phi_{j} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right)\cdot \mathbf{n} d\Gamma - \int_{\Omega_{e}^{t}} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right) \cdot\nabla\phi_{j} d\Omega - \int_{\Omega_{e}^{t}}\mathbf{U}\frac{d \phi_{j}}{d t} d\Omega = 0 $$

Note that Taylor basis functions [39] are used in the present work, which are defined on the time-dependent physical element, and therefore are time-dependent, i.e.,

$$\phi_{j} = \phi_{j}(t) $$

except for j=1,ϕ1=1 which is a constant and thus dϕ1/dt is zero everywhere and at any instant time. The resulting ALE formulation will be discretized in space using the reconstructed discontinuous Galerkin method as in the Eulerian formulation [18, 19, 22, 23, 27].

4 Geometric conservation law (GCL)

The Geometric Conservation Law (GCL) states that the fully discretized equations should preserve a constant solution under arbitrary mesh movement, i.e., given a uniform initial flow condition, the solution should be maintained by the devised ALE solver.

Consider the BDF1 temporal discretization scheme.

$$ \begin{aligned} \frac{1}{\Delta t}\left[ \int_{\Omega_{e}^{n+1}}\mathbf{U}^{n+1}\phi_{j}^{n+1} d\Omega -\int_{\Omega_{e}^{n}}\mathbf{U}^{n}\phi_{j}^{n} d\Omega \right] + \int_{\Gamma_{e}^{n+1}}\phi_{j}^{n+1} \left(\mathbf{F}^{n+1}-\mathbf{U}^{n+1}\mathbf{V}_{g}^{n+1}\right)\cdot \mathbf{n} d\Gamma \\ - \int_{\Omega_{e}^{n+1}} \left(\mathbf{F}^{n+1}-\mathbf{U}^{n+1}\mathbf{V}_{g}^{n+1}\right) \cdot\nabla\phi_{j}^{n+1} d\Omega - \int_{\Omega_{e}^{n+1}}\mathbf{U}^{n+1}\frac{d \phi_{j}^{n+1}}{d t} d\Omega = 0 \end{aligned} $$

Plugging a constant solution into the equation above leads to

$$ \begin{aligned} \frac{1}{\Delta t}\left[ \int_{\Omega_{e}^{n+1}}\phi_{j}^{n+1} d\Omega -\int_{\Omega_{e}^{n}}\phi_{j}^{n} d\Omega \right] = \int_{\Gamma_{e}^{n+1}}\phi_{j}^{n+1} \mathbf{V}_{g}^{n+1}\cdot \mathbf{n} d\Gamma \\ - \int_{\Omega_{e}^{n+1}} \mathbf{V}_{g}^{n+1} \cdot\nabla\phi_{j}^{n+1} d\Omega + \int_{\Omega_{e}^{n+1}}\frac{d \phi_{j}^{n+1}}{d t} d\Omega \end{aligned} $$

This is the GCL equation that needs to be satisfied by the rDG method with BDF1 scheme. Note that for a constant solution U, the Eulerian flux F vanishes due to its consistency property. Unfortunately, this equation will not hold in general, even at the DG(P0) (Finite Volume) level which corresponds to ϕ=1. To verify, plugging in the basis ϕ=1, the GCL equation reduces to

$$ \begin{aligned} \frac{1}{\Delta t}\left[ \Omega_{e}^{n+1} - \Omega_{e}^{n} \right] = \int_{\Gamma_{e}^{n+1}} \mathbf{V}_{g}\cdot \mathbf{n} d\Gamma \end{aligned} $$

where the mesh velocity is defined as

$$ \mathbf{V}_{g} = \frac{\mathbf{x}^{n+1} - \mathbf{x}^{n}}{\Delta t} $$

The GCL equation above for FV states that the volume change between two successively discretized time levels n and n+1, equals to the volume flux at the element interfaces at time level n+1 (time level n if using explicit time stepping). Unfortunately, this is not true in general.

Here we follow the idea from the work of Mavriplis et al. [37]. The major difference between the current work and that in [37] is that, the basis functions in [37] are defined on the reference element, while the Taylor-basis functions used in the current work are defined on the time-dependent physical element. This difference leads to two consequences. First, in [37], the substantial derivative of the basis functions with respect to the mesh motion will vanish, due to the definition of the basis function and the fact that the reference element is invariant in time– thus the basis functions simply move with the grid velocity and their values will never change. In contrast, for the Taylor-basis in this work, they are defined on the time-dependent element, and if we consider a quadrature point, although it also travels with the mesh velocity, the value of its basis function is changing in time inherently. Thus, an extra term containing the total derivative of the basis functions will appear in this formulation. Second, in [37], the solution expansion is performed on the reference element using the basis functions therein, thus the domain integral takes on a different form than this work, i.e., in [37] the inverse of the transformation Jacobian emerges when transforming the spatial gradient from reference element to physical element, while in the current work the spatial gradient on the physical element can be used directly without any transformation.

The idea of how to enforce the GCL condition stems from the space-time DG method. Performing a full integration on Eq. 13 in both space and time (–on a space-time element, as shown in Fig. 1) leads to

$$ \begin{aligned} \int_{\Omega_{e}^{n+1}}\mathbf{U}^{n+1}\phi_{j}^{n+1} d\Omega -\int_{\Omega_{e}^{n}}\mathbf{U}^{n}\phi_{j}^{n} d\Omega + \int_{t}^{t+\Delta t} \int_{\Gamma_{e}^{t}}\phi_{j} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right)\cdot \mathbf{n} d\Gamma dt \\ - \int_{t}^{t+\Delta t} \int_{\Omega_{e}^{t}} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right) \cdot\nabla\phi_{j} d\Omega dt - \int_{t}^{t+\Delta t} \int_{\Omega_{e}^{t}}\mathbf{U}\frac{d \phi_{j}}{d t} d\Omega dt = 0 \end{aligned} $$
Fig. 1
figure 1

Schematics for space-time integration at an edge (left) and cell (right)

The GCL equation for space-time DG method is then obtained by plugging in a constant solution

$$ \begin{aligned} \int_{\Omega_{e}^{n+1}}\phi_{j}^{n+1} d\Omega -\int_{\Omega_{e}^{n}}\phi_{j}^{n} d\Omega = \int_{t}^{t+\Delta t} \int_{\Gamma_{e}^{t}}\phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} d\Gamma dt \hspace{1.0in}\\ - \int_{t}^{t+\Delta t} \int_{\Omega_{e}^{t}} \mathbf{V}_{g} \cdot\nabla\phi_{j} d\Omega dt + \int_{t}^{t+\Delta t} \int_{\Omega_{e}^{t}}\frac{d \phi_{j}}{d t} d\Omega dt \end{aligned} $$

This GCL equation is automatically satisfied, provided enough Gauss quadrature points are employed in both space and time to conduct the numerical integration.

Inspired from this property of space-time integration, a straightforward way to satisfy the BDF1 GCL equation is to modify the right-hand side of Eq. 15 such that it works the same way as its space-time DG counterpart Eq. 19. More explicitly, we want to have the following conditions hold

$$ \left\{ \begin{aligned} \int_{\Gamma_{e}^{n+1}}\phi_{j}^{n+1} \mathbf{V}_{g}^{n+1}\cdot \mathbf{n} d\Gamma &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \int_{\Gamma_{e}^{t}}\phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} d\Gamma dt \\ \int_{\Omega_{e}^{n+1}} \mathbf{V}_{g}^{n+1} \cdot\nabla\phi_{j}^{n+1} d\Omega &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \int_{\Omega_{e}^{t}} \mathbf{V}_{g} \cdot\nabla\phi_{j} d\Omega dt \\ \int_{\Omega_{e}^{n+1}}\frac{d \phi_{j}^{n+1}}{d t} d\Omega &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \int_{\Omega_{e}^{t}}\frac{d \phi_{j}}{d t} d\Omega dt \end{aligned} \right. $$

However, as addressed in [37], although the values for these spatial integrals of grid velocities can be obtained, they do not yield grid velocities themselves, and hence can not be directly used in evaluating the integrals in Eq. 14.

Recall that eventually the numerical integration will be performed on the reference element where the Gauss quadrature points reside, to this end, it’s beneficial to write the above equations in terms of numerical integration on the reference element.

For BDF1 equation

$$ {}\begin{aligned} \frac{1}{\Delta t}\left[ \int_{\widehat{\Omega}_{e}}\mathbf{U}^{n+1}\phi_{j}^{n+1} J^{n+1} d\widehat{\Omega} \,-\,\int_{\widehat{\Omega}_{e}}\mathbf{U}^{n}\phi_{j}^{n} J^{n} d\widehat{\Omega} \right] + \int_{\widehat{\Gamma}_{e}}\phi_{j}^{n+1} \left(\mathbf{F}^{n+1}-\mathbf{U}^{n+1}\mathbf{V}_{g}^{n+1}\right)\cdot \mathbf{n} J^{n+1} d\widehat{\Gamma} \\ - \int_{\widehat{\Omega}_{e}} \left(\mathbf{F}^{n+1}-\mathbf{U}^{n+1}\mathbf{V}_{g}^{n+1}\right) \cdot\nabla\phi_{j}^{n+1} J^{n+1} d\widehat{\Omega} - \int_{\widehat{\Omega}_{e}}\mathbf{U}^{n+1}\frac{d \phi_{j}^{n+1}}{d t} J^{n+1} d\widehat{\Omega} = 0 \end{aligned} $$

and for space-time DG

$$ \begin{aligned} \int_{\widehat{\Omega}_{e}}\mathbf{U}^{n+1}\phi_{j}^{n+1} J^{n+1} d\widehat{\Omega} -\int_{\widehat{\Omega}_{e}}\mathbf{U}^{n}\phi_{j}^{n} J^{n} d\widehat{\Omega} + \int_{t}^{t+\Delta t} \int_{\widehat{\Gamma}_{e}}\phi_{j} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right)\cdot \mathbf{n} J d\widehat{\Gamma} dt \\ - \int_{t}^{t+\Delta t} \int_{\widehat{\Omega}_{e}} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right) \cdot\nabla\phi_{j} J d\widehat{\Omega} dt - \int_{t}^{t+\Delta t} \int_{\widehat{\Omega}_{e}}\mathbf{U}\frac{d \phi_{j}}{d t} J d\widehat{\Omega} dt = 0 \end{aligned} $$

Also the two GCL equations corresponding to the above discretizations can be rewritten accordingly as

$$ \begin{aligned} \frac{1}{\Delta t}\left[ \int_{\widehat{\Omega}_{e}}\phi_{j}^{n+1} J^{n+1}d\widehat{\Omega} -\int_{\widehat{\Omega}_{e}}\phi_{j}^{n} J^{n}d\widehat{\Omega} \right] = \int_{\widehat{\Gamma}_{e}}\phi_{j}^{n+1} \mathbf{V}_{g}^{n+1}\cdot \mathbf{n} J^{n+1}d\widehat{\Gamma} dt \\ - \int_{\widehat{\Omega}_{e}} \mathbf{V}_{g}^{n+1} \cdot\nabla\phi_{j}^{n+1} J^{n+1}d\widehat{\Omega} dt + \int_{\widehat{\Omega}_{e}}\frac{d \phi_{j}^{n+1}}{d t} J^{n+1}d\widehat{\Omega} dt \end{aligned} $$


$$ \begin{aligned} \int_{\widehat{\Omega}_{e}}\phi_{j}^{n+1} J^{n+1}d\widehat{\Omega} -\int_{\widehat{\Omega}_{e}}\phi_{j}^{n} J^{n}d\widehat{\Omega} = \int_{t}^{t+\Delta t} \int_{\widehat{\Gamma}_{e}}\phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} Jd\widehat{\Gamma} dt \\ - \int_{t}^{t+\Delta t} \int_{\widehat{\Omega}_{e}} \mathbf{V}_{g} \cdot\nabla\phi_{j} Jd\widehat{\Omega} dt + \int_{t}^{t+\Delta t} \int_{\widehat{\Omega}_{e}}\frac{d \phi_{j}}{d t} Jd\widehat{\Omega} dt \end{aligned} $$

And the constraints we want to enforce can be rewritten as well

$$ \left\{ \begin{aligned} \int_{\widehat{\Gamma}_{e}}\phi_{j}^{n+1} \mathbf{V}_{g}^{n+1}\cdot \mathbf{n} J^{n+1}d\widehat{\Gamma} &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \int_{\widehat{\Gamma}_{e}}\phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} Jd\widehat{\Gamma} dt \\ \int_{\widehat{\Omega}_{e}} \mathbf{V}_{g}^{n+1} \cdot\nabla\phi_{j}^{n+1} J^{n+1}d\widehat{\Omega} &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \int_{\widehat{\Omega}_{e}} \mathbf{V}_{g} \cdot\nabla\phi_{j} Jd\widehat{\Omega} dt \\ \int_{\widehat{\Omega}_{e}}\frac{d \phi_{j}^{n+1}}{d t} J^{n+1}d\widehat{\Omega} &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \int_{\widehat{\Omega}_{e}}\frac{d \phi_{j}}{d t} Jd\widehat{\Omega} dt \end{aligned} \right. $$

We require the following conditions hold at each Gauss quadrature point

$$ \left\{ \begin{aligned} \left[ \phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} J \right]^{n+1} &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} Jdt \\ \left[ \mathbf{V}_{g} \cdot\nabla\phi_{j} J \right]^{n+1} &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \mathbf{V}_{g} \cdot\nabla\phi_{j} J dt \\ \left[ \frac{d \phi_{j}}{d t} J \right]^{n+1} &= \frac{1}{\Delta t} \int_{t}^{t+\Delta t} \frac{d \phi_{j}}{d t} J dt \end{aligned} \right. $$

For the computation of the total time derivative of the basis functions, the finite difference could be used. After plugging these grid velocity terms into Eq. 14, the right-hand side could be evaluated at time level n+1.

For the higher-order ESDIRK temporal scheme (Explicit first stage, Single Diagonal coefficient, diagonally Implicit Runge-Kutta) [27, 40, 41], we have similarly

$$ {}\begin{aligned} \frac{1}{\Delta t}\left[ \int_{\widehat{\Omega}_{e}}\mathbf{U}^{s}\phi_{j}^{s} J^{s} d\widehat{\Omega} -\int_{\widehat{\Omega}_{e}}\mathbf{U}^{n}\phi_{j}^{n} J^{n} d\widehat{\Omega} \right] + \sum_{r=1}^{S}\alpha_{{sr}} \int_{\widehat{\Gamma}_{e}} \left[\phi_{j} \left(\mathbf{F}-\mathbf{U}\mathbf{V}_{g}\right)\cdot \mathbf{n} J \right]^{r} d\widehat{\Gamma} \\ - \sum_{r=1}^{S}\alpha_{{sr}} \int_{\widehat{\Omega}_{e}} \left[ \left(\mathbf{F} -\mathbf{U}\mathbf{V}_{g}\right) \cdot\nabla\phi_{j} J \right]^{r} d\widehat{\Omega} - \sum_{r=1}^{S}\alpha_{{sr}} \int_{\widehat{\Omega}_{e}} \left[ \mathbf{U}\frac{d \phi_{j}}{d t} J \right]^{r} d\widehat{\Omega} = 0 \hspace{0.2in} s = 1,2,...,S \end{aligned} $$

where each stage corresponds to time ts=tn+csΔt. Similarly, by comparing each stage of the ESDIRK scheme with the space-time DG formulation, the following conditions could be obtained, such that each stage will satisfy the GCL.

$$ \left\{ \begin{aligned} \sum_{r=1}^{S}\alpha_{{sr}} \left[ \phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} J \right]^{r} &= \frac{1}{\Delta t} \int_{t}^{t+c_{s}\Delta t} \phi_{j} \mathbf{V}_{g}\cdot \mathbf{n} Jdt \\ \sum_{r=1}^{S}\alpha_{{sr}} \left[ \mathbf{V}_{g} \cdot\nabla\phi_{j} J \right]^{r} &= \frac{1}{\Delta t} \int_{t}^{t+c_{s}\Delta t} \mathbf{V}_{g} \cdot\nabla\phi_{j} J dt \\ \sum_{r=1}^{S}\alpha_{{sr}} \left[ \frac{d \phi_{j}}{d t} J \right]^{r} &= \frac{1}{\Delta t} \int_{t}^{t+c_{s}\Delta t} \frac{d \phi_{j}}{d t} J dt \end{aligned} \right. \hspace{0.4in} s = 1,2,...,S $$

Note that these conditions are required for each Gauss quadrature point. For the ESDIRK scheme, this system of equations can be easily solved by forward substitution. We choose the third order ESDIRK3 scheme for this work.

5 Mesh motion

In both the curved mesh generation and the pure mesh movement, the motion of the boundary nodes is required to propagate to the interior ones properly, in order to avoid invalid elements near the boundary and to maintain good mesh quality. That is, given the displacements of the boundary nodes, it is desired to obtain the displacements for all the interior nodes. With the motion of all the nodes in the mesh determined, one can then move the mesh coordinates accordingly to accommodate the physics solver, e.g., the ALE formulation for the fluid flow.

There are several types of methods in the literature dealing with the movement of the interior nodes. Model based on physics (solid mechanics) is a popular one. Examples are linear elasticity [7], non-linear elasticity [8], linear spring analogy [42] and torsion spring analogy [43]. This type of method requires the solution of a system of equations, elliptic (Poisson-type) partial differential equations (PDE) in the case of the linear elasticity model, thus is relatively computationally expensive. The second type is the interpolation method or algebraic method, including radial basis function (RBF) interpolation [9], explicit interpolation [44] and Delaunay graph mapping [12]. Kashi and Luo [10, 11] compared the performance between RBF interpolation and some of the other methods. It is found that the RBF method, based on the interpolation technique which is relatively fast, can give good and robust results in general, especially for large or rotational deformations.

In the following moving airfoil test cases, the displacement or grid velocity of the wall boundary are provided in advance. The RBF interpolation method is then used to compute the deformation of the interior nodes, such that the nodes on the airfoil are in a rigid motion, and those far away from the wall are kept static. We note that if a curved mesh is to be used, then the high order nodes (e.g., midpoint of an edge in 2D) will also come into play.

Here we briefly recall the methodology of the RBF method. Interested readers are encouraged to refer to [10, 11] and references therein for more information. The RBF method states that, given Nb boundary points in the mesh, we require the displacement at any point x (both boundary nodes and the interior nodes) in the mesh satisfy

$$ \mathbf{s}(\mathbf{x}) = \sum_{j=1}^{N_{b}} \mathbf{a}_{j}\phi\left(\lVert \mathbf{x}-\mathbf{x}_{{bj}}\rVert\right) $$

where ϕ(r) is the basis function, s represents the displacement vector field with 2 components x- and y- in 2D (x-, y- and z- in 3D), and aj are the coefficients to be determined. Note that the RBF method will be applied to a scalar field, i.e., to each component individually. In this work, we choose the modified Wendland’s C2 function [45] as the basis function

$$ \phi(r) = \left\{\begin{array}{lll} \left(1-\frac{r}{r_{s}}\right)^{4}\left(4\frac{r}{r_{s}} + 1\right) & r \leq r_{s} \\ 0 & r > r_{s} \end{array}\right. $$

where rs is called the support radius, indicating how far the boundary deformation will propagate to the interior. Given the displacement of the boundary nodes, by substituting these known coordinates and displacements into Eq. 29, we can construct a linear system of equations for the coefficients aj in each dimension in space

$$ \mathbf{s}(\mathbf{x}_{{bi}}) = \sum_{j=1}^{N_{b}} \mathbf{a}_{j}\phi\left(\lVert \mathbf{x}_{{bi}}-\mathbf{x}_{{bj}}\rVert\right) $$

or rewritten as

$$ \mathbf{A}\mathbf{a}=\mathbf{s} $$

When using Wendland’s C2 function, the resulting symmetric system is claimed to be positive definite [45], thus can be easily solved by conjugate gradient (CG) or Choleskey decomposition methods, or even direct methods. After solving the linear system, we can evaluate the displacement for any interior nodes using Eq. 29.

6 Numerical examples

In all the following test cases, the 3rd-order accurate temporal discretization ESDIRK3 scheme is used, and the curved elements (Q2) are chosen for all the grids, in order to test the applicability of the rDG-ALE method.

6.1 Uniform flow

The first test case is the uniform flow on deforming grids. The initial mesh is uniform on a square domain defined in 0≤x,y≤1.0, and the mesh motion is prescribed by

$$\mathbf{x}(t) = \mathbf{x}_{0} + \mathbf{dx}(t) $$


$$dx(t) = \frac{A_{x}L_{x}}{T}\text{sin}\left(\frac{n_{t}\pi t}{T}\right)\text{sin}\left(\frac{n_{x}\pi x}{L_{x}}\right)\text{sin}\left(\frac{n_{y}\pi y}{L_{y}}\right) $$
$$dy(t) = \frac{A_{y}L_{y}}{T}\text{sin}\left(\frac{n_{t}\pi t}{T}\right)\text{sin}\left(\frac{n_{x}\pi x}{L_{x}}\right)\text{sin}\left(\frac{n_{y}\pi y}{L_{y}}\right) $$

where Lx=Ly=1.0 and T=1.0 are the reference length and time, Ax=Ay=0.025 is the deformation amplitude, nx=ny=4 and nt=0.5 are for the deformation frequency in space and time. The mesh deformation process is illustrated in Fig. 2. The L2 norm of the numerical error is measured and observed to be around 10−12, thus verifying the Geometric Conservation Law (GCL).

Fig. 2
figure 2

Mesh deformation for the uniform flow test case

6.2 Convection of an isentropic vortex

The convection of a 2D inviscid isentropic vortex is considered in this test case. All the three spatial discretization methods, DG(P1), rDG(P1P2) and DG(P2) are employed in the computations. The square domain 0≤x,y≤1.0 is considered for this test case as well, with the same mesh deformation configuration as in the uniform flow case.

The mean flow is set as (ρ,u,v,p,T)=(1.0,0.5,0.0,1.0,1.0). At t0=0, the flow is perturbed by an isentropic vortex centered at (x0,y0)=(0.25,0.25) with

$$\begin{array}{*{20}l} \delta T &= -\frac{\alpha^{2}(\gamma-1)}{16\phi\gamma\pi^{2}}e^{2\phi\left(1-r^{2}\right)}, \\ \delta u &= -\frac{\alpha}{2\pi}(y-y_{0})e^{\phi\left(1-r^{2}\right)},\\ \delta v &= \frac{\alpha}{2\pi}(x-x_{0})e^{\phi\left(1-r^{2}\right)}, \end{array} $$

where \(r=\sqrt {(x-x_{0})^{2}+(y-y_{0})^{2}}\) and ϕ=1.0,α=4.0,γ=1.4.

The other conservative variables can be determined by the follows:

$$\begin{array}{*{20}l} \rho &= \left(T_{\infty}+\delta T\right)^{1/(\gamma-1)}, \\ u &= u_{\infty} + \delta u, \\ v &= v_{\infty} + \delta v,\\ p &= \rho^{\gamma}. \end{array} $$

The initial mesh and density distribution are shown in Fig. 3, and the computed solution is shown in Fig. 4, for DG(P1) and rDG(P1P2), respectively. A mesh refinement study is performed, in order to evaluate the convergence rate for different spatial discretization schemes. The computed L2 norm for density is shown in Fig. 5. We can see the desired orders of accuracy are achieved, and by comparing rDG(P1P2) with DG(P1), we can see rDG(P1P2) not only has higher convergence rate, but the absolute error for rDG(P1P2) is also smaller than the counterpart of DG(P1). Figure 6 presents the spatial error versus the number of degrees of freedoms (dofs) for DG(P1) and rDG(P1P2). One can see that for a given number of dofs, the numerical error of rDG(P1P2) is smaller than that of DG(P1), which indicates that rDG(P1P2) is computationally more efficient.

Fig. 3
figure 3

Initial mesh and density distribution for the isentropic vortex problem

Fig. 4
figure 4

Computed density for DG(P1) and rDG(P1P2) discretizations of the isentropic vortex problem

Fig. 5
figure 5

Spatial convergence rates for DG(P1), rDG(P1P2) and DG(P2) discretizations of the isentropic vortex problem

Fig. 6
figure 6

Degrees of freedom versus spatial error for DG(P1), rDG(P1P2) and DG(P2) discretizations of the isentropic vortex problem

To demonstrate the temporal order of accuracy of the ESDIRK3 scheme, we perform a time-step refinement study, and compute the numerical errors. The results are shown in Fig. 7. We can see that the designed 3rd-order of convergence has been achieved.

Fig. 7
figure 7

Temporal convergence rate for ESDIRK3 scheme on the isentropic vortex problem

6.3 Oscillatory NACA0012 airfoil

Pitching and heaving are typical motions for an airfoil. In this test case, we consider the flow over a NACA0012 airfoil harmonically pitching about the quarter chord length, in order to show the capability of the rDG-ALE method. The Mach number of the freestream condition is Ma=0.755, Reynolds number Re=5.5×106 and the specific heat ratio γ=1.4. The mesh motion is dictated by the time-dependent angle of attack (AoA) of the airfoil: α(t)=αm+α0sin(ωt), where αm=0.016 degree is the mean incidence, α0=2.51 degree the pitching amplitude, and the reduced frequency ωc/(2U)=0.0814, with c the chord length and U the magnitude of the freestream velocity. The computational domain is a circle region with radius R=20, and the leading edge of the airfoil is at the origin (x0,y0)=(0,0), thus pitching axis at (xp,yp)=(0.25,0). The initial mesh and zoomed-in grids near the airfoil at two different angles of attack are shown in Figs. 8 and 9, respectively. Given the above harmonic motion for the points at wall boundary and the static points at the far-filed boundary, the movement of the interior nodes is interpolated from the RBF method. With the airfoil motion and the flow field being periodic, the unsteady solutions after a reasonably long time of computation should be used for analysis.

Fig. 8
figure 8

Initial mesh for the pitching NACA0012 case

Fig. 9
figure 9

Zoomed-in mesh near the airfoil. left: initial mesh; right: mesh at maximum angle of attack

As in the experiments by Landon [46], the normal force coefficients Cn and pitching moment coefficients Cm are defined as

$$C_{n} = \int_{0}^{1} \left(C_{p}^{L} - C_{p}^{U}\right)d(x/c) $$
$$C_{m} = \int_{0}^{1} \left(C_{p}^{L} - C_{p}^{U}\right)(0.25-(x/c))d(x/c) $$


$$C_{p} = \frac{p-p_{\infty}}{\frac{1}{2}\rho_{\infty} U_{\infty}^{2}} $$

is the pressure coefficient, and the subscript denotes the freestream quantity, while superscript L and U denote the lower and upper surfaces respectively.

The computed normal force coefficients and pitching moment coefficients, with respect to the angles of attack and time, respectively, are shown in Figs. 10 and 11. The numerical solutions are in good agreement with the experimental data by Landon [46]. Note that while the experiment is viscous, we treat this problem as an inviscid one, which may lead to some difference between the numerical solution and the experimental data.

Fig. 10
figure 10

Normal force coefficients (a) and pitching moment coefficients (b) versus angles of attack (in degree) of the pitching NACA0012 case

Fig. 11
figure 11

Time history for normal force coefficients (a) and pitching moment coefficients (b) of the pitching NACA0012 case

6.4 Pitching NACA0015 airfoil

The laminar flow around a rapidly pitching NACA0015 airfoil is considered in this test case. The freestream has a Mach number Ma=0.2 with specific heat ratio γ=1.4. The Reynolds number based on the chord length and the freestream condition is Re=10,000. The pitching axis is at a quarter chord length from the leading edge, and the mesh motion is prescribed by the pitching rate of the airfoil: ω(t)=ω0(1.0−exp(−4.6t/t0)) rad/s, where t0=c/U is the reference time, ω0=0.6U/c, with c being the chord length and U the freestream velocity. The flow field computed at zero angle of attack is used as the initial condition for this unsteady simulation.

The computational domain is (−15,15)×(−15,15), with the airfoil located at the center. The initial mesh and the zoomed-in mesh near the airfoil at three different angles of attack are shown in Fig. 12. As usual, the RBF method is used to compute the movement of the interior mesh nodes, i.e., the nodes on the airfoil move according to the above variation of the angle of attack, while those at far-field are kept static. It can be seen that the mesh quality near the wall is well maintained, even at a large angle of attack. Two sets of curved grids are used in this numerical experiment. For the coarse mesh, the minimum and maximum wall normal spacings are 0.005 and 0.008, respectively, with 180 nodes on the airfoil, while for the fine mesh, the minimum and maximum normal spacings are 0.00037 and 0.0006, with 200 nodes on the airfoil.

Fig. 12
figure 12

Initial mesh and mesh at three different angles of attack for the pitching NACA0015 case

In Fig. 13, the instantaneous normalized vorticities ωzc/U at three different angles of attack are presented. It can be seen the vorticities near the wall of the airfoil formed and transported towards downstream. In Fig. 14, the computed lift coefficients and drag coefficients are compared with the simulation data from Visbal et al. [47] and Ren and Xu et al. [38]. From the comparison we can see that the computed results with coarse mesh are in good agreement with the reference data, while those on the fine mesh have relatively large discrepancies with the references, especially for the lift coefficients. In general, fine mesh should better capture the flow structures due to its finer resolution. While the reason for the occurrence of this phenomenon is not quite clear and is still under investigation, there could be a number of factors that might contribute, for example, as pointed out in [38], how to compute the mesh velocity at the cell interface has a significant effect on the numerical solution, and a variable mesh velocity along cell interface is necessary for a high order method, after comparing the results from a piecewise constant grid velocity and a variable mesh velocity [38]. In the current work, a quadratic interpolation from the three nodes of an interface (two end nodes and one midpoint) is used to obtain the variable mesh velocities.

Fig. 13
figure 13

Normalized vorticity contour at three different angles of attack for the pitching NACA0015 case

Fig. 14
figure 14

Lift coefficients and drag coefficients versus angles of attack for the pitching NACA0015 case

6.5 Plunging SD7003 airfoil

The flow over a moving SD7003 airfoil has been investigated both experimentally and numerically in the literature. McGowan et al. [48, 49] conducted a set of experiments on the purely plunging or pitching SD7003 airfoil, using particle image velocimetry (PIV) in a water tunnel, besides, the numerical solutions from both CFL3D and an immersed boundary method are compared with the experimental data. Visbal et al. [50] performed the computations in which the grid is moved in a rigid fashion, as opposed to the smoothing or interpolation approaches, e.g., the RBF method.

In this work, the flow over the high-frequency plunging SD7003 airfoil is simulated using the rDG-ALE method. The Reynolds number based on the chord length and the freestream velocity is Re=10,000, and the specific heat ratio γ=5/3. The airfoil is set at a static angle of attack α0=4 degree. The plunging motion is prescribed as h(t)=h0sin(2kUt/c) where h0=0.05c is the plunging amplitude and k=3.93 is the reduced frequency, with c the chord length and U the freestream velocity. Although the motion-induced angle of attack could be as high as 21.5 degree which leads to unsteady separation and the generation of dynamic-stall-like vortices at the leading edge, the transition effects are observed to be minor for this low Reynolds number (Re=10,000) [50]. To show the compressibility effect for this test case, we choose two Mach numbers, Ma=0.2 and 0.05, as in Ren and Xu’s paper [38].

The computational domain is a circle region with radius R=20. Figure 15 shows the initial mesh and zoomed-in mesh. The number of nodes on the airfoil is 200 and the wall normal spacing is approximately 0.0006. The time-dependent lift coefficients and drag coefficients are compared with the experimental data from McGowan et al. [48, 49]., and shown in Fig. 16. We can see that at Ma=0.05 the lift coefficient has an excellent agreement with the experimental data, while a phase lag is observed for both the lift and drag coefficients at Ma=0.2. The computed vorticities are also compared with the experimental data, shown in Figs. 17, 18, 19 and 20, respectively, for two time instances. We can see they agree well with each other.

Fig. 15
figure 15

Zoomed-in mesh near the airfoil of the plunging SD7003 case. left: initial mesh; right: mesh at maximum angle of attack

Fig. 16
figure 16

Lift coefficients (a) and drag coefficients (b) versus normalized time for the plunging SD7003 case

Fig. 17
figure 17

Comparison of normalized vorticities with experiment at t=0T for the plunging SD7003 case

Fig. 18
figure 18

Comparison of normalized vorticities with experiment at t=1/4T for the plunging SD7003 case

Fig. 19
figure 19

Comparison of normalized vorticities with experiment at t=2/4T for the plunging SD7003 case

Fig. 20
figure 20

Comparison of normalized vorticities with experiment at t=3/4T for the plunging SD7003 case

7 Conclusions

A reconstructed discontinuous Galerkin method has been presented for solving the unsteady compressible Navier-Stokes equations in an arbitrary Lagrangian-Eulerian (ALE) formulation on moving and deforming curved grids. The Taylor basis functions used in the rDG method are defined on the time- dependent physical space, where the GCL condition is ensured by modifying the grid velocity terms on the right-hand side of the discretized equations. The radial basis function (RBF) interpolation method is developed to provide the mesh motion for the interior nodes, given the motion of the boundary nodes. A third order ESDIRK3 integration method is used to advance solutions in time. The developed rDG method has been assessed for a number of benchmark test cases. The numerical results obtained by the rDG method are compared with the available experimental data and reference solutions in the literature, demonstrating that the developed rDG-ALE method is able to achieve the designed spatial and temporal orders of accuracy and provides an effective approach for solving moving or deforming domain problems.

Availability of data and materials

Datasets will be deposited in public availabe repositiries.


  1. Hirt C, Amsden AA, Cook J (1974) An arbitrary Lagrangian-Eulerian computing method for all flow speeds. J Comput Phys 14(3):227–253.

    Article  Google Scholar 

  2. Waltz J, Morgan NR, Canfield TR, Charest MR, Risinger L, Wohlbier JG (2014) A three-dimensional finite element arbitrary Lagrangian–Eulerian method for shock hydrodynamics on unstructured grids. Comput Fluids 92:172–187.

    Article  MathSciNet  Google Scholar 

  3. Waltz J (2013) Operator splitting and time accuracy in Lagrange plus remap solution methods. J Comput Phys 253:247–258.

    Article  MathSciNet  Google Scholar 

  4. Morgan NR, Waltz JI, Burton DE, Charest MR, Canfield TR, Wohlbier JG (2015) A point-centered arbitrary Lagrangian Eulerian hydrodynamic approach for tetrahedral meshes. J Comput Phys 290:239–273.

    Article  MathSciNet  Google Scholar 

  5. Luo H, Baum JD, Löhner R (2004) On the computation of multi-material flows using formulation. J Comput Phys 194(1):304–328.

    Article  MathSciNet  Google Scholar 

  6. Chiravalle V, Morgan N (2017) A 3D finite element ALE method using an approximate Riemann solution. Int J Numer Methods Fluids 83(8):642–663.

    Article  MathSciNet  Google Scholar 

  7. Hartmann R, Leicht T (2015) High-order unstructured grid generation and discontinuous Galerkin discretization applied to a 3D high-lift configuration In: 53rd AIAA Aerospace Sciences Meeting (SciTech 2015), AIAA 2015-0819, Kissimmee, Florida.

  8. Persson P-O, Peraire J (2009) Curved mesh generation and mesh refinement using lagrangian solid mechanics In: 47th AIAA Aerospace Sciences Meeting.

  9. de Boer A, van der Schoot M, Bijl M (2007) Mesh deformation based on radial basis function interpolation. Comput Struct 85:784–795.

    Article  Google Scholar 

  10. Kashi A, Luo H (2016) Curved mesh generation using radial basis functions In: 46th AIAA Fluid Dynamics Conference, 3179.

  11. Kashi A (2016) Techniques for mesh movement and curved mesh generation for computational fluid dynamics.. Dissertation, North Carolina State University.

  12. Liu X, Qin N, Xia H (2006) Fast dynamic grid deformation based on Delaunay graph mapping. J Comput Phys 211:405–423.

  13. Reed WH, Hill T (1973) Triangular mesh methods for the neutron transport equation, Tech. Rep. Los Alamos Report LA-UR-73-479.

  14. Dumbser M, Balsara DS, Toro EF, Munz C-D (2008) A unified framework for the construction of one-step finite volume and discontinuous Galerkin schemes on unstructured meshes. J Comput Phys 227(18):8209–8253.

    Article  MathSciNet  Google Scholar 

  15. Dumbser M, Zanotti O (2009) Very high order PNPM schemes on unstructured meshes for the resistive relativistic MHD equations. J Comput Phys 228(18):6991–7006.

    Article  MathSciNet  Google Scholar 

  16. Dumbser M (2010) Arbitrary high order PNPM schemes on unstructured meshes for the compressible Navier–Stokes equations. Comput Fluids 39(1):60–76.

    Article  MathSciNet  Google Scholar 

  17. van Leer B, Lo M, van Raalte M (2007) A discontinuous Galerkin method for diffusion based on recovery In: 18th AIAA Computational Fluid Dynamics Conference, Miami, Florida, USA, no. AIAA Paper No. 2007-4083.

  18. Luo H, Luo L, Nourgaliev R, Mousseau VA, Dinh N (2010) A reconstructed discontinuous Galerkin method for the compressible Navier–Stokes equations on arbitrary grids. J Comput Phys 229(19):6961–6978.

    Article  MathSciNet  Google Scholar 

  19. Luo H, Xia Y, Nourgaliev R (2011) A class of reconstructed discontinuous Galerkin methods in computational fluid dynamics In: International Conference on Mathematics and Computational Methods Applied to Nuclear Science and Engineering (M&C2011), Brazil.

  20. Zhang L, Wei L, Lixin H, Xiaogang D, Hanxin Z (2012) A class of hybrid DG/FV methods for conservation laws I: Basic formulation and one-dimensional systems. J Comput Phys 231(4):1081–1103.

    Article  MathSciNet  Google Scholar 

  21. Zhang L, Wei L, Lixin H, Xiaogang D, Hanxin Z (2012) A class of hybrid DG/FV methods for conservation laws II: Two-dimensional cases. J Comput Phys 231(4):1104–1120.

    Article  MathSciNet  Google Scholar 

  22. Cheng J, Liu T, Luo H (2016) A hybrid reconstructed discontinuous Galerkin method for compressible flows on arbitrary grids. Comput Fluids 139:68–79.

    Article  MathSciNet  Google Scholar 

  23. Luo H, Xiao H, Nourgaliev R, Cai R (2011) A comparative study of different reconstruction schemes for a reconstructed discontinuous Galerkin method on arbitrary grids In: 20th AIAA Computational Fluid Dynamics Conference, Honolulu, Hawaii, USA, no. AIAA Paper No. 2011-3839.

  24. Xia Y, Luo H, Nourgaliev R (2014) An implicit Hermite WENO reconstruction-based discontinuous Galerkin method on tetrahedral grids. Comput Fluids 96:406–421.

    Article  MathSciNet  Google Scholar 

  25. Xia Y, Luo H, Frisbey M, Nourgaliev R (2014) A set of parallel, implicit methods for a reconstructed discontinuous Galerkin method for compressible flows on 3D hybrid grids. Comput Fluids 98:134–151.

    Article  MathSciNet  Google Scholar 

  26. Liu X, Xuan L, Xia Y, Luo H (2017) A reconstructed discontinuous Galerkin method for the compressible Navier-Stokes equations on three-dimensional hybrid grids. Comput Fluids 152:217–230.

    Article  MathSciNet  Google Scholar 

  27. Wang C, Cheng J, Berndt M, Carlson N, Luo H (2018) Application of nonlinear Krylov acceleration to a reconstructed discontinuous Galerkin method for compressible flows. Comput Fluids 163:32–49.

    Article  MathSciNet  Google Scholar 

  28. van der Vegt JJ, Xu Y (2007) Space–time discontinuous Galerkin method for nonlinear water waves. J Comput Phys 224(1):17–39.

    Article  MathSciNet  Google Scholar 

  29. Rhebergen S, Cockburn B (2012) A space–time hybridizable discontinuous Galerkin method for incompressible flows on deforming domains. J Comput Phys 231(11):4185–4204.

    Article  MathSciNet  Google Scholar 

  30. van der Vegt JJ, Van der Ven H (2002) Space?time discontinuous Galerkin finite element method with dynamic grid motion for inviscid compressible flows: I. General formulation. J Comput Phys 182(2):546–585.

    Article  MathSciNet  Google Scholar 

  31. Van der Ven H, van der Vegt JJ (2002) Space-time discontinuous Galerkin finite element method with dynamic grid motion for inviscid compressible flows: II. Efficient flux quadrature. Comput Methods Appl Mech Eng 191(41-42):4747–4780.

    Article  MathSciNet  Google Scholar 

  32. Klaij CM, van der Vegt JJ, van der Ven H (2006) Space–time discontinuous Galerkin method for the compressible Navier–Stokes equations. J Comput Phys 217(2):589–611.

    Article  MathSciNet  Google Scholar 

  33. Wang L, Persson P-O (2015) A high-order discontinuous Galerkin method with unstructured space–time meshes for two-dimensional compressible flows on domains with large deformations. Comput Fluids 118:53–68.

    Article  MathSciNet  Google Scholar 

  34. Persson P-O, Bonet J, Peraire J (2009) Discontinuous Galerkin solution of the Navier–Stokes equations on deformable domains. Comput Methods Appl Mech Eng 198(17):1585–1595.

    Article  Google Scholar 

  35. Lomtev I, Kirby R, Karniadakis G (1999) A discontinuous Galerkin ale method for compressible viscous flows in moving domains. J Comput Phys 155(1):128–159.

    Article  MathSciNet  Google Scholar 

  36. Nguyen V-T (2010) An arbitrary Lagrangian–Eulerian discontinuous Galerkin method for simulations of flows over variable geometries. J Fluids Struct 26(2):312–329.

    Article  Google Scholar 

  37. Mavriplis DJ, Nastase CR (2011) On the geometric conservation law for high-order discontinuous Galerkin discretizations on dynamically deforming meshes. J Comput Phys 230(11):4285–4300.

    Article  MathSciNet  Google Scholar 

  38. Ren X, Xu K, Shyy W (2016) A multi-dimensional high-order DG-ALE method based on gas-kinetic theory with application to oscillating bodies. J Comput Phys 316:700–720.

    Article  MathSciNet  Google Scholar 

  39. Wang C, Luo H, Shashkov M (2020) A reconstructed discontinuous Galerkin method for compressible flows in Lagrangian formulation. Comput Fluids 202:1–19.

    MathSciNet  MATH  Google Scholar 

  40. Wang L, Mavriplis DJ (2007) Implicit solution of the unsteady Euler equations for high-order accurate discontinuous Galerkin discretizations. J Comput Phys 225(2):1994–2015.

    Article  MathSciNet  Google Scholar 

  41. Xia Y, Liu X, Luo H, Nourgaliev H (2015) A third-order implicit discontinuous Galerkin method based on a Hermite WENO reconstruction for time-accurate solution of the compressible Navier–Stokes equations. Int J Numer Methods Fluids 79(8):416–435.

    Article  MathSciNet  Google Scholar 

  42. Batina J (1991) Unsteady Euler algorithm with unstructured dynamic mesh for complex-aircraft aerodynamic analysis. AIAA J 29(3):327–333.

    Article  Google Scholar 

  43. Farhat C, Degand C, Koobus B, Lesoinne M (1998) Torsional springs for two-dimensional dynamic unstructured fluid meshes. Comput Methods Appl Mech Eng 163:231–245.

    Article  Google Scholar 

  44. Luke E, Collins E, Blades E (2012) A fast mesh deformation method using explicit interpolation. J Comput Phys 231:586–601.

    Article  MathSciNet  Google Scholar 

  45. Wendland H (1998) Error estimates for interpolation by compactly supported radial basis functions of minimal degree. J Approximation Theory 93:258–272.

    Article  MathSciNet  Google Scholar 

  46. Landon R (1982) NACA 0012 oscillatory and transient pitching In: AGARD Report 702, AGARD.

  47. Visbal MR, Shang J (1989) Investigation of the flow structure around a rapidly pitching airfoil. AIAA J 27(8):1044–1051.

    Article  Google Scholar 

  48. McGowan G, Gopalarathnam A, Ol M, Edwards J, Fredberg D (2008) Computation vs. experiment for high-frequency low-Reynolds number airfoil pitch and plunge In: 46th AIAA Aerospace Sciences Meeting and Exhibit, 653.

  49. McGowan GZ, Granlund K, Ol MV, Gopalarathnam A, Edwards JR (2011) Investigations of lift-based pitch-plunge equivalence for airfoils at low Reynolds numbers. AIAA J 49(7):1511–1524.

    Article  Google Scholar 

  50. Visbal MR, Gordnier RE, Galbraith MC (2009) High-fidelity simulations of moving and flexible airfoils at low Reynolds numbers. Exp Fluids 46(5):903–922.

    Article  Google Scholar 

Download references




This work was partially supported by the North Carolina State University.

Author information

Authors and Affiliations



The major contribution of this manuscript is due to the first author, while the second author acted as the first author’s adviser. The author(s) read and approved the final manuscript.

Corresponding author

Correspondence to Hong Luo.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, C., Luo, H. A reconstructed discontinuous Galerkin method for compressible flows on moving curved grids. Adv. Aerodyn. 3, 1 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: