Theoretical and Computable Optimal Subspace Expansions for Matrix Eigenvalue Problems

Zhongxiao Jia
DOI: https://doi.org/10.1137/20m1331032
IF: 1.908
2022-01-01
SIAM Journal on Matrix Analysis and Applications
Abstract:Consider the optimal subspace expansion problem for the matrix eigenvalue problem Ax = lambda x: Which vector omega in the current subspace V, after multiplied by A, provides an optimal subspace expansion for approximating a desired eigenvector x in the sense that x has the smallest angle with the expanded subspace V-omega = V + span{A omega}, i.e., omega(opt) = arg max(omega)is an element of V cos < (V-omega, x)? This problem is important as many iterative methods construct nested subspaces that successively expand V to V-omega. An expression of omega(opt) by Ye [Linear Algebra Appl., 428 (2008), pp. 911-918] for A general, but it could not be exploited to construct a computable (nearly) optimally expanded subspace. Ye turns to deriving a maximization characterization of cos < (V-omega, x) for a given omega is an element of V when A is Hermitian. We generalize Ye's maximization characterization to the general case and find its maximizer. Our main contributions consist of explicit expressions of omega(opt), (I - P-V) A omega(opt) and the optimally expanded subspace V omega(opt) for A general, where P-V is the orthogonal projector onto V. These results are fully exploited to obtain computable optimally expanded subspaces within the framework of the standard, harmonic, refined, and refined harmonic Rayleigh-Ritz methods. We show how to efficiently implement the proposed subspace expansion approaches. Numerical experiments demonstrate the effectiveness of our computable optimal expansions.
What problem does this paper attempt to address?