On M–multisplittings of singular M–matrices with application to Markov chains

Given a singular M–matrix of a linear system, convergent conditions under which iterative schemes based on M–multisplittings are studied. Two of those conditions, the index of the iteration matrix and its spectral radius are investigated and related to those of the M-matrix. Furthermore, a parallel multisplitting iteration scheme for solving singular linear systems is suggested which can be applied to practical problems such as Poisson and elasticity problems under certain boundary conditions, the Neumann problem, and in Markov chains. A discussion of that multisplitting scheme, based on Gauss–Seidel type splittings is given for computing the stationary distribution vector of Markov chains. In this case a computational viable algorithm can be constructed, since only the nonsingularity of one weighting matrix of the multisplitting is needed. © 1998 John Wiley & Sons, Ltd.     

A robust algebraic multilevel preconditioner for non‐symmetric M‐matrices

Stable finite difference approximations of convection‐diffusion equations lead to large sparse linear systems of equations whose coefficient matrix is an M‐matrix, which is highly non‐symmetric when the convection dominates. For an efficient iterative solution of such systems, it is proposed to consider in the non‐symmetric case an algebraic multilevel preconditioning method formerly proposed for pure diffusion problems, and for which theoretical results prove grid independent convergence in this context. These results are supplemented here by a Fourier analysis that applies to constant coefficient problems with periodic boundary conditions whenever using an ‘idealized’ version of the two‐level preconditioner. Within this setting, it is proved that any eigenvalue λ of the preconditioned system satisfies for some real constant c such that . This result holds independently of the grid size and uniformly with respect to the ratio between convection and diffusion. Extensive numerical experiments are conducted to assess the convergence of practical two‐ and multi‐level schemes. These experiments, which include problems with highly variable and rotating convective flow, indicate that the convergence is grid independent. It deteriorates moderately as the convection becomes increasingly dominating, but the convergence factor remains uniformly bounded. This conclusion is supported for both uniform and some non‐uniform (stretched) grids. Copyright © 2000 John Wiley & Sons, Ltd.     

Some remarks on the constant in the strengthened CBS inequality: Estimate for hierarchical finite element discretizations of elasticity problems

For a class of two‐dimensional boundary value problems including diffusion and elasticity problems, it is proved that the constants in the corresponding strengthened Cauchy‐Buniakowski‐Schwarz (CBS) inequality in the cases of two‐level hierarchical piecewise‐linear/piecewise‐linear and piecewise‐linear/piecewise‐quadratic finite element discretizations with triangular meshes differ by the factor 0.75. For plane linear elasticity problems and triangulations with right isosceles triangles, formulas are presented that show the dependence of the constant in the CBS inequality on the Poisson's ratio. Furthermore, numerically determined bounds of the constant in the CBS inequality are given for plane linear elasticity problems discretized by means of arbitrary triangles and for three‐dimensional elasticity problems discretized by means of tetrahedral elements. Finally, the robustness of iterative solvers for elasticity problems is discussed briefly. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 469–487, 1999     

Steady compressible Navier–Stokes equations in domains with non‐compact boundaries

We consider the steady compressible Navier–Stokes equations of isentropic flow in three‐dimensional domains with several exits to infinity with prescribed pressure drops. On the one hand, when each exit is supposed to contain a cone inside, we shall construct bounded energy weak solution for adiabatic constant γ>3. On the other hand, when the exits do not open sufficiently rapidly, we shall prove a non‐existence result. Copyright © 2005 John Wiley & Sons, Ltd.     

Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non‐conforming FEM systems

Preconditioners based on various multilevel extensions of two‐level finite element methods (FEM) lead to iterative methods which have an optimal order computational complexity with respect to the size of the system. Such methods were first presented in Axelsson and Padiy (SIAM. J. Sci. Stat. Comp. 1990; 20 :1807) and Axelsson and Vassilevski (Numer. Math. 1989; 56 :157), and are based on (recursive) two‐level splittings of the finite element space. The key role in the derivation of optimal convergence rate estimates is played by the constant γ in the so‐called Cauchy–Bunyakowski–Schwarz (CBS) inequality, associated with the angle between the two subspaces of the splitting. It turns out that only existence of uniform estimates for this constant is not enough but accurate quantitative bounds for γ have to be found as well. More precisely, the value of the upper bound for γ∈(0,1) is part of the construction of various multilevel extensions of the related two‐level methods. In this paper, an algebraic two‐level preconditioning algorithm for second‐order elliptic boundary value problems is constructed, where the discretization is done using Crouzeix–Raviart non‐conforming linear finite elements on triangles. An important point to make is that in this case the finite element spaces corresponding to two successive levels of mesh refinements are not nested. To handle this, a proper two‐level basis is considered, which enables us to fit the general framework for the construction of two‐level preconditioners for conforming finite elements and to generalize the method to the multilevel case. The major contribution of this paper is the derived estimates of the related constant γ in the strengthened CBS inequality. These estimates are uniform with respect to both coefficient and mesh anisotropy. To our knowledge, the results presented in the paper are the first such estimates for non‐conforming FEM systems. Copyright © 2004 John Wiley & Sons, Ltd.     

Upper bound of the constant in the strengthened C.B.S. inequality for FEM 2D elasticity equations

The basic theory of the strengthened Cauchy–Buniakowskii–Schwarz (C.B.S.) inequality is the main tool in the convergence analysis of the recently proposed algebraic multilevel iterative methods. An upper bound of the constant γ in the strengthened C.B.S. inequality for the case of the finite element solution of 2D elasticity problems is obtained. It is assumed that linear triangle finite elements are used, the initial mesh consisting of right isosceles triangles and the mesh refinement procedure being uniform. For the resulting linear algebraic systems we have proved that γ²<0.75 uniformly on the mesh parameter and on Poisson's ratio ν ? (0, 1/2). Furthermore, the presented numerical tests show that the same relation holds for arbitrary initial right triangulations, even in the case of degeneracy of triangles. The theoretical results obtained are practically important for successful implementation of the finite element method to large-scale modeling of complicated structures. They allow us to construct optimal order algebraic multilevel iterative solvers for a wide class of real–life elasticity problems.     

Upper Bound of the Constant in Strengthened C.B.S. Inequality for Systems of Linear Partial Differential Equations

The constant in the strengthened Cauchy–Bunyakowski–Schwarz (C.B.S.) inequality plays a crucial role in the convergence rate of multilevel iterative methods as well as in the efficiency of a posteriori error estimators, that is the framework of finite element approximations of systems of partial differential equations. We consider an approximation of general systems of linear partial differential equations in R ³. Concerning a multilevel convergence rate corresponding to nested general tetrahedral meshes of size h and 2h, we give an estimate of this constant for general three-dimensional cases.     

Some extensions of the improved modified Gauss–Seidel iterative method for H‐matrices

In this paper, first we present a convergence theorem of the improved modified Gauss–Seidel iterative method, referred to as the IMGS method, for H‐matrices and compare the range of parameters α_i with that of the parameter ω of the SOR iterative method. Then with a more general splitting, the convergence analysis of this method for an H‐matrix and its comparison matrix is given. The spectral radii of them are also compared. Copyright © 2006 John Wiley & Sons, Ltd.     

A note on simultaneous preconditioning and symmetrization of non‐symmetric linear systems

Motivated by the theory of self‐duality that provides a variational formulation and resolution for non‐self‐adjoint partial differential equations (Ann. Inst. Henri Poincaré (C) Anal Non Linéaire 2007; 24 :171–205; Selfdual Partial Differential Systems and Their Variational Principles. Springer: New York, 2008), we propose new templates for solving large non‐symmetric linear systems. The method consists of combining a new scheme that simultaneously preconditions and symmetrizes the problem, with various well‐known iterative methods for solving linear and symmetric problems. The approach seems to be efficient when dealing with certain ill‐conditioned, and highly non‐symmetric systems. The numerical and theoretical results are provided to show the efficiency of our approach. Copyright © 2010 John Wiley & Sons, Ltd.     

Preconditioning and a posteriori error estimates using h‐ and p‐hierarchical finite elements with rectangular supports

We show some of the properties of the algebraic multilevel iterative methods when the hierarchical bases of finite elements (FEs) with rectangular supports are used for solving the elliptic boundary value problems. In particular, we study two types of hierarchies; the so‐called h‐ and p‐hierarchical FE spaces on a two‐dimensional domain. We compute uniform estimates of the strengthened Cauchy–Bunyakowski–Schwarz inequality constants for these spaces. Moreover, for diagonal blocks of the stiffness matrices corresponding to the fine spaces, the optimal preconditioning matrices can be found, which have tri‐ or five‐diagonal forms for h‐ or p‐refinements, respectively, after a certain reordering of the elements. As another use of the hierarchical bases, the a posteriori error estimates can be computed. We compare them in test examples for h‐ and p‐hierarchical FEs with rectangular supports. Copyright © 2008 John Wiley & Sons, Ltd.     

The Ionization Conjecture in Thomas–Fermi–Dirac–von Weizsäcker Theory

We prove that in Thomas–Fermi–Dirac–von Weizsäcker theory, a nucleus of charge Z > 0 can bind at most Z + C electrons, where C is a universal constant. This result is obtained through a comparison with Thomas‐Fermi theory which, as a by‐product, gives bounds on the screened nuclear potential and the radius of the minimizer. A key ingredient of the proof is a novel technique to control the particles in the exterior region, which also applies to the liquid drop model with a nuclear background potential.© 2017 Wiley Periodicals, Inc.     

Sequential stability of weak solutions in compressible self‐gravitating fluids and stationary problem

In this paper, we prove the sequential stability of weak solutions over time, in relation to the Navier–Stokes system of compressible self‐gravitating fluids in a three‐dimensional domain. As a byproduct, we show that there exists at least one non‐negative solution to the stationary problem in any bounded domain with a given mass for the adiabatic constant γ > 3 ∕ 2. In particular, for the spherically symmetric case, these conclusions still hold for γ > 4 ∕ 3 or γ = 4 ∕ 3 with a small mass. Copyright © 2012 John Wiley & Sons, Ltd.     

Lieb–Thirring inequalities for higher order differential operators

We derive Lieb–Thirring inequalities for the Riesz means of eigenvalues of order γ ≥ 3/4 for a fourth order operator in arbitrary dimensions. We also consider some extensions to polyharmonic operators, and to systems of such operators, in dimensions greater than one. For the critical case γ = 1 – 1/(2l) in dimension d = 1 with l ≥ 2 we prove the inequality L⁰_l,γ,d < L_l,γ,d , which holds in contrast to current conjectures. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Gustavsson–Peetre method for several Banach spaces

We extend the Gustavsson–Peetre method to the context of N ‐tuples of Banach spaces. We give estimates for the norm of the interpolated operator. The method is applied to tuples of weighted L _p ‐spaces and to tuples of Orlicz spaces identifying the outcoming spaces in both cases. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Asymptotic stability of stationary solutions to the compressible bipolar Navier–Stokes–Poisson equations

In this paper, we consider the compressible bipolar Navier–Stokes–Poisson equations with a non‐flat doping profile in three‐dimensional space. The existence and uniqueness of the non‐constant stationary solutions are established when the doping profile is a small perturbation of a positive constant state. Then under the smallness assumption of the initial perturbation, we show the global existence of smooth solutions to the Cauchy problem near the stationary state. Finally, the convergence rates are obtained by combining the energy estimates for the nonlinear system and the L²‐decay estimates for the linearized equations. Copyright © 2017 John Wiley & Sons, Ltd.     

Two‐grid methods for mixed finite‐element solution of coupled reaction‐diffusion systems

We develop 2‐grid schemes for solving nonlinear reaction‐diffusion systems: where p = (p, q) is an unknown vector‐valued function. The schemes use discretizations based on a mixed finite‐element method. The 2‐grid approach yields iterative procedures for solving the nonlinear discrete equations. The idea is to relegate all the Newton‐like iterations to grids much coarser than the final one, with no loss in order of accuracy. The iterative algorithms examined here extend a method developed earlier for single reaction‐diffusion equations. An application to prepattern formation in mathematical biology illustrates the method's effectiveness. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 589–604, 1999     

Analysis of newton multilevel stabilized finite volume method for the three‐dimensional stationary Navier‐Stokes equations

This article proposes and analyzes a multilevel stabilized finite volume method(FVM) for the three‐dimensional stationary Navier–Stokes equations approximated by the lowest equal‐order finite element pairs. The method combines the new stabilized FVM with the multilevel discretization under the assumption of the uniqueness condition. The multilevel stabilized FVM consists of solving the nonlinear problem on the coarsest mesh and then performs one Newton correction step on each subsequent mesh thus only solving one large linear systems. The error analysis shows that the multilevel‐stabilized FVM provides an approximate solution with the convergence rate of the same order as the usual stabilized finite element solution solving the stationary Navier–Stokes equations on a fine mesh for an appropriate choice of mesh widths: h_j ～ h_j‐1², j = 1,…,J. Therefore, the multilevel stabilized FVM is more efficient than the standard one‐level‐stabilized FVM. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

Large time behavior for the non‐isentropic Navier–Stokes–Maxwell system

In this paper, we are concerned with the system of the non‐isentropic compressible Navier–Stokes equations coupled with the Maxwell equations through the Lorentz force in three space dimensions. The global existence of solutions near constant steady states is established, and the time‐decay rates of perturbed solutions are obtained. The proof for existence is due to the classical energy method, and the investigation of large‐time behavior is based on the linearized analysis of the non‐isentropic Navier–Stokes–Poisson equations and the electromagnetic part for the linearized isentropic Navier–Stokes–Maxwell equations. In the meantime, the time‐decay rates obtained by Zhang, Li, and Zhu [J. Differential Equations, 250(2011), 866‐891] for the linearized non‐isentropic Navier–Stokes–Poisson equations are improved. Copyright © 2016 John Wiley & Sons, Ltd.     

Algebraic analysis of multigrid algorithms

We study the convergence rate of multilevel algorithms from an algebraic point of view. This requires a detailed analysis of the constant in the strengthened Cauchy–Schwarz inequality between the coarse‐grid space and a so‐called complementary space. This complementary space may be spanned by standard hierarchical basis functions, prewavelets or generalized prewavelets. Using generalized prewavelets, we are able to derive a constant in the strengthened Cauchy–Schwarz inequality which is less than 0.31 for the L² and H¹ bilinear form. This implies a convergence rate less than 0.15. So, we are able to prove fast multilevel convergence. Furthermore, we obtain robust estimations of the convergence rate for a large class of anisotropic ellipic equations, even for some that are not H¹‐elliptic. Copyright © 1999 John Wiley & Sons, Ltd.