Author:
Lahtinen Valtteri,Stenvall Antti
Abstract
AbstractThe Galerkin finite element method (FEM) is used widely in finding approximative solutions to field problems in engineering and natural sciences. When utilizing FEM, the field problem is said to be discretized. In this paper, we interpret discretization in FEM through category theory, unifying the concept of discreteness in FEM with that of discreteness in other fields of mathematics, such as topology. This reveals structural properties encoded in this concept: we propose that discretization is a dagger mono with a discrete domain in the category of Hilbert spaces made concrete over the category of vector spaces. Moreover, we discuss parallel decomposability of discretization, and through examples, connect it to different FEM formulations and choices of basis functions.
Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Adamek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats, Dover edition, Dover Publications Inc.: Mineola, NY (2009). http://katmat.math.uni-bremen.de/acc
2. Arnold, D.N., Bochev, P.B., Lehoucq, R.B., Nicolaides, R.A., Shashkov, M.: (editors), Compatible spatial discretizations. The IMA Volumes in Mathematics and Its Applications, vol. 142. Springer, New York (2006)
3. Brenner, S.C., Scott, L.R.: The Mathematical Theory of Finite Element Methods, 3rd edn. Springer, New York (2008)
4. Boyd, J.P.: Chebyshev and Fourier Spectral Methods, 2nd edn. Dover Publications Inc., Mineola, NY (2000)
5. Bossavit, A.: Whitney forms: a class of finite elements for three-dimensional computations in electromagnetism. IEEE Proc. 135, 493–500 (1988)