Guaranteed high-precision estimation for P 0 interpolation constants on triangular finite elements

  • Xuefeng LiuEmail author
  • Shin’ichi Oishi
Original Paper Area 1


We consider an explicit estimation for error constants from two basic constant interpolations on triangular finite elements. The problem of estimating the interpolation constants is related to the eigenvalue problems of the Laplacian with certain boundary conditions. By adopting the Lehmann–Goerisch theorem and finite element spaces with a variable mesh size and polynomial degree, we succeed in bounding the leading eigenvalues of the Laplacian and the error constants with high precision. An online demo for the constant estimation is also available at


Interpolation error constants Eigenvalue problem Finite element method Lehmann–Goerisch theorem hp-FEM 

Mathematics Subject Classification

35P15 65N30 65N25 65N15 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ainsworth, M., Oden, J.: A posteriori error estimation in finite element annalysis. Wiley, New york (2000)Google Scholar
  2. 2.
    Arnold D., Brezzi F.: Mixed and nonconforming finite element methods: implementation, postprocessing and error estimates. RAIRO Math. Model. Numer. Anal. 19, 7–32 (1985)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Babuška I., Aziz A.: On the angle condition in the finite element method. SIAM J. Numer. Anal. 39, 214–226 (1976)CrossRefGoogle Scholar
  4. 4.
    Babuska, I., Osborn, J.: Eigenvalue problems, finite element methods (part 1). In: P.G.Ciarlet, J. Lions (eds.) Handbook of Numerical Analysis, vol. II. Elsevier Science Publishers B.V., North-Holland, Amsterdam (1991)Google Scholar
  5. 5.
    Behnke H.: The calculation of guaranteed bounds for eigenvalues using complementary variational principles. Computing 47(1), 11–27 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Behnke, H., Goerisch, F.: Inclusions for eigenvalues of selfadjoint problems. In: Herzberger, J. (ed.) Topics in Validated Computations, pp. 277–322. North-Holland, Amsterdam (1994)Google Scholar
  7. 7.
    Brezzi, F., Fortin, M.: Mixed and hybrid finite element methods. Springer, Berlin (1991)Google Scholar
  8. 8.
    Brezzi F., Jim Douglas J., Marini L.: Two families of mixed finite elements for second order elliptic problems. Numer. Math. 47, 217–235 (1985)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Dautray, R., Lions, J., Artola, M., Cessenat, M.: Mathematical analysis and numerical methods for science and technology: Spectral theory and applications, vol. 3. Springer, Berlin (2000)Google Scholar
  10. 10.
    Goerisch, F., He, Z.: The determination of guaranteed bounds to eigenvalues with the use of variational methods I. In: Computer arithmetic and self-validating numerical methods, pp. 137–153. Academic Press Professional, Inc., London (1990)Google Scholar
  11. 11.
    Grisvard, P.: Elliptic problems in nonsmooth domains. Classics Appl. Math. 69. SIAM (2011)Google Scholar
  12. 12.
    Guo B., Babuška I.: The hp version of the finite element method. Comput. Mech. 1(1), 21–41 (1986)CrossRefzbMATHGoogle Scholar
  13. 13.
    Kikuchi, F., Liu, X.: Determination of the Babuška-Aziz constant for the linear triangular finite element. Jpn. J. Ind. Appl. Math. 23, 75–82 (2006)Google Scholar
  14. 14.
    Kikuchi F., Liu X.: Estimation of interpolation error constants for the P 0 and P 1 triangular finite element. Comput. Methods Appl. Mech. Eng. 196, 3750–3758 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Kobayashi, K.: On the interpolation constants over triangular elements (in Japanese). Kyoto University Research Information Repository, vol.1733, pp. 58–77 (2011)Google Scholar
  16. 16.
    Payne L.E., Weinberger H.F.: An optimal Poincaré inequality for convex domains. Arch. Rational Mech. Anal. 5, 286–292 (1960)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Lehmann N.: Optimale eigenwerteinschließungen. Numer. Math. 5(1), 246–272 (1963)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Liu X., Kikuchi F.: Analysis and estimation of error constants for interpolations over triangular finite elements. J. Math. Sci. Univ. Tokyo 17, 27–78 (2010)MathSciNetzbMATHGoogle Scholar
  19. 19.
    Liu X., Oishi S.: Verified eigenvalue evaluation for the laplacian over polygonal domains of arbitrary shape. SIAM J. Numer. Anal. 51(3), 1634–1654 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Nakao M., Yamamoto N.: A guaranteed bound of the optimal constant in the error estimates for linear triangular element. Comput [Supplementum] 15, 163–173 (2001)MathSciNetGoogle Scholar
  21. 21.
    Nakao, M., Yamamoto, N.: A guaranteed bound of the optimal constant in the error estimates for linear triangular element, part ii: Details. In: Perspectives on Enclosure Methods, the Proceedings Volume for Invited Lectures of SCAN2000, pp. 265–276. Springer, Vienna (2001)Google Scholar
  22. 22.
    Plum M.: Bounds for eigenvalues of second-order elliptic differential operators. ZAMP Z. Angew. Math. Phys, 42(6), 848–863 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Rump, S.: INTLAB-INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999).
  24. 24.
    Strang, G., Fix, G.: An Analysis of the Finite Element Method, 2edn. Wellesley-Cambridge Press, USA (2008)Google Scholar

Copyright information

© The JJIAM Publishing Committee and Springer Japan 2013

Authors and Affiliations

  1. 1.Research Institute for Science and EngineeringWaseda UniversityTokyoJapan
  2. 2.Faculty of Science and EngineeringWaseda UniversityTokyoJapan
  3. 3.CREST/JSTKawaguchiJapan

Personalised recommendations