Skip to main content
Erschienen in: BIT Numerical Mathematics 1/2013

01.03.2013

A domain-specific embedded language in C++ for lowest-order discretizations of diffusive problems on general meshes

verfasst von: Daniele A. Di Pietro, Jean-Marc Gratien, Christophe Prud’homme

Erschienen in: BIT Numerical Mathematics | Ausgabe 1/2013

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this work we propose an original implementation of a large family of lowest-order methods for diffusive problems including standard and hybrid finite volume methods, mimetic finite difference-type schemes, and cell centered Galerkin methods. The key idea is to regard the method at hand as a (Petrov–)Galerkin scheme based on possibly incomplete, broken affine spaces defined from a gradient reconstruction and a point value. The resulting unified framework serves as a basis for the development of a FreeFEM-like domain specific language targeted at defining discrete linear and bilinear forms. Both the back-end and the front-end of the language are extensively discussed, and several examples of applications are provided. The overhead of the language is evaluated with respect to a more traditional implementation. A benchmark including the comparison with more classical finite element methods on standard meshes is also proposed.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Aavatsmark, I., Barkve, T., Bøe, Ø., Mannseth, T.: Discretization on unstructured grids for inhomogeneous, anisotropic media, Part I: Derivation of the methods. SIAM J. Sci. Comput. 19(5), 1700–1716 (1998) CrossRefMathSciNetMATH Aavatsmark, I., Barkve, T., Bøe, Ø., Mannseth, T.: Discretization on unstructured grids for inhomogeneous, anisotropic media, Part I: Derivation of the methods. SIAM J. Sci. Comput. 19(5), 1700–1716 (1998) CrossRefMathSciNetMATH
2.
Zurück zum Zitat Aavatsmark, I., Eigestad, G.T., Mallison, B.T., Nordbotten, J.M.: A compact multipoint flux approximation method with improved robustness. Numer. Methods Partial Differ. Equ. 24, 1329–1360 (2008) CrossRefMathSciNetMATH Aavatsmark, I., Eigestad, G.T., Mallison, B.T., Nordbotten, J.M.: A compact multipoint flux approximation method with improved robustness. Numer. Methods Partial Differ. Equ. 24, 1329–1360 (2008) CrossRefMathSciNetMATH
3.
Zurück zum Zitat Agélas, L., Di Pietro, D.A., Droniou, J.: The G method for heterogeneous anisotropic diffusion on general meshes. Modél. Math. Anal. Numér. 44, 597–625 (2010) CrossRefMATH Agélas, L., Di Pietro, D.A., Droniou, J.: The G method for heterogeneous anisotropic diffusion on general meshes. Modél. Math. Anal. Numér. 44, 597–625 (2010) CrossRefMATH
4.
Zurück zum Zitat Agélas, L., Di Pietro, D.A., Eymard, R., Masson, R.: An abstract analysis framework for nonconforming approximations of diffusion problems on general meshes. Int. J. Finite Vol. 7(1), 1–29 (2010) MathSciNet Agélas, L., Di Pietro, D.A., Eymard, R., Masson, R.: An abstract analysis framework for nonconforming approximations of diffusion problems on general meshes. Int. J. Finite Vol. 7(1), 1–29 (2010) MathSciNet
5.
Zurück zum Zitat Arnold, D.N.: An interior penalty finite element method with discontinuous elements. SIAM J. Numer. Anal. 19, 742–760 (1982) CrossRefMathSciNetMATH Arnold, D.N.: An interior penalty finite element method with discontinuous elements. SIAM J. Numer. Anal. 19, 742–760 (1982) CrossRefMathSciNetMATH
6.
Zurück zum Zitat Bassi, F., Botti, L., Colombo, A., Di Pietro, D.A., Tesini, P.: On the flexibility of agglomeration based physical space discontinuous Galerkin discretizations. J. Comput. Phys. 231(1–2), 45–65 (2012) CrossRefMathSciNetMATH Bassi, F., Botti, L., Colombo, A., Di Pietro, D.A., Tesini, P.: On the flexibility of agglomeration based physical space discontinuous Galerkin discretizations. J. Comput. Phys. 231(1–2), 45–65 (2012) CrossRefMathSciNetMATH
7.
Zurück zum Zitat Brezzi, F., Lipnikov, K., Shashkov, M.: Convergence of mimetic finite difference methods for diffusion problems on polyhedral meshes. SIAM J. Numer. Anal. 45, 1872–1896 (2005) CrossRefMathSciNet Brezzi, F., Lipnikov, K., Shashkov, M.: Convergence of mimetic finite difference methods for diffusion problems on polyhedral meshes. SIAM J. Numer. Anal. 45, 1872–1896 (2005) CrossRefMathSciNet
8.
Zurück zum Zitat Brezzi, F., Lipnikov, K., Simoncini, V.: A family of mimetic finite difference methods on polygonal and polyhedral meshes. Math. Models Methods Appl. Sci. 15, 1533–1553 (2005) CrossRefMathSciNetMATH Brezzi, F., Lipnikov, K., Simoncini, V.: A family of mimetic finite difference methods on polygonal and polyhedral meshes. Math. Models Methods Appl. Sci. 15, 1533–1553 (2005) CrossRefMathSciNetMATH
9.
Zurück zum Zitat Burman, E., Stamm, B.: Minimal stabilization for discontinuous Galerkin finite element methods for hyperbolic problems. Commun. Comput. Phys. 5, 498–524 (2009) MathSciNet Burman, E., Stamm, B.: Minimal stabilization for discontinuous Galerkin finite element methods for hyperbolic problems. Commun. Comput. Phys. 5, 498–524 (2009) MathSciNet
10.
Zurück zum Zitat Ciarlet, P.G.: Basic error estimates for elliptic problems. In: Ciarlet, P.G., Lions, J.-L. (eds.) Finite Element Methods. Handbook of Numerical Analysis, vol. II. North-Holland, Amsterdam (1991). Chap. 2 Ciarlet, P.G.: Basic error estimates for elliptic problems. In: Ciarlet, P.G., Lions, J.-L. (eds.) Finite Element Methods. Handbook of Numerical Analysis, vol. II. North-Holland, Amsterdam (1991). Chap. 2
12.
Zurück zum Zitat Di Pietro, D.A.: A compact cell-centered Galerkin method with subgrid stabilization. C. R. Acad. Sci. Paris, Ser. I 348(1–2), 93–98 (2011) CrossRef Di Pietro, D.A.: A compact cell-centered Galerkin method with subgrid stabilization. C. R. Acad. Sci. Paris, Ser. I 348(1–2), 93–98 (2011) CrossRef
13.
Zurück zum Zitat Di Pietro, D.A.: Cell centered Galerkin methods for diffusive problems. Modél. Math. Anal. Numér. 46(1), 111–144 (2012) CrossRef Di Pietro, D.A.: Cell centered Galerkin methods for diffusive problems. Modél. Math. Anal. Numér. 46(1), 111–144 (2012) CrossRef
14.
Zurück zum Zitat Di Pietro, D.A., Ern, A.: Mathematical Aspects of Discontinuous Galerkin Methods. Mathématiques & Applications, vol. 69. Springer, Berlin (2011) Di Pietro, D.A., Ern, A.: Mathematical Aspects of Discontinuous Galerkin Methods. Mathématiques & Applications, vol. 69. Springer, Berlin (2011)
15.
Zurück zum Zitat Di Pietro, D.A., Ern, A.: Analysis of a discontinuous Galerkin method for heterogeneous diffusion problems with low-regularity solutions. Numer. Methods Partial Differ. Equ. 28(4), 1161–1177 (2012) CrossRefMATH Di Pietro, D.A., Ern, A.: Analysis of a discontinuous Galerkin method for heterogeneous diffusion problems with low-regularity solutions. Numer. Methods Partial Differ. Equ. 28(4), 1161–1177 (2012) CrossRefMATH
16.
Zurück zum Zitat Di Pietro, D.A., Gratien, J.-M.: Lowest order methods for diffusive problems on general meshes: a unified approach to definition and implementation. In: Fořt, J., Fürst, J., Halama, J., Herbin, R., Hubert, F. (eds.) Finite Volumes for Complex Applications, vol. VI, pp. 3–19. Springer, Berlin (2011) Di Pietro, D.A., Gratien, J.-M.: Lowest order methods for diffusive problems on general meshes: a unified approach to definition and implementation. In: Fořt, J., Fürst, J., Halama, J., Herbin, R., Hubert, F. (eds.) Finite Volumes for Complex Applications, vol. VI, pp. 3–19. Springer, Berlin (2011)
17.
Zurück zum Zitat Droniou, J., Eymard, R.: A mixed finite volume scheme for anisotropic diffusion problems on any grid. Numer. Math. 105(1), 35–71 (2006) CrossRefMathSciNetMATH Droniou, J., Eymard, R.: A mixed finite volume scheme for anisotropic diffusion problems on any grid. Numer. Math. 105(1), 35–71 (2006) CrossRefMathSciNetMATH
18.
Zurück zum Zitat Droniou, J., Eymard, R., Gallouët, T., Herbin, R.: A unified approach to mimetic finite difference, hybrid finite volume and mixed finite volume methods. Math. Models Methods Appl. Sci. 20(2), 265–295 (2010) CrossRefMathSciNetMATH Droniou, J., Eymard, R., Gallouët, T., Herbin, R.: A unified approach to mimetic finite difference, hybrid finite volume and mixed finite volume methods. Math. Models Methods Appl. Sci. 20(2), 265–295 (2010) CrossRefMathSciNetMATH
19.
Zurück zum Zitat Edwards, M.G., Rogers, C.F.: Finite volume discretization with imposed flux continuity for the general tensor pressure equation. Comput. Geosci. 2, 259–290 (1998) CrossRefMathSciNetMATH Edwards, M.G., Rogers, C.F.: Finite volume discretization with imposed flux continuity for the general tensor pressure equation. Comput. Geosci. 2, 259–290 (1998) CrossRefMathSciNetMATH
20.
Zurück zum Zitat Ern, A., Guermond, J.-L.: Theory and Practice of Finite Elements. Applied Mathematical Sciences, vol. 159. Springer, New York (2004) CrossRefMATH Ern, A., Guermond, J.-L.: Theory and Practice of Finite Elements. Applied Mathematical Sciences, vol. 159. Springer, New York (2004) CrossRefMATH
21.
Zurück zum Zitat Eymard, R., Gallouët, T., Herbin, R.: Discretization of heterogeneous and anisotropic diffusion problems on general nonconforming meshes SUSHI: a scheme using stabilization and hybrid interfaces. IMA J. Numer. Anal. 30, 1009–1043 (2010) CrossRefMathSciNetMATH Eymard, R., Gallouët, T., Herbin, R.: Discretization of heterogeneous and anisotropic diffusion problems on general nonconforming meshes SUSHI: a scheme using stabilization and hybrid interfaces. IMA J. Numer. Anal. 30, 1009–1043 (2010) CrossRefMathSciNetMATH
22.
Zurück zum Zitat Eymard, R., Henry, G., Herbin, R., Hubert, F., Klöfkorn, R., Manzini, G.: 3D benchmark on discretization schemes for anisotropic diffusion problems on general grids. In: Fořt, J., Fürst, J., Halama, J., Herbin, R., Hubert, F. (eds.) Finite Volumes for Complex Applications. Problems & Perspectives, vol. VI, pp. 95–130. Springer, Berlin (2011) Eymard, R., Henry, G., Herbin, R., Hubert, F., Klöfkorn, R., Manzini, G.: 3D benchmark on discretization schemes for anisotropic diffusion problems on general grids. In: Fořt, J., Fürst, J., Halama, J., Herbin, R., Hubert, F. (eds.) Finite Volumes for Complex Applications. Problems & Perspectives, vol. VI, pp. 95–130. Springer, Berlin (2011)
23.
Zurück zum Zitat Geuzaine, C., Remacle, J.-F.: Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities. Int. J. Numer. Methods Eng. 79(11), 1309–1331 (2009) CrossRefMathSciNetMATH Geuzaine, C., Remacle, J.-F.: Gmsh: a three-dimensional finite element mesh generator with built-in pre- and post-processing facilities. Int. J. Numer. Methods Eng. 79(11), 1309–1331 (2009) CrossRefMathSciNetMATH
24.
Zurück zum Zitat Grospellier, G., Lelandais, B.: The Arcane development framework. In: Proceedings of the 8th Workshop on Parallel/High-performance Object-Oriented Scientific Computing, POOSC’09, pp. 4:1–4:11. ACM, New York (2009) Grospellier, G., Lelandais, B.: The Arcane development framework. In: Proceedings of the 8th Workshop on Parallel/High-performance Object-Oriented Scientific Computing, POOSC’09, pp. 4:1–4:11. ACM, New York (2009)
25.
Zurück zum Zitat Hansbo, P., Larson, M.G.: Discontinuous Galerkin and the Crouzeix–Raviart element: application to elasticity. Modél. Math. Anal. Numér. 37(1), 63–72 (2003) CrossRefMathSciNetMATH Hansbo, P., Larson, M.G.: Discontinuous Galerkin and the Crouzeix–Raviart element: application to elasticity. Modél. Math. Anal. Numér. 37(1), 63–72 (2003) CrossRefMathSciNetMATH
26.
Zurück zum Zitat Hecht, F., Pironneau, O.: FreeFEM++ manual. Laboratoire Jacques Louis Lions (2005) Hecht, F., Pironneau, O.: FreeFEM++ manual. Laboratoire Jacques Louis Lions (2005)
27.
Zurück zum Zitat Herbin, R., Hubert, F.: Benchmark on discretization schemes for anisotropic diffusion problems on general grids. In: Finite Volumes for Complex Applications, vol. V, pp. 659–692. Wiley, New York (2008) Herbin, R., Hubert, F.: Benchmark on discretization schemes for anisotropic diffusion problems on general grids. In: Finite Volumes for Complex Applications, vol. V, pp. 659–692. Wiley, New York (2008)
28.
Zurück zum Zitat Logg, A., Mardal, K.-A., Wells, G.N.: Automated Solution of Differential Equations by the Finite Element Method. Lecture Notes in Computational Science and Engineering, vol. 84. Springer, Berlin (2012) CrossRefMATH Logg, A., Mardal, K.-A., Wells, G.N.: Automated Solution of Differential Equations by the Finite Element Method. Lecture Notes in Computational Science and Engineering, vol. 84. Springer, Berlin (2012) CrossRefMATH
29.
Zurück zum Zitat Long, K., Kirby, R., van Bloemen Waanders, B.: Unified embedded parallel finite element computations via software-based Fréchet differentiation. SIAM J. Sci. Comput. 32, 3323–3351 (2010) CrossRefMathSciNetMATH Long, K., Kirby, R., van Bloemen Waanders, B.: Unified embedded parallel finite element computations via software-based Fréchet differentiation. SIAM J. Sci. Comput. 32, 3323–3351 (2010) CrossRefMathSciNetMATH
31.
Zurück zum Zitat Prud’homme, C.: A domain specific embedded language in C++ for automatic differentiation, projection, integration and variational formulations. Sci. Program. 14(2), 81–110 (2006) Prud’homme, C.: A domain specific embedded language in C++ for automatic differentiation, projection, integration and variational formulations. Sci. Program. 14(2), 81–110 (2006)
33.
Zurück zum Zitat Prud’homme, C., Chabannes, V., Pena, G., Veys, S.: Feel++: finite element embedded language in C++. Free software available at http://www.feelpp.org. Contributions from A. Samake, V. Doyeux, M. Ismail Prud’homme, C., Chabannes, V., Pena, G., Veys, S.: Feel++: finite element embedded language in C++. Free software available at http://​www.​feelpp.​org. Contributions from A. Samake, V. Doyeux, M. Ismail
34.
Zurück zum Zitat ISO: Information technology—Syntactic metalanguage—Extended BNF. ISO Standard: ISO/IEC 14977:1996 ISO: Information technology—Syntactic metalanguage—Extended BNF. ISO Standard: ISO/IEC 14977:1996
Metadaten
Titel
A domain-specific embedded language in C++ for lowest-order discretizations of diffusive problems on general meshes
verfasst von
Daniele A. Di Pietro
Jean-Marc Gratien
Christophe Prud’homme
Publikationsdatum
01.03.2013
Verlag
Springer Netherlands
Erschienen in
BIT Numerical Mathematics / Ausgabe 1/2013
Print ISSN: 0006-3835
Elektronische ISSN: 1572-9125
DOI
https://doi.org/10.1007/s10543-012-0403-3

Weitere Artikel der Ausgabe 1/2013

BIT Numerical Mathematics 1/2013 Zur Ausgabe

OriginalPaper

Quantum B-splines

Premium Partner