1: \begin{abstract}

2: We generalize and analyse the method for computing lower bounds of the principal eigenvalue 

3: proposed in 

4: %\cite{Seb_Vejch_2sidedb_eigen_Fr_Poin_trace_14}.

5: our previous paper (I.~\v{S}ebestov\'a, T.~Vejchodsk\'y, SIAM J. Numer. Anal. 2014).

6: This method is suitable for symmetric elliptic eigenvalue problems with mixed boundary conditions 

7: of Dirichlet, Neumann, and Robin type and

8: it is based on a posteriori error analysis using flux reconstructions.

9: We improve the original result in several aspects.

10: We show how to obtain lower bounds even for higher eigenvalues.

11: We present a local approach for the flux reconstruction enabling efficient implementation.

12: We prove the equivalence of the resulting estimator with the classical residual estimator

13: and consequently its local efficiency. 

14: We also prove the convergence of the corresponding adaptive algorithm.

15: %Therefore, the adaptive algorithm reaches the user prescribed error tolerance in a finite number of steps. 

16: Finally, we illustrate the practical performance of the method by numerical examples.

17: \end{abstract}

18: