In this paper, we provide stability and convergence analysis for a class of finite difference schemes for unsteady incompressible Navier-Stokes equations in vorticity-stream function formulation. The no-slip boundary condition for the velocity is converted into local vorticity boundary conditions. Thom's formula, Wilkes' formula, or other local formulas in the earlier literature can be used in the second order method; while high order formulas, such as Briley's formula, can be used in the fourth order compact difference scheme proposed by E and Liu. The stability analysis of these long-stencil formulas cannot be directly derived from straightforward manipulations since more than one interior point is involved in the formula. The main idea of the stability analysis is to control local terms by global quantities via discrete elliptic regularity for stream function. We choose to analyze the second order scheme with Wilkes' formula in detail. In this case, we can avoid the complicated technique necessitated by the Strang-type high order expansions. As a consequence, our analysis results in almost optimal regularity assumption for the exact solution. The above methodology is very general. We also give a detailed analysis for the fourth order scheme using a 1-D Stokes model.

In this paper, we present a staggered discontinuous Galerkin immersed boundary method (SDGIBM) for the numerical approximation of fluid-structure interaction. The immersed boundary method is used to model the fluid-structure interaction, while the fluid flow is governed by incompressible Navier-Stokes equations. One advantage of using Galerkin method over the finite difference method with immersed boundary method is that we can avoid approximations of the Dirac Delta function. Another key ingredient of our method is that our solver for incompressible Navier-Stokes equations combines the advantages of discontinuous Galerkin methods and staggered meshes, and results in many good properties, namely local and global conservations and pointwise divergence-free velocity field by a local postprocessing technique. Furthermore, energy stability is improved by a skew-symmetric discretization of the convection term. We will present numerical results to show the performance of the method.

In this paper, we explore a unified way to construct smoothing functions for solving the absolute value equation associated with second-order cone (SOCAVE). Numerical comparisons are presented, which illustrate what kinds of smoothing functions work well along with the smoothing Newton algorithm. In particular, the numerical experiments show that the well known loss function widely used in engineering community is the worst one among the constructed smoothing functions, which indicates that the other proposed smoothing functions can be employed for solving engineering problems.

In this paper, we propose and analyze a novel stabilized finite element method (FEM) for the system of generalized Stokes equations arising from the time-discretization of transient Stokes problem. The system involves a small viscosity, which is proportional to the inverse of large Reynolds number, and a large reaction coefficient, which is the inverse of small time step. The proposed stabilized FEM employs the $C^0$ piecewise linear elements for both velocity field and pressure on the same mesh and uses the residuals of the momentum equation and the divergence-free equation to define the stabilization terms. The stabilization parameters are fixed and element-independent, without a comparison of the viscosity, the reaction coefficient and the mesh size. Using the finite element solution of an auxiliary boundary value problem as the interpolating function for velocity and the $H^1$-seminorm projection for pressure, instead of the usual nodal interpolants, we derive error estimates for the stabilized finite element approximations to velocity and pressure in the $L^2$ and $H^1$ norms and most importantly, we explicitly establish the dependence of error bounds on the viscosity, the reaction coefficient and the mesh size. Our analysis reveals that this stabilized FEM is particularly suitable for the generalized Stokes system with a small viscosity and a large reaction coefficient, which has never been achieved before in the error analysis of other stabilization methods in the literature. We then numerically confirm the effectiveness of the proposed stabilized FEM. Comparisons made with other existing stabilization methods show that the newly proposed method can attain better accuracy and stability.

In this paper, we develop bound-preserving modified exponential Runge-Kutta (RK) discontinuous Galerkin (DG) schemes to solve scalar hyperbolic equations with stiff source terms by extending the idea in Zhang and Shu \cite{ZhSh:10max}. Exponential strong stability preserving (SSP) high order time discretizations are constructed and then modified to overcome the stiffness and preserve the bound of the numerical solutions. It is also straightforward to extend the method to two dimensions on rectangular and triangular meshes. Even though we only discuss the bound-preserving limiter for DG schemes, it can also be applied to high order finite volume schemes, such as weighted essentially non-oscillatory (WENO) finite volume schemes as well.