We prove the quasi-optimal convergence of a standard adaptive finite element method (AFEM) for a class of nonlinear elliptic second-order equations of monotone type. The adaptive algorithm is based on residual-type a posteriori error estimators and Dörfler's strategy is assumed for marking. We first prove a contraction property for a suitable definition of total error, analogous to the one used by Diening and Kreuzer (2008) and equivalent to the total error defined by Cascón et. al. (2008). This contraction implies linear convergence of the discrete solutions to the exact solution in the usual $H^1$ Sobolev norm. Secondly, we use this contraction to derive the optimal complexity of the AFEM. The results are based on ideas from Diening and Kreuzer and extend the theory from Cascón et. al. to a class of nonlinear problems which stem from strongly monotone and Lipschitz operators.

The numerical modeling of a binary solidification with a mushy layer mechanism is considered in this manuscript. The nonlinear coupled system of equations describes the heat and mass diffusions of a one-dimensional spatial variable in the semi-infinite interval. Also formulated is a transformed system in a finite interval. We propose numerical methods for solving the nonlinear system using a threshold strategy based on fixed computation-domain approach. Our calculated results and those from the LeadEx field experiment are well-matched in their tendencies.

In this paper, we propose a regularized version of the generalized NCP-function proposed by Hu, Huang and Chen [J. Comput. Appl. Math., 230 (2009), pp. 69-82]. Based on this regularized function, we propose a semismooth Newton method for solving nonlinear complementarity problems, where a non-monotone line search scheme is used. In particular, we show that the proposed non-monotone method is globally and locally superlinearly convergent under suitable assumptions. We test the proposed method by solving the test problems from MCPLIB. Numerical experiments indicate that this algorithm has better numerical performance in the case of $p=5$ and $\theta\in[0.25,075]$  than other cases.

Finite difference method is an important methodology in the approximation of waves. In this paper, we will study two implicit finite difference schemes for the simulation of waves. They are the weighted alternating direction implicit (ADI) scheme and the locally one-dimensional (LOD) scheme. The approximation errors, stability conditions, and dispersion relations for both schemes are investigated. Our analysis shows that the LOD implicit scheme has less dispersion error than that of the ADI scheme. Moreover, the unconditional stability for both schemes with arbitrary spatial accuracy is established for the first time. In order to improve computational efficiency, numerical algorithms based on message passing interface (MPI) are implemented. Numerical examples of wave propagation in a three-layer model and a standard complex model are presented. Our analysis and comparisons show that both ADI and LOD schemes are able to efficiently and accurately simulate wave propagation in complex media.

The block-by-block method, proposed by Linz for a kind of Volterra integral equations with nonsingular kernels, and extended by Kumar and Agrawal to a class of initial value problems of fractional differential equations (FDEs) with Caputo derivatives, is an efficient and stable scheme. We analytically prove and numerically verify that this method is convergent with order at least 3 for any fractional order index $\alpha>0$.

In a variety of modern applications there arises a need to tessellate the domain into representative regions, called Voronoi cells. A particular type of such tessellations, called centroidal Voronoi tessellations or CVTs, are in big demand due to their optimality properties important for many applications. The availability of fast and reliable algorithms for their construction is crucial for their successful use in practical settings. This paper introduces a new multigrid algorithm for constructing CVTs that is based on the MG/Opt algorithm that was originally designed to solve large nonlinear optimization problems. Uniform convergence of the new method and its speedup comparing to existing techniques are demonstrated for linear and nonlinear densities for several 1d and 2d problems, and $O(k)$ complexity estimation is provided for a problem with $k$ generators.

We propose an efficient gradient-type algorithm to solve the fourth-order LLT denoising model for both gray-scale and vector-valued images. Based on the primal-dual formulation of the original nondifferentiable model, the new algorithm updates the primal and dual variables alternately using the gradient descent/ascent flows. Numerical examples are provided to demonstrate the superiority of our algorithm.

As is known, the numerical stiffness arising from the small mean free path is one of the main difficulties in the kinetic equations. In this paper, we derive both the split and the unsplit schemes for the linear semiconductor Boltzmann equation with a diffusive scaling. In the two schemes, the anisotropic collision operator is realized by the "BGK"-penalty method, which is proposed by Filbet and Jin [F. Filbet and S. Jin, J. Comp. Phys. 229(20), 7625-7648, 2010] for the kinetic equations and the related problems having stiff sources. According to the numerical results, both of the schemes are shown to be uniformly convergent and asymptotic-preserving. Besides, numerical evidences suggest that the unsplit scheme has a better numerical stability than the split scheme.