Projection geometry and relaxed quasi-orthogonality for inf-sup stable Galerkin methods

Abstract

We give an elementary, coordinate-free proof that uniformly inf-sup stable nested Petrov-Galerkin methods on Hilbert spaces satisfy relaxed general quasi-orthogonality. More precisely, for any window of $N$ consecutive levels, the sum of squared Galerkin increments is bounded by the squared error at the beginning of the window times $N^{\sigma }$, where $\sigma <1$. The exponent $\sigma$ and the prefactor can be chosen explicitly in terms of the uniform projection bound. The proof uses Hilbert-space projection estimates, dyadic iteration, and duality, without relying on matrix factorizations. As a corollary, we obtain explicit growth bounds for finite block-LU factors. In the symmetric indefinite case, the positive and negative spectral splittings of the Galerkin detail spaces yield a characterization of full quasi-orthogonality in terms of uniform boundedness of the associated finite-window sign operators. We also construct a self-adjoint involution and a nested, uniformly inf-sup stable Galerkin sequence for which full general quasi-orthogonality fails. For every $0<\alpha <1$, the construction yields a hierarchy whose finite-window constants have growth of exact order $N^{\alpha }$, along with an explicit target whose Galerkin increments are not square summable.

arXiv commentClarified the exposition and sharpened the counterexample. 20 pages