Mathematik in den Naturwissenschaften Leipzig Data-Sparse Approximation to Operator-Valued Functions of Elliptic Operator by

In previous papers the arithmetic of hierarchical matrices has been described, which allows to compute the inverse, for instance, of finite element stiffness matrices discretising an elliptic operator L. The required computing time is up to logarithmic factors linear in the dimension of the matrix. In particular, this technique can be used for the computation of the discrete analogue of a resolvent (zI − L)−1 , z ∈ C. In the present paper, we consider various operator functions, the operator exponential e−tL, negative fractional powers L−α, the cosine operator function cos(t√L)L−k and, finally, the solution operator of the Lyapunov equation. Using the Dunford-Cauchy representation, we get integrals which can be discretised by a quadrature formula which involves the resolvents (zkI −L)−1 mentioned above. We give error estimates which are partly exponentially, partly polynomially decreasing. AMS Subject Classification: 47A56, 65F30, 15A24, 15A99

[1]  F. Stenger Numerical Methods Based on Sinc and Analytic Functions , 1993 .

[2]  Dongwoo Sheen,et al.  A parallel method for time-discretization of parabolic problems based on contour integral representation and quadrature , 2000, Math. Comput..

[3]  Wolfgang Hackbusch,et al.  A Sparse Matrix Arithmetic Based on H-Matrices. Part I: Introduction to H-Matrices , 1999, Computing.

[4]  Richard Bellman,et al.  Introduction to Matrix Analysis , 1972 .

[5]  Ivan P. Gavrilyuk,et al.  ℋ-matrix approximation for elliptic solution operators in cylinder domains , 2001, J. Num. Math..

[6]  Boris N. Khoromskij,et al.  Data-sparse approximate inverse in elliptic problems: Green's function approach , 2001 .

[7]  Ivan P. Gavrilyuk,et al.  Explicit and approximate solutions of second order elliptic differential equations in hilbert and banach spaces , 1999 .

[8]  W. Hackbusch,et al.  A sparse H -matrix arithmetic: general complexity estimates , 2000 .

[9]  Y. Saad Analysis of some Krylov subspace approximations to the matrix exponential operator , 1992 .

[10]  W. Hackbusch,et al.  Introduction to Hierarchical Matrices with Applications , 2003 .

[11]  Ivan P. Gavrilyuk An algorithmic representation of fractional powers of positive operators , 1996 .

[12]  Y. Maday,et al.  Une réhabilitation des méthodes spectrales de type Laguerre , 1985 .

[13]  Ivan P. Gavrilyuk,et al.  Exponentially Convergent Parallel Discretization Methods for the First Order Evolution Equations , 2001 .

[14]  HackbuschW. A sparse matrix arithmetic based on H-matrices. Part I , 1999 .

[15]  W. Hackbusch,et al.  Numerische Mathematik Existence of H-matrix approximants to the inverse FE-matrix of elliptic operators with L ∞-coefficients , 2002 .

[16]  Ivan P. Gavrilyuk,et al.  Representation and Approximation of the Solution of an Initial Value Problem for a First Order Differential Equation in Banach Spaces , 1996 .

[17]  C. Lubich,et al.  On Krylov Subspace Approximations to the Matrix Exponential Operator , 1997 .

[18]  Ivan P. Gavrilyuk Strongly P-Positive Operators and Explicit Representations of the Solutions of Initial Value Problems for Second-Order Differential Equations in Banach Space , 1999 .