Upper spectral bounds and a posteriori error analysis of several mixed finite element approximations for the Stokes eigenvalue problem (Q365860)

Conforming mixed finite element approximations for the Stokes eigenvalue problem are discussed. Firstly, several mixed finite element identities are proved. Based on these identities, the following new results are given: \begin{itemize}\item[1.] It is proved that the numerical eigenvalues obtained by mini-element, \(P_1\)-\(P_1\) element and \(Q_1\)-\(Q_1\) element approximate the exact eigenvalues from above; \item[2.] As for the \(P_1\)-\(P_1\), \(Q_1\)-\(Q_1\) and \(Q_1\)-\(P_0\) element eigenvalues, the asymptotically exact a posteriori error indicators are presented; \item[3.] The reliable and efficient a posteriori error estimator proposed by \textit{R. Verfürth} [Numer. Math. 55, No. 3, 309--325 (1989; Zbl 0674.65092)] is applied to mini-element eigenfunctions. Numerical experiments are carried out in order to verify the theoretical analysis.\end{itemize}