db68f048a08d65e4.tex
1: \begin{linenomath}
2: Equation \eqref{eq:wap1} gives a sharp bound on two-grid convergence,
3: but can be generalized to any matrix $X$ and corresponding
4: $X$-orthogonal projection onto $\Ima(P), \pi_X$. Let $X$ be
5: spectrally equivalent to $\widetilde{M}$ as in equation \eqref{eq:spec_equiv}.
6: Then, from equations \eqref{eq:X_M1} and \eqref{eq:X_M2}, 
7: \begin{align}
8: c_1\max_{\mathbf{v}\neq0}\frac{\| ( I -
9:   \pi_X)\mathbf{v}\|^2_X}{\|\mathbf{v}\|^2_A} & \leq 
10: c_1\max_{\mathbf{v}\neq0}\frac{\| ( I -
11:   \pi_{\widetilde{M}})\mathbf{v}\|^2_X}{\|\mathbf{v}\|^2_A} \notag \\
12: & \leq
13:  K_{TG}  \leq
14: \max_{\mathbf{v}\neq0} \frac{\| ( I - \pi_X)\mathbf{v}\|^2_{\widetilde{M}}}{\|\mathbf{v}\|^2_A} \leq
15: c_2\max_{\mathbf{v}\neq0} \frac{\| ( I - \pi_X)\mathbf{v}\|^2_X}{\|\mathbf{v}\|^2_A} .\label{eq:wap_bounds}
16: \end{align}
17: In the case of $X=I$, \eqref{eq:wap_bounds} simplifies to considering
18: interpolation error in the $l^2$-norm \cite{Zikatanov:2008jp}
19: \[
20: \lambda_{\textnormal{min}}(\widetilde{M})\max_{\mathbf{v}\neq0}\frac{\| ( I - Q_P)\mathbf{v}\|^2}{\|\mathbf{v}\|^2_A} \leq K_{TG} \leq 
21: 	\lambda_{\textnormal{max}}(\widetilde{M}) \max_{\mathbf{v}\neq0} \frac{\| ( I - Q_P)\mathbf{v}\|^2}{\|\mathbf{v}\|^2_A},
22: \]
23: \end{linenomath}
24: