In this paper, a primal-dual interior point method is proposed for general constrained optimization, which incorporated a penalty function and a kind of new identification technique of the active set. At each iteration, the proposed algorithm only needs to solve two or three reduced systems of linear equations with the same coefficient matrix. The size of systems of linear equations can be decreased due to the introduction of the working set, which is an estimate of the active set. The penalty parameter is automatically updated and the uniformly positive definiteness condition on the Hessian approximation of the Lagrangian is relaxed. The proposed algorithm possesses global and superlinear convergence under some mild conditions. Finally, some preliminary numerical results are reported.

The staggered discontinuous Galerkin (SDG) method has been recently developed for the numerical approximation of partial differential equations. An important advantage of such methodology is that the numerical solution automatically satisfies some conservation properties which are also satisfied by the exact solution. In this paper, we will consider the numerical approximation of the inviscid Burgers equation by the SDG method. For smooth solutions, we prove that our SDG method has the properties of mass and energy conservation. It is well-known that extra care has to be taken at locations of shocks and discontinuities. In this respect, we propose a local total variation (TV) regularization technique to suppress the oscillations in the numerical solution. This TV regularization is only performed locally where oscillation is detected, and is thus very efficient. Therefore, the resulting scheme will preserve the mass and energy away from the shocks and the numerical solution is regularized locally near shocks. Detailed description of the method and numerical results are presented.

We focus on the study of multigrid methods with aggressive coarsening and polynomial smoothers for the solution of the linear systems corresponding to finite difference/element discretizations of the Laplace equation. Using local Fourier analysis we determine automatically the optimal values for the parameters involved in defining the polynomial smoothers and achieve fast convergence of cycles with aggressive coarsening. We also present numerical tests supporting the theoretical results and the heuristic ideas. The methods we introduce are highly parallelizable and efficient multigrid algorithms on structured and semi-structured grids in two and three spatial dimensions.

In this paper, we propose a numerical method for solving the heat equations with interfaces. This method uses the non-traditional finite element method together with finite difference method to get solutions with second-order accuracy. It is capable of dealing with matrix coefficient involving time, and the interfaces under consideration are sharp-edged interfaces instead of smooth interfaces. Modified Euler Method is employed to ensure the accuracy in time. More than 1.5th order accuracy is observed for solution with singularity (second derivative blows up) on the sharp-edged interface corner. Extensive numerical experiments illustrate the feasibility of the method.

In this paper, a local multilevel algorithm is investigated for solving linear systems arising from adaptive finite element approximations of second order elliptic problems with smooth complex coefficients. It is shown that the abstract theory for local multilevel algorithm can also be applied to elliptic problems whose dominant coefficient is complex valued. Assuming that the coarsest mesh size is sufficiently small, we prove that this algorithm with Gauss-Seidel smoother is convergent and optimal on the adaptively refined meshes generated by the newest vertex bisection algorithm. Numerical experiments are reported to confirm the theoretical analysis.

We consider using a discrete network model in combination with continuous nonlinear optimization models to solve the problem of optimizing channels in nanoporous materials. The problem and the hierarchical optimization algorithm are described in [2]. A key feature of the model is the fact that we use the edges of the finite element grid as the locations of the channels. The focus here is on the use of the discrete model within that algorithm. We develop several approximations to the relevant flow and a greedy algorithm for quickly generating a “good” tree connecting all of the nodes in the finite-element mesh to a designated root node. We also consider Metropolis-Hastings (MH) improvements to the greedy result. We consider both a regular triangulation and a Delaunay triangulation of the region, and present some numerical results.

This paper deals with a more general class of singularly perturbed boundary value problem for a differential-difference equations with small shifts. In particular, the numerical study for the problems where second order derivative is multiplied by a small parameter ε and the shifts depend on the small parameter ε has been considered. The fitted-mesh technique is employed to generate a piecewise-uniform mesh, condensed in the neighborhood of the boundary layer. The cubic B-spline basis functions with fitted-mesh are considered in the procedure which yield a tridiagonal system which can be solved efficiently by using any well-known algorithm. The stability and parameter-uniform convergence analysis of the proposed method have been discussed. The method has been shown to have almost second-order parameter-uniform convergence. The effect of small parameters on the boundary layer has also been discussed. To demonstrate the performance of the proposed scheme, several numerical experiments have been carried out.

The mathematical model for semiconductor devices in three space dimensions are numerically discretized. The system consists of three quasi-linear partial differential equations about three physical variables: the electrostatic potential, the electron concentration and the hole concentration. We use standard mixed finite element method to approximate the elliptic electrostatic potential equation. For the two convection-dominated concentration equations, a characteristics-mixed finite element method is presented. The scheme is locally conservative. The optimal L2-norm error estimates are derived by the aid of a post-processing step. Finally, numerical experiments are presented to validate the theoretical analysis.

About thirty years ago, Achi Brandt wrote a seminal paper providing a convergence theory for algebraic multigrid methods [Appl. Math. Comput., 19 (1986), pp. 23–56]. Since then, this theory has been improved and extended in a number of ways, and these results have been used in many works to analyze algebraic multigrid methods and guide their developments. This paper makes a concise exposition of the state of the art. Results for symmetric and nonsymmetric matrices are presented in a unified way, highlighting the influence of the smoothing scheme on the convergence estimates. Attention is also paid to sharp eigenvalue bounds for the case where one uses a single smoothing step, allowing straightforward application to deflation-based preconditioners and two-level domain decomposition methods. Some new results are introduced whenever needed to complete the picture, and the material is self-contained thanks to a collection of new proofs, often shorter than the original ones.

In this work, we extend Achi Brandt's notion of textbook multigrid efficiency (TME) to massively parallel algorithms. Using a finite element based geometric multigrid implementation, we recall the classical view on TME with experiments for scalar linear equations with constant and varying coefficients as well as linear systems with saddle-point structure. To extend the idea of TME to the parallel setting, we give a new characterization of a work unit (WU) in an architecture-aware fashion by taking into account performance modeling techniques. We illustrate our newly introduced parallel TME measure by large-scale computations, solving problems with up to 200 billion unknowns on a TOP-10 supercomputer.

In this paper, we propose a multigrid algorithm based on the full approximate scheme for solving the membrane constrained obstacle problems and the minimal surface obstacle problems in the formulations of HJB equations. A Newton-Gauss-Seidel (NGS) method is used as smoother. A Galerkin coarse grid operator is proposed for the membrane constrained obstacle problem. Comparing with standard FAS with the direct discretization coarse grid operator, the FAS with the proposed operator converges faster. A special prolongation operator is used to interpolate functions accurately from the coarse grid to the fine grid at the boundary between the active and inactive sets. We will demonstrate the fast convergence of the proposed multigrid method for solving two model obstacle problems and compare the results with other multigrid methods.

For any given matrix A ∈ℂnxn, a preconditioner tU(A) called the superoptimal preconditioner was proposed in 1992 by Tyrtyshnikov. It has been shown that tU(A) is an efficient preconditioner for solving various structured systems, for instance, Toeplitz-like systems. In this paper, we construct the superoptimal preconditioners for different functions of matrices. Let f be a function of matrices from ℂnxn to ℂnxn. For any A ∈ ℂ nxn, one may construct two superoptimal preconditioners for f(A): tU(f(A)) and f(tU(A)). We establish basic properties of tU(f(A)) and f(tU(A)) for different functions of matrices. Some numerical tests demonstrate that the proposed preconditioners are very efficient for solving the system f(A)x = b.

Sparse grids have become a versatile tool for a vast range of applications reaching from interpolation and numerical quadrature to data-driven problems and uncertainty quantification. We review four selected real-world applications of sparse grids: financial product pricing with the Black-Scholes model, interactive exploration of simulation data with sparse-grid-based surrogate models, analysis of simulation data through sparse grid data mining methods, and stability investigations of plasma turbulence simulations.

In this paper, a multilevel correction scheme is proposed to solve the Steklov eigenvalue problem by nonconforming finite element methods. With this new scheme, the accuracy of eigenpair approximations can be improved after each correction step which only needs to solve a source problem on finer finite element space and an Steklov eigenvalue problem on the coarsest finite element space. This correction scheme can increase the overall efficiency of solving eigenvalue problems by the nonconforming finite element method. Furthermore, as same as the direct eigenvalue solving by nonconforming finite element methods, this multilevel correction method can also produce the lower-bound approximations of the eigenvalues.

A new algorithm for the removal of additive uncorrelated Gaussian noise from a digital image is presented. The algorithm is based on a data driven methodology for the adaptive thresholding of wavelet coefficients. This methodology is derived from higher order statistics of the residual image, and requires no a priori estimate of the level of noise contamination of an image.

In this paper, we introduce a diffuse interface model for describing the dynamics of mixtures involving multiple (two or more) phases. The coupled hydrodynamical system is derived through an energetic variational approach. The total energy of the system includes the kinetic energy and the mixing (interfacial) energies. The least action principle (or the principle of virtual work) is applied to derive the conservative part of the dynamics, with a focus on the reversible part of the stress tensor arising from the mixing energies. The dissipative part of the dynamics is then introduced through a dissipation function in the energy law, in line with Onsager's principle of maximum dissipation. The final system, formed by a set of coupled time-dependent partial differential equations, reflects a balance among various conservative and dissipative forces and governs the evolution of velocity and phase fields. To demonstrate the applicability of the proposed model, a few two-dimensional simulations have been carried out, including (1) the force balance at the three-phase contact line in equilibrium, (2) a rising bubble penetrating a fluid-fluid interface, and (3) a solid particle falling in a binary fluid. The effects of slip at solid surface have been examined in connection with contact line motion and a pinch-off phenomenon.

We develop a Lions domain decomposition algorithm based on a cell functional minimization scheme on non-matching multi-block grids for nonlinear radiation diffusion equations, which are described by the coupled radiation diffusion equations of electron, ion and photon temperatures. The L2 orthogonal projection is applied in the Robin transmission condition of non-matching surfaces. Numerical results show that the algorithm keeps the optimal accuracy on the whole computational domain, is robust enough on distorted meshes and curved surfaces, and the convergence rate does not depend on Robin coefficients. It is a practical and attractive algorithm in applying to the two-dimensional three-temperature energy equations of Z-pinch implosion simulation.

In this paper, we present a local Fourier analysis framework for analyzing the different components within multigrid solvers for edge-based discretizations on triangular grids. The different stencils associated with edges of different orientation in a triangular mesh make this analysis special. The resulting tool is demonstrated for the vector Laplace problem discretized by mimetic finite difference schemes. Results from the local Fourier analysis, as well as experimentally obtained results, are presented to validate the proposed analysis.