The Complex Step Approximation to the Fréchet Derivative of a Matrix Function

Al-Mohy, Awad H. and Higham, Nicholas J. (2009) The Complex Step Approximation to the Fréchet Derivative of a Matrix Function. [MIMS Preprint]

Warning
There is a more recent version of this item available.
[thumbnail of paper5.pdf] PDF
paper5.pdf

Download (183kB)

Abstract

We show that the Fr\'echet derivative of a matrix function $f$ at $A$ in the direction $E$, where $A$ and $E$ are real matrices, can be approximated by $\Im f(A+ihE)/h$ for some suitably small $h$. This approximation, requiring a single function evaluation at a complex argument, generalizes the complex step approximation known in the scalar case. The approximation is proved to be of second order in $h$ for analytic functions $f$ and also for the matrix sign function. It is shown that it does not suffer the inherent cancellation that limits the accuracy of finite difference approximations in floating point arithmetic. However, cancellation does nevertheless vitiate the approximation when the underlying method for evaluating $f$ employs complex arithmetic. The ease of implementation of the approximation, and its superiority over finite differences, make it attractive when specialized methods for evaluating the Fr\'echet derivative are not available, and in particular for condition number estimation when used in conjunction with a block 1-norm estimation algorithm.

Item Type: MIMS Preprint
Uncontrolled Keywords: Fr\'echet derivative, matrix function, complex step approximation, complex arithmetic, finite difference, matrix sign function, condition number estimation, block 1-norm estimator
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 15 Linear and multilinear algebra; matrix theory
MSC 2010, the AMS's Mathematics Subject Classification > 65 Numerical analysis
Depositing User: Nick Higham
Date Deposited: 27 Apr 2009
Last Modified: 08 Nov 2017 18:18
URI: https://eprints.maths.manchester.ac.uk/id/eprint/1260

Available Versions of this Item

Actions (login required)

View Item View Item