Angles Between Infinite Dimensional Subspaces with Applications to the Rayleigh-Ritz and Alternating Projectors Methods

Abstract

We define angles from-to and between infinite dimensional subspaces of a Hilbert space, inspired by the work of E. J. Hannan, 1961/1962 for general canonical correlations of stochastic processes. The spectral theory of selfadjoint operators is used to investigate the properties of the angles, e.g., to establish connections between the angles corresponding to orthogonal complements. The classical gaps and angles of Dixmier and Friedrichs are characterized in terms of the angles. We introduce principal invariant subspaces and prove that they are connected by an isometry that appears in the polar decomposition of the product of corresponding orthogonal projectors. Point angles are defined by analogy with the point operator spectrum. We bound the Hausdorff distance between the sets of the squared cosines of the angles corresponding to the original subspaces and their perturbations. We show that the squared cosines of the angles from one subspace to another can be interpreted as Ritz values in the Rayleigh-Ritz method, where the former subspace serves as a trial subspace and the orthogonal projector of the latter subspace serves as an operator in the Rayleigh-Ritz method. The Hausdorff distance between the Ritz values, corresponding to different trial subspaces, is shown to be bounded by a constant times the gap between the trial subspaces. We prove a similar eigenvalue perturbation bound that involves the gap squared. Finally, we consider the classical alternating projectors method and propose its ultimate acceleration, using the conjugate gradient approach. The corresponding convergence rate estimate is obtained in terms of the angles. We illustrate a possible acceleration for the domain decomposition method with a small overlap for the 1D diffusion equation.

22 pages. Accepted to Journal of Functional Analysis

References in corpus (4)

• Majorization for Changes in Angles Between Subspaces, Ritz Values, and Graph Laplacian Spectra
• Rayleigh-Ritz majorization error bounds with applications to FEM
• Bounds on changes in Ritz values for a perturbed invariant subspace of a Hermitian matrix
• Observations on degenerate saddle point problems

Cited by in corpus (14)

• Efficient Sampling Set Selection for Bandlimited Graph Signals Using Graph Spectral Proxies
• Angles between subspaces and their tangents
• The geometrical nature of optical resonances in nanoparticles
• Rayleigh-Ritz majorization error bounds with applications to FEM
• Bounds for the Rayleigh quotient and the spectrum of self-adjoint operators
• Optical control of scattering, absorption and lineshape in nanoparticles
• Rayleigh-Ritz majorization error bounds of the mixed type
• On angles, projections and iterations
• Lipschitz stability estimate for the simultaneous recovery of two coefficients in the anisotropic Schrödinger type equation via local Cauchy data
• The Tan $2\Theta$-Theorem in Fluid Dynamics
• Grassmann angles between real or complex subspaces
• Stable determination of an anisotropic inclusion in the Schrödinger equation from local Cauchy data
• Constrained Sampling: Optimum Reconstruction in Subspace with Minimax Regret Constraint
• Counting Collisions in an $N$-Billiard System Using Angles Between Collision Subspaces