A Comparison of the Performance of Limiters for Runge-Kutta Discontinuous Galerkin Methods

Discontinuities usually appear in solutions of nonlinear conservation laws even though the initial condition is smooth, which leads to great difficulty in computing these solutions numerically. The Runge-Kutta discontinuous Galerkin (RKDG) methods are efficient methods for solving nonlinear conservation laws, which are high-order accurate and highly parallelizable, and can be easily used to handle complicated geometries and boundary conditions. An important component of RKDG methods for solving nonlinear conservation laws with strong discontinuities in the solution is a nonlinear limiter, which is applied to detect discontinuities and control spurious oscillations near such discontinuities. Many such limiters have been used in the literature on RKDG methods. A limiter contains two parts, first to identify the "troubled cells", namely, those cells which might need the limiting procedure, then to replace the solution polynomials in those troubled cells by reconstructed polynomials which maintain the original cell averages (conservation). [SIAM J. Sci. Comput., 26 (2005), pp. 995-1013] focused on discussing the first part of limiters. In this paper, focused on the second part, we will systematically investigate and compare a few different reconstruction strategies with an objective of obtaining the most efficient and reliable reconstruction strategy. This work can help with the choosing of right limiters so one can resolve sharper discontinuities, get better numerical solutions and save the computational cost.     

On the role of Riemann solvers in Discontinuous Galerkin methods for magnetohydrodynamics

It has been claimed that the particular numerical flux used in Runge–Kutta Discontinuous Galerkin (RKDG) methods does not have a significant effect on the results of high-order simulations. We investigate this claim for the case of compressible ideal magnetohydrodynamics (MHD). We also address the role of limiting in RKDG methods.For smooth nonlinear solutions, we find that the use of a more accurate Riemann solver in third-order simulations results in lower errors and more rapid convergence. However, in the corresponding fourth-order simulations we find that varying the Riemann solver has a negligible effect on the solutions.In the vicinity of discontinuities, we find that high-order RKDG methods behave in a similar manner to the second-order method due to the use of a piecewise linear limiter. Thus, for solutions dominated by discontinuities, the choice of Riemann solver in a high-order method has similar significance to that in a second-order method. Our analysis of second-order methods indicates that the choice of Riemann solver is highly significant, with the more accurate Riemann solvers having the lowest computational effort required to obtain a given accuracy. This allows the error in fourth-order simulations of a discontinuous solution to be mitigated through the use of a more accurate Riemann solver.We demonstrate the minmod limiter is unsuitable for use in a high-order RKDG method. It tends to restrict the polynomial order of the trial space, and hence the order of accuracy of the method, even when this is not needed to maintain the TVD property of the scheme.     

利用通量限制思想改进紧致格式

利用通量限制思想改进紧致格式计算有间断流场的性能,并设计出一种限制器,该限制器被运用在一系列3至8阶的紧致格式上.数值实验表明,通量限制型紧致格式不仅具有较高的精度和分辨率,而且还能有效地抑制非物理振荡,适用于各种高低Mach数的流动,捕捉到的流场间断所占网格点数少.     

Accuracy preserving limiter for the high-order accurate solution of the Euler equations

Higher-order finite-volume methods have been shown to be more efficient than second-order methods. However, no consensus has been reached on how to eliminate the oscillations caused by solution discontinuities. Essentially non-oscillatory (ENO) schemes provide a solution but are computationally expensive to implement and may not converge well for steady-state problems. This work studies the extension of limiters used for second-order methods to the higher-order case. Requirements for accuracy and efficient convergence are discussed. A new limiting procedure is proposed. Ringleb’s flow problem is used to demonstrate that nearly nominal orders of accuracy for schemes up to fourth-order can be achieved in smooth regions using the new limiter. Results for the fourth-order accurate solution of transonic flow demonstrates good convergence properties and significant qualitative improvement of the solution relative the second-order method. The new limiter can also be successfully applied to reduce the dissipation of second-order schemes with minimal sacrifices in convergence properties relative to existing approaches.     

A high-order accurate unstructured finite volume Newton–Krylov algorithm for inviscid compressible flows

A fast implicit Newton–Krylov finite volume algorithm has been developed for high-order unstructured steady-state computation of inviscid compressible flows. The matrix-free generalized minimal residual (GMRES) algorithm is used for solving the linear system arising from implicit discretization of the governing equations, avoiding expensive and complex explicit computation of the high-order Jacobian matrix. The solution process has been divided into two phases: start-up and Newton iterations. In the start-up phase an approximate solution with the general characteristics of the steady-state flow is computed by using a defect correction procedure. At the end of the start-up phase, the linearization of the flow field is accurate enough for steady-state solution, and a quasi-Newton method is used, with an infinite time step and very rapid convergence. A proper limiter implementation for efficient convergence of the high-order discretization is discussed and a new formula for limiting the high-order terms of the reconstruction polynomial is introduced. The accuracy, fast convergence and robustness of the proposed high-order unstructured Newton–Krylov solver for different speed regimes is demonstrated for the second, third and fourth-order discretization. The possibility of reducing computational cost required for a given level of accuracy by using high-order discretization is examined.     

High-order,finite-volume methods in mapped coordinates

We present an approach for constructing finite-volume methods for flux-divergence forms to any order of accuracy defined as the image of a smooth mapping from a rectangular discretization of an abstract coordinate space. Our approach is based on two ideas. The first is that of using higher-order quadrature rules to compute the flux averages over faces that generalize a method developed for Cartesian grids to the case of mapped grids. The second is a method for computing the averages of the metric terms on faces such that freestream preservation is automatically satisfied. We derive detailed formulas for the cases of fourth-order accurate discretizations of linear elliptic and hyperbolic partial differential equations. For the latter case, we combine the method so derived with Runge–Kutta time discretization and demonstrate how to incorporate a high-order accurate limiter with the goal of obtaining a method that is robust in the presence of discontinuities and underresolved gradients. For both elliptic and hyperbolic problems, we demonstrate that the resulting methods are fourth-order accurate for smooth solutions.     

求解可压缩流的高精度非结构网格WENO有限体积法

提出-种基于最小二乘重构和WENO限制器的非结构网格高精度有限体积方法.用中心网格的某些邻居网格建立重构多项式,给出-定的原则搜索和存储足够多的邻居网格以建立重构多项式,采用最小二乘法求解重构多项式的系数.用-种通用的方法控制重构邻居个数,以减少存储和计算,采用WENO限制器和旋转Riemann求解器以达到统-的高精度并且抑制守恒律方程求解中的非物理振荡.为检验上述算法,以基于节点的梯度重构,Bath and Jesperson限制器的二阶算法为基准,给出三阶和四阶格式与二阶格式以及高阶格式若干经典算例计算结果的对比和分析.     

The multi-dimensional limiters for solving hyperbolic conservation laws on unstructured grids II: Extension to high order finite volume schemes

In this paper, the multidimensional limiter for the second order finite volume schemes on the unstructured grid, namely the Weighted Biased Average procedure developed in our previous paper is extended to high order finite volume schemes solving hyperbolic conservation laws. This extension relies on two key techniques: the secondary reconstruction and the successive limiting procedure. These techniques are discussed in detail in the present paper. Numerical experiments shows that this limiting procedure is very effective in removing numerical oscillations in the vicinity of discontinuities. And furthermore this procedure is efficient, robust and accuracy preserving.     

Control of long-period orbits and arbitrary trajectories in chaotic systems using dynamic limiting

We demonstrate experimental control of long-period orbits and arbitrary chaotic trajectories using a new chaos control technique called dynamic limiting. Based on limiter control, dynamic limiting uses a predetermined sequence of limiter levels applied to the chaotic system to stabilize natural states of the system. The limiter sequence is clocked by the natural return time of the chaotic system such that the oscillator sees a new limiter level for each peak return. We demonstrate control of period-8 and period-34 unstable periodic orbits in a low-frequency circuit and provide evidence that the control perturbations are minimal. We also demonstrate control of an arbitrary waveform by replaying a sequence captured from the uncontrolled oscillator, achieving a form of delayed self-synchronization. Finally, we discuss the use of dynamic limiting for high-frequency chaos communications. (c) 2002 American Institute of Physics.     

采用Power限制器的PNND和PWNND格式

为高精度捕捉激波等流场结构,引入一种Power限制器,对NND格式和WNND格式进行改进,分别得到二阶PNND(Power NND)格式和三阶PWNND(Power WNND)格式.该Power类型格式通过Power限制器对相邻待选模板上的一阶导数进行限制,改善了NND格式和WNND格式在间断附近的耗散效应.对各种格式的分析表明,在间断附近采用Power限制器的格式比原格式的表现要好,耗散小且捕捉间断精度高,其中PNND格式虽然只有二阶精度,但在所有算例中与三阶WNND格式的计算结果比较接近,在个别算例中甚至优于WNND格式.最后将PWNND格式应用到二维NACA0012翼型的强迫俯仰振动的数值模拟,计算结果与实验值、参考计算值吻合较好.     

A class of hybrid DG/FV methods for conservation laws I: Basic formulation and one-dimensional systems

By comparing the discontinuous Galerkin (DG) and the finite volume (FV) methods, a concept of ‘static reconstruction’ and ‘dynamic reconstruction’ is introduced for high-order numerical methods. Based on the new concept, a class of hybrid DG/FV schemes is presented for one-dimensional conservation law using a ‘hybrid reconstruction’ approach. In the hybrid DG/FV schemes, the lower-order derivatives of a piecewise polynomial solution are computed locally in a cell by the DG method based on Taylor basis functions (called as ‘dynamic reconstruction’), while the higher-order derivatives are re-constructed by the ‘static reconstruction’ of the FV method, using the known lower-order derivatives in the cell itself and its adjacent neighboring cells. The hybrid DG/FV methods can greatly reduce CPU time and memory required by the traditional DG methods with the same order of accuracy on the same mesh, and they can be extended directly to unstructured and hybrid grids in two and three dimensions similar to the DG and/or FV methods. The hybrid DG/FV methods are applied to one-dimensional conservation law, including linear and non-linear scalar equation and Euler equations. In order to capture the strong shock waves without spurious oscillations, a simple shock detection approach is developed to mark ‘trouble cells’, and a moment limiter is adopted for higher-order schemes. The numerical results demonstrate the accuracy, and the super-convergence property is shown for the third-order hybrid DG/FV schemes. In addition, by analyzing the eigenvalues of the semi-discretized system in one dimension, we discuss the spectral properties of the hybrid DG/FV schemes to explain the super-convergence phenomenon.     

A Straightforward $hp$-Adaptivity Strategy for Shock-Capturing with High-Order Discontinuous Galerkin Methods

In this paper, high-order Discontinuous Galerkin (DG) method is used to solve the two-dimensional Euler equations. A shock-capturing method based on the artificial viscosity technique is employed to handle physical discontinuities. Numerical tests show that the shocks can be captured within one element even on very coarse grids. The thickness of the shocks is dominated by the local mesh size and the local order of the basis functions. In order to obtain better shock resolution, a straightforward $hp$-adaptivity strategy is introduced, which is based on the high-order contribution calculated using hierarchical basis. Numerical results indicate that the $hp$-adaptivity method is easy to implement and better shock resolution can be obtained with smaller local mesh size and higher local order.     

Different algebraic method for computing the high-order aberrations of practical combined focusing-deflection systems

Differential algebraic (DA) method is an effective technique in computer numerical analysis. It implements conveniently differentiation up to arbitrary high order, based on the nonstandard analysis. Some complicated nonlinear dynamics problem including high-order aberrations of electron optical systems can be solved effectively by mapping properties of DA quantities. However, the existing study applying DA method to the practical system is limited to simple electron lenses. In this paper, the application of DA method is extended to practical combined focusing-deflection systems, and the aberrations up to fifth order are calculated. The electric and magnetic fields of the electron lenses and deflectors, which are computed by finite element method (FEM) or finite difference method (FDM), are in the form of discrete arrays. Local analytical expressions for electric and magnetic field quantities are constructed from these arrays for arbitrary place where electron is traced in DA computation. Thus the developed DA method is applicable for engineering design and computing problem. Based on the study of the expressions and the structure of the aberration coefficients for the fifth-order aberrations of the combined focusing-deflection system and the local analytic expression of the practical electromagnetic field, correlative computer software was developed, whose interface is convenient to calculate the high-order aberrations of the practical systems. The new DA method and software are tested with a uniform magnetic field deflection having an analytic solution. And the results show that the accuracy is sufficiently high, only limited by machine precision. Finally, as an example, a practical combined magnetic focusing and magnetic deflection system is analyzed and discussed.     

A high-order discontinuous Galerkin method for wave propagation through coupled elastic–acoustic media

We introduce a high-order discontinuous Galerkin (dG) scheme for the numerical solution of three-dimensional (3D) wave propagation problems in coupled elastic–acoustic media. A velocity–strain formulation is used, which allows for the solution of the acoustic and elastic wave equations within the same unified framework. Careful attention is directed at the derivation of a numerical flux that preserves high-order accuracy in the presence of material discontinuities, including elastic–acoustic interfaces. Explicit expressions for the 3D upwind numerical flux, derived as an exact solution for the relevant Riemann problem, are provided. The method supports h-non-conforming meshes, which are particularly effective at allowing local adaptation of the mesh size to resolve strong contrasts in the local wavelength, as well as dynamic adaptivity to track solution features. The use of high-order elements controls numerical dispersion, enabling propagation over many wave periods. We prove consistency and stability of the proposed dG scheme. To study the numerical accuracy and convergence of the proposed method, we compare against analytical solutions for wave propagation problems with interfaces, including Rayleigh, Lamb, Scholte, and Stoneley waves as well as plane waves impinging on an elastic–acoustic interface. Spectral rates of convergence are demonstrated for these problems, which include a non-conforming mesh case. Finally, we present scalability results for a parallel implementation of the proposed high-order dG scheme for large-scale seismic wave propagation in a simplified earth model, demonstrating high parallel efficiency for strong scaling to the full size of the Jaguar Cray XT5 supercomputer.     

迎风紧致格式求解Hamilton-Jacobi方程

基于Hamilton-Jacobi(H-J)方程和双曲型守恒律之间的关系,将三阶和五阶迎风紧致格式推广应用于求解H-J方程,建立了高精度的H-J方程求解方法.给出了一维和二维典型数值算例的计算结果,其中包括一个平面激波作用下的Richtmyer Meshkov界面不稳定性问题.数值试验表明,在解的光滑区域该方法具有高精度,而在导数不连续的不光滑区域也获得了比较好的分辨效果.相比于同阶精度的WENO格式,本方法具有更小的数值耗散,从而有利于多尺度复杂流动的模拟中H-J方程的求解.     

A CCD-based polarization interferometric technique for testing waveplates

A CCD-based polarization interferometric technique is developed to test waveplates. A Babinet compensator is used to produce interference fringes for polarized input and the retardance introduced by the waveplate when inserted in the optical beam is calculated from the fringe shifts using the phase matching technique. A theoretical model is fitted with the observed fringe shifts to get an accuracy of 0.5° in the retardance calculation. The experimental set-up and the measurement of retardance for zero-order and high-order quarter waveplates are discussed. The retardance calculation for a zero-order waveplate is found to be more accurate than the high-order waveplate. This technique can also be used to measure an arbitrary amount of retardance produced by any birefringent waveplate and also to determine its optic axis direction.     

基于任意拉格朗日—欧拉型移动网格的反应流广义黎曼问题方法

提出一种在自由重映移动网格下的广义黎曼问题方法模拟反应流.该方法基于显式的自由重映移动网格广义黎曼问题的解.为保证在时间和空间上的高精度，应用广义黎曼问题方法构造数值通量.为保证反应区的高分辨率，采用变分法生成自适应移动网格.该方法不仅能够保证网格质量，而且能有效地避免任意拉格朗日—欧拉方法中由于显式重映过程而带来的数值误差.包括CJ爆轰及不稳定爆轰的数值实验说明该格式的精确性和鲁棒性，证明这种移动网格下的二阶广义黎曼问题方法可以较好地捕捉反应流的间断与光滑结构.     

Homogenization for Periodic Heterogeneous Materials with Arbitrary Position-Dependent Material Properties

We present a rigorous homogenization approach for efficient computation of a class of physical problems in a one-dimensional periodic heterogeneous material. This material is represented by a spatially periodic array of unit cells with a length of ε. More specifically, the method is applied to the diffusion, heat conduction, and wave propagation problems. Heterogeneous materials can have arbitrary position-dependent continuous or discontinuous materials properties (for example heat conductivity) within the unit cell. The final effective model includes both effective properties at the leading order and high-order contributions due to the microscopic heterogeneity. A dimensionless heterogeneity parameter β is defined to represent high-order contributions, shown to be in the range of [-1/12, 0], and has a universal expression for all three problems. Both effective properties and heterogeneity parameter β are independent of ε, the microscopic scale of heterogeneity. The homogenized solution describing macroscopic variations can be obtained from the effective model. Solution with sub-unit-cell accuracy can be constructed based on the homogenized solution and its spatial derivatives. The paper represents a general approach to obtain the effective model for arbitrary periodic heterogeneous materials with position-dependent properties.     

Hierarchical reconstruction for discontinuous Galerkin methods on unstructured grids with a WENO-type linear reconstruction and partial neighboring cells

The hierarchical reconstruction (HR) [Y.-J. Liu, C.-W. Shu, E. Tadmor, M.-P. Zhang, Central discontinuous Galerkin methods on overlapping cells with a non-oscillatory hierarchical reconstruction, SIAM J. Numer. Anal. 45 (2007) 2442-2467] is applied to the piecewise quadratic discontinuous Galerkin method on two-dimensional unstructured triangular grids. A variety of limiter functions have been explored in the construction of piecewise linear polynomials in every hierarchical reconstruction stage. We show that on triangular grids, the use of center biased limiter functions is essential in order to recover the desired order of accuracy. Several new techniques have been developed in the paper: (a) we develop a WENO-type linear reconstruction in each hierarchical level, which solves the accuracy degeneracy problem of previous limiter functions and is essentially independent of the local mesh structure; (b) we find that HR using partial neighboring cells significantly reduces over/under-shoots, and further improves the resolution of the numerical solutions. The method is compact and therefore easy to implement. Numerical computations for scalar and systems of nonlinear hyperbolic equations are performed. We demonstrate that the procedure can generate essentially non-oscillatory solutions while keeping the resolution and desired order of accuracy for smooth solutions.     

A new approach of a limiting process for multi-dimensional flows

An enhanced Multi-dimensional Limiting Process (e-MLP) is developed for the accurate and efficient computation of multi-dimensional flows based on the Multi-dimensional Limiting Process (MLP). The new limiting process includes a distinguishing step and an enhanced multi-dimensional limiting process. First, the distinguishing step, which is independent of high order interpolation and flux evaluation, is newly introduced. It performs a multi-dimensional search of a discontinuity. The entire computational domain is then divided into continuous, linear discontinuous and nonlinear discontinuous regions. Second, limiting functions are appropriately switched according to the type of each region; in a continuous region, there are no limiting processes and only higher order accurate interpolation is performed. In linear discontinuous and nonlinear discontinuous regions, TVD criterion and MLP limiter are respectively used to remove oscillation. Hence, e-MLP has a number of advantages, as it incorporates useful features of MLP limiter such as multi-dimensional monotonicity and straightforward extensionality to higher order interpolation. It is applicable to local extrema and prevents excessive damping in a linear discontinuous region through application of appropriate limiting criteria. It is efficient because a limiting function is applied only to a discontinuous region. In addition, it is robust against shock instability due to the strict distinction of the computational domain and the use of regional information in a flux scheme as well as a high order interpolation scheme. This new limiting process was applied to numerous test cases including one-dimensional shock/sine wave interaction problem, oblique stationary contact discontinuity, isentropic vortex flow, high speed flow in a blunt body, planar shock/density bubble interaction, shock wave/vortex interaction and, particularly, magnetohydrodynamic (MHD) cloud-shock interaction problems. Through these tests, it was verified that e-MLP substantially enhances the accuracy and efficiency with both continuous and discontinuous multi-dimensional flows.