Numerical approximation of fractional powers of elliptic operators

Source abstract

We present and study a novel numerical algorithm to approximate the action of T β := L − β T^\beta :=L^{-\beta } where L L is a symmetric and positive definite unbounded operator on a Hilbert space H 0 H_0 . The numerical method is based on a representation formula for T − β T^{-\beta } in terms of Bochner integrals involving ( I + t 2 L ) − 1 (I+t^2L)^{-1} for t ∈ ( 0 , ∞ ) t\in (0,\infty ) . To develop an approximation to T β T^\beta , we introduce a finite element approximation L h L_h to L L and base our approximation to T β T^\beta on T h β := L h − β T_h^\beta := L_h^{-\beta } . The direct evaluation of T h β T_h^{\beta } is extremely expensive as it involves expansion in the basis of eigenfunctions for L h L_h . The above mentioned representation formula holds for T h − β T_h^{-\beta } and we propose three quadrature approximations denoted generically by Q h β Q_h^\beta . The two results of this paper bound the errors in the H 0 H_0 inner product of T β − T h β π h T^\beta -T_h^\beta \pi _h and T h β − Q h β T_h^\beta -Q_h^\beta where π h \pi _h is the H 0 H_0 orthogonal projection into the finite element space. We note that the evaluation of Q h β Q_h^\beta involves application of ( I + ( t i ) 2 L h ) − 1 (I+(t_i)^2L_h)^{-1} with t i t_i being either a quadrature point or its inverse. Efficient solution algorithms for these problems are available and the problems at different quadrature points can be straightforwardly solved in parallel. Numerical experiments illustrating the theoretical estimates are provided for both the quadrature error T h β − Q h β T_h^\beta -Q_h^\beta and the finite element error T β − T h β π h T^\beta -T_h^\beta \pi _h .