In this paper, a mathematical analysis of the popular carpet cloak model is carried out. The well-posedness of the model is first proved, and then a finite element time-domain method is developed for solving this model. Three carpet cloak simulations are demonstrated to show the effectiveness of our model and the developed algorithm. To the best of our knowledge, this is the first mathematical analysis carried out for the carpet cloak model. The numerical simulation using edge elements for the carpet cloak model is also original.

The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions. The methods arise by discretization of a well-posed extended Navier-Stokes dynamics for which pressure is determined from current velocity and force fields. The methods use C1 elements for velocity and C0 elements for pressure. A stability estimate is proved for a related finite-element projection method close to classical time-splitting methods of Orszag, Israeli, DeVille and Karniadakis.

In this paper, we analyze implicit-explicit (IMEX) Runge-Kutta (RK) time discretization methods for solving linear convection-diffusion equations. The diffusion operator is treated implicitly via the embedded discontinuous Galerkin (EDG) method and the convection operator explicitly via the upwinding discontinuous Galerkin method.

The main purpose of this paper is to analyze the stability and error estimates of the local discontinuous Galerkin (LDG) methods coupled with implicit-explicit (IMEX) time discretization schemes, for solving one-dimensional convection-diffusion equations with a nonlinear convection. Both Runge-Kutta and multi-step IMEX methods are considered. By the aid of the energy method, we show that the IMEX LDG schemes are unconditionally stable for the nonlinear problems, in the sense that the time-step $\dt$ is only required to be upper-bounded by a positive constant which depends on the flow velocity and the diffusion coefficient, but is independent of the mesh size $h$. We also give optimal error estimates for the IMEX LDG schemes, under the same temporal condition, if a monotone numerical flux is adopted for the convection. Numerical experiments are given to verify our main results.

We propose and study a new parallel one-shot Lagrange--Newton--Krylov--Schwarz (LNKSz) algorithm for shape optimization problems constrained by steady incompressible Navier--Stokes equations discretized by finite element methods on unstructured moving meshes. Most existing algorithms for shape optimization problems iteratively solve the three components of the optimality system: the state equations for the constraints, the adjoint equations for the Lagrange multipliers, and the design equations for the shape parameters. Such approaches are relatively easy to implement, but generally are not easy to converge as they are basically nonlinear Gauss--Seidel algorithms with three large blocks. In this paper, we introduce a fully coupled, or the so-called one-shot, approach which solves the three components simultaneously. First, we introduce a moving mesh finite element method for the shape optimization