An electrical engineering perspective on naturality in computational physics
arXiv:1809.01002 · doi:10.1007/s10444-024-10197-6
Abstract
We look at computational physics from an electrical engineering perspective and suggest that several concepts of mathematics, not so well-established in computational physics literature, present themselves as opportunities in the field. We discuss elliptic complexes and highlight the category theoretical background and its role as a unifying language between algebraic topology, differential geometry, and modelling software design. In particular, the ubiquitous concept of naturality is central. Natural differential operators have functorial analogues on the cochains of triangulated manifolds. In order to establish this correspondence, we derive formulas involving simplices and barycentric coordinates, defining discrete vector fields and a discrete Lie derivative as a result of a discrete analogue of Cartan's magic formula. This theorem is the main mathematical result of the paper.
This is a new manuscript that has evolved from the earlier versions
References in corpus (6)
- Finite element exterior calculus: from Hodge theory to numerical stability
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Geometric variational crimes: Hilbert complexes, finite element exterior calculus, and problems on hypersurfaces
- Univalence for inverse diagrams and homotopy canonicity
- A Compositional Framework for Markov Processes
- Differential Forms and Boundary Integral Equations for Maxwell-Type Problems