In this paper, we study a dynamic contact model with long memory which allows both the convex potential and nonconvex superpotentials to depend on history-dependent operators. The deformable body consists of a viscoelastic material with long memory and the process is assumed to be dynamic. The contact involves a nonmonotone Clarke subdifferential boundary condition and the friction is modeled by a version of the Coulomb's law of dry friction with the friction bound depending on the total slip. We introduce and study a fully discrete scheme of the problem, and derive error estimates for numerical solutions. Under appropriate solution regularity assumptions, an optimal order error estimate is derived for the linear finite element method.  This theoretical result is illustrated numerically.

This paper presents a fourth-order kernel-free boundary integral method for the time-dependent, incompressible Stokes and Navier-Stokes equations defined on irregular bounded domains. By the stream function-vorticity formulation, the incompressible flow equations are interpreted as vorticity evolution equations. Time discretization methods for the evolution equations lead to a modified Helmholtz equation for the vorticity, or alternatively, a modified biharmonic equation for the stream function with two clamped boundary conditions. The resulting fourth-order elliptic boundary value problem is solved by a fourth-order kernel-free boundary integral method, with which integrals in the reformulated boundary integral equation are evaluated by solving corresponding equivalent interface problems, regardless of the exact expression of the involved Green's function. To solve the unsteady Stokes equations, a four-stage composite backward differential formula of the same order accuracy is employed for time integration. For the Navier-Stokes equations, a three-stage third-order semi-implicit Runge-Kutta method is utilized to guarantee the global numerical solution has at least third-order convergence rate. Numerical results for the unsteady Stokes equations and the Navier-Stokes equations are presented to validate efficiency and accuracy of the proposed method.

We develop a simple and efficient numerical scheme to solve a class of obstacle problems encountered in various applications. Mathematically, obstacle problems are usually formulated using nonlinear partial differential equations (PDE). To construct a computationally efficient scheme, we introduce a time derivative term and convert the PDE into a time-dependent problem. But due to its nonlinearity, the time step is in general chosen to satisfy a very restrictive stability condition. To relax such a time step constraint when solving a time dependent evolution equation, we decompose the nonlinear obstacle constraint in the PDE into a linear part and a nonlinear part and apply the semi-implicit technique. We take the linear part implicitly while treating the nonlinear part explicitly. Our method can be easily applied to solve the fractional obstacle problem and min curvature flow problem. The article will analyze the convergence of our proposed algorithm. Numerical experiments are given to demonstrate the efficiency of our algorithm.

In this study, we investigate the effect of space dimensions on the equilibrium solutions of the Cahn-Hilliard (CH) and conservative Allen-Cahn (CAC) equations in one, two, and three dimensions. The CH and CAC equations are fourth-order parabolic partial and second-order integro-partial differential equations, respectively. The former is used to model phase separation in binary mixtures, and the latter is used to model mean curvature flow with conserved mass. Both equations have been used for modeling various interface problems. To study the space-dimension effect on both the equations, we consider the equilibrium solution profiles for symmetric, radially symmetric, and spherically symmetric drop shapes. We highlight the different dynamics obtained from the CH and CAC equations. In particular, we find that there is a large difference between the solutions obtained from these equations in three-dimensional space.

The multidomain Legendre-Galerkin least-squares method is developed for solving linear differential problems with variable coefficients. By introducing a flux, the original differential equation is rewritten into an equivalent first-order system, and the Legendre Galerkin is applied to the discrete form of the corresponding least squares function. The proposed scheme is based on the Legendre-Galerkin method, and the Legendre/Chebyshev-Gauss-Lobatto collocation method is used to deal with the variable coefficients and the right hand side terms. The coercivity and continuity of the method are proved and the optimal error estimate in $H^1$-norm is obtained. Numerical examples are given to validate the efficiency and spectral accuracy of our scheme. Our scheme is also applied to the numerical solutions of the parabolic problems with discontinuous coefficients and the two-dimensional elliptic problems with piecewise constant coefficients, respectively.

An improved hybrid adjoint method to the viscous, compressible Reynold-Averaged Navier-Stokes Equation (RANS) is developed for the computation of objective function gradient and demonstrated for external aerodynamic design optimization. In this paper, the main idea is to extend the previous coupling of the discrete and continuous adjoint method by the grid-node coordinates variation technique for the computation of the variation in the gradients of flow variables. This approach in combination with the Jacobian matrices of flow fluxes refrained the objective function from field integrals and coordinate transformation matrix. Thus, it opens up the possibility of employing the hybrid adjoint method to evaluate the subsequent objective function gradient analogous to many shape parameters, comprises of only boundary integrals. This avoids the grid regeneration in the geometry for every surface perturbation in a structured and unstructured grid. Hence, this viable technique reduces the overall CPU cost. Moreover, the new hybrid adjoint method has been successfully applied to the computation of accurate sensitivity derivatives. Finally, for the investigation of the presented numerical method, simulations are carried out on NACA0012 airfoil in a transonic regime and its accuracy and effectiveness related to the new gradient equation have been verified with the Finite Difference Method (FDM). The analysis reveals that the presented methodology for the optimization provides the designer with an indispensable CPU-cost effective tool to reshape the complex geometry airfoil surfaces, useful relative to the state-of-the-art, in a less computing time.

In this paper, we design a partially penalized immersed finite element method for solving elliptic interface problems with non-homogeneous flux jump conditions. The method presented here has the same global degrees of freedom as classic immersed finite element method. The non-homogeneous flux jump conditions can be handled accurately by additional immersed finite element functions. Four numerical examples are provided to demonstrate the optimal convergence rates of the method in $L^{\infty}$, $L^{2}$ and $H^{1}$ norms. Furthermore, the method is combined with post-processing technique to solve elliptic optimal control problems with interfaces. To solve the resulting large-scale system, block diagonal preconditioners are introduced. These preconditioners can lead to fast convergence of the Krylov subspace methods such as GMRES and are independent of the mesh size. Four numerical examples are presented to illustrate the efficiency of the numerical schemes and preconditioners.

We study a multilevel Schwarz preconditioned Newton-Krylov algorithm to solve the Poisson-Boltzmann equation with applications in multi-particle colloidal simulation. The smoothed aggregation-type coarse mesh space is introduced in collaboration with the one-level Schwarz method as a composite preconditioner for accelerating the convergence of a Krylov subspace method for solving the Jacobian system at each Newton step. The important feature of the proposed solution algorithm is that the geometric mesh information needed for constructing the multilevel preconditioner is the same as the one-level Schwarz method on the fine mesh. Other components, such as the definition of the coarse mesh, all the mesh transfer operators, and the coarse mesh problem, are taken care of by the Trillinos/ML packages of the Sandia National Laboratories in the United States. After algorithmic parameter tuning, we show that the proposed smoothed aggregation multilevel Newton-Krylov-Schwarz (NKS) algorithm numerically outperforms than smoothed aggregation multigrid method and one-level version of the NKS algorithm with satisfactory parallel performances up to a few thousand cores. Besides, we investigate how the electrostatic forces between particles for the separation distance depend on the radius of spherical colloidal particles and valence ratios of cation and anion in a cubic system.

The generalized middle rectangle rule for the computation of certain hypersingular integrals is discussed. A generalized middle rectangle rule with the density function approximated and the singular kernel analysis calculated is presented and the asymptotic expansion of error functional is obtained. When the special function in the error functional equals to zero, the superconvergence point is obtained and the superconvergence phenomenon which is one order higher than the general case is presented. At last, numerical examples are given to confirm the theoretical results.

In this paper numerical energy identities of the Yee scheme on uniform grids for  three dimensional Maxwell equations with periodic boundary conditions  are proposed and expressed in terms of the $L^2$, $H^1$ and $H^2$ norms. The relations between the $H^1$ or $H^2$ semi-norms and the magnitudes of the curls or the second curls of the fields in the Yee scheme are derived. By the $L^2$ form of the identity it is shown that the solution fields of the Yee scheme is approximately energy conserved. By the $H^1$ or $H^2$ semi norm of the identities, it is proved that the curls or the second curls of the solution of the Yee scheme are approximately magnitude (or energy)-conserved. From these numerical energy identities, the Courant-Friedrichs-Lewy (CFL) stability condition is re-derived, and the stability of the Yee scheme in the $L^2$,  $H^1$  and $H^2$ norms is then proved. Numerical experiments to compute the numerical energies and convergence orders in the  $L^2$, $H^1$ and $H^2$ norms are carried out and the computational results confirm the analysis of the Yee scheme on energy conservation and stability analysis.

Among the typical time integrations for PDEs, Leap-frog scheme is the well-known method which can easily be used. A most welcome feature of the Leap-frog scheme is that it has very simple scheme and is easy to be implemented. The main purpose of this paper is to propose and analyze an improved Leap-frog scheme, the so-called continuous-stage modified  Leap-frog scheme for high-dimensional semi-linear Hamiltonian wave equations. To this end, under the assumption of periodic boundary conditions, we begin with the formulation of the nonlinear Hamiltonian equation as an abstract second-order ordinary differential equation (ODE) and its operator-variation-of-constants formula (the Duhamel Principle). Then the continuous-stage modified Leap-frog scheme is formulated. Accordingly, the convergence, energy preservation, symplecticity conservation and  long-time behaviour of explicit schemes are rigorously analysed. Numerical results demonstrate the remarkable advantage and efficiency of the improved Leap-frog scheme compared with the existing mostly used numerical schemes in the literature.