A fully second order implicit/explicit time integration technique for hydrodynamics plus nonlinear heat conduction problems

We present a fully second order implicit/explicit time integration technique for solving hydrodynamics coupled with nonlinear heat conduction problems. The idea is to hybridize an implicit and an explicit discretization in such a way to achieve second order time convergent calculations. In this scope, the hydrodynamics equations are discretized explicitly making use of the capability of well-understood explicit schemes. On the other hand, the nonlinear heat conduction is solved implicitly. Such methods are often referred to as IMEX methods [2], [1], [3]. The Jacobian-Free Newton Krylov (JFNK) method (e.g. [10], [9]) is applied to the problem in such a way as to render a nonlinearly iterated IMEX method. We solve three test problems in order to validate the numerical order of the scheme. For each test, we established second order time convergence. We support these numerical results with a modified equation analysis (MEA) [21], [20]. The set of equations studied here constitute a base model for radiation hydrodynamics.     

一种求解二维辐射流体力学方程组的显隐式格式

构造一种求解二维辐射流体力学方程组的有限体积方法.相较于Euler方程组,辐射流体力学方程组的数值格式设计更为困难.不仅辐射压力与辐射能量的强非线性增加了数值计算的难度,而且求解强激波问题也是一大难点.与此同时,物质量以声速传播,辐射量以光速传播也增加了该系统求解的难度.为了克服这些难点,我们使用MUSCL-Hanco...     

Explicit Runge–Kutta residual distribution schemes for time dependent problems: Second order case

In this paper, we construct spatially consistent explicit second order discretizations for time dependent hyperbolic problems, starting from a given residual distribution (RD) discrete approximation of the steady operator. We review the existing knowledge on consistent RD mass matrices and highlight the relations between different definitions. We then introduce our explicit approach which is based on three main ingredients: first recast the RD discretization as a stabilized Galerkin scheme, then use a shifted time discretization in the stabilization operator, and lastly apply high order mass lumping on the Galerkin component of the discretization. The discussion is particularly relevant for schemes of the residual distribution type 18 and 3 which we will use for all our numerical experiments. However, similar ideas can be used in the context of residual-based finite volume discretizations such as the ones proposed in 14 and 12. The schemes are tested on a wide variety of classical problems confirming the theoretical expectations.     

XTOR-2F: A fully implicit Newton–Krylov solver applied to nonlinear 3D extended MHD in tokamaks

XTOR-2F solves a set of extended magnetohydrodynamic (MHD) equations in toroidal tokamak geometry. In the original XTOR code, the time stepping is handled by a semi-implicit method 1, 2 and 3. Moderate changes were necessary to transform it into a fully implicit one using the NITSOL library with Newton–Krylov methods of solution for nonlinear system of equations [4]. After addressing the sensitive issue of preconditioning and time step tuning, the performances of the semi-implicit and the implicit methods are compared for the nonlinear simulation of an internal kink mode test case within the framework of resistive MHD including anisotropic thermal transport. A convergence study comparing the semi-implicit and the implicit schemes is presented. Our main conclusion is that on one hand the Newton–Krylov implicit method, when applied to basic one fluid MHD is more computationally costly than the semi-implicit one by a factor 3 for a given numerical accuracy. But on the other hand, the implicit method allows to address challenging issues beyond MHD. By testing the Newton–Krylov method with diamagnetic modifications on the dynamics of the internal kink, some numerical issues, to be addressed further, are emphasized.     

Modeling electrokinetic flows by the smoothed profile method

We propose an efficient modeling method for electrokinetic flows based on the smoothed profile method (SPM) 1, 2, 3 and 4 and spectral element discretizations. The new method allows for arbitrary differences in the electrical conductivities between the charged surfaces and the surrounding electrolyte solution. The electrokinetic forces are included into the flow equations so that the Poisson–Boltzmann and electric charge continuity equations are cast into forms suitable for SPM. The method is validated by benchmark problems of electroosmotic flow in straight channels and electrophoresis of charged cylinders. We also present simulation results of electrophoresis of charged microtubules, and show that the simulated electrophoretic mobility and anisotropy agree with the experimental values.     

Upwind monotonic interpolation methods for the solution of the time dependent radiative transfer equation

We describe the use of upwind monotonic interpolation methods for the solution of the time-dependent radiative transfer equation in both optically thin and thick media. These methods, originally developed to solve Eulerian advection problems in hydrodynamics, have the ability to propagate sharp features in the flow with very little numerical diffusion. We consider the implementation of both explicit and implicit versions of the method. The explicit version is able to keep radiation fronts resolved to only a few zones wide when higher order interpolation methods are used. Although traditional implementations of the implicit version suffer from large numerical diffusion, we describe an implicit method which considerably reduces this diffusion.     

A robust numerical model for premixed flames with high density ratios based on new pressure correction and IMEX schemes

In this study we present a model for the interaction of premixed flames with obstacles in a channel flow. Although the flow equations are solved with Direct Numerical Simulation using a low Mach number approximation, the resolution used in the computation is limited (∼1 mm) hence the inner structure of the flame and the chemical scales are not solved. The species equations are substituted with a source term in the energy equation that simulates a one-step global reaction. A level set method is applied to track the position of the flame and its zero level is used to activate the source term in the energy equation only at the flame front. An immersed boundary method reproduces the geometry of the obstacles. The main contribution of the paper is represented by the proposed numerical approach: an IMEX (implicit–explicit) Runge–Kutta scheme is used for the time integration of the energy equation and a new pressure correction algorithm is introduced for the time integration of the momentum equations. The approach presented here allows to calculate flames which produce high density ratios between burnt and unburnt regions. The model is verified by simulating first simple solutions for one- and two-dimensional flames. At last, the experiments performed by Masri and Ibrahim with square and rectangular bodies are calculated.     

The immersed boundary method for advection–electrodiffusion with implicit timestepping and local mesh refinement

We describe an immersed boundary method for problems of fluid–solute-structure interaction. The numerical scheme employs linearly implicit timestepping, allowing for the stable use of timesteps that are substantially larger than those permitted by an explicit method, and local mesh refinement, making it feasible to resolve the steep gradients associated with the space charge layers as well as the chemical potential, which is used in our formulation to control the permeability of the membrane to the (possibly charged) solute. Low Reynolds number fluid dynamics are described by the time-dependent incompressible Stokes equations, which are solved by a cell-centered approximate projection method. The dynamics of the chemical species are governed by the advection–electrodiffusion equations, and our semi-implicit treatment of these equations results in a linear system which we solve by GMRES preconditioned via a fast adaptive composite-grid (FAC) solver. Numerical examples demonstrate the capabilities of this methodology, as well as its convergence properties.     

A 6th order staggered compact finite difference method for the incompressible Navier–Stokes and scalar transport equations

In a previous paper we have developed a staggered compact finite difference method for the compressible Navier–Stokes equations. In this paper we will extend this method to the case of incompressible Navier–Stokes equations. In an incompressible flow conservation of mass is ensured by the well known pressure correction method  and . The advection and diffusion terms are discretized with 6th order spatial accuracy. The discrete Poisson equation, which has to be solved in the pressure correction step, has the same spatial accuracy as the advection and diffusion operators. The equations are integrated in time with a third order Adams–Bashforth method. Results are presented for a 1D advection–diffusion equation, a 2D lid driven cavity at a Reynolds number of 1000 and 10,000 and finally a 3D fully developed turbulent duct flow at a bulk Reynolds number of 5400. In all cases the methods show excellent agreement with analytical and other numerical and experimental work.     

On the Fully Implicit Solution of a Phase-Field Model for Binary Alloy Solidification in Three Dimensions

A fully implicit numerical method, based upon a combination of adaptively refined hierarchical meshes and geometric multigrid, is presented for the simulation of binary alloy solidification in three space dimensions. The computational techniques are presented for a particular mathematical model, based upon the phase-field approach, however, their applicability is of greater generality than for the specific phase-field model used here. In particular, an implicit second order time discretization is combined with the use of second order spatial differences to yield a large nonlinear system of algebraic equations as each time step. It is demonstrated that these equations may be solved reliably and efficiently through the use of a nonlinear multigrid scheme for locally refined grids. In effect, this paper presents an extension of earlier research in two space dimensions (J. Comput. Phys., 225 (2007), pp. 1271-1287) to fully three-dimensional problems. This extension is validated against earlier two-dimensional results and against some of the limited results available in three dimensions, obtained using an explicit scheme. The efficiency of the implicit approach and the multigrid solver are then demonstrated and some sample computational results for the simulation of the growth of dendrite structures are presented.     

Fully implicit 1D radiation hydrodynamics: Validation and verification

A fully implicit finite difference scheme has been developed to solve the hydrodynamic equations coupled with radiation transport. Solution of the time-dependent radiation transport equation is obtained using the discrete ordinates method and the energy flow into the Lagrangian meshes as a result of radiation interaction is fully accounted for. A tridiagonal matrix system is solved at each time step to determine the hydrodynamic variables implicitly. The results obtained from this fully implicit radiation hydrodynamics code in the planar geometry agrees well with the scaling law for radiation driven strong shock propagation in aluminium. For the point explosion problem the self similar solutions are compared with results for pure hydrodynamic case in spherical geometry. Results obtained when radiation interaction is also accounted agree with those of point explosion with heat conduction for lower input energies. Having, thus, benchmarked the code, self convergence of the method w.r.t. time step is studied in detail for both the planar and spherical problems. Spatial as well as temporal convergence rates are ?1 as expected from the difference forms of mass, momentum and energy conservation equations. This shows that the asymptotic convergence rate of the code is realized properly.     

An efficient numerical method for computing dynamics of spin F = 2 Bose–Einstein condensates

In this paper, we extend the efficient time-splitting Fourier pseudospectral method to solve the generalized Gross–Pitaevskii (GP) equations, which model the dynamics of spin F = 2 Bose–Einstein condensates at extremely low temperature. Using the time-splitting technique, we split the generalized GP equations into one linear part and two nonlinear parts: the linear part is solved with the Fourier pseudospectral method; one of nonlinear parts is solved analytically while the other one is reformulated into a matrix formulation and solved by diagonalization. We show that the method keeps well the conservation laws related to generalized GP equations in 1D and 2D. We also show that the method is of second-order in time and spectrally accurate in space through a one-dimensional numerical test. We apply the method to investigate the dynamics of spin F = 2 Bose–Einstein condensates confined in a uniform/nonuniform magnetic field.     

虚拟流体方法的显隐算法

基于算子分裂,把欧拉方程分裂成对流项和非对流项两部分,建立一种基于原始变量的二阶显隐算法.由通常的虚拟流体方法显式地预估流场,用隐式的压力修正对预估解进行修正.计算结果表明,这样可以有效增大时间步长,提高计算效率.     

An implicit high-order spectral difference approach for large eddy simulation

The filtered fluid dynamic equations are discretized in space by a high-order spectral difference (SD) method coupled with large eddy simulation (LES) approach. The subgrid-scale stress tensor is modelled by the wall-adapting local eddy-viscosity model (WALE). We solve the unsteady equations by advancing in time using a second-order backward difference formulae (BDF2) scheme. The nonlinear algebraic system arising from the time discretization is solved with the nonlinear lower–upper symmetric Gauss–Seidel (LU-SGS) algorithm. In order to study the sensitivity of the method, first, the implicit solver is used to compute the two-dimensional (2D) laminar flow around a NACA0012 airfoil at Re = 5 × 10⁵ with zero angle of attack. Afterwards, the accuracy and the reliability of the solver are tested by solving the 2D “turbulent” flow around a square cylinder at Re = 10⁴ and Re =  2.2 × 10⁴. The results show a good agreement with the experimental data and the reference solutions.     

自适应结构网格上扩散方程隐式时间积分算法及其应用

提出一种自适应结构网格(SAMR)上求解扩散方程的隐式时间积分算法.该算法从粗网格到细网格逐层进行时间积分,通过多层迭代同步校正保证粗细界面的流连续和计算区域的扩散平衡.分析算法复杂度,并给出评估算法低复杂度的准则.典型算例表明,相对于一致加密情形,本文算法能够在保持相同计算精度的前提下,大幅度降低网格规模和计算量,且具有低复杂度.将算法应用于辐射流体力学数值模拟中非线性扩散方程组求解,相对于一致加密网格,SAMR计算将计算量下降一个量级以上,计算效率提高33.2倍.     

求解非定常不可压N-S方程的预处理方法

应用预处理技术,对不可压非定常N-S方程使用双时间推进法求解.当沿物理时间层推进时,连续性方程和动量方程沿伪时间方向使用隐式线Gauss-Seidel迭代法求解,对流项采用三阶迎风差分法离散.通过对不同Reynolds数、不同深宽比下非定常驱动腔内流动的模拟,数值研究了预处理法计算非定常不可压粘性流动的收敛特性,分析了沿伪时间层的迭代收敛速度对流场Reynolds数的依赖特征.     

Locally implicit discontinuous Galerkin method for time domain electromagnetics

In the recent years, there has been an increasing interest in discontinuous Galerkin time domain (DGTD) methods for the solution of the unsteady Maxwell equations modeling electromagnetic wave propagation. One of the main features of DGTD methods is their ability to deal with unstructured meshes which are particularly well suited to the discretization of the geometrical details and heterogeneous media that characterize realistic propagation problems. Such DGTD methods most often rely on explicit time integration schemes and lead to block diagonal mass matrices. However, explicit DGTD methods are also constrained by a stability condition that can be very restrictive on highly refined meshes and when the local approximation relies on high order polynomial interpolation. An implicit time integration scheme is a natural way to obtain a time domain method which is unconditionally stable but at the expense of the inversion of a global linear system at each time step. A more viable approach consists of applying an implicit time integration scheme locally in the refined regions of the mesh while preserving an explicit time scheme in the complementary part, resulting in an hybrid explicit–implicit (or locally implicit) time integration strategy. In this paper, we report on our recent efforts towards the development of such a hybrid explicit–implicit DGTD method for solving the time domain Maxwell equations on unstructured simplicial meshes. Numerical experiments for 3D propagation problems in homogeneous and heterogeneous media illustrate the possibilities of the method for simulations involving locally refined meshes.     

Implicit LU-SGS algorithm for high-order methods on unstructured grid with p-multigrid strategy for solving the steady Navier–Stokes equations

The fluid dynamic equations are discretized by a high-order spectral volume (SV) method on unstructured tetrahedral grids. We solve the steady state equations by advancing in time using a backward Euler (BE) scheme. To avoid the inversion of a large matrix we approximate BE by an implicit lower–upper symmetric Gauss–Seidel (LU-SGS) algorithm. The implicit method addresses the stiffness in the discrete Navier–Stokes equations associated with stretched meshes. The LU-SGS algorithm is then used as a smoother for a p-multigrid approach. A Von Neumann stability analysis is applied to the two-dimensional linear advection equation to determine its damping properties. The implicit LU-SGS scheme is used to solve the two-dimensional (2D) compressible laminar Navier–Stokes equations. We compute the solution of a laminar external flow over a cylinder and around an airfoil at low Mach number. We compare the convergence rates with explicit Runge–Kutta (E-RK) schemes employed as a smoother. The effects of the cell aspect ratio and the low Mach number on the convergence are investigated. With the p-multigrid method and the implicit smoother the computational time can be reduced by a factor of up to 5–10 compared with a well tuned E-RK scheme.     

Efficient computation of compressible and incompressible flows

The combination of explicit Runge–Kutta time integration with the solution of an implicit system of equations, which in earlier work demonstrated increased efficiency in computing compressible flow on highly stretched meshes, is extended toward conditions where the free stream Mach number approaches zero. Expressing the inviscid flux Jacobians in terms of Mach number, an artificial speed of sound as in low Mach number preconditioning is introduced into the Jacobians, leading to a consistent formulation of the implicit and explicit parts of the discrete equations. Besides extension to low Mach number flows, the augmented Runge–Kutta/Implicit method allowed the admissible Courant–Friedrichs–Lewy number to be increased from O(1 0 0) to O(1 0 0 0). The implicit step introduced into the Runge–Kutta framework acts as a preconditioner which now addresses both, the stiffness in the discrete equations associated with highly stretched meshes, and the stiffness in the analytical equations associated with the disparity in the eigenvalues of the inviscid flux Jacobians. Integrated into a multigrid algorithm, the method is applied to efficiently compute different cases of inviscid flow around airfoils at various Mach numbers, and viscous turbulent airfoil flow with varying Mach and Reynolds number. Compared to well tuned conventional methods, computation times are reduced by half an order of magnitude.     

Adaptive mesh refinement based on high order finite difference WENO scheme for multi-scale simulations

In this paper, we propose a finite difference AMR-WENO method for hyperbolic conservation laws. The proposed method combines the adaptive mesh refinement (AMR) framework  and  with the high order finite difference weighted essentially non-oscillatory (WENO) method in space and the total variation diminishing (TVD) Runge–Kutta (RK) method in time (WENO-RK)  and  by a high order coupling. Our goal is to realize mesh adaptivity in the AMR framework, while maintaining very high (higher than second) order accuracy of the WENO-RK method in the finite difference setting. The high order coupling of AMR and WENO-RK is accomplished by high order prolongation in both space (WENO interpolation) and time (Hermite interpolation) from coarse to fine grid solutions, and at ghost points. The resulting AMR-WENO method is accurate, robust and efficient, due to the mesh adaptivity and very high order spatial and temporal accuracy. We have experimented with both the third and the fifth order AMR-WENO schemes. We demonstrate the accuracy of the proposed scheme using smooth test problems, and their quality and efficiency using several 1D and 2D nonlinear hyperbolic problems with very challenging initial conditions. The AMR solutions are observed to perform as well as, and in some cases even better than, the corresponding uniform fine grid solutions. We conclude that there is significant improvement of the fifth order AMR-WENO over the third order one, not only in accuracy for smooth problems, but also in its ability in resolving complicated solution structures, due to the very low numerical diffusion of high order schemes. In our work, we found that it is difficult to design a robust AMR-WENO scheme that is both conservative and high order (higher than second order), due to the mass inconsistency of coarse and fine grid solutions at the initial stage in a finite difference scheme. Resolving these issues as well as conducting comprehensive evaluation of computational efficiency constitute our future work.