一维双曲守恒律的龙格-库塔控制体积间断有限元方法

给出数值求解一维双曲守恒律方程的新方法——龙格-库塔控制体积间断有限元方法(RKCVDFEM),其中空间离散基于控制体积有限元方法,时间离散基于二阶TVB Runge-Kutta技术,有限元空间选取为分段线性函数空间.理论分析表明,格式具有总变差有界(TVB)的性质,而且空间和时间离散形式上具有二阶精度.数值算例表明,数值解收敛到熵解并且对光滑解的收敛阶是最优的,优于龙格-库塔间断Galerkin方法(RKDGM)的计算结果.     

求解含有高阶导数偏微分方程的局部间断Petrov-Galerkin方法

构造一类求解三种类型偏微分方程的间断Petrov-Galerkin方法.求解的方程分别含有二阶、三阶和四阶偏导数,包括Burgers型方程、KdV型方程和双调和型方程.首先将高阶微分方程转化成为与之等价的一阶微分方程组,再将求解双曲守恒律的间断Petrov-Galerkin方法用于求解微分方程组.该方法具有四阶精度且具有间断Petrov-Galerkin方法的优点.数值实验表明该方法可以达到最优收敛阶而且可以模拟复杂波形相互作用,如孤立子的传播及相互碰撞等.     

双曲型守恒律的一种五阶半离散中心迎风格式

给出一种求解双曲型守恒律的五阶半离散中心迎风格式.对一维问题,该格式以五阶中心WENO重构为基础;对二维问题,用逐维计算的方法将五阶中心WENO重构进行推广.时间方向的离散采用Runge-Kutta方法.格式保持了中心差分格式简单的优点,即不用求解Riemann问题,避免进行特征分解.用该格式对一维和二维Euler方程进行数值试验,结果表明该格式是高精度、高分辨率的.     

求解含有高阶导数偏微分方程的局部间断Petrov-Galerkin方法（英文）

构造一类求解三种类型偏微分方程的间断Petrov-Galerkin方法.求解的方程分别含有二阶、三阶和四阶偏导数,包括Burgers型方程、KdV型方程和双调和型方程.首先将高阶微分方程转化成为与之等价的一阶微分方程组,再将求解双曲守恒律的间断Petrov-Galerkin方法用于求解微分方程组.该方法具有四阶精度且具有间断Petrov-Galerkin方法的优点.数值实验表明该方法可以达到最优收敛阶而且可以模拟复杂波形相互作用,如孤立子的传播及相互碰撞等.     

基于移动网格的熵稳定格式

提出一种基于移动网格的熵稳定格式求解双曲型守恒律方程.该方法利用等分布原理得到新的网格分布,基于守恒型插值公式计算新的网格上的物理量,使用熵稳定数值通量和三阶强稳定Runge-Kutta时间推进方法得到下一时刻的数值解.数值算例表明该格式不仅能有效提高解在间断处的分辨率,而且能消除可能产生的伪振荡.     

一维守恒的Lagrangian ADER格式

基于欧拉框架下ADER格式,构造一维守恒只有一个时间步的、高精度中心型拉格朗日ADER(LADER)格式.构造r阶LADER格式包括:从欧拉方程出发推导拉格朗日框架下积分形式的方程、采用WENO方法高精度重构节点处守恒量和从1阶到r-1阶的空间导数、求拉氏框架下这些变量的Godunov值,并计算1阶到r-1阶的时间全导数,最后高精度离散积分形式的流通量函数.对光滑流场的模拟表明,LADER格式达到设计的精度;对含强间断的流场模拟表明,数值解在间断附近基本无振荡.     

双曲守恒律的Taylor-Galerkin有限元方法

利用双曲守恒律的Hamilton-Jacobi方程形式,应用Taylor公式与Galerkin有限元给出了求解双曲守恒律的计算方法。采用TVD差分格式的构造思想,对数值通量作修正,在等距网格情形下有限元方法得到的计算格式满足TVD性质,并给出了数值例子。     

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

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

用有限元方法求解双曲守恒律

分片线性插值有限元给出了求解双曲守恒律的计算方法。有别于不连续有限元方法求解双曲守恒律在相邻单元边界上求Ｒｉｅｍａｎｎ解,利用双曲守恒律的Ｈａｍｉｌｔｏｎ－Ｊａｃｏｂｉ方程形式,直接应用有限元求解,在ＣＦＬ下,证明了计算格式满足极大值原理,并且是ＴＶＤ格式。数值例子在文后给出。此外,方法推广到流体力学方程组和高维问题,将在另文中邓以讨论。     

针对二维双曲守恒律方程求解方法的研究

对双曲守恒律方程进行数值求解是计算流体力学的重要研究内容。本文从物理概念出发,通过对计算流体力学和双曲守恒律方程研究现状及发展趋势进行引入,详细介绍了满足熵稳定条件的二维双曲守恒律方程的熵守恒、熵稳定、熵相容、高分辨率熵稳定格式,可将其格式应用于具体算例的数值求解中。     

On maximum-principle-satisfying high order schemes for scalar conservation laws

We construct uniformly high order accurate schemes satisfying a strict maximum principle for scalar conservation laws. A general framework (for arbitrary order of accuracy) is established to construct a limiter for finite volume schemes (e.g. essentially non-oscillatory (ENO) or weighted ENO (WENO) schemes) or discontinuous Galerkin (DG) method with first order Euler forward time discretization solving one-dimensional scalar conservation laws. Strong stability preserving (SSP) high order time discretizations will keep the maximum principle. It is straightforward to extend the method to two and higher dimensions on rectangular meshes. We also show that the same limiter can preserve the maximum principle for DG or finite volume schemes solving two-dimensional incompressible Euler equations in the vorticity stream-function formulation, or any passive convection equation with an incompressible velocity field. Numerical tests for both the WENO finite volume scheme and the DG method are reported.     

A new high-order discontinuous Galerkin spectral finite element method for Lagrangian gas dynamics in two-dimensions

This paper presents a new high-order cell-centered Lagrangian scheme for two-dimensional compressible flow. The scheme uses a fully Lagrangian form of the gas dynamics equations, which is a weakly hyperbolic system of conservation laws. The system of equations is discretized in the Lagrangian space by discontinuous Galerkin method using a spectral basis. The vertex velocities and the numerical fluxes through the cell interfaces are computed consistently in the Eulerian space by virtue of an improved nodal solver. The nodal solver uses the HLLC approximate Riemann solver to compute the velocities of the vertex. The time marching is implemented by a class of TVD Runge–Kutta type methods. A new HWENO (Hermite WENO) reconstruction algorithm is developed and used as limiters for RKDG methods to maintain compactness of RKDG methods. The scheme is conservative for the mass, momentum and total energy. It can maintain high-order accuracy both in space and time, obey the geometrical conservation law, and achieve at least second order accuracy on quadrilateral meshes. Results of some numerical tests are presented to demonstrate the accuracy and the robustness of the scheme.     

Finite volume schemes of very high order of accuracy for stiff hyperbolic balance laws

In this article, we propose a new class of finite volume schemes of arbitrary accuracy in space and time for systems of hyperbolic balance laws with stiff source terms. The new class of schemes is based on a three stage procedure. First a high-order WENO reconstruction procedure is applied to the cell averages at the current time level. Second, the temporal evolution of the reconstruction polynomials is computed locally inside each cell using the governing equations. In the original ENO scheme of Harten et al. and in the ADER schemes of Titarev and Toro, this time evolution is achieved via a Taylor series expansion where the time derivatives are computed by repeated differentiation of the governing PDE with respect to space and time, i.e. by applying the so-called Cauchy–Kovalewski procedure. However, this approach is not able to handle stiff source terms. Therefore, we present a new strategy that only replaces the Cauchy–Kovalewski procedure compared to the previously mentioned schemes. For the time-evolution part of the algorithm, we introduce a local space–time discontinuous Galerkin (DG) finite element scheme that is able to handle also stiff source terms. This step is the only part of the algorithm which is locally implicit. The third and last step of the proposed ADER finite volume schemes consists of the standard explicit space–time integration over each control volume, using the local space–time DG solutions at the Gaussian integration points for the intercell fluxes and for the space–time integral over the source term. We will show numerical convergence studies for nonlinear systems in one space dimension with both non-stiff and with very stiff source terms up to sixth order of accuracy in space and time. The application of the new method to a large set of different test cases is shown, in particular the stiff scalar model problem of LeVeque and Yee [R.J. LeVeque, H.C. Yee, A study of numerical methods for hyperbolic conservation laws with stiff source terms, Journal of Computational Physics 86 (1) (1990) 187–210], the relaxation system of Jin and Xin [S. Jin, Z. Xin, The relaxation schemes for systems of conservation laws in arbitrary space dimensions, Communications on Pure and Applied Mathematics 48 (1995) 235–277] and the full compressible Euler equations with stiff friction source terms.     

Compact Accurately Boundary-Adjusting high-REsolution Technique for fluid dynamics

A novel high-resolution numerical method is presented for one-dimensional hyperbolic problems based on the extension of the original Upwind Leapfrog scheme to quasi-linear conservation laws. The method is second-order accurate on non-uniform grids in space and time, has a very small dispersion error and computational stencil defined within one space–time cell. For shock-capturing, the scheme is equipped with a conservative non-linear correction procedure which is directly based on the maximum principle. Plentiful numerical examples are provided for linear advection, quasi-linear scalar hyperbolic conservation laws and gas dynamics and comparisons with other computational methods in the literature are discussed.     

自适应间断有限元方法求解双曲守恒律方程

研究自适应Runge-Kutta间断Galerkin (RKDG)方法求解双曲守恒律方程组,并提出两种生成相容三角形网格的自适应算法.第一种算法适用于规则网格,实现简单、计算速度快.第二种算法基于非结构网格,设计一类基于间断界面的自适应网格加密策略,方法灵活高效.两种方法都具有令人满意的计算效果,而且降低了RKDG的计算量.     

An improved weighted essentially non-oscillatory scheme for hyperbolic conservation laws

In this article we develop an improved version of the classical fifth-order weighted essentially non-oscillatory finite difference scheme of [G.S. Jiang, C.W. Shu, Efficient implementation of weighted ENO schemes, J. Comput. Phys. 126 (1996) 202–228] (WENO-JS) for hyperbolic conservation laws. Through the novel use of a linear combination of the low order smoothness indicators already present in the framework of WENO-JS, a new smoothness indicator of higher order is devised and new non-oscillatory weights are built, providing a new WENO scheme (WENO-Z) with less dissipation and higher resolution than the classical WENO. This new scheme generates solutions that are sharp as the ones of the mapped WENO scheme (WENO-M) of Henrick et al. [A.K. Henrick, T.D. Aslam, J.M. Powers, Mapped weighted essentially non-oscillatory schemes: achieving optimal order near critical points, J. Comput. Phys. 207 (2005) 542–567], however with a 25% reduction in CPU costs, since no mapping is necessary. We also provide a detailed analysis of the convergence of the WENO-Z scheme at critical points of smooth solutions and show that the solution enhancements of WENO-Z and WENO-M at problems with shocks comes from their ability to assign substantially larger weights to discontinuous stencils than the WENO-JS scheme, not from their superior order of convergence at critical points. Numerical solutions of the linear advection of discontinuous functions and nonlinear hyperbolic conservation laws as the one dimensional Euler equations with Riemann initial value problems, the Mach 3 shock–density wave interaction and the blastwave problems are compared with the ones generated by the WENO-JS and WENO-M schemes. The good performance of the WENO-Z scheme is also demonstrated in the simulation of two dimensional problems as the shock–vortex interaction and a Mach 4.46 Richtmyer–Meshkov Instability (RMI) modeled via the two dimensional Euler equations.     

Central discontinuous Galerkin methods for ideal MHD equations with the exactly divergence-free magnetic field

In this paper, central discontinuous Galerkin methods are developed for solving ideal magnetohydrodynamic (MHD) equations. The methods are based on the original central discontinuous Galerkin methods designed for hyperbolic conservation laws on overlapping meshes, and use different discretization for magnetic induction equations. The resulting schemes carry many features of standard central discontinuous Galerkin methods such as high order accuracy and being free of exact or approximate Riemann solvers. And more importantly, the numerical magnetic field is exactly divergence-free. Such property, desired in reliable simulations of MHD equations, is achieved by first approximating the normal component of the magnetic field through discretizing induction equations on the mesh skeleton, namely, the element interfaces. And then it is followed by an element-by-element divergence-free reconstruction with the matching accuracy. Numerical examples are presented to demonstrate the high order accuracy and the robustness of the schemes.     

High order sub-cell finite volume schemes for solving hyperbolic conservation laws I: basic formulation and one-dimensional analysis

In this paper, a family of sub-cell finite volume schemes for solving the hyperbolic conservation laws is proposed and analyzed in one-dimensional cases. The basic idea of this method is to subdivide a control volume (main cell) into several sub-cells and the finite volume discretization is applied to each of the sub-cells. The averaged values on the sub-cells of current and face neighboring main cells are used to reconstruct the polynomial distributions of the dependent variables. This method can achieve arbitrarily high order of accuracy using a compact stencil. It is similar to the spectral volume method incorporating with PNPM technique but with fundamental differences. An elaborate utilization of these differences overcomes some shortcomings of the spectral volume method and results in a family of accurate and robust schemes for solving the hyperbolic conservation laws. In this paper, the basic formulation of the proposed method is presented. The Fourier analysis is performed to study the properties of the one-dimensional schemes. A WENO limiter based on the secondary reconstruction is constructed.