Abstract
It has been almost automatically assumed for a quarter century that the numerical solution of hyperbolic conservation laws is best accomplished by making a reconstruction of the initial data that is only piecewise continuous. The effect of the discontinuities is taken into account by means of Riemann solvers. This strategy has enjoyed great practical success but introduces only onedimensional physics as a guide to the discretization of multidimensional problems. This article points out some of the resulting defects and proposes an alternative viewpoint. The chief novelty of the new “Active Flux” method, apart from the elimination of discontinuities, is the division into advective and acoustic disturbances, with acoustics being handled by exploiting classical solutions to the scalar wave equation. Results for a standard test problem for the compressible Euler equations indicate that an order of magnitude increase in cost effectiveness may be possible by following this approach, compared to the traditional one.
Some History, By Way of Introduction
In 1959, there appeared in the Russian mathematics journal Matematicheskii Sbornik, (Mathematical Miscellany) a paper that has exerted, directly or indirectly, a profound influence on almost all of the methods subsequently used to find numerical solutions of hyperbolic conservation laws. These include the socalled Godunovtype finitevolume methods and their successors, such as discontinuous Galerkin and WENO schemes. In his paper [13] Sergei Godunov showed that no numerical method for the linear scalar advection equation \(\partial _tu+a\partial _xu= 0\) can be both monotone and better than firstorder accurate. He also showed that the linear monotone advection scheme with smallest truncation error was the simplest upwind scheme, and offered a plausible generalization to onedimensional systems which is now wellknown as Godunov’s method. This consists of projecting the initial data into the space of cellwise constant functions and then solving that modified problem exactly for a small interval of time. Then the new solution is again represented by piecewise constant functions and the cycle is repeated. At first, this proposal was not taken very seriously by practical scientists and engineers, who tended to see it as artificial, complicated and expensive. Understanding and acceptance were eased by the explanation that it did not attempt to find a discrete evolution operator, but instead worked by putting the data in a form to which the exact operator could be applied, at least for short times.
Godunov [14] has written an interesting account of the circumstances under which this work was done. He and his colleagues seem to have attached great importance to the interpretation given above, and they based their approach to twodimensional problems on taking it as literally as possible, even though this forced them to confront a considerable difficulty. To quote...
The first question we faced in our attempts to generalize our method for two dimensions was how to find a solution of the twodimensional Riemann problem with arbitrary initial conditions.... In order for a twodimensional method to be absolutely similar to the onedimensional one we needed an analytical solution of the gasdynamic equations with four initial discontinuities coming together in a single point. Naturally, we did not have these solutions at that time and they are still unknown (for general initial conditions). At this point, a roguish suggestion was made which was to use only the solutions of a classical Riemann problem involving only planar waves. Thus, the interaction of the four cells with a common vertex was neglected altogether. This removed a nice physical interpretation underlying the construction of the onedimensional scheme. Quite naturally, there were many arguments during the discussion of this hardly justifiable suggestion. L. V. Brushlinkii... carried out the analytical solution for an acoustic wave propagating in stationary media, which took into account the interaction of the cells sharing a common vertex. His solution was implemented in a scheme completely analogous to the onedimensional one. To our surprise and pleasure there were no significant differences. Afterwards, only the simpler model was used.
The simpler version that is in general use today, based solely on onedimensional Riemann problems at cell edges, seems to have been a desperate measure resorted to only after the apparently more physically complete model that included corner interactions had proved both difficult and fruitless. Today, the irrelevance of the corner interactions is less surprising, because we are well aware what the solutions to “corner Riemann problems” look like, and it is hard to imagine that their addition, which would resemble Fig. 1, might improve anything.
The story is a little more complicated because several people, for example [6, 21] have found that including corner interactions DOES improve the results from an upwind code for twodimensional linear advection. But apparently that effect does not carry over to the Euler equations. The seeming paradox is resolved by realizing that advection, in any number of dimensions, is a scalar problem with a onedimensional domain of dependence that is easily identified and taken into consideration. Acoustic waves, on the other hand, behave onedimensionally only in one dimension. In n dimensions they have an ndimensional domain of dependence that does not have a simple mapping onto the grid, and cannot be represented by any finite number of onedimensional interactions. It follows that advection is not a reliable guide in more than one dimension if we actually wish to study acoustics, or systems such as the Euler equations that contain acoustic behavior.
In many recent attempts to formulate a computational framework for the Euler equations, it has been regarded as almost axiomatic that the discrete representation should be discontinuous.^{Footnote 1} Any consistent prediction of the evolution then involves considering onedimensional waves propagating normal to the discontinuity, and therefore introduces Riemann solvers. Almost inevitably, two discontinuities will intersect, and their interaction will either be incorporated at considerable expense with little effect, or will in most cases be discarded with the admission that the physical model is incomplete.
What Else Could There Be?
“Multidimensional upwind” methods too numerous to cite have been published over the years, including attempts of my own [32, 33, 37]. I give an incomplete summary of some of this work in [35]. Most of this is still within the framework of discontinuous representations, however, and therefore still relies on onedimensional flow models. In one dimension, the mathematical description of advective and acoustic phenomena is only distinguished by nonlinearity, so that other very real and important differences between them cannot properly be detected.
An attempt to avoid these limitations is to be found in the class of Residual Distribution, or Fluctuationsplitting schemes, introduced in [34]. In the earliest versions, designed merely to solve advection problems, the solution was represented in two dimensions by unique values at the vertices of a triangular mesh, and the flux integral \(\phi ^T\) calculated around the boundary of each element T. This is divided into three, or fewer, unequal parts. These are used to update the vertex values of the element. Each vertex may receive updates from several of the elements around it. The rules for making the divisions and updates take into account both the flow direction and the element geometry. The flow is assumed to be onedimensional, but not necessarily in a direction related to the element. This produced results with much crisper discontinuities than those from gridaligned upwinding [8]. The generalization of these methods, first to systems of equations, then to unsteady flows, and eventually to viscous flows [1] has however followed a path that I find slightly unconvincing, despite its very real success.
Most development has followed van der Weide and Deconinck [39], who proposed to extend the analysis carried out for the scalar case to systems of equations by devising matrixvalued formulas that were equivalent in the sense of reducing back correctly to the scalar case, and possessed other useful properties. However, it has proved difficult to give these formulas a clear independent interpretation other than as a superposition of plane wave solutions. A different approach was taken by Mesaros [24] who divided the residual into parts that represent elliptic and hyperbolic effects. Only the hyperbolic part of the residual is treated by an extension of the scalar method. The elliptic part of the residual is reduced by a least squares minimization that is directionfree. This method is the only ”upwindinspired” method that I know of to possess an accurate incompressible limit. Nishikawa et al. [26, 30] extended it to thirdorder and Nishikawa and van Leer [27] made it the basis for a transonic airfoil code that achieved textbook multigrid. Unfortunately, there were difficulties going to three dimensions or timedependent flows. The approach to be described here is free from those limitations. It takes a different approach to distinguishing varieties of multidimensional behavior, based on distinguishing advective and nonadvective behavior, rather than hyperbolic and elliptic behavior.
In higher dimensions, almost all sets of conservation laws contain advective terms \((\mathbf {v}\cdot \nabla )\mathbf {u}\) that describe how some quantity is transferred from place to place. In the absence of other terms, the current local value of that quantity would have been found, at a previous time, somewhere along the particle path. This aspect of the problem deals with the propagation of information by the moving medium. It is pure interpolation and because the most relevant data is that closest to the particle path, upwinding is appropriate, and there is a clear basis for limiting, because previous maximum and minimum values are available.
All other terms involve propagation of information through the medium. Acoustic waves are the most obvious example. They are nonmaterial, and in the absence of advection the domain of dependence is symmetrical. Upwinding is not necessary because data in every direction is relevant. Because wave focussing may occur, there are no bounds on the behavior of the solution, and therefore no clear and rigorous basis for limiting. Although the underlying motive for all “upwind” methods is purportedly to enforce the correct propagation of informations, the current implementations achieve this only for onedimensional problems.
The new methods described here are still finitevolume methods, but the solution is taken to be continuous across cell boundaries, so that no Riemann problems arise. The fluxes are instead independent variables obeying their own rules of evolution, and so the name “Active Flux” method has been adopted. This almost automatically improves the accuracy in comparison to a regular finitevolume scheme because each cell is associated with more degrees of freedom. This is also true of discontinuous Galerkin methods, but to achieve any particular order of accuracy, the Active Flux methods need less storage than discontinuous Galerkin methods and do not rely on superconvergent behavior. It is in the evolution of the fluxes that physics is accounted for. We will focus on thirdorder methods as being (in my opinion) especially appropriate within the aerospace industry, although higherorder is certainly possible. But at third order the method remains rather simple, and is fully discrete and explicit, allowing a time step up to the maximum permitted by the physics.
The present paper is the prelude to a series that will confront the issue of correctly propagating different kinds of information in higher dimensions by dividing the Euler equations into their advective and acoustic components. This is a form of operator splitting but at the linear level it incurs no error because in fact these operators commute. It turns out that even for nonlinear problems there are very few interaction terms, and these do not affect the accuracy of the method.
The beginning of my most recent efforts to develop a method without discontinuities was the investigation of a method due to Karabasov and Goloviznin [18] which also features “active” fluxes. Together with my student Timothy Eymann, we derived a family of secondorder schemes of this form for onedimensional linear advection, and came to realize [9] that the optimal, thirdorder, member of the family was in fact the scheme derived in 1977 by van Leer as part of his “new approach to numerical advection” [40] and denoted by him as Scheme V. An appreciation of van Leer’s paper, with some additional onedimensional schemes, has been presented by Rider [31]. Several authors since van Leer have rediscovered this advection scheme, apparently independently. See Popov and Ustyugov [29], and Akoh et al. [2]. A large timestep version has been devised by Berthon et al. [4] and a semidiscrete form by Zeng [42]. Akoh et al. [2] have made a version that they have applied to the twodimensional shallow water equations, although many details of their approach differ somewhat from ours. For example, their reconstruction is not continuous and the method does not directly extend to three dimensions. We employ a different extension of Scheme V, valid in any number of dimensions, to compute the fluxes due to advection.
The application to wave equations is similar in principle to Scheme V, in that it is based on the exact solution to a linear model problem. For the acoustic system this is an extension of Poisson’s integral solution to the initialvalue problem for the scalar wave equation [10]. For the scalar wave equation itself, a related method was developed independently by Hagstrom [3, 15] and coworkers. The extension presented here to nonlinear acoustics in the presence of vorticity was given by Fan and Roe [12], where it was shown to give far more isotropic results than a DG method of the same formal accuracy. Nonlinear effects were included by careful choice of local values for the coefficients in the equations.
This paper will focus on presenting motivational material and outlining the general approach. Fuller details of the Active Flux method can be found in my students Ph.D. theses [11, 23], and will appear in papers that are under preparation.
Reexamining OneDimensional Methods
Advection in One Dimension
van Leer’s Scheme V Let us stay for the moment with the onedimensional advection equation, \(\partial _tu+a\partial _xu = 0\), which has certainly served as a testbed for the development of many algorithms, including the ProjectionEvolutionReconstruction algorithms introduced by van Leer in 1977 [40]. The general idea of these methods is to consider only data in the class that can be described by some given set of basis functions \(b_j(\xi )\) where \(\xi =\frac{2(x\bar{x})}{\varDelta x}\in [1,1]\) is a local coordinate in each cell, and \(a_{j,k}\) is the coefficient of \(b_j\) in the cell k. The basis functions are restricted by requiring that each of them vanishes for values of the argument outside the range \([1,1]\), and set
which allows the exact solution to be written immediately as
The Godunov (or firstorder upwind, or Scheme I) method results from choosing \(j_{\mathrm{max}}\), the number of basis functions, as one, with \(b_1(\xi )=\chi (\xi )\) where \(\chi (\xi )\) is the characteristic function of the cell, equal to 1.0 inside the cell and equal to 0.0 outside it. For this choice \(a_{1,k}\) is the average value in cell k. Another choice, called Scheme III, destined to become the famous MUSCL scheme, involves taking two basis functions per cell. In addition to the characteristic function, we include the gradient function
Each of these choices leads to linear recontructions that are not \(\mathcal{{C}}^0\) continuous, and therefore must be supplemented by a Riemann solver.
In [40] van Leer considered also the effect of adding quadratic variation to give a reconstruction
where \(\bar{u}\) is the mean value in the cell, and \(u_L=u_{j1/2},u_R=u_{j+1/2}\) are values at the left and right cell boundaries. Because these boundary values \(u_{j+1/2}\) are shared by both of the adjacent cells \(j,j+1\) this reconstruction is continuous. Therefore the required storage is two units per cell, exactly the same as MUSCL. Because the boundary values are shared, however, quadratic reconstruction is possible, and thirdorder accuracy can be achieved. He called this Scheme V. Because the reconstruction is continuous, no Riemann solver is required. The method is upwinded simply because the flux through each interface is found from the data on the upwind side of it.
Note that the reconstruction makes no use of data outside the cell, so that the accuracy of the reconstruction is independent of mesh geometry. This is a property that can and will be preserved in higher dimensions. Taking \(a>0\), and defining the Courant number \(\nu =\tfrac{a\varDelta t}{\varDelta x}\), the flux leaving through the righthand boundary is
which is the average value in the shaded region of Fig. 2. It will be useful to observe that of course exactly the same result is obtained by numerical integration (See again Fig. 2), first calculating
and then using these to integrate the flux by Simpsons Rule.
because \(u_{F^\prime }=u_F\), etc. This version is helpful in the nonlinear case because then the exact integrals become cumbersome.
Once we have the fluxes, we make a conventional finitevolume update
to obtain a conservative scheme.^{Footnote 2} It is exact for any quadratic data and therefore thirdorder accurate. Because it depends only on the data in the upwind cell, the formula and its accuracy are unchanged on irregular grids. It shares with the firstorder upwind scheme the property of remaining valid up to the outflow boundary. At inflow only the incoming flux needs to be specified. Although this has the appearance of being a twostep method with an intermediate time level, both levels are updated from the same initial data. The cost is essentially that of a singlestep method.
However, it is also useful to view it as having two components. The first is to update the fluxes by a secondorder upwind scheme, either by (5), or by (6), (7). The second component is a central leapfrog scheme (9). This interpretation will be the key to multidimensional generalizations.
The stability analysis can be carried out by writing the solution as a twocomponent vector \(\mathbf {u}=(\bar{u}_j,u_{j+{\scriptstyle {\frac{1}{2}}}})^T\) and the scheme is then
with
Because we now deal with a \(2\times 2\) system rather than a scalar equation this matrix has two eigenvalues \(g_{1,2}\). In many situations where more than one root arises, one of these roots would be regarded as spurious, and was so described in [40]. This is the case with leapfrog schemes, but here, the additional root exists because we have two independent degrees of freedom for each cell, which means that we can represent frequencies beyond the Nyquist limit of \(\theta =\pi \).^{Footnote 3} The two roots each represent legitimate solutions, in the separate ranges \([0,\pi ]\) and \([\pi ,2\pi ]\). Thus the active flux schemes have twice the resolving power of regular schemes. Indeed this is also true of Discontinuous Galerkin schemes. It is tedious but routine to confirm that neither of the eigenvalues is outside the unit circle if \(\nu \le 1.0\). The amplification factor for a signal proportional to \(e^{i\theta }\) is, for small \(\theta \)
and the largest absolute value for the coefficient of \(\theta ^4\) in the range \(\nu \in [0,1]\) is 1/384. For comparison, the standard thirdorder upwind finitedifference method has
and the corresponding coefficient has a maximum absolute value of 3/128.
The semidiscrete form of Scheme V has also been rediscovered [42]. It can be written as
The matrix \(G^\prime _V\) here is obtained as \(\lim _{\nu \rightarrow 0}\partial _\nu G\).
The Discontinuous Galerkin method The dispersion analysis for discontinuous Galerkin methods is given by Sherwin [38], Cheng and Shu [5], and by Kiridonova and Qin [19]. We will not repeat this analysis but merely remind the reader of the main idea in the simplest case. Within each cell j the solution is assumed to be piecewise linear, and may be written in terms of two linear basis functions \(\phi ^\pm =1\pm \xi \)
The \(u_j^\pm \) are values just inside cell j at \(\xi =\pm 1\). They are not shared with the adjacent cells, so there are again two degrees of freedom per cell. The governing equation is expressed in a weak form as
where dots denote time deriatives and \(\psi (\xi )\) is one of two test functions. It can be shown that the truncation error is minimised by taking the test functions equal to the basis functions, so that \(\psi (\xi )=\phi {\xi }\). After integrating the spatial derivative terms by parts we have the two equations,
where \(f(u)=au\) is the flux function. If these equations are integrated we find
The interface numerical fluxes \(f(\pm {\scriptstyle {\frac{1}{2}}})\) are assigned, as in the finitevolume method, by solving a Riemann problem to obtain the upwind flux,^{Footnote 4}
leading to update formulas that can be expressed in the matrix form;
Although derived quite differently, this is actually identical to the semidiscrete version of Scheme V described by Eq. 14. The matrix \(\mathbf {G}^\prime _{DG}\) appearing in the this equation has the same trace and determinant as \(\mathbf {G}^\prime _V\) appearing in (14) so the matrices are similar, in the sense of having the same eigenvalues. The two schemes are the same, apart from being expressed in different bases. In fact
where \(\mathbf {T}=\left( \begin{array}{cc}2 &{} 1\\ 0 &{}1\end{array}\right) \) is the matrix that transforms from the Scheme V basis of (mean value, right state) to the DG basis of (left state,right state). As with Scheme V, the second eigenvalue need not be thought of as spurious, but as giving results in the frequency range \(\theta \in [\pi ,2\pi ]\).
Comparing AF and DG1
We will compare the dispersion relationships of the semidiscrete schemes with those of Scheme V at various Courant numbers. To compare the semidiscrete and fullydiscrete forms, we will assume perfect time integration for the semidiscrete form,
so that at \(t=\varDelta x/a\), equivalent to one timestep at a CFL number of unity, the amplification factor is just \(G_{sd}=e^{\mathfrak {R}(g)}\), where g is the appropriate eigenvalue of \(\mathbf {G}\). A comparable measure for fullydiscrete schemes is to calculate an amplification factor
realizing that the number of timesteps required to reach \(t=\varDelta x/a\) would be \(1/\nu \). The comparison is valid even if \(1/\nu \) is not an integer.
The results are compared in Figs. 3 and 4. There is a considerable reduction in damping from use of the fully discrete scheme, especially in the range of frequencies \(\theta \in [\pi /4,\pi /2]\). The phase errors are also improved, especially at very high frequencies. The phase of Scheme V is exact at \(\nu = 0.5\). This is a general result for schemes with upwindbiased stencils, demonstrated by van Leer [40]. However, this property is lost in the semidiscrete version, as also of course is exactness for \(\nu =1.0\), even with exact timestepping.
On this basis we can make an admittedly naive comparison between Scheme V and DG1, which are both thirdorder methods.

1.
Comparable results are obtained from Scheme V and DG1 when Scheme V uses half the number of cells. This gives Scheme V the superior effectiveness by a factor of 2.

2.
This allows time steps that are twice as large, increasing the effectiveness to a factor of 4.

3.
Since RK3 requires three stages to complete a timestep, the factor becomes 12.

4.
In two or three dimensions, the factor becomes respectively 24 and 48.
Without taking this analysis too seriously, it does suggest that the Active Flux method has the potential to outperform DG1 by quite a large factor. Moreover, it appears that DG1 is only secondorder accurate for the full Euler equations, whereas the Active Flux method (which is the generalization of Scheme V) has so far proved to retain third order accuracy. Any comparison should then perhaps be made with the substantially more expensive DG2.
DG with inexact timestepping In practice the DG method will need to employ some time integrator that is less than exact, and usually the time integration is performed by one of the Runge–Kutta methods. The lowestorder time integrator that will preserve thirdorder accuracy is of course RK3, which provides stability to the DG1 discretization only up to \(\nu = 0.409\) so that the numbers in the list above should be multiplied by about 2.5. More accurate timestepping, or the use of StrongStabilityPreserving timemarching, will reduce the available Courant numbers further.
Remark on Superconvergence It is well known that discontinuous Galerkin methods employing polynomial reconstructions of order p frequently exhibit an order of accuracy \(2p+1\) instead of the \(p+1\) that typifies finitevolume methods. For example, the DG1 method might be expected to be secondorder accuracy, but turns out to be thirdorder. The fact that it is the semidiscrete limit of Scheme V goes a long way to explain this. Although Scheme V only stores two degrees of freedom per element, each of them is actually shared between two elements and alows the reconstruction of a quadratic rather than a linear function. If DG1 is regarded in the same way, with the outflow value regarded as also being, for the purpose of reconstruction, the inflow value of the downstream neighbor, a thirdorder quadratic reconstruction can be performed. This conclusion applies at all orders of accuracy [36] and the insight enables “superconvergent” Galerkin methods for linear advection to be derived with any accuracy using continuous reconstruction. Observe, however, that this continuous reconstruction is completely different from what is ususually described as continuous Galerkin
Burgers’ Equation
A natural next step from linear advection is Burgers’ equation.
There is of course no unique way to extend the solution of a linear problem to a nonlinear problem, but there is a very simple modification (see Fig. 5) that does extend to more general problems. As for the linear advection equation, we first find the solution on the outflow boundary \(x=x_R\) by tracing back the characteristics from the quadrature points \(E',F'\). If this characteristic issues from the point \(x=x_R+x^*\) and carries the value \(u=u^*\) then
so that
For linear advection, the characteristic originates at \(x^*=a\tau \), so we are replacing the constant advection speed a with a local speed \(u_R(1\tau \partial _xu)\), where \(\tau \) is either \(\varDelta t\) or \({\scriptstyle {\frac{1}{2}}}\varDelta t\). This simple firstorder correction to the wavespeed carries over to the nonlinear wave equation [12] and forms the basis for our treatment of the Euler equations.
Figure 6 shows a typical solution to Burgers’ equation using this method. The initial profile is
which steepens into a shock at \(t = 0.173\). The solution is found here at \(t = 0.150\) just before shock formation. Table 1 shows that a convergence rate close to 3.0 is achieved by incorporating the nonlinear correction. Further from the shock, the convergence is much more rapid. The treatment after a shockwave has formed will be part of a more detailed paper.
The Multidimensional Strategy
The Overall Plan
The purpose of this section is to set out a strategy for applying the ideas of Scheme V to multidimensional nonlinear systems displaying both advective and acoustic behavior. This will be explained at third order for twodimensional problems on triangular grids. Nonsimplicial grids can also be handled but will not be discussed here. Arbitrary order is attainable straighforwardly for linear problems, but nonlinear terms have to be handled with more care for orders greater than three.
The essence of the method resides in applying appropriate numerics to appropriate physics, which means treating advective and acoustic behavior differently. The data at time \(n\varDelta t\), that is \(\mathbf {u}^n\), is updated to \(\mathbf {u}^*\) by considering pure inertial evolution with all pressure gradients turned off. Then the partial solution at \(\mathbf {u}^*\) is updated to \(\mathbf {u}^{n+1}\) by considering only acoustic changes. Both processes are treated by novel methods that combine low memory, large timesteps, and high accuracy with continuous reconstructions.
The solution is represented in the usual finitevolume manner by giving the average values of the conserved variables in every cell, together with some other information on the cell boundaries. These will be used to compute the fluxes, although the fluxes themselves are not suitable to store because they are usually ambiguous in specifying the state. We have used the primitive variables at the vertices of simplex elements and at the midpoints of their edges to define quadratic distributions. Such a representation reduces storage because much data is now shared between elements, and therefore reduces the size of any linear algebra problems that might arise^{Footnote 5} One timestep consists of the following three stages;

1.
The data on the boundary of each element is updated by some scheme that respects the physics. This means that the advective terms are are applied first and upwinded and the acoustic terms are applied to the partial update without upwinding. The two stages are treated in more detail below.

2.
All boundary data is converted to fluxes, and the cell average is updated by integrating them. This raises the order of accuracy by one, compared to the boundary values.

3.
The cell averages and boundary values are reconciled. We currently have two ways to do this. One is to add a bubble function to the primitive variables, to produce agreement between the cell averages when the primitive variables are integrated over the cell. Another is to measure the discrepancy between those averages by making corrections to the primitive variables.
For linear problems the first step is simple, because the advective and acoustic operators commute. We can carry them out independently, in either order. In the nonlinear case, most of the nonlinear terms can be absorbed into the coefficients of a linear problem, as with Burgers’ equation, but a few terms need careful analysis. This will be described in a paper that is being prepared.
A New Approach to Multidimensional Advection
Van Leers approach to advection has often been generalized to multidimensional linear advection \(\partial _tu+\mathbf {a}\cdot \nabla u = 0\). It is easily accomplished in principle by representing the data as a sum of local basis functions within each cell. Each of these functions is translated by \(\mathbf {a}\varDelta t\) and the new solution is projected onto the basis functions. The process has much in common with the “remap” phase of a Lagrangian–Eulerian calculation [31] and is usually carried out in the context of discontinuous reconstructions.
To deal with nonlinearity we take a different view, and regard the advective stage of the Euler solution as one in which particles preserve their momentum until they collide. They obey the pressureless Euler equations
which is a generalization of Burgers’ equation to n dimensions and has a similar exact, but implicit, solution, which is \(\mathbf {u}=\mathbf {U}(\mathbf {x}\mathbf {u}t)\), for any arbitrary function \(\mathbf {U}:{\mathbb {R}}^n\rightarrow {\mathbb {R}}^n\). so that in a small neighborhood
and
This is the correct generalization of (25) However, (26) is not in conservation form, so cannot be completely treated with the Active Flux method, although the secondorder solution \(\mathbf {u}(0,\tau )=\mathbf {u}(\mathbf {x}^*,0)\) is good enough to update the point values. Then, the conservative form of the momentum equations is employed for the final update
This describes pure inertial motion provided that the continuity equation,
is also satisfied, and this will require also the point values of \(\rho \). These follow from continuity. Along any pathtube we have \(\rho (t)S(t)={\mathrm{const}}\), where S(t) is the area of a patch of fluid. Each point of the patch moves with a constant speed \(\mathbf {u}_0\), so the mapping from location at \(t = 0\) to \(t=\tau \) is
and
It follows that the density is given by
This result is exact for the pressureless Euler equations until fluid paths collide, although because we are using this result embedded into the full Euler equations, the pressure terms there will prevent collision.
Numerical implementation is sketched in Fig. 7, which shows three triangular elements and the piecewise parabolic distributions inside them. On each interface between triangles, characteristics are traced back from the quadrature points needed for Simpsons Rule, in order to locate the points \(\mathbf {x}^*\). Care must be taken to avoid double counting when streamlines almost coincide with an edge.
A New Approach to Multidimensional Wave Propagation
The scalar wave equation is \(\partial _t\phi =c^2\nabla ^2\phi \). for which the classical Poisson solution [7] gives the general solution to the initialvalue problem.
However, this is not the form in which wave behavior appears in the Euler equations. Instead we find (at the linear level) the firstorder system
It is easy to show that the pressure always obeys the classical solution, and so can be found from (35), but the velocity does not, unless the flow is irrotational. If the flow initially contains vorticity, then we have simply \(\partial _t\nabla \times \mathbf {u}= 0\) and vorticity is preserved. Because the derivation is quite lengthy, it is not given here, but the general solution to the initialvalue problem is
Just as with van Leer’s much earlier treatment of linear advection, a numerical method follows from expressing the initial data in any finiteelement basis and then evaluating these integrals to predict the (active) fluxes on the boundaries of the control volumes. For piecewise polynomial data the integrals have simple closed forms. Figure 8 shows how the residual at each node is the sum of integrals over segments of circular discs in each neighboring element. This can be efficiently coded as a loop over the elements.
Since a necessary condition for stability is that the numerical domain of dependence must contain the physical domain of dependence, it follows that the time step must be restricted so that no Mach disc escapes from the union of elements to which the corresponding node belongs. It has been found in practice that time steps extremely close to that limit may be used on unstructured grids.
Tests were carried out on the classical problem of an initial Gaussian pulse in pressure. The nonlinear psystem was chosen, so that
with \(p(\rho )=\rho ^\gamma \). The Active Flux method was found to offer much better resolution than DG1 (which is still thirdorder for this problem). Figure 9 shows that the Active Flux method does a much better job of capturing the peak value, and has only about a quarter of the vertical scatter.
This approach may be compared with the evolution Galerkin method developed by LucakovaMedvidova and Morton [22], which also uses the wave equation as a jumpingoff point, but retains a discontinuous representation and makes an approximate integration of the bicharacteristic equations. This only achieves secondorder accuracy, on an enlarged stencil.
The Euler Equations
As already mentioned, the plan is to apply operator splitting to the advective and acoustic aspects of the flow, despite the nonlinear nature of the problem. There are several options for this, and so again the details are reserved for a future publication. However, it proves possible to overcome the nonlinearities by absorbing them into the coefficients of a local linear problem.
Tests have been carried out for the translating vortex problem, which was first suggested by ChiWang Shu and has proved a most valuable resource in highorder code development. The specific example used was taken from the HighOrder Workshop [41].
Figures 10 and 11 show the errors in density and velocity from four different schemes. Included for comparison are the results from a secondorder MUSCL scheme. However, this method was implemented only on a simple square mesh and does not have to deal with geometrical terms. This code does feature a nonlinear limiter, although this was probably not activated by this mildly nonlinear problem. The results for DG1 and DG2 were obtained from a suite of programs written by Professor Chris Fidkowski. These codes were intended for educational purposes to display results from a variety of methods. The results for Active Flux come from research codes written by Doreen Fan and Brad Maeng as part of their work toward their doctorates.
On the left, the methods are compared for given degrees of freedom, by plotting against the effective mesh size \(h=({\mathrm{d.o.f.}})^{1/2}\). The MUSCL and DG1 results are clearly secondorder accurate, and quite surprisingly similar. AF and DG2 are both clearly thirdorder accurate, with some superiority attaching to DG2.
A comparison in terms of work units presented difficulty since none of the codes were written with efficiency as a major objective. A crude handicapping method was adopted, in which the degrees of freedom were multiplied by the number of updates needed to advance through one unit of time. This factor was taken to be 1.5 for Active Flux, allowing for slightly more complex operations, 2.0 for MUSCL to penalize for not dealing with geometry, 7.5 for DG1, made up of three stages for RK3 and 0.4 for the Courant condition. For DG2, with six stages for RK5 and a Courant condition of 0.235 [5], the factor was taken to be 21. A case could be made that this is rather low because it does does not allow for the more complex operations required.
In fact, there is much scope for argument about the fairness of these handicaps, but the differences revealed are too large to be ignored. For this problem, and this range of grid sizes, DG1 and DG2 turn to be quite comparable in accuracy, despite one being second order and the other one thirdorder. But the Active Flux method is clearly superior to both. For given work units the accuracy either in velocity or density is about one and a half orders of magnitude better. For given accuracy the required work is lower by one order of magnitude. Significantly, the Active Flux method could be run up to a CFL number of 1.0, as was the case with our model problems.
Discussion
The striking success of highresolution FiniteVolume methods, and discontinuous Galerkin methods, both of which are based on discontinuous representations of the solution, has lead the scientific computing community to think that such representations provide a necessary key to success in the numerical solution of hyperbolic problems. This seems doubtful, because it has long been realized that there are numerous theoretical objections, beginning with the recognition by Godunov himself that carrying this philosophy to its logical conclusion was a futile exercise. Other issues have been the poor representation of discontinuities lying oblique to the grid, especially shear and contact discontinuities, and an excess of dissipation at very low speeds. I attribute these shortcomings to the exclusive use of onedimensional arguments in attempting to inject physics into the algorithms.
Some authors (myself included) have attempted to introduce directions that are determined by the solution rather than by the grid, but I do not now find any of them convincing; they compensate for bad physics rather than replacing it. The failure at low Mach numbers should come as no surprise when we realize that onedimensional unsteady incompressible flows can only exist with constant velocity, and this makes the idea of a Riemann problem rather absurd. Although numerous empirical extensions have been proposed, they do not compete with codes specifically designed for incompressible flow.
The Active Flux method whose principles are described here avoids both of these issues by not introducing unjustified discontinuities, and also by insisting that every type of behavior in a multidimensional compressible flow shall be represented through an appropriate discrete operator. That is, after all, precisely the philosophy behind upwinding as it is very successfully applied to onedimensional flow. However, in higher dimensions there are a greater number of distinct behaviors to be provided with distinct treatments. In consequence, many of the techniques developed for compressible flow in recent decades do not apply, and new techniques have had to be invented. So far, this has proved possible, and the new ideas have proved to be simple and accurate. Much remains to be done, but comparison between the new and the old is extremely encouraging.
In various tests, the method based on continuous reconstructions has proved more costeffective by least an order of magnitude. Good progress is being made at the moment on a steadystate version, and on limiting methods. The principle challenge ahead is the extension to Navier–Stokes, and the intention is to adopt the hyperbolic versions of Navier–Stokes recently put forward by Nishikawa [25] and by Peshkov and Romenski [28]. This will involve considering, as in solid mechanics, both compressive and torsional waves, and it is encouraging that these will also commute, and may be treated independently.
Notes
 1.
 2.
By construction this fully discrete scheme is stable for \(\nu \in [0,1]\). The transport step does not change the \(L_2\) norm of the solution. The reconstruction step produces a quadratic solution inside each cell that has the same edge values and integral as the transported solution, and it is easy to show that this process decreases the \(L_2\) norm, on any mesh.
 3.
The method is applicable even at boundaries, so no boundary conditions need be considered in the analysis.
 4.
Other choices, such as the Rusanov flux, are possible but inferior.
 5.
This observation is in itself an argument against discontinuous reconstructions.
References
 1.
Abgrall, R.: A review of residual distribution schemes for hyperbolic and parabolic problems: the July 2010 state of the art. Commun. Comput. Phys. 11(04), 1043–1080 (2012)
 2.
Akoh, R., Ii, S., Xiao, F.: A multimoment finite volume formulation for shallow water equations on unstructured mesh. J. Comput. Phys. 229(12), 4567–4590 (2010)
 3.
Alpert, B., Greengard, L., Hagstrom, T.: An integral evolution formula for the wave equation. J. Comput. Phys. 16(22), 536–543 (2000)
 4.
Berthon, C., Sarazin, C., Turpault, R.: Spacetime generalized Riemann problem solvers of order k for linear advection with unrestricted time step. J. Sci. Comput. 55(2), 268–308 (2013)
 5.
Cockburn, B., Shu, C.W.: RungeKutta discontinuous Galerkin methods for convectiondominated problems. J. Sci. Comput. 16(3), 173–261 (2001)
 6.
Colella, P.: Multidimensional upwind methods for hyperbolic conservation laws. J. Comput. Phys. 87(1), 171–200 (1990)
 7.
Courant, R., Hilbert, D.: Methods of Mathematical Physics, vol. II. Interscience, New York (1962)
 8.
Deconinck, H., Paillere, H., Struijs, R., Roe, P.L.: Multidimensional upwind schemes based on fluctuationsplitting for systems of conservation laws. Computational Mechanics 11(5–6), 323–340 (1993)
 9.
Eymann, T.A., Roe, P.L.: Active flux schemes. In: 49th AIAA Aerospace Sciences Meeting (2011)
 10.
Eymann, T.A., Roe, P.L.: Multidimensional active flux schemes. In: 21st AIAA Computational Fluid Dynamics Conference (2013)
 11.
Fan, D.: On the acoustic component of active flux schemes for nonlinear hyperbolic conservation laws. Ph.D. thesis, Aerospace Engineering, University of Michigan (2017)
 12.
Fan, D., Roe, P.L.: Investigations of a new scheme for wave propagation. In: 22nd AIAA Computational Fluid Dynamics Conference (2015)
 13.
Godunov, S.K.: A difference method for numerical calculation of discontinuous solutions of the equations of hydrodynamics. Mat. Sb. 89(3), 271–306 (1959)
 14.
Godunov, S.K.: Reminiscences about difference schemes. J. Comput. Phys. 153(1), 6–25 (1999)
 15.
Hagstrom, T.: Highresolution difference methods with exact evolution for multidimensional waves. Appl. Numer. Math. 93, 114–122 (2015)
 16.
Hughes, T.J., Mallet, M.: A new finite element formulation for computational fluid dynamics: III. The generalized streamline operator for multidimensional advective–diffusive systems. Comput. Methods Appl. Mech. Eng. 58, 305–328 (1986)
 17.
Hughes, T.J., Scovazzi, G., Tezduyar, T.E.: Stabilized methods for compressible flows. J. Sci. Comput. 43(3), 343–368 (2010)
 18.
Karabasov, S.A., Goloviznin, V.M.: Compact accurately boundaryadjusting highresolution technique for fluid dynamics. J. Comput. Phys. 228(19), 7426–7451 (2009)
 19.
Krivodonova, L., Qin, R.: An analysis of the spectrum of the discontinuous Galerkin method. Appl. Numer. Math. 64, 1–18 (2013)
 20.
Lax, D., Liu, X.D.: Solution of twodimensional Riemann problems of gas dynamics by positive schemes. SIAM J. Sci. Comput. 19(2), 319–340 (1998)
 21.
Levecque, R.J.: Highresolution conservative algorithms for advection in incompressible flow. SIAM J. Numer. Anal. 33(2), 627–665 (1996)
 22.
LukacovaMedvidova, M., Morton, K.W., Warnecke, G.: Finite volume evolution Galerkin methods for hyperbolic systems. SIAM J. Sci. Comput. 26(1), 1–30 (2004)
 23.
Maeng, J.: (Brad), On the advective component of active flux schemes for nonlinear hyperbolic conservation laws. Ph.D. thesis, Aerospace Engineering, University of Michigan (2017)
 24.
Mesaros, L. M.: Multidimensional splitting schemes for theEuler equations on unstructured grids. Ph.D. thesis, Aerospace Engineering and Scientific Computing, University of Michigan (1995)
 25.
Nishikawa, H.: Newgeneration hyperbolic Navier–Stokes schemes: O (1/h) speedup and accurate viscous/heat fluxes. In: 20th AIAA Computational Fluid Dynamics Conference (2011)
 26.
Nishikawa, H., Rad, M., Roe, P.L.: A thirdorder fluctuationsplitting scheme that preserves potential flow. In: AIAA Paper 2001–2595, 15th AIAA CFD Conference, Anaheim (2001)
 27.
Nishikawa, H., van Leer, B.: Optimal multigrid convergence by elliptic/hyperbolic splitting. J. Comput. Phys. 190(1), 52–63 (2003)
 28.
Peshkov, I., Romenski, E.: A hyperbolic model for viscous Newtonian flows. Contin. Mech. Thermodyn. 28(1–2), 85–104 (2016)
 29.
Popov, M.V., Ustyugov, S.D.: Piecewise parabolic method on local stencil for gasdynamic simulations. Comput. Math. Math. Phys. 47(12), 1970–1989 (2007)
 30.
Rad, M.: A residual distribution approach to the Euler equations that preserves potential flow. Ph. D. thesis, Aerospace Engineering and Scientific Computing, University of Michigan (2001)
 31.
Rider, W.J.: Reconsidering remap methods. Int. J. Numer. Methods Fluids 76(9), 587–610 (2014)
 32.
Roe, P.L.: Fluctuations and signalsa framework for numerical evolution problems. In: Morton, K.W., Baines, M.J. (eds.) Numerical Methods for Fluid Dynamics, vol. 11. Oxford University Press, Oxford (1982)
 33.
Roe, P.L.: Discrete models for the numerical analysis of timedependent multidimensional gas dynamics. J. Comput. Phys. 63(2), 458–476 (1986)
 34.
Roe, P.L.: Linear Advection Schemes on Triangular Meshes. Cranfield College of Aeronautics, Cranfield (1987)
 35.
Roe, P.L.: Multidimensional upwinding. In: Abgrall, R., Shu, C.W. (eds.) Handbook of Numerical Analysis, vol. 18, pp. 53–80. Elsevier, Amsterdam (2017)
 36.
Roe, P.L.: A simple explanation of superconvergence for discontinuous Galerkin solutions to \(u_t+u_x=0\). Commun. Comput. Phys. 21(4), 905–912 (2017)
 37.
Roe, P.L., Beard, L.: An improved wave model for multidimensional upwinding of the Euler equations. In: Thirteenth International Conference on Numerical Methods in Fluid Dynamics. Springer, Berlin (1993)
 38.
Sherwin, S.: Dispersion analysis of the continuous and discontinuous Galerkin formulations. In: Discontinuous Galerkin Methods. Springer, Berlin (2000)
 39.
Van der Weide, E., Deconinck, H.: Positive matrix distribution schemes for hyperbolic systems. In: Désidèri, J.A., Hirsch, C., Le Tallec, P., Pandolfi, M., Périaux, J. (eds.), ECCOMAS ’96, Computational Fluid Dynamics, pp. 747–753. Wiley, New York (1996)
 40.
Van Leer, B.: Towards the ultimate conservative difference scheme. IV. A new approach to numerical convection. J. Comput. Phys. 23(3), 276–299 (1977)
 41.
Wang, Z.J., et al.: High order CFD methods: current status and perspective. Int. J. Numer. Methods Fluids 72(8), 811–845 (2013)
 42.
Zeng, X.: A highorder hybrid finite differencefinite volume approach with application to inviscid compressible flow problems: a preliminary study. Comput. Fluids 98, 91–110 (2014)
Author information
Additional information
In honor of Professor Shu’s 60th birthday.
This research was supported in part by NASA Cooperative Agreement NNX12AJ70A.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Roe, P. Is Discontinuous Reconstruction Really a Good Idea?. J Sci Comput 73, 1094–1114 (2017). https://doi.org/10.1007/s109150170555z
Received:
Revised:
Accepted:
Published:
Issue Date:
Keywords
 Hyperbolic conservation laws
 Numerical advection
 Compressible flow
 Wave equations