Abstract
We present fourth-order conservative non-splitting semi-Lagrangian (SL) Hermite essentially non-oscillatory (HWENO) schemes for linear transport equations with applications for nonlinear problems including the Vlasov–Poisson system, the guiding center Vlasov model, and the incompressible Euler equations in the vorticity-stream function formulation. The proposed SL HWENO schemes combine a weak formulation of the characteristic Galerkin method with two newly constructed HWENO reconstruction methods. The new HWENO reconstructions are meticulously designed to strike a delicate balance between curbing numerical oscillation and introducing excessive dissipation. Mass conservation naturally holds due to the weak formulation of the semi-Lagrangian discontinuous Galerkin method and the design of the HWENO reconstructions. We apply a positivity-preserving limiter to maintain the positivity of numerical solutions when needed. Abundant benchmark tests are performed to verify the effectiveness of the proposed SL HWENO schemes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The transport equation in the form of
where \(u( \textbf{x},t)\) usually represents a density function of a conservative quantity in a velocity field \(\textbf{a}(u,\textbf{x},t)\) with \(\textbf{x}\in \mathbb {R}^d\), which is widely used in fluid mechanics and kinetic models.
Three popular approaches including the Eulerian approach, the Lagrangian approach, and the semi-Lagrangian (SL) approach have been proposed for solving the transport problems. Comparing with the Eulerian and the Lagrangian approaches, the SL approach naturally holds its advantages in terms of accuracy and efficiency for certain applicable problems. On one hand, the same with the Lagrangian approach, the SL approach evaluates the solution along the convection characteristics. Hence, it allows large numerical time steps comparing with the Eulerian approach. On the other hand, as the Eulerian approach, the SL approach adopts a fixed spatial mesh equipped with a wide range of different solution spaces for high-order spatial accuracy. As a comparison, the Lagrangian approach suffers from statistical noise and only achieves a low order of \(O(1/\sqrt{N})\) with N representing the number of sampling points.
It is challenging to efficiently simulate the transport problems, due to their complicated solution structures such as discontinuity, filamentation; for instance, the Vlasov–Poisson system has drastic high-frequency filamentation structures [29, 31] and the guiding center Vlasov model has steep structures [35]. To handle such complicated structures, the SL approach has been coupled with the discontinuous Galerkin (DG) method [22, 29, 30], the weighted essentially non-oscillatory (WENO) schemes [18, 28, 34], and the Hermite WENO (HWENO) schemes [6, 36, 40]. For the DG method, it needs many degrees of freedom (DOF) per element for its high-order version, especially in a high-dimension setting. For high-order WENO schemes, they always require very wide reconstruction stencils, compared with the DG method. The HWENO methods can be regarded as an intermediate transition from the DG method to a WENO method. It requires significantly fewer degrees of freedom per element compared with the DG method, and it uses a more compact stencil for high-order reconstruction compared with the WENO method. Considering the high dimension of the Vlasov-Possion system, develeping high-resolution Hermite WENO schemes in the framework of the SL scheme is necessary for an efficient Vlasov solver with large time step and high order accuracy.
The HWENO method was first introduced by Qiu and Shu in [26] and was further developed in [7, 11, 27, 39], which is shown to be more accurate than the same-order WENO scheme. Notice that the HWENO schemes in [7, 11, 26, 27] use point-wise positive linear weights to present the information of a high-degree polynomial as a convex combination of the information of several low-degree polynomials. In [7, 11, 26, 27], such positive linear weights do exist for the specific Gaussian points they require. However, one can find that such positive linear weights do not exist for some special locations (even regions) in an Eulerian grid for each HWENO reconstruction in [7, 11, 26, 27]. Notice that characteristic feet for (1.1) can be located anywhere on an Eulerian grid; and the reconstruction designs in [7, 11, 26, 27] are not suitable for an SL method. Based on the observation above, in our previous work [40], we adopted a 1-D hybrid HWENO reconstruction method proposed in [39], and developed a dimensional-splitting SL hybrid HWENO scheme.
In our earlier work [41], we proposed fourth-order, locally conservative, non-splitting semi-Lagangian finite volume WENO schemes for 2D linear transport equation and nonlinear Vlasov dynamics. The first aim of this paper is to incorporate the recently developed HWENO reconstruction method in [39] denoted as HWENO-3 into this spatiotemporal semi-Lagrangian framework [41]. The new SL HWENO schemes do not rely on operator splitting. One significant benefit of a non-splitting SL method is that it remains its designed temporal order of accuracy for strongly nonlinear transport equations (in which the velocity field is hard to be decoupled). For some nonlinear problems, splitting-based SL method suffers from a first-order temporal error [41].
In the simulations of this paper, we find that the HWENO-3 is very dissipative for the filamentation structures that including large-gradient extreme points. It leads to the second aim of this paper: to propose new HWENO reconstruction methods that overcome the dissipation nature of the HWENO-3 in [39]. One can also refer to splitting SL HWENO-3 in [40] and clearly observe that the dissipation of the HWENO-3 method negatively affects the accuracy of the swirling deformation flow test. To overcome the dissipation issue, we propose two new two-dimensional (2-D) HWENO reconstruction methods, denoted by HWENO-1 and HWENO-2. Comparing with the HWENO reconstruction technique in [39], a key difference of the newly constructed reconstructions is that we rule out the participation of any first-degree polynomial, which leads to large numerical dissipation. The two newly proposed HWENO methods gather information from central or one-sided constructed polynomials, which are at least quadratic. Theoretically, a good HWENO reconstruction approximates the highest-degree polynomial where the solution is continuous and reduces to a one-sided lower-degree polynomial when a discontinuity is involved. To achieve such a principle, we propose two different strategies. For the HWENO-1, we follow the same technique in [39], but based on newly chosen polynomials. The resulting HWENO-1 method has a significant improvement in reducing numerical dissipation. On the other hand, the HWENO-2 directly selects one polynomial from all candidates. This is equivalent to assigning weights of one or zero to candidate polynomials. The stencil selection strategy of the HWENO-2 is motivated by the targeted essentially non-oscillatory (TENO) schemes developed by Fu et al. [14,15,16]. Recently, a Hermite TENO (HTENO) is developed in [19], which presents very good numerical results. There are two reasons not to apply the HTENO method in [19]. Firstly, it depends on point-wise positive linear weights as we mentioned before. Secondly, it is only a one-dimensional version method. Both the HWENO-1 and HWENO-2 have a huge improvement in terms of dissipation comparing with the HWENO reconstruction in [39]. But, there are subtle differences in effectiveness. On one hand, the HWENO-1 is “smoother" due to its nature of assigning non-zero weight to each candidate polynomial. As a comparison, the HWENO-2 (or HTENO) only chooses one candidate, which means the piecewise polynomial constructed by the HWENO-2 can be fragmented sometimes. On the other hand, the HWENO-2 is more robust for capturing discontinuity since the highest-degree polynomial is not involved at all as long as the stencil selecting strategy works correctly. In this paper, we will describe the construction of the HWENO-1 and HWENO-2 in details and compare these two strategies by extensive numerical tests.
The proposed non-splitting SL HWENO schemes incorporate the local adjoint problems, drawing from both the SL DG methods [4, 5, 17] and the Eulerian-Lagrangian localized adjoint methods (ELLAM) [10, 32]. This integration is utilized to update the zeroth-order and first-order moments. In other words, we define the solution space as a \(P^1\) DG space. However, through the HWENO reconstructions, the \(P^1\) DG solution is replaced with a piecewise \(P^3\) polynomial for the solution evaluation. Such a procedure can be viewed as a \(P_NP_M\) method introduced in [12]. The combination of the weak formulation of SL DG method and the HWENO reconstruction can also be regarded as a one-step evolution Galerkin scheme introduced in [24]. The proposed SL scheme requires a remapping procedure between a fixed Eulerian mesh and a characteristic upstream twisted mesh. To achieve a fourth-order accuracy, the remapping procedure can be summarized in the following three steps. Firstly, we define a cubic-curved numerical upstream mesh to approximate the real upstream mesh. Secondly, a clipping technique is involved to gather the curved polygons generated from the Eulerian mesh and the cubic-curved mesh. Finally, apply piecewise integration over each cubic-curved upstream cell. For nonlinear models, we couple the proposed SL HWENO schemes with the fourth-order Runge–Kutta exponential integrator (RKEI) [9], which freezes the velocity field for each stage, for high-order temporal accuracy. Notice that the evaluation of zeroth-order moment (cell average) is equivalent to the formulation of the SL finite volume (FV) method in [41]. The mass conservation, positivity preservation (PP), and fourth-order accuracy of the proposed schemes can be proved, similar to [41]. For stability, under a linearized setting, we numerically prove the unconditionally stable property of the proposed schemes by the Fourier analysis.
An outline of this paper is as follows. In Sect. 2, we introduce the construction of the SL HWENO schemes. In Sect. 3, we describe how to couple the proposed SL HWENO scheme with the fourth-order RKEI method for nonlinear models. A variety of numerical tests are provided in Sect. 4. Finally, a conclusion is presented in Sect. 5.
2 Two-Dimensional SL HWENO Schemes
Consider the following linear transport equation
where \(\left( a(x,y,t),b(x,y,t)\right) \) represents a known velocity field and u(x, y, t) is a density function. We assume a rectangle computational domain \(\Omega := [x_L,x_R]\times [y_B,y_T]\) and a corresponding discretization such that \(x_L = x_{\frac{1}{2}}<x_{\frac{3}{2}}<\cdots <x_{N_x+\frac{1}{2}}=x_R\), \(y_B = y_{\frac{1}{2}}<y_{\frac{3}{2}}<\cdots <y_{N_y+\frac{1}{2}}=y_T\), with \(I^x_i:=\left[ x_{i-\frac{1}{2}},x_{i+\frac{1}{2}}\right] \), \(I^y_j:=\left[ y_{j-\frac{1}{2}},y_{j+\frac{1}{2}}\right] \), \(I_{i,j}:=I^x_i \times I^y_j\), \(x_i:=\frac{x_{i-\frac{1}{2}}+x_{i+\frac{1}{2}}}{2}\), \(y_j:=\frac{y_{j-\frac{1}{2}}+y_{j+\frac{1}{2}}}{2}\), \(\Delta x_i:= x_{i+\frac{1}{2}}-x_{i-\frac{1}{2}}\) and \(\Delta y_j:= y_{j+\frac{1}{2}} - y_{j-\frac{1}{2}}\). We define a \(P^1\) DG solution space \(V^1_h:= \{ u_h|u_h(x,y)|_{I_{i,j}}\in P^1(I_{i,j})~\forall i,j \}\). Consider an Eulerian cell \(I_{i,j}\) at \(t = t^{n+1}\) and define a dynamic characteristic region \(I_{i,j}(t):=\{\left( x^*,y^*\right) |\left( x^*,y^*\right) =\left( X(x,y;t),Y(x,y;t)\right) ,~~(x,y)\in I_{i,j}\}\), where \(\left( X(x,y;t),Y(x,y;t)\right) \) represents the characteristic curve emanating from \((x,y,t^{n+1})\), i.e., the solution of the ordinary differential equations (ODEs)
We define an adjoint problem of (2.1) as in [4] on \(I_{i,j}(t)\times [t^n,t^{n+1}]\): for a given test function \(W(x,y)\in P^1(I_{i,j})\),
By the Reynolds transport Theorem, we have,
From (2.4), an SL scheme is naturally formulated:
where \(I^\star _{i,j}=I_{i,j}(t^n)\) (see Fig. 1).
For given time level \(t^n\), we denote the first three moments of the solution by \(\{\overline{u}_{i,j}\}\), \(\{\overline{v}_{i,j}\}\), and \(\{\overline{w}_{i,j}\}\). Then, we denote the numerical solution on \(t^n\) by \(u^n\) with
For constructing an SL HWENO scheme, it is sufficient to take \(W(x,y) = 1\), \((x-x_i)/\Delta x_i\), \((y-y_j)/\Delta y_j\) and evaluate the right-hand side of (2.5) accurately. To approximate the right-hand side of (2.5), in Sect. 2.1, we first introduce the two newly constructed HWENO reconstructions to recover a piecewise cubic polynomial, denoted by \(H^n(x,y)\), to approximate \(u(x,y,t^n)\) in (2.5). Then, in Sect. 2.2, cubic-curved quadrilaterals, denoted by \(\{\widetilde{I}^\star _{i,j}\}\), are defined for approximating \(\{I_{i,j}^\star \}\) and a cubic polynomial \(\widetilde{w}(x,y)\) is constructed over each \(\widetilde{I}^\star _{i,j}\) by a least square procedure to approximate the test function w(x, y). Finally, we briefly summarize the integration strategy on \(\widetilde{I}^\star _{i,j}\) in Sect. 2.3.
2.1 Two-Dimensional HWENO Reconstruction Methods
For convenience, we require \(\Delta x_i \equiv \Delta x,\quad \Delta y_j \equiv \Delta y, \quad \forall i,j\). Based on the \(P^1\) DG solution, \(u^n(x,y)\), we recover a piecewise \(P^3\) polynomial,
where \(H^{(i,j)}(x,y)\in P^3(I_{i,j})\). We define a set of local orthogonal basis of the high order polynomial denoted as \(\{P_l(x,y)\}\) with:
We also define that \(\overline{u}_5^n:=\overline{u}_{i,j}^n\), \(\overline{v}_5^n:=\overline{v}_{i,j}^n\), \(\overline{w}_5^n:=\overline{w}_{i,j}^n\), \(I_{5}:=I_{i,j}\) and other \(\{\overline{u}_{s}^n\}\), \(\{\overline{v}_{s}^n\}\), \(\{\overline{w}_{s}^n\}\), \(\{I_s\}\) represent corresponding moments and Eulerian cells based on the serial numbers in Fig. 2. Then, the 2-D HWENO reconstruction methods over \(I_{i,j}\) are summarized as follows.
Step 1. Reconstruct the first-order moments.
The first-order moments, \(\{\overline{v}^n_5,\overline{w}^n_5\}\), can be extremely large when \(u(x,y,t^n)\) is discontinuous in \(I_{i,j}\) since \(\overline{v}^n_5 \sim \frac{\Delta x}{12}\frac{\partial u}{\partial x}|_{(x_i,y_j)}\) and \(\overline{w}^n_5 \sim \frac{\Delta y}{12}\frac{\partial u}{\partial y}|_{(x_i,y_j)}\). Hence, before recovering a cubic polynomial, we reconstruct the first-order moments with the following two goals: it will provide high-order approximations of first-order moments when \(u(x,y,t^n)\) is smooth in \(I_{i,j}\); when \(u(x,y,t^n)\) is discontinuous in \(I_{i,j}\), first-order moments will be reduced to a reasonable level.
The two first-order moments can be regarded as local indicators of the changing rates for the x- and y-dimensions. Each of them is highly independent of the other dimension. Hence, the reconstruction is performed in a dimension-by-dimension manner. Below, we take the x direction as an example to illustrate the procedure for reconstructing its first-order moment.
Step 1.1. Compute approximations to the first-order moment and smoothness indicators from 1-D polynomial reconstructions.
-
1.
Construct a quartic polynomial \(p_0(x)\), and three quadratic polynomials \(\{p_k(x)\}_{k=1}^3\) satisfying
$$\begin{aligned} \begin{aligned}&\frac{1}{\Delta x}\int _{I^x_{i+l}}p_0(x)dx=\overline{u}_{i+l,j}^n,~~~l=-1,0,1,\\&\frac{1}{\Delta x}\int _{I^x_{i+l}}p_0(x)\left( \frac{x-x_{i+l}}{\Delta x}\right) dx=\overline{v}_{i+l,j}^n,~~~l=-1,1,\\ \end{aligned} \end{aligned}$$(2.9)and
$$\begin{aligned} \begin{aligned}&\frac{1}{\Delta x}\int _{I^x_{i+l}}p_1(x)dx=\overline{u}_{i+l,j}^n,~~l=-1,0,~~~\frac{1}{\Delta x}\int _{I^x_{i-1}}p_1(x)\left( \frac{x-x_{i-1}}{\Delta x}\right) dx=\overline{v}_{i-1,j}^n,\\&\frac{1}{\Delta x}\int _{I^x_{i+l}}p_2(x)dx=\overline{u}_{i+l,j}^n,~~l=-1,0,1,\\&\frac{1}{\Delta x}\int _{I^x_{i+l}}p_3(x)dx=\overline{u}_{i+l,j}^n,~~l=0,1,~~~\frac{1}{\Delta x}\int _{I^x_{i+1}}p_3(x)\left( \frac{x-x_{i+1}}{\Delta x}\right) dx=\overline{v}_{i+1,j}^n.\\ \end{aligned}\nonumber \\ \end{aligned}$$(2.10) -
2.
Compute the first-order moments of \(\{p_k(x)\}_{k=0}^3\):
$$\begin{aligned} \begin{aligned}&\widetilde{\overline{v}}_{i,j,0}^n:= \frac{1}{\Delta x}\int _{I^x_i}p_0(x)\left( \frac{x-x_i}{\Delta x}\right) dx = -\frac{5}{76}\overline{u}^n_{i-1,j}-\frac{11}{38}\overline{v}^n_{i-1,j}\\&\qquad \qquad -\frac{11}{38}\overline{v}^n_{i+1,j}+\frac{5}{76}\overline{u}^n_{i+1,j},\\&\widetilde{\overline{v}}_{i,j,1}^n:= \frac{1}{\Delta x}\int _{I^x_i}p_1(x)\left( \frac{x-x_i}{\Delta x}\right) dx=\frac{1}{6}\overline{u}^n_{i,j}-\frac{1}{6}\overline{u}^n_{i-1,j}-\overline{v}^n_{i-1,j},\\&\widetilde{\overline{v}}_{i,j,2}^n:= \frac{1}{\Delta x}\int _{I^x_i}p_2(x)\left( \frac{x-x_i}{\Delta x}\right) dx=\frac{1}{24}\overline{u}^n_{i+1,j}-\frac{1}{24}\overline{u}^n_{i-1,j},\\&\widetilde{\overline{v}}_{i,j,3}^n:= \frac{1}{\Delta x}\int _{I^x_i}p_3(x)\left( \frac{x-x_i}{\Delta x}\right) dx=\frac{1}{6}\overline{u}^n_{i+1,j}-\frac{1}{6}\overline{u}^n_{i,j}-\overline{v}^n_{i+1,j}.\\ \end{aligned}\nonumber \\ \end{aligned}$$(2.11) -
3.
Compute the smoothness indicators \(\{\beta _k\}_{k=0}^3\) of \(\{p_k(x)\}_{k=0}^3\) [20, 23, 33]:
$$\begin{aligned} \beta _k=\sum _{l=1}^r\frac{1}{\Delta x}\int _{I_i^x}\left( \Delta x^l\frac{\partial ^l}{\partial x^l}p_k(x)\right) ^2dx,~~~k=0,1,2,3 \end{aligned}$$(2.12)with r representing the degree of the corresponding polynomial. Here, the smoothness indicators \(\{\beta _k\}_{k=1}^3\) can be explicitly expressed by
$$\begin{aligned} \begin{aligned}&\beta _1 = \left( 12\widetilde{\overline{v}}_{i,j,1}^n\right) ^2+156\left( \widetilde{\overline{v}}_{i,j,1}^n-\overline{v}^n_{i-1,j}\right) ^2,\\&\beta _2 = \left( 12\widetilde{\overline{v}}_{i,j,2}^n\right) ^2+\frac{13}{12}\left( \overline{u}^n_{i+1,j}-2\overline{u}^n_{i,j}+\overline{u}^n_{i-1,j}\right) ^2,\\&\beta _3 = \left( 12\widetilde{\overline{v}}_{i,j,3}^n\right) ^2+156\left( \overline{v}^n_{i+1,j}-\widetilde{\overline{v}}_{i,j,3}^n\right) ^2. \end{aligned} \end{aligned}$$(2.13)We refer to [39] for the explicit expression of \(\beta _0\).
-
4.
Compute a full stencil global reference smoothness indicator [19]:
$$\begin{aligned} \tau := \left( \frac{|\beta _0-\beta _1|+|\beta _0-\beta _3|}{2}\right) ^2. \end{aligned}$$(2.14)By the Taylor expansion, we can find that \(\tau = O(\Delta x^6)\), if there is no discontinuity involved.
Step 1.2. Weight the collected first-order moments.
Below, we first introduce the weighting strategy for the HWENO-1.
-
1.
Compute the nonlinear weights using Z-type weighting strategy in [2, 8] by
$$\begin{aligned} \omega _k = \frac{\overline{\omega }_k}{\sum _l{\overline{\omega }_l}}~~~ \text {with}~~~ \overline{\omega }_k = \gamma _k\left( 1+\frac{\tau }{\beta _k+\epsilon }\right) ~~~ k = 0,1,3, \end{aligned}$$(2.15)where \(\epsilon = 10^{-40}\) is set to avoid the denominator being zero. The linear weights, \(\{\gamma _0, \gamma _1, \gamma _3\}\), are chosen as \(\{0.6,0.2,0.2\}\) in this paper. We refer to [39, 42] for more details on linear and nonlinear weights.
-
2.
Reconstruct the x-dimension first-order moment, \(\overline{v}_{5}^n\), by
$$\begin{aligned} \widetilde{\overline{v}}_{5}^n = \frac{\omega _0}{\gamma _0}\left( \widetilde{\overline{v}}_{i,j,0}^n - \gamma _1\widetilde{\overline{v}}_{i,j,1}^n - \gamma _3\widetilde{\overline{v}}_{i,j,3}^n\right) + \omega _1\widetilde{\overline{v}}_{i,j,1}^n + \omega _3\widetilde{\overline{v}}_{i,j,3}^n. \end{aligned}$$(2.16)The WENO weighting procedure presented in (2.16) originates from the WENO-ZQ reconstruction method, as detailed in [42], and has been further developed in [1, 38, 39]. For a detailed accuracy analysis, we refer readers to these studies. A similar formula will be employed later for reconstructing a polynomial in \(I_{i,j}\).
The HWENO-2 reconstructs the first-order moment \(\overline{v}^n_5\) as follows.
-
1.
Separate the discontinuities from broad-band smooth fluctuations as illustrated in [14, 15] and also motivated by the Z-type weighting strategy in [2, 8] by first taking
$$\begin{aligned} \eta _k = \left( 1 + \frac{\tau }{\beta _k+\epsilon } \right) ^6~~~k = 1,2,3, \end{aligned}$$(2.17)where \(\epsilon = 10^{-40} \) is used to avoid the denominator being zero as in [2]. If there is no discontinuity involved, we can find that \(\eta _k \approx 1\) for all k. If there is discontinuity involved for the global three-cells stencil, the \(\eta \) value for a smooth small stencil can be greatly enlarge with a magnitude of \(O(\Delta x^{-12})\). Then, we normalize \(\{\eta _k\}_{k=1}^3\) with
$$\begin{aligned} \kappa _k = \frac{\eta _k}{\sum _{l=1}^3\eta _l}~~~k = 1,2,3. \end{aligned}$$(2.18) -
2.
Reconstruct the x-dimension first-order moment \(\overline{v}_{5}^n\) by:
$$\begin{aligned} \widetilde{\overline{v}}_{5}^n =\widetilde{\overline{v}}_{i,j,0}^n,~~~\text {if}~~~\min _{k}\kappa _k > C_T, \end{aligned}$$(2.19)otherwise
$$\begin{aligned} \widetilde{\overline{v}}_{5}^n = {\left\{ \begin{array}{ll} \begin{aligned} &{}\widetilde{\overline{v}}_{i,j,1}^n,~~~~~~~~~~~~\text {if}~~~\kappa _1>\kappa _3,\\ &{}\widetilde{\overline{v}}_{i,j,3}^n,~~~~~~~~~~~~\text {if}~~~\kappa _3>\kappa _1. \end{aligned} \end{array}\right. } \end{aligned}$$(2.20)where \(C_T\) is a parameter deciding whether a corresponding polynomial should be involved [15]. We empirically choose \(C_T = 10^{-3}\) as in [19]. For treating discontinuity, unlike [15, 19], we only choose the smoothest polynomial for reconstruction, since the weighted summation does not increase the order of accuracy for our case. When \(\{\kappa _k\}\) matches the smoothness of the three-cells stencil, we directly use \(\widetilde{\overline{v}}_{i,j,0}^n\) for optimal accuracy.
Remark 2.1
As outlined in the introduction, the reconstruction presented in (2.19) fundamentally aligns with the ENO or TENO type of reconstruction. For simplicity, we refer to this reconstruction as HWENO-2, rather than HENO or HTENO, considering it as a unique weighting strategy where the weights are either 0 or 1.
The first-order moment in y direction can be reconstructed in a similar way; we denote the reconstructed first-order moment in this direction by \(\widetilde{\overline{w}}_{5}^n\).
Step 2. Recover the reconstructed \(H^n(x,y)\) on \(I_{i,j}\).
Step 2.1. Collect information from different 2-D polynomials.
-
1.
Construct a polynomial \(\widetilde{q}_0(x,y):=\sum _{l=1}^{11}a^{q_0}_lP_l(x,y)\) such that
$$\begin{aligned} \begin{aligned}&\frac{1}{\Delta x\Delta y}\iint _{I_s}\widetilde{q}_0(x,y)dxdy = \overline{u}_s^n,~~~s=1,2,\ldots ,9,\\&\frac{1}{\Delta x\Delta y}\iint _{I_{5}}\widetilde{q}_0(x,y)\left( \frac{x-x_i}{\Delta x}\right) dxdy = \widetilde{\overline{v}}_5^n,\\&\frac{1}{\Delta x\Delta y}\iint _{I_{5}}\widetilde{q}_0(x,y)\left( \frac{y-y_j}{\Delta y}\right) dxdy = \widetilde{\overline{w}}_5^n.\\ \end{aligned} \end{aligned}$$(2.21)Let \(q_0(x,y) = \sum _{l=1}^{10}a^{q_0}_lP_l(x,y)\), which is the orthogonal projection of \(\widetilde{q}_0(x,y)\) to \(P^3(I_{i,j})\). We provide the explicit expressions of \(\{a^{q_0}_{l}\}_{l=1}^{10}\) in Appendix A.
-
2.
Construct four quadratic polynomial \(\{q_k(x,y)\}_{k=1}^4:=\{\sum _{l=1}^6a^{q_k}_lP_l(x,y)\}_{k=1}^4\) satisfying
$$\begin{aligned} \begin{aligned}&\frac{1}{\Delta x\Delta y}\iint _{I_s}q_k(x,y)dxdy = \overline{u}^n_s,\\&\frac{1}{\Delta x\Delta y}\iint _{I_5}q_k(x,y)\frac{x-x_i}{\Delta x}dxdy = \widetilde{\overline{v}}^n_5,\\&\frac{1}{\Delta x\Delta y}\iint _{I_5}q_k(x,y)\frac{y-y_i}{\Delta y}dxdy = \widetilde{\overline{w}}^n_5, \end{aligned} \end{aligned}$$(2.22)where
$$\begin{aligned} \begin{aligned}&s=1,2,4,5,~~\text {for}~~ k=1;~~s=2,3,5,6,~~\text {for}~~ k=2;\\&s=4,5,7,8,~~\text {for}~~ k=3;~~s=5,6,8,9,~~\text {for}~~ k=4. \end{aligned} \end{aligned}$$(2.23)The explicit expressions of \(\{a^{q_k}_l\}\) are given in Appendix A.
-
3.
Compute the smoothness indicator [20, 23, 33] \(\{\hat{\beta }_k\}_{k=0}^4\) of \(\{q_k(x,y)\}_{k=0}^4\):
$$\begin{aligned} \begin{aligned} \hat{\beta }_0 =&\frac{1}{\Delta x\Delta y}\sum _{l_1+l_2<=3}\iint _{I_{i,j}}\left( \Delta x^{l_1}\Delta y^{l_2}\frac{\partial ^{|l_1+l_2|}}{\partial x^{l_1}\partial y^{l_2}}q_0(x,y)\right) ^2dxdy;\\ \hat{\beta }_k=&\frac{1}{\Delta x\Delta y}\sum _{l_1+l_2<=2}\iint _{I_{i,j}}\left( \Delta x^{l_1}\Delta y^{l_2}\frac{\partial ^{|l_1+l_2|}}{\partial x^{l_1}\partial y^{l_2}}q_k(x,y)\right) ^2dxdy,~~k=1,2,3,4. \end{aligned}\nonumber \\ \end{aligned}$$(2.24)The explicit expression of \(\{\hat{\beta }_k\}_{k=0}^4\) can be given by
$$\begin{aligned} \begin{aligned} \hat{\beta }_0 =&\left( a^{q_0}_2+\frac{1}{10}a^{q_0}_7\right) ^2+\left( a^{q_0}_3+\frac{1}{10}a^{q_0}_{10}\right) ^2+\frac{13}{3}\left( a^{q_0}_4\right) ^2+\frac{7}{6}\left( a^{q_0}_5\right) ^2+\frac{13}{3}\left( a^{q_0}_6\right) ^2\\&+\frac{781}{20}\left( a^{q_0}_7\right) ^2+\frac{47}{10}\left( a^{q_0}_8\right) ^2+\frac{47}{10}\left( a^{q_0}_9\right) ^2+\frac{781}{20}\left( a^{q_0}_{10}\right) ^2;\\ \hat{\beta }_k =&\left( a^{q_k}_2\right) ^2+\left( a^{q_k}_3\right) ^2+\frac{13}{3}\left( a^{q_k}_4\right) ^2+\frac{7}{6}\left( a^{q_k}_5\right) ^2+\frac{13}{3}\left( a^{q_k}_6\right) ^2~~~\text {for}~~k=1,2,3,4. \end{aligned}\nonumber \\ \end{aligned}$$(2.25) -
4.
Compute a full stencil global reference smoothness indicator:
$$\begin{aligned} \hat{\tau }=\left( \frac{|\hat{\beta }_0-\hat{\beta _1}|+|\hat{\beta }_0-\hat{\beta _2}|+|\hat{\beta }_0-\hat{\beta _3}|+|\hat{\beta }_0-\hat{\beta _4}|}{4}\right) ^2. \end{aligned}$$(2.26)Similarly, by the Taylor expansion, we can easily check that \(\hat{\tau }=O(\Delta x^6)\), if there is no discontinuity involved.
Step 2.2. Weight the collected 2-D polynomials.
The HWENO-1 weights the polynomials as follows.
-
1.
Compute the nonlinear weights using Z-type weighting strategy in [2, 8] by
$$\begin{aligned} \hat{\omega }_k = \frac{\widetilde{\omega }_k}{\sum _l{\widetilde{\omega }_l}}~~~ \text {with}~~~ \widetilde{\omega }_k = \gamma _k\left( 1+\frac{\tau }{\beta _k+\epsilon }\right) ~~~ k = 0,1,2,3,4, \end{aligned}$$(2.27)where \(\epsilon = 10^{-40}\) is set to avoid the denominator being zero. The linear weights, \(\{\gamma _k\}_{k=0}^4\) are chosen as \(\{0.6, 0.1, 0.1, 0.1, 0.1\}\) in this paper.
-
2.
Construct \(H^{(i,j)}(x,y):=\sum _{l=1}^{10}a_lP_l(x,y)\):
$$\begin{aligned} \begin{aligned} H^{(i,j)}(x,y)=\frac{\hat{\omega }_0}{\hat{\gamma }_0}\left( q_0(x,y)-\sum _{k=1}^4\hat{\gamma }_kq_k(x,y)\right) +\sum _{k=1}^4\hat{\omega }_kq_k(x,y),~~~(x,y)\in I_{i,j}. \end{aligned}\nonumber \\ \end{aligned}$$(2.28)Here, the coefficients \(\{a_l\}\) can be explicitly given by
$$\begin{aligned} \begin{aligned}&a_1 = \overline{u}^n_5;~~ a_2 = 12\widetilde{\overline{v}}^n_5;~~ a_3 = 12\widetilde{\overline{w}}^n_5;\\&a_l = \frac{\hat{\omega }_0}{\hat{\gamma }_0}a^{q_0}_l + \sum _{k=1}^4\left( \hat{\omega }_k-\frac{\hat{\omega }_0}{\hat{\gamma }_0}\hat{\gamma }_k\right) a^{q_k}_l~~ \text {for}~~ l= 4,5,6;\\&a_l = \frac{\hat{\omega }_0}{\hat{\gamma }_0}a^{q_0}_l~~\text {for}~~l=7,8,\cdots ,10. \end{aligned} \end{aligned}$$(2.29)
The HWENO-2 weights the polynomials as follows.
-
1.
Compute the separation parameters \(\{\hat{\eta }_k\}_{k=1}^4\) and the corresponding normalized parameters \(\{\hat{\kappa }_k\}_{k=1}^4\) similarly:
$$\begin{aligned} \hat{\kappa }_k=\frac{\hat{\eta }_k}{\sum _{l=1}^3\hat{\eta }_l}~~~\text {with}\, \hat{\eta }_k=\left( 1+\frac{\hat{\tau }_6}{\hat{\beta }_k+\epsilon }\right) ^6 \hbox { for } k=1,2,3,4, \end{aligned}$$(2.30)where \(\epsilon = 10^{-40}\).
-
2.
Construct \(H^{(i,j)}(x,y)\) by
$$\begin{aligned} \begin{aligned} H^{(i,j)}(x,y)=q_0(x,y),~~~\text {if}~~~\min _k\hat{\kappa }_k > C_T, \end{aligned} \end{aligned}$$(2.31)otherwise
$$\begin{aligned} \begin{aligned} H^{(i,j)}(x,y)=q_K(x,y)~~~\text {with}\,K \,\text {being the index such that}\, \hat{\kappa }_K=\max _k\hat{\kappa }_k. \end{aligned} \end{aligned}$$(2.32)Here, \(C_T\) is chosen as \(10^{-3}\).
In particular, if \(\widetilde{\overline{v}}^n_{i,j} = \widetilde{\overline{v}}^n_{i,j,0}\), \(\widetilde{\overline{w}}^n_{i,j} = \widetilde{\overline{w}}^n_{i,j,0}\) (with similar notation), and \(H^{(i,j)}(x,y) = q_0(x,y)\quad \forall i,j,\) we call such a reconstruction linear reconstruction.
2.2 Constructing Cubic-Curved Upstream Cells and Approximating \(w(x,y,t^n)\)
To evaluate the right-hand side of (2.5), it remains to provide the approximations of \(\{I_{i,j}^\star \}\) and \(w(x,y,t^n)\). For a given index (i, j), the cubic-curved quadrilateral upstream cell, \(\widetilde{I}^\star _{i,j}\), and the cubic polynomial \(\widetilde{w}(x,y)\) on \(\widetilde{I}^\star _{i,j}\) are constructed by the following procedure.
Step 1. Tracing characteristics backward in time.
We locate \(4\times 4\) Gauss-Legendre-Lobatto (GLL) points, denoted by \(\{v_k\}\), on \(I_{i,j}\). We determine the characteristic feet, denoted by \(\{v_k^\star \}\), of these GLL points by solving (2.2) at \(t = t^n\) (see Fig. 3). In practice, we solve the ODEs (2.2) by a fourth-order Runge–Kutta (RK) method.
Step 2. Constructing cubic-curved quadrilateral upstream cell \(\widetilde{I}_{i,j}^\star \).
We determine the cubic-curved quadrilateral \(\widetilde{I}_{i,j}^\star \) by constructing its edges. The edges of the cubic-curved quadrilateral upstream cells are constructed by a cubic interpolation procedure (see [41]). In particular, we prefer to use a parametric form to present any cubic-curved edge:
Step 3. Constructing \(\widetilde{w}(x,y)\).
By the adjoint problem (2.3), we have
Hence, by a standard least square procedure, we obtain a cubic polynomial \(\widetilde{w}(x,y)\in P^3\) such that \(w(x,y,t^n) - \widetilde{w}(x,y) = O(\Delta x^4)\).
2.3 Numerical Integration
For numerically evaluating the right-hand side of (2.5), we integrate the piecewise polynomial \(H^n(x,y)\widetilde{w}(x,y)\) over each \(\widetilde{I}_{i,j}^\star \), which may cross different Eulerian background cells. Hence, \(\widetilde{I}_{i,j}^\star \) is first clipped into curved polygons such that \(\widetilde{I}_{i,j}^\star =\cup _{(p,q)}(\widetilde{I}^\star _{i,j}\cap I_{p,q})\) and the integrand is smooth in each polygon. For conciseness, the curved polygons \(\left\{ \widetilde{I}^\star _{i,j}\cap I_{p,q}\right\} \) are denoted by \(\left\{ \widetilde{I}_{i,j;p,q}^\star \right\} \). In particular, we are concerned about the information along the edges of \(\left\{ \widetilde{I}_{i,j;p,q}^\star \right\} \). The edges of \(\left\{ \widetilde{I}_{i,j;p,q}^\star \right\} \), overlapping \(\partial \widetilde{I}_{i,j}^\star \), with counterclockwise direction with respect to \(\widetilde{I}_{i,j}^\star \) are denoted by \(\{\mathcal {L}_{i,j;p,q}^{k}\}\) (see Fig. 4a). We call \(\{\mathcal {L}_{i,j;p,q}^{k}\}\) the outer integral segments of the upstream cell \(\widetilde{I}_{i,j}^\star \). Similarly, the edges of \(\left\{ \widetilde{I}_{i,j;p,q}^\star \right\} \), overlapping mesh lines, with counterclockwise direction with respect to the corresponding curved polygons are denoted by \(\{\mathcal {S}_{i,j;p,q}^{k}\}\) (see Fig. 4b). We call \(\{\mathcal {S}_{i,j;p,q}^{k}\}\) the inner integral segments of \(\widetilde{I}_{i,j}^\star \). We call the procedure of determining the integral segments the clipping method. For implementation, we refer to [41] for more details.
With the clipped outer integral segments, \(\{\mathcal {L}_{i,j;p,q}^k\}\), as well as the inner integral segments, \(\{\mathcal {S}_{i,j;p,q}^k\}\), we evaluate the right-hand side of (2.5) as follows
where P(x, y) and Q(x, y) are piecewise smooth auxiliary functions such that
It is straightforward for evaluating the line integral on \(\{\mathcal {S}_{i,j;p,q}^k\}\). For the integral on an outer integral segment, say \(\mathcal {L}_{i,j;p,q}^k\),
where \(\xi _k\) and \(\xi _{k+1}\) represent the \(\xi \) value of the start point and end point of \(\mathcal {L}_{i,j;p,q}^k\) (2.33).
The proposed SL HWENO schemes also equip a PP limiter [37], when the analytical solution of (2.1) stays positive. For the implementation of this PP limiter, we refer to [41] for a detailed description.
Remark 2.2
We can numerically prove that the numerical update provided by (2.35) is unconditionally stable for linear transport equations with constant coefficients and periodic boundary condition if \(H^n(x,y)\) is reconstructed by the linear reconstruction defined in Sect. 2.1. The proof is accomplished by the von Neumann analysis. We arrange this proof in Appendix B.
3 SL HWENO Schemes for Nonlinear Models
The non-splitting SL HWENO schemes are coupled with a fourth-order RKEI in the same framework as in [3] to solve nonlinear models such as the Vlasov–Poisson system, the guiding center Vlasov model, and the incompressible Euler equations in the vorticity-stream function formulation. Below, we briefly describe these three models.
Arising from collisionless plasma, the Vlasov–Poisson system reads
where x represents the spatial position, v is the velocity, f(x, v, t) is the probability distribution function describing the probability of a particle at position x with velocity v at time t. The electric field E is determined by the Poisson’s Eq. (3.2). \(\phi \) is the self-consistent electrostatic potential. \(\rho =\int _{\mathbb {R}}f(x,v,t)dv-\rho _0\) is the charge density with \(\rho _0 = \frac{1}{|\Omega _x|}\int _{\Omega _x}\int _{\mathbb {R}}f(x,v,0)dvdx\).
The 2-D guiding center Vlasov model describes highly magnetized plasma in the transverse plane of a tokamak [13, 36], which can be written as:
where \(\rho (x,y,t)\) is the charge density and \(\textbf{E}\) is the electric field depends on \(\rho \) via the Poisson’s Eq. (3.4).
The 2-D incompressible Euler equations in vorticity-stream function formulation reads
where \(\omega (x,y,t)\) is the vorticity of the fluid, \(\textbf{u}:=(u_1,u_2)\) is the velocity field, and \(\psi \) is the stream-function determined by the Poisson Eq. (3.6).
Notice that these three models can be written in the form of
where \(\textbf{V}(u(\textbf{x},t))\) represents the velocity field. We briefly summarize the SL HWENO scheme coupled with the fourth-order RKEI as follows.
where \(SLHWENO\left( \textbf{V}\left( \overline{u}^{(k)}\right) ,\frac{1}{2}\Delta t\right) \overline{u}^{(l)}\) represents the solution evolved from \(\overline{u}^{(l)}\) with time step \(\frac{1}{2}\Delta t\) and velocity field \(\textbf{V}\left( \overline{u}^{(k)}\right) \) by a non-splitting SL HWENO scheme. For approximating the velocity field, we use the Fast Fourier transform to solve the Poisson’s equations.
4 Numerical Tests
4.1 Linear Transport Equations
In this subsection, we test two benchmark problems: the transport equation with constant coefficients and the swirling deformation flow. We apply four numerical schemes, denoted as SL HWENO-1, SL HWENO-2, SL HWENO-3, and SL WENO-ZQ schemes. The first two are newly developed schemes presented in this paper. The third scheme is essentially the same as the SL HWENO scheme described here, but with the HWENO-1 or HWENO-2 reconstruction replaced by the HWENO-3 reconstruction from [39]. In the HWENO-3 reconstruction, we substitute the \(p_0(x,y) \in P^4\) in [39] with the \(q_0(x,y)\) constructed in Sect. 2.1, aiming to maintain fourth-order spatial accuracy and enable the application of the PP limiter. This adjustment is necessary as we currently can only ensure the PP property for piecewise \(P^3\) polynomials in space. The SL WENO-ZQ scheme is identical to the non-splitting SL scheme found in [41].
A brief discussion on computational efficiency is pertinent here. While efficiency is not the central focus of this paper, it is important to note that the proposed SL schemes demonstrate significant improvements in computational time, especially when compared to traditional Eulerian schemes. Our SL schemes are capable of operating with arbitrary large CFL numbers, which allows for larger time steps and thus enhanced efficiency. In contrast, Eulerian schemes (e.g., finite volume RK WENO or HWENO schemes) typically operate with a CFL number around 0.6, marking a substantial difference in time-stepping capabilities. However, due to the extensive scope required for a rigorous comparison with Eulerian schemes, such an analysis is beyond the scope of the current revision. Nonetheless, the tests in this section include comparisons of \(L^1\) and \(L^{\infty }\) errors against CPU times for all four SL schemes, providing a quantitative measure of their efficiency.
Through the following tests, our goal is to showcase the performance of the SL schemes and compare the differences between various reconstructions in terms of spatial and temporal accuracy, numerical stability, and resolution of complex solution structures.
Unless otherwise specified, we set \(\Delta t = \frac{\text {CFL}}{\frac{\text {max}{|a(x,y,t)|}}{\Delta x}+\frac{\text {max}{|b(x,y,t)|}}{\Delta y}}\) with CFL = 10.2. Here, CFL = 10.2 is chosen to avoid the situation where the SL schemes decay into simple shifting of numerical solutions for the transport equation with constant coefficients. The PP limiter is applied to problems with non-negative initial conditions.
Example 4.1
(Transport equation with constant coefficients). Consider
with a smooth initial condition, \(u(x,y,0) = \text {sin}(10(x+y))\), and the periodic boundary condition. The exact solution for this problem is \(u(x,y,t) = \text {sin}(10(x+y-2t))\). In Table 1, we present the \(L^1\) errors, \(L^{\infty }\) errors, and their corresponding spatial orders of accuracy for the SL schemes. As indicated, all schemes achieve fourth-order convergence. However, the SL HWENO-3 and SL WENO-ZQ schemes require denser meshes to reach fourth-order accuracy. In Fig. 5, we display log-log plots of CPU times versus the \(L^1\) and \(L^{\infty }\) errors under the same conditions as in Table 1. These plots reveal that the SL HWENO-1 and SL HWENO-2 schemes are more efficient. Lastly, Fig. 6 shows the cross-sections of the numerical solutions at \(x=y\) for the SL schemes at \(T=20\), using a fixed mesh size of \(80\times 80\). At this resolution, with four points per wavelength at \(x=y\), the SL HWENO-3 and SL WENO-ZQ schemes appear to produce more smearing compared to the other two schemes.
Example 4.2
(Swirling deformation flow). Consider
where \(g(t) = \text {cos}(\pi t/T)\) with \(T = 1.5\). We consider (4.2) with the following smooth initial condition
where \(r^b_0=0.3\pi \), \(r^b(\textbf{x})=\sqrt{ (x-x_0^b)^2+(y-y_0^b)^2 }\) and the center of the cosine bell \((x_0^b,y_0^b) = (0.3\pi ,0)\). Zero boundary condition is equipped for this test. In Table 2, we present the \(L^1\) errors, \(L^{\infty }\) errors and the corresponding spatial orders of accuracy of the SL schemes. As illustrated, it is more evident that the SL HWENO-1 and SL HWENO-2 schemes achieve fourth-order accuracy. However, due to numerical dissipation, it is harder to demonstrate fourth-order spatial accuracy for the SL HWENO-2 and SL WENO-ZQ schemes. In Fig. 7, we present log-log plots of CPU times versus the \(L^1\) and \(L^{\infty }\) errors, using the same conditions as in Table 2. Among these, the SL HWENO-3 scheme exhibits the least efficient performance for both \(L^1\) and \(L^{\infty }\) errors. In terms of the \(L^1\) error, the SL WENO-ZQ scheme proves to be the most efficient. However, for the \(L^{\infty }\) error, the performance of the SL WENO-ZQ scheme is nearly as poor as that of the SL HWENO-3 scheme.
In Fig. 8, we demonstrate the temporal order of accuracy for the SL schemes by maintaining a fixed spatial mesh while varying the CFL number. We observe that the temporal order reaches fifth-order for the swirling deformation flow, which is unexpectedly one order higher than the anticipated fourth-order. However, we emphasize that this is not a general phenomenon. It is possible that this unique outcome is due to the specific symmetry inherent in the swirling deformation flow. In this context, we merely report this observation without conducting a rigorous analysis. From Fig. 13, we can also observe that the SL HWENO-3 and SL WENO-ZQ schemes are less accurate for different CFL numbers, which also reflects the advantage of the proposed two new HWENO reconstructions. Another interesting phenomenon is that, before the temporal errors start to dominate, the errors decrease as the CFL number increases. This phenomenon is due to the accumulated spatial error, as simulations with smaller CFL numbers require more time steps.
To investigate the performance of the SL schemes with discontinuous solutions, we test Eq. (4.2) using the initial condition depicted in Fig. 9. The contour plots of the numerical solutions by the SL schemes at \(t = 1.5\) are shown in Fig. 10, utilizing a mesh size of \(100\times 100\) and a CFL of 10.2. In Fig. 11, two cross-sections of the numerical solutions from Fig. 10 are presented. As observed, the SL schemes effectively capture the geometry of the solution. The SL HWENO-1 and SL HWENO-2 schemes demonstrate superior resolution while concurrently controlling numerical oscillations. In contrast, the SL HWENO-3 scheme exhibits more dissipation compared to the other schemes.
4.2 Nonlinear Vlasov–Poisson System
In this subsection, we test one benchmark test, the strong Landau damping, for Vlasov–Poisson system. Unless specified, we set \(N_x=128\), \(N_v = 256\), CFL = 10.2, \(\Delta t = \frac{\text {CFL}}{\left( v_{\text {max}}/\Delta x+\text {max}\{|E|\}/\Delta v\right) }\) with \(v_{\text {max}}\) representing the positive boundary in v-direction. The PP limiter is equipped for all tests.
Example 4.3
(Strong Landau damping). Consider the VP system with the initial condition
where \(k=0.5\), \(\alpha = 0.5\). In Table 3, we present the \(L^1\) and \(L^{\infty }\) errors, along with the corresponding spatial orders of accuracy, for the SL schemes. These errors are calculated by comparing the solution with a reference solution obtained through mesh refinement. We note a distinct fourth-order accuracy for the SL HWENO-1 scheme. The SL HWENO-2 scheme shows a performance slightly inferior to that of the SL HWENO-1 scheme, but it is more accurate than both the SL HWENO-3 and SL WENO-ZQ schemes. Figure 12 features log-log plots of CPU times versus \(L^1\) and \(L^{\infty }\) errors under the same settings in Table 3, providing a comparison of efficiency. Both the SL HWENO-1 and SL HWENO-2 schemes demonstrate greater efficiency in terms of both \(L^1\) and \(L^{\infty }\) errors. In Fig. 13, we present the temporal order of accuracy of the SL schemes by fixing the spatial mesh while varying the CFL number. We observe approximately 3.8th-order temporal accuracy for the \(L^1\) error and approximately 3.5th-order temporal accuracy for the \(L^{\infty }\) norm. Due to strong dissipation, the SL WENO-ZQ scheme exhibits much large \(L^{\infty }\) errors when its spatial errors dominate the total errors.
Figure 14 illustrates the time evolution of the first three Fourier modes of the electric field using the SL schemes, represented as \(|E_k(0.5,t)|\), \(|E_k(1.0,t)|\), and \(|E_k(1.5,t)|\), following the notation in [25]. As observed, both the decaying and growing patterns of these three modes align with the numerical results reported in the literature. Additionally, the corresponding decay rates and growth rates presented in Fig. 14 closely match those found in previous studies, specifically in [21] and [25].
In Fig. 15, we display contour plots of the numerical solutions obtained using the SL schemes at \(T = 40\). Additionally, cross-sections of these numerical solutions at \(x \approx 2.6\), as depicted in Fig. 15, are shown in Fig. 16. We note that the numerical solutions effectively retains the filamentation structure of the strong Landau damping problem. From the color bars in Fig. 15 and the cross-sections, it is evident that the SL HWENO-3 and SL WENO-ZQ schemes tend to smear information at points with large gradients.
The VP system is characterized by several conserved quantities, including mass, \(L^p\) norms, energy, and entropy, as highlighted in [31]. In Fig. 17, we employ the SL HWENO-1 scheme to simulate strong Landau damping and assess the time evolution of the relative deviation of mass and \(L^1\) norm in the numerical solution. To mitigate the effects of boundary truncation in the v dimension, we set \(v_{\text {max}} = 10\) for this simulation. The relative deviations in mass and \(L^1\) norm are observed to be at the \(O(10^{-12})\) level. Notably, the relative deviation of mass and \(L^1\) norm coincides at every data point, underscoring the effectiveness of the PP limiter. Regarding the \(L^2\) norm, energy, and entropy, the time evolution of their relative deviations, as simulated by the SL schemes, is elaborated in Fig. 18. These deviations are of similar magnitude and closely align with the levels reported in previous studies [31] and [29]. However, it is important to note that the proposed SL schemes were not originally designed to conserve these quantities. Additionally, the settings of the simulations in the existing literature vary. Therefore, we do not draw specific conclusions about the benefits of using our schemes for the preservation of the \(L^2\) norm, energy, and entropy.
4.3 Guiding Center Vlasov Model
For the guiding center Vlasov model, unless specified, we set \(N_x = N_y = 256\), CFL = 10.2, and
Example 4.4
(Kelvin–Helmholtz instability problem). Consider the guiding center Vlasov model with the periodic boundary condition and with the following initial condition
where \(k=0.5\). In Table 4, we show the \(L^1\) errors, \(L^{\infty }\) and corresponding spatial orders of accuracy of the SL schemes. These errors are calculated by comparing the solution with a reference solution obtained through mesh refinement. For this particular problem, the errors and spatial orders of accuracy, which are consistently fourth-order, are nearly identical for the SL HWENO-1 and SL HWENO-2 schemes. However, due to numerical dissipation, the spatial order data of the SL HWENO-3 and SL WENO-ZQ schemes are not as tidy. A comparison of computational efficiency is provided in Fig. 19, where the SL HWENO-1 and SL HWENO-2 schemes demonstrate greater efficiency for this problem. In Fig. 20, we observe fourth-order temporal accuracy of SL schemes for \(L^1\) error and approximately 3.8th-order temporal accuracy for the \(L^{\infty }\) error. Due to dissipation, the SL HWENO-3 scheme exhibits larger \(L^1\) and \(L^{\infty }\) errors when spatial erros dominate the total errors.
In Fig. 21, we present the contour plots of the numerical solutions obtained using the SL schemes at \(T = 40\). Cross-sections of these numerical solutions at \(y = \pi \) are showcased in Fig. 22. The numerical results align well with those previously reported in the literature [3, 35]. Visually, it is evident that the numerical solution from the SL HWENO-1 scheme captures the most intricate structures. The resolution offered by the SL HWENO-2 scheme is marginally less detailed than that of the SL HWENO-1 scheme. On the other hand, the SL HWENO-3 and SL WENO-ZQ schemes tend to blur some structures in comparison to the first two SL schemes. However, the SL HWENO-1 scheme exhibits distinct upward and downward overshooting compared to the other two schemes, as it overshoots the upper bound of 1.015 and downward overshoots the lower bound of \(-\)1.015. This is notable considering that the guiding center Vlasov model should be preserving its maximum and minimum values.
The Kelvin–Helmholtz instability problem is known to preserve mass, \(L^p\) norm, energy, and enstrophy, as described in [35, 36]. In Fig. 23, we illustrate the time evolution of the mass deviation, as well as the relative deviations of the \(L^1\) norm, energy, and enstrophy, as simulated by the SL schemes. We focus on the deviation (rather than the relative deviation) for mass because the total mass of the Kelvin–Helmholtz instability problem is zero. In terms of mass deviation, we observe a magnitude of \(O(10^{-11})\) up to \(t=200\) for the SL HWENO schemes, with the SL WENO-ZQ scheme showing a significantly smaller magnitude. For the \(L^1\) norm, energy, and enstrophy, the performance of the SL schemes is consistent and comparable with existing results in the literature [3, 35]. However, it’s important to note that the simulation settings in the literature vary significantly, and our proposed schemes are not specifically designed to preserve these quantities. Therefore, we conclude that the performance of the SL schemes is comparable to existing results achieved using schemes not intended for conservation of these quantities.
4.4 Incompressible Euler Equations in Vorticity-Stream Function Formulation
For the 2-D incompressible Euler equations in vorticity-stream function formulation, unless specified, we set \(N_x=N_y=256\), CFL = 10.2, and
Example 4.5
(Shear flow problem). Consider the incompressible Euler equations in vorticity-stream function formulation in the domain \([0,2\pi ]\times [0,2\pi ]\) with the following initial condition
where \(\delta = 0.05\) and \(\rho = \pi /15\), and the periodic boundary condition. In Fig. 24, we show the contour plots of the numerical solutions of the SL schemes at \(T = 8\). In Fig. 25, the cross-sections of the numerical solutions in Fig. 24 are provided. From the cross-sections, it is observed that the SL HWENO-3 and SL WENO-ZQ schemes exhibit greater dissipation compared to the other two schemes.
5 Conclusion
This paper propose fourth-order SL HWENO schemes without operator splitting for two-dimensional nonlinear Vlasov dynamics. Two new HWENO reconstruction methods are introduced for capturing complicated solution structures without excessive dissipation. The proposed schemes couple the weak formulation of the characteristic Galerkin method with the new HWENO reconstruction methods; the obtained SL HWENO schemes are fourth-order accurate in both space and time, mass conservative, positivity-preserving, and unconditionally stable under a linearized setting. A variety of tests are performed to verify these properties.
Data availability
The datasets generated during and/or analyzed during the current study are available from the corresponding author upon reasonable request.
References
Balsara, D.S., Garain, S., Shu, C.-W.: An efficient class of WENO schemes with adaptive order. J. Comput. Phys. 326, 780–804 (2016)
Borges, R., Carmona, M., Costa, B., Don, W.S.: An improved weighted essentially non-oscillatory scheme for hyperbolic conservation laws. J. Comput. Phys. 227(6), 3191–3211 (2008)
Cai, X., Boscarino, S., Qiu, J.-M.: High order semi-Lagrangian discontinuous Galerkin method coupled with Runge-Kutta exponential integrators for nonlinear Vlasov dynamics. J. Comput. Phys. 427, 110036 (2021)
Cai, X., Guo, W., Qiu, J.-M.: A high order conservative semi-Lagrangian discontinuous Galerkin method for two-dimensional transport simulations. J. Sci. Comput. 73(2–3), 514–542 (2017)
Cai, X., Guo, W., Qiu, J.-M.: A high order semi-Lagrangian discontinuous Galerkin method for Vlasov-Poisson simulations without operator splitting. J. Comput. Phys. 354, 529–551 (2018)
Cai, X., Qiu, J., Qiu, J.-M.: A conservative semi-Lagrangian HWENO method for the Vlasov equation. J. Comput. Phys. 323, 95–114 (2016)
Cai, X., Zhang, X., Qiu, J.: Positivity-preserving high order finite volume HWENO schemes for compressible Euler equations. J. Sci. Comput. 68(2), 464–483 (2016)
Castro, M., Costa, B., Don, W.S.: High order weighted essentially non-oscillatory WENO-Z schemes for hyperbolic conservation laws. J. Comput. Phys. 230(5), 1766–1792 (2011)
Celledoni, E., Marthinsen, A., Owren, B.: Commutator-free Lie group methods. Futur. Gener. Comput. Syst. 19(3), 341–352 (2003)
Dahle, H.K., Ewing, R.E., Russell, T.F.: Eulerian-Lagrangian localized adjoint methods for a nonlinear advection-diffusion equation. Comput. Methods Appl. Mech. Eng. 122(3–4), 223–250 (1995)
Du, Z., Li, J.: A Hermite WENO reconstruction for fourth order temporal accurate schemes based on the GRP solver for hyperbolic conservation laws. J. Comput. Phys. 355, 385–396 (2018)
Dumbser, M., Balsara, D.S., Toro, E.F., Munz, C.-D.: A unified framework for the construction of one-step finite volume and discontinuous Galerkin schemes on unstructured meshes. J. Comput. Phys. 227(18), 8209–8253 (2008)
Frénod, E., Hirstoaga, S.A., Lutz, M., Sonnendrücker, E.: Long time behaviour of an exponential integrator for a Vlasov–Poisson system with strong magnetic field. Commun. Comput. Phys. 18(2), 263–296 (2015)
Fu, L.: A very-high-order TENO scheme for all-speed gas dynamics and turbulence. Comput. Phys. Commun. 244, 117–131 (2019)
Fu, L., Hu, X.Y., Adams, N.A.: A family of high-order targeted ENO schemes for compressible-fluid simulations. J. Comput. Phys. 305, 333–359 (2016)
Fu, L., Hu, X.Y., Adams, N.A.: A new class of adaptive high-order targeted ENO schemes for hyperbolic conservation laws. J. Comput. Phys. 374, 724–751 (2018)
Guo, W., Nair, R.D., Qiu, J.M.: A conservative semi-Lagrangian discontinuous Galerkin scheme on the cubed-sphere. Mon. Weather Rev. 142(1), 457–475 (2014)
Huang, C.-S., Arbogast, T., Hung, C.-H.: A semi-Lagrangian finite difference WENO scheme for scalar nonlinear conservation laws. J. Comput. Phys. 322, 559–585 (2016)
Indra, W., Yanuar, Engkos, K.: A fifth-order Hermite targeted essentially non-oscillatory schemes for hyperbolic conservation laws. J. Sci. Comput. 87, 69 (2021)
Jiang, G.-S., Shu, C.-W.: Efficient implementation of weighted ENO schemes. J. Comput. Phys. 126(1), 202–228 (1996)
Knorr, G.: The integration of the Vlasov equation in configuration space. J. Comput. Phys. 22(3), 330–351 (1976)
Lee, D., Lowrie, R.B., Petersen, M.R., Ringler, T.D., Hecht, M.W.: A high order characteristic discontinuous Galerkin scheme for advection on unstructured meshes. J. Comput. Phys. 324, 289–302 (2016)
Liu, X.-D., Osher, S., Chan, T.: Weighted essentially non-oscillatory schemes. J. Comput. Phys. 115(1), 200–212 (1994)
Morton, K.W.: On the analysis of finite volume methods for evolutionary problems. SIAM J. Numer. Anal. 35(6), 2195–2222 (1998)
Nakamura, T., Yabe, T.: Cubic interpolated propagation scheme for solving the hyper-dimensional Vlasov-Poisson equation in phase space. Comput. Phys. Commun. 120(2–3), 122–154 (1999)
Qiu, J., Shu, C.-W.: Hermite WENO schemes and their application as limiters for Runge-Kutta discontinuous Galerkin method: one-dimensional case. J. Comput. Phys. 193(1), 115–135 (2004)
Qiu, J., Shu, C.-W.: Hermite WENO schemes and their application as limiters for Runge-Kutta discontinuous Galerkin method II: Two dimensional case. Computers & Fluids 34(6), 642–663 (2005)
Qiu, J.-M., Shu, C.-W.: Conservative high order semi-Lagrangian finite difference WENO methods for advection in incompressible flow. J. Comput. Phys. 230(4), 863–889 (2011)
Qiu, J.-M., Shu, C.-W.: Positivity preserving semi-Lagrangian discontinuous Galerkin formulation: theoretical analysis and application to the Vlasov-Poisson system. J. Comput. Phys. 230(23), 8386–8409 (2011)
Restelli, M., Bonaventura, L., Sacco, R.: A semi-Lagrangian discontinuous Galerkin method for scalar advection by incompressible flows. J. Comput. Phys. 216(1), 195–215 (2006)
Rossmanith, J.A., Seal, D.C.: A positivity-preserving high-order semi-Lagrangian discontinuous Galerkin scheme for the Vlasov-Poisson equations. J. Comput. Phys. 230(16), 6203–6232 (2011)
Russell, T.F., Celia, M.A.: An overview of research on Eulerian–Lagrangian localized adjoint methods (ELLAM). Adv. Water Resour. 25(8–12), 1215–1231 (2002)
Shu, C.-W.: Essentially non-oscillatory and weighted essentially non-oscillatory schemes for hyperbolic conservation laws. In: Advanced Numerical Approximation of Nonlinear Hyperbolic Equations, pp. 325–432. Springer (1998)
Sirajuddin, D., Hitchon, W.N.: A truly forward semi-Lagrangian WENO scheme for the Vlasov–Poisson system. J. Comput. Phys. 392, 619–665 (2019)
Xiong, T., Russo, G., Qiu, J.: Conservative multi-dimensional semi-Lagrangian finite difference scheme: stability and applications to the kinetic and fluid simulations. J. Sci. Comput. 79, 1241–1270 (2019)
Yang, C., Filbet, F.: Conservative and non-conservative methods based on Hermite weighted essentially non-oscillatory reconstruction for Vlasov equations. J. Comput. Phys. 279, 18–36 (2014)
Zhang, X., Shu, C.-W.: On maximum-principle-satisfying high order schemes for scalar conservation laws. J. Comput. Phys. 229(9), 3091–3120 (2010)
Zhao, Z., Chen, Y., Qiu, J.: A hybrid Hermite WENO scheme for hyperbolic conservation laws. J. Comput. Phys. 405, 109175 (2020)
Zhao, Z., Qiu, J.: A Hermite WENO scheme with artificial linear weights for hyperbolic conservation laws. J. Comput. Phys. 417, 109583 (2020)
Zheng, N., Cai, X., Qiu, J.-M., Qiu, J.: A conservative semi-Lagrangian hybrid Hermite WENO scheme for linear transport equations and the nonlinear Vlasov–Poisson system. SIAM J. Sci. Comput. 43(5), A3580–A3606 (2021)
Zheng, N., Cai, X., Qiu, J.-M., Qiu, J.: A fourth-order conservative semi-Lagrangian finite volume WENO scheme without operator splitting for kinetic and fluid simulations. Comput. Methods Appl. Mech. Eng. 395, 114973 (2022)
Zhu, J., Qiu, J.: A new fifth order finite difference WENO scheme for solving hyperbolic conservation laws. J. Comput. Phys. 318, 110–121 (2016)
Funding
The work of the first and fourth authors was partially supported by the National Key R &D Program of China [Grant number 2022YFA1004501] and the National Natural Science Foundation (China) [Grant Number 12071392]. The work of the second author was partially supported by the National Natural Science Foundation (China) [Grant Number 12201052], the Guangdong Provincial Key Laboratory of Interdisciplinary Research and Application for Data Science, BNU-HKBU United International College, project code 2022B1212010006, and Guangdong Higher Education Upgrading Plan (2021-2025) of “Rushing to the Top, Making Up Shortcomings and Strengthening Special Features” with No. of UICR0400024-21 and No. of R0400001-22. The work of the third author was partially supported by NSF [Grant Numbers NSF-DMS-1818924 and NSF-DMS-2111253], Air Force Office of Scientific Research, United States FA9550-18-1-0257.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Coefficients of \(\mathbf {\{q_k(x,y)\}_{k=0}^4}\)
For \(q_0(x,y)\),
For \(q_1(x,y)\),
For \(q_2(x,y)\),
For \(q_3(x,y)\),
For \(q_4(x,y)\),
Appendix B. Numerical Proof of Remark 2.2
Consider the following linear transport equation,
with periodic boundary condition. Without loss of generality, we assume that \(a > 0\) and \(b > 0\). We define \(\theta _1 = \frac{a\Delta t}{\Delta x}\) and \(\theta _2 = \frac{b\Delta t}{\Delta y}\). Then (2.35) with \(H^n(x,y)\) reconstructed by the linear reconstruction is reorganized as follows:
and
where \(\lfloor \cdot \rfloor \) represents the largest integer smaller than the input number. Now, we assume that
and
where \(I = \sqrt{-1}\). Submitting (B.5) and (B.6) into (B.2)–(B.4), we find that
where \(A(\theta _1,\theta _2,\xi _1,\xi _2)\) is the \(3\times 3\) amplification matrix. We skip the explicit expression of \(A(\theta _1,\theta _2,\xi _1,\xi _2)\) for conciseness since it is very complicated. We denote the spectral radius of \(A(\theta _1,\theta _2,\xi _1,\xi _2)\) by \(\rho (A(\theta _1,\theta _2,\xi _1,\xi _2))\). With basic algebraic manipulation, we have
Hence, by von Nuemann analysis, it is sufficient to verify that \(\rho (A(\theta _1,\theta _2,\xi _1,\xi _2)) \le 1\) for any \(\theta _1, \theta _2\in [0,1]\) and \(\xi _1\Delta x, \xi _2\Delta y\in [0,2\pi ]\). We were not able to find a theoretical expression of \(\rho (A(\theta _1,\theta _2,\xi _1,\xi _2))\). We numerically verify this relation by sampling 1000 uniform points over each \(\theta _1\), \(\theta _2\), \(\xi _1\Delta x\), \(\xi _2\Delta y\) domain. We find that all the \(\rho (A(\cdot ,\cdot ,\cdot ,\cdot ))\) values computed by the sampling points are not greater than 1, which validates Remark 2.2.
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
Zheng, N., Cai, X., Qiu, JM. et al. Fourth-Order Conservative Non-splitting Semi-Lagrangian Hermite WENO Schemes for Kinetic and Fluid Simulations. J Sci Comput 99, 70 (2024). https://doi.org/10.1007/s10915-024-02520-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-024-02520-6