An Elsner-like perturbation theorem for generalized eigenvalues (Q1886518)

Let \(A\) be a matrix of order \(n\) and \(\tilde A = A + E\) be a perturbation of \(A\). For any eigenvalue \(\lambda\) of \(A\) there is an eigenvalue \(\tilde \lambda\) of \(\tilde A\) such that \[ | \lambda - \tilde \lambda| \leq (\| A\| +\| \tilde A\| )^{1-1/n}\| E\| ^{1/n}. \] Here \(\| .\| \) is the spectral norm. This theorem by \textit{L. Elsner} [ibid. 71, 77--80 (1985; Zbl 0583.15009)] which improved previous results by Ostrowski, Bhatia-Friedland e.a. is generalized to the case of the generalised eigenvalue problem. Under the assumption that the matrix pair \((A,B)\) and the perturbed pair \((\tilde A, \tilde B) = (A+E, B+F)\) both are regular, then for any eigenvalue \(\langle \mu,\nu\rangle \) of \((A,B)\) there is an eigenvalue \(\langle \tilde \mu, \tilde \nu\rangle \) of the perturbed pair such that \[ \chi(\langle \mu,\nu\rangle ,\langle \tilde \mu, \tilde \nu\rangle ) \leq \| (A,B)\| ^{1-1/n}\| (E,F)\| ^{1/n}(\gamma(A,B))^{-1}. \] Here \(\chi\) is the chordal metric and \(\gamma\) is a measure indicating the distance of the pair to the set of nonregular pairs. The main difference to the first theorem is the appearence of the factor \(\gamma^{-1}\), which reflects the high sensitivity of certain eigenvalues of \((A,B)\).