Skip to main content
Erschienen in: Mathematics in Computer Science 4/2022

01.12.2022

Recurrences for Quadrilateral High-Order Finite Elements

verfasst von: Sven Beuchler, Tim Haubold, Veronika Pillwein

Erschienen in: Mathematics in Computer Science | Ausgabe 4/2022

Einloggen

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

search-config
loading …

Abstract

High order finite element methods (FEM) are well established numerical techniques for solving partial differential equations on complicated domains. In particular, if the unknown solution is smooth, using polynomial basis functions of higher degree speeds up the numerical solution significantly. At the same time, the computations get much more involved and any simplification, such as efficient recurrence relations, are most welcome. Recently, computer algebra algorithms have been applied to improve FEMs in several ways. In this note, we present a symbolic approach to an issue occuring when working with quadrilateral elements.

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

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!

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!

Fußnoten
1
In practice this usually means p less than about four, due to the resulting condition number and numerical integration.
 
Literatur
1.
Zurück zum Zitat Arndt, D., Feder, W.B.M., Fehling, M., Gassmöller, R., Heister, T., Heltai, L., Kronbichler, M., Maier, M., Munch, P., Pelteret, J.-P., Sticko, S., Turcksin, B., Wells, D.: The deal.II library, version 9.4. J. Numer. Math. (2022). Accepted Arndt, D., Feder, W.B.M., Fehling, M., Gassmöller, R., Heister, T., Heltai, L., Kronbichler, M., Maier, M., Munch, P., Pelteret, J.-P., Sticko, S., Turcksin, B., Wells, D.: The deal.II library, version 9.4. J. Numer. Math. (2022). Accepted
2.
Zurück zum Zitat Becirovic, A., Paule, P., Pillwein, V., Riese, A., Schneider, C., Schoeberl, J.: Hypergeometric summation algorithms for high order finite elements. Computing 78(3), 235–249 (2006). (Preliminary version available) Becirovic, A., Paule, P., Pillwein, V., Riese, A., Schneider, C., Schoeberl, J.: Hypergeometric summation algorithms for high order finite elements. Computing 78(3), 235–249 (2006). (Preliminary version available)
3.
Zurück zum Zitat Beuchler, S., Meyer, A., Pester, M.: SPC-PM3AdH v1.0-programmers manual. Technical Report SFB393 01-08, Technische Universität Chemnitz, March (2001) Beuchler, S., Meyer, A., Pester, M.: SPC-PM3AdH v1.0-programmers manual. Technical Report SFB393 01-08, Technische Universität Chemnitz, March (2001)
4.
Zurück zum Zitat Beuchler, S., Schöberl, J.: New shape functions for triangular \(p\)-FEM using integrated Jacobi polynomials. Numer. Math. 103(3), 339–366 (2006)MathSciNetCrossRefMATH Beuchler, S., Schöberl, J.: New shape functions for triangular \(p\)-FEM using integrated Jacobi polynomials. Numer. Math. 103(3), 339–366 (2006)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Beuchler, S., Haubold, T., Pillwein, V.: Recursion formulas for integrated products of Jacobi polynomials (2021). arXiv:2105.08989 Beuchler, S., Haubold, T., Pillwein, V.: Recursion formulas for integrated products of Jacobi polynomials (2021). arXiv:​2105.​08989
6.
Zurück zum Zitat Beuchler, S., Pillwein, V., Schöberl, J., Zaglmayr, S.: Sparsity optimized high order finite element functions on simplices. In: Numerical and Symbolic Scientific Computing. Texts and Monographs in Symbolic Computation, pp. 21–44. Springer, Wien (2012)CrossRef Beuchler, S., Pillwein, V., Schöberl, J., Zaglmayr, S.: Sparsity optimized high order finite element functions on simplices. In: Numerical and Symbolic Scientific Computing. Texts and Monographs in Symbolic Computation, pp. 21–44. Springer, Wien (2012)CrossRef
7.
Zurück zum Zitat Bey, J.: Finite-Volumen- und Mehrgitter-Verfahren für elliptische Randwertprobleme. In: Advances in Numerical Mathematics. B. G. Teubner, Stuttgart (1998) Bey, J.: Finite-Volumen- und Mehrgitter-Verfahren für elliptische Randwertprobleme. In: Advances in Numerical Mathematics. B. G. Teubner, Stuttgart (1998)
8.
Zurück zum Zitat Braess, D.: The convergence rate of multigrid with Gauss-Seidel relaxation for the Poisson equation. In: Hackbusch, W., Trottenberg, U. (eds.) Multigrid Methods, Proceedings of the Conference held at Köln-Porz, November 23–27, 1981, Number 960 in Lecture Notes in Mathematics, pp. 368–386. Springer, Berlin (1982) Braess, D.: The convergence rate of multigrid with Gauss-Seidel relaxation for the Poisson equation. In: Hackbusch, W., Trottenberg, U. (eds.) Multigrid Methods, Proceedings of the Conference held at Köln-Porz, November 23–27, 1981, Number 960 in Lecture Notes in Mathematics, pp. 368–386. Springer, Berlin (1982)
9.
10.
Zurück zum Zitat Chyzak, F.: Gröbner bases, symbolic summation and symbolic integration. In: Gröbner Bases and Applications (Linz. 1998), London Mathematical Society Lecture Note Series, vol. 251, pp. 32–60. Cambridge University Press, Cambridge (1998)CrossRefMATH Chyzak, F.: Gröbner bases, symbolic summation and symbolic integration. In: Gröbner Bases and Applications (Linz. 1998), London Mathematical Society Lecture Note Series, vol. 251, pp. 32–60. Cambridge University Press, Cambridge (1998)CrossRefMATH
11.
Zurück zum Zitat Ciarlet, P.: The Finite Element Method for Elliptic Problems. North-Holland, Amsterdam (1978)MATH Ciarlet, P.: The Finite Element Method for Elliptic Problems. North-Holland, Amsterdam (1978)MATH
12.
Zurück zum Zitat Cluzeau, T., Dolean, V., Nataf, F., Quadrat, A.: Symbolic techniques for domain decomposition methods. In: Bank, R.E., Holst, M.J., Widlund, O.B., Xu, J. (eds.) Domain Decomposition Methods in Science and Engineering XX, Lecture Notes in Computational Science and Engineering, vol. 91, pp. 27–38. Springer (2013) Cluzeau, T., Dolean, V., Nataf, F., Quadrat, A.: Symbolic techniques for domain decomposition methods. In: Bank, R.E., Holst, M.J., Widlund, O.B., Xu, J. (eds.) Domain Decomposition Methods in Science and Engineering XX, Lecture Notes in Computational Science and Engineering, vol. 91, pp. 27–38. Springer (2013)
13.
Zurück zum Zitat Darrigrand, Vincent, Pardo, David, Chaumont-Frelet, Théophile., Gómez-Revuelto, Ignacio, Garcia-Castillo, Luis Emilio: A painless automatic hp-adaptive strategy for elliptic problems. Finite Elem. Anal. Des. 178, 103424 (2020) Darrigrand, Vincent, Pardo, David, Chaumont-Frelet, Théophile., Gómez-Revuelto, Ignacio, Garcia-Castillo, Luis Emilio: A painless automatic hp-adaptive strategy for elliptic problems. Finite Elem. Anal. Des. 178, 103424 (2020)
14.
Zurück zum Zitat Demkowicz, L.: Computing with \(hp\) Finite Elements. CRC Press, Taylor and Francis (2006)CrossRef Demkowicz, L.: Computing with \(hp\) Finite Elements. CRC Press, Taylor and Francis (2006)CrossRef
15.
Zurück zum Zitat Demkowicz, L., Kurtz, J., Pardo, D., Paszyński, M., Rachowicz, W., Zdunek, A.: Computing with \(hp\)-adaptive finite elements. In: Applied Mathematics and Nonlinear Science Series, Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications, vol. 2. Chapman & Hall/CRC, Boca Raton (2008) Demkowicz, L., Kurtz, J., Pardo, D., Paszyński, M., Rachowicz, W., Zdunek, A.: Computing with \(hp\)-adaptive finite elements. In: Applied Mathematics and Nonlinear Science Series, Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications, vol. 2. Chapman & Hall/CRC, Boca Raton (2008)
16.
Zurück zum Zitat Di Stolfo, Paolo, Schröder, Andreas, Zander, Nils, Kollmannsberger, Stefan: An easy treatment of hanging nodes in hp-finite elements. Finite Elem. Anal. Des. 121, 101–117 (2016) Di Stolfo, Paolo, Schröder, Andreas, Zander, Nils, Kollmannsberger, Stefan: An easy treatment of hanging nodes in hp-finite elements. Finite Elem. Anal. Des. 121, 101–117 (2016)
17.
Zurück zum Zitat Evans, L.C.: Partial Differential Equations, Graduate Studies in Mathematics, vol. 19, 2nd edn. American Mathematical Society, Providence (2010) Evans, L.C.: Partial Differential Equations, Graduate Studies in Mathematics, vol. 19, 2nd edn. American Mathematical Society, Providence (2010)
18.
Zurück zum Zitat Gerdt, V.P., Robertz, D.: Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems. In: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC ’19, pp. 163–170. Association for Computing Machinery, New York (2019) Gerdt, V.P., Robertz, D.: Algorithmic approach to strong consistency analysis of finite difference approximations to PDE systems. In: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, ISSAC ’19, pp. 163–170. Association for Computing Machinery, New York (2019)
19.
Zurück zum Zitat Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. In: Classics in Mathematics. Springer-Verlag, Berlin (2001). Reprint of the 1998 edition Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. In: Classics in Mathematics. Springer-Verlag, Berlin (2001). Reprint of the 1998 edition
20.
Zurück zum Zitat Gusev, A.A., Gerdt, V.P., Chuluunbaatar, O., Chuluunbaatar, G., Vinitsky, S.I., Derbov, V.L., Góźdź, A.: Symbolic-numerical algorithm for generating interpolation multivariate hermite polynomials of high-accuracy finite element method. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing, pp. 134–150. Springer International Publishing, Cham (2017)CrossRef Gusev, A.A., Gerdt, V.P., Chuluunbaatar, O., Chuluunbaatar, G., Vinitsky, S.I., Derbov, V.L., Góźdź, A.: Symbolic-numerical algorithm for generating interpolation multivariate hermite polynomials of high-accuracy finite element method. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing, pp. 134–150. Springer International Publishing, Cham (2017)CrossRef
21.
Zurück zum Zitat Gusev, A.A., Gerdt, V.P., Chuluunbaatar, O., Chuluunbaatar, G., Vinitsky, S.I., Derbov, V.L., Góźdź, A.: Symbolic-numerical algorithms for solving the parametric self-adjoint 2d elliptic boundary-value problem using high-accuracy finite element method. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing, pp. 151–166. Springer, Cham (2017)CrossRef Gusev, A.A., Gerdt, V.P., Chuluunbaatar, O., Chuluunbaatar, G., Vinitsky, S.I., Derbov, V.L., Góźdź, A.: Symbolic-numerical algorithms for solving the parametric self-adjoint 2d elliptic boundary-value problem using high-accuracy finite element method. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing, pp. 151–166. Springer, Cham (2017)CrossRef
22.
Zurück zum Zitat Haubold, Tim: Pillwein, Veronika, Beuchler, Sven: Symbolic evaluation of hp-FEM element matrices. PAMM 19(1), e201900446 (2019)CrossRef Haubold, Tim: Pillwein, Veronika, Beuchler, Sven: Symbolic evaluation of hp-FEM element matrices. PAMM 19(1), e201900446 (2019)CrossRef
23.
Zurück zum Zitat Haubold, T., Pillwein, V., Beuchler, S.: Recursion relations for \(hp\)-FEM element matrices on quadrilaterals. PAMM (2021) Haubold, T., Pillwein, V., Beuchler, S.: Recursion relations for \(hp\)-FEM element matrices on quadrilaterals. PAMM (2021)
24.
Zurück zum Zitat Hong, H., Liska, R., Steinberg, S.: Testing stability by quantifier elimination. J. Symb. Comput. 24(2), 161–187 (1997). (Applications of quantifier elimination (Albuquerque, NM, 1995)) Hong, H., Liska, R., Steinberg, S.: Testing stability by quantifier elimination. J. Symb. Comput. 24(2), 161–187 (1997). (Applications of quantifier elimination (Albuquerque, NM, 1995))
25.
Zurück zum Zitat Kauers, M.: Guessing Handbook. Technical Report 09-07, Research Institute for Symbolic Computation (RISC) Kauers, M.: Guessing Handbook. Technical Report 09-07, Research Institute for Symbolic Computation (RISC)
26.
Zurück zum Zitat Kauers, M., Jaroschek, M., Johansson, F.: Ore polynomials in Sage. In: Gutierrez, J., Schicho, J., Weimann, M. (eds.) Computer Algebra and Polynomials, Lecture Notes in Computer Science, pp. 105–125 (2014) Kauers, M., Jaroschek, M., Johansson, F.: Ore polynomials in Sage. In: Gutierrez, J., Schicho, J., Weimann, M. (eds.) Computer Algebra and Polynomials, Lecture Notes in Computer Science, pp. 105–125 (2014)
27.
Zurück zum Zitat Kauers, M.: The holonomic toolkit. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, pp. 119–144. Springer (2013) Kauers, M.: The holonomic toolkit. In: Computer Algebra in Quantum Field Theory: Integration, Summation and Special Functions, Texts and Monographs in Symbolic Computation, pp. 119–144. Springer (2013)
28.
29.
Zurück zum Zitat Koutschan, C.: Advanced applications of the holonomic systems approach. PhD thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz (2009) Koutschan, C.: Advanced applications of the holonomic systems approach. PhD thesis, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz (2009)
30.
Zurück zum Zitat Kronbichler, M., Ljungkvist, K.: Multigrid for matrix-free high-order finite element computations on graphics processors. ACM Trans. Parallel Comput. 6(1) (2019) Kronbichler, M., Ljungkvist, K.: Multigrid for matrix-free high-order finite element computations on graphics processors. ACM Trans. Parallel Comput. 6(1) (2019)
31.
Zurück zum Zitat Kus, P., Solin, P., Andrs, D.: Arbitrary-level hanging nodes for adaptive hp-FEM approximations in 3D. J. Comput. Appl. Math. 270, 121–133 (2014)MathSciNetCrossRefMATH Kus, P., Solin, P., Andrs, D.: Arbitrary-level hanging nodes for adaptive hp-FEM approximations in 3D. J. Comput. Appl. Math. 270, 121–133 (2014)MathSciNetCrossRefMATH
32.
Zurück zum Zitat Langer, U., Reitzinger, S., Schicho, J.: Symbolic methods for the element precondition technique. In: Langer, U., Winkler, F. (eds.) Proceedings of SNSC Hagenberg 2001, pp. 293–308. Springer (2003) Langer, U., Reitzinger, S., Schicho, J.: Symbolic methods for the element precondition technique. In: Langer, U., Winkler, F. (eds.) Proceedings of SNSC Hagenberg 2001, pp. 293–308. Springer (2003)
33.
Zurück zum Zitat Lions, J.-L.,Magenes, E.: Non-homogeneous boundary value problems and applications, vol. I. Springer-Verlag, New York (1972). Translated from the French by P. Kenneth, Die Grundlehren der mathematischen Wissenschaften, Band 181 Lions, J.-L.,Magenes, E.: Non-homogeneous boundary value problems and applications, vol. I. Springer-Verlag, New York (1972). Translated from the French by P. Kenneth, Die Grundlehren der mathematischen Wissenschaften, Band 181
34.
Zurück zum Zitat Lyakhov, Dmitry, Gerdt, Vladimir, Michels, Dominik: On the algorithmic linearizability of nonlinear ordinary differential equations. J. Symb. Comput. 98, 07 (2019) Lyakhov, Dmitry, Gerdt, Vladimir, Michels, Dominik: On the algorithmic linearizability of nonlinear ordinary differential equations. J. Symb. Comput. 98, 07 (2019)
35.
Zurück zum Zitat Pavel, S., Lenka, D., Ivo, D.: Adaptive \(hp\)-fem with arbitrary-level hanging nodes for Maxwell’s equations. Adv. Appl. Math. Mech. 2(4), 518–532 (2010)MathSciNetCrossRef Pavel, S., Lenka, D., Ivo, D.: Adaptive \(hp\)-fem with arbitrary-level hanging nodes for Maxwell’s equations. Adv. Appl. Math. Mech. 2(4), 518–532 (2010)MathSciNetCrossRef
36.
Zurück zum Zitat Pillwein, V., Paule, P., Schneider, C., Schoeberl, J.: Hypergeometric summation techniques for high order finite elements. PAMM 6, 689–690 (2006)CrossRef Pillwein, V., Paule, P., Schneider, C., Schoeberl, J.: Hypergeometric summation techniques for high order finite elements. PAMM 6, 689–690 (2006)CrossRef
37.
Zurück zum Zitat Pillwein, Veronika: Takacs, Stefan: A local Fourier convergence analysis of a multigrid method using symbolic computation. J. Symb. Comput. 63, 1–20 (2014)CrossRefMATH Pillwein, Veronika: Takacs, Stefan: A local Fourier convergence analysis of a multigrid method using symbolic computation. J. Symb. Comput. 63, 1–20 (2014)CrossRefMATH
38.
Zurück zum Zitat Quateroni, A., Valli, A.: Numerical approximation of partial differential equations. In Springer Series in Computational Mathematics, vol. 23. Springer, Berlin (1997) Quateroni, A., Valli, A.: Numerical approximation of partial differential equations. In Springer Series in Computational Mathematics, vol. 23. Springer, Berlin (1997)
39.
Zurück zum Zitat Schwab, C.: \(p\)- and \(hp\)-finite element methods. In: Numerical Mathematics and Scientific Computation, Theory and Applications in Solid and Fluid Mechanics. The Clarendon Press, Oxford University Press, New York (1998) Schwab, C.: \(p\)- and \(hp\)-finite element methods. In: Numerical Mathematics and Scientific Computation, Theory and Applications in Solid and Fluid Mechanics. The Clarendon Press, Oxford University Press, New York (1998)
40.
Zurück zum Zitat Szabo, B., Babuška, I.: Finite Element Analysis. Wiley (1991) Szabo, B., Babuška, I.: Finite Element Analysis. Wiley (1991)
41.
Zurück zum Zitat Szabó, Barna: Babuška, Ivo: Finite Element Analysis. Wiley, New York (1991) Szabó, Barna: Babuška, Ivo: Finite Element Analysis. Wiley, New York (1991)
42.
43.
Zurück zum Zitat Zhang, J., Ankit, A., Gravenkamp, H., Eisenträger, S., Song, C.: A massively parallel explicit solver for elasto-dynamic problems exploiting octree meshes. Comput. Methods Appl. Mech. Eng. 380, 113811 (2021)MathSciNetCrossRefMATH Zhang, J., Ankit, A., Gravenkamp, H., Eisenträger, S., Song, C.: A massively parallel explicit solver for elasto-dynamic problems exploiting octree meshes. Comput. Methods Appl. Mech. Eng. 380, 113811 (2021)MathSciNetCrossRefMATH
44.
Zurück zum Zitat Zienkiewicz, O.C.: The finite element method in engineering science. McGraw-Hill, London (1971). The second, expanded and revised, edition of ıt The finite element method in structural and continuum mechanics Zienkiewicz, O.C.: The finite element method in engineering science. McGraw-Hill, London (1971). The second, expanded and revised, edition of ıt The finite element method in structural and continuum mechanics
Metadaten
Titel
Recurrences for Quadrilateral High-Order Finite Elements
verfasst von
Sven Beuchler
Tim Haubold
Veronika Pillwein
Publikationsdatum
01.12.2022
Verlag
Springer International Publishing
Erschienen in
Mathematics in Computer Science / Ausgabe 4/2022
Print ISSN: 1661-8270
Elektronische ISSN: 1661-8289
DOI
https://doi.org/10.1007/s11786-022-00547-2

Weitere Artikel der Ausgabe 4/2022

Mathematics in Computer Science 4/2022 Zur Ausgabe

Premium Partner