Optimal Convergence (optimal + convergence)

Distribution by Scientific Domains


Selected Abstracts


MGM Optimal convergence for certain (multilevel) structured linear systems

PROCEEDINGS IN APPLIED MATHEMATICS & MECHANICS, Issue 1 2003
Antonio Aricó Dr.
We present a multigrid algorithm to solve linear systems whose coefficient metrices belongs to circulant, Hartley or , multilevel algebras and are generated by a nonnegative multivariate polynomial f. It is known that these matrices are banded (with respect to their multilevel structure) and their eigenvalues are obtained by sampling f on uniform meshes, so they are ill-conditioned (or singular, and need some corrections) whenever f takes the zero value. We prove the proposed metod to be optimal even in presence of ill-conditioning: if the multilevel coefficient matrix has dimension ni at level i, i = 1, , , d, then only ni operations are required on each iteration, but the convergence rate keeps constant with respect to N(n) as it depends only on f. The algorithm can be extended to multilevel Toeplitz matrices too. [source]


An optimally convergent discontinuous Galerkin-based extended finite element method for fracture mechanics

INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, Issue 6 2010
Yongxing Shen
Abstract The extended finite element method (XFEM) enables the representation of cracks in arbitrary locations of a mesh. We introduce here a variant of the XFEM rendering an optimally convergent scheme. Its distinguishing features are as follows: (a) the introduction of singular asymptotic crack tip fields with support on only a small region around the crack tip (the enrichment region), (b) only one and two enrichment functions are added for anti-plane shear and planar problems, respectively and (c) the relaxation of the continuity between the enrichment region and the rest of the domain, and the adoption of a discontinuous Galerkin (DG) method therein. The method is provably stable for any positive value of a stabilization parameter, and by weakly enforcing the continuity between the two regions it eliminates ,blending elements' partly responsible for the suboptimal convergence of some early XFEMs. Moreover, the particular choice of enrichment functions results in a surprisingly sparse stiffness matrix that remains reasonably conditioned as the mesh is refined. More importantly, the stress intensity factors can be extracted with a satisfactory accuracy as primary unknowns. Quadrature strategies required for the optimal convergence are also discussed. Finally, the DG method was modified to retain stability based on an inf-sup condition. Copyright © 2009 John Wiley & Sons, Ltd. [source]


Higher-order XFEM for curved strong and weak discontinuities

INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, Issue 5 2010
Kwok Wah Cheng
Abstract The extended finite element method (XFEM) enables the accurate approximation of solutions with jumps or kinks within elements. Optimal convergence rates have frequently been achieved for linear elements and piecewise planar interfaces. Higher-order convergence for arbitrary curved interfaces relies on two major issues: (i) an accurate quadrature of the Galerkin weak form for the cut elements and (ii) a careful formulation of the enrichment, which should preclude any problems in the blending elements. For (i), we employ a strategy of subdividing the elements into subcells with only one curved side. Reference elements that are higher-order on only one side are then used to map the integration points to the real element. For (ii), we find that enrichments for strong discontinuities are easily extended to higher-order accuracy. In contrast, problems in blending elements may hinder optimal convergence for weak discontinuities. Different formulations are investigated, including the corrected XFEM. Numerical results for several test cases involving strong or weak curved discontinuities are presented. Quadratic and cubic approximations are investigated. Optimal convergence rates are achieved using the standard XFEM for the case of a strong discontinuity. Close-to-optimal convergence rates for the case of a weak discontinuity are achieved using the corrected XFEM. Copyright © 2009 John Wiley & Sons, Ltd. [source]


A new dual mortar method for curved interfaces: 2D elasticity

INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING, Issue 6 2005
B. Flemisch
Abstract Dual mortar method formulations have shown to be a very effective and efficient way for interfacing (e.g. tying, contacting) dissimilar meshes. On the other hand, we have recently found that they can sometimes perform quite poorly when applied to curved surfaces in some solid mechanics applications. A new modified two-dimensional dual mortar method for piecewise linear finite elements is developed that overcomes this deficiency and is demonstrated on a model problem. Furthermore, mathematical analysis is provided to demonstrate the optimal convergence and stability of the new method. Copyright © 2005 John Wiley & Sons, Ltd. [source]


An algebraic generalization of local Fourier analysis for grid transfer operators in multigrid based on Toeplitz matrices

NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS, Issue 2-3 2010
M. Donatelli
Abstract Local Fourier analysis (LFA) is a classical tool for proving convergence theorems for multigrid methods (MGMs). In particular, we are interested in optimal convergence, i.e. convergence rates that are independent of the problem size. For elliptic partial differential equations (PDEs), a well-known optimality result requires that the sum of the orders of the grid transfer operators is not lower than the order of the PDE approximated. Analogously, when dealing with MGMs for Toeplitz matrices, a well-known optimality condition concerns the position and the order of the zeros of the symbols of the grid transfer operators. In this work we show that in the case of elliptic PDEs with constant coefficients, the two different approaches lead to an equivalent condition. We argue that the analysis for Toeplitz matrices is an algebraic generalization of the LFA, which allows to deal not only with differential problems but also for instance with integral problems. The equivalence of the two approaches gives the possibility of using grid transfer operators with different orders also for MGMs for Toeplitz matrices. We give also a class of grid transfer operators related to the B-spline's refinement equation and study their geometric properties. Numerical experiments confirm the correctness of the proposed analysis. Copyright © 2010 John Wiley & Sons, Ltd. [source]


A robust multilevel approach for minimizing H(div)-dominated functionals in an H1 -conforming finite element space

NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS, Issue 2-3 2004
Travis M. Austin
Abstract The standard multigrid algorithm is widely known to yield optimal convergence whenever all high-frequency error components correspond to large relative eigenvalues. This property guarantees that smoothers like Gauss,Seidel and Jacobi will significantly dampen all the high-frequency error components, and thus, produce a smooth error. This has been established for matrices generated from standard discretizations of most elliptic equations. In this paper, we address a system of equations that is generated from a perturbation of the non-elliptic operator I-grad div by a negative , ,. For ,near to one, this operator is elliptic, but as ,approaches zero, the operator becomes non-elliptic as it is dominated by its non-elliptic part. Previous research on the non-elliptic part has revealed that discretizing I-grad div with the proper finite element space allows one to define a robust geometric multigrid algorithm. The robustness of the multigrid algorithm depends on a relaxation operator that yields a smooth error. We use this research to assist in developing a robust discretization and solution method for the perturbed problem. To this end, we introduce a new finite element space for tensor product meshes that is used in the discretization, and a relaxation operator that succeeds in dampening all high-frequency error components. The success of the corresponding multigrid algorithm is first demonstrated by numerical results that quantitatively imply convergence for any ,is bounded by the convergence for ,equal to zero. Then we prove that convergence of this multigrid algorithm for the case of , equal to zero is independent of mesh size. Copyright © 2004 John Wiley & Sons, Ltd. [source]


Some observations on the l2 convergence of the additive Schwarz preconditioned GMRES method

NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS, Issue 5 2002
Xiao-Chuan Cai
Abstract Additive Schwarz preconditioned GMRES is a powerful method for solving large sparse linear systems of equations on parallel computers. The algorithm is often implemented in the Euclidean norm, or the discrete l2 norm, however, the optimal convergence result is available only in the energy norm (or the equivalent Sobolev H1 norm). Very little progress has been made in the theoretical understanding of the l2 behaviour of this very successful algorithm. To add to the difficulty in developing a full l2 theory, in this note, we construct explicit examples and show that the optimal convergence of additive Schwarz preconditioned GMRES in l2 cannot be obtained using the existing GMRES theory. More precisely speaking, we show that the symmetric part of the preconditioned matrix, which plays a role in the Eisenstat,Elman,Schultz theory, has at least one negative eigenvalue, and we show that the condition number of the best possible eigenmatrix that diagonalizes the preconditioned matrix, key to the Saad,Schultz theory, is bounded from both above and below by constants multiplied by h,1/2. Here h is the finite element mesh size. The results presented in this paper are mostly negative, but we believe that the techniques used in our proofs may have wide applications in the further development of the l2 convergence theory and in other areas of domain decomposition methods. Copyright © 2002 John Wiley & Sons, Ltd. [source]