Sharpening the norm bound in the subspace perturbation theory

Abstract

Let A be a self-adjoint operator on a Hilbert space H. Assume that σ is an isolated component of the spectrum of A, i.e. dist(σ,Σ)=d>0 where Σ=spec(A)\σ. Suppose that V is a bounded self-adjoint operator on H such that ||V|| R^+, that is essentially stronger than the previously known estimates for ||P-Q||. In particular, the bound obtained ensures that ||P-Q||<1 and, thus, that the spectral subspaces Ran(P) and Ran(Q) are in the acute-angle case whenever ||V||<cd with c=0.454169... (the precise expression for c is also given). Our proof of the above results is based on using the triangle inequality for the maximal angle between subspaces and on employing the a priori generic \sin2θestimate for the variation of a spectral subspace. As an example, the boundedly perturbed quantum harmonic oscillator is discussed.