This paper is concerned with the invisibility cloaking in acoustic wave scattering from a new perspective. We are especially interested in achieving the invisibility cloaking by completely regular and isotropic mediums. It is shown that an interior transmission eigenvalue problem arises in our study, which is the one considered theoretically in Cakoni et al. (Transmission eigenvalues for inhomogeneous media containing obstacles, Inverse Problems and Imaging, 6 (2012), 373–398). Based on such an observation, we propose a cloaking scheme that takes a three-layer structure including a cloaked region, a lossy layer and a cloaking shell. The target medium in the cloaked region can be arbitrary but regular, whereas the mediums in the lossy layer and the cloaking shell are both regular and isotropic. We establish that if a certain non-transparency condition is satisfied, then there exists an infinite set of incident waves such that the cloaking device is nearly invisible under the corresponding wave interrogation. The set of waves is generated from the Herglotz approximation of the associated interior transmission eigenfunctions. We provide both theoretical and numerical justifications.

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.

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.

We propose a stochastic Galerkin method using sparse wavelet bases for the Boltzmann equation with multi-dimensional random inputs. Themethod uses locally supported piecewise polynomials as an orthonormal basis of the random space. By a sparse approach, only a moderate number of basis functions is required to achieve good accuracy in multi-dimensional random spaces. We discover a sparse structure of a set of basis-related coefficients, which allows us to accelerate the computation of the collision operator. Regularity of the solution of the Boltzmann equation in the random space and an accuracy result of the stochastic Galerkin method are proved in multi-dimensional cases. The efficiency of the method is illustrated by numerical examples with uncertainties from the initial data, boundary data and collision kernel.

We analyze in this paper the pressure splitting scheme of a partitioned semi-implicit coupling algorithm for fluid-structure interaction (FSI) simulation. The semi-implicit coupling algorithm is developed on the ground of the artificial compressibility characteristic-based split (AC-CBS) scheme that serves not only for the fluid subsystem but also for the global FSI system. As the dual-time stepping procedure recommended for quasi-incompressible flows is incorporated into the implicit coupling stage, the fluctuating pressure may be unusually susceptible to the AC coefficient. Moreover, it is not trivial to devise an optimal AC formulation for pressure estimation. Instead, we consider a stabilized second-order pressure splitting scheme in the AC-CBS-based partitioned semi-implicit coupling algorithm. Computer simulation of a benchmark FSI experiment demonstrates that good agreement is exposed between the available and present data.

In this work we discuss the numerical discretization of the time-dependent Maxwell's equations using a fully explicit leap-frog type discontinuous Galerkin method. We present a sufficient condition for the stability and error estimates, for cases of typical boundary conditions, either perfect electric, perfect magnetic or first order Silver-Müller. The bounds of the stability region point out the influence of not only the mesh size but also the dependence on the choice of the numerical flux and the degree of the polynomials used in the construction of the finite element space, making possible to balance accuracy and computational efficiency. In the model we consider heterogeneous anisotropic permittivity tensors which arise naturally in many applications of interest. Numerical results supporting the analysis are provided.

This paper is concerned with the construction of global, non-vacuum, strong, large amplitude solutions to initial–boundary-value problems for the one-dimensional compressible Navier–Stokes equations with degenerate transport coefficients. Our analysis derives the positive lower and upper bounds on the specific volume and the absolute temperature.

In this study an explicit Finite Difference Method (FDM) based scheme is developed to solve the Maxwell's equations in time domain for a lossless medium. This manuscript focuses on two unique aspects – the three dimensional time-accurate discretization of the hyperbolic system of Maxwell equations in three-point non-staggered grid stencil and it's application to parallel computing through the use of Graphics Processing Units (GPU). The proposed temporal scheme is symplectic, thus permitting conservation of all Hamiltonians in the Maxwell equation. Moreover, to enable accurate predictions over large time frames, a phase velocity preserving scheme is developed for treatment of the spatial derivative terms. As a result, the chosen time increment and grid spacing can be optimally coupled. An additional theoretical investigation into this pairing is also shown. Finally, the application of the proposed scheme to parallel computing using one Nvidia K20 Tesla GPU card is demonstrated. For the benchmarks performed, the parallel speedup when compared to a single core of an Intel i7-4820K CPU is approximately 190x.

Pressure-correction projection finite element methods (FEMs) are proposed to solve nonstationary natural convection problems in this paper. The first-order and second-order backward difference formulas are applied for time derivative, the stability analysis and error estimates of the semi-discrete schemes are presented using energy method. Compared with characteristic variational multiscale FEM, pressure-correction projection FEMs are more efficient and unconditionally energy stable. Ample numerical results are presented to demonstrate the effectiveness of the pressure-correction projection FEMs for solving these problems.

Moment models are often used for the solution of kinetic equations such as the Boltzmann equation. Unfortunately, standard models like Grad's equations are not hyperbolic and can lead to nonphysical solutions. Newly derived moment models like the Hyperbolic Moment Equations and the Quadrature-Based Moment Equations yield globally hyperbolic equations but are given in partially conservative form that cannot be written as a conservative system.

In this paper we investigate the applicability of different dedicated numerical schemes to solve the partially conservative model equations. Caused by the non-conservative type of equation we obtain differences in the numerical solutions, but due to the structure of the moment systems we show that these effects are very small for standard simulation cases. After successful identification of useful numerical settings we show a convergence study for a shock tube problem and compare the results to a discrete velocity solution. The results are in good agreement with the reference solution and we see convergence considering an increasing number of moments.

In this paper, a novel second-order two-scale (SOTS) computational method is developed for nonlinear dynamic thermo-mechanical problems of composites with cylindrical periodicity. The non-linearities of these multi-scale problems were caused by the temperature-dependent properties of the composites. Firstly, the formal SOTS solutions for these problems are constructed by the multiscale asymptotic analysis. Then we theoretically explain the importance of the SOTS solutions by the error analysis in the pointwise sense. In addition, a SOTS numerical algorithm is proposed in detail to effectively solve these problems. Finally, some numerical examples verify the feasibility and effectiveness of the SOTS numerical algorithm we proposed.

We present a numerical method to solve the Vlasov-Poisson-Fokker-Planck (VPFP) system using the NRxx method proposed in [4, 7, 9]. A globally hyperbolic moment system similar to that in [23] is derived. In this system, the Fokker-Planck (FP) operator term is reduced into the linear combination of the moment coefficients, which can be solved analytically under proper truncation. The non-splitting method, which can keep mass conservation and the balance law of the total momentum, is used to solve the whole system. A numerical problem for the VPFP system with an analytic solution is presented to indicate the spectral convergence with the moment number and the linear convergence with the grid size. Two more numerical experiments are tested to demonstrate the stability and accuracy of the NRxx method when applied to the VPFP system.

The computational work and storage of numerically solving the time fractional PDEs are generally huge for the traditional direct methods since they require total memory and work, where NT and NS represent the total number of time steps and grid points in space, respectively. To overcome this difficulty, we present an efficient algorithm for the evaluation of the Caputo fractional derivative of order α∈(0,1). The algorithm is based on an efficient sum-of-exponentials (SOE) approximation for the kernel t –1–α on the interval [Δt, T] with a uniform absolute error ε. We give the theoretical analysis to show that the number of exponentials N exp needed is of order for T≫1 or for TH1 for fixed accuracy ε. The resulting algorithm requires only storage and work when numerically solving the time fractional PDEs. Furthermore, we also give the stability and error analysis of the new scheme, and present several numerical examples to demonstrate the performance of our scheme.

A Lagrangian surface hopping algorithm is implemented to study the two dimensional massless Dirac equation for Graphene with an electrostatic potential, in the semiclassical regime. In this problem, the crossing of the energy levels of the system at Dirac points requires a particular treatment in the algorithm in order to describe the quantum transition—characterized by the Landau-Zener probability— between different energy levels. We first derive the Landau-Zener probability for the underlying problem, then incorporate it into the surface hopping algorithm. We also show that different asymptotic models for this problem derived in [O. Morandi, F. Schurrer, J. Phys. A:Math. Theor. 44 (2011) 265301]may give different transition probabilities. We conduct numerical experiments to compare the solutions to the Dirac equation, the surface hopping algorithm, and the asymptotic models of [O. Morandi, F. Schurrer, J. Phys. A: Math. Theor. 44 (2011) 265301].

The 2D Maxwell eigenproblems are studied from a new point of view. An electromagnetic problem is cast from the Lagrangian system with single variable into the Hamiltonian system with dual variables. The electric and magnetic components transverse to the wave propagation direction are treated as dual variables to each other. Higher order curl-conforming and divergence-conforming vector basis functions are used to construct dual vector spectral elements. Numerical examples demonstrate some unique advantages of the proposed method.

Determining the drag of a flowover a rough surface is a guiding example for the need to take geometric micro-scale effects into account when computing a macroscale quantity. A well-known strategy to avoid a prohibitively expensive numerical resolution of micro-scale structures is to capture the micro-scale effects through some effective boundary conditions posed for a problem on a (virtually) smooth domain. The central objective of this paper is to develop a numerical scheme for accurately capturing the micro-scale effects at essentially the cost of twice solving a problem on a (piecewise) smooth domain at affordable resolution. Here and throughout the paper “smooth” means the absence of any micro-scale roughness. Our derivation is based on a “conceptual recipe” formulated first in a simplified setting of boundary value problems under the assumption of sufficient local regularity to permit asymptotic expansions in terms of the micro-scale parameter.

The proposed multiscale model relies then on an upscaling strategy similar in spirit to previous works by Achdou et al. [1], Jäger and Mikelic [29, 31], Friedmann et al. [24, 25], for incompressible fluids. Extensions to compressible fluids, although with several noteworthy distinctions regarding e.g. the “micro-scale size” relative to boundary layer thickness or the systematic treatment of different boundary conditions, are discussed in Deolmi et al. [16,17]. For proof of concept the general strategy is applied to the compressible Navier-Stokes equations to investigate steady, laminar, subsonic flow over a flat plate with partially embedded isotropic and anisotropic periodic roughness imposing adiabatic and isothermal wall conditions, respectively. The results are compared with high resolution direct simulations on a fully resolved rough domain.

In this article, by applying the Stokes projection and an orthogonal projection with respect to curl and div operators, some new error estimates of finite element method (FEM) for the stationary incompressible magnetohydrodynamics (MHD) are obtained. To our knowledge, it is the first time to establish the error bounds which are explicitly dependent on the Reynolds numbers, coupling number and mesh size. On the other hand, The uniform stability and convergence of an Oseen type finite element iterative method for MHD with respect to high hydrodynamic Reynolds number Re and magnetic Reynolds number Rm , or small δ=1–σ with

(C 0, C 1 are constants depending only on Ω and F is related to the source terms of equations) are analyzed under the condition that . Finally, some numerical tests are presented to demonstrate the effectiveness of this algorithm.

The nonlinear Dirac equation is an important model in quantum physics with a set of conservation laws and a multi-symplectic formulation. In this paper, we propose energy-preserving and multi-symplectic wavelet algorithms for this model. Meanwhile, we evidently improve the efficiency of these algorithms in computations via splitting technique and explicit strategy. Numerical experiments are conducted during long-term simulations to show the excellent performances of the proposed algorithms and verify our theoretical analysis.

In this paper, we first discuss the well-posedness of linearizing equations, and then study the stability and unstability of the 3-D compressible Euler Equation, by analysing the existence of saddle point. In addition, we give the existence of local solutions of the compressible Euler equation.

The equation of state (EOS) plays a crucial role in hyperbolic conservation laws for the compressible fluid. Whereas, the solid constitutive model with elastic-plastic phase transition makes the analysis of the solid Riemann problem more difficult. In this paper, one-dimensional elastic-perfectly plastic solid Riemann problem is investigated and its exact Riemann solver is proposed. Different from previous works treating the elastic and plastic phases integrally, we resolve the elastic wave and plastic wave separately to understand the complicate nonlinear waves within the solid and then assemble them together to construct the exact Riemann solver for the elastic-perfectly plastic solid. After that, the exact solid Riemann solver is associated with the fluid Riemann solver to decouple the fluid-solid multi-material interaction. Numerical tests, including gas-solid, water-solid high-speed impact problems are simulated by utilizing the modified ghost fluid method (MGFM).