In this paper we are concerned with numerical methods for nonlinear time-dependent problem coupled by electron, ion and photon temperatures in two dimensions, which is called the 2D-3T heat conduction equations. We propose discontinuous Galerkin (DG) methods for the discretization of the equations. For solving the resulting discrete system, we employ two domain decomposition (DD) preconditioners, one of which is associated with the non-overlapping DDM and the other is based on DDM with small overlap. The preconditioners are constructed by dropping the couplings between particles and each preconditioner consists of three preconditioners with smaller matrix size. To gauge the efficiency of the preconditioners, we test two examples and make different settings of parameters. Numerical results show that the proposed preconditioners are very effective to the 2D-3T problem.

By combining the characteristic method and the local discontinuous Galerkin method with carefully constructing numerical fluxes, variational formulations are established for time-dependent incompressible Navier-Stokes equations in ℝ2. The nonlinear stability is proved for the proposed symmetric variational formulation. Moreover, for general triangulations the priori estimates for the L2–norm of the errors in both velocity and pressure are derived. Some numerical experiments are performed to verify theoretical results.

This paper presents topology optimization of capillary, the typical two-phase flow with immiscible fluids, where the level set method and diffuse-interface model are combined to implement the proposed method. The two-phase flow is described by the diffuse-interface model with essential no slip condition imposed on the wall, where the singularity at the contact line is regularized by the molecular diffusion at the interface between two immiscible fluids. The level set method is utilized to express the fluid and solid phases in the flows and the wall energy at the implicit fluid-solid interface. Based on the variational procedure for the total free energy of two-phase flow, the Cahn-Hilliard equations for the diffuse-interface model are modified for the two-phase flow with implicit boundary expressed by the level set method. Then the topology optimization problem for the two-phase flow is constructed for the cost functional with general formulation. The sensitivity analysis is implemented by using the continuous adjoint method. The level set function is evolved by solving the Hamilton-Jacobian equation, and numerical test is carried out for capillary to demonstrate the robustness of the proposed topology optimization method. It is straightforward to extend this proposed method into the other two-phase flows with two immiscible fluids.

Multiplicative noise removal is a challenging problem in image restoration. In this paper, by applying Box-Cox transformation, we convert the multiplicative noise removal problem into the additive noise removal problem and the block matching three dimensional (BM3D) method is applied to get the final recovered image. Indeed, BM3D is an effective method to remove additive Gaussian white noise in images. A maximum likelihood method is designed to determine the parameter in the Box-Cox transformation. We also present the unbiased inverse transform for the Box-Cox transformation which is important. Both theoretical analysis and experimental results illustrate clearly that the proposed method can remove multiplicative noise very well especially when multiplicative noise is heavy. The proposed method is superior to the existing methods for multiplicative noise removal in the literature.

This paper describes an adaptive preconditioner for numerical continuation of incompressible Navier–Stokes flows based on Stokes preconditioning [42] which has been used successfully in studies of pattern formation in convection. The preconditioner takes the form of the Helmholtz operator I–ΔtL which maps the identity (no preconditioner) for Δt≪1 to Laplacian preconditioning for Δt≫1. It is built on a first order Euler time-discretization scheme and is part of the family of matrix-free methods. The preconditioner is tested on two fluid configurations: three-dimensional doubly diffusive convection and a two-dimensional projection of a shear flow. In the former case, it is found that Stokes preconditioning is more efficient for , away from the values used in the literature. In the latter case, the simple use of the preconditioner is not sufficient and it is necessary to split the system of equations into two subsystems which are solved simultaneously using two different preconditioners, one of which is parameter dependent. Due to the nature of these applications and the flexibility of the approach described, this preconditioner is expected to help in a wide range of applications.

In this paper, we study an exponential time differencing method for solving the gauge system of incompressible viscous flows governed by Stokes or Navier-Stokes equations. The momentum equation is decoupled from the kinematic equation at a discrete level and is then solved by exponential time stepping multistep schemes in our approach. We analyze the stability of the proposed method and rigorously prove that the first order exponential time differencing scheme is unconditionally stable for the Stokes problem. We also present a compact representation of the algorithm for problems on rectangular domains, which makes FFT-based solvers available for the resulting fully discretized system. Various numerical experiments in two and three dimensional spaces are carried out to demonstrate the accuracy and stability of the proposed method.

Electrophoresis of a cylinder suspended in a cylindrical tube is analytically studied in the limit of thin electric double layer approximation. The electric and fluid flow fields within the annulus, and the cylinder velocities are analytically obtained in bipolar coordinates. The results are analyzed with various values of dimensionless parameters: eccentricity, cylinder-to-tube radius ratio and tube-to-cylinder zeta potential ratio (i.e., tube-to-cylinder velocity scale ratio). The analysis shows that microvortices are generated within the annulus. By changing the parameters, different flow patterns can be created, which shows potential for mixing enhancement in micro/nanofluidics. Moreover, the cylinder not only translates but also rotates when the cylinder and tube are eccentric. The cylinder rotation might be utilized as a micromotor or an electric field detector. The cylinder trajectories show that the cylinder may approach the tube wall or rest within the tube depending on the zeta potential ratio.

We propose a multi-layer approach to simulate hyperpycnal and hypopycnal plumes in flows with free surface. The model allows to compute the vertical profile of the horizontal and the vertical components of the velocity of the fluid flow. The model can describe as well the vertical profile of the sediment concentration and the velocity components of each one of the sediment species that form the turbidity current. To do so, it takes into account the settling velocity of the particles and their interaction with the fluid. This allows to better describe the phenomena than a single layer approach. It is in better agreement with the physics of the problem and gives promising results. The numerical simulation is carried out by rewriting the multilayer approach in a compact formulation, which corresponds to a system with nonconservative products, and using path-conservative numerical scheme. Numerical results are presented in order to show the potential of the model.

We introduce a third order adaptive mesh method to arbitrary high order Godunov approach. Our adaptive mesh method consists of two parts, i.e., mesh-redistribution algorithm and solution algorithm. The mesh-redistribution algorithm is derived based on variational approach, while a new solution algorithm is developed to preserve high order numerical accuracy well. The feature of proposed Adaptive ADER scheme includes that 1). all simulations in this paper are stable for large CFL number, 2). third order convergence of the numerical solutions is successfully observed with adaptive mesh method, and 3). high resolution and non-oscillatory numerical solutions are obtained successfully when there are shocks in the solution. A variety of numerical examples show the feature well.

Partial differential equations (PDE) on manifolds arise in many areas, including mathematics and many applied fields. Due to the complicated geometrical structure of the manifold, it is difficult to get efficient numerical method to solve PDE on manifold. In the paper, we propose a method called point integral method (PIM) to solve the Poisson-type equations from point clouds. Among different kinds of PDEs, the Poisson-type equations including the standard Poisson equation and the related eigenproblem of the Laplace-Beltrami operator are one of the most important. In PIM, the key idea is to derive the integral equations which approximates the Poisson-type equations and contains no derivatives but only the values of the unknown function. This feature makes the integral equation easy to be discretized from point cloud. In the paper, we explain the derivation of the integral equations, describe the point integral method and its implementation, and present the numerical experiments to demonstrate the convergence of PIM.

With the use of temporal derivative of flux function, a two-stage temporal discretization has been recently proposed in the design of fourth-order schemes based on the generalized Riemann problem (GRP) [21] and gas-kinetic scheme (GKS) [28]. In this paper, the fourth-order gas-kinetic scheme will be extended to solve the compressible multicomponent flow equations, where the two-stage temporal discretization and fifth-order WENO reconstruction will be used in the construction of the scheme. Based on the simplified two-species BGK model [41], the coupled Euler equations for individual species will be solved. Each component has its individual gas distribution function and the equilibrium states for each component are coupled by the physical requirements of total momentum and energy conservation in particle collisions. The second-order flux function is used to achieve the fourth-order temporal accuracy, and the robustness is as good as the second-order schemes. At the same time, the source terms, such as the gravitational force and the chemical reaction, will be explicitly included in the two-stage temporal discretization through their temporal derivatives. Many numerical tests from the shock-bubble interaction to ZND detonative waves are presented to validate the current approach.

In this paper we present a fast and accurate numerical algorithm for the computation of hyperspherical Bessel functions of large order and real arguments. For the hyperspherical Bessel functions of closed type, no stable algorithm existed so far due to the lack of a backwards recurrence. We solved this problem by establishing a relation to Gegenbauer polynomials. All our algorithms are written in C and are publicly available at Github [https://github.com/lesgourg/class_public]. A Python wrapper is available upon request.

Incorrect propagation speed of discontinuities may occur by straightforward application of standard dissipative schemes for problems that contain stiff source terms for underresolved grids even for time steps within the CFL condition. By examining the dissipative discretized counterpart of the Euler equations for a detonation problem that consists of a single reaction, detailed analysis on the spurious wave pattern is presented employing the fractional step method, which utilizes the Strang splitting. With the help of physical arguments, a threshold values method (TVM), which can be extended to more complicated stiff problems, is developed to eliminate the wrong shock speed phenomena. Several single reaction detonations as well as multispecies and multi-reaction detonation test cases with strong stiffness are examined to illustrate the performance of the TVM approach.

Consider the scattering of a time-harmonic acoustic incident wave by a bounded, penetrable, and isotropic elastic solid, which is immersed in a homogeneous compressible air or fluid. The paper concerns the numerical solution for such an acoustic-elastic interaction problem in three dimensions. An exact transparent boundary condition (TBC) is developed to reduce the problem equivalently into a boundary value problem in a bounded domain. The perfectly matched layer (PML) technique is adopted to truncate the unbounded physical domain into a bounded computational domain. The well-posedness and exponential convergence of the solution are established for the truncated PML problem by using a PML equivalent TBC. An a posteriori error estimate based adaptive finite element method is developed to solve the scattering problem. Numerical experiments are included to demonstrate the competitive behavior of the proposed method.

A domain decomposition based spectral collocation method is proposed for numerically solving Lane-Emden equations, which are frequently encountered in mathematical physics and astrophysics. Compared with the existing methods, this method requires less computational cost and is particularly suitable for long-term computation. The related error estimates are also established, indicating the spectral accuracy of the method. The numerical performance and efficiency of the method are illustrated by several numerical experiments.

The lobe dynamics andmass transport between separation bubble and main flow in flow over airfoil are studied in detail, using Lagrangian coherent structures (LCSs), in order to understand the nature of evolution of the separation bubble. For this problem, the transient flow over NACA0012 airfoil with low Reynolds number is simulated numerically by characteristic based split (CBS) scheme, in combination with dual time stepping. Then, LCSs and lobe dynamics are introduced and developed to investigate themass transport between separation bubble and main flow, from viewpoint of nonlinear dynamics. The results show that stable manifolds and unstable manifolds could be tangled with each other as time evolution, and the lobes are formed periodically to induce mass transport between main flow and separation bubble, with dynamic behaviors. Moreover, the evolution of the separation bubble depends essentially on the mass transport which is induced by lobes, ensuing energy and momentum transfers. As the results, it can be drawn that the dynamics of flow separation could be studied using LCSs and lobe dynamics, and could be controlled feasibly if an appropriate control is applied to the upstream boundary layer with high momentum.

In this paper we analyze in detail the equilibrium configurations of classical polytropic stars with a multi-parametric differential rotation law of the literature using the standard numerical method introduced by Eriguchi and Mueller. Specifically we numerically investigate the parameters’ space associated with the velocity field characterizing both equilibrium and non-equilibrium configurations for which the stability condition is violated or the mass-shedding criterion is verified.

The paper presents a novel family of arbitrary high order multioperators approximations for convection, convection-diffusion or the fluid dynamics equations. As particular cases, the 16th- and 32th-order skew-symmetric multioperators for derivatives supplied by the 15th- and 31th-order dissipation multioperators are described. Their spectral properties and the comparative efficiency of the related schemes in the case of smooth solutions are outlined. The ability of the constructed conservative schemes to deal with discontinuous solutions is investigated. Several types of nonlinear hybrid schemes are suggested and tested against benchmark problems.

For problems governed by a non-normal operator, the leading eigenvalue of the operator is of limited interest and a more relevant measure of the stability is obtained by considering the harmonic forcing causing the largest system response. Various methods for determining this so-called optimal forcing exist, but they all suffer from great computational expense and are hence not practical for large-scale problems. In the present paper a new method is presented, which is applicable to problems of arbitrary size. The method does not rely on timestepping, but on the solution of linear systems, in which the inverse Laplacian acts as a preconditioner. By formulating the search for the optimal forcing as an eigenvalue problem based on the resolvent operator, repeated system solves amount to power iterations, in which the dominant eigenvalue is seen to correspond to the energy amplification in a system for a given frequency, and the eigenfunction to the corresponding forcing function. Implementation of the method requires only minor modifications of an existing timestepping code, and is applicable to any partial differential equation containing the Laplacian, such as the Navier-Stokes equations. We discuss the method, first, in the context of the linear Ginzburg-Landau equation and then, the two-dimensional lid-driven cavity flow governed by the Navier-Stokes equations. Most importantly, we demonstrate that for the lid-driven cavity, the optimal forcing can be computed using a factor of up to 500 times fewer operator evaluations than the standard method based on exponential timestepping.

In this work, we introduce an IMEX discontinuous Galerkin solver for the weakly compressible isentropic Euler equations. The splitting needed for the IMEX temporal integration is based on the recently introduced reference solution splitting [32, 52], which makes use of the incompressible solution. We show that the overall method is asymptotic preserving. Numerical results show the performance of the algorithm which is stable under a convective CFL condition and does not show any order degradation.