Foundations of Computational Mathematics

Implicit gamma theorems (I): Pseudoroots and pseudospectra

View publication


Let g: double struck E sign → double struck F sign be an analytic function between two Hilbert spaces double struck E sign and double struck F sign. We study the set g(B(x, ε)) ⊂ double struck F sign, the image under g of the closed ball about x ∈ double struck E sign with radius e. When g(x) expresses the solution of an equation depending on x, then the elements of g(B(x, ε)) are ε-pseudosolutions. Our aim is to investigate the size of the set g(B(x, ε)). We derive upper and lower bounds of the following form: g(x) + Dg(x)(B(0, cε ε)) ⊆ g(B(x, ε)) ⊆ g(x) + Dg(x)(B(0, c2ε)), where Dg(x) denotes the derivative of g at x. We consider both the case where g is given explicitly and the case where g is given implicitly. We apply our results to the implicit function associated with the evaluation map, namely the solution map, and to the polynomial eigenvalue problem. Our results are stated in terms of an invariant γ which has been extensively used by various authors in the study of Newton's method. The main tool used here is an implicit γ theorem, which estimates the γ of an implicit function in terms of the γ of the function defining it. © 2002 SFoCM.