This paper proposes an extrapolation cascadic multigrid (EXCMG) method to solve elliptic problems in domains with reentrant corners. On a class of λ-graded meshes, we derive some new extrapolation formulas to construct a high-order approximation to the finite element solution on the next finer mesh using the numerical solutions on two-level of grids (current and previous grids). Then, this high-order approximation is used as the initial guess to reduce computational cost of the conjugate gradient method. Recursive application of this idea results in the EXCMG method proposed in this paper. Finally, numerical results for a crack problem and an L-shaped problem are presented to verify the efficiency and effectiveness of the proposed EXCMG method.

We present a JASMIN-based two-dimensional parallel implementation of an adaptive combined preconditioner for the solution of linear problems arising in the finite volume discretisation of one-group and multi-group radiation diffusion equations. We first propose the attribute of patch-correlation for cells of a two-dimensional monolayer piecewise rectangular structured grid without any suspensions based on the patch hierarchy of JASMIN, classify and reorder these cells via their attributes, and derive the conversion of cell-permutations. Using two cell-permutations, we then construct some parallel incomplete LU factorisation and substitution algorithms, to provide our parallel -GMRES solver with the help of the default BoomerAMG in the HYPRE library. Numerical results demonstrate that our proposed parallel incomplete LU preconditioner (ILU) is of higher efficiency than the counterpart in the Euclid library, and that the proposed parallel -GMRES solver is more robust and more efficient than the default BoomerAMG-GMRES solver.

A full multigrid method with coarsening by a factor-of-three to distributed control problems constrained by Stokes equations is presented. An optimal control problem with cost functional of velocity and/or pressure tracking-type is considered with Dirichlet boundary conditions. The optimality system that results from a Lagrange multiplier framework, form a linear system connecting the state, adjoint, and control variables. We investigate multigrid methods with finite difference discretization on staggered grids. A coarsening by a factor-of-three is used on staggered grids that results nested hierarchy of staggered grids and simplified the inter-grid transfer operators. A distributive-Gauss-Seidel smoothing scheme is employed to update the state- and adjoint-variables and a gradient update step is used to update the control variables. Numerical experiments are presented to demonstrate the effectiveness and efficiency of the proposed multigrid framework to tracking-type optimal control problems.

We construct modulus-based synchronous multisplitting iteration methods to solve a large implicit complementarity problem on parallel multiprocessor systems, and prove their convergence. Numerical results confirm our theoretical analysis and show that these new methods are efficient.

In this work, we study numerical methods for a coupled fluid-porous media flow model. The model consists of Stokes equations and Darcy's equations in two neighboring subdomains, coupling together through certain interface conditions. The weak form for the coupled model is of saddle point type. A mortar finite element method is proposed to approximate the weak form of the coupled problem. In our method, nonconforming Crouzeix-Raviart elements are applied in the fluid subdomain and the lowest order Raviart-Thomas elements are applied in the porous media subdomain; Meshes in different subdomains are allowed to be nonmatching on the common interface; Interface conditions are weakly imposed via adding constraint in the definition of the finite element space. The well-posedness of the discrete problem and the optimal error estimate for the proposed method are established. Numerical experiments are also given to confirm the theoretical results.

In this paper, we propose a Static Condensation Reduced Basis Element (SCRBE) approach for the Reynolds Lubrication Equation (RLE). The SCRBE method is a computational tool that allows to efficiently analyze parametrized structures which can be decomposed into a large number of similar components. Here, we extend the methodology to allow for a more general domain decomposition, a typical example being a checkerboard-pattern assembled from similar components. To this end, we extend the formulation and associated a posteriori error bound procedure. Our motivation comes from the analysis of the pressure distribution in plain journal bearings governed by the RLE. However, the SCRBE approach presented is not limited to bearings and the RLE, but directly extends to other component-based systems. We show numerical results for plain bearings to demonstrate the validity of the proposed approach.

This paper provides a proof of robustness of the restricted additive Schwarz preconditioner with harmonic overlap (RASHO) for the second order elliptic problems with jump coefficients. By analyzing the eigenvalue distribution of the RASHO preconditioner, we prove that the convergence rate of preconditioned conjugate gradient method with RASHO preconditioner is uniform with respect to the large jump and meshsize.

Extended hydrodynamic models for carrier transport are derived from the semiconductor Boltzmann equation with relaxation time approximation of the scattering term, by using the globally hyperbolic moment method and the moment-dependent relaxation time. Incorporating the microscopic relaxation time and the applied voltage bias, a formula is proposed to determine the relaxation time for each moment equation, which sets different relaxation rates for different moments such that higher moments damp faster. The resulting models would give more satisfactory results of macroscopic quantities of interest with a high-order convergence to those of the underlying Boltzmann equation as the involved moments increase, in comparison to the corresponding moment models using a single relaxation time. In order to simulate the steady states efficiently, a multigrid solver is developed for the derived moment models. Numerical simulations of an n +-n-n + silicon diode are carried out to demonstrate the validation of the presented moment models, and the robustness and efficiency of the designed multigrid solver.

In this paper we consider PDE-constrained optimization problems which incorporate an H1 regularization control term. We focus on a time-dependent PDE, and consider both distributed and boundary control. The problems we consider include bound constraints on the state, and we use a Moreau-Yosida penalty function to handle this. We propose Krylov solvers and Schur complement preconditioning strategies for the different problems and illustrate their performance with numerical examples.

The paper aims to develop an effective preconditioner and conduct the convergence analysis of the corresponding preconditioned GMRES for the solution of discrete problems originating from multi-group radiation diffusion equations. We firstly investigate the performances of the most widely used preconditioners (ILU(k) and AMG) and their combinations (Bco and Bco), and provide drawbacks on their feasibilities. Secondly, we reveal the underlying complementarity of ILU(k) and AMG by analyzing the features suitable for AMG using more detailed measurements on multiscale nature of matrices and the effect of ILU(k) on multiscale nature. Moreover, we present an adaptive combined preconditioner Bcoα involving an improved ILU(0) along with its convergence constraints. Numerical results demonstrate that Bcoα-GMRES holds the best robustness and efficiency. At last, we analyze the convergence of GMRES with combined preconditioning which not only provides a persuasive support for our proposed algorithms, but also updates the existing estimation theory on condition numbers of combined preconditioned systems.

Based on two-grid discretization, a simplified parallel iterative finite element method for the simulation of incompressible Navier-Stokes equations is developed and analyzed. The method is based on a fixed point iteration for the equations on a coarse grid, where a Stokes problem is solved at each iteration. Then, on overlapped local fine grids, corrections are calculated in parallel by solving an Oseen problem in which the fixed convection is given by the coarse grid solution. Error bounds of the approximate solution are derived. Numerical results on examples of known analytical solutions, lid-driven cavity flow and backward-facing step flow are also given to demonstrate the effectiveness of the method.

This paper deals with boundary optimal control problems for the heat and Navier-Stokes equations and addresses the issue of defining controls in function spaces which are naturally associated to the volume variables by trace restriction. For this reason we reformulate the boundary optimal control problem into a distributed problem through a lifting function approach. The stronger regularity requirements which are imposed by standard boundary control approaches can then be avoided. Furthermore, we propose a new numerical strategy that allows to solve the coupled optimality system in a robust way for a large number of unknowns. The optimality system resulting from a finite element discretization is solved by a local multigrid algorithm with domain decomposition Vanka-type smoothers. The purpose of these smoothers is to solve the optimality system implicitly over subdomains with a small number of degrees of freedom, in order to achieve robustness with respect to the regularization parameters in the cost functional. We present the results of some test cases where temperature is the observed quantity and the control quantity corresponds to the boundary values of the fluid temperature in a portion of the boundary. The control region for the observed quantity is a part of the domain where it is interesting to match a desired temperature value.

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.

A shifted Laplacian operator is obtained from the Helmholtz operator by adding a complex damping. It serves as a basic tool in the most successful multigrid approach for solving highly indefinite Helmholtz equations — a Shifted Laplacian preconditioner for Krylov-type methods. Such preconditioning significantly accelerates Krylov iterations, much more so than the multigrid based on original Helmholtz equations. In this paper, we compare approximation and relaxation properties of the Helmholtz operator with and without the complex shift, and, based on our observations, propose a new hybrid approach that combines the two. Our analytical conclusions are supported by two-dimensional numerical results.

This paper provides an overview of the main ideas driving the bootstrap algebraic multigrid methodology, including compatible relaxation and algebraic distances for defining effective coarsening strategies, the least squares method for computing accurate prolongation operators and the bootstrap cycles for computing the test vectors that are used in the least squares process. We review some recent research in the development, analysis and application of bootstrap algebraic multigrid and point to open problems in these areas. Results from our previous research as well as some new results for some model diffusion problems with highly oscillatory diffusion coefficient are presented to illustrate the basic components of the BAMG algorithm.

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 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.

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.

A two-grid method for solving the Cahn-Hilliard equation is proposed in this paper. This two-grid method consists of two steps. First, solve the Cahn-Hilliard equation with an implicit mixed finite element method on a coarse grid. Second, solve two Poisson equations using multigrid methods on a fine grid. This two-grid method can also be combined with local mesh refinement to further improve the efficiency. Numerical results including two and three dimensional cases with linear or quadratic elements show that this two-grid method can speed up the existing mixed finite method while keeping the same convergence rate.

We have developed efficient numerical algorithms for solving 3D steady-state Poisson-Nernst-Planck (PNP) equations with excess chemical potentials described by the classical density functional theory (cDFT). The coupled PNP equations are discretized by a finite difference scheme and solved iteratively using the Gummel method with relaxation. The Nernst-Planck equations are transformed into Laplace equations through the Slotboom transformation. Then, the algebraic multigrid method is applied to efficiently solve the Poisson equation and the transformed Nernst-Planck equations. A novel strategy for calculating excess chemical potentials through fast Fourier transforms is proposed, which reduces computational complexity from O(N2) to O(NlogN), where N is the number of grid points. Integrals involving the Dirac delta function are evaluated directly by coordinate transformation, which yields more accurate results compared to applying numerical quadrature to an approximated delta function. Numerical results for ion and electron transport in solid electrolyte for lithiumion (Li-ion) batteries are shown to be in good agreement with the experimental data and the results from previous studies.