Superlinear Preconditioners for Finite Differences Linear Systems

  • Authors:
  • Stefano Serra Capizzano;Cristina Tablino Possio

  • Affiliations:
  • -;-

  • Venue:
  • SIAM Journal on Matrix Analysis and Applications
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider a preconditioning strategy for finite differences (FD) matrix sequences $\{A_n(a,\Omega)\}_n$ discretizing the elliptic problem $$ \label{eq:pde-abs} \left\{ \begin{array}{l} A_{a} u \equiv (-)^k\nabla^k[a(x)\nabla^k u(x)] =f(x),\quad \quad x\in \Omega, \\ \ \\ \displaystyle \left({\partial^s \over \partial \nu^s} u(x)\right)_{|\partial \Omega} \equiv 0, \quad \quad s=0,\ldots,k-1, \end{array} \right. $$ with $\Omega$ being a plurirectangle of ${\bf R}^d$, with a(x) being a uniformly positive (nonnegative) Riemann integrable function, and $\nu$ denoting the unit outward normal direction. More precisely, in connection with preconditioned conjugate gradient (PCG)--like methods, we consider the preconditioning sequence $\{P_n(a,\Omega)\}_n$, $P_n(a,\Omega):=\tilde D_n^{1/2}(a,\Omega)A_n(1,\Omega) \tilde D_n^{1/2}(a,\Omega)$, where $\tilde D_n(a,\Omega)$ is the suitable scaled main diagonal of $A_n(a,\Omega)$. Using embedding arguments and projection matrices, under the mild assumptions on $a(x)$, we show the weak clustering at the unity of the corresponding preconditioned sequence. If $a(x)$ is regular enough, then the preconditioned sequence shows a strong clustering at the unity so that the sequence $\{P_n(a,\Omega)\}_n$ turns out to be a superlinear preconditioning sequence for $\{A_n(a,\Omega)\}_n$. The computational interest is due to the fact that the solution of a linear system with coefficient matrix $A_n(a,\Omega)$ is reduced to computations involving diagonals and multilevel structures $\{A_n(1,\Omega)\}_n$ with banded pattern. In turn, the matrix $A_n(1,\Omega)$ can be reinterpreted as a projection of a multilevel banded Toeplitz matrix for which we use multigrid strategies. Some numerical experimentations confirm the efficiency of the discussed proposal and its strong superiority with respect to existing techniques in the case of semielliptic problems.