Abstract
We present a class of arbitrarily high order fully explicit kinetic numerical methods in compressible fluid dynamics, both in time and space, which include the relaxation schemes by Jin and Xin. These methods can use the CFL number larger or equal to unity on regular Cartesian meshes for the multi-dimensional case. These kinetic models depend on a small parameter that can be seen as a “Knudsen” number. The method is asymptotic preserving in this Knudsen number. Also, the computational costs of the method are of the same order of a fully explicit scheme. This work is the extension of Abgrall et al. (2022) [3] to multi-dimensional systems. We have assessed our method on several problems for two-dimensional scalar problems and Euler equations and the scheme has proven to be robust and to achieve the theoretically predicted high order of accuracy on smooth solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we consider a system of hyperbolic conservation laws in multiple spatial dimensions
with the initial condition
where \(\textbf{u}\!: {\mathbb {R}}^d\times {\mathbb {R}}_{+}\rightarrow {\mathbb {R}}^K\) and the flux functions \(\textbf{A}_d\) are locally Lipschitz continuous on \({\mathbb {R}}^K\) with values in \({\mathbb {R}}^K\). We approximate the solution \(\textbf{u}\) by considering a special class of discrete kinetic systems [19, 22].
Consider a solution \(\textbf{f}\!:{\mathbb {R}}^d\times {\mathbb {R}}_{+}\rightarrow {\mathbb {R}}^{L}\) to the Cauchy problem for the following sequence of semilinear systems:
with the initial condition
Here \(\Lambda _i\) are real diagonal \(L\times L\) matrices, \(\varepsilon\) is a positive number, \({\mathbb {M}}\!:{\mathbb {R}}^K\rightarrow {\mathbb {R}}^L\) is a Lipschitz continuous function, and the function \(\textbf{u}^{\varepsilon }\) is defined by
where \({\mathbb {P}}\) is a real constant coefficients \(K \times L\) matrix. To connect problem (2a)–(2b) with problem (1a)–(1b), we assume that \({\mathbb {M}}\) is a Maxwellian function for (1a), i.e.,
Clearly, if \(\textbf{f}\) converges in some strong topology to a limit \(\textbf{g}\) and if \({\mathbb {P}}\textbf{f}_0\) converges to \(\textbf{u}_0\), then \({\mathbb {P}}\textbf{g}\) is a solution of problem (1a)–(1b). Actually, the system (2a) is only a BGK approximation for (1a), see e.g., [6, 10] and the references therein. A general stability theory was developed in [9], and will implicitly be used throughout this paper, in particular to guarantee that the continuous problem (2), equipped with (3) is well posed.
The method of [4, 19], where the first numerical schemes based on (2) are described, is based on splitting techniques. As a result, the order in time is restricted to 2 and can only be improved by nontrivial manipulations [12]. There exist already some ways for higher than second order. For example, one approach is to use relaxed upwind schemes which are proposed to running up to CFL 1 and up to third order in time and space for the finite volume scheme [23]. A class of high-order weighted essentially nonoscillatory (WENO) reconstructions based on relaxation approximation of hyperbolic systems of conservation laws was presented in [5]. In [20] a splitting approach was adopted with a regular CFL stability condition for the overall finite volume scheme. In [11] a discontinuous Galerkin method for solving general hyperbolic systems of conservation laws was constructed which is CFL independent and can be of arbitrary order in time and space.
Designing algorithms that are uniformly stable and acccurate in \(\varepsilon\) when \(\varepsilon \rightarrow 0\) has been an active area of research in recent years. Such schemes are called asymptotic preserving in the sense of Jin [18]. Several asymptotic-preserving methods based on IMEX techniques have been recently proposed. In [7, 8] IMEX Runge-Kutta methods were presented for general hyperbolic systems with relaxation. Specific methods for the Boltzmann equation in the hyperbolic and diffusive regimes with a computational cost that is independent of \(\varepsilon\) were proposed in [13, 15].
Many of these methods have inherent limitations with respect to the order that can be achieved with the time discretization, for example, due to the time splitting. In [3] an arbitrarily high order class of kinetic numerical methods that can run at least at CFL 1 in one dimension was constructed. This work is an extension of [3] to the multi-dimensional case.
We are interested in a computationally explicit scheme that solves (2) with uniform accuracy of order \(r > 0\) for all \(\varepsilon > 0\) and with a CFL condition, based on the matrices \(\Lambda _i,~i=1, \cdots , d\), that is larger than one for a given system (1). We consider the two-dimensional case. The idea is to start from (2a), we describe first the discretisation of \(\Lambda _x \frac{\partial \textbf{f}}{\partial x}\) and \(\Lambda _y \frac{\partial \textbf{f}}{\partial y}\). The second step is to discretise in time. We take into account the source term. The resulting scheme is fully implicit. The next step is to show that, thanks to the operator \({\mathbb {P}}\), and using a particular time discretisation, we can make it computationally explicit, and high order accurate. It is independent of \(\varepsilon\).
The paper is organised as follows. In Sect. 2, we describe the time-stepping algorithm. In Sect. 3, we describe the space discretisation. In Sect. 4, We study the stability of the discretisation of the homogeneous problem. In Sect. 5, we illustrate the robustness and accuracy of the proposed method by means of numerical tests. Finally, Sect. 6 provides some conclusions and future perspectives.
2 Time Discretisation
Here, we consider the two-dimensional case, i.e.,
Knowing the solution \(\textbf{f}^{n}\) at time \(t_n\), we are looking for the solution at time \(t_{n+1}\). First we discretise (2a) in space, we get
and notice that
Since we want to have a running CFL number of at least one, we use an IMEX defect correction method. Using this, we follow [3] where a defect correction technique can be used and it is made explicit because the nonlinear term \({\mathbb {M}}({\mathbb {P}}\textbf{f})\) is explicit.
2.1 An Explicit High Order Timestepping Approach
The next step is to discretise in time, we subdivide the interval \([t_n,t_{n+1}]\) into sub-intervals obtained from the partition
with \(t_{(p)}=t_n+\beta _p\Delta t\). We approximate the integral over time using the quadrature formula
where \(w_{pq}\) are the weights. In order to obtain consistent quadrature formula of order \(q+1\), we should have
where \(\{l_q\}_{q=0} ^M\) is the Lagrangian basis polynomial of the q-th node.
Let \(\textbf{x}_l=(x_i,y_j)\) be a fixed grid point, \(\textbf{f}_l ^{n,p}\approx \textbf{f}(\textbf{x}_l,t_n+\beta _p \Delta t)\) and \(\textbf{f}_l ^{n,0}=\textbf{f}_l ^{n}\). We introduce the corrections \(r=0, \cdots , R\) for each subinterval \([t_p,t_{p+1}]\) and denote the solution at the r-th correction and the time \(t_p\) by \(\textbf{f}^{n,p,r}\). The notation \(\textbf{F}\) is the collection of all the approximations for the sub-steps i.e., the vector \(\textbf{F}=(\textbf{f}^{n,1},\cdots ,\textbf{f}^{n,M})^\text{T}\). The notation \(\textbf{F}^{(r)}\) represents the vector \(\textbf{F}^{(r)}=(\textbf{f}^{n,1,r},\cdots ,\textbf{f}^{n,M,r})^\text{T}\), i.e., the vector of all the approximations for the sub-steps at the r-th correction. Now we use a defect correction method and proceed within the time interval \([t_n, t_{n+1}]\) as follows.
-
(i)
For \(r=0\), set \(\textbf{F}^{(0)}=(\textbf{f}^{n},\cdots ,\textbf{f}^{n})^\text{T}\).
-
(ii)
For each correction \(r \geqslant 0\), define \(\textbf{F}^{(r+1)}\) by
$$\begin{aligned} L_1(\textbf{F}^{(r+1)})=L_1(\textbf{F}^{(r)})-L_2(\textbf{F}^{(r)}) \end{aligned}.$$(7) -
(iii)
Set \(\textbf{F}^{n+1}=\textbf{F}^{(M)}\).
Formulation (7) relies on a Lemma which has been proven in [1].
In the following, we introduce the differential operators \(L_1\) and \(L_2\). We first define the high order differential operator \(L_2\). By integrating (5) on [0, t], we have
Hence, we get the following approximation for (4):
for \(q=1, \cdots ,M\). For any l, define \([L_2(\textbf{F}^{(r)})]_l\) as
where
and
The resulting scheme derived by the \(L_2\) operator is implicit, and it is very difficult to solve. Now we describe the low order differential operator \(L_1\). We use the forward Euler method on each sub-time step
for \(q=1,\cdots ,M\). The low order differential operator \([L_1(\textbf{F}^{(r)})]_l\) reads
where \(B=\text {diag}(\beta _1, \cdots , \beta _M)\). This is still an implicit approximation in time, but the convection part is now explicit. We also note we have kept the same form of the source term approximation in both cases, for reasons that will be explained bellow.
Now we can write (7) as a multi-step method where each step writes as
for any l. By applying \({\mathbb {P}}\) to this equation, we will obtain the following equation for calculating \({\mathbb {P}}\textbf{F}_l^{(r+1)}\):
and we substitute \({\mathbb {P}}\textbf{F}_l^{(r+1)}\) into the Maxwellian in (11). Alternatively, one can rewrite (11) as follows:
If \(\text {Id}_{M\times M}+{\Delta t}W/{\varepsilon }\) is invertible, the defect correction computes the solution at time \(t_{n+1}\) using M steps of the form
For computing \({\mathbb {P}}\textbf{F}_l ^{(r+1)}\), for any l, we rewrite (12) as (for simplicity, we drop the superscript n)
for \(q=1, \cdots , M\).
We write the increment \(\delta _l \textbf{f}^{k}\) as a sum of residuals as follows:
with
We see that
i.e., the sum of the residuals assigned to each of the four vertices of the quad \([x_{i},x_{i+1}]\times [y_j,y_{j+1}]\) is equal to an approximation of the flux across the boundary of this quad; see Fig. 1. This guarantees the local conservation; see [2]. The reason of writing the space update as the sum of residual will become clear in Sect. 3.2.
Now we explain the residuals for an example where the velocities are orthogonal. This case was suggested in [4]. In order to construct the system (2a) one must find \({\mathbb {P}}\), \({\mathbb {M}}\), and \(\Lambda _j ~(j=1,\cdots ,d)\) such that the consistency relations (3) are satisfied. We take \(L=N \times K\), \({\mathbb {P}}=(\text {Id}_{K\times K}, \cdots ,\text {Id}_{K\times K})\) with N blocks \(\text {Id}_{K\times K}\), the identity matrix in \({\mathbb {R}}^K\). Each matrix \(\Lambda _j~ (j=1,\cdots ,d)\) is constituted of N diagonal blocks of size \(K\times K\), i.e.,
where \(j=1,\cdots ,N\). Then, (2a) can be rewritten as
in which \(\textbf{u}^{\varepsilon }=\sum \limits _{j=1}^N \textbf{f}_n\). This example works with any number of blocks provided that \(N\geqslant d+1\). We take the velocities such that
and
Therefore, the Maxwellian function is given by
where \(a_j ^2=\sum _{i=1} ^{N} \lambda _{ij}^2\). We fix \(J,N'\geqslant 1\), \(\lambda >0\) and set
Here we have \(N=4N'J\). We define the Maxwellian functions by
Now, we consider the special case where \(J=N'=1\) and \(N=4\). Set
Therefore, the Maxwellian functions are
for \(1\leqslant i \leqslant 4\).
2.2 Error Estimate
The natural question is: how many iterations should we do in the method (14) to recover the time and space accuracy?
Again, we will consider the two-dimensional version of (1a). Let us consider \(\varphi{:} {\mathbb {R}}^2\rightarrow {\mathbb {R}}^K\), which is continuously differentiable on \({\mathbb {R}}^2\) with values in \({\mathbb {R}}^K\) and has compact support. We will consider the discrete version of \(L^2\) and \(H^1\) norms of \(\varphi\) as follows:
In the following, we will set
We have a Poincaré inequality, on any compact.
One can consider the discrete equivalent of \(L^2_\text{loc}\) and \(H^{-1}_\text{loc}\) in an interval \(I=[a,b]\times [c,d]\) as follows:
We have a first result on the \(H^{-1}_\text{loc}\) estimate of \(L_2(\textbf{F})-L_1(\textbf{F})\).
Lemma 1
If \({\widehat{\textbf{F}}}_{i+\frac{1}{2},j}=\sum \limits _{l=-r}^s\alpha _l \textbf{F}_{i+l,j}\) and \({\widehat{\textbf{F}}}_{i,j+\frac{1}{2}}=\sum \limits _{l=-r'}^{s'}\alpha '_l \textbf{F}_{i,j+l}\), we have
where \(\gamma =\max \big\{\max \limits _{-r\leqslant l\leqslant s} |\alpha _l|,\max \limits _{-r\leqslant l\leqslant s'}|\alpha '_l|\big\}\times \max \big\{\max \limits _m|\lambda _m^x|,\max \limits _n|\lambda _n^y| \big\}\).
Proof
Then the proof is complete.
Before we proceed to Proposition 1, we need a further result on the behaviour of \(L_1\).
Lemma 2
Let us consider \(\textbf{F},\textbf{F}'\) and \(\textbf{G},\textbf{G}'\) such that
for some l. And we assume that there exist \(\gamma ,\gamma '>0\) such that
then there exists a constant \(\eta >0\), independent of \(\textbf{F}, \textbf{F}', I\), and \(\varepsilon\) such that
Proof
To prove the lemma, we apply \({\mathbb {P}}\) to \([L_1(\textbf{F})]_l=\textbf{G}_l\), and we get
Now, we substitute \({\mathbb {P}}\textbf{F}\) into the Maxwellian in the equation \([L_1(\textbf{F})]_l=\textbf{G}_l\), we have
We can collect all the unknown terms \(\textbf{F}_l\) on the left-hand side
We have
This concludes the proof.
Proposition 1
Under the conditions of Lemmas 1 and 2, if \(\textbf{F}^{*}\) is the unique solution of \(L_2(\textbf{F})=0\), there exists \(\theta\) independent of \(\varepsilon\) such that we have
Proof
We have
Also, we can write a Poincaré inequality for \(\varphi\) as follows:
where C is a constant. Using the results from the Poincaré inequality, Lemmas 1 and 2, the proof is concluded.
Starting from the Chapman-Enskog expansion of (2a), we can show that our method is asymptotic preserving. We have
Proposition 2
Equation (14a) is consistent with the limit model (18) up to \(\mathcal {O}(\varepsilon )\).
Proof
Let us define \(\textbf{u}^{\varepsilon ,(r)}={\mathbb {P}}\textbf{F}^{(r)}\), from (12) we get
Using (3), we have
Then
We observe that if the the spatial discretisation is consistent with the derivative in space, the above formula is the space discretisation and the time of the asymptotic model (18), and the result is concluded.
2.3 Time Discretisation in the \(L_2\) Operator
We consider the first, second, and fourth order approximations in time in the \(L_2\) operator, when there is no source term.
-
(i)
For the first order approximation, we get
$$\begin{aligned} {\mathbb {P}}\textbf{f}^{n,1}-{\mathbb {P}}\textbf{f}^{n,0}+\frac{\Delta t}{\Delta x}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,1})+\frac{\Delta t}{\Delta y}\Lambda _y{\mathbb {P}}(\delta ^y\textbf{f}^{n,1})=0, \end{aligned}$$where \(\textbf{f}^{n,0}=\textbf{f}^n\) and \(\textbf{f}^{n,1}\approx \textbf{f}(t_{n+1})\). The matrix W becomes \(W=(1)\). Then, we get
$$\begin{aligned} \left(\text {Id}_{1\times 1}+\frac{\Delta t}{\varepsilon }W\right)^{-1}=\frac{\varepsilon }{\varepsilon +\Delta t},\quad \frac{\Delta t}{\varepsilon }\left(\text {Id}_{1\times 1}+\frac{\Delta t}{\varepsilon }W\right)^{-1}W=\frac{\Delta t}{\varepsilon +\Delta t}. \end{aligned}$$We observe that these two matrices are uniformly bounded.
-
(ii)
For the second order approximation, which is the Crank-Nicholson method, the scheme becomes
$$\begin{aligned}{} & {} {\mathbb {P}} \textbf{f}^{n,1}-{\mathbb {P}}\textbf{f}^{n,0}+\frac{\Delta t}{\Delta x}\big (\frac{1}{2}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,0})+\frac{1}{2}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,1})\big )\\{} & {} +\frac{\Delta t}{\Delta y}\big (\frac{1}{2}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,0})+\frac{1}{2}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,1})\big )=0, \end{aligned}$$also we have \(W=(\frac{1}{2})\). Similarly, we see that two matrices \((\text {Id}_{1\times 1}+\frac{\Delta t}{\varepsilon }W)^{-1}\) and \(\frac{\Delta t}{\varepsilon }(\text {Id}_{1\times 1}+\frac{\Delta t}{\varepsilon }W)^{-1}W\) are uniformly bounded.
-
(iii)
For the fourth-order scheme [16], we get
$$\begin{aligned} &{\mathbb {P}}\textbf{f}^{n,1}-{\mathbb {P}}\textbf{f}^{n,0}+\frac{\Delta t}{\Delta x}\big (\frac{5}{24}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,0})+\frac{1}{3}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,1})-\frac{1}{24}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,2})\big )\\ {}&+\frac{\Delta t}{\Delta y}\big (\frac{5}{24}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,0})+\frac{1}{3}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,1})-\frac{1}{24}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,2})\big )=0, \\ &{\mathbb {P}} \textbf{f}^{n,2}-{\mathbb {P}}\textbf{f}^{n,0}+\frac{\Delta t}{\Delta x}\big (\frac{1}{6}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,0})+\frac{2}{3}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,1})+\frac{1}{6}{\mathbb {P}}(\Lambda _x\delta ^x\textbf{f}^{n,2})\big )\\ {}&+\frac{\Delta t}{\Delta y}\big (\frac{1}{6}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,0})+\frac{2}{3}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,1})+\frac{1}{6}{\mathbb {P}}(\Lambda _y\delta ^y\textbf{f}^{n,2})\big )=0, \end{aligned}$$where \(\textbf{f}^{n,0}=\textbf{f}^n\), \(\textbf{f}^{n,1}\approx \textbf{f}(t_n+\frac{\Delta t}{2})\), and \(\textbf{f}^{n,2}\approx \textbf{f}(t_{n+1})\). Also, we have
$$\begin{aligned} W=\begin{pmatrix} \frac{1}{3}&{} -\frac{1}{24} \\ \frac{2}{3} &{} \frac{1}{6} \end{pmatrix}. \end{aligned}$$It is easy to observe that the matrix \(\text {Id}_{2\times 2}+\frac{\Delta t}{\varepsilon }W\) is invertible and the matrices \((\text {Id}_{2\times 2}+\frac{\Delta t}{\varepsilon }W)^{-1}\) and \(\frac{\Delta t}{\varepsilon }(\text {Id}_{2\times 2}+\frac{\Delta t}{\varepsilon }W)^{-1}W\) are uniformly bounded.
3 Space Discretisation
3.1 Definition of the \(\delta ^x\) and \(\delta ^y\) Operators
Since \(\Lambda _x\) and \(\Lambda _y\) are diagonal matrices, we can consider the scalar transport equation
where a and b are constants and both of them can not be zero at the same time. Next, we will discuss the approximation of \(\dfrac{\partial f_l}{\partial x}\), and the approximation for \(\dfrac{\partial f_l}{\partial y}\) is obtained in a similar manner. [17] has developed stable numerical finite difference methods for first-order hyperbolics in one dimension, which use s forward and r backward steps in the discretisation of the space derivatives that are of order at most \(2\min \{r+1,s\}\). These methods are based on the approximation of \(\dfrac{\partial f}{\partial x}(x_i,y_j),\), \(i,j \in {\mathbb {Z}}\), by a finite difference
when \(a>0\) and we say that the method is of the class \(\{r,s\}\). If \(a<0\), we set
Throughout this section we suppose without loss of generality that \(a > 0\). Otherwise, the roles of r and s are reversed. We call an \(\{r, s\}\) method of the highest order an interpolatory method, and it is denoted by [r.s]. Following the theorem of [17], for all integers \(r,s\geqslant 0,\) the order of the interpolatory method [r.s] is \(q=r+s\), i.e.,
where the error constant \(c_{r,s}\) is defined by
The coefficients are defined by
We recall that the [r, r], \([r, r+1],\) and \([r, r+2]\) schemes are the only stable interpolatory methods, and we will only consider these approximations. Before we proceed to the possible choices for \(\delta\), it is important to remark that, we can write
where
with \(\beta _k=\sum \limits _{m\geqslant k} \alpha _m\). In the following, we consider the first, second, and fourth order approximations in x, that in y are done in a similar manner.
-
(i)
First order. Here, we must have \(r=0\), \(s=1\). We get the upwind scheme
$$\begin{aligned} \delta _1 ^x f_{i,j}=f_{i,j}-f_{i-1,j}. \end{aligned}$$Then, we have
$$\begin{aligned} \dfrac{\partial f}{\partial x}(x_i,y_j)=\frac{1}{\Delta x}(f_{i,j}-f_{i-1,j}) +c_{0,1}\Delta x\frac{\partial ^{2}f}{\partial x^{2}}(x_i,y_j)+\mathcal {O} ((\Delta x)^{2}), \end{aligned}$$and the flux is given by
$$\begin{aligned} {\hat{f}}_{i+\frac{1}{2},j} =f_{i+1,j}. \end{aligned}$$ -
(ii)
Second order case. Two cases are possible.
-
\(r=s=1\): centered case
$$\begin{aligned} \delta _2^xf_{i,j}=\frac{1}{2}\big ( f_{i+1,j}-f_{i-1,j}\big ) \end{aligned}$$and the flux is
$$\begin{aligned} {\hat{f}}_{i+1/2,j}=\frac{f_{i+1,j}+f_{i,j}}{2}. \end{aligned}$$ -
\(r=0\), \(s=2\). There
$$\begin{aligned} \delta _2^xf=\frac{3}{2}f_{i,j}-2f_{i-1,j}+\frac{1}{2}f_{i-2,j}, \end{aligned}$$and the flux is
$$\begin{aligned} {\hat{f}}_{i+1/2,j}=\frac{3}{2}f_{i,j}-\frac{1}{2}f_{i-1,j}. \end{aligned}$$
The centered case will no longer be considered.
-
-
(iii)
Third order. Only choice is possible \(r=1\), \(s=2\) and we get
$$\begin{aligned} \delta _3 ^x f_{i,j}=\frac{f_{i-2,j}}{6}-f_{i-1,j}+\frac{f_{i,j}}{2}+\frac{f_{i+1,j}}{3}. \end{aligned}$$Therefore, we have
$$\begin{aligned}{} {} \dfrac{\partial f}{\partial x}(x_i,y_j)=&\frac{1}{\Delta x}\left(\frac{f_{i-2,j}}{6}-f_{i-1,j}+\frac{f_{i,j}}{2}+\frac{f_{i+1,j}}{3}\right)\\{} & {} +c_{2,1}(\Delta x)^3\frac{\partial ^{4}f}{\partial x^{4}}(x_i,y_j)+\mathcal {O} ((\Delta x)^{4}). \end{aligned}$$As before, the flux is given by
$$\begin{aligned} {\hat{f}}_{i+\frac{1}{2},j} =-\frac{f_{i-1,j}}{6}+\frac{5}{6}f_{i,j} +\frac{f_{i+1,j}}{3}. \end{aligned}$$ -
(iv)
Fourth order. We consider two cases.
-
If \(r=s=2\), we have
$$\begin{aligned} \delta _4 ^x f_{i,j}=\frac{f_{i-2,j}}{12}-\frac{2}{3}f_{i-1,j}+\frac{2}{3}f_{i+1,j}-\frac{f_{i+2,j}}{12}. \end{aligned}$$We can write
$$\begin{aligned}{} & {} \dfrac{\partial f}{\partial x}(x_i,y_j)=\frac{1}{\Delta x}\left(\frac{f_{i-2,j}}{12} -\frac{2}{3}f_{i-1,j}+\frac{2}{3}f_{i+1,j}-\frac{f_{i+2,j}}{12}\right) +c_{2,2}(\Delta x)^4\frac{\partial ^{5}f}{\partial x^{5}}(x_i,y_j)+\mathcal {O} ((\Delta x)^{5}). \end{aligned}$$For the flux, we can write as follows:
$$\begin{aligned} {\hat{f}}_{i+\frac{1}{2},j} =\frac{f_{i-1,j}}{12}+\frac{3}{4}f_{i,j} +\frac{3}{4}f_{i+1,j}+\frac{f_{i+2,j}}{12}. \end{aligned}$$ -
If \(r=1\) and \(s=3\), we have
$$\begin{aligned} \delta _4 ^x f_{i,j}=-\frac{f_{i-3,j}}{12}+\frac{f_{i-2,j}}{2}-\frac{3}{2}f_{i-1,j}+\frac{5}{6}f_{i,j}+\frac{f_{i+1,j}}{4}. \end{aligned}$$Hence
$$\begin{aligned}{} {} \dfrac{\partial f}{\partial x}(x_i,y_j)=&\frac{1}{\Delta x}\left(-\frac{f_{i-3,j}}{12}+\frac{f_{i-2,j}}{2}-\frac{3}{2}f_{i-1,j}+\frac{5}{6}f_{i,j}+\frac{f_{i+1,j}}{4}\right)\\{} & {} +c_{1,3}(\Delta x)^4\frac{\partial ^{5}f}{\partial x^{5}}(x_i,y_j)+\mathcal {O} ((\Delta x)^{5}). \end{aligned}$$The flux becomes
$$\begin{aligned} {\hat{f}}_{i+\frac{1}{2},j} =\frac{f_{i-2,j}}{12}-\frac{5}{12}f_{i-1,j} +\frac{13}{12}f_{i,j}+\frac{f_{i+1,j}}{4}. \end{aligned}$$We will only use the case \(r=1\), \(s=3\) because the case \(r=2\), \(s=2\) is centered.
-
3.2 Limitation
We have explored two ways to introduce a nonlinear stabilisation mechanism. The first one was inspired from [21, 24, 26] and consists in “limiting” the flux, and the second one was inspired by the MOOD paradigm [14, 25].
3.2.1 Limitation of the Flux
In this section, we only consider the space discretisation in x, that in y is done in a similar manner. First, we calculate the difference between the first and the second order approximations in x. We have
So for limitation
where \(\theta \in [0,1]\) and
We can see that if f is smooth, \(r \approx 0\). To have a monotonicity condition, we also need
We want to find \(\theta (r)\) such that \(\theta (0)=1\) and
where M is a constant that will dictate the CFL constraint. Since \(\theta (0)=1\), we observe that \(M\geqslant 1\) is a necessary condition. One solution is to choose a \(\alpha \in ]0,\min \{6,6(M-1) \}[\). We take
After calculations, we get
where
For the first and fourth order approximations, it is possible to follow the same technique.
The main drawback of this approach is that the projection on the conservative variables plays no role, while the variables we are really interested in are these variables, so we can expect some weaknesses.
3.2.2 Stabilisation by the MOOD Technique
This was inspired from [14, 25], the variables on which we test are the physical variables \((\rho , \textbf{v}, p)\). This section also justifies the way that have written the update of the spatial term as in (15), i.e., a sum of residual that are evaluated on the elements \(K_{i+1/2.j+1/2}=[x_i,x_{i+1}]\times [y_j, y_{j+1}]\).
Starting from \(\textbf{F}^n\), we first compute \(\widetilde{\textbf{F}^{n+1}}\) with the full order method (i.e., full order in time and space). In the numerical examples, we will take the fourth order accurate method, but other choices can be made. The algorithm is as follow: we define a vector of logical \(\texttt {Flag}_p\) which is false initially for all the grid points, and a vector of logical \(\texttt {Flag}_e\) which is also set to false.
-
(i)
For each mesh point \((x_i,y_j)\), we compute \({\tilde{V}}_{ij}=\widetilde{(\rho , \textbf{v}, p)}^{n+1}\) variables defined by \(\mathbb P\widetilde{\textbf{F}^{n+1}}\). If \(\tilde{\rho }^{n+1}_{ij}\leqslant 0\) or \(\tilde{p}^{n+1}_{ij}\leqslant 0\) or one of the components of \({\tilde{V}}_{ij}\) are NaN,Footnote 1 we set \(\texttt {Flag}_p(i,j)=.true.\)
-
(ii)
Then we loop over the quads \([x_i,x_{i+1}]\times [y_j, y_{j+1}]\). If for one of the four corners \((x_l,y_q)\), \(\texttt {Flag}_p(l,q)=.true.\), we set \(\texttt {Flag}_e(i+1/2,j+1/2)=.true.\)
-
(iii)
For each element such that \(\texttt {Flag}_e(i+1/2,j+1/2)=.true.\), we recompute, for each sub-time step the four residuals defined by (15b).
In [14, 25], there is also a way to detect local extremes, and in [25] to differentiate the local smooth extremes from the discontinuities. We have not used this here, and there is a way to improve. The first-order version of our scheme amounts to global Lax-Friedrichs. To make sure that the first-order scheme is domain invariant preserving, we can apply this procedure to each of the cycles of the DeC procedure, we have not done that in the numerical examples.
4 Stability Analysis
We will study the stability of the discretisation of the homogeneous problem. As discussed in the previous section, since the matrices \(\Lambda _x\) and \(\Lambda _y\) are diagonal, it is enough to consider again the following transport equation:
Since \(ab=0\) in the case of a four-wave model, we have the same results as the one-dimensional case [3]. In other cases, we perform the Fourier analysis to evaluate the amplification factors of the method, first without defect correction iteration, then with defect correction iteration. We assume, without loss of generality, that \(a,b>0\). we denote the Fourier symbol of \(\delta ^x\) and \(\delta ^y\) as \(g_1\) and \(g_2\), respectively. For \(\delta ^x\) and \(\delta ^y\) operators, we considered four cases in the previous section, we have
-
First order in both x and y: we have \(g^{(1)}(\theta )=1-\text{e}^{i\theta }\) and \(g_1=g^{(1)}(\theta _1)\), \(g_2=g^{(1)}(\theta _2).\) We see that \(\Re (g^{(1)})\geqslant 0\) and \(\max _\theta \vert g^{(1)}\vert = 4\).
-
Second order in x and y: \(g_1=g^{(2)}(\theta _1)\) and \(g_2=g^{(2)}(\theta _2),\) where
$$\begin{aligned} g^{(2)}(\theta )=\frac{3}{2}-2\text{e}^{-i\theta }+\frac{\text{e}^{-2i\theta }}{2}. \end{aligned}$$We notice that \(\Re (g^{(2)})=\big ( \cos \theta -1\big )^2\geqslant 0\) and \(\max _\theta \vert g^{(2)}\vert = 2\).
-
Third order in both x and y: \(g_1=g^{(3)}(\theta _1)\) and \(g_2=g^{(3)}(\theta _2),\) where
$$\begin{aligned} g^{(3)}=\frac{\text{e}^{-2i\theta }}{6}-\text{e}^{-i\theta }+\frac{1}{2}+\frac{\text{e}^{i\theta }}{3}. \end{aligned}$$Again, \(\Re (g^{(3)})=\frac{1}{3}\big (\cos \theta -1\big )^2\geqslant 0\) and \(\max _\theta \vert g^{(3)}\vert = \tfrac{3}{2}\).
-
Fourth order in both x and y: we only consider the case \(r=1\), \(s=2\). We have \(g_1=g^{(4)}(\theta )\) and \(g_2=g^{(4)}(\theta _2),\) where
$$\begin{aligned} g^{(4)}(\theta -1)=-\frac{\text{e}^{-3i\theta }}{12}+\frac{\text{e}^{-2i\theta }}{2}-\frac{3}{2}\text{e}^{-i\theta }+\frac{5}{6}+\frac{\text{e}^{i\theta }}{4}, \end{aligned}$$and we have \(\Re (g^{(4)})=\frac{1}{3}\big (1-\cos \theta \big )^3\geqslant 0\) and \(\max _\theta \vert g^{(4)}\vert = \frac{8}{3}.\)
Now, we consider the first, second, and fourth order approximations in time in the \(L_2\) operator. In the sequel, we set \(g=\mu g_1+\nu g_2\) with \(\mu =a\frac{\Delta t}{\Delta x}\) and \(\nu =b\frac{\Delta t}{\Delta y}\).
-
(i)
First order in time. Using the Fourier transformation, the \(L_2\) operator can be written as
$$\begin{aligned} {\hat{f}}^{n+1} -{\hat{f}}^{n}+\mu g_1 {\hat{f}}^{n+1}+\nu g_2 {\hat{f}}^{n+1}=0. \end{aligned}$$The amplification factor is
$$\begin{aligned} G_1=\frac{1}{1+g}. \end{aligned}$$In order to have a stable scheme for the first-order scheme, we should have \(|G|\leqslant 1\), and a necessary and sufficient condition is \(2\Re (g)+|g|^2\geqslant0\). The defect correction iteration is written as
$$\begin{aligned} {\hat{f}}^{(r+1)} ={\hat{f}}^{n}-\mu g_1 {\hat{f}}^{(r)}-\nu g_2 {\hat{f}}^{(r)} .\end{aligned}$$The resulting formula for the amplification factor \(G_{r+1},\) is given by
$$\begin{aligned} G_{1,0}&=1 ,\\ G_{1, r+1}(g)&=1-g G_{1,r}(g). \end{aligned}$$We can observe that
$$\begin{aligned} G_{1,r+1}(g)-G_1(g)= (-1)^{r+1}g^{r+1} \big (1-G_1(g)\big ). \end{aligned}$$(20)We note that \(g^{r+1}\rightarrow 0\) if \(\vert g\vert <1\).
-
(ii)
Second order in time. We again use the Fourier transformation, and write \(L_2\) as
$$\begin{aligned} {\hat{f}}^{n+1} -{\hat{f}}^{n}+\frac{\mu }{2}( g_1 {\hat{f}}^{n}+g_1 {\hat{f}}^{n+1})+\frac{\nu }{2} (g_2 {\hat{f}}^{n}+g_2 {\hat{f}}^{n+1})=0. \end{aligned}$$In this case the amplification factor is
$$\begin{aligned} G_2=\frac{1-\frac{g }{2}}{1+\frac{g }{2} }. \end{aligned}$$We conclude that under the following condition stability holds:
$$\begin{aligned} \text {Re}(g)\geqslant 0. \end{aligned}$$The defect correction iteration reads
$$\begin{aligned} {\hat{f}}^{(r+1)}= {\hat{f}}^{n}-\frac{\mu }{2}( g_1 {\hat{f}}^{n}+g_1 {\hat{f}}^{(r)})-\frac{\nu }{2} (g_2 {\hat{f}}^{n}+g_2 {\hat{f}}^{(r)}), \end{aligned}$$we have
$$\begin{aligned} G_{2,0}&=1 ,\\ G_{2,r+1}(g)&=1-\frac{g}{2}-\frac{g}{2}G_{2,r}(g). \end{aligned}$$It is easy to check that
$$\begin{aligned} G_{2,r+1}(g)-G_3(g)= (-1)^{r+1}\big (\frac{g}{2} \big )^{r+1} \big (1-G_2(g)\big ). \end{aligned}$$(21)We note that \(\big (\frac{g}{2} \big )^{r+1}\rightarrow 0\) if \(\vert g\vert g\leqslant 2\).
-
(iii)
Fourth order in time. Similarly, we have the following formula for the \(L_2\) operator:
$$\begin{aligned}\left\{ \begin{aligned}&{\hat{f}}^{n+\frac{1}{2}}-{\hat{f}}^{n}+\mu \left(\frac{5}{24}g_1 {\hat{f}}^{n}+\frac{1}{3}g_1 {\hat{f}}^{n+\frac{1}{2}}-\frac{1}{24}g_1 {\hat{f}}^{n+1}\right)+\nu \left(\frac{5}{24}g_2 {\hat{f}}^{n}+\frac{1}{3}g_2 {\hat{f}}^{n+\frac{1}{2}}-\frac{1}{24}g_2 {\hat{f}}^{n+1}\right)=0,\\&{\hat{f}}^{n+1}-{\hat{f}}^{n}+\mu \left(\frac{1}{6}g_1 {\hat{f}}^{n}+\frac{2}{3}g_1 {\hat{f}}^{n+\frac{1}{2}}+\frac{1}{6}g_1 {\hat{f}}^{n+1}\right)+\nu \left(\frac{1}{6}g_2 {\hat{f}}^{n}+\frac{2}{3}g_2 {\hat{f}}^{n+\frac{1}{2}}+\frac{1}{6}g_2 {\hat{f}}^{n+1}\right)=0. \end{aligned}\right. \end{aligned}$$(22)We can rewrite (22) in the matrix form
$$\begin{aligned} \begin{pmatrix} {\hat{f}}^{n+\frac{1}{2}} \\ {\hat{f}}^{n+1} \end{pmatrix}=G_4\begin{pmatrix} {\hat{f}}^{n}\\ {\hat{f}}^{n} \end{pmatrix}, \end{aligned}$$where setting \(\theta =24+12g+2g^2\)
$$\begin{aligned} \begin{aligned} G_4(g)&= \begin{pmatrix} 1 +\frac{g }{3} &{}-\frac{g }{24}\\ \frac{2g }{3} &{} 1 +\frac{g }{6} \end{pmatrix}^{-1}\begin{pmatrix} 1-\frac{5g }{24}\\ 1-\frac{g}{6} \end{pmatrix}\\& =\frac{1}{2\theta } \begin{pmatrix} {24-g^2}\\ {24-12g+2g^2}\\ \end{pmatrix} .\end{aligned} \end{aligned}$$In order to have a stable scheme, one should have \(\max \{|G_1|,|G_2|\}\leqslant1\). The defect correction iteration reads
$$\begin{aligned} \left\{\begin{aligned} {\hat{h}}_1^{(r+1)}&={\hat{f}}^{n}-\mu \left(\frac{5}{24}g_1 {\hat{f}}^{n}+\frac{1}{3}g_1 {\hat{h}}_1^{(r)}-\frac{1}{24}g_1 {\hat{h}}_2^{(r)}\right)-\nu \left(\frac{5}{24}g_2 {\hat{f}}^{n}+\frac{1}{3}g_2 {\hat{h}}_1^{(r)}-\frac{1}{24}g_2 {\hat{h}}_2^{(r)}\right),\\ {\hat{h}}_2^{(r+1)}&={\hat{f}}^{n}-\mu \left(\frac{1}{6}g_1 {\hat{f}}^{n}+\frac{2}{3}g_1 {\hat{h}}_1^{(r)}+\frac{1}{6}g_1 {\hat{h}}_2^{(r)}\right)-\nu \left(\frac{1}{6}g_2 {\hat{f}}^{n}+\frac{2}{3}g_2 {\hat{h}}_1^{(r)}+\frac{1}{6}g_2 {\hat{h}}_2^{(r)}\right). \end{aligned}\right. \end{aligned}$$(23)Rewriting (23) in the matrix form, we obtain
$$\begin{aligned} {\hat{h}}^{(r+1)}=\begin{pmatrix} 1- \frac{5g}{24}\\ 1- \frac{g }{6} \end{pmatrix} -gM {\hat{h}}^{(r)}, \end{aligned}$$where \(M=\begin{pmatrix} \frac{1}{3} &{} \frac{-1}{24}\\ \frac{2}{3} &{} \frac{1}{6} \end{pmatrix}\). We get
$$\begin{aligned} G_{4,0}&=\begin{pmatrix} 1 \\ 1 \end{pmatrix} ,\\ G_{4,r+1}(g)&=\begin{pmatrix} 1- \frac{5g }{24}\\ 1- \frac{g }{6} \end{pmatrix} -gM G_{4,r}(g). \end{aligned}$$Hence
$$\begin{aligned} G_{4,r+1}(g)-G_4(g)= (-1)^{r+1}(g)^{r+1} M^{r+1} \Bigg (\begin{pmatrix} 1 \\ 1 \end{pmatrix}-G_4(g) \Bigg ). \end{aligned}$$(24)We note that \((-1)^{r+1}(g)^{r+1} M^{r+1}\rightarrow 0\) if \(\vert g\vert \Vert M\Vert _2<1\), i.e., if \(\vert g\vert \leqslant \big (\tfrac{337+\sqrt{104\,353}}{1152}\big )^{-1}\approx 1.745\,356\,304\).
Using this relations, we have plotted the zone \(\mathcal {A}_G\) where \(\vert G\vert \leqslant 1\) for the second-order scheme (Crank Nicholson with DeC iteration) and \(\max (\vert G(1)\vert , \vert G(2)\vert ) <1\). To get a stable scheme, we need that part of \(\mathcal {A}_G\) has a non-empty intersection with \(\{(x,y), x\geqslant 0\}\). We have plotted in Fig. 2\(\mathcal {A}_G\) for the second-order Dec with 3 and 4 iterations, and for the fourth-order DeC with 4 and 5 iterations.
Plots of the stability region with the circle of radius \(\rho\) for DeC second order (a) \(\rho _2^2=0.4\), 2 iterations, (b) \(\rho _3^2=\sqrt{3}\), 3 iterations, (c) \(\rho _4^2=\sqrt{2.2}\), 4 iterations, and DeC fourth order (d) \(\rho _4^4=\sqrt{6.8}\), 4 iterations, (e) \(\rho _5^3=3\), 5 iterations, (f) \(\rho _6^3=2\sqrt{2}\), 6 iterations
We see that the larger \(\rho\) is achieved for \(r+1\) iterations for scheme of order r.
From (20)–(24), the amplification factor of the two-dimensional scheme is \(G_k^r\big (\nu g(\theta _1)+\mu g(\theta _2)\big )\), so we need to check when \(\vert \nu g(\theta _1)+\mu g(\theta _2)\vert \leqslant \rho _k^r\). Since \(\vert \nu g(\theta _1)+\mu g(\theta _2)\vert \leqslant 2 \max (|\mu |, |\nu |)\max _\theta \vert g(\theta )\vert \), we display \(\max (|\mu |, |\nu |)\) in Table 1.
Using these amplification factors, we obtain the maximum values of the CFL number for which the various options lead to the stability. Even with the BGK source term, the schemes are always stable for \(\text{CFL}=1+\delta\), \(\delta >0\). For example, the combination of fourth order in time/fourth order in space is stable for \(\text{CFL}\approx 1.3\), and this can be checked experimentally on the vortex case below, with periodic boundary conditions. In that case, we have not been able to run higher than CFL 1.3, it may be an effect of the BGK source term. These results are also consistent with [3].
5 Test Cases
In this section, we will present the numerical results that illustrate the behavior of our scheme on scalar problems and Euler equations. To evaluate the accuracy and robustness of the proposed high order asymptotic preserving kinetic scheme, in the following we perform the convergence analysis for the scalar problems and study several benchmark problems for the Euler equations of gas dynamics.
5.1 Scalar Problems
Consider the two-dimensional advection equation:
and periodic boundary conditions. We consider the following initial condition:
The CFL number is set to 1. The convergence for the density is shown in Tables 2 and 3 for the final time \(T = 10\) for orders 2 and 4, which result in the predicted convergence rates of second and fourth orders, respectively.
5.2 Euler Equations
In this section, we first test our scheme on the following Euler equations in two dimensions:
where
We run some standard cases: the isentropic case, the Sod problem, and a strong shock tube.
5.2.1 Isentropic Vortex
The first considered test case is the isentropic case. The boundary conditions are periodic. The initial conditions are given by
where \(\gamma = 1.4\), \(\beta =5,\) and \(r=\sqrt{(x-x_c)^2+(y-y_c)^2}\). The computational domain is a square \([-10, 10]\times [-10,10]\). Also, the free stream conditions are given by
The y-velocity is chosen such that the particle trajectories never coincide to a mesh point, if one start from a grid point initially. The final time is first set to \(T=5\) for a convergence study (because of the cost mostly). The center of the vortex is set in \((x_c,y_c)=(Tv_{x,\infty },Tv_{y,\infty })\), modulo 20.
The reference solution is obtained on a regular Cartesian mesh consisting of \(100\times 100\) elements and fourth-order scheme in space and time. The CFL number is set to 1, and we consider the four-wave model. In Figs. 3, 4, and 5, we have displayed the pressure, density, and norm of the velocity at \(T=5\), respectively. We can observe that the plots show a very good behavior of the numerical scheme. The obtained convergence curves for the three considered error norms are displayed in Fig. 6 and show an excellent correspondence to the theoretically predicted order.
In order to illustrate the long time behavior of the scheme, we show the pressure for \(T=200\) and the error between the computed pressure and the exact one in Fig. 7 and a \(200\times 200\) grid. Note that the typical time for a vortex to travel across the domain is about 10.
Remark 1
(About the stability condition) In this paper, we have focussed our attention on simulations with CFL=1. However, the stability analysis suggests that higher CFL can be used. In the case of the vortex case, using five iterations, we have been able to run this case, up to \(T=200\) with CFL=1.2. This is smaller than what is suggested by Table 1. In this table, only the convection operator is considered, and we are not able to make an analysis where the source term is also included. It seems that the constraints are more severe than those suggested by the linear stability analysis.
5.2.2 Sod Test Case
Further, we have tested our high order kinetic scheme on a well-known two-dimensional Sod benchmark problem. This test is again solving the Euler equation (25). The domain is a square \([-1,1]\times [-1,1]\). The initial conditions are given by
and the boundary conditions are periodic. The final time is \(T=0.16\) and the CFL number is set to 1. The two stabilisation methods have been tested and compared. The results for the limitation method are in Fig. 8, while the ones obtained with the MOOD method are displayed in Fig. 9. The two methods provide almost identical results. However, the MOOD method, for this case, never activates the first-order scheme, hence the results are obtained with the fourth order scheme. One can observe overshoots and undershoots at the shock, not strong enough to activate the first-order scheme. This drawback could be cured if one activates, in the MOOD method, the extrema detection procedure of [14] or [25]. When the limitation method is used, one can observe that the overshoot does not exist any more, while the undershoot is less important but still existing.
5.2.3 Strong Shock
The problem is defined on \([-1.5,1.5]\times [-1.5,1.5]\) for \(T=0.025\). We had to use the MOOD technique to get the results, and the shocks are too strong.
The pressure, density, and norm of the velocity are displayed in Fig. 10, for the final time. The simulation is done with CFL \(=1\) on a \(200\times 200\) grid. In Fig. 10(d), we show the iso-lines of the density (mostly to localize the strong features of the solution) and the elements where the formal accuracy is dropped to first order. These flagged elements are moving in time, and are always localized around the discontinuities of the solution. In most cases, only a very few elements are flagged.
Result of case (26) on a \(200\times 200\) grid, \(\text{CFL}=1\), space order: 4, time order: 4, MOOD, final time
6 Conclusion
The purpose of this work is primarily to extend a class of kinetic numerical methods that can run at least at CFL one to the two-dimensional case. These methods can handle in a simple manner hyperbolic problems, and in particular compressible fluid mechanics. Our methodology can be arbitrarily high order and can use CFL numbers larger or equal to unity on regular Cartesian meshes. We have chosen the minimum number of waves, there are probably better solutions, and this will be the topic of further studies. These methods are not designed only for fluid mechanics, and other types of systems will be explored in the future. One interesting feature of these methods, working for CFL=1, is that the algebra for the streaming part of the algorithm can be made very efficient. This is an interesting feature.
Notes
x is not a number if \(x\ne x\).
References
Abgrall, R.: High order schemes for hyperbolic problems using globally continuous approximation and avoiding mass matrices. J. Sci. Comput. 73(2), 461–494 (2017)
Abgrall, R.: Some remarks about conservation for residual distribution schemes. Comput. Methods Appl. Math. 18(3), 327–351 (2018)
Abgrall, R., Torlo, D.: Some preliminary results on a high order asymptotic preserving computationally explicit kinetic scheme. Commun. Math. Sci. 20(2), 297–326 (2022)
Aregba-Driollet, D., Natalini, R.: Discrete kinetic schemes for multidimensional systems of conservation laws. SIAM J. Num. Anal. 37(6), 1973–2004 (2000)
Banda, M., Sead, M.: Relaxation WENO schemes for multidimensional hyperbolic systems of conservation laws. Numer. Methods Partial Differential Equations 23(5), 1211–1234 (2007)
Bhatnagar, P., Gross, E., Krook, M.: A model for collision processes in gases. I. Small amplitude processes in charged and neutral one-component systems. Phys. Rev. 94, 511–525 (1954)
Boscarino, S., Pareschi, L., Russo, G.: Implicit-explicit Runge-Kutta schemes for hyperbolic systems and kinetic equations in the diffusion limit. SIAM J. Sci. Comput. 35(1), 22–51 (2013)
Boscarino, S., Russo, G.: On a class of uniformly accurate imex Runge-Kutta schemes and applications to hyperbolic systems with relaxation. SIAM J. Sci. Comput. 31(3), 1926–1945 (2009)
Bouchut, F.: Construction of BGK models with a family of kinetic entropies for a given system of conservation laws. J. Stat. Phys. 95, 113–170 (1999)
Cercignani, C.: The Boltzmann Equation and Its Applications. Springer-Verlag, New York (1988)
Coulette, D., Franck, E., Helluy, P., Mehrenberger, M., Navoret, L.: High-order implicit palindromic discontinuous Galerkin method for kinetic-relaxation approximation. Comput. Fluids 190, 485–502 (2019)
Csomós, P., Faragó, I.: Error analysis of the numerical solution of split differential equations. Math. Comput. Model. 48(7/8), 1090–1106 (2008)
Dimarco, G., Pareschi, L.: Asymptotic-preserving implicit-explicit Runge-Kutta methods for nonlinear kinetic equations. SIAM J. Numer. Anal. 51(2), 1064–1087 (2013)
Diot, S., Loubère, R., Clain, S.: The multidimensional optimal order detection method in the three-dimensional case: very high-order finite volume method for hyperbolic systems. Int. J. Numer. Methods Fluids 73(4), 362–392 (2013)
Filbet, F., Jin, S.: A class of asymptotic-preserving schemes for kinetic equations and related problems with stiff sources. J. Comput. Phys. 229(20), 7625–7648 (2010)
Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II. Stiff and Differential-Algebraic Problems. Springer Series in Computational Mathematics, vol. 14, Springer-Verlag, Berlin (2010)
Iserles, A.: Order stars and saturation theorem for first-order hyperbolics. IMA J. Numer. Anal. 2, 49–61 (1982)
Jin, S.: Efficient asymptotic-preserving (AP) schemes for some multiscale kinetic equations. SIAM J. Sci. Comput. 21, 441–454 (1999)
Jin, S., Xin, Z.: The relaxation schemes for systems of conservation laws in arbitrary space dimensions. Commun. Pure Appl. Math. 48(3), 235–276 (1995)
Lafitte, P., Melis, W., Samaey, G.: A high-order relaxation method with projective integration for solving nonlinear systems of hyperbolic conservation laws. J. Comput. Phys. 340, 1–25 (2017)
LeVeque, Randall J.: Wave propagation algorithms for multidimensional hyperbolic systems. J. Comput. Phys. 131(2), 327–353 (1997)
Natalini, R.: A discrete kinetic approximation of entropy solution to multi-dimensional scalar conservation laws. J. Differential Equations 148, 292–317 (1998)
Schroll, H.J.: High resolution relaxed upwind schemes in gas dynamics. J. Sci. Comput. 17, 599–607 (2002)
Sweby, P.K.: High resolution schemes using flux limiters for hyperbolic conservation laws. SIAM J. Numer. Anal. 21, 995–1011 (1984)
Vilar, F.: A posteriori correction of high-order discontinuous Galerkin scheme through subcell finite volume formulation and flux reconstruction. J. Comput. Phys. 387, 245–279 (2019)
Yee, H.C., Warming, R.F., Harten, A.: On a class of TVD schemes for gas dynamic calculations. In: Glowinski, R., Liions, J.-L. (eds) Proc. of the Sixth Int'l. Symposium on Computing Methods in Applied Sciences and Engineering, VI, pp. 491-492. North-Holland Publishing Co., Amsterdam, Netherlands (1985)
Acknowledgements
F.N.M has been funded by the SNF project 200020_204917 entitled “Structure preserving and fast methods for hyperbolic systems of conservation laws”.
Funding
Open access funding provided by University of Zurich.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of Interest
The authors have no conflict of interest.
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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abgrall, R., Nassajian Mojarrad, F. An Arbitrarily High Order and Asymptotic Preserving Kinetic Scheme in Compressible Fluid Dynamic. Commun. Appl. Math. Comput. 6, 963–991 (2024). https://doi.org/10.1007/s42967-023-00274-w
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s42967-023-00274-w
Keywords
- Kinetic scheme
- Compressible fluid dynamics
- High order methods
- Explicit schemes
- Asymptotic preserving
- Defect correction method